| | MIT Programming Languages Review Workshop 2025: Registration Open (csail.mit.edu) |
| 2 points by matt_d 7 months ago | past |
|
| | Exokernels: Making the operating system just another application library (1998) (csail.mit.edu) |
| 3 points by vitalnodo 8 months ago | past |
|
| | Anatomy of a scalable software transactional memory [pdf] (csail.mit.edu) |
| 1 point by fanf2 8 months ago | past |
|
| | MIT 6.S184: Introduction to Flow Matching and Diffusion Models (csail.mit.edu) |
| 400 points by __rito__ 8 months ago | past | 24 comments |
|
| | Simulating Time with Square-Root Space [pdf] (csail.mit.edu) |
| 1 point by sumitkumar 8 months ago | past |
|
| | Sublinear Time Algorithms (csail.mit.edu) |
| 138 points by gone35 8 months ago | past | 72 comments |
|
| | A Brief History of ClarisWorks (csail.mit.edu) |
| 3 points by abixb 8 months ago | past |
|
| | Simulating Time with Square-Root Space [pdf] (csail.mit.edu) |
| 2 points by eq_ind 8 months ago | past |
|
| | Simulating Time with Square-Root Space [pdf] (csail.mit.edu) |
| 4 points by robinhouston 8 months ago | past |
|
| | "The Right to Privacy" (1890) (csail.mit.edu) |
| 3 points by Bluestein 10 months ago | past |
|
| | How Did Software Get So Reliable Without Proof? [pdf] (csail.mit.edu) |
| 2 points by AndrewDucker 10 months ago | past |
|
| | How did software get so reliable without proof? (1996) [pdf] (csail.mit.edu) |
| 3 points by fanf2 10 months ago | past | 2 comments |
|
| | NoCap: Accelerating Zero-Knowledge Proofs Through Hardware-Algorithm Co-Design [pdf] (csail.mit.edu) |
| 1 point by hidden80 11 months ago | past |
|
| | The Next Mainstream Programming Language: A Game Developer's Perspective [pdf] (csail.mit.edu) |
| 2 points by droideqa 11 months ago | past | 1 comment |
|
| | Debugging and Profiling (2020) (csail.mit.edu) |
| 6 points by vinhnx 11 months ago | past |
|
| | What Doge Needs: Carry a Message to Garcia [pdf] (csail.mit.edu) |
| 1 point by jdcampolargo 11 months ago | past |
|
| | MIT 6.1810: Operating System Engineering (csail.mit.edu) |
| 3 points by benjacksondev 11 months ago | past |
|
| | Homa: A Receiver-Driven Low-Latency Transport Protocol Using Network Priorities [pdf] (csail.mit.edu) |
| 2 points by ksec 11 months ago | past | 1 comment |
|
| | Portable Contact Light Source for Re-Programmable Multi-Color Textures (csail.mit.edu) |
| 2 points by gnabgib on Nov 8, 2024 | past |
|
| | 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 |
|
|
| More |
