Scouse feral academic. Quantum Hacker, ML miscreant, & mathematician. Views own. Collects useless degrees. @quantum_village (he/him) @Unprovable@mastodon.social

Joined August 2011
I have been laughing at this entirely too long...
23
637
29
4,896
214,421
Mark C. retweeted
"AI writes shit code; it is inherently insecure and must be vetted carefully. Humans are irreplaceable." Y'all shoud have written all this crap in Perl and mod-cgi not php, no one uses Perl. (I once asked C. to write something in Perl and he wrote a wrapper in Perl to call inline Python. Fucking disrespectful.)
1
1
182
An update from Brewster Kahle on today's outage.
Archive.org is currently offline. We are working to restore service now.
65
785
61
6,607
135,651
Security researchers and operators from the 90s suiting back up ...
32
65
13
711
23,403
Mark C. retweeted
Gauss had a personal seal(!) emblazoned with the motto “Pauca sed Matura” ("Few, but Ripe"). Worth remembering as quantity becomes cheaper.
22
26
3
256
15,653
How bad is this Gitlab issue? About as bad as it gets. Anyone on the internet can take over an exposed, self-hosted GitLab server without logging in, on any version from the last 12 years. Shodan is showing ~60K exposed servers online, which is a lot, but there are are far more internally for anyone with a foothold already.
34
125
24
1,234
170,247
Note who this is addressed to: all organizations using PHP! I think this is the same as saying: "All organizations that use a computer."
Effective Immediately, all organizations using PHP for their systems are advised to be prepared for an update addressing two critical vulnerabilities. PHP is widely used for web applications. These vulnerabilities often provide a direct path to the server's file system or database. If an immediate update is not feasible, it is recommend that organizations take the system offline until it can be fully mitigated. NSA will follow up shortly with more specific guidance.
3
3
389
Mark C. retweeted
Blog post: The Underappreciated Art of Superposition Masking algassert.com/post/2604 I've been enjoying everyone using kickmix circuits to improve constructions, but we musn't forget there are things beyond.
7
39
2,808
Mark C. retweeted
Grant Sanderson (@3blue1brown) predicts that in 3 years, there will be an end-to-end AI generated channel better than his! 🤯 He admits to feeling resigned about it: "There's a part of me thinks, 'hey, even if it only lasts a couple glorious years, like, to fully embrace that.'"
24
53
17
1,166
160,815
I’m very opinionated. So it’s nearly impossible for me to hear someone’s arguments and *not* find something I disagree with. (This includes reading things I myself wrote years - or weeks - ago.) And yet the amazing Grant Sanderson @3blue1brown has put out a long, detailed video on the future of mathematics, in which I cannot find a single flaw. I’ll be sending this to every PhD student and postdoc I know, and strongly recommend everyone watch it. youtube.com/watch?v=LKrwhjOI… (Of course I tried to say many of the same things in my conversation with Thomas Koberda. But Grant’s version, unsurprisingly, does an infinitely better job at communicating those ideas!)
31
117
13
896
70,591
Mark C. retweeted
This P-256 Birthday in mid-August made me crave chocolate-covered strawberries and gave me a hunch. Look who spoke at Crypto’97 within a week of P-256 being generated: iacr.org/conferences/c97/c97…
P-256 was born Friday, August 15th, 1997 at 9:52PM Fort Meade time.
4
11
2
75
6,927
BusyBeaver(230) is independent of ZFC! I have verified in Rocq that a certain 230-state Turing machine halts iff ZFC is inconsistent. This surpasses the non-formalized 243-state TM of @ereliuer_eteer and the formalized 254-state TM of @_Mira___Mira_.
11
65
9
530
26,105
A few papers & benchmarks on LLM failure to follow instructions 🧵 I. Can LLMs Unlearn Stubborn Training Conventions? “LLMs often exhibit cognitive inertia, struggling when tasked with instructions that explicitly deviate from their training norms” arxiv.org/abs/2509.04292 1/
5
12
1
48
5,217
Mark C. retweeted
0-click RCE on Tesla Model 3 through TPMS Sensors cc @_p0ly_ @masthoon @vdehors synacktiv.com/sites/default/…
9
66
13
792
75,788
Math Mutation. Welcome to the Twilight Zone. If we change this red digit of pi (π) from 0 to 1, would this "Mutant π" still be irrational? Would it still be a transcendental number? Could physicists & engineers use the mutant as if it were π, without deleterious consequence?
67
18
5
210
75,048
this is cool but why is it written in sloptalk? please can we not adopt the incredibly annoying "here is the honest cost of the solution... we pay a load bearing tax due to..." shit
Hell yeah Cellebrite is dropping SecureROM 0days on stage (variant of usbliter8) !!
8
10
2
131
9,091
The NSA mathematician who made the numbers protecting your passkeys died in 2023 without ever remembering how he made them. Cryptographers chased the answer for years and put up a $36,864 bounty. Claude figured it out in under 30 minutes, and the answer was the clock on his computer. His name was Jerry Solinas. Back in 1997 he generated the starting numbers for P-256 and a few sibling curves, the math underneath your passkeys and a big chunk of the secure websites you visit every day. NIST published them in 2000 with no explanation of where they came from, and for a long time people mostly shrugged. Then 2013 happened. The Snowden files showed the NSA had slipped a backdoor into a different crypto standard, and suddenly every unexplained number the agency had ever handed out looked suspicious. These were the most widely used ones of all. Jerry's own story was that he'd hashed a joke sentence, something along the lines of "Give Bob and Jerry a raise," and then lost it when his work computer got swapped out. He tried to recreate it himself and never could. He even joked that any backup was probably sitting in the same warehouse as the Ark of the Covenant. After he died, Steve went digging. He tracked down former NSA people and old cryptographers, and four of them independently told him the same joke-phrase story. Filippo Valsorda turned that into a bounty in 2023, and for three years people threw computing power at every version of that sentence they could dream up. A few folks at Anthropic took a crack at it too, Steve among them. He's now one of the people credited on the solve. None of it matched. So someone at Anthropic tried something different. They asked an internal Claude model to figure out where the seeds came from and purposely left out the joke-sentence clue. Claude's first move was to think like a programmer in 1997. If you needed random numbers back then, you probably grabbed the basic generator that came with the C library on your Unix machine, and those old generators are simple enough that they leave fingerprints in their output. Sure enough, in four of the seeds the top bit of every 32-bit chunk was a zero. The odds of that happening by accident are about 1 in 5,810, and it's the calling card of a generator called lrand48. And this is where it gets fun. lrand48 runs in reverse just as easily as forward, so Claude rewound each seed back to the moment the generator was switched on. Every prime-curve seed rewound to a date and time from 1997 or 1998. Whoever ran the program had seeded it with the computer's clock. P-256's run started at 1:52:34 AM UTC on August 16, 1997. If that machine was at NSA headquarters in Maryland, somebody hit enter at 9:52 on a Friday night, and the seed that ended up in the standard was the 1,842nd one the program spat out. Jerry's joke sentence was never in there. He misremembered, four people faithfully repeated what he told them, and some very good cryptographers spent years trying to crack a hash of a sentence that nobody ever typed. Leaving the clue out is probably what let Claude get there in half an hour. I love the irony here. Using the clock to seed a weak random generator is one of the first things they tell you never to do in a security class. That exact laziness is why anyone can now rerun the NSA's 1997 program on a laptop and get the identical numbers, which makes it really hard to argue anything sneaky was hidden inside them. There's still one thing left to argue about. In the P-256 run, number 876 also would have made a perfectly good curve, and someone skipped it and kept going to 1,842. Anthropic says so few got skipped that it couldn't have been a hunt for a weak curve, but nobody knows why it happened. Claude's own notes from that moment are pretty funny. When the numbers matched, it actually stopped and wondered whether it was inside a test, since a 25-year-old mystery falling apart that fast seemed too good to be true. Then it reran the logic and talked itself into it, because ten curves each regenerating perfectly from a single timestamp doesn't happen by luck. The $36,864 is going to the nonprofit that runs Let's Encrypt, the group that gives free security certificates to millions of websites, a lot of them built on these same curves.
39
169
11
1,556
230,112
突然ですがペンローズルービックキューブというものを考案しました
43
628
42
4,519
233,196