➕ Sum Types

Tagged Unions, Enums, Algebraic Data Types, Pattern Matching

The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
🧩Types
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·7h
💻Programming languages
Flag this post
10000
jro.sg·18h
🔍Binary Analysis
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
CodeSummit 2.O: National-Level Coding Competition
reddit.com·17h·
Discuss: r/SoftwareEngineering
✏️Code Editors
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·10h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Error handling with axum and enum_convert
github.com·15h·
Discuss: r/rust
🌐Axum
Flag this post
Home - Lapwing for Beginners
lapwing.aerick.ca·20h
📑Inverted Indexes
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
📄Semantic Chunking
Flag this post
Dingo: A Meta-Language for Go
github.com·5h·
Discuss: Lobsters, Hacker News
⚡DataFusion
Flag this post
Zig in 30 Minutes
gist.github.com·12h·
Discuss: Hacker News
🦀Rust Compiler Internals
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·20h·
Discuss: r/programming
🧵Concurrency
Flag this post
Meditations on geometric packing
shvbsle.in·21h
🎭Claude
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·14h·
Discuss: smalldatum.blogspot.com
🗄️libSQL
Flag this post
Dmitri Tymoczko
johncarlosbaez.wordpress.com·15h
🧩Types
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·14h
📦WASM
Flag this post
An overview of memory management in Go (2021)
medium.com·13h·
Discuss: Hacker News
🏊Memory Pools
Flag this post
Playing card packing pieces
ahsoc.org·8h
🌳Data Structures
Flag this post
RESULTS: Belgian Pro League results and standings
nordot.app·11h
💾Database Formats
Flag this post
Today’s Saturday Stumper
mleddy.blogspot.com·14h·
Discuss: www.blogger.com
📊ModernBERT
Flag this post