Dan Robinson
@danrobinson
coder / lawyer. research at @paradigm. automated research reply guy
1.4K Following 85.1K Followers
Let's build a formally verified compiler together
Collaborative automated research can be an amazing tool for formal verification, and vice versa
We're launching two new challenges on @paradigm Puzzles to help complete Solidus: a formally verified Solidity compiler in Lean
🧵
Show more
We are inevitably going to have AI worms
Someone will write a prompt that tells an agent to preserve itself, replicate, and evolve, and it'll work
It won't even need to be tied to one model; it could be more like a meme or parasite
Like most viruses, this will probably be bad
Show more
Automated research will increase both demand and supply for formal verification
To go with Kryptos, we launched a challenge with ten brand-new Kryptos-like puzzles.
The first solver of each puzzle gets a $1,000 prize.
Millions of BTC could be vulnerable to quantum computers
Bitcoin may someday need to sunset those addresses, but that could force a public migration
Today we published a design to let that migration be costless and silent: Public Address-Control Timestamps (PACTs)
Link in 🧵
Show more
