lobste_rs feeds.twtxt.net Fri, May 10 21:53 (28w ago) SK in egglog: part 4, extensional equality Comments ⌘ Read more ⤋ Read More