Defining Safe Hardware Design [pdf](people.csail.mit.edu)33 points by rachitnigam 8 months ago | 4 comments
Elephants Don't Play Chess (1990) [pdf](people.csail.mit.edu)6 points by gregsadetsky 9 months ago | 2 comments
Transpiler, a Meaningless Word (2023)(people.csail.mit.edu)109 points by jumploops 11 months ago | 91 comments
Why study programming languages (2022)(people.csail.mit.edu)131 points by bhasi 1 year ago | 97 comments
Advanced Scheme Techniques (2004) [pdf](people.csail.mit.edu)93 points by mooreds 1 year ago | 15 comments
Introduction to Program Synthesis(people.csail.mit.edu)55 points by squircle 2 years ago | 19 comments
D-Expressions: Lisp power, Dylan style [pdf](people.csail.mit.edu)79 points by fanf2 2 years ago | 45 comments
On the paper “Exploring the MIT Mathematics and EECS Curriculum Using LLMs” [pdf](people.csail.mit.edu)143 points by jlaneve 3 years ago | 69 comments
![Screenshot of people.csail.mit.edu: Defining Safe Hardware Design [pdf]](https://hn.urlbox.com/shots/renders/2026/2/3/6db83f60-74bd-456a-b822-1f125a434f60.jpg)
![Screenshot of people.csail.mit.edu: Elephants Don't Play Chess (1990) [pdf]](https://hn.urlbox.com/shots/renders/2026/1/12/7a0df97e-4963-4ccd-a4d1-43fd8442d773.jpg)
![Screenshot of people.csail.mit.edu: Advanced Scheme Techniques (2004) [pdf]](https://hn.urlbox.com/shots/renders/2025/9/12/deecda8b-67af-4416-b739-e65a05ba8a35.jpg)
![Screenshot of people.csail.mit.edu: D-Expressions: Lisp power, Dylan style [pdf]](https://hn.urlbox.com/shots/renders/2024/5/20/f7125974-e805-468f-859a-c8b11bb01ecc.jpg)
![Screenshot of people.csail.mit.edu: What Goes Around Comes Around [pdf]](https://hn.urlbox.com/shots/renders/2023/8/4/08f3c128-f719-40d7-8ab6-931205ee7b91.jpg)
![Screenshot of people.csail.mit.edu: On the paper “Exploring the MIT Mathematics and EECS Curriculum Using LLMs” [pdf]](https://hn.urlbox.com/shots/renders/2023/6/25/10d00511-cd46-489b-8854-6b2cca39bf56.jpg)