🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📊 Runtime Verification

Temporal Properties, Trace Analysis, Monitoring, Dynamic Validation

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...
AboutBlogChangelogRoadmap