Borrow checker says “No”! An error that scares me every single time!
polymonster.co.uk·2d·
Discuss: Hacker News, r/rust
✅Formal Verification
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1h·
Discuss: Hacker News
🧬Computational Biology
Flag this post
CLI to manage your SQL database schemas and migrations
github.com·4h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Infrastructure as Code
opentofu.org·3d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Our newest model: Chandra (OCR)
datalab.to·1h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·9h·
Discuss: Hacker News
📊Streaming ML
Flag this post
Linux/WASM
joelseverin.github.io·14h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Designing Smarter Health Checks for Pomerium
pomerium.com·2d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Vercel AI SDK 6 Beta
v6.ai-sdk.dev·1d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Scaling Embeddings with Feast and KubeRay
feast.dev·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Ghosts in the Compilation
predr.ag·2d·
Discuss: Lobsters, Hacker News, r/rust
✅Formal Verification
Flag this post
DDD and the Simplicity Gospel
oluatte.com·11h·
Discuss: Hacker News, r/programming
⚙Complex ststems
Flag this post
Esp-hal 1.0.0 release announcement
developer.espressif.com·2d·
Discuss: Hacker News, Hacker News, r/embedded, r/rust
🌐Distributed Systems
Flag this post
Rdza – Rust Programming, in Polish
github.com·2d·
Discuss: Hacker News
📊Streaming ML
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·17h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Best Open Source Observability Solutions
clickhouse.com·1d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Becoming the Internet: Weighing the Options
blog.bsprague.com·8h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Open Catalyst Project
opencatalystproject.org·4h·
Discuss: Hacker News
🧬Computational Biology
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
📊Streaming ML
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·2d·
Discuss: Hacker News
⚙Complex ststems
Flag this post