Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
541.
▲
Church: A probabilistic Lisp
(projects.csail.mit.edu)
3 points
ot
15 years ago
discuss
542.
▲
Introduction to Program Synthesis
(people.csail.mit.edu)
3 points
azhenley
4 years ago
discuss
543.
▲
MIT 6.824: Distributed Systems
(pdos.csail.mit.edu)
3 points
Maksadbek
4 years ago
discuss
544.
▲
Perspectives on the Cap Theorem [pdf]
(groups.csail.mit.edu)
3 points
mlerner
4 years ago
discuss
545.
▲
New deep learning models require fewer neurons
(csail.mit.edu)
3 points
rcshubhadeep
5 years ago
discuss
546.
▲
The Michael Jackson Design Technique: A study of the theory with applications ( [pdf]
(groups.csail.mit.edu)
3 points
todsacerdoti
5 years ago
discuss
547.
▲
Felleisen's conjecture on the three disciplined uses of macros
(people.csail.mit.edu)
3 points
p4bl0
15 years ago
discuss
548.
▲
Advanced Data Structures
(courses.csail.mit.edu)
3 points
generichuman
5 years ago
discuss
549.
▲
RoboGrammar: Graph Grammar for Terrain-Optimized Robot Design
(people.csail.mit.edu)
3 points
jonbaer
5 years ago
discuss
550.
▲
Lapis: Editing Text with Lightweight Structure (2003)
(web.archive.org)
3 points
w3nnady
5 years ago
discuss
551.
▲
How to Make a Mint: The Cryptography of Anonymous Electronic Cash – 1996
(groups.csail.mit.edu)
3 points
Jimmc414
5 years ago
discuss
552.
▲
Photo-Chromeleon: Re-Programmable Multi-Color Textures Using Photochromic Dyes
(hcie.csail.mit.edu)
3 points
smusamashah
6 years ago
discuss
553.
▲
A brief introduction to Iris: a powerful framework for concurrency reasoning
(plv.csail.mit.edu)
3 points
matt_d
6 years ago
discuss
554.
▲
MIT's tinyImages dataset withdrawn due to prejudicial concerns
(groups.csail.mit.edu)
3 points
not_zxc
6 years ago
discuss
555.
▲
Introduction to Program Synthesis
(people.csail.mit.edu)
3 points
brzozowski
6 years ago
discuss
556.
▲
Electronic Lottery Tickets as Micropayments (1997) [pdf]
(people.csail.mit.edu)
3 points
asciimike
6 years ago
discuss
557.
▲
Not all privacy apps are created equal
(csail.mit.edu)
3 points
rbanffy
6 years ago
discuss
558.
▲
MIT CSAIL Parallel and Distributed Operating Systems Group
(pdos.csail.mit.edu)
3 points
eniz
6 years ago
discuss
559.
▲
Adept: An Object-Centric Model for Core Physics and 3D Scene Understanding
(physadept.csail.mit.edu)
3 points
ArtWomb
7 years ago
discuss
560.
▲
Steps Toward Artificial Intelligence (Marvin Minsky, 1961) [pdf]
(courses.csail.mit.edu)
3 points
sonabinu
7 years ago
discuss
561.
▲
Neural Inverse Knitting: From Images to Manufacturing Instructions
(deepknitting.csail.mit.edu)
3 points
lainon
7 years ago
discuss
562.
▲
Biscuit: An OS kernel in a high-level language (2018)
(pdos.csail.mit.edu)
3 points
kyeb
7 years ago
discuss
563.
▲
Modern Numerical Computing
(courses.csail.mit.edu)
3 points
charlysl
7 years ago
discuss
564.
▲
Xv6, a simple Unix-like teaching operating system
(pdos.csail.mit.edu)
3 points
lelf
7 years ago
discuss
565.
▲
Learning to Infer and Execute 3D Shape Programs
(shape2prog.csail.mit.edu)
3 points
lainon
7 years ago
discuss
566.
▲
Chickenfoot for Firefox
(groups.csail.mit.edu)
3 points
rosariom
16 years ago
discuss
567.
▲
MIT Probabilistic Computing Project
(probcomp.csail.mit.edu)
3 points
espeed
8 years ago
discuss
568.
▲
Adventures in Advanced Symbolic Programming
(groups.csail.mit.edu)
3 points
charlysl
8 years ago
discuss
569.
▲
Network Information Flow (2000) [pdf]
(pdos.csail.mit.edu)
3 points
espeed
8 years ago
discuss
570.
▲
Speculative Buffer Overflows: Attacks and Defenses [pdf]
(people.csail.mit.edu)
3 points
krylon
8 years ago
discuss
More