- 462
LLMs are making formal software verification feasible at a much larger scale
(anthropic.com)
- 665
Woman charged with computer fraud due to scam CashApp account being in her name
(404media.co)
- 25
Noyb win: German DPA finds microtargeting by major political parties illegal
(noyb.eu)
- 3
A Stackless Floodfill Automaton
(t3x.org)
- 24
Focused Company Operating Principles
(focused.io)
- 126
Gemma-4-26B-A4B with 39-69% less thinking at same accuracy
(bottlecapai.com)
- 1157
eMudhra to exit global SSL/TLS certificate business
(emudhra.com)
- 8
Crosscut – Drawing Dynamic Models
(inkandswitch.com)
- 27
The Chalk and the Airplane
(unintendedconsequenc.es)
- 638
No signs of AI payoff outside the tech sector
(apollo.com)
- 5
Grok releases the first seven minutes of its AI-generated 'Odyssey'
(techcrunch.com)
- 6
Well-paid tech workers pay tax on unrealized gains. Billionaires can too
(sf.gazetteer.co)
- 5
Ink droplets in motion snag top prize in Nikon Small World contest
(arstechnica.com)
- 123
The HTML-in-Canvas API origin trial
(developer.chrome.com)
- 6
I'm Not Doing 996
(elenaverna.com)
- 124
Securing our frontier model training environment
(openai.com)
- 286
A farewell to Arc browser
(arc.net)
- 25
Parsing EDIFACT in Python with syntax trees
(github.com)
- 195
Remove pgrust: the entry is cheating (per-query kernels and result caching)
(github.com)
- 56
We have traits at home
(axelmagn.com)
- 97
AI-Assisted Paper on Z-Library Cites a TorrentFreak Article That Doesn't Exist
(torrentfreak.com)
- 186
Evolving Threat: http2shell is an RCE in Node, Python, and more
(nitter.click)
- 314
The recently proposed o(n log n) integer multiplication algorithm [pdf]
(web.maths.unsw.edu.au)
- 244
OpenAI CLI
(github.com)
- 12
Radio Days
(oldster.substack.com)
- 58
Superhuman Hardware Design Is the Easy Part
(a16z.news)
- 8
Vibe coding is turning the music gear world upside down
(theverge.com)
- 16
A hidden bias in human language challenges 70 years of science
(sciencedaily.com)
- 8
The 'else' keyword is probably a literal translation from German (2020)
(github.com)
- 64
The Missed Opportunities of Sonic 06 (2025)
(isaacmarovitz.com)