Clever Cloud: The New Linux, Static, and V runtimes
clever-cloud.com·18h·
Discuss: r/programming
🔬Unikernels
Finding a Job: Build Something Real
blog.stuartspence.ca·1d·
Discuss: Hacker News
🔄Reproducible Builds
Free Team Productivity Calculator
teamcamp.app·10h·
Discuss: Hacker News
👁️System Observability
Rocket engine designed by generative AI just completed its first hot fire test
pcgamer.com·10h·
Discuss: Hacker News
📦Unikernel Systems
Perplexity's Comet AI browser, I like where it's going (but it's not there yet)
zdnet.com·22h·
Discuss: Hacker News
📦Unikernel Systems
Voxtral
mistral.ai·2h·
Discuss: Hacker News
🐫Embedded OCaml
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·3d·
Discuss: Hacker News
🛡️seL4
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·5d·
Discuss: Hacker News
🔄Reproducible Builds
Google Cloud Creates 3 Levels Of Agentic Software Coding
forbes.com·4d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
State of the Vibes: A Slice of Vibe Coding in June 2025
talks.natetucker.com·2d·
Discuss: Hacker News
🍎Apple
From Curiosity to Competence: How World Models Interact with the Dynamics of Exploration
arxiv.org·1d
🐫OCaml
THAI Speech Emotion Recognition (THAI-SER) corpus
arxiv.org·13h
💻CS
Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·3d
🛡️seL4
Overview of the TREC 2023 deep learning track
arxiv.org·13h
✓Automated Theorem Proving
Building and deploying a Voice AI Agent to portfolio in 30 minutes
reddit.com·10h·
Discuss: r/programming
🏠HomeLab
MCP + SQL: The Secret Weapon To Connect AI to Enterprise Systems
thenewstack.io·1d
👁️System Observability
The Power of Certainty: How Confident Models Lead to Better Segmentation
arxiv.org·13h
🔍Formal Verification
Speclinter MCP
github.com·6d·
Discuss: Hacker News
🔍Formal Verification
WebAssembly binding for llama.cpp – Enabling on-browser LLM inference
github.com·10h·
Discuss: Hacker News
🐫Embedded OCaml
Homelabbing... where to start?
reddit.com·22h·
Discuss: r/homelab
🏠HomeLab