Impulse, Airbnb’s New Framework for Context-Aware Load Testing
infoq.com·4h·
Discuss: r/programming
📊Runtime Verification
Show HN: Speech-to-text CLI in Rust with Nvidia Parakeet-local, fast, extensible
elvin.engineering·5h·
Discuss: Hacker News
🐫Embedded OCaml
The Case for Mixed Deployment
lesswrong.com·11h
🩹Self-Healing Systems
Dicio: Open-Source Voice Assistant for Android
github.com·10m·
Discuss: Hacker News
🧩Parser Combinators
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·4d·
Discuss: Hacker News
🏹Effect Systems
Powering Crypto Workloads with Sub-100ms Latency
risingwave.com·8h·
Discuss: Hacker News
👁️System Observability
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Designing user interfaces with bots not buttons
interconnected.org·4h·
Discuss: Hacker News
🔬Unikernels
Rackintosh Plus
identity4.com·1d·
Discuss: Hacker News
💾Retro Computing
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·22h·
Discuss: r/programming
🤖Program Synthesis
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·4h·
Discuss: Hacker News
🌐NetworkProtocols
Human-Hardware-in-the-Loop simulations for systemic resilience assessment in cyber-socio-technical systems
arxiv.org·2d
🩹Self-Healing Systems
Experimenting with local LLMs on macOS
blog.6nok.org·3d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·3d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·2d·
Discuss: Substack
🎮Verification Games
Why spreadsheets fail for AI-driven decision-making
whatifi.io·3d·
Discuss: Hacker News
🧠Automated Reasoning
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·2d
📚Automata Learning