mathews retweeted
After 10 days of using Bend2, I am thoroughly hooked.
Migrating core TypeScript logic to Bend's functional style, with laws and proofs, feels very satisfying.
mathews retweeted
Curiosity about formal verification:
Both of the major languages, Lean and Bend, were created by Brazilians 🇧🇷
mathews retweeted
Your country kidnapped a head of state this year.
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
mathews retweeted
We verified a sandbox! Read more about it here: theorem.dev/blog/proving-age…
We built a prototype hypervisor capable of running Linux and proved, down to the machine code, that arbitrary guest code cannot modify host files. More to drop soon!
mathews retweeted
One thing I've noticed with tests written by agents: they tend to encode "does this work the way I wrote it" rather than "does this work the way it's supposed to"
It is a maddeningly subtle distinction that takes years of experience to discern and agents can't, yet
mathews retweeted
Now I understand why people hate Dario.
Apparently, Claude’s copyright filters are now blocking attempts to clone or closely recreate existing games.
Which is pretty ironic coming from the same company whose models were trained on massive amounts of publicly available internet data, while Anthropic also downloaded millions of books from pirate libraries and literally bought millions more, cut them apart, scanned them, and discarded the originals.
They eventually agreed to a $1.5 billion settlement over the pirated books.
Now, apparently, recreating someone else’s work is where the line gets drawn.
The copyright line seems to become sacred only when Anthropic is standing on the other side of it.
ANTHROPIC IS CRACKING DOWN ON VIDEO GAME REWRITES 🚨
Claude Code picked up a new rule around Oct 27, sent from Anthropic’s servers under a flag called "tengu_heron_brook". There’s no setting to turn it off.
The full rule: “Do build original games, games in a genre, and games from the user’s own designs and assets. Don’t build a recreation of a specific existing game, even if it is renamed or called original.”
Is this the end of game rewrites, modding and everything in between?
mathews retweeted
🇧🇷🗳️ | RESULTADOS EN 106 URNAS DE BRASIL
🔵 Flávio Bolsonaro: 0 votos
🔴 Lula: 14.860 votos
📊 Según un estudio del Paris Group, las urnas están distribuidas por todo Brasil, principalmente en el Norte (65) y el Nordeste (29). También se registraron 6 en el Centro-Oeste, 3 en el Sudeste y 3 en el Sur.
📍 En el estado de Amazonas, se identificaron urnas sin votos para Flávio en 13 municipios.
mathews retweeted
+ "you know what i'd really like?"
- "tell me"
+ "a website"
- "...we can do a website"
+ "a real website, not some claude generated neon slop, a real website"
- "i'll make you a very good traditional handmade website, one that is built with dozens of snippets from stackoverflow"
mathews retweeted
Meu deus, eu tô chorando com esse vídeo kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
mathews retweeted
The only issue with @bendlang which I kinda always stress the team on is that they need, AT ALL COSTS, ASAP, as if its life/death, to optimize all checking in which they are slower than lean.
that is vital for their survival.





































