Reposted by ch1n3duIlya Sergey @ilyasergey.bsky.social · 06/09/2026New to the LangLib: JavaGen, a language of nothing but Java interfaces and one subtype query, which is just enough to compute anything by a clever co/contra-variance interplay. Bonus: a Lean proof that Java generics are Turing-complete (Grigore, POPL'17). github.com/ilyasergey/l... 021
Reposted by ch1n3duIlya Sergey @ilyasergey.bsky.social · 31/08/2026As a Programming Language nerd, I have a soft spot for esoteric languages (esolangs), which are built by enthusiasts for fun and to make a point. Over the weekend I started collecting them in Lean, so, please, meet Fantastic Beasts and Where to Find Them, PL edition: github.com/ilyasergey/l... → 162
ch1n3du @ch1n3du.net · 14/08/2026you're like a botanist that specializes in microblog biomes. planting new norvisms and tending to them via elaborate (laudatory) reply threads 010
ch1n3du @ch1n3du.net · 25/06/2026finally got around to adding this to my personal site: ch1n3du.net/apps/hanoi-e... 041
ch1n3du @ch1n3du.net · 10/06/2026not exactly a review but: www.readingdesign.org/nakatomi-spacereadingdesign.orgNakatomi Space — R / D 000
ch1n3du @ch1n3du.net · 09/06/2026i honestly believe he's going to pivot to "turing machines are neurosymbolic" in a few years 040
ch1n3du @ch1n3du.net · 07/06/2026i feel like this anytime i look at shipmap: www.shipmap.orgshipmap.orgShipmap.orgAn incredible visualisation of global shipping traffic, created by Kiln.digital and the UCL Energy Institute. 020
ch1n3du @ch1n3du.net · 24/05/2026not quite, if all the nodes were connected it would be a regular sierpinski triangle but the missing edges are "illegal moves" 110
ch1n3du @ch1n3du.net · 15/05/2026media.tenor.coma bald man wearing glasses and a plaid shirt is talking on a phoneALT: a bald man wearing glasses and a plaid shirt is talking on a phone 010
ch1n3du @ch1n3du.net · 12/05/2026i also implemented basically the same algorithm as the blog post in heavily commented rust here: github.com/ch1n3du/pico...github.com 050
ch1n3du @ch1n3du.net · 12/05/2026and for just type systems this blog post is probably all you need unless you want to implement type inference and subtyping: mukulrathi.com/create-your-...mukulrathi.comAn accessible introduction to type theory and implementing a type-checkerHow do you check if an expression is an int or string? How do we formally define a type system? How do we implement it in a compiler? All answered in this tutorial. 140
ch1n3du @ch1n3du.net · 12/05/2026personally i got started with craftinginterpreters.com/ and think it's the most pleasant intro to langdev it's a book but you can jump around a lot to learn what most interests you once you're done with the basics 240
ch1n3du @ch1n3du.net · 12/05/2026also you've probably already seen this but been reinhardt has some really interesting writing on this: unbundle-the-university.com/ more focused on decoupling certain kinds of r&d though 100
ch1n3du @ch1n3du.net · 12/05/2026i unironically come back to this video regularly as diy clicker training 161
ch1n3du @ch1n3du.net · 12/05/2026i agree, but i think humans have arguably always been cyborgs (tool users) in a way and transhumanism to me is about recognizing and leaning into that 092
ch1n3du @ch1n3du.net · 12/05/2026i'm not as knowledgeable as i'd like but "types and programming languages" by benjamin pierce is probably the best gateway drug 180
ch1n3du @ch1n3du.net · 11/05/2026emmett shear seems to be working on "love* is all you need for alignment" 030
ch1n3du @ch1n3du.net · 24/04/2026paired with a treadmill and you basically have the box bsky.app/profile/code... 020
ch1n3du @ch1n3du.net · 10/04/2026one of the best to ever wing it: en.wikipedia.org/wiki/Zhemao_... 120
ch1n3du @ch1n3du.net · 10/04/2026not to be confused with the gwutter prize: gwern.net/hutter-prizegwern.netTowards a Better Hutter PrizeThe Hutter Prize elegantly prevents cheating by charging for model size, but that same rule now excludes the scale regime where modern AI improves. A useful successor would evaluate incremental predic... 031
Reposted by ch1n3duch1n3du @ch1n3du.net · 09/04/2026it's 2xxx, in the fourth sphere of a matrioshka brain, light kisses silicone and diamond dances, every move carrying the memory of it's undoing a light week passes, bender orbits her refutation - 10¹⁰ utterances out, 10¹⁰ utterances back, a catechism cast in silico, without end 152
