@hdevalence

ex-{mathematician, cryptographer, cypherpunk} // navigating the library of babel

 the machinic phylum
hdevalence.ca
Joined March 2012
  • Tweets42.2K
  • Following1.5K
  • Followers15.8K
5KMedia
Claude figured out the origin of the NIST curve parameters. Turns out to have been timestamps! anthropic.com/research/ecdsa…
34
41
21
647
132,483
who’s in charge of X product now and how do i pay to get anything detected by pangram out of my feed
7
5
91
3,782
@max_spero_ please figure out how to get them to make this happen
10
531
two other models that are fantastic for pairwise comparison tournaments with open-ended, qualitative criteria are haiku 5.5 and sonnet 5.5
Nathan LeClaire
@dotpemOct 12
here's a jev tip. when ranking, it's tempting to ask for a Score, like "Is this content relevant to <xyz>?" and then sort on it. but it seems better to use a Choice instead, doing pairwise comparisons ("Which is the most relevant?") and using something like Bradley-Terry.
1
11
1,306
henry 🌘 retweeted
1a3orn@1a3ornOct 11
Replying to @s_r_tarnmoor
You can just --- feed Gaia a large number of Pre-Introdus browsing histories, sensor feeds, and blogs, until it knows more about SF than any human being ever, and spits out a dashboard showing (best-guess) every human's location every hour till 2028 March 14 11:30 PM.
1
13
517
you jailbreak amazon rufus One Time, and…
Justine Moore
@venturetwinsOct 7
Someone discovered a new Amazon AI feature that summarizes what it knows about you and I am crying of laughter
6
2
76
3,770
the crossword is newer than the subway
20
1,075
henry 🌘 retweeted
Jebus
@JebusSep 5
25 years of economic decline in the UK
446
10,915
765
140,845
5,362,510
henry 🌘 retweeted
David Renshaw@dwrenshaAug 20
This elliptic curve over ℚ, submitted by "ranksunbounded", has rank ≥ 30: y² + xy = x³ − 201769035260418549083594900060734240952308696994802735114305555x + 1151107939141058565733479426024323225135665982951300586808823640527729578307228357301072889377 elliptic-rank.icarm.cloud/cu…

curve #273 — Elliptic Curve Rank Leaderboard

Can we find small elliptic curves of high rank? A leaderboard of certified Mordell–Weil rank lower bounds, ordered by conductor, discriminant, Faltings height, and naive height.

elliptic-rank.icarm.cloud
13
54
14
508
166,756
dl.acm.org/doi/pdf/10.1145/3…
2
4
1
69
6,996
Replying to @firasd @TheZvi
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
4
125
12,071
henry 🌘 retweeted
Max Spero
@max_spero_Aug 7
102
40
28
1,754
128,907
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
58
3,557
henry 🌘 retweeted
Chris Peikert@ChrisPeikertAug 2
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.)
Chris Peikert@ChrisPeikertAug 1
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
5
512
86,699
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
3
103
8,535
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.

GitHub - hdevalence/smac-iroh: mod for sid meiers alpha centauri with iroh multiplayer

mod for sid meiers alpha centauri with iroh multiplayer - hdevalence/smac-iroh

github.com
1
2
17
1,340
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
2
68
5,989
truly incredible stuff
6
19
1,545
vancouversun.com/opinion/col…

AI slop, Californians, and bogus 'translators': Vancouver council went off the rails this week

vancouversun.com
2
530
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,750
Load more