Submissions from csail.mit.edu

		Introduction to Program Synthesis (csail.mit.edu)
		79 points by squircle 2 days ago \| past \| 33 comments
		Mind the Gap: Data Movement&Operational Intensity Bounds for Tensor Algorithms [pdf] (csail.mit.edu)
		2 points by matt_d 3 days ago \| past \| discuss
		Man-Computer Symbiosis (1960) (csail.mit.edu)
		149 points by davedx 3 days ago \| past \| 56 comments
		Structure and Interpretation of Classical Mechanics (2015) (csail.mit.edu)
		40 points by xeonmc 10 days ago \| past \| 12 comments
		New algorithm discovers language just by watching videos (csail.mit.edu)
		167 points by geox 23 days ago \| past \| 79 comments
		Xv6, a simple Unix-like teaching operating system (csail.mit.edu)
		234 points by arkj 29 days ago \| past \| 97 comments
		bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis [pdf] (csail.mit.edu)
		4 points by fanf2 32 days ago \| past
		Project Mac:Section IV of the Design Notebook [pdf] (csail.mit.edu)
		1 point by fisheuler 49 days ago \| past
		The WB B-Tree Database (csail.mit.edu)
		2 points by todsacerdoti 50 days ago \| past
		D-Expressions: Lisp power, Dylan style [pdf] (csail.mit.edu)
		89 points by fanf2 51 days ago \| past \| 61 comments
		MIT Programming Languages Review 2024 (csail.mit.edu)
		3 points by matt_d 61 days ago \| past
		A history of CLU. (2021) [pdf] (csail.mit.edu)
		3 points by fanf2 63 days ago \| past
		A Message to Garcia [pdf] (csail.mit.edu)
		2 points by hindsightbias 3 months ago \| past
		How to Make a Mint: The Cryptography of Anonymous Electronic Cash (csail.mit.edu)
		1 point by bindidwodtj 3 months ago \| past \| 1 comment
		SCIgen – An Automatic CS Paper Generator (csail.mit.edu)
		1 point by EndXA 3 months ago \| past
		Attention is Turing Complete (2021) [pdf] (csail.mit.edu)
		2 points by wslh 4 months ago \| past
		MIT 6.5840: Distributed Systems (spring 2024) (csail.mit.edu)
		2 points by sgoyal 4 months ago \| past
		A Vision Check-Up for Language Models (csail.mit.edu)
		2 points by og_kalu 4 months ago \| past
		Smart glove teaches new physical skills (csail.mit.edu)
		1 point by kungfudoi 4 months ago \| past
		SCIgen – An Automatic CS Paper Generator (2005) (csail.mit.edu)
		1 point by fer 4 months ago \| past
		Multiplying 10-digit numbers using Flickr: The power of recognition memory [pdf] (csail.mit.edu)
		1 point by gone35 4 months ago \| past
		Yak Shaving (2001) (csail.mit.edu)
		4 points by dgacmu 5 months ago \| past
		Ambient light sensors pose imaging privacy risk (csail.mit.edu)
		54 points by forgotmypw17 5 months ago \| past \| 16 comments
		A Brief History of ClarisWorks (csail.mit.edu)
		1 point by cristoperb 6 months ago \| past
		MIT Missing CS Semester – Vim (2020) (csail.mit.edu)
		3 points by loughnane 6 months ago \| past
		It's time for a new old language (2017) [pdf] (csail.mit.edu)
		77 points by hackandthink 7 months ago \| past \| 18 comments
		How Did Software Get So Reliable Without Proof? (1996) [pdf] (csail.mit.edu)
		4 points by mpweiher 8 months ago \| past \| 1 comment
		Eulerian Video Magnification (2012) (csail.mit.edu)
		2 points by nurettin 8 months ago \| past
		RDDs: A Fault-Tolerant Abstraction for In-Memory Cluster Computing [pdf] (csail.mit.edu)
		4 points by vector_spaces 9 months ago \| past
		Get a cable modem, go to jail (1999) (csail.mit.edu)
		513 points by resolutebat 10 months ago \| past \| 458 comments
		More