Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·1d·
Discuss: Hacker News, r/rust
✅Formal Verification
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·2h·
Discuss: Hacker News
📊Streaming ML
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·19h·
Discuss: Lobsters, Hacker News
🌐Distributed Systems
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·13h·
Discuss: Lobsters, Hacker News
🧬Computational Biology
Flag this post
Durable execution workflow system based on Postgres
github.com·13h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·1d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·20h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Rust Hobby OS projects worth exploring
oshub.org·16h·
Discuss: Hacker News, r/rust
🌐Distributed Systems
Flag this post
What's new in Swift: October 2025 Edition
swift.org·11h·
Discuss: Hacker News
📊Streaming ML
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·1d·
Discuss: Hacker News, r/programming
📊Streaming ML
Flag this post
I built an faster Notion in Rust
imedadel.com·3d·
Discuss: Lobsters, Hacker News, r/rust
📊Streaming ML
Flag this post
Scraping Next.js web sites in 2025
trickster.dev·15h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Per-request isolation in TinyKVM explained
fwsgonzo.medium.com·20h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·11h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Recent Rust Changes
ncameron.org·4d·
Discuss: Lobsters, Hacker News, r/rust
📊Streaming ML
Flag this post
Show HN: Mearie – GraphQL client for web frameworks
mearie.dev·1d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·9h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Show HN: Run SQL queries directly on your website
embedded.sql-workbench.com·13h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Infrastructure as Code
opentofu.org·2d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post