🐪 OCaml GADTs

Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML

Oklahoma vs. Missouri: Sooners defense dominates, OU in prime position to claim CFP bid
nytimes.com·11h
🔗Borrowing Extensions
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·15h·
Discuss: smalldatum.blogspot.com
🗃️Query Compilation
Flag this post
Question from notation in "Hacker's Delight" by Warren
reddit.com·7h·
Discuss: r/C_Programming
∫Mathematical DSLs
Flag this post
Rust Isn't the Future of Systems Programming – It's Just the Hype Cycle
freedium-mirror.cfd·3h·
Discuss: Hacker News
🚂Cranelift Backend
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
taskr.one·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
Flag this post
Taming the Data Beast: Build Pipelines That Bend, Not Break by Arvind Sundararajan
dev.to·23h·
Discuss: DEV
📋JSON Parsing
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
🔧API Design
Flag this post
My Open-Source Contribution - Working on TypeScript-ESLint
dev.to·3d·
Discuss: DEV
🚂Error Monads
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🚂Error Monads
Flag this post
A practical guide to refactoring complex database queries in Laravel
dev.to·1d·
Discuss: DEV
🎭Staging
Flag this post
The Machine Learning Roadmap
github.com·9h·
Discuss: Hacker News
🌱Minimal ML
Flag this post
Zig in 30 Minutes
gist.github.com·13h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Why DETRs are replacing YOLOs for real-time object detection
blog.datameister.ai·20h·
Discuss: Hacker News
🗺️Region Inference
Flag this post
Memchr: Optimized string search routines for Rust
github.com·3d·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Python Registry Pattern: A Clean Alternative to Factory Classes
dev.to·1d·
Discuss: DEV
✅Configuration Validation
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
💓Live Variable Analysis
Flag this post
A WebAssembly Interpreter
wasmgroundup.com·2d·
Discuss: Hacker News
🌐WASM Runtimes
Flag this post
MCP Apps: Bringing Interactive UIs to AI Conversations
blog.fka.dev·21h·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
Project goals update — October 2025
blog.rust-lang.org·4d
🦀MIR Optimization
Flag this post
Rust Smart Pointers: Safe Memory Management Without Garbage Collection
dev.to·18h·
Discuss: DEV
🔒Rust Borrowing
Flag this post