🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Proof-Carrying Archives

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

DF/IR Paralysis: What to Do When You Don’t Know What to Do
brettshavers.com·19h
👂Audio Evidence
GCVE with Cédric Bonhomme and Alexandre Dulaunoy
opensourcesecurity.io·3d
🔓Open Source Software
Analogue Appreciation: For Those I Love
huckmag.com·23h
📼Audio Cassettes
Attack Surface Management Software: Top 10 Vendors
heimdalsecurity.com·23h
🔒WASM Capabilities
Ghost 6.0
ghost.org·3d·
Discuss: Hacker News
🌊Streaming Systems
AWS wiped my account of 10 years, says open source dev
theregister.com·21h
🎫Kerberos History
Automate your project with GitHub Models in Actions
github.blog·2d
📦Git LFS
Building Testable Telegram Bots with Zustand
zwit.link·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Learning Programming Languages Efficiently
flyingmachinestudios.com·2d·
Discuss: Hacker News
🌳Incremental Parsing
Migrating from Substack to self-hosted Ghost: the details
citationneeded.news·1d
📡RSS
Cheyenne to host massive AI data center using more electricity than all Wyoming homes combined
dev.to·1d·
Discuss: DEV
🏠Homelab Federation
Understanding Goroutines, Concurrency, and Scheduling in Go
dev.to·15h·
Discuss: DEV
🧠Program Logic
Nextcloud vs. CryptPad: Which Privacy-First Collaboration Tool is Right for You?
itsfoss.com·2d
🏠Homelab Federation
FLUX.1-Krea & the Rise of Opinionated Models
dbreunig.com·2d·
Discuss: Hacker News
🌈Color Science
Cloned GoFiber for Learning and Achieved ~45% of its Performance
github.com·2d
⚡gRPC
Blaugust 2025: Some PyCon US 2025 Talks
nkantar.com·4d
🔩Systems Programming
Python Fundamentals: conda
dev.to·4d·
Discuss: DEV
🔄Archive Workflows
AVPDN: Learning Motion-Robust and Scale-Adaptive Representations for Video-Based Polyp Detection
arxiv.org·1d
🧠Machine Learning
Looking for feedback on my first NAS setup (QNAP TS-464 + 2×6TB)
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Avoiding the Illusion of Intelligence in AI Agents
dev.to·22h·
Discuss: DEV
⚙️Proof Engineering
Loading...Loading more...
AboutBlogChangelogRoadmap