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

When is a group not a group?
cameroncounts.wordpress.com·13h
🕸️Graph Algorithms
Preserving the Irreplaceable: Why Oversized Digitization Matters More Than Ever
andersonarchival.com·2h
📄Document Digitization
Some Researchers Are Hiding Secret Messages in Their Papers, but They're Not Meant for Humans
smithsonianmag.com·1d
💧Manuscript Watermarks
Open Sesame: Poems with Entropy
benwr.net·1d·
Discuss: Lobsters, Hacker News
🔓Password Cracking
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.ai·23h·
Discuss: Hacker News
⚡LZ4 Streaming
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·1d
🔍Information Retrieval
We migrated our site to Eleventy and increased performance by 24%
etch.co·15h·
Discuss: Hacker News
🎬WebCodecs
Wrote a tiny FSM library in Go for modeling stateful flows (bots, games, workflows)
reddit.com·1d·
Discuss: r/golang
💧Liquidhaskell
Simplify serverless development with console to IDE and remote debugging for AWS Lambda
aws.amazon.com·1d
🌐WASI
Google I/O Connect 2025 Recap: Gemini, Open Models, and AI in Action
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·1d
🧮Kolmogorov Complexity
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·16h
🧠Neural Compression
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·3d
🎯Gradual Typing
Super Resolution for Renewable Energy Resource Data With Wind From Reanalysis Data and Application to Ukraine
arxiv.org·16h
📰RSS Archaeology
Machine Learning Fundamentals: dropout
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Effective Practices for Coding with a Chat-Based AI
infoq.com·1d·
Discuss: Hacker News
🔄Language Evolution
Sandboxing AI - Extending AI Responsibly
dev.to·3d·
Discuss: DEV
🔒WASM Capabilities
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·1d
⚙️Compression Benchmarking
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·1d·
Discuss: DEV
🔄Lens Laws
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·14h·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap