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

We rebuilt EKS Auto Mode, but it works on any cloud or on-prem infra
vcluster.com·12h·
Discuss: Hacker News
⎈Kubernetes
Holding It Together
onelook.com·5h·
Discuss: Hacker News
📝Term Rewriting
The Imitation Game: Defending Against AI's Dark Side
aswathdamodaran.blogspot.com·1d·
Discuss: Hacker News
🍎Apple
How We Built Our lakeFS Iceberg Catalog
lakefs.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: My portfolio in the style of a campy early-internet Geocities site
jmkod.es·1d·
Discuss: Hacker News
❄️Nixified Development
I still love PHP and JavaScript
the.scapegoat.dev·8h·
Discuss: Hacker News
🔤DSLs
C++26: erroneous behaviour
sandordargo.com·3d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Static Analysis
Introduction to Linear Types
austral-lang.org·3d·
Discuss: Hacker News
🧩Separation Logic
A quiet movement is forming: building for human agency – not just agents' sake
agentictech.substack.com·8h·
Discuss: Substack
🩹Self-Healing Systems
Linus: "Can we please stop this automated idiocy?"
lore.kernel.org·2d·
Discuss: Hacker News
🔧Unikernel Development
BlazingMQ: A modern, high-performance open message queuing system
github.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
How to Use AI to Improve Teamwork in Engineering Teams
newsletter.eng-leadership.com·2d·
Discuss: r/programming
✓Automated Theorem Proving
AI Is Currently Hitting the Wall of Code Structure
modgo.org·3d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Claude Context but local – semantic code search without API keys
github.com·2d·
Discuss: Hacker News, r/ClaudeAI, r/LocalLLaMA
🔧Unikernel Development
The Progress of the Model Context Protocol (MCP) with John Capobianco [audio]
packetpushers.net·3d·
Discuss: Hacker News
⚙️Operating System Design
The Evolution of Technical Scams: Why Developer Knowledge Isn't Enough
news.ycombinator.com·2d·
Discuss: Hacker News
🎮Verification Games
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·4d·
Discuss: Hacker News
💎Refinement Types
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·2d
🧩Parser Combinators
Malicious code found in error-ex NPM package (47M weekly downloads) 30M ago
jdstaerk.substack.com·1d·
Discuss: Substack, Hacker News, r/javascript
❄️Nixified Development
Yes, AI Continues To Make Rapid Progress, Including Towards AGI
thezvi.substack.com·14h·
Discuss: Substack
🩹Self-Healing Systems
Loading...Loading more...
AboutBlogChangelogRoadmap