Two experiences at SPLASH 2018 reminded me that software gets thrown away and replaced.

The literature on mixed-typed languages presents (at least) three fundamentally different ways of thinking about the integrity of programs that combine statically typed and dynamically typed code. Recently, we have been sorting them out.

This post explains the sampling method introduced in the paper On the Cost of Type-Tag Soundness

The Racket School 2018: Create your own language • 9–13 July • Salt Lake City

A short guide to Redex concepts, conventions, and common mistakes.

Last week, Northeastern hosted a PI meeting for the Gradual Typing Across the Spectrum NSF grant. The meeting was made of 20+ researchers from four institutions, and 12 technical talks. Schedule:

http://prl.ccs.neu.edu/gtp/pi2017/pi2017.html

A common thread among the talks was the question: how to convert a research idea into a tool for software developers?

From the PRL archives:

I think that I shall never see a matrix lovely as a tree. — Trees, by Guy L. Steele Jr., MIT, 1973

From the PRL archives:

It was also a concept that grabbed my mind, ran off with it, and only returned it after substantial renovation and expansion. — Continuations by Alan Nall, Indiana University, 1983

The ACM recently hosted a celebration of 50 years of the A.M. Turing award. These are some notes and thoughts from the event, including how Fred Brooks once rented a bus, Don Knuth’s outrageous implementation of batch processing, and Judea Pearl’s theory of homo sapiens.

The source code for the PRL website is written using Scribble, the Racket documentation tool. I am very happy with this choice, and you should be too!