🐪 OCaml GADTs

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

Smith Shorthand
smith-shorthand.com·17h·
Discuss: Hacker News
🌈Gradual Languages
Is HTML a programming language?
benjamincrozat.com·17h
💬REPL Design
Trace Similarity system on the top of ClickHouse to analyze crash stack traces from our CI
clickhouse.com·3d
🛡️Error Handling
Keystone Titles: Organize 100–500 Variants and Prevent LLM Looping
lightcapai.medium.com·2d·
Discuss: Hacker News
🗂️Term Indexing
Building Search for this Site – Search on a static site
alexleighton.com·5d·
Discuss: Hacker News
📋Tablegen
Kadane's Algorithm
dev.to·13h·
Discuss: DEV
🔤String Algorithms
The Point Is Addressing
cacm.acm.org·3d·
Discuss: Hacker News
💾Persistent Heaps
🚀 Converting XML to Structs in Uniface 10.4: The xmlToStruct Statement Explained
dev.to·1d·
Discuss: DEV
🔢Binary Formats
I Built a Compiler in Five Days with Claude AI
indiehackers.com·4d·
Discuss: Hacker News
🎭Program Synthesis
A global view of diverse construction methods of fuzzy implication functions rooted on F-chains
arxiv.org·4d
∀Quantified Types
Day 1: Starting of MERN stack journey from the prerequisites (HTML)
dev.to·1d·
Discuss: DEV
📚Stack Languages
What was the first sign that you would love Programming?
dev.to·13h·
Discuss: DEV
🎮Language Ergonomics
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·4d
🧩SAT Solvers
How AI Helped a Developer Master SQL Server Performance Optimization Without DBA Training
dev.to·19h·
Discuss: DEV
📈Query Optimization
Common React Anti-Patterns and How to Fix Them
dev.to·1d·
Discuss: DEV
🔧API Design
SeHDR: Single-Exposure HDR Novel View Synthesis via 3D Gaussian Bracketing
arxiv.org·1d
🔍Lens Libraries
LangGraph Beginner to Advance: Part 2: Hello World Graph in LangGraph
pub.towardsai.net·12h
🌱Minimal Interpreters
🚀 NOVA CLI: The Terminal Interface That's Redefining Computing in 2025
dev.to·16h·
Discuss: DEV
💻Terminal UIs
Differential-Integral Neural Operator for Long-Term Turbulence Forecasting
arxiv.org·1d
🔍ML Language
LeetCode AI Assistant: A Smarter Way to Prepare for Coding Interviews
dev.to·16h·
Discuss: DEV
💬Interactive REPLs