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

DeltaCompare 17.0.0 Release: Introducing Multithreading
deltaxignia.com·4d
△Delta Compression
Miss Manners: We just wanted a simple wedding reception. Now my husband hates my mom.
mercurynews.com·3h
🌳Format Genealogy
A local, portable, single-file web server in C
macrobean.site·5d·
Discuss: Hacker News
🕸️WebAssembly
Google Will Use AI to Guess People’s Ages Based on Search History
wired.com·2d
🌐WARC Forensics
Strengthening the UK's data center infrastructure
techradar.com·5h
🏠Homelab Security
Security update: Phishing attacks on IBM Operational Decision Manager possible
heise.de·3h
🔓Hacking
How JIT builds of CPython work
savannah.dev·5d·
Discuss: Hacker News
📝Concrete Syntax
Show HN: We built an internal MCP to improve Plaid engineering's productivity
plaid.com·4d·
Discuss: Hacker News
🔌Interface Evolution
Earth Is Getting Greener, But the Oceans Are Losing Life
scitechdaily.com·19h
🧊Arctic Storage
How Python Grew From a Language to a Community
thenewstack.io·21h·
Discuss: Hacker News
🚀Indie Hacking
Weekly DC Stats - 03AUG2025
forums.anandtech.com·1d
⭐Awesome lists
July Staff Picks: Here’s What the PopMech Editors Loved This Month
popularmechanics.com·3d
🧮Algorithmic Cooking
Opinion: All LLMs have something like Wernicke's aphasia and we should use that to define their use cases
reddit.com·2d·
Discuss: r/artificial
🌳Context free grammars
The whole AI hype thing, just something I’ve been thinking about
reddit.com·1d·
Discuss: r/kubernetes
📟Vintage Protocols
Causal Identification of Sufficient, Contrastive and Complete Feature Sets in Image Classification
arxiv.org·3d
🧠Machine Learning
Coming back to defer in Go after using Zig/C/C++.. didn’t realize how spoiled I was
reddit.com·4d·
Discuss: r/golang
🔗Concatenative Programming
Our Communication No Longer Belongs to Us, Thoughts on How AI Could Create an Alternative to WhatsApp
dev.to·23h·
Discuss: DEV
🎛️Feed Filtering
I Built a Fully Automated Newsletter with OpenAI + n8n
dev.to·2d·
Discuss: DEV
📰Feed Readers
Why I'm Porting GNU Coreutils to Python (And How You Can Help!)
dev.to·5d·
Discuss: DEV
🐚Nordic Shell
Influencer Missionaries
nytimes.com·23h
📡RSS
Loading...Loading more...
AboutBlogChangelogRoadmap