Blogs / Personal blogs

Michael R. Bernstein

michaelrbernste.in

Michael R. Bernstein is a musician, composer, and installation artist who often builds instruments and devices to interact with in an experimental music setting. He is interested in the interaction of light and sound, repetition and minimalism, networked devices, and granular synthesis. He has an MFA from the Parsons…

Popular posts
2
Total points
251
HN comments
218
Rank
#10,527 personal

Visit michaelrbernste.in → RSS feedOn Hacker News Jun 2013 – Jun 2014

Software Engineering 2Systems & Performance 1Programming Languages 1

1

Types Are The Truth

In Chapter 9 of Types and Programming Languages , Pierce presents his exposition of the Simply typed Lambda-Calculus. It is a truly awesome chapter - each subsection in succession constructs a rich and very well detailed system of computation and Pierce is a master of precision, guiding the reader through the maze of…

2

Real-Time Garbage Collection Is Real

Real-Time Garbage Collection (RTGC) tests the limits of what we typically think is possible in production software. You might hear “Real-Time” and “Garbage Collection” together and think “If you truly need real-time guarantees, why would you use a garbage collected language?” or “How is real-time Garbage Collection…