🐿️ 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·6h
🕸️Graph Algorithms
Opening a Six-Lock Safe With One Key Using Brunnian Links
hackaday.com·1d
🔓Password Cracking
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·22h
🔌Archive APIs
Open Sesame: Poems with Entropy
benwr.net·1d·
Discuss: Lobsters, Hacker News
🔓Password Cracking
Using Omni's AI Assistant on the Semantic Layer
mikkeldengsoe.substack.com·1h·
Discuss: Substack
🌀Brotli Internals
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.ai·16h·
Discuss: Hacker News
⚡LZ4 Streaming
Training a Chunker with Burn
elijahpotter.dev·1d·
Discuss: Hacker News
📝Concrete Syntax
We migrated our site to Eleventy and increased performance by 24%
etch.co·8h·
Discuss: Hacker News
🎬WebCodecs
Quadratic Forms Beyond Arithmetic
ams.org·12h·
Discuss: Hacker News
🔱Galois Theory
Wrote a tiny FSM library in Go for modeling stateful flows (bots, games, workflows)
reddit.com·18h·
Discuss: r/golang
💧Liquidhaskell
Simplify serverless development with console to IDE and remote debugging for AWS Lambda
aws.amazon.com·20h
🌐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·9h
🧠Neural Compression
Super Resolution for Renewable Energy Resource Data With Wind From Reanalysis Data and Application to Ukraine
arxiv.org·9h
📰RSS Archaeology
Effective Practices for Coding with a Chat-Based AI
infoq.com·1d·
Discuss: Hacker News
🔄Language Evolution
Sandboxing AI - Extending AI Responsibly
dev.to·2d·
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·23h·
Discuss: DEV
🔄Lens Laws
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap