-
462
LLMs are making formal software verification feasible at a much larger scale
(anthropic.com)
-
168
Tool book of a Nuremberg knight from 1505
(loeffelholz-codex.org)
-
665
Woman charged with computer fraud due to scam CashApp account being in her name
(404media.co)
-
16
Monoidal computer I: Basic computability by string diagrams (2012)
(arxiv.org)
-
24
U.S. birth rate drops to record low, but older women are having more babies
(npr.org)
-
180
Dream-1
(dreamlabs.ai)
-
4
Internet Security: We're Doomed
(nationalreview.com)
-
1157
eMudhra to exit global SSL/TLS certificate business
(emudhra.com)
-
126
Gemma-4-26B-A4B with 39-69% less thinking at same accuracy
(bottlecapai.com)
-
33
Flock [YC S17] Fever: A Review of Government Surveillance by Benn Jordan [video]
(youtube.com)
-
4
Show HN: Visualization of Top News Stories
(topaztee.com)
-
70
Reverse engineer of PC-98 Touhou games retires
(rec98.nmlgc.net)
-
27
The Chalk and the Airplane
(unintendedconsequenc.es)
-
31
F45 (Fedora 45) Final Is No-Go
(lists.fedoraproject.org)
-
3
macOS Extensions Pack for the Apple Network Server v1.0
(oldvcr.blogspot.com)
-
638
No signs of AI payoff outside the tech sector
(apollo.com)
-
323
Serbia's Vucic concedes election defeat in historic win for student movement
(reuters.com)
-
4
Why My Dad Didn't Have a Cell Phone
(blog.jim-nielsen.com)
-
19
Psilocybin Replaces Lost Synapses in Depressed Brains
(neurosciencenews.com)
-
286
A farewell to Arc browser
(arc.net)
-
123
The HTML-in-Canvas API origin trial
(developer.chrome.com)
-
25
Noyb win: German DPA finds microtargeting by major political parties illegal
(noyb.eu)
-
125
Securing our frontier model training environment
(openai.com)
-
3
A Stackless Floodfill Automaton
(t3x.org)
-
25
Focused Company Operating Principles
(focused.io)
-
15
Walter Koenig, the Russian Crewman Chekov on 'Star Trek,' Dies at 90
(hollywoodreporter.com)
-
8
Crosscut – Drawing Dynamic Models
(inkandswitch.com)
-
314
The recently proposed o(n log n) integer multiplication algorithm [pdf]
(web.maths.unsw.edu.au)
-
195
Remove pgrust: the entry is cheating (per-query kernels and result caching)
(github.com)
-
244
OpenAI CLI
(github.com)