Update Your Damn Dependencies
🔄Incremental Compilation
Flag this post
Berto's Glow-Up, numerous other fixes and changes
chosenundead261.itch.io·17h
🐛Interactive Debuggers
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🎮Language Ergonomics
Flag this post
Build your own GPG in Rust
🛡️Parser Security
Flag this post
Formal Verification’s Value Grows
semiengineering.com·2h
🎭Program Synthesis
Flag this post
Just Write Tests
🧪Zig Testing
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🔒Rust Borrowing
Flag this post
From Zero to AI Agent: How I Built Codexa in 24 Hours with Mastra and Telex.im
💬Interactive REPLs
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
🎮Language Ergonomics
Flag this post
Auto-Generate Flutter Translations
⚡Incremental Parsing
Flag this post
ROVER: Benchmarking Reciprocal Cross-Modal Reasoning for Omnimodal Generation
arxiv.org·1d
🌱Minimal ML
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·5h
🧠Semantic Parsing
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
🔒Rust Borrowing
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
📋Tablegen
Flag this post
AI and the Loss of the Flow
🎭Program Synthesis
Flag this post
Loading...Loading more...