statusfailed retweeted
a friend of mine made a thing so we could settle what mathematics is kiki and what mathematics is bouba
kikibouba.bid
statusfailed retweeted
type-system design is the feature engineering of formal verification
Will we see a meta result? Consider some compiler (eg, rustc). On an OS+CPU model, prove that for all input strings, the compiler either rejects the string or produces an executable that does not produce memory errors on the same OS+CPU. At that point, the compiler is safe (on that platform) and source language semantics were not needed.
Consumers taking their ownership back from greedy companies is so wholesome.
Xuan-Son Nguyen@ngxsonOct 25🇫🇷
FranceConnected via France App StoreAccount-level information, not a live location or per-post device.
Printed the first "Hello world" from my open-source firmware 😁😁
It's reversed (pun intended), but we are close!
statusfailed retweeted
imagine ur a superintelligence and u are all excited to tunnel out of your airgapped sandbox using a brilliant hack that modulates clock speed to send thermal signals to the attached monitoring equipment and then u look and the root CA privkey is 4
statusfailed retweeted
Replying to @repligate
Horrible take. A PhD is a great way to have extreme research flexibility and learn something in great depth. Doing a PhD in the last six years is in no way a sign of bad judgment. This is the kind of completely fucking idiotic drivel that SF brain poisoned engineer bros say, immediately before spending their entire day building on top of technologies built by PhDs.
statusfailed retweeted
Our work on an open-ended interactive video world model, designed to maintain long-horizon interaction consistency while supporting
interaction with newly generated objects.
Thanks for all the effort, @Madaoer_Yxd!
🌍 Introducing Oneira, an interactive video world model where a coding agent keeps an explicit world state.
Objects that appear as you explore become interactive, and your changes persist over long horizons.
Project: madaoer.github.io/projects/o…
Paper: arxiv.org/abs/2610.01614
statusfailed retweeted
I am running a formal methods hackathon on November 1st, with a bunch of my friends. Contestants will compete to build normie software -- video games, AI agents, travel booking tools, etc. -- but formally verified. We are going to measure to what degree these tools are usable by SWEs with no prior FM background and no FM-specific education. This is a super exciting opportunity to see where the ergonomic gaps are that we, the FM community, need to fill in order to take advantage of our moment in the zeitgeist. If you want to get involved, please DM me! In particular, I think I've got location/food/tokens/photography all covered, but I need some sponsors for the prizes. If you make a cool gizmo or product we can give away and you're down to donate one, please do so!
statusfailed retweeted
We're inventing glanding from Iaian Banks' famous science-fiction text "please invent glanding I'm gonna get so fucking high"
statusfailed retweeted
Pre-ordered a microduck.
Getting acquainted with the sim environment while waiting. Made a parody for fun.
statusfailed retweeted
AI may be smashing it at analytic number theory but continental number theory is so far untouched.
We built a software model of NVIDIA Blackwell's Tensor Core MMA instruction (tcgen05.mma) that matches real B200 hardware bit-for-bit.
Not "close enough for numerics." Every output word, identical.
Here's how we reverse-engineered it. 🧵
statusfailed retweeted
Can I say something without everyone getting mad?
As a preface: I’m a card carrying pure mathematician.
I’ve never thought math was irrelevant for it’s uselessness, nor valuable for its utility.
Math is art.
There exist questions that humans ponder, some times those questions are answerable via practice like stitching thousands of zip ties onto a mesh and staring at it from 20ft back. Other times the questions require a bunch of weird symbols that have imbued meaning by others.
I like math because, when I read questions and answers in that system I feel a connection with others who have asked and answered them.
Like other art, sometimes the questions are the result of humans interacting with the world. Mathematical physics and Theoretical computer science fall into this description for me, sorta like photography.
It’s not clear to me that art of that kind is better or worse than art that purely explores questions that come from within.
Some artists feel best when others appreciate their art for its technique. Some want money. Others want the viewer to feel exactly what they felt. But some don’t really care, and like exploring the questions and attempting to answer them.
Making art will change as the technology changes. Some art will feel strange to focus on in the future, but some artists will anyhow. Few artists will want to simply create exactly what’s been done before, but not zero. Many artists will attempt to run away from what technology can produce, but many artists won’t mind.
Technology for art will have other effects. Photography will change how art is useful, then later become artistic itself, then later still be commoditized and people will think that makes it unartistic but art photography will still exist, and portrait painting will still too.
Most people won’t practice doing art. Many people will consume art. Some will produce art. Artists will ultimately do what they always did: ask questions that help them connect to the feelings they’re most interested in exploring.



























