🔗 Supply Chain

Build Verification, Reproducible Systems, Dependency Analysis, Software Provenance

Feeds to Scour
SubscribedAll
Scoured 19552 posts in 1.27 s
Next Generation DB Ingestion at Pinterest
medium.com·1d
🗄️Database Sharding
Glue Work in Software Product Design and Development
brajeshwar.com·2d
🔗Topological Sorting
Digest #200: Kubernetes in Container, Git Shitstorm, $5M Data Centers and SDLC Threat Framework
devopsbulletin.com·12h
📦Git LFS
Tech Stack Is a Business Decision
dinkomarinac.dev·16h·
Discuss: Hacker News, r/programming
🔌Interface Evolution
TruConfirm: Ending Vulnerability Guesswork with Proof inside ETM
blog.qualys.com·2d
✅Archive Fixity
The Rise of Spec Driven Development
dbreunig.com·11h·
Discuss: Hacker News
🔄Reproducible Builds
Building an ERP in public and looking for early partners
vantumerp.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Inside Kilo Speed: How One Engineer Built Cloud Agents in a Week
dev.to·16h·
Discuss: DEV
🌊Stream Processing
Agent Evaluation: How to Test and Measure Agentic AI Performance
machinelearningmastery.com·1d
📏Code Metrics
What I wish I knew before building a vibe coding platform
imagine.dev·9h·
Discuss: Hacker News
🌊Streaming Systems
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·1d
🦀Rust Verification
The Silicon Moat: Why the World’s Largest Clouds are Becoming Chipmakers
hackernoon.com·1d
🖥️Terminal Renaissance
The Missing Layer
yagmin.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
The 10-Layer Monitoring Framework That Saved Our Clients From 3 a.m. Pages
devops.com·19h
👁️Observatory Systems
Continuous AI in practice: What developers can automate today with agentic CI
github.blog·1d
⚡Proof Automation
No, Really, Bash Is Not Enough: Why Large-Scale CI Needs an Orchestrator - Ian Duncan
iankduncan.com·18h·
Discuss: Hacker News
🐚Bash Combinators
Notepad++ hack marks an evolution of supply chain threats
reversinglabs.com·1d
💣ZIP Vulnerabilities
AI Agent Systems for Supply Chains: Structured Decision Prompts and Memory Retrieval
arxiv.org·23h
📼Tape Combinators
The tech stack I've been refining for 6 years
news.ycombinator.com·13h·
Discuss: Hacker News
🦋Format Metamorphosis
Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification
arxiv.org·1d
🔧Hardware Verification

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help