๐ฟ๏ธ 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
Show HN: HTML Capture Compare โ Chrome Extension to Debug Flaky Tests
news.ycombinator.com
ยท
1d
ยท
Discuss:
Hacker News
๐๏ธ
System Observability
Show HN: CDNPulse โ See which CDN is fastest for your actual users
cdnpulse.io
ยท
4h
ยท
Discuss:
Hacker News
๐๏ธ
System Observability
Everything About Bitflags
neg4n.dev
ยท
4h
ยท
Discuss:
Hacker News
,
r/javascript
,
r/node
๐ซ
Embedded OCaml
Tradeoffs of Highly-Expressive Types
jnkr.tech
ยท
2d
ยท
Discuss:
Hacker News
๐
Type-Level Programming
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
Stop using cron Systemd Timers Explained (2023)
coady.tech
ยท
1d
ยท
Discuss:
Hacker News
๐ง
Unikernel Development
I built a Debounce vs Throttle Interactive Visual Simulator on my blog
coffeebytes.dev
ยท
13h
ยท
Discuss:
r/programming
๐น
Effect Systems
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com
ยท
1d
ยท
Discuss:
Substack
โ๏ธ
Operating System Design
The repercussions of a typo in C++ & Rust
nablag.com
ยท
24m
ยท
Discuss:
Hacker News
๐ฌ
Static Analysis
The hidden cost of hiring a QA engineer in 2025 (and why AI services are changing the math)
bug0.com
ยท
8h
ยท
Discuss:
r/programming
๐๏ธ
System Observability
Baby's first type checker
austinhenley.com
ยท
1d
ยท
Discuss:
Lobsters
,
Hacker News
๐ซ
OCaml
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com
ยท
4h
ยท
Discuss:
Hacker News
๐ฉน
Self-Healing Systems
Isolated(any)
nshipster.com
ยท
1d
ยท
Discuss:
Hacker News
๐งฎ
Lambda Calculus
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Refinement Types
Mago: Fast linter, formatter, and static analyzer for PHP, written in Rust
mago.carthage.software
ยท
4h
ยท
Discuss:
Hacker News
๐ฌ
Static Analysis
Asymmetric Linearizable Local Reads
muratbuffalo.blogspot.com
ยท
13m
ยท
Discuss:
Hacker News
๐ก
Network Protocol Design
Benchmarking compression programs
maskray.me
ยท
2d
ยท
Discuss:
Hacker News
๐
Reproducible Builds
Show HN: Papr โ Predictive Memory for AI (Ranked #1 on Stanford's Benchmark)
platform.papr.ai
ยท
17m
ยท
Discuss:
Hacker News
๐ซ
Embedded OCaml
What to Look for When Modernizing Service Virtualization
wiremock.io
ยท
4d
ยท
Discuss:
r/programming
๐ฅ๏ธ
Self-hosted Infrastructure
11 Apache Iceberg Optimization Tools You Should Know
overcast.blog
ยท
1d
ยท
Discuss:
r/programming
๐ณ
Containerization
Loading...
Loading more...
« Page 2
โข
Page 4 »