unprovable

5 ms·

1.
by unprovable 6d ago
It's been so long since I last saw this. Stalwart of the internet.
2.
The Fate of the Riemann Hypothesis [pdf](math.brown.edu)
4 points by unprovable 17d ago|0 comments
3.
Matter, Memory, and the Paradox of Perception – Popova on Bergson(themarginalian.org)
4 points by unprovable 17d ago|0 comments
4.
In Hilbert Space, All Things Are Quantumly Possible – Charlie Wood, Quanta(quantamagazine.org)
2 points by unprovable 21d ago|0 comments
5.
by unprovable 21d ago
Cute, and quite something if the sim-to-real pipeline is as smooth as we all might hope.
6.
by unprovable 25d ago
oh, 'the44music' is it. Ok, world is fine.
7.
by unprovable 25d ago
44Music not taken? Common time signature seems obvious...
8.
by unprovable 25d ago
Missing opportunity for rational compositionalists over Grothendick Topologies and (pre-)sheaves taking FiftySevenLabs
9.
by unprovable 25d ago
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...
10.
Proof.fail – document what didn't work(proof.fail)
2 points by unprovable 26d ago|1 comments
11.
by unprovable 26d ago
Usain Volt
12.
Decayfmt – a file format that corrupts itself a little every time you open it(github.com)
55 points by unprovable 27d ago|30 comments
13.
AI for science needs reasoning, not just data – Eric Schmidt and Suhas Mahesh(technologyreview.com)
2 points by unprovable 28d ago|0 comments
14.
by unprovable 28d ago
Prime example of "low effort, high risk"...
15.
by unprovable 29d ago
Open Source Malware? Oh you mean 'deniable cyber intrusion tech'! To be fair, GOV.FR did recently move to all open source software utilisation.
16.
Jet – Ultrafast C++17 3D renderer for Embedded Devices(github.com)
2 points by unprovable 29d ago|0 comments
17.
by unprovable 29d ago
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)
18.
by unprovable 29d ago
More evidence this may have been written by a pigeon...
19.
The Equations of Reasoning – Pathway AI(pathway.com)
3 points by unprovable 29d ago|1 comments
20.
by unprovable 1mo ago
From protobuf to quantum computing, Google just keeps solving problems nobody has...
21.
by unprovable 1mo ago
Anyone got a bit rate estimation for Moby Dick?
22.
by unprovable 1mo ago
Tokenmaxxing -> Tokenpraxis Seems like a sensible idea.
23.
by unprovable 1mo ago
This is the kind of unhinged stuff I would expect to read in the notebooks on the set of the film SE7EN...
24.
Aperiodic Tilings(presheaf.blogspot.com)
7 points by unprovable 1mo ago|1 comments
25.
by unprovable 1mo ago
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...
26.
by unprovable 1mo ago
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 somethi
27.
A composer published a paper in physics. His lack of credentials drew criticism(retractionwatch.com)
4 points by unprovable 1mo ago|1 comments
28.
by unprovable 1mo ago
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.
29.
by unprovable 1mo ago
DEF CON approved! (Assuming it isn't cancelled again...) https://www.theregister.com/security/2026/07/28/def-con-bans...
30.
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

More ›