🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Document Verification

Format Proofs, Archive Correctness, Preservation Logic, Type-safe Storage

Skeptik: A Hybrid Framework for Combating Potential Misinformation in Journalism
arxiv.org·11h
📰Content Curation
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·21h·
Discuss: Hacker News
🦀Rust Macros
Binary Exploitation 101 - Introduction
r1ru.github.io·1d
📼Cassette Hacking
The Glorious Future of the Book
honest-broker.com·19h
💿WORM Storage
Google’s URL Context Grounding: Another Nail in RAG’s Coffin?
towardsdatascience.com·1d
🌀Brotli Internals
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
Claude Code's 19 cent Parser
blogger.com·2d
🔧Binary Parsers
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
🔱Galois Cryptography
The Humble Office Printer Could Take Down Your Network (Here's How to Prevent It)
hackernoon.com·8h
💣ZIP Vulnerabilities
8 Tool Tech Stack to Build an Enterprise-Grade RAG System (Without the Headaches)
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·1d
💻Local LLMs
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·5h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Linux Foundation says yes to NoSQL via DocumentDB
theregister.com·1d·
Discuss: Hacker News
🔓Open Source Software
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·1d·
Discuss: Hacker News
✅Format Validation
Elasticsearch Explained with Real-Life Example: Why It Beats SQL for Search
blog.devops.dev·2d
🚀Query Optimization
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·1d
🦀Rust Macros
Running our Docker registry on-prem with Harbor
dev.37signals.com·3h·
Discuss: Hacker News
📦Container Security
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·2d·
Discuss: Hacker News
⚡Proof Automation
Dependent types I › Universes, or types of types
jonmsterling.com·8h·
Discuss: Hacker News
🔤Type Theory
Loading...Loading more...
AboutBlogChangelogRoadmap