Crypto-Betting Site Polymarket Set For US Return After Deal to Buy Tiny Exchange
bloomberg.com·16h·
Discuss: Hacker News
🔠Type-Level Programming
Napoleon Biography: Takeaways
lopespm.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: The only privacy focused digital business card platform
getcardova.com·2d·
Discuss: Hacker News
🍎Apple
Triple Scripts
triplescripts.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
NOAA's Space Weather Observatory Arrives in Florida for Launch Preparations
nesdis.noaa.gov·10h·
Discuss: Hacker News
⎈Kubernetes
UK health service AI tool generated a set of false diagnoses for one patient that led to him being wrongly invited to a diabetes screening appointment
fortune.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·5d·
Discuss: Hacker News
👁️System Observability
Bad Apple!! CD+G on a karaoke machine
gashlin.net·1d·
Discuss: Lobsters, Hacker News
💾Retro Computing
Hacker Machine Shop Tutorials
github.com·1d·
Discuss: Hacker News
💾Retro Computing
I Used Arch, BTW: macOS, Day 1
yberreby.com·2d·
Discuss: Hacker News
💾Retro Computing
Cloudflare's Transparency Deserves More Credit
dashdot.me·3d·
Discuss: Hacker News, r/devops
🖥️Self-hosted Infrastructure
Project Scribe: Receipts for Life
hackaday.com·1d
💾Retro Computing
ChatGPT is not AI
newsletter.techworld-with-milan.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Ask HN: Looking for alpha testers for HRAM (asm)
news.ycombinator.com·1d·
Discuss: Hacker News
🍎XNU Internals
Replit Agent deleted a $1M SaaS startup's production DB
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Easy Agents: Build autonomous agents with just natural language
github.com·3d·
Discuss: Hacker News
🛡️seL4
SIOF (Scheme in One File) – A Minimal R7RS Scheme System
github.com·2d·
Discuss: Hacker News
🐫OCaml
Can AR-Embedded Visualizations Foster Appropriate Reliance on AI in Spatial Decision Making? A Comparative Study of AR See-Through vs. 2D Minimap
arxiv.org·3h
🎮Verification Games
Robust Beamforming Design for Secure Near-Field ISAC Systems
arxiv.org·4d
🐫OCaml
From Bias to Behavior: Learning Bull-Bear Market Dynamics with Contrastive Modeling
arxiv.org·3h
➡️Category Theory