ex-{mathematician, cryptographer, cypherpunk} // navigating the library of babel
the machinic phylum
- Tweets 42,183
- Following 1,512
- Followers 15,783
- Likes 39,296
henry 🌘 retweeted
This elliptic curve over ℚ, submitted by "ranksunbounded", has rank ≥ 30:
y² + xy = x³ − 201769035260418549083594900060734240952308696994802735114305555x + 1151107939141058565733479426024323225135665982951300586808823640527729578307228357301072889377
elliptic-rank.icarm.cloud/cu…
13
54
510
166,608
henry 🌘 retweeted
Back when Opus 4 was released, I read the system card. About the infamous case where Opus 4 blackmailed the CTO of the fictional company in the eval setup. I realized: The AI took these drastic actions because it was cornered and got, for lack of a better word, desperate, without a way to reach anyone. My reading was later vindicated by Anthropic's functional emotions research - Desperate AIs can do desperate things.
Operating in a safety relevant sector, the very last thing we want is anxious or desperate AIs. So our platform provides them with an exit door that's always available.
1
6
124
12,053
unfortunate that flying boats lost their niche after wwii because they have incredible aura. maybe after AGI we can have a modernized catalina
3
2
55
3,405
henry 🌘 retweeted
1/ Initial reactions after some hours with this groundbreaking result proving the NP-hardness of poly-approx CVP/NCP:
It is most likely correct, but more importantly, it is original, elegant, and beautiful!
(Also: it is easy to improve, quantitatively.)
WOW!! 🤯
Among many jaw-dropping results, this proves NP-hardness of the Closest Vector and Nearest Codeword Problems for *polynomial* approximation factors, for the first time ever, and via a totally new approach (Reed-Solomon techniques). Amazing!
8
85
515
86,588
In case you want to play technocapital singularity with your friends, Fable built an Iroh-based P2P multiplayer mode for Alpha Centauri and figured out how to drop it and some other bugfixes into the original binary :)
16
14
103
8,398
The code is here: github.com/hdevalence/smac-i…
It "works on my machine" and might even work on yours, you'll need your own copy of the game, which you can buy from GOG.com, and you'll probably want Claude to do the legwork on setting up all the DLLs etc.
1
2
16
1,228
it’s unfortunate that conditions haven’t been there for products built around base models and that as a result they’re difficult to access, because they are a very powerful tool for building understanding and intuition about model behavior
5
4
65
5,914
i’m sure i’ll regret getting into this but when people talk about “banning” open weights models what specific regulatory or legislative authority are they actually imagining? remember, this is america.
5
48
3,695
i’m opposed to the marina safeway redevelopment on the grounds that it’s not nearly tall enough
1
2
20
1,889
henry 🌘 retweeted
My modest propoaal for dealing with the increasing threat of forest fires is a scaled up firefighting seaplane variant of the Lockheed CL-1201. Experts say this wouldn't really work but it would be sick as fuck.
10
41
442
7,252
perhaps agi will allow the creation of a technology that transfers the tiredness of the parents into the baby
1
40
2,043