🐿️ 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·23h
🔓Password Cracking
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·2d
🎯Gradual Typing
How To Build an AI Health Care Agent on Amazon Bedrock
thenewstack.io·7h
🔌Archive APIs
This “smart coach” helps LLMs switch between text and code
news.mit.edu·18h
💻Local LLMs
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.ai·50m·
Discuss: Hacker News
⚡LZ4 Streaming
Open Sesame: Poems with Entropy
benwr.net·17h·
Discuss: Lobsters, Hacker News
🔓Password Cracking
Training a Chunker with Burn
elijahpotter.dev·1d·
Discuss: Hacker News
📝Concrete Syntax
How to generate a TypeScript SDK for your API spec
buildwithfern.com·1d·
Discuss: Hacker News
⚡gRPC
How I Got 100/100 From GPT-4, Gemini, Grok, and More—Using Just a .txt File
dev.to·20h·
Discuss: DEV
⚔️Lean Tactics
An AI Skeptic Uses AI for a Week
keithjgrant.com·2d·
Discuss: Hacker News
✨Effect Handlers
GORM Magic: Go Database Made Easy ⚡
dev.to·28m·
Discuss: DEV
⛏️SQL Archaeology
C++ Trailing Return Types (2022)
danielsieger.com·13h·
Discuss: Lobsters, Hacker News, r/programming
🔗Concatenative Programming
Starting Project Now? My 2025 Tech Stack for Full Stack Development
hackernoon.com·15h
🔌Interface Evolution
Automated Function ID Database Generation in Ghidra on Windows
blog.mantrainfosec.com·10h·
Discuss: Hacker News
🔓Decompilation
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·2d·
Discuss: Hacker News, r/programming
🔒Type Safety
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·1d·
Discuss: DEV
🧭Content Discovery
Machine Learning Fundamentals: dropout
dev.to·5h·
Discuss: DEV
🌊Stream Processing
A Rust Shaped Hole
mnvr.in·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
I built a CLI to catch prompt injection & LLM jailbreaks. Want to try it out?
dev.to·4h·
Discuss: DEV
⚡Proof Automation
🔐 Introducing EMCL – A Secure Protocol for AI Agents to Call Tools
dev.to·2d·
Discuss: DEV
🌐NetworkProtocols
Loading...Loading more...
AboutBlogChangelogRoadmap