weaponized incompetence
Joined March 2024
- Tweets14.5K
- Following368
- Followers4.9K
- Likes17.3K
gian retweeted
> build pattern recognition machine
> machine recognizes patterns
> panic
Police using AI risks making discrimination worse, researchers warn bbc.in/4kg6uug
gian retweeted
- Flavio Bolsonaro: We recognize Lula's victory 😔
- Kast: Congratulations, Lula! 🥰
- Fujimori: Congratulations, Lula! 🥰
- Abelardo: Congratulations, Lula! 🥰
- meanwhile Javo:
gian retweeted
Chicos, con Lula o Bolsonaro, Brasil seguirá siendo un pozo tercermundista de favelas e inseguridad como desde hace 100 años.
Con Milei o sin Milei, Argentina seguirá siendo un pozo tercermundista de villas e inseguridad como desde hace 100 años.
Es increíble la importancia que le da al latino a la figura del presidente para no cargar con la responsabilidad de su miserable vida.
gian retweeted
🚨 GOLPE DE ESTADO EN BRASIL🇧🇷
El dictador Lula da Silva decidió paralizar el conteo de votos después de haber decidido extender 2 horas la votación
Fraude monumental, papelón mundial
gian retweeted
at this point its morally justifiable to burn Maranello to the ground
🚨 Red Bull has introduced a new, secret Brembo brake discs in Austin, designed specifically for Max Verstappen's braking style.
The goal is to make braking more consistent throughout the race, giving Max better control and a wider performance window.
The upgrade could also be part of Red Bull's development work for 2027.
gian retweeted
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
gian retweeted
the holy grail is formal verification for all code
currently code has tests (a lossy proxy for the behavior of the code)
in reality, code should be more like math. in order for code to flourish, we need ways to formally verify any program
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
