Double Bishops: The Silent Killers of Chess
lichess.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
SF Doesn't need the revenue from speed cameras
smorgiapps.com·4d·
Discuss: Hacker News
🍎Apple
Show HN: Coloring Pages Generator – auto-generate from your description
cutestcoloringpages.com·5d·
Discuss: Hacker News
🍎Apple
India's Russian Oil Gains Wiped Out by U.S. Tariffs
moderndiplomacy.eu·1d·
Discuss: Hacker News
⎈Kubernetes
Equal Earth • Political Wall Map
equal-earth.com·4d·
Discuss: Hacker News
📡Network Protocol Design
AI Leap 2025: Estonia Sets the Global Standard for AI in Education
e-estonia.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Chunghwa Post suspends small parcel services to U.S. due to tariffs
focustaiwan.tw·2d·
Discuss: Hacker News
🇵🇹Portugal
TIL that there's an average of 22cm height disparity between rich and poor people in the Philippines. The highest in the world due to nutrition differences and ...
cepr.org·3d·
Discuss: Hacker News, r/todayilearned
🔠Type-Level Programming
Apple vs. Facebook is Kayfabe
infrequently.org·3d·
Discuss: Lobsters, Hacker News
🍎Apple
Using Gemini prompts for Suno's Cover/Remix helps unblock creative projects
backpocketmusic.com·2d·
Discuss: Hacker News
❄️Nixified Development
Asian Stocks to Slip as Inflation Risks Fed Cuts: Markets Wrap
bloomberg.com·2d·
Discuss: Hacker News
🐫OCaml
Stable, Mutable References for Ante
antelang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Trump Poised to Unveil Intel Deal For Equity Stake on Friday
bloomberg.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
New Study Rocks Jupiter's Giant Impact Theory
universetoday.com·2d·
Discuss: Hacker News, Hacker News
💾Retro Computing
Net zero needs AI — five actions to realize its promise
nature.com·6d·
Discuss: Hacker News
🤖Program Synthesis
Communicating Science, Not Magic
nature.com·3d·
Discuss: Hacker News
🏹Effect Systems
‘Ten Martini’ Proof Uses Number Theory to Explain Quantum Fractals
quantamagazine.org·2d·
Discuss: Hacker News
➡️Category Theory
Breathing New Life into an Old HP ProLiant N40L
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
TPLA: Tensor Parallel Latent Attention for Efficient Disaggregated Prefill \& Decode Inference
arxiv.org·3d
🐫OCaml
Adding MCP
funcall.blogspot.com·2d·
Discuss: Hacker News
🌐NetworkProtocols