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

What's it like to re-read Moby-Dick when you're Ahab's age? Caleb Crain sees some things more acutely
calebcrain.substack.com·1d·
Discuss: Substack
🔤Morris-Pratt
Email API with Environments for Devs
app.shablon.eu·2d·
Discuss: Hacker News
⚡gRPC
We Are Being Sludged
inkengray.medium.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
An amusing blind spot in Go's static analysis
gaultier.github.io·5d·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
Security researcher maps hundreds of TeslaMate servers spilling Tesla vehicle data
techcrunch.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Self-Awareness And A Complex Brain
scientificamerican.com·2d·
Discuss: Hacker News
🧲Magnetic Philosophy
Breaking the code in network theory: Bimodularity reveals direction of influence in complex systems
phys.org·1d
🌊Spectral Clustering
Garnet Fire: Firefighters try to corral forest blaze as lightning strikes bring risk of new ignitions
mercurynews.com·1d
📰RSS Feed Discovery
Designing AI factories: Purpose-built, on-prem GPU data centers
datasciencecentral.com·1d
📊Homelab Monitoring
Learn Python (+ AI) and Become a Certified Data Analyst for FREE This Week
kdnuggets.com·2d
👑Isabelle
Mir 2.22 Released With Tackling NVIDIA Support, Initial Rust Scaffolding
phoronix.com·1d
⚡Dependent Rust
Google will soon stop you sideloading unverified apps – here’s what that means for you
techradar.com·1d
🔒Hardware Attestation
Show HN: Simple visual tools for common situations in your LLM via mcp-UI
github.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Show HN: Whisker, a real-time Pipecat debugger for your voice AI agents
github.com·2d·
Discuss: Hacker News
🎙️Whisper
How to Day Trade Crypto Using ChatGPT and Grok: a Practical Guide for Smarter Trading
hackernoon.com·1d
🌀Brotli Internals
Attention Mechanism in Randomized Time Warping
arxiv.org·3d
📊Learned Metrics
Rate and noise in human amygdala drive increased exploration in aversive learning
nature.com·1d
🔲Cellular Automata
While working as a lawyer, I started posting about my family online. When it took off, I quit, and my site makes over $1 million each year.
businessinsider.com·23h
🏠Personal Archives
Which homelab device should I choose?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
01 Getting Started with the Trenz TE0950 Board
hackster.io·22h
⚡Homebrew CPUs
Loading...Loading more...
AboutBlogChangelogRoadmap