Viewing profile — unprovable

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.

DEF CON approved! (Assuming it isn't cancelled again...) https://www.theregister.com/security/2026/07/28/def-con-bans...

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…

It absolutely was. 436 (or thereabouts) critical updates on their bugtraq in April. Wild.

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 s…

Yet another claim of quantum advantage in an algorithm nobody asked for... ¯\_(ツ)_/¯

"h0w dArE yOu..." /s

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 traditio…

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 be…

Even GCC admit... nobody likes writing tests.

The comments are worth it... the full spectrum of personalities and the hottest of takes. 10/10, would recommend to a bored friend.

Nice to see SaxonQ getting some deserved attention. Diamond, not needing much cooling, would be perfect if you could 'place' the NV centres more easily. I heard a group was trying …

Interesting to see this pop up again, as I agree with the post but not the bait-and-switch in the title :-P Open source is not a business model in and of itself, but many very succ…

Fun fact - the computiles piece is an uncredited rediscovery of Wang's work from the 1960's on computable tilings. Specifically, he went as far to show that the halting problem is …

Technically, it's the link between tilings and computability. Braids have a different more mutable algebraic structure.

"Like Turing before me, I have reinvented the nondeterministic computing machine..." -- Wolfram, probably...

There are pedagogical books (CF. 'Counterexamples in Topology', 'Counterexamples in Analysis') that teach the nuances of subjects through counterexamples. They're popular as it's s…

Neat! Perhaps add a wishlist or Project tab? :) Tangentially, I recall reading a paper not that long ago that showed that under certain assumptions that Zermelo's theorem showed th…

It's so old skool, it's almost new again... almost... Still waiting for that third (or fourth?!) wave of XXE (or similar) bugs.

"Control iOS games through mouth movements" ... not me gurning continuously at candy crush, no siree... x-D