🐿️ 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
Finally a homelab to call my own!
preview.redd.it
·
9h
·
Discuss:
r/homelab
🏠
HomeLab
I built a Debounce vs Throttle Interactive Visual Simulator on my blog
coffeebytes.dev
·
1d
·
Discuss:
r/programming
🏹
Effect Systems
Mago: Fast linter, formatter, and static analyzer for PHP, written in Rust
mago.carthage.software
·
22h
·
Discuss:
Hacker News
🔬
Static Analysis
Show HN: I Used RAG and Power Automate to Turn User Story to Tech Spec and Tasks
medium.com
·
21h
·
Discuss:
Hacker News
🤖
Program Synthesis
What to Look for When Modernizing Service Virtualization
wiremock.io
·
4d
·
Discuss:
r/programming
🖥️
Self-hosted Infrastructure
Asymmetric Linearizable Local Reads
muratbuffalo.blogspot.com
·
17h
·
Discuss:
Hacker News
📡
Network Protocol Design
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com
·
22h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
The case against Almost Always `auto` (AAA)
gist.github.com
·
1d
·
Discuss:
Hacker News
,
r/cpp
📚
Automata Learning
The maths you need to start understanding LLMs
gilesthomas.com
·
12h
·
Discuss:
Hacker News
📚
Automata Learning
I made a CLI to stop manually copy-pasting code into LLMs
github.com
·
23h
·
Discuss:
Hacker News
🤖
Program Synthesis
Why Bittensor's Top Subnets Still Can't Explain Themselves
abittensorjourney.com
·
18h
·
Discuss:
Hacker News
🔧
Unikernel Development
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai
·
1d
·
Discuss:
Hacker News
📚
Automata Learning
Show HN: Papr – Predictive Memory for AI (Ranked #1 on Stanford's Benchmark)
platform.papr.ai
·
17h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Bootstrapping a Forth for Art
tia.mat.br
·
3d
·
Discuss:
Lobsters
,
Hacker News
🐫
Embedded OCaml
Lessons from building an AI data analyst
pedronasc.com
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com
·
1d
·
Discuss:
Hacker News
💎
Refinement Types
Change Tracker: Monitor+revert file edits from Claude/AI agents(in-memory VCS)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Learn about building a Rust Plugin System
blog.anirudha.dev
·
2d
·
Discuss:
Hacker News
⚙️
PL Implementation
Latency, Tail Latency and Response time in distributed systems
andrewpakhomov.com
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Loading...
Loading more...
« Page 4
•
Page 6 »