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

Type-level Programming, Proof-carrying Code, Agda, Type Safety

Physicists devise an idea for lasers that shoot beams of neutrinos
news.mit.edu·1h
⚛️Quantum Tape
Intuitions about records management for data scientists
thinkingrecords.co.uk·3d
🔗Data Provenance
Urban Upstart (1983)
bluerenga.blog·1d
🎮Gameboy Emulation
Swedish Fish: When McMaster-Carr Is Missing a CAD Model
andrewbirkel.com·2d·
Discuss: Hacker News
⚙️Swedish Assembly
Restrict Cashiers from accessing "Orders" button in POS Navbar (Odoo 17)
dev.to·5h·
Discuss: DEV
👑Isabelle
Securing your self-hosted Database
hwisnu.bearblog.dev·3d·
Discuss: Hacker News
🗄️Database Internals
skeeto/w64devkit
github.com·5d
🔗Static Linking
I watched Only Murders in the Building season 5 and I can’t believe it’s the best season yet
techradar.com·1h
🧪Archive Fuzzing
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·5d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📏Code Metrics
Sharks now roam the open ocean. But for 200 million years, they only lived near the sea floor
phys.org·1h
🦴Binary Paleontology
Worried about Windows 10's death? Don't fret – Tiny11 is a lightweight version of Windows 11 that cuts bloatware and can run on older hardware
techradar.com·1h
🕸️WASM Archives
Subsets of AI - AI, Machine Learning, Deep Learning & Gen AI
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Tether: A Personalized Support Assistant for Software Engineers with ADHD
arxiv.org·5d
🔩Systems Programming
SCOUT: Toward Sub-Quadratic Attention via Segment Compression for Optimized Utility in Transformers
arxiv.org·5d
⧗Information Bottleneck
Deploy, Don’t Dream: Why Practicality Beats Perfection in Warehouse Robotics
hackernoon.com·4d
⚙️Proof Engineering
I Replaced Redis Locks with Database Atomicity and You Should Too
dev.to·4d·
Discuss: DEV
🦀Rusty Databases
Level Up Your Python: From Guild Master to Portal Architect (Flask Web App Tutorial)
dev.to·4d·
Discuss: DEV
🦋Format Metamorphosis
Question to K8s Administrators
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
ACA-Net: Future Graph Learning for Logistical Demand-Supply Forecasting
arxiv.org·5d
🧠Machine Learning
Concurrency in Go: 5 Patterns You’ll Actually Use in 2025 ⚡
dev.to·4d·
Discuss: DEV
🔩Systems Programming
Loading...Loading more...
AboutBlogChangelogRoadmap