Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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