isaacfrond
What Do Gödel's Incompleteness Theorems Mean?
Linux bitten by second vulnerability in as many weeks
Anthropic's Mythos was greatest marketing stunt ever, says cURL creator
Y Combinator holds $5B stake in OpenAI
The Mathematical Dance Inside Plant Cells
Some children are drawing on fake moustaches to bypass online age checks
NetHack 5.0.0 Released
Some schools consider eliminating homework
Elon Musk said OpenAI betrayed him after Microsoft deal
GitHub Reports DMCA Takedown Record and Surging Anti-Circumvention Claims
Ticketmaster is an illegal monopoly, jury finds
What's the deal with Alzheimer's disease and amyloid?
Re:GPT-5.4 Pro solves Erdős Problem #1196
on Wednesday April 15, 2026 @05:33AM (#47776741)
The proof is here: https://www.overleaf.com/project/69dd1d8437eba662fda82929
Re:Fixing a 20-year-old bug in Enlightenment E16
on Wednesday April 15, 2026 @03:17AM (#47775712)
In the article just before that code:
The loop is of paticular interest to us. Abridged:
Linux 7.0 Released with New Hardware Support, Optimizations and Self-Healing XFS
Particles seen emerging from empty space for first time
New Advances Bring the Era of Quantum Computers Closer
Scientists shocked to find lab gloves may be skewing microplastics data
Startup wants to change how mathematicians do math
OpenAI "indefinitely" shelves plans for erotic ChatGPT
Archaeologists may have found the grave of the legendary "fourth musketeer"
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
Supreme Court rejects Sony's attempt to kick music pirates off the Internet
Are Strings Still Our Best Hope for a Theory of Everything?
Re:Attractive students no longer receive better results as classes mov...
on Monday March 23, 2026 @08:21AM (#47488452)
I wouldn't either. The difference for female and males reeks of the law of small numbers.