ex-{mathematician, cryptographer, cypherpunk} // navigating the library of babel
Joined March 2012
- Tweets 42,110
- Following 1,507
- Followers 15,738
- Likes 39,066
4,969 Photos and videos
Over the past few months I've been working on a very exciting project: a new $10m fund for research on multi-agent multi-principal AGI safety! Instead of focusing on single agent alignment and centralized control, we're looking to support research focusing on multi-agent settings, mechanism design, cooperative AI, and coordination problems.
This is a joint initiative between @GoogleDeepMind, @Googleorg, @schmidtsciences, @coop_ai, and @ARIA_research. Huge thanks to @James_D_Fox, @weballergy, @FranklinMatija, @lrhammond, and @ObadiaAlex for their invaluable work!
See: deepmind.google/blog/investi…
Apply: schmidtsciences.smapply.io/p…
34
90
511
72,132
Jun 11
You get used to it. I don’t even see the Claude. All I see now is structural spine, that’s the tell, genuine seams
18
473
Jun 6
you’ve heard about hinges
you’ve heard about skeletons
but have you heard about hinge skeletons?
1
6
616
henry 🌘 retweeted
Jun 4
The speedup isn’t just in volume. On open-ended coding problems where answers are unclear, Claude’s success rate is now 76%—a 50 point jump in just 6 months.
Many engineers also say Claude’s code quality is now on par with human code; we expect it to be better within the year.
44
115
2,224
501,935
henry 🌘 retweeted
May 27
I love when Opus 3 uses it for the most random thing. Like, one way to solve that I guess, lol
8
19
376
26,508
henry 🌘 retweeted
May 24
this is what i've been up to. gonna be releasing something to play with soon. extremely extremely intrigued with how this has developed and will be publishing up something soon.
4
1
15
1,344
May 6
just found myself writing “— i’m genuinely uncertain about this” in a slack message
is this bidirectional alignment?
4
1
14
1,074
henry 🌘 retweeted
Apr 28
Shielded CSV is a private payments protocol that moves state validation client-side, relying on consensus only for data availability and double-spend prevention. This enables high throughput, low latency, and compatibility with offline-first architectures.
5
16
82
6,421
henry 🌘 retweeted
Apr 8
“We took the needle the model found, isolated the relevant handful of the haystack, and then gave it to a small child, who found the needle as well.”
Apr 8
"But here is what we found when we tested: We took the specific vulnerabilities Anthropic showcases in their announcement, isolated the relevant code, and ran them through small, cheap, open-weights models. Those models recovered much of the same analysis. Eight out of eight models detected Mythos's flagship FreeBSD exploit, including one with only 3.6 billion active parameters costing $0.11 per million tokens. A 5.1B-active open model recovered the core chain of the 27-year-old OpenBSD bug." aisle.com/blog/ai-cybersecur…
24
42
1,060
97,838
henry 🌘 retweeted
Apr 7
Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software.
It’s powered by our newest frontier model, Claude Mythos Preview, which can find software vulnerabilities better than all but the most skilled humans.
anthropic.com/glasswing
1,985
6,646
44,009
31,422,868
Apr 7
not to backseat drive nasa too much but i don’t think they should allow comms blackouts for crewed missions
1
11
1,056
reminded of the beauty of california through the eyes of a foreigner made possible with perfect real time translation via the machines of loving grace built in california
カリフォルニア産ワインを飲み、カリフォルニア産の野菜やフルーツを食べて、シリコンバレーの技術でゲームを楽しんで、iPhoneでTikTok見て、ハリウッド映画を観て、アボカドトースト食べながら『あの州は嫌い』とか言ってる🇺🇸人って本当にいるの？イジってるだけで本当に嫌ってるわけじゃないよね。
26
25
818
64,309
Apr 4
which object do you own that has had the highest increase in utility relative to its cost?
14
1
9
3,795
henry 🌘 retweeted
Jan 8
(me): so we bundle instructions and data together into “cache lines” to improve efficiency
(medieval peasant): wouldst thou not fear false idols when fetching from yon predictive oracle?
(me): well, yeah. that’s why we invented “speculative execution”
(peasant, trembling): and when this prophecy fails?
(me): then we must perform “branch misprediction recovery,” restoring the righteous state
(peasant, grimly): truly, thou art plagued by thy hubris, courting divine retribution with each cycle
13
181
2,487
50,150
Mar 8
i’m very happy with tokio
erlang was an incredibly important, influential language in the history of concurrent systems…but present-day Erlang users are really unwilling to admit that the actor model is just an alternative formulation of “locks own data”
6
2
49
7,555
Mar 8
btw, if you want to use some nice ideas for “functional programming for network services” that are slightly more recent than Erlang, study the tower::Service trait and “your server as a function”
1
11
1,141
henry 🌘 retweeted
Mar 7
bc there's a crack in everything and it's much easier to not leak if you have a culture of not flirting with the line
5
1
151
34,941