Empirical Characterization Testing
blog.ploeh.dk·17h
🧬Mutation Testing
Flag this post
Dive into Systems
🔬BPF
Flag this post
Dissecting my MiniBanners program – part 1
subethasoftware.com·12h
🐛Fuzz Testing
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.com·4h
🔗Parser Combinators
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·22h
🔬BPF
Flag this post
New comment by redman25 in "Ask HN: Who wants to be hired? (November 2025)"
👀Code Reviews
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1h
🔮Lisp Macros
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1h
🔮Lisp Macros
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·1h
🔗Parser Combinators
Flag this post
What Is Lua Used for in Programming in 2025?
🔮Lisp Macros
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
📦Cabal
Flag this post
I was tired of 50ms+ shell latency, so I built a sub-millisecond prompt in Rust (prmt)
🔮Branch Prediction
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·1h
📦Cabal
Flag this post
Im trying to make a very basic backend in C
🔄Common Lisp
Flag this post
Building jsTinker: A Free Desktop JavaScript Playground (And Why I Built It)
🔴Test-Driven Development
Flag this post
Reflections on Trusting Trust (1984)
🐛Fuzzing
Flag this post
Loading...Loading more...