Using Stedi for AI voice agent workflows
stedi.com·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Python heapq.nlargest vs list.sort
ddaa.net·2d·
Discuss: r/programming
🏹Effect Systems
Roll your own in-game UI with Clay and NanoVG
dev.to·4d·
Discuss: DEV, r/cpp, r/programming
📦Unikernel Systems
Publish all your crates everywhere all at once
tweag.io·3d·
Discuss: Hacker News
⎈Kubernetes
Transition to using 16 KB page sizes for Android apps and games using Android Studio
android-developers.googleblog.com·2d·
Discuss: android-developers.googleblog.com, Hacker News
🔬Unikernels
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai·2d·
Discuss: Hacker News, Hacker News, r/programming
✓Automated Theorem Proving
At my wits end..
i.redd.it·2d·
Discuss: r/homelab
💾Retro Computing
2039.js – The web framework that runs in the future (literally)
news.ycombinator.com·6h·
Discuss: Hacker News
🔄Finite State Machines
Show HN: Changelog Checker – Aggregate and Inspect Your Dependency Changelogs
github.com·8h·
Discuss: Hacker News
❄️Nixified Development
Libpostal: C library for parsing/normalizing street addresses around the world
github.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Die Cut Machine Makes Portable Metal Cuts
hackaday.com·16h
💾Retro Computing
AI coding tools make developers slower but they think they're faster, study finds
theregister.com·1d·
Discuss: Hacker News
👁️System Observability
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·2d·
Discuss: Hacker News
⚙️Operating System Design
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·2d
✓Automated Theorem Proving
Linux 6.15.6, 6.12.37 LTS & Other Stable Kernels Deliver TSA Mitigations
phoronix.com·3d·
Discuss: Hacker News
🔬Unikernels
Struggling with light weight audio routing container
i.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
Speclinter MCP
github.com·4d·
Discuss: Hacker News
🤖Program Synthesis
The hidden cost of AI reliance
codebytom.blog·4d·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving
Announcing egui 0.32.0 - an easy-to-use cross-platform GUI for Rust
github.com·3d·
Discuss: r/programming
🍎XNU Internals
After trying OpenAI Codex CLI for 1 month, here's what actually works (and what's just hype)
reddit.com·4d·
Discuss: r/programming
🔄Reproducible Builds