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

Opening a Six-Lock Safe With One Key Using Brunnian Links
hackaday.com·1d
🔓Password Cracking
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·2d
🎯Gradual Typing
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·8h·
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·1h·
Discuss: Hacker News
🎬WebCodecs
MCP with Postgres – Querying my data in plain English
punits.dev·1h·
Discuss: Hacker News
🔗Constraint Handling
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·23h
🔍RegEx Engines
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Decoupled PROB: Decoupled Query Initialization Tasks and Objectness-Class Learning for Open World Object Detection
arxiv.org·2h
📐Geometric Hashing
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·1d
💻Local LLMs
Secure Pinching Antenna-aided ISAC
arxiv.org·2h
📐Compression Mathematics
oapi-codegen v2.5.0 is out
github.com·2d·
Discuss: r/golang
📜Proof Carrying Code
How AI Detects Cancer in Whole Slide Images
hackernoon.com·1d
🧠Machine Learning
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·1d·
Discuss: Hacker News
🤖Network Automation
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·1d
🔍Information Retrieval
Simplify serverless development with console to IDE and remote debugging for AWS Lambda
aws.amazon.com·12h
🌐WASI
Google I/O Connect 2025 Recap: Gemini, Open Models, and AI in Action
dev.to·1d·
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·2h
🧠Neural Compression
Loading...Loading more...
AboutBlogChangelogRoadmap