New Hegseth Leak Reveals Secret Plan for Years of Troops on U.S. Streets
thedailybeast.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
Danish zoo asks for unwanted pets to feed its predators
bbc.com·12h·
Discuss: Hacker News
❄️Nix
New Oceanco Chapter – Gabe Newell
oceancoyacht.com·17h·
Discuss: Hacker News
🧱Immutable Infrastructure
Making the switch easier: our new Pinboard API bridge
linktaco.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
The Practicals of Writing: Paper and Pens
brianschrader.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Domains by Wordle
dotcom.press·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Coderspae.com – eSports for Coders (Live Battles, Tournaments, Real-Time Duels)
reddit.com·15h·
Discuss: r/programming
🎮Verification Games
Avoiding Ultraprocessed Foods Might Double Weight Loss
nytimes.com·15h·
Discuss: Hacker News
🏔️climbing
What does AI progress mean for medical progress?
blog.jacobtrefethen.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Skynet scenarios and real world risks
helenbeetham.substack.com·2d·
Discuss: Substack
🔬Unikernels
Windows 10 @ 10: How Microsoft led developers round in circles
theregister.com·4d·
Discuss: Hacker News
👁️System Observability
He worked with artificial limbs for decades. Then a lorry ripped off his right arm. What happened when the expert became the patient?
theguardian.com·2d·
Discuss: Hacker News
💾Retro Computing
Efforts to Ground Physics in Math Are Opening the Secrets of Time
wired.com·1d·
Discuss: Hacker News, Hacker News, Hacker News
➡️Category Theory
Ask HN: Anyone know how to reach Cloudflare support?
news.ycombinator.com·3d·
Discuss: Hacker News
📡Network Protocol Design
A Sea of Nodes IR Tutorial
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Anthropic cuts off OpenAI’s access to its Claude models
techcrunch.com·2d·
Discuss: DEV, Hacker News
📦Unikernel Systems
Greentea OS non-NT/non-Unix system from scratch runs .exe files
github.com·4d·
Discuss: Hacker News
🔬Unikernels
Storage Solution
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
Agentic large language models improve retrieval-based radiology question answering
arxiv.org·1d
🏹Effect Systems
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·1d
✓Automated Theorem Proving