unprovable

5 ms·

31.
by unprovable 2mo ago
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
32.
by unprovable 2mo ago
It absolutely was. 436 (or thereabouts) critical updates on their bugtraq in April. Wild.
33.
by unprovable 2mo ago
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
34.
by unprovable 2mo ago
Yet another claim of quantum advantage in an algorithm nobody asked for... ¯\_(ツ)_/¯
35.
Quantum advantage through trusted quantum computation – IBM Quantum(ibm.com)
2 points by unprovable 2mo ago|1 comments
36.
by unprovable 2mo ago
"h0w dArE yOu..." /s
37.
by unprovable 2mo ago
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
38.
by unprovable 2mo ago
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&#x
39.
by unprovable 2mo ago
Even GCC admit... nobody likes writing tests.
40.
by unprovable 2mo ago
The comments are worth it... the full spectrum of personalities and the hottest of takes. 10/10, would recommend to a bored friend.
41.
by unprovable 2mo ago
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 with FIB tech, but it's early days. Great wri
42.
by unprovable 2mo ago
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 successful companies and large enterprise units are built off op
43.
CliffordNet: All You Need Is Geometric Algebra[ArXiv:2601.06793](arxiv.org)
2 points by unprovable 2mo ago|0 comments
44.
A Note on Hidden Shifts as Hidden Subgroups for Quantum Cryptanalysis(presheaf.blogspot.com)
2 points by unprovable 2mo ago|0 comments
45.
PDFRecover: Chrome and Firefox Extentions to Recover streamed PDFs from web tabs(github.com)
3 points by unprovable 2mo ago|0 comments
46.
by unprovable 2mo ago
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 equivalent to the 'domino problem' - can
47.
by unprovable 2mo ago
Technically, it's the link between tilings and computability. Braids have a different more mutable algebraic structure.
48.
by unprovable 2mo ago
"Like Turing before me, I have reinvented the nondeterministic computing machine..." -- Wolfram, probably...
49.
by unprovable 3mo ago
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 sometimes easier to learn detai
50.
by unprovable 3mo ago
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 that making the games 'quantum games' didn&#x27
51.
by unprovable 3mo ago
It's so old skool, it's almost new again... almost... Still waiting for that third (or fourth?!) wave of XXE (or similar) bugs.
52.
by unprovable 3mo ago
"Control iOS games through mouth movements" ... not me gurning continuously at candy crush, no siree... x-D
53.
by unprovable 3mo ago
I've been trying to get access to CHERI for quite a while - I have a background in hardware security so was very curious to have a play. But only 'approved partners' are allowed to have access... guessing even in projects lik
54.
by unprovable 3mo ago
Short and simple Chrome extension that reads the requests in a page looking for '.pdf'in URL or 'pdf' in MIME type, and then reads all the chunks and reassembles the file from the base64 provided by Chrome. Uses `Network
55.
Show HN: PDF Recover – Chrome extension for yanking PDFs out of webpages(github.com)
4 points by unprovable 3mo ago|2 comments
56.
by unprovable 4mo ago
Hard agree with this My fave workflow I did was making the first fully regulatory approved LLM workflow for a global retail bank, using GPT 3.5 in June 2023 on Azure early access. That stack is still the reference for a lot of the work we&
57.
by unprovable 4mo ago
Geography has really started making the internet a lot less open... In the UK, I guess there's some kind of allowance for free access?
58.
by unprovable 4mo ago
Nice - can't wait to see how it grows!
59.
by unprovable 4mo ago
I think recounting how far YAML has come is actually really useful - props to the author for stating the case I think quite well!
60.
AI Has Come for Serif Fonts(wired.com)
3 points by unprovable 4mo ago|2 comments

More ›