| | Mathematics for Computer Science [pdf] (csail.mit.edu) |
| 12 points by lapnect on Oct 27, 2024 | past | 2 comments |
|
| | OLTP Through the Looking Glass, and What We Found There (2008) [pdf] (csail.mit.edu) |
| 2 points by tosh on Oct 27, 2024 | past |
|
| | CSAIL-GIST autonomous vehicle safety display study won Distinguished Paper Award (csail.mit.edu) |
| 1 point by sandwichsphinx on Oct 15, 2024 | past |
|
| | 6.S981 Introduction to Program Synthesis Fall 2023 (csail.mit.edu) |
| 4 points by quick_brown_fox on Oct 15, 2024 | past |
|
| | History Of Hacking The Nintendo 3DS (2019) [pdf] (csail.mit.edu) |
| 59 points by supernikio2 on Oct 7, 2024 | past | 4 comments |
|
| | Mathematics for Computer Science (2018) [pdf] (csail.mit.edu) |
| 2 points by fzliu on Oct 3, 2024 | past |
|
| | Mathematics for Computer Science [pdf] (csail.mit.edu) |
| 2 points by ibobev on Oct 3, 2024 | past |
|
| | OLTP Through the Looking Glass, and What We Found There (2008) [pdf] (csail.mit.edu) |
| 4 points by tosh on Sept 24, 2024 | past |
|
| | Bddbddb: Using Datalog with binary decision diagrams for program analysis [pdf] (csail.mit.edu) |
| 3 points by fanf2 on Aug 11, 2024 | past |
|
| | Language Models, World Models, and Human Model-Building (csail.mit.edu) |
| 1 point by sebg on Aug 1, 2024 | past |
|
| | The Missing Semester of Your CS Education (2020) (csail.mit.edu) |
| 70 points by thunderbong on Aug 1, 2024 | past | 16 comments |
|
| | MIT 6.826: Principles of Computer Systems (csail.mit.edu) |
| 2 points by zwliew on July 27, 2024 | past |
|
| | Lectures in Advanced Data Structures (6.851) (csail.mit.edu) |
| 2 points by tosh on July 24, 2024 | past |
|
| | MIT CSAIL Podcast: Reimagining Software Design with Daniel Jackson (csail.mit.edu) |
| 1 point by lioeters on July 18, 2024 | past |
|
| | Tick-C (1999) (csail.mit.edu) |
| 2 points by mananaysiempre on July 6, 2024 | past |
|
| | Introduction to Program Synthesis (csail.mit.edu) |
| 80 points by squircle on July 3, 2024 | past | 33 comments |
|
| | Mind the Gap: Data Movement&Operational Intensity Bounds for Tensor Algorithms [pdf] (csail.mit.edu) |
| 2 points by matt_d on July 3, 2024 | past |
|
| | Man-Computer Symbiosis (1960) (csail.mit.edu) |
| 153 points by davedx on July 3, 2024 | past | 59 comments |
|
| | Structure and Interpretation of Classical Mechanics (2015) (csail.mit.edu) |
| 40 points by xeonmc on June 26, 2024 | past | 12 comments |
|
| | New algorithm discovers language just by watching videos (csail.mit.edu) |
| 167 points by geox on June 13, 2024 | past | 79 comments |
|
| | Xv6, a simple Unix-like teaching operating system (csail.mit.edu) |
| 234 points by arkj on June 7, 2024 | past | 97 comments |
|
| | bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis [pdf] (csail.mit.edu) |
| 4 points by fanf2 on June 4, 2024 | past |
|
| | Project Mac:Section IV of the Design Notebook [pdf] (csail.mit.edu) |
| 1 point by fisheuler on May 18, 2024 | past |
|
| | The WB B-Tree Database (csail.mit.edu) |
| 2 points by todsacerdoti on May 17, 2024 | past |
|
| | D-Expressions: Lisp power, Dylan style [pdf] (csail.mit.edu) |
| 89 points by fanf2 on May 16, 2024 | past | 61 comments |
|
| | MIT Programming Languages Review 2024 (csail.mit.edu) |
| 3 points by matt_d on May 6, 2024 | past |
|
| | A history of CLU. (2021) [pdf] (csail.mit.edu) |
| 3 points by fanf2 on May 4, 2024 | 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 |
|
|
| More |
