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

Outlandish Recursive Query Examples
sqlite.org·55m·
Discuss: Lobsters
🗄️SQLite Internals
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
github.com·1d·
Discuss: Hacker News
🔐Archive Encryption
Did GPT-5 Solve 'New Math'?
tech2geek.net·15h·
Discuss: Hacker News
🎯Performance Proofs
DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections
arxiv.org·1d
📇Dublin Core
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·21h
🗂️Vector Databases
Nullable vs. Nullable in C#
einarwh.no·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Google’s URL Context Grounding: Another Nail in RAG’s Coffin?
towardsdatascience.com·12h
🌀Brotli Internals
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Enabling Kotlin Incremental Compilation on Buck2
engineering.fb.com·9h
🔄Reproducible Builds
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·11h·
Discuss: DEV
🔒WASM Capabilities
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
What’s Next for Kotlin Multiplatform and Compose Multiplatform – August 2025 Update
blog.jetbrains.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·10h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Securing the AI Revolution: Introducing Cloudflare MCP Server Portals
blog.cloudflare.com·11h·
Discuss: Hacker News
🌐DNS Security
Ask HN: How do you deal with the fear of installing potentially risky tools?
news.ycombinator.com·12h·
Discuss: Hacker News
🛡️CLI Security
Troubleshooting EKS with MCP: The Good, the Bad, and the Ugly (plus the Setup)
dev.to·14h·
Discuss: DEV
📦Container Security
JavaScript lib for exchanging selective disclosure proofs
github.com·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
Chatting with Unmesh about building language with LLMs
martinfowler.com·11h
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap