🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 Formal Verification
TLA+, Model Checking, Safety Properties, Specifications
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Submarines and Foolkillers
chicagology.com
·
10h
·
Discuss:
Hacker News
⎈
Kubernetes
Seamless Data Access: Micronaut Data Embraces Jakarta Data
hantsy.medium.com
·
2d
·
Discuss:
r/programming
🔄
Reproducible Builds
Top Interview Questions for 2026
willdennis.com
·
15h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Ouroboros Water Cooled PC
macpierce.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Brain Performance
blog.dianazink.com
·
1d
·
Discuss:
Hacker News
🏹
Effect Systems
Firm Hierarchy Predicts Income
economicsfromthetopdown.com
·
8h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Destructive Testing of ABS and Carbon Fiber Nylon Parts
hackaday.com
·
10h
🧪
Property-Based Testing
Milk Sad: Secure private key generation write up
milksad.info
·
2d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Ars spoke with the military’s chief orbital traffic cop—here’s what we learned
arstechnica.com
·
19h
·
Discuss:
Hacker News
🧗
Climbing Tech
Efficient Computer's Electron E1 CPU
morethanmoore.substack.com
·
4d
·
Discuss:
Substack
🐫
Embedded OCaml
Profiling without Source code – how I diagnosed Trackmania stuttering
larstofus.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Weight Agnostic Neural Networks
weightagnostic.github.io
·
1d
·
Discuss:
Hacker News
💻
CS
Finding Hidden API Keys/Passwords in ChatGPT with Just One Google Search
medium.com
·
16h
·
Discuss:
Hacker News
🎮
Verification Games
Learn Computing? Head for MonTana!
hackaday.com
·
15h
💾
Retro Computing
Serverless Statusphere: a walk through building serverless ATProto applications on Cloudflare’s Developer Platform
blog.cloudflare.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
🖥️
Self-hosted Infrastructure
Rhythm Zero in the Age of AI
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Incentivised Orchestrated Training Architecture (IOTA): A Technical Primer for Release
arxiv.org
·
4d
🔄
Reproducible Builds
Show HN: CCTray – macOS menu bar app to keep an eye on your Claude Code metrics
github.com
·
2d
·
Discuss:
Hacker News
🍎
Apple
Ask HN: What's your uv exit strategy?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
❄️
Nixified Development
Biogeography-Based Optimization of Fuzzy Controllers for Improved Quarter Car Suspension Performance
arxiv.org
·
2h
👁️
System Observability
Loading...
Loading more...
« Page 43
•
Page 45 »