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

Log by time, not by count
johnscolaro.xyz·2d·
Discuss: Hacker News
👁️System Observability
The Latest GPT-5 Leaks and Teasers
bgr.com·1d·
Discuss: Hacker News
🎮Verification Games
A Self-hosted, BSD-native Gemini Protocol Server Stack – The BSD Cafe Journal
journal.bsd.cafe·16h·
Discuss: Lobsters, Hacker News
🏠HomeLab
AI that can simulate billions of atoms simultaneously proves the feasibility of carbon-neutral concrete
phys.org·1d·
Discuss: Hacker News
💻CS
Traded in an arm for 320 more (Ampere Altra homelab upgrade)
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Postgres schema changes without downtime? pgroll hits 5k stars
xata.io·12h·
Discuss: Hacker News
🧱Immutable Infrastructure
How to Migrate from OpenAI to Cerebrium for Cost-Predictable AI Inference
ritza.co·18h·
Discuss: Hacker News
📦Unikernel Systems
The Epochalypse: It’s Y2K, But 38 Years Later
hackaday.com·9h
💾Retro Computing
You Can't Buy Integration (2021)
martinfowler.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Enhancing Spatial Reasoning in Vision-Language Models via Chain-of-Thought Prompting and Reinforcement Learning
arxiv.org·1d
✓Automated Theorem Proving
I'm Tired of Talking About AI
paddy.carvers.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🖥️Self-hosted Infrastructure
Personalized Socially Assistive Robots With End-to-End Speech-Language Models For Well-Being Support
arxiv.org·22h
💻CS
PDEformer-2: A Versatile Foundation Model for Two-Dimensional Partial Differential Equations
arxiv.org·22h
🐫OCaml
Intuitionistic monotone modal logic via translation
arxiv.org·1d
➡️Category Theory
Time Series Forecastability Measures
arxiv.org·1d
👁️System Observability
Show HN: Built a localhost-sharing CLI with live feedback
news.ycombinator.com·2d·
Discuss: Hacker News
❄️Nixified Development
Show HN: New Audiobook Generator for Nvidia Using Chatterbox TTS
github.com·2d·
Discuss: Hacker News
🔬Unikernels
On METR's AI Coding RCT
thezvi.substack.com·4d·
Discuss: Substack
👁️System Observability
Replit Agent deleted a $1M SaaS startup's production DB
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·5d
✓Automated Theorem Proving
Loading...Loading more...
AboutBlogChangelogRoadmap