unprovable

3 ms·

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

More ›