🐿️ 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·22h
🕸️Graph Algorithms
June’s Juffled Sausage
mwl.io·8h
🌊Apache Kafka
Open Sesame: Poems with Entropy
benwr.net·2d·
Discuss: Lobsters, Hacker News
🔓Password Cracking
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.ai·1d·
Discuss: Hacker News
⚡LZ4 Streaming
Test Code Like Zelda: When to Implement Automated Testing
usetusk.ai·7h·
Discuss: Hacker News
🔍Concolic Testing
We migrated our site to Eleventy and increased performance by 24%
etch.co·1d·
Discuss: Hacker News
🎬WebCodecs
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·3d
🎯Gradual Typing
A puzzling and pleasant first experience with Google AI Studio
dev.to·8h·
Discuss: DEV
⚡Proof Automation
WasmEdge/WasmEdge
github.com·1d
⚙️WASM Runtime
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·2d
📝ABNF Parsing
SQL CASE Statements: The Order Matters!
dev.to·8h·
Discuss: DEV
🔗Constraint Handling
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·1d·
Discuss: DEV
📐Vector Dimensionality
Agent Memory with Spring AI & Redis
dev.to·2d·
Discuss: DEV
⚡Redis Internals
My favorite use-case for AI is writing logs
vickiboykis.com·3d
🌳Incremental Parsing
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·3d
💻Local LLMs
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·23h·
Discuss: DEV
⚡Proof Automation
ShopSmart AI - Revolutionary E-commerce Search with Algolia MCP Server
dev.to·2d·
Discuss: DEV
👤Search Personalization
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·1d
🔲Cellular Automata
How Kiro Transformed My Vibe Coding into Structured, Production-Ready Development
dev.to·5h·
Discuss: DEV
🧱Immutable Infrastructure
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·4d
🎯Gradual Typing
Loading...Loading more...
AboutBlogChangelogRoadmap