🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Proof-Carrying Data

Verified Preservation, Formal Guarantees, Type Safety, Archive Correctness

SIEVE — a better algorithm than LRU?
blog.apnic.net·10h
💨Cache Analysis
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.com·4h·
Discuss: Hacker News
🧪Binary Fuzzing
C Language Enum Tips & Tricks (2021)
kubyshkin.name·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·4d·
Discuss: DEV
📝Concrete Syntax
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·5d·
Discuss: Hacker News
📝Concrete Syntax
Fly.io Distributed Systems Challenge solutions (again I guess)
reddit.com·1d·
Discuss: r/golang
🏛️Byzantine Archives
A Methodological Framework for LLM-Based Mining of Software Repositories
arxiv.org·11h
🔗Topological Sorting
Filtering with Self-Attention and Storing with MLP: One-Layer Transformers Can Provably Acquire and Extract Knowledge
arxiv.org·11h
🧠Machine Learning
Machine Learning Fundamentals: machine learning tutorial
dev.to·23h·
Discuss: DEV
🧮Z3 Applications
Proactive Disentangled Modeling of Trigger-Object Pairings for Backdoor Defense
arxiv.org·11h
🕵️Vector Smuggling
Adopting Claude Code: Riding the Software Economics Singularity
preset.io·8h·
Discuss: Hacker News
🔄Language Evolution
The Convention Generation Experiment: Why AI Can't Build What I Hoped It Could
dev.to·23h·
Discuss: DEV
🔌Interface Evolution
🧠 Building a Local PDF Summarizer with LLMs — In Under 24 Hours
dev.to·19h·
Discuss: DEV
🤖Archive Automation
Letting AI Narrate My Past: A Telegram Bot with Google Drive and GenAI Magic
dev.to·1d·
Discuss: DEV
⚡gRPC
My 2-Year-Old Shipped His First Game. I'm Not Teaching Him to Code.
dev.to·2h·
Discuss: DEV
⚔️Lean Tactics
Nakamoto Consensus from Multiple Resources
arxiv.org·11h
🤝Distributed Consensus
Confidence-Diversity Calibration of AI Judgement Enables Reliable Qualitative Coding
arxiv.org·11h
🧠Intelligence Compression
Simulated Society of 10k AI Agents
theunwindai.com·1d·
Discuss: Hacker News
🎙️Whisper
Personalized Safety Alignment for Text-to-Image Diffusion Models
arxiv.org·11h
📊Learned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap