Search: csail.mit.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Proofs That Yield Nothing but Their Validity [ZKPs Forall Languages in NP](1991) [pdf] (groups.csail.mit.edu)

2 points

9 years ago

812.

Xv6, a simple Unix-like teaching operating system (pdos.csail.mit.edu)

2 points

9 years ago

813.

A Tutorial on Conformal Prediction [pdf] (jmlr.csail.mit.edu)

2 points

9 years ago

814.

Xv6, a simple Unix-like teaching operating system (pdos.csail.mit.edu)

2 points

9 years ago

815.

Ridesharing can reduce traffic by 300% (csail.mit.edu)

2 points

9 years ago

816.

SoundNet: Learning Sound Representations from Unlabeled Video (projects.csail.mit.edu)

2 points

9 years ago

817.

Teaching machines to predict the future (csail.mit.edu)

2 points

10 years ago

818.

Processing analytical queries over encrypted data [pdf] (people.csail.mit.edu)

2 points

10 years ago

819.

Man-Computer Symbiosis (1960) (groups.csail.mit.edu)

2 points

10 years ago

820.

Yak Shaving (2000) (projects.csail.mit.edu)

2 points

10 years ago

821.

Large single compilation-unit C programs (people.csail.mit.edu)

2 points

10 years ago

822.

Sieuferd (people.csail.mit.edu)

2 points

10 years ago

823.

Chaffing and Winnowing: Confidentiality without Encryption (1998) [pdf] (people.csail.mit.edu)

2 points

10 years ago

824.

Matter, Mind and Models (groups.csail.mit.edu)

2 points

16 years ago

825.

NASA launches $1M challenge to program space robots (csail.mit.edu)

2 points

10 years ago

826.

6.006: Introduction to Algorithms(2011) (courses.csail.mit.edu)

2 points

10 years ago

827.

Chaffing and Winnowing: Confidentiality Without Encryption – Ron Rivest (1998) (people.csail.mit.edu)

2 points

10 years ago

828.

So THATs what Y Combinator is (people.csail.mit.edu)

2 points

18 years ago

829.

Venture: a prototype general-purpose probabilistic computing platform (probcomp.csail.mit.edu)

2 points

fitzwatermellow

10 years ago

830.

Super Mario Brothers is harder than NP-hard (csail.mit.edu)

2 points

10 years ago

831.

Modeling Cache Performance Beyond LRU [pdf] (people.csail.mit.edu)

2 points

10 years ago

832.

Simit: A Language for Physical Simulation [pdf] (people.csail.mit.edu)

2 points

10 years ago

833.

Halide: A Language for Optimizing Parallelism in Image Processing Pipelines [pdf] (people.csail.mit.edu)

2 points

10 years ago

834.

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)

2 points

19 years ago

835.

MIT's Patrick Henry Winston on Marvin Minsky (people.csail.mit.edu)

2 points

10 years ago

836.

Synquid – program synthesis with refinement types (comcom.csail.mit.edu)

2 points

10 years ago

837.

LaMem – large-scale image memorability with convoluted neural networks (memorability.csail.mit.edu)

2 points

10 years ago

838.

Yak Shaving (2000) (projects.csail.mit.edu)

2 points

11 years ago

839.

Language Understanding for Text-Based Games Using Deep Reinforcement Learning [pdf] (people.csail.mit.edu)

2 points

11 years ago

840.

Tipsy, chrome extension for tips to publishers (tipsy.csail.mit.edu)

2 points

11 years ago