Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
reddit.com·7h·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
Your-Tests-Are-Slow-and-Brittle-Youre-Testing-the-Wrong-Thing
dev.to·2d·
Discuss: DEV
🧪Compiler Testing
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Scala vs F#
alexn.org·20h
🔧Nickel
Flag this post
What are you doing this weekend?
lobste.rs·1d·
Discuss: Lobsters
💬Interactive REPLs
Flag this post
Q&A #80 (2025-10-31)
computerenhance.com·23h
📚Stack Allocation
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·8h·
Discuss: Hacker News
🔗Language Toolchains
Flag this post
Smaller Surfaces
nrempel.com·5h·
Discuss: Hacker News
🥾Bootstrapping Strategies
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·3d·
Discuss: Hacker News
🧪Compiler Testing
Flag this post
Speedrunning an RL Environment
sidb.in·16h·
Discuss: Hacker News
Gleam
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
🔒Rust Borrowing
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·9h·
Discuss: Hacker News
🐛Interactive Debuggers
Flag this post
Weak-To-Strong Generalization
lesswrong.com·31m
🔍ML Language
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·49m·
Discuss: Hacker News
⚙️TOML Parsers
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🔗Hash Functions
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·1d
🎲Property Testing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·2d·
Type Checking
Flag this post
RimStone is a different kind of programming language
dev.to·1h·
Discuss: DEV
🌱Minimal Languages
Flag this post
Borrow checker says “No”! An error that scares me every single time!
polymonster.co.uk·2d·
🔒Rust Borrowing
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·3h·
🔧Error Recovery
Flag this post