Hello, my name is Michael R. Bernstein and this is my personal blog. Here you'll find my talks and presentations, general blog posts, mixes and other sounds, posts on TAPL and CTM, and more. I hope you enjoy!
Talks and Presentations
Slides, videos, and transcripts from talks I've given.
Programs That Eat Programs
Explorations in abstract interpretation, static analysis, concrete interpretation, and more.
General blog posts.
Mixes and Other Sounds
Tracklists and breakdowns of sounds I've collected.
Types and Programming Languages
Benjamin C. Pierce's tome
formalizes type systems and offers a different perspective to understanding computation. Notoriously dense, I am slowly making my way through and posts here will likely be sporadic.
Concepts, Techniques, and Models of Computer Programming
Computing Without Computers
The more I learn about computers, the more I look elsewhere to help me understand them. This series of posts is an experiment in getting away from the screen.
Distributed Systems Archaeology
I gave a talk at Ricon West
in October 2013 called "Distributed Systems Archaeology." This section contains one article written during research, and the available resources documenting the talk, including a written transcript.
I tend to get obsessed with topics and get into them deeply. In preparation for a talk
, I worked on a series of posts about the very broad subject of Garbage Collection.