🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔗 Dependently Typed

Proof-Carrying Code, Correctness by Construction, Type-Level Programming

Writing experience: My decade with Org
lmno.lol·2d
🦋Format Metamorphosis
From Data Swamps to Reliable Data Systems: How Iceberg Brought 40 Years of Database Wisdom to Data Lakes
blog.min.io·2d
🏺Database Archaeology
Discretizing and quantizing neural nets
danmackinlay.name·2d
📊Quantization
Safe Cell field projection in Rust (2020)
abubalay.com·6d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Conspiracy theorists think their views are mainstream
arstechnica.com·6h·
Discuss: Hacker News
🏛️Philosophy
LL and LR Parsing Demystified (2013)
blog.reverberate.org·6d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
Improving LLMs' Generalized Reasoning Abilities by Graph Problems
arxiv.org·3d
🧠Computational Logic
I’m a .NET Developer, and I Want to Be Free from Frameworks.
dev.to·3d·
Discuss: DEV
🧱Immutable Infrastructure
Claude Code sub-agent that accesses past sessions
github.com·19h·
Discuss: Hacker News
👑Isabelle
The Polymath Tool for All Your Audio and Document Needs
dev.to·1d·
Discuss: DEV
🎙️Whisper
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·5d
🌀Differential Geometry
🚀 Just discovered this 2-minute productivity hack:
dev.to·3h·
Discuss: DEV
🔍BitFunnel
Keeping MCP Inspector Safe: Lessons from CVE‑2025‑49596
dev.to·1d·
Discuss: DEV
🌐WASI
TrailTrace: Go-based GPMF parser compiled to WebAssembly to explore GoPro metadata in the browser
reddit.com·21h·
Discuss: r/golang
🕸️WebP Analysis
I Published My First Python Library: `rs-calculator`
dev.to·1d·
Discuss: DEV
📚Lempel-Ziv
Mastering Multi-Head Attention in Transformers: An In-Depth Guide
dev.to·2d·
Discuss: DEV
🧮Vector Embeddings
The Intelligence Hub
github.com·3d·
Discuss: Hacker News
🔌Archive APIs
Why I Built My Own Markup Language for AI-Powered Video Editing
dev.to·2d·
Discuss: DEV
🗣️Domain-Specific Languages
Show HN: LLMs suck at writing integration code… for now
github.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·4d·
Discuss: Hacker News
💧Liquid Types
Loading...Loading more...
AboutBlogChangelogRoadmap