🐿️ 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

Why Are Quiet Spaces Disappearing?
honest-broker.com·19h·
Discuss: Hacker News
🍎Apple
Common Expression Language – Fast, safe expression language
cel.dev·5d·
Discuss: Hacker News
⚙️PL Implementation
Reverse engineering the mysterious Up-Data Link Test Set from Apollo
righto.com·5d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
A Price Just for You, Specifically
nytimes.com·1d·
Discuss: Hacker News
🍎Apple
Rampant Noncompliance (~50%) with California Privacy Laws (CCPA)
news.uci.edu·3d·
Discuss: Hacker News
📡Network Protocol Design
The Dark Factor of Personality
darkfactor.org·2d·
Discuss: Hacker News, Hacker News
➡️Category Theory
Running Serverless WASM Functions on the Edge with K3s and SpinKube
fermyon.com·2d·
Discuss: Hacker News
⎈Kubernetes
Arc AGI 3
arcprize.org·5d·
Discuss: Hacker News
🎮Verification Games
Efficient streaming of Markdown in the terminal
willmcgugan.github.io·3d·
Discuss: Hacker News, r/programming
⚙️PL Implementation
KDE Plasma 6.5 will notify you if your printer's ink is low
neowin.net·22h·
Discuss: Hacker News
⎈Kubernetes
Apple @ Work: Apple makes Managed Apple Account transitions easier for IT at scale
9to5mac.com·1d
🍎Apple
Forcing Myself to Vibe Code
kevinhighwater.com·5d·
Discuss: Hacker News
🎮Verification Games
Ask HN: How are you checking the security of your vibecoded personal projects?
news.ycombinator.com·2d·
Discuss: Hacker News
📦Unikernel Systems
2025 One Hertz Challenge: 16-Bit Tower Blinks at One Hertz
hackaday.com·3d
🍎XNU Internals
"PhyWorldBench": A Comprehensive Evaluation of Physical Realism in Text-to-Video Models
arxiv.org·6d
🏹Effect Systems
Unsupervised Domain Adaptation for 3D LiDAR Semantic Segmentation Using Contrastive Learning and Multi-Model Pseudo Labeling
arxiv.org·2d
➡️Category Theory
Vortex: A Prompting Protocol to Test for a 'Self' in LLMs
habr.com·2d·
Discuss: Hacker News
🔬Unikernels
My first and second Homelab
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Logistic Regression Applied to Baseball Data
runningonnumbers.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Lying Increases Trust in Science
link.springer.com·21h·
Discuss: Hacker News
🎮Verification Games
Loading...Loading more...
AboutBlogChangelogRoadmap