i use ai for code review a lot
opus 5.5 ultracode is so much better than sol 6.1 ultra
when sol says all is good, opus still finds issues
today, before committing something both models said was ok, i decided to try argon
it still found important issues
argon is great
Daniel Steigerwald retweeted
I’ve always said that WW3 has begun, and that if Ukraine wins, this is the final battle, and if they lose, this is the first battle.
But I never expected that the USA would be on the side of Russia and China, like we ow are under Trump.
Are we sleepwalking into World War III? ft.trib.al/uniZyFL
typescript will soon have not just versions, but incarnations
bunscript, vercelscript, brofromxscript…
Daniel Steigerwald retweeted
EXCLUSIVE: Elon Musk came to Donald Trump with the plan to throttle Ukraine’s use of SpaceX’s Starshield satellite internet network, sources have told the Telegraph.
The tech billionaire made the proposal during the US President’s row with Volodymyr Zelensky over strikes on Russian oil refineries.
‘The reality is that they were both in it,’ a senior source said of Musk’s and Trump’s involvement.
But after a night of carnage in Kyiv caused by the slowdown, Musk was alarmed about the possibility of adverse consumer reaction in Europe.
The SpaceX boss then proceeded to tweet, blaming the US administration, and ultimately, President Trump for authorising the slowdown.
‘He tweeted out that he was innocent and that it was the US administration that did it,’ the source said.
Daniel Steigerwald retweeted
Here is a prompt to build a verified version of software X in Lean, prove correctness and optimize it to run faster than its original.
/goal Implement X in Lean. Get it to pass all the tests of X. Then state theorems that guarantee that your implementation is correct. Then prove them in Lean. Then pick a well-established benchmark or dataset, ensure your implementation works on it. Measure the speed baseline. Then aggressively optimize your implementation to run at least 10% faster than the fastest implementation of X, while passing the tests and proving the correctness guaranteeing theorems for each optimized version. This may take a long time and lots of ingenuity, don't stop until fully and honestly done. Put your work in a public Github repo. Include the proven theorems and a gif of plot showing the results of your optimizations over iterations, compared to competing implementations.
This workflow was inspired by @tqft's (Kim Morrison) lean-zip github.com/kim-em/lean-zip.
Here are two examples:
1. Implementation of algorithms factoring integers into primes: github.com/Vilin97/PrimeFact…
2. Implementation of jump processes in Lean, faster than Julia's: github.com/Vilin97/JumpProce….
tldr: use hw key for npm releases, i use @Trezor
Daniel Steigerwald retweeted
This "Germany first" will quickly turn into "russia first" just like with American MAGA. Hope Germans are smarter than to fall for this
Daniel Steigerwald retweeted
"It was too ambitious to build a linter and formatter so I told Claude to copy VoidZero"
Congratulations!
Daniel Steigerwald retweeted
Throwback Thursday:
In the early days of Trezor's development, I hit a wall. I couldn't get the display to initialize, and the screen refused to show anything. After weeks of frustrating debugging, I was ready to abandon the project because a hardware wallet without a screen makes absolutely no sense.
The last thing we need is competitors dunking on @ledger to score cheap marketing points.
If retirement attacks are possible, this threatens all of self-custody.
Today it's your competitor. Tomorrow it could be you.
