Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
reddit.com·1d·
Discuss: r/rust
🎲Property-Based Testing
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·2d
🎲Property-Based Testing
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·9h·
Discuss: Hacker News
λHaskell
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·2h·
Discuss: Hacker News
📦Cabal
Flag this post
Deep Dive into Scala 3 Macros: Building a Custom String Interpolator
dev.to·11h·
Discuss: DEV
🔮Lisp Macros
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·9h·
Discuss: Hacker News
🐛Fuzzing
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·1d·
Discuss: Hacker News
🚫Branch-Free Programming
Flag this post
Becoming a Core Developer
stefaniemolin.com·7h
👀Code Reviews
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·5h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·7h·
Discuss: Hacker News
🔵Clojure
Flag this post
Scala vs F#
alexn.org·1d
🔵Clojure
Flag this post
Your-Tests-Are-Slow-and-Brittle-Youre-Testing-the-Wrong-Thing
dev.to·3d·
Discuss: DEV
🔴Test-Driven Development
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·10h·
Discuss: r/C_Programming
🧩Memory Pooling
Flag this post
When Five Dumb AIs Beat One Smart AI: The Case for Multi-Agent Systems
ksramalakshmi.medium.com·14h·
Discuss: r/LocalLLaMA
🐛Fuzz Testing
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·9h·
Discuss: Hacker News
➡️Arrows
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·2h
👀Code Reviews
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·2d·
Discuss: Lobsters, Hacker News
📦Aeson
Flag this post
Mastering std::variant for Type-Safe, Expressive Code
dev.to·9h·
Discuss: DEV
🔮Lisp Macros
Flag this post
What are you doing this weekend?
lobste.rs·2d·
Discuss: Lobsters
🎲Property-Based Testing
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
🐛Fuzzing
Flag this post