🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧪 Property-Based Testing
QuickCheck, Input Generation, Hypothesis Testing, Test Refinement
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 38
•
Page 40 »