🐿️ 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 Doesn't the US Use 220V Like Everyone Else in the World? (2021)
kathylovesphysics.com·1d·
Discuss: Hacker News
🍎Apple
When JavaScript Decided My Day Starts at 9AM
senhongo.com·1d·
Discuss: Hacker News
🏹Effect Systems
One of the Weirdest Bugs
softuts.com·2d·
Discuss: Hacker News
📦Unikernel Systems
DeLLMa: Decision Making Under Uncertainty with Large Language Models
dellma.github.io·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Downloading arbitrary Apple Podcast episode transcripts
blog.alexbeals.com·3d·
Discuss: Hacker News
🍎Apple
The Benefits of Trunk-Based Development
thinkinglabs.io·5d·
Discuss: Hacker News, Hacker News, r/programming
🔄Reproducible Builds
Security Update for Amazon Q Developer Extension for Visual Studio Code
aws.amazon.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Generative Distribution Distillation
arxiv.org·5d
🤖Program Synthesis
Semi-off-Policy Reinforcement Learning for Vision-Language Slow-thinking Reasoning
arxiv.org·4d
🎮Verification Games
P-CoT: A Pedagogically-motivated Participatory Chain-of-Thought Prompting for Phonological Reasoning in LLMs
arxiv.org·4d
🎮Verification Games
Fractional Spike Differential Equations Neural Network with Efficient Adjoint Parameters Training
arxiv.org·3d
🐫OCaml
My rolling-rack homelab is finally (sort of) tidy—check it out & hit me with budget 24-port switch ideas!
preview.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
CA-Cut: Crop-Aligned Cutout for Data Augmentation to Learn More Robust Under-Canopy Navigation
arxiv.org·3d
🔬Unikernels
Python 3.14.0rc1
python.org·4d·
Discuss: Hacker News
❄️Nixified Development
Hacker inserts destructive code in Amazon Q as update goes live
csoonline.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Computational Performance Bounds Prediction in Quantum Computing with Unstable Noise
arxiv.org·3d
🏹Effect Systems
Dissecting the Dental Lung Cancer Axis via Mendelian Randomization and Mediation Analysis
arxiv.org·2d
🏹Effect Systems
Predictive Representativity: Uncovering Racial Bias in AI-based Skin Cancer Detection
arxiv.org·5d
🏹Effect Systems
Learning to Extract Rational Evidence via Reinforcement Learning for Retrieval-Augmented Generation
arxiv.org·5d
🎮Verification Games
Closing the complexity gap of the double distance problem
arxiv.org·4d
🔠Type-Level Programming
Loading...Loading more...
AboutBlogChangelogRoadmap