mathews (@CozendeyMath) header
mathews (@CozendeyMath) profile picture

enfp

Imbituba, Brasil
Joined July 2016
Photo by mathews (@CozendeyMath)Photo by mathews (@CozendeyMath)Photo by mathews (@CozendeyMath)Photo by mathews (@CozendeyMath)Photo by mathews (@CozendeyMath)Photo by mathews (@CozendeyMath)Photo by mathews (@CozendeyMath)Photo by mathews (@CozendeyMath)Photo by mathews (@CozendeyMath)Photo by mathews (@CozendeyMath)
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.
7
11
9
317
46,201
Curiosity about formal verification: Both of the major languages, Lean and Bend, were created by Brazilians 🇧🇷
7
19
4
396
16,615
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
656
18,506
140
192,932
1,960,900
they're so done lmao
53
327
3
7,917
51,471
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!
12
56
9
432
22,796
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
65
35
5
1,813
30,657
familia bolsonaro são as transformações do freeza ao contrario vc vai derrotando do mais forte ate chegar no mais buxa
🚨 ATENÇÃO l Carluxo pode liderar oposição da extrema-direita ao governo Lula
254
6,696
126
80,343
829,293
Estado mental do momento
98
886
113
5,324
118,234
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?
68
121
9
1,557
41,408
mathews retweeted
Privacy on @zcash runs on math. Math is written as code. Code can be wrong. So we rewrote it, with proofs. Meet Zebend: an independent Zcash full node, built from scratch, every consensus check in Bend. Live on mainnet. 🧵
12
25
13
148
13,451
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.
22
2,278
14
31,135
471,112
Esta es la trama de Baki the Grappler por cierto.
14
506
3
7,299
117,502
> the ai researchers flipping neurons
this is one of the most positive developments in the history of machine intelligence
3
15
334
6,670
feliz aniversário pra mim
2
3
115
+ "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"
152
5,183
135
60,829
800,299
mathews retweeted
Meu deus, eu tô chorando com esse vídeo kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
549
24,656
776
124,491
1,511,427
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.
The next great "language for agents" should be: - As fast as Rust - As little design space as Go - Have the strictest type/verification system ever written Bend seems like an interesting first effort
3
1
14
1,256
GRANDE DIA 👍🇧🇷
5,181
23,904
5,823
92,204
mathews retweeted
the ultimate amalgamation of "unc still got it"
I’m actually blown away by the aura
22
3,496
12
39,414
170,015