HNHacker News
TopNewBestAskShowJobs

unprovable

269 karma · joined November 15, 2016

Mathematician, Quantum Hacker
submissionscomments
unprovable··on Reverse Engineering the iPod Classic's Undocumented Mikey Chip
Solid writeup - Actually an enjoyable read about solving a problem with zero documentation but plenty of tenacity.
unprovable··on FLAWED's Flaws and What This Means for Industry Research
> A paper is not a blog post

True words. This post is actually a very good enumeration of the status quo for this debacle.

unprovable··on Ask HN: What are you working on? (September 2026)
Open source quantum hardware with Quantum Village in donated lab space at a London university. Pushing the boundary for Entropy Loop, a QRNG to make it faster and more enteopy, and the Uncut Gem redesign, our NVC diamond based quantum magnetometer.
unprovable··on Project Blinkenlights
It's been so long since I last saw this. Stalwart of the internet.
unprovable··on Microduck
Cute, and quite something if the sim-to-real pipeline is as smooth as we all might hope.
unprovable··on ElevenLabs, TwelveLabs, ThirteenLabs
oh, 'the44music' is it. Ok, world is fine.
unprovable··on ElevenLabs, TwelveLabs, ThirteenLabs
44Music not taken? Common time signature seems obvious...
unprovable··on ElevenLabs, TwelveLabs, ThirteenLabs
Missing opportunity for rational compositionalists over Grothendick Topologies and (pre-)sheaves taking FiftySevenLabs
unprovable··on Proof.fail – document what didn't work
As we automate more and more, and see claims of "one shotting" 80+yo maths conjectures, documenting and sharing what didn't work is surely going to get more and more important...
unprovable··on Chinese robot runs 100M sprint quicker than Usain Bolt's world record
Usain Volt
unprovable··on Passwords stored in public Google Doc then showed up in search results
Prime example of "low effort, high risk"...
unprovable··on Cyber spies used malware from GitHub to hack EncroChat cryptophone network
Open Source Malware? Oh you mean 'deniable cyber intrusion tech'!

To be fair, GOV.FR did recently move to all open source software utilisation.

unprovable··on The Equations of Reasoning – Pathway AI
The Graph memory topology is an interesting idea... As is the idea of pushing all the nonlinear stuff into writes, leaving state evolution essentially linear (at least, by my read)
unprovable··on Where Human Sleep Went Wrong
More evidence this may have been written by a pigeon...
unprovable··on Protobuf has LSP support
From protobuf to quantum computing, Google just keeps solving problems nobody has...
unprovable··on Sperm whales in 19th century shared ship attack information – Whales
Anyone got a bit rate estimation for Moby Dick?
unprovable··on The Bots Always Find Something
Tokenmaxxing -> Tokenpraxis

Seems like a sensible idea.

unprovable··on Laws of Robotics
This is the kind of unhinged stuff I would expect to read in the notebooks on the set of the film SE7EN...
unprovable··on Show HN: Scroll through all 43252003274489856000 Rubik's Cube states
Ah great, so now I've got the choice to "Complete he Rubik's cube"... it'll just take 432520032 times as long as completing today's Instagram...
unprovable··on How Claude marks AI-generated content
This. FN rates are cute, but FP rates will ruin an academic career or a student's work/further study choices if their content gets marked erroneously. Surely the answer is a sequence of marks?

Keen to see if they are doing something SynthID-esque?

unprovable··on A composer published a paper in physics. His lack of credentials drew criticism
Posting as a musician (violinist) who went on to get a PhD in pure mathematics (it's fraught...) - maybe the advent of AI will encourage more curious cases.
unprovable··on DuckDuckGo: "No Camera. No AI. Just Normal Sunglasses."
DEF CON approved! (Assuming it isn't cancelled again...)

https://www.theregister.com/security/2026/07/28/def-con-bans...

unprovable··on Google fixed more Chrome bugs in June than over the past two years, thanks to AI
This was, itself, driven by AI vuln finding, ironically :-P however, I took the example of @ggwhyp's Firefox RCE - quite a long chain, rejected by the organizers but probably would have won some cash from Mozilla... Details aren't public, so we won't know. Maybe their vuln was patched with Bug 2024918? At this point it's anyone's guess...

But the fact that nobody else who made it through had an exploit and claimed $$$ on Firefox tells me that improvements were made.

And this is what blew my mind, personally; a _browser_ - huge, complicated target codebase with myriad features, many of which are 'on the internet' - didn't have any disclosures with money on the table. That's definitely a datapoint worth registering. But you're absolutely right to remain skeptical!

unprovable··on Google fixed more Chrome bugs in June than over the past two years, thanks to AI
It absolutely was. 436 (or thereabouts) critical updates on their bugtraq in April. Wild.
unprovable··on Google fixed more Chrome bugs in June than over the past two years, thanks to AI
The real datapoint was Firefox not paying any money in Berlin's Pwn2Own competition round this May just gone. Unheard of to have nothing confirmed... they've paid out every event since 2007 (I checked). Does this mean we must move past the low-hanging fruit now? Probably... Certainly indicates some usefulness of these models.
unprovable··on Quantum advantage through trusted quantum computation – IBM Quantum
Yet another claim of quantum advantage in an algorithm nobody asked for... ¯\_(ツ)_/¯
unprovable··on GCC steering committee announces AI policy
"h0w dArE yOu..." /s
unprovable··on GCC steering committee announces AI policy
Hard agree on this! Given the aggressive templating a lot of these projects have, it's actually positive to see "ok, these clankers can do the boring thing..." from one so traditionally safe-playing on development approaches as GCC.
unprovable··on Why Don't People Use Formal Methods?
This blog is actually very useful... There's also the flip side, possibly due to the expense (technically, intellectually, and emotionally), where "IT'S FORMALLY VERIFIED!!" has become some marketing code for "it's safe, secure, and PFAS free..." - just because something is formally verified, doesn't mean it's secure or fit for purpose. It usually just means it conforms to a given spec "and that's that..."
unprovable··on GCC steering committee announces AI policy
Even GCC admit... nobody likes writing tests.
Page 1 of 3Next →