🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📊 Runtime Verification
Temporal Properties, Trace Analysis, Monitoring, Dynamic Validation
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 14
•
Page 16 »