🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Attack Surface Management: Why MSPs Don’t Need Another Tool
heimdalsecurity.com·23h
🔒WASM Capabilities
This Week's Posts
third-bit.com·1d
📏Code Metrics
HTTP/2 implementations are vulnerable to "MadeYouReset" DoS attack
kb.cert.org·13h·
Discuss: Hacker News
🛡️CBOR Security
Hidden Door is an AI storytelling game that actually makes sense
theverge.com·1d·
Discuss: Hacker News
✨Algebraic Effects
My Book "The Origins of Efficiency" is Now Available for Preorder
construction-physics.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Deepfake whales could be a key conservation tool
phys.org·19h
🔍Vector Forensics
Fabricated data in posts.xml for multiple/all data dumps
meta.stackexchange.com·1d·
Discuss: Hacker News
📰RSS Archaeology
Why LLMs Can't Really Build Software
zed.dev·15h·
Discuss: Hacker News
🔩Systems Programming
Carter_rules.md
carter.works·2d·
Discuss: Hacker News
🦀Rust Macros
What If A.I. Doesn’t Get Much Better Than This?
newyorker.com·1d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
Why financial services choose single-tenant SaaS
about.gitlab.com·15h
🖥️Self-hosted Infrastructure
Jukebox with the DFPlayer
hackster.io·1d
🎵Gameboy Sound
I am an AI expert and here's why synthetic threats demand synthetic resilience
techradar.com·2d
🔍Vector Forensics
Testing the Limits of Machine Translation from One Book
arxiv.org·2d
🧮Kolmogorov Complexity
Data-Driven Adaptive Robust Control via Gaussian Process Regression and Lyapunov Redundancy
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
Past Me Was a Genius. Present Me Can’t Find His Work.
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Block encoding the 3D heterogeneous Poisson equation with application to fracture flow
arxiv.org·2d
⚛️Quantum Codecs
Building a production MCP server (and, incidentally, $45M/mo in ad spend)
dev.to·23h·
Discuss: DEV
📊Feed Optimization
Automated Risk Assessment & Mitigation Protocol Generation for HAZMAT Compliance
dev.to·4d·
Discuss: DEV
⚖️Constraint Logic
Do we still need to master front-end, or just learn enough to tell AI what to do?
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap