Impulse, Airbnb’s New Framework for Context-Aware Load Testing
infoq.com·2d·
Discuss: r/programming
📊Runtime Verification
Holding It Together
onelook.com·4d·
Discuss: Hacker News
📝Term Rewriting
Show HN: Speech-to-text CLI in Rust with Nvidia Parakeet-local, fast, extensible
elvin.engineering·3d·
Discuss: Hacker News
🐫Embedded OCaml
Living in a tiny electric van for three years
philsturgeon.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
BSD-user-4-Linux project
freebsd.org·12h·
📦Unikernel Systems
Powering Crypto Workloads with Sub-100ms Latency
risingwave.com·3d·
Discuss: Hacker News
👁️System Observability
Show HN: Markdown Cheat Sheet
markdowncheatsheet.com·23h·
Discuss: Hacker News
🔬Static Analysis
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·6d·
Discuss: Hacker News
🧮Lambda Calculus
Why spreadsheets fail for AI-driven decision-making
whatifi.io·5d·
Discuss: Hacker News
🧠Automated Reasoning
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Musical Motors, BLDC Edition
hackaday.com·1d
🔧Unikernel Development
How do we get AI Personas to sound so human?
askrally.com·2d·
Discuss: Hacker News
💾Retro Computing
How OpenAI Operator Works with AI Agents
anchorbrowser.io·3d·
Discuss: Hacker News
🧠Automated Reasoning
The Little Book of Everything
github.com·5d·
Discuss: Hacker News
➡️Category Theory
Mutual Support by Sensor-Attacker Team for a Passive Target
arxiv.org·5d
🩹Self-Healing Systems
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·4d·
Discuss: Hacker News
🔧Unikernel Development
Agents of Discovery
arxiv.org·3d
🧩Parser Combinators
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·3d
🐫OCaml