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

Insta360 X5 and Google Street View and PhotoSpheres
subethasoftware.com·1h
🕸️WebP Analysis
iNaturalist Observations & a little AI
johnjohnston.info·5h
🌀Brotli Internals
1KB JS Numbers Station
shkspr.mobi·9h·
Discuss: shkspr.mobi
📺VT100
Data Lakehouse Security: Supporting Scalable Analytics and AI Workloads
blog.min.io·2d
📦METS Containers
A Look Back at WeChat's PhxSQL and the 'Fastest Majority'
supasaf.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
Canadian Cross
en.wikipedia.org·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.com·2d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·3d·
Discuss: Hacker News
🔒WASM Capabilities
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
oapi-codegen v2.5.0 is out
github.com·5d·
Discuss: r/golang
📜Proof Carrying Code
How TPMs Work and Why We Added Support in Bottlerocket
molnett.com·3d·
Discuss: Hacker News, r/linux
🔒Hardware Attestation
The Best C++ Library
mcyoung.xyz·6d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Walking You Through WASI Support in Go
hackernoon.com·9h
🌐WASI
Starting Project Now? My 2025 Tech Stack for Full Stack Development
hackernoon.com·3d
🔌Interface Evolution
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·2d
🧠Intelligence Compression
Building a CRM with AWS SAM, part 1: ping
dev.to·1d·
Discuss: DEV
⚡gRPC
OCC 2025 Epilogue
82mhz.net·21h
🚀Indie Hacking
Python Fundamentals: cassandra-driver
dev.to·2d·
Discuss: DEV
🔀CRDT
Designing an Open Source Multimeter: the HydraMeter
hackaday.com·1h
📻Homebrew Protocols
Ask HN: What's the worst part of web E2E testing?
news.ycombinator.com·4h·
Discuss: Hacker News
🐛Fuzzing
Loading...Loading more...
AboutBlogChangelogRoadmap