Trump’s BLS Pick E.J. Antoni Is — Shocker — a Crackpot Hack
axios.com·4h
✓Automated Theorem Proving
I created a website that featured absurd and funny things
sillygooseworld.vercel.app·3d·
Discuss: Hacker News
🎮Verification Games
Show HN: Keymana – The Desktop Interface for Keygen.sh
keymana.com·3d·
Discuss: Hacker News
🍎Apple
Orion Browser for Linux Gets Exciting Progress Update
omgubuntu.co.uk·3d·
Discuss: Hacker News
💾Retro Computing
What Is a Spaceship?
angadh.com·3d·
Discuss: Hacker News
⎈Kubernetes
Performance Pitfalls in C# / .NET – List Contains
richardcocks.github.io·6d·
Discuss: Hacker News
🔬Static Analysis
My favorite resources for learning Modern Greek
blog.mattbass.me·4d·
Discuss: Hacker News
🎮Verification Games
Man asks ChatGPT for diet tips, ends up with a rare 19th-century illness
economictimes.indiatimes.com·2d·
Discuss: Hacker News
💾Retro Computing
1500 Archers on a 28.8: Network Programming in Age of Empires and Beyond
gamedeveloper.com·4d·
Discuss: Hacker News
👁️System Observability
Genomics pioneer George Church earns first retraction for anti-aging gene therapy paper
retractionwatch.com·2d·
Discuss: Hacker News
➡️Category Theory
I'm Worried It Might Get Bad
danielmiessler.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Reminders in iOS 26 has a powerful new tool for organizing tasks
9to5mac.com·14h
🍎Apple
How do you handle state mutations in Next.js without bloating your API routes? 🤔
reddit.com·4d·
Discuss: r/programming
🔄Finite State Machines
Box's AI agents set to help US government agencies
theregister.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Non-participant externalities reshape the evolution of altruistic punishment
arxiv.org·3d
🏹Effect Systems
Nvidia licensing...
reddit.com·4d·
Discuss: r/homelab
📦Unikernel Systems
Mining the Social Fabric: Unveiling Communities for Fake News Detection in Short Videos
arxiv.org·4d
➡️Category Theory
Discovery Learning accelerates battery design evaluation
arxiv.org·4d
🧪Property-Based Testing
Vectorless: open-source PDF chatbot without RAG
news.ycombinator.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
2025 One Hertz Challenge: Blinking An LED With The Aid Of Radio Time
hackaday.com·1d
🐫Embedded OCaml