🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📊 Runtime Verification
Temporal Properties, Trace Analysis, Monitoring, Dynamic Validation
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
I built a Debounce vs Throttle Interactive Visual Simulator on my blog
coffeebytes.dev
·
7h
·
Discuss:
r/programming
🏹
Effect Systems
Test-Driven Development Is Stupid
geometrian.com
·
2h
·
Discuss:
Hacker News
🧪
Property-Based Testing
Show HN: HTML Capture Compare – Chrome Extension to Debug Flaky Tests
news.ycombinator.com
·
22h
·
Discuss:
Hacker News
👁️
System Observability
MonoGuard: Zero-config monorepo analysis and security scanning
mono-guard-frontend.vercel.app
·
2d
·
Discuss:
DEV
,
Hacker News
👁️
System Observability
Show HN: sy_callback.hpp – High-performance, header-only C++11 callback library
github.com
·
1d
·
Discuss:
Hacker News
📦
Unikernel Systems
Compiler-Driven Development: Building an Elm Playground That Compiles in the Browser
cekrem.github.io
·
2d
·
Discuss:
Hacker News
,
r/programming
,
r/webdev
🔄
Reproducible Builds
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com
·
20h
·
Discuss:
Substack
⚙️
Operating System Design
Using LLMs for Intel Processor Code Trace Analysis
alansguigna.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Tradeoffs of Highly-Expressive Types
jnkr.tech
·
2d
·
Discuss:
Hacker News
🔠
Type-Level Programming
Anatomy of Facebook's 2010 outage: Cache invalidation gone wrong
engineeringatscale.substack.com
·
6h
·
Discuss:
Substack
,
r/programming
👁️
System Observability
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com
·
23h
·
Discuss:
Hacker News
💎
Refinement Types
Stop using cron Systemd Timers Explained (2023)
coady.tech
·
1d
·
Discuss:
Hacker News
🔧
Unikernel Development
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com
·
15h
·
Discuss:
Hacker News
,
r/LLM
,
r/LocalLLaMA
🧩
Parser Combinators
Tracking outbound API calls from your application: why, what worked (and what didn’t)
wcff.bearblog.dev
·
1d
·
Discuss:
r/programming
👁️
System Observability
Isolated(any)
nshipster.com
·
19h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Baby's first type checker
austinhenley.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🐫
OCaml
Latency, Tail Latency and Response time in distributed systems
andrewpakhomov.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Improving LLM token usage when debugging
github.com
·
21h
·
Discuss:
Hacker News
🛡️
seL4
Benchmarking compression programs
maskray.me
·
2d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Context Engineering: A Primer
okigu.com
·
1d
·
Discuss:
Hacker News
🔍
Formal Verification
Loading...
Loading more...
« Page 1
•
Page 3 »