🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔄 Reproducible Builds
Build Systems, Software Supply Chain, Deterministic Compilation, Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Does the world need another distributed queue?
techblog.cloudkitchens.com
·
9h
·
Discuss:
r/programming
⚙️
Operating System Design
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev
·
5h
·
Discuss:
Hacker News
🛡️
seL4
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com
·
3h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
A quarter century of chasing simplicity
loopwerk.io
·
21h
·
Discuss:
Hacker News
💾
Retro Computing
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io
·
1d
·
Discuss:
Hacker News
👁️
System Observability
The exceptionalism of software is unwarranted
overbring.com
·
16h
·
Discuss:
Hacker News
👁️
System Observability
The Last Programmers
xipu.li
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
📊
Runtime Verification
How We Built Our lakeFS Iceberg Catalog
lakefs.io
·
2d
·
Discuss:
Hacker News
💎
Refinement Types
Week 1: Building ZipZen – Zero-Config Apt/YUM/Helm Repos
indiehackers.com
·
1d
·
Discuss:
Hacker News
🐳
Containerization
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com
·
3h
·
Discuss:
Hacker News
⚙️
PL Implementation
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog
·
1d
·
Discuss:
Hacker News
📊
Runtime Verification
I built diff2ai — a CLI that turns Git diffs into AI-ready code review prompts (local & repo-safe)
reddit.com
·
5h
·
Discuss:
r/programming
❄️
Nixified Development
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com
·
1d
·
Discuss:
r/javascript
,
r/programming
💎
Refinement Types
ASIC: Proof-of-Concept Binary Optimizer Reduces Size, More to Come
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
1.0 release of the Google Cloud client libraries for Rust
github.com
·
1h
·
Discuss:
Hacker News
,
r/rust
⎈
Kubernetes
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com
·
10h
·
Discuss:
Hacker News
🔧
Unikernel Development
A Short Introduction to Tor
spec.torproject.org
·
10h
·
Discuss:
Hacker News
🌐
NetworkProtocols
60-Lesson Course Curriculum : Hands-on System Design with Java Spring Boot
javatsc.substack.com
·
2d
·
Discuss:
r/programming
🧱
Immutable Infrastructure
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io
·
1d
·
Discuss:
Hacker News
🐳
Containerization
Loading...
Loading more...
« Page 2
•
Page 4 »