Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·6h·
Discuss: Lobsters, Hacker News
⚙️algorithms
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
⚙️algorithms
NetBSD New build cluster speeds up daily autobuilds
blog.netbsd.org·2d·
Discuss: Lobsters, Hacker News
⚙️algorithms
Ten Thousand Agents
notes.npilk.com·4h·
Discuss: Hacker News
⚙️algorithms
Azure Messaging Connect: New Way to Deliver Short Message Service (SMS) Globally
learn.microsoft.com·13h·
Discuss: Hacker News
🕸️Graph Theory
The DB Grill
db-grill.com·1d·
Discuss: Hacker News
⚙️algorithms
RF Transmission over Plastic Cable Surpasses Copper and Optics at Terabit Scale
signalintegrityjournal.com·1d·
Discuss: Hacker News
💾storage
Forward Deployed Engineering Principles
builders.ramp.com·8h·
Discuss: Hacker News
⚙️algorithms
Show HN: MCPJungle – self-hosted Gateway for connecting AI Agents to MCP tools
github.com·5h·
Discuss: Hacker News
⚙️algorithms
Remembrance Agent A continuously running automated information retrieval system
bradleyrhodes.com·1d·
Discuss: Hacker News
⚙️algorithms
Building Resilient Systems from the Customer's Perspective
americanexpress.io·1d·
Discuss: Hacker News
💾storage
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·20h·
Discuss: Hacker News
⚙️algorithms
Deploy a Python Flask App to Render with Docker
blog.appsignal.com·8h·
Discuss: Hacker News
💾storage
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·4d·
Discuss: Hacker News, r/programming
⚙️algorithms
What Is Parrot?
hexdocs.pm·2d·
Discuss: Hacker News
⚙️algorithms
We're shipping to ARM64 and x64 without duplicating pipelines
caepe.sh·1d·
Discuss: Hacker News
🦀rust
Endor: Fire up a Dev Environment in Seconds With WebAssembly
thenewstack.io·1d·
Discuss: Hacker News
🦀rust
Arenas in Rust
russellw.github.io·19h·
Discuss: Hacker News
🦀rust
Building a Distributed Redis Clone from Scratch – Part 1: In-Memory KV Store with TCP
beyondthesyntax.substack.com·3d·
Discuss: Substack, r/programming
⚙️algorithms
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
⚙️algorithms