Submissions from csail.mit.edu

		Portable Contact Light Source for Re-Programmable Multi-Color Textures (csail.mit.edu)
		2 points by gnabgib 8 days ago \| past \| discuss
		Mathematics for Computer Science [pdf] (csail.mit.edu)
		12 points by lapnect 20 days ago \| past \| 2 comments
		OLTP Through the Looking Glass, and What We Found There (2008) [pdf] (csail.mit.edu)
		2 points by tosh 20 days ago \| past
		CSAIL-GIST autonomous vehicle safety display study won Distinguished Paper Award (csail.mit.edu)
		1 point by sandwichsphinx 31 days ago \| past
		6.S981 Introduction to Program Synthesis Fall 2023 (csail.mit.edu)
		4 points by quick_brown_fox 32 days ago \| past
		History Of Hacking The Nintendo 3DS (2019) [pdf] (csail.mit.edu)
		59 points by supernikio2 39 days ago \| past \| 4 comments
		Mathematics for Computer Science (2018) [pdf] (csail.mit.edu)
		2 points by fzliu 43 days ago \| past
		Mathematics for Computer Science [pdf] (csail.mit.edu)
		2 points by ibobev 44 days ago \| past
		OLTP Through the Looking Glass, and What We Found There (2008) [pdf] (csail.mit.edu)
		4 points by tosh 52 days ago \| past
		Bddbddb: Using Datalog with binary decision diagrams for program analysis [pdf] (csail.mit.edu)
		3 points by fanf2 3 months ago \| past
		Language Models, World Models, and Human Model-Building (csail.mit.edu)
		1 point by sebg 3 months ago \| past
		MIT: The Missing Semester of Your CS Education (csail.mit.edu)
		70 points by thunderbong 3 months ago \| past \| 16 comments
		MIT 6.826: Principles of Computer Systems (csail.mit.edu)
		2 points by zwliew 3 months ago \| past
		Lectures in Advanced Data Structures (6.851) (csail.mit.edu)
		2 points by tosh 3 months ago \| past
		MIT CSAIL Podcast: Reimagining Software Design with Daniel Jackson (csail.mit.edu)
		1 point by lioeters 4 months ago \| past
		Tick-C (1999) (csail.mit.edu)
		2 points by mananaysiempre 4 months ago \| past
		Introduction to Program Synthesis (csail.mit.edu)
		80 points by squircle 4 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 4 months ago \| past
		Man-Computer Symbiosis (1960) (csail.mit.edu)
		153 points by davedx 4 months ago \| past \| 59 comments
		Structure and Interpretation of Classical Mechanics (2015) (csail.mit.edu)
		40 points by xeonmc 4 months ago \| past \| 12 comments
		New algorithm discovers language just by watching videos (csail.mit.edu)
		167 points by geox 5 months ago \| past \| 79 comments
		Xv6, a simple Unix-like teaching operating system (csail.mit.edu)
		234 points by arkj 5 months ago \| past \| 97 comments
		bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis [pdf] (csail.mit.edu)
		4 points by fanf2 5 months ago \| past
		Project Mac:Section IV of the Design Notebook [pdf] (csail.mit.edu)
		1 point by fisheuler 6 months ago \| past
		The WB B-Tree Database (csail.mit.edu)
		2 points by todsacerdoti 6 months ago \| past
		D-Expressions: Lisp power, Dylan style [pdf] (csail.mit.edu)
		89 points by fanf2 6 months ago \| past \| 61 comments
		MIT Programming Languages Review 2024 (csail.mit.edu)
		3 points by matt_d 6 months ago \| past
		A history of CLU. (2021) [pdf] (csail.mit.edu)
		3 points by fanf2 6 months ago \| past
		A Message to Garcia [pdf] (csail.mit.edu)
		2 points by hindsightbias 7 months ago \| past
		How to Make a Mint: The Cryptography of Anonymous Electronic Cash (csail.mit.edu)
		1 point by bindidwodtj 7 months ago \| past \| 1 comment
		More