Search: csail.mit.edu | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

The Security Architecture of the Chromium Browser [pdf]

css.csail.mit.edu

9 years ago

2 points

812.

Proofs That Yield Nothing but Their Validity [ZKPs Forall Languages in NP](1991) [pdf]

groups.csail.mit.edu

9 years ago

2 points

813.

Xv6, a simple Unix-like teaching operating system

pdos.csail.mit.edu

9 years ago

2 points

814.

A Tutorial on Conformal Prediction [pdf]

jmlr.csail.mit.edu

9 years ago

2 points

815.

Xv6, a simple Unix-like teaching operating system

pdos.csail.mit.edu

9 years ago

2 points

816.

Ridesharing can reduce traffic by 300%

9 years ago

2 points

817.

SoundNet: Learning Sound Representations from Unlabeled Video

projects.csail.mit.edu

9 years ago

2 points

818.

Teaching machines to predict the future

10 years ago

2 points

819.

Processing analytical queries over encrypted data [pdf]

people.csail.mit.edu

10 years ago

2 points

820.

Man-Computer Symbiosis (1960)

groups.csail.mit.edu

10 years ago

2 points

821.

Yak Shaving (2000)

projects.csail.mit.edu

10 years ago

2 points

822.

Large single compilation-unit C programs

people.csail.mit.edu

10 years ago

2 points

823.

people.csail.mit.edu

10 years ago

2 points

824.

Chaffing and Winnowing: Confidentiality without Encryption (1998) [pdf]

people.csail.mit.edu

10 years ago

2 points

825.

Matter, Mind and Models

groups.csail.mit.edu

16 years ago

2 points

826.

NASA launches $1M challenge to program space robots

10 years ago

2 points

827.

6.006: Introduction to Algorithms(2011)

courses.csail.mit.edu

10 years ago

2 points

828.

Chaffing and Winnowing: Confidentiality Without Encryption – Ron Rivest (1998)

people.csail.mit.edu

10 years ago

2 points

829.

So THATs what Y Combinator is

people.csail.mit.edu

18 years ago

2 points

830.

Venture: a prototype general-purpose probabilistic computing platform

probcomp.csail.mit.edu

10 years ago

fitzwatermellow

2 points

831.

Super Mario Brothers is harder than NP-hard

10 years ago

2 points

832.

Modeling Cache Performance Beyond LRU [pdf]

people.csail.mit.edu

10 years ago

2 points

833.

Simit: A Language for Physical Simulation [pdf]

people.csail.mit.edu

10 years ago

2 points

834.

Halide: A Language for Optimizing Parallelism in Image Processing Pipelines [pdf]

people.csail.mit.edu

10 years ago

2 points

835.

Smart Bookmarks: Finally, you can bookmark "pages" in AJAX apps where the URL doesn't change (e.g., google reader)! [pdf]

groups.csail.mit.edu

19 years ago

2 points

836.

MIT's Patrick Henry Winston on Marvin Minsky

people.csail.mit.edu

10 years ago

2 points

837.

Synquid – program synthesis with refinement types

comcom.csail.mit.edu

10 years ago

2 points

838.

LaMem – large-scale image memorability with convoluted neural networks

memorability.csail.mit.edu

11 years ago

2 points

839.

Yak Shaving (2000)

projects.csail.mit.edu

11 years ago

2 points

840.

Language Understanding for Text-Based Games Using Deep Reinforcement Learning [pdf]

people.csail.mit.edu

11 years ago

2 points