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

Changes to Camunda Helm Sub-Charts: What You Need to Know
camunda.com·17h·
Discuss: Hacker News
⎈Kubernetes
Show HN: Fuzzy Matching in Excel: A Solution for Mac Users
getflookup.com·23h·
Discuss: Hacker News
🍎Apple
Jiratui – A Textual UI for interacting with Atlassian Jira from your shell
jiratui.sh·2h·
Discuss: Hacker News
🏹Effect Systems
Show HN: A livestream of all image descriptions (alt text) on Bluesky
bobbiec.github.io·3d·
Discuss: Hacker News
🍎Apple
Saving Energy in Self-Hosting, Wake-on-LAN, and Rust
guibeira.dev·1d·
Discuss: Hacker News
🖥Self-Hosting
Isolating CSS Inheritance
blog.dwac.dev·1d·
Discuss: Hacker News
🧪Property-Based Testing
Why Using Software Is Like Eating at a Brazilian Steakhouse Run by Vegans
spin.atomicobject.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·1d·
Discuss: Hacker News
🐳Containerization
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com·2d·
Discuss: Hacker News
🧩Separation Logic
A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Package Managers are Evil
gingerbill.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄Reproducible Builds
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·6d
🧠Automated Reasoning
Scaling the system that powers over $700M ARR invoices
medium.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
You too can run malware from NPM (I mean without consequences)
github.com·1d·
Discuss: Hacker News
🐳Containerization
Microsoft just announced Visual Studio 2026!
visualstudio.microsoft.com·23h·
Discuss: DEV, Hacker News
🔄Reproducible Builds
Cargo-remark: view LLVM optimization remarks for Rust
github.com·2d·
Discuss: Hacker News
🛡️seL4
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·1d·
Discuss: r/rust
❄️Nixified Development
Show HN: A unified approach to compute sandboxes
computesdk.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·1d·
Discuss: Hacker News
🐳Containerization
ASCENDgpt: A Phenotype-Aware Transformer Model for Cardiovascular Risk Prediction from Electronic Health Records
arxiv.org·2d
🧩Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap