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

Everything You Need To Know About Redux Down in a hole uncovering why you would use it, no excuses now!
blog.codeminer42.com·2d
🌊Streaming Systems
Modern (Kernel) Low Fragmentation Heap Exploitation
r0keb.github.io·5d
🧠Memory Allocators
Managing Terraform State file: Local vs Remote (S3 + DynamoDB)
blog.devops.dev·1d
🧱Immutable Infrastructure
Claude Code, but for SQL, Beekeeper Studio 5.3
beekeeperstudio.io·2d·
Discuss: Hacker News
🌀Brotli Internals
Microsoft build of Go 1.25 crypto back end changes
devblogs.microsoft.com·1d·
Discuss: Hacker News
🔤EBCDIC Privacy
The Mystery of the Claude 3 Tokenizer (2024)
tokencontributions.substack.com·2d·
Discuss: Substack
🧪Binary Fuzzing
Gary Marcus Is Right on AI Agents for Now, Can You Prove Him Wrong?
dreami.me·1d·
Discuss: Hacker News
🤖AI Curation
Software Engineering Has Always Been Context Engineering
agenticcoding.substack.com·1d·
Discuss: Substack
⚙️Proof Engineering
The Healing Power of Code
craigmod.com·2d·
Discuss: Hacker News
🔓Hacking
Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
arxiv.org·2d
🧪Binary Fuzzing
Embeddings & Cosine Similarity Explained Simply
dev.to·2d·
Discuss: DEV
📐Vector Similarity
Building Integrations With AI Assistance That Go Beyond Vibes
thenewstack.io·12h
🎙️Whisper
Study Spark: Building with Bolt - WLH Challenge
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
CUS-QA: Local-Knowledge-Oriented Open-Ended Question Answering Dataset
arxiv.org·1d
🧮Vector Embeddings
Overcome development disarray with Amazon Q Developer CLI custom agents
aws.amazon.com·11h
🔒WASM Capabilities
Python assert with message
dev.to·3d·
Discuss: DEV
🧪Property-Based Testing
Why Developers Need Mobile-First Error Tracking (And How We Built It)
hackernoon.com·1d
👁️Observatory Systems
AI Writes Better Code When You Stop Thinking in Code
dev.to·2d·
Discuss: DEV
⚙️TLA+
Secure Tug-of-War (SecTOW): Iterative Defense-Attack Training with Reinforcement Learning for Multimodal Model Security
arxiv.org·2d
🎯Threat Hunting
AWS Serverless implementation of all of the OpenAI API documentation examples
github.com·1d·
Discuss: Hacker News
🔌Archive APIs
Loading...Loading more...
AboutBlogChangelogRoadmap