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

My A-Z toolbox: dcfldd
rubenerd.com·22h
📋DFDL
Announcing Blackacre Labs
writing.kemitchell.com·16h
📡RSS Automation
Knuth’s Twindragon
johndcook.com·9h
📐Mathematical Art
Permacomputing
inkdroid.org·17h
🧲Magnetic Philosophy
RTL generation for custom CPU Mrav
popovicu.com·4h
⚙️Modern Assembly
Make LLMs supportive, not sycophantic
chrisbarber.co·7h·
Discuss: Hacker News
🎯Gradual Typing
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
HTML Partials and Server Reducers: An Alternative to React Spas
cimatic.io·7h·
Discuss: Hacker News, r/htmx
🌊Streaming Systems
Convergence in Software
valand.dev·1d·
Discuss: Hacker News
🦀Rust Macros
A visual history of Visual C++
malsmith.net·18h·
Discuss: Hacker News
🕸️WASM Archives
Stringly Typed
hanselman.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
I'm too dumb for Zig's new IO interface
openmymind.net·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌐NetworkProtocols
Rspack Introduces Rslint, a TypeScript-First Linter Written in Go
socket.dev·3d·
Discuss: Hacker News
🎯Gradual Typing
Enhance Geospatial Analysis and GIS Workflows with Amazon Bedrock Capabilities
aws.amazon.com·1d
🌊Streaming Systems
Welcome to Remix 3
github.com·1d·
Discuss: Hacker News
🦋Format Metamorphosis
The kids are alright
bitecode.dev·12h·
Discuss: Hacker News
📏Code Metrics
Iterative DFS with stack-based graph traversal
dwf.dev·2d·
Discuss: Hacker News
🌸Bloom Filters
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·3d·
Discuss: Hacker News
🔩Systems Programming
Fearless Programming with Rust
infoq.com·2d·
Discuss: Hacker News
🦀Rust Macros
Naming Things: The Most Underrated Skill in Software Development
andreacanton.dev·5h·
Discuss: Hacker News
🐚Shell Calculus
Loading...Loading more...
AboutBlogChangelogRoadmap