| | Bddbddb: Using Datalog with binary decision diagrams for program analysis [pdf] (csail.mit.edu) |
|
3 points by fanf2 8 months ago | past
|
|
| | Language Models, World Models, and Human Model-Building (csail.mit.edu) |
|
1 point by sebg 8 months ago | past
|
|
| | MIT: The Missing Semester of Your CS Education (csail.mit.edu) |
|
70 points by thunderbong 8 months ago | past | 16 comments
|
|
| | MIT 6.826: Principles of Computer Systems (csail.mit.edu) |
|
2 points by zwliew 8 months ago | past
|
|
| | Lectures in Advanced Data Structures (6.851) (csail.mit.edu) |
|
2 points by tosh 8 months ago | past
|
|
| | MIT CSAIL Podcast: Reimagining Software Design with Daniel Jackson (csail.mit.edu) |
|
1 point by lioeters 9 months ago | past
|
|
| | Tick-C (1999) (csail.mit.edu) |
|
2 points by mananaysiempre 9 months ago | past
|
|
| | Introduction to Program Synthesis (csail.mit.edu) |
|
80 points by squircle 9 months ago | past | 33 comments
|
|
| | Mind the Gap: Data Movement&Operational Intensity Bounds for Tensor Algorithms [pdf] (csail.mit.edu) |
|
2 points by matt_d 9 months ago | past
|
|
| | Man-Computer Symbiosis (1960) (csail.mit.edu) |
|
153 points by davedx 9 months ago | past | 59 comments
|
|
| | Structure and Interpretation of Classical Mechanics (2015) (csail.mit.edu) |
|
40 points by xeonmc 9 months ago | past | 12 comments
|
|
| | New algorithm discovers language just by watching videos (csail.mit.edu) |
|
167 points by geox 10 months ago | past | 79 comments
|
|
| | Xv6, a simple Unix-like teaching operating system (csail.mit.edu) |
|
234 points by arkj 10 months ago | past | 97 comments
|
|
| | bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis [pdf] (csail.mit.edu) |
|
4 points by fanf2 10 months ago | past
|
|
| | Project Mac:Section IV of the Design Notebook [pdf] (csail.mit.edu) |
|
1 point by fisheuler 11 months ago | past
|
|
| | The WB B-Tree Database (csail.mit.edu) |
|
2 points by todsacerdoti 11 months ago | past
|
|
| | D-Expressions: Lisp power, Dylan style [pdf] (csail.mit.edu) |
|
89 points by fanf2 11 months ago | past | 61 comments
|
|
| | MIT Programming Languages Review 2024 (csail.mit.edu) |
|
3 points by matt_d 11 months ago | past
|
|
| | A history of CLU. (2021) [pdf] (csail.mit.edu) |
|
3 points by fanf2 11 months ago | past
|
|
| | A Message to Garcia [pdf] (csail.mit.edu) |
|
2 points by hindsightbias on April 2, 2024 | past
|
|
| | How to Make a Mint: The Cryptography of Anonymous Electronic Cash (csail.mit.edu) |
|
1 point by bindidwodtj on March 27, 2024 | past | 1 comment
|
|
| | SCIgen – An Automatic CS Paper Generator (csail.mit.edu) |
|
1 point by EndXA on March 12, 2024 | past
|
|
| | Attention is Turing Complete (2021) [pdf] (csail.mit.edu) |
|
2 points by wslh on March 8, 2024 | past
|
|
| | MIT 6.5840: Distributed Systems (spring 2024) (csail.mit.edu) |
|
2 points by sgoyal on March 7, 2024 | past
|
|
| | A Vision Check-Up for Language Models (csail.mit.edu) |
|
2 points by og_kalu on Feb 26, 2024 | past
|
|
| | Smart glove teaches new physical skills (csail.mit.edu) |
|
1 point by kungfudoi on Feb 23, 2024 | past
|
|
| | SCIgen – An Automatic CS Paper Generator (2005) (csail.mit.edu) |
|
1 point by fer on Feb 16, 2024 | past
|
|
| | Multiplying 10-digit numbers using Flickr: The power of recognition memory [pdf] (csail.mit.edu) |
|
1 point by gone35 on Feb 8, 2024 | past
|
|
| | Yak Shaving (2001) (csail.mit.edu) |
|
4 points by dgacmu on Jan 28, 2024 | past
|
|
| | Ambient light sensors pose imaging privacy risk (csail.mit.edu) |
|
54 points by forgotmypw17 on Jan 22, 2024 | past | 16 comments
|
|
|
|
More |
