lobste_rs feeds.twtxt.net Tue, May 20 11:34PM (31w ago) The Lisp in the Cellar: Dependent Types that Live Upstairs Comments ⌘ Read more ⤋ Read More