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

Why Microsoft’s New Sentinel Data Lake Actually Matters
blog.nviso.eu·1d
💾Persistence Strategies
AI Breakthrough in Ocean Monitoring: Global Vessel Activity
globalfishingwatch.org·22h·
Discuss: Hacker News
🏺Computational Archaeology
Common Expression Language – Fast, safe expression language
cel.dev·4d·
Discuss: Hacker News
✅Format Verification
Turn any diagram image into an editable Draw.io file. No more redrawing
imagetodrawio.com·10h·
Discuss: Hacker News
📸PNG Optimization
New Tool: ficheck.py, (Thu, Jul 24th)
isc.sans.edu·2d
✅Archive Fixity
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·5d·
Discuss: Substack
🎯Performance Proofs
Bluesky's ATProto and the race to the bottom of the brain stem
erasmus.github.io·8h·
Discuss: Hacker News
📡Feed Archaeology
Foreword for Fuzz Testing Book
pages.cs.wisc.edu·4d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
Intel Core Ultra Series 3 CPUs could finally answer AMD's V-Cache — Nova Lake could boast massive 144MB L3
tomshardware.com·1d
⚡CPU Microarchitecture
Database Migration Wartime Stories
news.alvaroduran.com·3d·
Discuss: Hacker News
🗄️Database Internals
Inference-Time Techniques for High-Quality, Low-Latency Speech Generation
blog.play.ai·3d·
Discuss: Hacker News
🎙️Whisper
Arrow - A documentation generator for Go
github.com·2d·
Discuss: r/golang
📄PostScript
Template-guided chemistry: Researchers efficiently synthesize functionalized oligophenylene cages
phys.org·1d
🕸️Algebraic Topology
The Reason Your AI Code Becomes Unmaintainable (and How to Fix It)
blog.daviddodda.com·3d·
Discuss: Hacker News
🔄Language Evolution
TinyML: Big Machine Learning on Tiny Devices
dev.to·10h·
Discuss: DEV
📊Quantization
Tiny language models
arxiv.org·4d
🎙️Whisper
Mastering Multi-Head Attention in Transformers: An In-Depth Guide
dev.to·1d·
Discuss: DEV
🧮Vector Embeddings
ERMV: Editing 4D Robotic Multi-view images to enhance embodied agents
arxiv.org·2d
🤖Advanced OCR
How to build better AI apps in React with MediaPipe’s latest APIs
dev.to·1d·
Discuss: DEV
🎬WebCodecs
I created a solution for AWS called Anomaly Guardian
dev.to·21h·
Discuss: DEV
👁️Observatory Systems
Loading...Loading more...
AboutBlogChangelogRoadmap