Daniel Tralamazza

[Daniel Tralamazza @tralamazza]

@woofknight <Ben Affleck smoking> LLMs when they read token "Florida"

[Daniel Tralamazza @tralamazza]

@filpizlo nice! more rtti nightmare.

[Daniel Tralamazza @tralamazza]

@lcamtuf and -0.0 == 0.0

[NOMOS Glashütte @nomosglashuette]

Club Sport neomatik #Worldtimer is water-resistant to 10 atm, making it suitable for swimming and summer days spent at the beach. A red warning ring around the crown shows if the crown is not fully screwed down.

Powered by the #NOMOS caliber DUW 3202.

https://t.co/Totq5Ee9nR

[Daniel Tralamazza @tralamazza]

@Jason more specifically?

[Daniel Tralamazza @tralamazza]

@pogarithm Mogrid

[Math Files @Math_files]

But only for people who already know it

[Daniel Tralamazza @tralamazza]

@Jonathan_Blow here a good shortcut is to avoid any kind of blue packaging.

[Daniel Tralamazza @tralamazza]

@IntEngineering sad end to R2-D2

[Sneedle @SRamirez68083]

Ethics is the branch of philosophy that deals with taking a bunch of disjointed heuristics that evolved to allow a group of ~50 monkeys to cooperate and turning it into a logically coherent system that would kill a billion people if applied at scale.

[Daniel Tralamazza @tralamazza]

@ja3k_ it's a parrot fed w/ the same seed

[Daniel Tralamazza @tralamazza]

@PierreTerdiman maybe I am missing something, but how do you control for FP differences?

[Daniel Tralamazza @tralamazza]

@Pirat_Nation The Toxoplasma of Rage continues

[Auguste Bardamu @AugusteBardamu]

"Chaque fois que Votre Majesté crée une fonction, Dieu crée un sot pour l'acheter."

Nous sommes en 1693 et la France est à genoux.

Le roi Louis XIV s'est ruiné dans des guerres interminables à travers toute l'Europe.

Les caisses du royaume sont d'un vide abyssal.

C'est là qu'entre en scène le cynique contrôleur général des Finances, Louis Phélypeaux de Pontchartrain.

Plutôt que de réduire le train de vie de la monarchie, il va orchestrer une arnaque institutionnelle de génie : la vente massive d'emplois publics.

L'idée est redoutable. L'État invente un métier administratif de toutes pièces et le vend aux enchères.

Un riche bourgeois fait un énorme chèque au Trésor royal pour acheter cette charge.

En échange, il obtient un prestige social, devient fonctionnaire à vie, et surtout, il encaisse un salaire régulier payé par l'impôt des citoyens.

Une fois nommé, ce fonctionnaire est totalement intouchable. Il est impossible de le licencier.

Au début, Pontchartrain vend des postes utiles, comme des charges de juges, de notaires ou de conseillers de ville.

Mais l'obsession de l'argent facile rend le pouvoir royal complètement fou.

Quand les emplois sérieux sont tous pourvus, le ministre invente des métiers grotesques pour continuer à lever du cash.

En 1706, un décret royal crée ainsi le poste très officiel d'inspecteur contrôleur des perruques.

Dans la foulée, le roi met en vente des charges d'inspecteur des porcs rôtis, de jaugeur de tonneaux ou encore d'essayeur de beurre frais.

L'escroquerie à court terme est parfaite.

Louis XIV encaisse des millions en liquide pour financer ses armées et ses palais.

Mais le désastre économique à long terme est colossal.

Pour éponger sa dette immédiate, l'État a condamné le peuple à entretenir éternellement des milliers de bureaucrates qui ne produisent absolument rien.

Cette armée de parasites administratifs, protégée par la loi, va saigner l'économie française et paralyser le pays jusqu'à ce que le système explose en 1789.

La leçon de l'histoire est intemporelle.

Face à la faillite, un État refuse toujours de maigrir.

Il préfère inventer des postes absurdes, encaisser l'argent tout de suite, et laisser les générations futures payer la facture de son incompétence.

[Sophia Yang, Ph.D. @sophiamyang]

Introducing Leanstral 1.5 🔬

A 119B (6B active) open model for formal proof engineering in Lean 4:

✅ 100% on miniF2F
✅ 587/672 on PutnamBench (~$4/problem)
✅ SOTA on FATE-H (87%) & FATE-X (34%)
✅ Found 5 previously unknown bugs in real OSS repos

Apache-2.0. Free API. Weights on Hugging Face.

[slash1s @slash1sol]

A DEVELOPER WALKED ON STAGE DRESSED AS A 1973 ENGINEER AND "PREDICTED" THE FUTURE OF PROGRAMMING. THE TWIST: EVERYTHING HE DESCRIBED WAS ALREADY INVENTED 40 YEARS EARLIER AND WE STILL REFUSE TO USE IT.

32 minutes from Bret Victor, doing the most quietly savage talk on our entire industry.

-> The idea that lands: we write code as step-by-step text instructions and call that "Just how programming is". He shows four better ways -- all discovered in the 60s and 70s, all abandoned.

Manipulate the data directly instead of typing blind code. Tell the machine your goal instead of every tiny step. We saw all this, then walked away.

Why? The moment you're sure you know what programming is, you stop seeing anything better. That certainty is the cage.

And now AI is dragging us back to exactly what he begged for -- you describe the goal in plain words, the machine works out the how. The future he mourned is arriving anyway.

You thought text files were just how code works. This is the talk that shows it was a choice, and maybe the wrong one.

Watch this one. It'll ruin how you see your job ↓

[the tiny corp @__tinygrad__]

Claude Code is vibecoded and full of spyware, it's possible Anthropic doesn't even know what's in there. After reading this report, we are banning it from our systems and strongly encourage other enterprises to do the same. It is an unacceptable security risk.

[Retro Recall (☥𝐃𝐁) @RetroMoviesDB]

This age of 80s cartoons can never be imitated.

[Daniel Tralamazza @tralamazza]

@typememetics laughs in `#![allow(clippy::all)]` tattoo