🐿️ 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·16h
🕸️Graph Algorithms
June’s Juffled Sausage
mwl.io·2h
🌊Apache Kafka
Preserving the Irreplaceable: Why Oversized Digitization Matters More Than Ever
andersonarchival.com·5h
📄Document Digitization
Open Sesame: Poems with Entropy
benwr.net·1d·
Discuss: Lobsters, Hacker News
🔓Password Cracking
Test Code Like Zelda: When to Implement Automated Testing
usetusk.ai·1h·
Discuss: Hacker News
🔍Concolic Testing
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.ai·1d·
Discuss: Hacker News
⚡LZ4 Streaming
What is an Entity Component System architecture for game development? (2012)
richardlord.net·3h·
Discuss: Hacker News
🔒WASM Capabilities
We migrated our site to Eleventy and increased performance by 24%
etch.co·18h·
Discuss: Hacker News
🎬WebCodecs
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·3d
🎯Gradual Typing
Machine Learning Fundamentals: dropout
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Sandboxing AI - Extending AI Responsibly
dev.to·3d·
Discuss: DEV
🔒WASM Capabilities
Effective Practices for Coding with a Chat-Based AI
infoq.com·2d·
Discuss: Hacker News
🔄Language Evolution
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
Easy Agents: Build autonomous agents with just natural language
github.com·2h·
Discuss: Hacker News
⚡Proof Automation
A puzzling and pleasant first experience with Google AI Studio
dev.to·2h·
Discuss: DEV
⚡Proof Automation
WasmEdge/WasmEdge
github.com·22h
⚙️WASM Runtime
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·1d
📝ABNF Parsing
SQL CASE Statements: The Order Matters!
dev.to·2h·
Discuss: DEV
🔗Constraint Handling
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·1d·
Discuss: DEV
📐Vector Dimensionality
Loading...Loading more...
AboutBlogChangelogRoadmap