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

Lincoln Laboratory reports on airborne threat mitigation for the NYC subway
news.mit.eduยท1d
๐Ÿ“„Document Digitization
Book Review โ€” The Garden of Delights by Amal Singh
thomasrigby.comยท1d
๐Ÿ“•Bookbinding
Anyone keen on a cat cryptocoin? Anyone?
newscientist.comยท1d
๐Ÿ”ฒCellular Automata
Documented source code for Aviator on the BBC Micro
aviator.bbcelite.comยท17hยท
Discuss: Hacker News
๐ŸŽฎGame Decompilation
I Use CubiCasa to Make Floor Plans of My House (and You Should Too)
lifehacker.comยท1d
๐Ÿ—„๏ธSQLite Internals
Bitnami Secure Images pricing (FYI)
reddit.comยท1dยท
Discuss: r/kubernetes
๐Ÿ•ธ๏ธWebP Analysis
China is quietly upstaging America with its open models
economist.comยท1d
๐Ÿ‡จ๐Ÿ‡ณChinese Computing
Why D3('s DOM methods) are so verbose (another angle)
macwright.comยท1d
๐Ÿ”—Concatenative Programming
Second U.S. Malaria Case Not Tied to Travel Raises Fears of Local Transmission
scientificamerican.comยท1d
๐Ÿ“กFeed Security
Google yet to take down 'screenshot-grabbing' Chrome VPN extension
theregister.comยท19hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธWebP Analysis
HoundDog.ai Code Scanner Shifts Data Privacy Responsibility Left
devops.comยท17h
๐Ÿ“Code Metrics
Doom runs surprisingly well on Anker Prime Charger โ€” 150 MHz CPU and decent screen results in 'better than expected' FPS per mAh
tomshardware.comยท17h
๐ŸŽฎGameboy Emulation
Gravitational Lensing & Kerr Black Hole Shadow Reconstruction via Adaptive Wavelet Decomposition
dev.toยท1dยท
Discuss: DEV
๐ŸŒˆHolographic Archives
Winding Down Olympia. What We Built, What I Learned, and Why..
hackernoon.comยท23h
๐ŸŒ€Brotli Internals
Enhanced Time Series Anomaly Detection via Higher-Order Spectral Clustering and Dynamic Thresholding
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ˆTime Series
Automated Quantum Wire Defect Mapping via Multimodal Bayesian Inference
dev.toยท4dยท
Discuss: DEV
โš›๏ธQuantum Error Correction
Was AMD holding back on their fusion line?
forums.anandtech.comยท40m
๐Ÿ–ฅ๏ธModern CPU
Amazon Q Developer: Secrets Leaked via DNS and Prompt Injection
embracethered.comยท3dยท
Discuss: Hacker News
๐ŸŒDNS Security
Europe's Ransomware Surge Is a Warning Shot for US Defenders
darkreading.comยท1d
๐Ÿ”“Hacking
Automated Beamline Component Design via Hyperparameter Optimization and Generative Modeling
dev.toยท3dยท
Discuss: DEV
๐Ÿ”Vector Forensics
Loading...Loading more...
AboutBlogChangelogRoadmap