- 42
I'm still around.. I'm just not writing here
(rachelbythebay.com)
- 2
Show HN: PDF/ePub reader where you ask AI and each answer links to the passage
(marginal-ia.app)
- 1
Ross Douthat: I'm Writing a Column for the Free Press
(thefp.com)
- 1
AI Could End Encryption as We Know It
(ai-frontiers.org)
- 21
What mathematicians should know about the Lean Theorem Prover: reliability & AI
(terrytao.wordpress.com)
- 3
Remember Orkut? Its founder wants to bring it back
(techcrunch.com)
- 1
Jasmin: A language for high-assurance and high-speed cryptography
(github.com)
- 1
The Rise and Fall of the Plasma Screen
(construction-physics.com)
- 2
THX-01: An Open-Source Decision Model That Runs on Your Phone and Beats Jev
(doofz.substack.com)
- 61
Show HN: The rarest tech books and docs you've probably never read
(readrare.com)
- 3
CXMT's covert campaign to obtain Samsung tech by any means necessary
(koreajoongangdaily.com)
- 42
Scam American companies are using to manipulate ingredient lists
(twitter.com)
- 2
A tale of four theorem provers
(blueberrywren.dev)
- 1
Trade Direction in Prediction Markets
(arxiv.org)
- 1
Show HN: THX-01 – Open- source decision model that runs on phones and beats Jev
(huggingface.co)
- 1
Hacker News AI Hype Trends: 2022 – Present
(alwaysleaveanote.com)
- 16
In Memory of Deno
(orgsoft.org)
- 1
Scott and Scurvy (2010)
(idlewords.com)
- 2
All practical general use firewalls are porous now for inbound traffic
(utcc.utoronto.ca)
- 1
Show HN: RemainderBot - spends leftover Claude/Codex quota on reviewable PRs
(github.com)
- 2
Tales from the Lunar Module Guidance Computer (2004)
(doneyles.com)
- 3
Aircooling My iPhone for Privacy
(romanzipp.com)
- 1
How Oracle turns days of work into minutes with ChatGPT and Codex
(openai.com)
- 1
Canto incognito: tracking the PoeLLM malware
(lumen.com)
- 1
How Go maps work internally: Swiss tables
(youtube.com)
- 3
Python 3.15 Released
(lwn.net)
- 1
Show HN: Glimpse – Find any screenshot on Windows by its text or how it looks
(github.com)
- 1
China, EU strike deal to halve Chinese hybrid exports
(reuters.com)
- 2
Two Futures for LLMs in Mathematics
(wiredream.com)
- 4
Germany withdraws from AI partnership with Mistral and SAP
(welt.de)