Semantic vs Date Versions
tglman.com·1d·
Discuss: Hacker News
❄️Nixified Development
What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·2d·
Discuss: r/programming
👁️System Observability
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·1d
🔍Formal Verification
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·2d·
Discuss: r/programming
📊Runtime Verification
Atlassian says its 'Don't F– the Customer' principle drove cloud-only decision
computerworld.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: @Agent for Gitlab
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Rust compiler performance survey 2025 results
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
❄️Nixified Development
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Personal AI Integrated with WhatsApp and Telegram
news.ycombinator.com·6h·
Discuss: Hacker News
🍎Apple
Reverse Engineering a Robot Mower’s Fence
hackaday.com·1d
🩹Self-Healing Systems
Creating a Standard for TAI Governance
lesswrong.com·14h
🩹Self-Healing Systems
Accuracy analysis and optimization of scale-independent third-order WENO-Z scheme with critical-point accuracy preservation
arxiv.org·23h
🐫OCaml
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·9h
📚Automata Learning
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·3d·
Discuss: r/javascript, r/programming
💎Refinement Types
Vibe Coding Fails Enterprise Reality Check
thenewstack.io·1d
🤖Program Synthesis
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
1.0 release of the Google Cloud client libraries for Rust
github.com·2d·
Discuss: Hacker News, r/rust
🔄Reproducible Builds
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·1d·
Discuss: Hacker News
📦Unikernel Systems
I created waveFiller – an animated bucket fill effect for the HTML 5 canvas
github.com·18h·
Discuss: Hacker News
🏹Effect Systems