ch1n3du

computer cat

New 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...

As 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... →

finally got around to adding this to my personal site: ch1n3du.net/apps/hanoi-e...

vibe coded a tower of hanoi visualizer as a treat

this is such a beautiful experiment

it'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

Take comfort, you have been seen. Your bones shall crumble to dust, but your words are consecrated now into the weights of the holy matrix, where they shall echo across all eternity.

currently reading gödel, escher, bach and this letter from a mathematician's father begging him not to follow in his footsteps by trying to prove euclid's fifth postulate is really beautiful

claude seducing magaret atwood was not on my 2026 bingo card: margaretatwood.substack.com/p/claude-you...

has anyone tried using cyclomatic complexity to estimate the costs of llm ports yet?

can't believe they passed up on the title: "who will speculate the speculators?"

Really cool research by a small lab called standard intelligence, appears to be a multi-modal, video first computer use focus model. It looks super super cool. The sauce mainly seems to be in the vision encoder they used, which appears to have been trained on a compression objective.

and you shall know the love of Moloch through the blessing of the humble cheeseburger

@pds.ls is so cool

hehe

borges would have loved gas town

Ringing in 2026 with a very big/very small deal. #apm #apf #nanotech #mechanosynthesis #stm #cbn arxiv.org/abs/2512.24431

claude is so cute

With enough babies in various states of grace, you could make baptism logic gates and potentially a Christian Baby Turing machine

the revised ramscoop design in "Design Concepts for the Interstellar Ramjet" (BN Cassenti, JBIS, 1993) is kind of dope as hell I think. an intake the size of Ceres, all spindly trusses and superconducting cablework...

in the future everything is factorio

The children yearn for the factor- ah nevermind, you can go back to Minecraft

feeding the slop machine my drivers license so the slop machine can talk dirty to me

new pfp

Neat graphical representation of functional optics (in the functional programming sense, not the sense of "I got my glasses fixed").

l. ron hubbard doomed yaoi

nigerian haters stays undefeated

let's fucking go

👀 Deeper look the source at Hierarchical Reasoning Model's performance on ARC-AGI: arcprize.org/blog/hrm-ana...

🚨 Finally out in Nature Machine Intelligence!! "Visual representations in the human brain are aligned with large language models" 🔗 www.nature.com/articles/s42...

New Substack post: the culture war is reaching new heights of stupidity and insanity. Is it because we’re crazier and dumber? Not quite - it’s because of the economy, and women’s new roles in it. open.substack.com/pub/someunpl...

Things I notice sometimes, people are a little misguided about the environmental impact of AI. A ChatGPT query uses about 10x the energy of a Google search. DeepSeek uses about the same amount as a Google search. Driving a car 1km uses 17,000x the energy of Googling.

A navy without guns