🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔬 Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Shallow Water is Dangerous Too
jefftk.com·2d
📦Container Security
Smarter ITSM Automation with ServiceNow Integration
blog.qualys.com·2h
🔐HSM Integration
I asked Alexa Plus to tackle my to-do list — it mostly failed
theverge.com·1d
🧮Constraint SMT
Reverse engineering the mysterious Up-Data Link Test Set from Apollo
righto.com·21m·
Discuss: Lobsters, Hacker News
⚡Circuit Archaeology
Proven Practices for Succeeding with a Multicloud Strategy
aws.amazon.com·47m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: MCP server for Blender that builds 3D scenes via natural language
blender-mcp-psi.vercel.app·1d·
Discuss: Hacker News
🎙️Whisper
Shift Left Meets Kafka: Testing Event-Driven Microservices (2024)
signadot.com·3d·
Discuss: Hacker News
🌊Streaming Systems
Colodebug: A simple way to improve bash script debugging
johannes.truschnigg.info·8h·
Discuss: Hacker News
🐚Shell Optimization
How I make an MCP server out of almost anything
mattsayar.com·1d·
Discuss: Hacker News
📻Homebrew Protocols
Agent DB
agentdb.dev·3d·
Discuss: Hacker News
🗄️Database Internals
Vibe-Coding AI "Panicks" and Deletes Production Database
xcancel.com·18h·
Discuss: Lobsters, r/programming
🌀Brotli Internals
How I write docs quickly
passo.uno·3h·
Discuss: Hacker News
⚡Proof Automation
What people said about an OpenZFS bug
despairlabs.com·5d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Bare-Metal Kubernetes: The Performance Advantage Is Almost Gone
thenewstack.io·16m
🖥️Self-hosted Infrastructure
Understanding Derivatives: The Slope of Change
dev.to·2d·
Discuss: DEV
🌀Differential Geometry
Complexity of Abduction in \L{}ukasiewicz Logic
arxiv.org·13h
🏗️Constructive Mathematics
🚀 The Complete Guide to Prompt Engineering: From Zero-Shot to AI Agents
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Kotlin only treats the symptoms of null pointers, while Rust cures the disease. That’s one of the main reasons I prefer Rust.
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
Why I'm Betting Against AI Agents in 2025 (Despite Building Them)
dev.to·1d·
Discuss: DEV
🔐Capability Systems
Rust: Clippy performance status update
blog.goose.love·2d·
Discuss: Lobsters
🔩Systems Programming
Loading...Loading more...
AboutBlogChangelogRoadmap