🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧪 Property-Based Testing

QuickCheck, Input Generation, Hypothesis Testing, Test Refinement

9 Best Keyboards (2025), Tested and Reviewed
wired.com·15m
⌨️Mechanical Keyboards
UnderColor’s spiral challenge from 1984 – part 3
subethasoftware.com·1d
📺VT100
12 Best DevSecOps Tools for Your CI/CD Pipeline
boostsecurity.io·21h
🛡️CLI Security
Benchmarking Computer Science Survey Generation
arxiv.org·1d
⚙️Compression Benchmarking
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·2d
✨Effect Handlers
How to load test PostgreSQL database and not miss anything
habr.com·1d·
Discuss: Hacker News
🗄️PostgreSQL WAL
AI coding tools gain security — but the controls do not cut it
reversinglabs.com·1d
🔓Hacking
It's okay to solve a problem twice
til.andrew-quinn.me·4h·
Discuss: Hacker News
⚡Proof Automation
Automated Regression Testing Prioritization with Hyperdimensional Semantic Embeddings
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·11h·
Discuss: Hacker News
⚡Proof Automation
ImageIO, the Infamous iOS Zero Click Attack Vector (2024)
r00tkitsmm.github.io·11h·
Discuss: Hacker News
🧪Binary Fuzzing
Optimizing our way through Metroid
antithesis.com·1d·
Discuss: Lobsters, Hacker News
🖥️Game Emulation
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·20h·
Discuss: Hacker News
📼Tape Combinators
Designing Trustworthy ML Models: Alan & Aida Discover Monotonicity in Machine Learning
towardsdatascience.com·1d
🧠Machine Learning
An amusing blind spot in Go's static analysis
gaultier.github.io·1d·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
Computer-Use Evals Are a Mess
benanderson.work·1d·
Discuss: Hacker News
⚡Performance Mythology
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1d·
Discuss: Hacker News, r/programming
⚡Performance Mythology
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Do I need a Lisp Machine comeback?
far.chickenkiller.com·1d·
Discuss: Hacker News
🦀Rust Macros
Mastering Go Garbage Collection: Triggers, Tuning, and Real-World Wins
dev.to·1d·
Discuss: DEV
🧠Memory Allocators
Loading...Loading more...
AboutBlogChangelogRoadmap