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

Passing rates for oral exams peak at noon, dip in morning and afternoon, study finds
phys.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Examine Anywhere: Fact-check supplements as you browse
examine.com·2d·
Discuss: Hacker News
🍎Apple
An AI-Generated Protein Helps T Cells Kill Cancer
the-scientist.com·1d·
Discuss: Hacker News
🤖Program Synthesis
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
What Is a Terminal?
wezterm.org·3d·
Discuss: Hacker News
💾Retro Computing
What kind of work I want
seangoedecke.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Running Serverless WASM Functions on the Edge with K3s and SpinKube
fermyon.com·2d·
Discuss: Hacker News
⎈Kubernetes
I think everyone post college should join or start a startup
stefanavram.com·21h·
Discuss: Hacker News
🧗Climbing Tech
Torqued Accelerator Using Radiation from the Sun (Tars) for Interstellar Payload
arxiv.org·21h·
Discuss: Hacker News
❄️Nix
Math Is Erotic
firstthings.com·7h·
Discuss: Hacker News
➡️Category Theory
Support Ad Scaling Multi-Platform Sync, Break Single Channel Traffic Limits
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: MicroMonitor – Lightweight Server Monitoring Built by AI in 24 Hours
github.com·1d·
Discuss: Hacker News
👁️System Observability
Are Foundation Models All You Need for Zero-shot Face Presentation Attack Detection?
arxiv.org·4d
🐫Embedded OCaml
Beginner Questions about Hardware
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Information Entropy-Based Framework for Quantifying Tortuosity in Meibomian Gland Uneven Atrophy
arxiv.org·2d
➡️Category Theory
Analytical Formulation of Autonomous Vehicle Freeway Merging Control with State-Dependent Discharge Rates
arxiv.org·3d
🔄Finite State Machines
LLMs Tend to Be Overconfident
link.springer.com·5d·
Discuss: Hacker News
🎮Verification Games
Startup Claims up to 100x Better Embedded Computing Efficiency
spectrum.ieee.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
Hierarchical Reinforcement Learning Framework for Adaptive Walking Control Using General Value Functions of Lower-Limb Sensor Signals
arxiv.org·3d
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap