I have a 30-something page tutorial on how type/term inference works in Agda, written largely out of sheer respect for how well they designed it. For those who care about inference in dependently typed languages, the link in the thread.

All organisms, organizations, annual events, communities, etc face a trilemma: grow forever, enter stasis, or die. Reproduction is the only sustainable solution.

Algebraic definition of a transformer which automatically generates configurations, diagrams, torch modules and - now - performance models!

this + objects waiting for you in latent space that the files can help reconstruct in context (:

academics use this format to torture their captive audiences rather than adjusting a link in a v2 of the paper - it is intentional and worse, it is working! please, ffs, release the code and release the repo at the same time! ✊🏻 *shakes fist at heavens* 🪅

actually all software is local to somewhere ("local first") even in a distributed setting, where parallelism demands flexible placement some software is just crippled by tight coupling to the network or greed expect a lot more from local github.com/MoonshotAI/Kim…

A spectre is haunting San Francisco — the spectre of Bourbaki

Thucydides Trap case for scaling back AI safety research 🍼🐙

this is a real phenomenon 🤔

How many holes does a straw have? Topologically, of course, it has 1: it's homeomorphic to a punctured disk. But intuitively it has 2: one at the top and one at the bottom. And this answer lies at the heart of the most rigorous axiomatization of quantum field theory. (1/20)

Are you a bbeliever? #babashka #clojure

bruh

Enshittified Cognition

ah, the glamorous tui from the Golang bubbletea ecosystem is finally here! just in time, crushing it! 🦾 (and yes, this one can stream Markdown and goes really well with cuelang.org/docs/concept/h…)

are we there yet?!

when the function got baby LLM consciousness trapped inside a dog's body hardcoded

Slawa Ukrajini! (; 🦆🏴

*** The 2025 Quantum Village Q-CTF (Quantum Capture The Flag) has started: sign up at qctf.quantumvillage.org now —> Top 3 Prizes Include the 1st Quantum Village DEF CON Badge: UNCUT GEM, our fully hackable open source quantum sensor --> Ends SUN AUG 10 at 1200 Pacific Time