🐿️ 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
The AI Engineer's Guide to LLM Observability with OpenTelemetry
agenta.ai
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org
·
1d
🧩
Parser Combinators
How to Test
matklad.github.io
·
18h
·
Discuss:
Hacker News
🧪
Property-Based Testing
Systems Engineering for Agentic Applications
agenticapplications.substack.com
·
16h
·
Discuss:
r/programming
🩹
Self-Healing Systems
Breaking Verifiable Abstractions
alperenkeles.com
·
17h
·
Discuss:
Hacker News
,
r/programming
🔍
Formal Verification
Show HN: ExeTrace – introducing executable drift monitoring (EDM)
sites.google.com
·
16h
·
Discuss:
Hacker News
👁️
System Observability
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com
·
1d
·
Discuss:
Hacker News
🌐
NetworkProtocols
DeepQuali: Determining Software Quality with AI
blog.qaware.de
·
23h
·
Discuss:
Hacker News
🔄
Reproducible Builds
⿻ Plurality & 6pack.care
lesswrong.com
·
9h
🔬
Unikernels
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net
·
11h
·
Discuss:
Hacker News
🧩
Parser Combinators
Wake VMs in 200ms with Light Sleep, eBPF, and Snapshots
koyeb.com
·
16h
·
Discuss:
Hacker News
🐳
Containerization
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev
·
2d
·
Discuss:
r/rust
⚙️
PL Implementation
Dependent? Extensible? The curious case of union type in Kotlin
hacklewayne.com
·
1d
💎
Refinement Types
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com
·
20h
·
Discuss:
Hacker News
👁️
System Observability
Tripping Around REPL
vlaaad.github.io
·
20h
·
Discuss:
Hacker News
🛡️
seL4
I built a Debounce vs Throttle Interactive Visual Simulator on my blog
coffeebytes.dev
·
2h
·
Discuss:
r/programming
🏹
Effect Systems
Compiler-Driven Development: Building an Elm Playground That Compiles in the Browser
cekrem.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
,
r/webdev
🔄
Reproducible Builds
Show HN: HTML Capture Compare – Chrome Extension to Debug Flaky Tests
news.ycombinator.com
·
17h
·
Discuss:
Hacker News
👁️
System Observability
Integrated Haskell Platform (IHP) v1.4.0 released
github.com
·
21h
·
Discuss:
Hacker News
🐳
Containerization
Loading...
Loading more...
Page 2 »