๐Ÿฟ๏ธ 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

Top 10 security threats to K-12 schools
jamf.comยท19h
๐Ÿ”“Hacking
Testing out Crush, a TUI based coding agent (in neovim btw)
grahamhelton.comยท3d
๐ŸŒ€Brotli Internals
Why hx-boost is actually the most important feature of htmx
dev.toยท2hยท
Discuss: DEV
๐Ÿ”—Hypermedia APIs
Website's URLs Can and Should Be Beautiful
opus.ingยท2dยท
Discuss: Hacker News
๐ŸŒWeb Archives
JavaOne 2026 Dates Announced
inside.javaยท1dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Science Titan sub firm used intimidation tactics and flawed safety practices
bbc.comยท15hยท
Discuss: Hacker News
๐Ÿง Memory Forensics
The Future of Accrescent
blog.accrescent.appยท1dยท
Discuss: Hacker News, r/selfhosted
๐Ÿ”„Sync Engine
The Best Apps for Managing Your Travel Expenses and Receipts
wired.comยท3h
๐Ÿ”ŒOffline-first Apps
Mithril launches omnicloud for compute and batch inference
mithril.aiยท1dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Debugging Academia: What LaTeX Error Messages Teach Us About Surviving Peer Review
medium.comยท2dยท
Discuss: r/programming
๐Ÿ“œDigital Philology
Searching for Artificial Memory Systems in ancient humans with spatial statistics
phys.orgยท1d
๐ŸฆดBinary Paleography
Why Big Tech Can't Build a Precise Product Database โ€“ and Why We Did
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐Ÿ”—Supply Chain
Anthropic Adds Auto Security Reviews to Claude Code
thenewstack.ioยท39m
๐Ÿ›ก๏ธCLI Security
APPLE-SA-07-30-2025-1 Safari 18.6
seclists.orgยท3d
๐ŸŽApple Archive
How biocrusts form self-organized patterns and potentially influence dryland ecosystem functioning
phys.orgยท3h
๐Ÿ”ฒCellular Automata
How to Handle Multiple Assignment and Unpacking
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Uncertainty-aware water risk models could improve flood and drought preparedness
phys.orgยท35m
๐Ÿง Intelligence Compression
Show HN: Semi Intelligence โ€“ Instant. Tiny. Lightweight
github.comยท1dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Understanding The LEGO Interface B Serial Communication
hackster.ioยท3d
๐Ÿ“ŸVintage Protocols
Cursor IDE: Arbitrary Data Exfiltration Via Mermaid (CVE-2025-54132)
embracethered.comยท2dยท
Discuss: Hacker News
๐Ÿ”“Password Cracking
Loading...Loading more...
AboutBlogChangelogRoadmap