Dutch Industry Buckles Under Energy Transition and Global Pressure
oilprice.com·1d·
Discuss: Hacker News
🐫OCaml
It's a DE9, Not a DB9. (sparkfun.com)
news.sparkfun.com·3d·
Discuss: Hacker News
💾Retro Computing
The mysteries of Roman inscriptions are being solved with a new AI tool
theartnewspaper.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Built Alex's Travel Site
mayanks.me·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Detect NBA 3 Second Violations with AI
blog.roboflow.com·5d·
Discuss: Hacker News
🎮Verification Games
About 30% of Humanity's Last Exam chemistry/biology answers are likely wrong
futurehouse.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
The Gory Details of Finetuning SDXL and Wasting $16k
aerial-toothpaste-34a.notion.site·2d·
Discuss: Hacker News
🐫Embedded OCaml
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai·4d·
Discuss: Hacker News
✓Automated Theorem Proving
A micro-to-macroscale and multi-method investigation of human sweating dynamics
arxiv.org·2d·
Discuss: Hacker News
⚙️Operating System Design
Remembering Descent, the once-popular, fully 3D 6DOF shooter
arstechnica.com·2d·
Discuss: Hacker News
🎮Verification Games
Show HN: A custom ESP32-S3 board for battery powered WiFi enabled plant watering
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Made this Ai agent to help with the "where do I even start" design problem
reddit.com·1d·
Discuss: r/programming
✓Automated Theorem Proving
Clowns to the Left of Me
blog.korny.info·4d·
Discuss: Hacker News
👁️System Observability
Figgie Auto: An algorithmic sandbox for Jane Street's game, "Figgie"
github.com·5d·
Discuss: Hacker News
🎮Verification Games
Zignal: A zero-dependency image processing library
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Bob's Confetti: Phonetic Memorization Attacks in Music and Video Generation
arxiv.org·3d
🐫OCaml
Multimodal Fine-grained Reasoning for Post Quality Evaluation
arxiv.org·3d
✓Automated Theorem Proving
Show HN: SQLite AI - Open-Source Extensions to Bring AI to SQLite, Everywhere
news.ycombinator.com·4d·
Discuss: Hacker News
🔬Static Analysis
Is it worth looking at SFF PCs with 3rd or 4th gen Intel CPUs for a basic homelab? What about old AMD CPUs (before Ryzen)?
reddit.com·16h·
Discuss: r/homelab
🏠HomeLab
Covert Communications in MEC-Based Networked ISAC Systems Towards Low-Altitude Economy
arxiv.org·3d
📡Network Protocol Design