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

The best kettles to save energy and speed up your cuppa, tested
theguardian.com·1h
☕Precision Brewing
An Open Letter to the ICANN Community: Not the Community Priority Evaluation We Intended
circleid.com·21h
🌐DNS Security
Zowe explorer: first baby steps to compiling programs
colinpaice.blog·4h
🪟Awesome windows command-line
I asked Alexa Plus to tackle my to-do list — it mostly failed
theverge.com·2d
🧮Constraint SMT
Notes from "Where Wizards Stay Up Late: The Origins of the Internet"
evanhahn.com·1d
📡Network Archaeology
ECS Survivors Part VI: Code Refactor
blog.ptidej.net·3d·
Discuss: Hacker News
🦀Rust Borrowing
[$] QUIC for the kernel
lwn.net·2h
📟Historical Protocols
Russian History (2006)
randsinrepose.com·1d·
Discuss: Hacker News
🔄Language Evolution
How the Free Software Foundation Battles the LLM Bots
thenewstack.io·2d·
Discuss: Hacker News
🚀Indie Hacking
Optimising DeepSeek-R1-Distill-Qwen-7B for use in production
fin.ai·3d·
Discuss: Hacker News
📊Quantization
The evolution of code review practices in the world of AI
packagemain.tech·3h·
Discuss: Hacker News, r/webdev
🔄Language Evolution
FastAPI vs Flask: The Async Showdown of Python Web Frameworks
dev.to·1d·
Discuss: DEV
🌐Web Standards
Google Veo 3 vs SeeDance vs Hailoum: An Unfiltered Comparison for AI Video Creators
dev.to·8h·
Discuss: DEV
🎙️Whisper
Amazon S3 Vectors: Insert & Query Embeddings with Indian Snacks (Titan + Bedrock Demo)
dev.to·1d·
Discuss: DEV
🔄Sync Engine
Bridging the gap: From axios to gRPC interceptors in Go
dev.to·1d·
Discuss: DEV
⚡gRPC
Learning Nonlinear Causal Reductions to Explain Reinforcement Learning Policies
arxiv.org·12h
✨Effect Handlers
Rethinking Suicidal Ideation Detection: A Trustworthy Annotation Framework and Cross-Lingual Model Evaluation
arxiv.org·12h
🧠Machine Learning
MCP: The Simple Protocol to Make AI Actually Useful
dev.to·10h·
Discuss: DEV
🔌Interface Evolution
A Beginner's Guide to Getting Started with Runnables in Langchain.
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
Optimizing Canaries for Privacy Auditing with Metagradient Descent
arxiv.org·12h
🕵️Vector Smuggling
Loading...Loading more...
AboutBlogChangelogRoadmap