Dive into Systems
diveintosystems.org·3d·
Discuss: Hacker News
✅formal methods
Flag this post
Workload Identity in a Multi System Environment (Wimse) Architecture
datatracker.ietf.org·7h·
Discuss: Hacker News
✅formal methods
Flag this post
Navigating the Storm: Driving AI Agents
stevenosborn.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
✅formal methods
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·11h·
Discuss: Substack
✅formal methods
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·2d·
Discuss: Lobsters, Hacker News
🔄compilers
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·12h·
Discuss: Hacker News
✅formal methods
Flag this post
Microservices? No, modularity is what matters
binaryigor.com·2d·
Discuss: Hacker News
✅formal methods
Flag this post
The Spegling Chronicles: Measuring dev shadow work until it measured us back
medium.com·14h·
Discuss: Hacker News
✅formal methods
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.edu·2h·
Discuss: Hacker News
🔄compilers
Flag this post
Toward fast, containerized, user-space filesystems
lwn.net·8h·
Discuss: Hacker News
⚡query optimization
Flag this post
Context Engineering 2.0: The Context of Context Engineering
arxiviq.substack.com·5h·
Discuss: Substack
✅formal methods
Flag this post
AI Agent Guides from Google, Anthropic, Microsoft, etc. Released This Week
sarthakai.substack.com·5h·
Discuss: Substack
✅formal methods
Flag this post
Prentice Hall Interview with Rich Stevens, Author of Unix Programming (1997)
kohala.com·18h·
Discuss: Hacker News
✅formal methods
Flag this post
Zig Looked Like the Future – Until We Tried Multithreading
freedium-mirror.cfd·4h·
Discuss: Hacker News
🔄compilers
Flag this post
1,500+ PRs Later: Spotify’s Journey with Our Background Coding Agent (Part 1)
engineering.atspotify.com·9h·
Discuss: Hacker News
✅formal methods
Flag this post
Software design is refinement, not abstraction (2022)
sicpers.info·5h·
Discuss: Hacker News
✅formal methods
Flag this post
Ray Security – Predictive Data Security Platform
raysecurity.io·13h·
Discuss: Hacker News
✅formal methods
Flag this post
The Write Last, Read First Rule
tigerbeetle.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post