mkinitcpio v40 released and now in core-testing
🪄Magit
Flag this post
The Hidden Ops Layer of Agent Platforms
neon.com·20h
🔵Blue-Green Deployment
Flag this post
This blew my mind 🤯
threadreaderapp.com·2d
🌪️Chaos Engineering
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🎲Property-Based Testing
Flag this post
Chatbot with AI Evaluation framework
👀Code Reviews
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
🔮Lisp Macros
Flag this post
How an Attacker Drained $128M from Balancer Through Rounding Error Exploitation
research.checkpoint.com·2h
🐛Fuzzing
Flag this post
Fragments Nov 3
martinfowler.com·1d
🪄Magit
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
🔗Parser Combinators
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·1d
🐛Fuzz Testing
Flag this post
🧠 How We Built an AI Code Reviewer That Understands Intent — Not Just Syntax
👀Code Reviews
Flag this post
The Demo That Taught Me nil + nil eq 0 (And Other Lies I Tell Myself)
🔴Test-Driven Development
Flag this post
Loading...Loading more...