🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

Engraving the engraver: Sébastien Leclerc I and the Imprimerie Royale
blogs.bl.uk·16h·
Discuss: blogs.bl.uk
📄Document Digitization
Sony’s Triple Seven
leadedsolder.com·2d
🕹️Retro Gaming
It's good to quiver under the bar
kupajo.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Enigma Crypto Transmission on Saturday August 30, 2025 @ 2000 GMT
radiomarine.org·1d·
Discuss: Hacker News
🔍Polish Cryptanalysis
The Star That Almost Vanished: Astronomers Solve a Cosmic Mystery
scitechdaily.com·1d
👁️Observatory Systems
My year-long quest to debug a single TCP connection
fdi.sk·4d·
Discuss: Hacker News
📡Network Archaeology
Fastly DDoS Protection wins SiliconANGLE TechForward Cloud Security Award
fastly.com·2d
👁️Observatory Systems
Bluesky exits Mississippi over age verification row
techradar.com·1d
🔤EBCDIC Privacy
Types of Dimensions in a Data Warehouse (Beginner’s Guide)
dev.to·1d·
Discuss: DEV
📇Indexing Strategies
Komodo 1.19 Build and Deploy Tool Brings New CLI, Action Arguments
linuxiac.com·1d
❄️Nix Flakes
Profiling Performance in Python
realpython.com·1d
🎯Performance Forensics
Anthropic teases Claude for Chrome: Don't try this at home
theregister.com·1d
🚀Indie Hacking
Allan Jude on fault tolerance
rubenerd.com·2d
💾Persistence Strategies
Why Open Source Misses the Point of Free Software
gnu.org·2d·
Discuss: Hacker News
🔓Free and open source
Nano Banana: From Image Consistency to High-Quality Video Generation
dev.to·20h·
Discuss: DEV
🖼️JPEG XL
Factor Informed Double Deep Learning For Average Treatment Effect Estimation
arxiv.org·1d
🧠Machine Learning
Show HN: Open-source Go repo comparing DCA vs. Grid with reproducible backtests
github.com·2d·
Discuss: Hacker News, r/golang
🔗Hash Chains
5 Minutes of Human-AI Interaction: From Requirements to E2E Test Result
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Probabilistic Forecasting Cryptocurrencies Volatility: From Point to Quantile Forecasts
arxiv.org·2d
🧮Kolmogorov Bounds
The Impact of Visual Segmentation on Lexical Word Recognition
arxiv.org·1d
📄OCR
Loading...Loading more...
AboutBlogChangelogRoadmap