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

U.S. Intel: A Critical View
taoofmac.com·19h
🖥️Terminal Renaissance
<code>rv</code>, a new kind of Ruby management tool
andre.arko.net·1d·
Discuss: Lobsters, Hacker News, r/rust
📦Package Managers
Modern Dentistry Is a Microplastic Minefield
theatlantic.com·2d·
Discuss: Hacker News
🧲Magnetic Tribology
Thousands more Uvalde massacre documents to be released after lawyer admits ‘mistake’
the-independent.com·1d
📋records management
Researchers flag code that uses AI systems to carry out ransomware attacks
cyberscoop.com·1d
🚀Indie Hacking
iPhone 17 Air
macrumors.com·1d·
Discuss: Hacker News
📡Bluetooth Archaeology
Building a Lambda-Style Feature Platform with GCP Native Services
hackernoon.com·5d
🌀Brotli Internals
Can AI weaponize new CVEs in under 15 minutes?
valmarelox.substack.com·6d·
Discuss: Substack
🧪Protocol Fuzzing
GhostBSD Ships "Gershwin" Desktop Environment For A macOS Like Experience
phoronix.com·2d
🔌Operating system internals
6 Living Men Share Leonardo da Vinci’s DNA. They Might Prove Where He’s Buried.
popularmechanics.com·2d
🏰Manuscript Networks
Lynx-R1 Headset Makers Release 6DoF SLAM Solution As Open Source
hackaday.com·17h
🔓Open Source Software
Free Online Tool – Convert Image to Text Instantly (No Signup)
dev.to·1d·
Discuss: DEV
📄OCR
Initrd Support Could Finally Be On Its Way To Being Removed From The Linux Kernel
phoronix.com·1d·
Discuss: Hacker News, r/linux
🔌Operating system internals
The Heart of Patricia Lockwood’s Life and Work
newyorker.com·1d
📄PostScript
RADV Vulkan Driver Lands Untyped Pointers Support
phoronix.com·15h
🔗Static Linking
Day 77: When Apple Service Breaks More Than Your Laptop
dev.to·1d·
Discuss: DEV
🍎Apple Archive
Nvidia&#x27;s Jetson AGX Thor costs 3499 US dollars as a dev kit
heise.de·1d
🖥️Modern Terminals
Essential Reading for Agentic Engineers - August 2025
steipete.me·6d·
Discuss: Hacker News
⚙️Proof Engineering
Mastering Go Garbage Collection: Triggers, Tuning, and Real-World Wins
dev.to·6d·
Discuss: DEV
🧠Memory Allocators
Retraction Note: Crystal structures of agonist-bound human cannabinoid receptor CB<sub>1</sub>
nature.com·12h
🤖Grammar Induction
Loading...Loading more...
AboutBlogChangelogRoadmap