🐿️ 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

Clever Cloud: Automated hosting for developers to easily deploy apps
clever.cloud·21h·
Discuss: r/programming
🐳Containerization
Using domain inspired ML for embedded DSP
buchanan.one·3d·
Discuss: Hacker News
📚Automata Learning
Securing MCP Servers
corgea.com·2d·
Discuss: Hacker News
🛡️seL4
On discourse and decentralisation
connectedplaces.online·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reshaped is now open source
reshaped.so·2h·
Discuss: Hacker News
🔄Reproducible Builds
Using Claude Code SDK to Reduce E2E Test Time by 84%
jampauchoa.substack.com·4d·
Discuss: Substack
🧪Property-Based Testing
Built an AI news agent that stops information overload
reckoning.dev·2d·
Discuss: Hacker News
🩹Self-Healing Systems
95% of AI Pilots Fail
selector.ai·2d·
Discuss: Hacker News
👁️System Observability
LLMs Are Adaptive Data Organisms
worldgov.org·4d·
Discuss: Hacker News
📚Automata Learning
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·4d·
Discuss: Hacker News
🏹Effect Systems
EmbeddingGemma Model Card
ai.google.dev·4d·
Discuss: Hacker News
🧩Parser Combinators
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·2d·
Discuss: r/rust
❄️Nixified Development
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·1d
🧠Automated Reasoning
LiDAR-BIND-T: Improving SLAM with Temporally Consistent Cross-Modal LiDAR Reconstruction
arxiv.org·2d
🔄Finite State Machines
RT-VLM: Re-Thinking Vision Language Model with 4-Clues for Real-World Object Recognition Robustness
arxiv.org·2d
📚Automata Learning
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·3d·
Discuss: Substack
🤖Program Synthesis
Apple's biggest announcement today was Memory Integrity Enforcement
victorwynne.com·1d·
Discuss: Hacker News
🍎Apple
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Qodo Aware Is a ‘Second Brain’ for AI Coding Agents
thenewstack.io·22h
🤖Program Synthesis
Scaling the system that powers over $700M ARR invoices
medium.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Loading...Loading more...
AboutBlogChangelogRoadmap