🐪 OCaml GADTs

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

Astro 5.14
astro.build·18h
🔍Lens Libraries
Mongering things (a comprehensive list of monger words)
fcsuper.blogspot.com·8h·
Discuss: www.blogger.com
📚Factor
A Coder's Guide to Modern Procedural Generation (Noise, WFC, BSP, etc.) - What's changed in the last 10 years?
codeandwhimsy.com·1d·
Discuss: r/proceduralgeneration
🎭Program Synthesis
Please help, BLDS ESC does not work well on my ESP32-S3(N4R2)
imgur.com·1d·
Discuss: r/embedded
🤖Embedded Go
Language is Political
jessicatalisman.substack.com·1d·
Discuss: Substack
🎮Language Ergonomics
Why you should care about design context
figma.com·1d
✨Code Formatting
Code That Works Isn’t Always Code That Lasts
software.ac.uk·8h
🎮Language Ergonomics
We Built the Responses API
developers.openai.com·2d·
Discuss: Hacker News
🏛️Elm Architecture
Study finds ChatGPT-5 is wrong about 1 in 4 times — here's the reason why
tomsguide.com·1d·
Discuss: r/ChatGPT
🎲Parser Fuzzing
defer and errdefer in Rust
strongly-typed-thoughts.net·2d·
Discuss: Hacker News, r/programming, r/rust
🔒Rust Borrowing
Why Do Language Models Hallucinate?
kdnuggets.com·1d
✨Effect Inference
Is there any way to get Component-Model–style bindings with WASI Preview1 (not Preview2 / component runtimes)? Or any pre-component automatic binding for rust.
reddit.com·1d·
Discuss: r/rust
🧱WASM Components
🧠 Basic Algorithm Structures
dev.to·1d·
Discuss: DEV
🤐Zipper Structures
Finding My Voice: Generative Reconstruction of Disordered Speech for Automated Clinical Evaluation
arxiv.org·1d
📊LR Parsing
Building Self-Correcting LLM Systems: The Evaluator-Optimizer Pattern
dev.to·1d·
Discuss: DEV
🔧Error Recovery
CPT-4DMR: Continuous sPatial-Temporal Representation for 4D-MRI Reconstruction
arxiv.org·1d
🏗️MLIR
Improving Deep Tabular Learning
arxiv.org·2d
🌊Effect Rows
I Connected 3 MCP Servers to Claude & Built a No-Code Research Agent That Actually Cites Sources
dev.to·8h·
Discuss: DEV
🌲Tree-sitter
Built a set of audio tools with Go + templ
reddit.com·18h·
Discuss: r/golang
⚙️TOML Parsers
I'm building a Unreal Engine-style blueprint editor for Javascript in Rust
reddit.com·2d·
Discuss: r/rust
🌪️V8 Pipeline