🐪 OCaml GADTs

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

Smith Shorthand
smith-shorthand.com·10h·
Discuss: Hacker News
🌈Gradual Languages
Is HTML a programming language?
benjamincrozat.com·10h
💬REPL Design
The Obsessively Complete Infocom Catalog
eblong.com·1h·
Discuss: Hacker News
🏺Code Archeology
Trace Similarity system on the top of ClickHouse to analyze crash stack traces from our CI
clickhouse.com·3d
🛡️Error Handling
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·3d·
Discuss: Hacker News
🎲Parser Fuzzing
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
Detecting Surveillance Cameras With The ESP32
hackaday.com·4h
🏷️Memory Tagging
Kadane's Algorithm
dev.to·6h·
Discuss: DEV
🔤String Algorithms
🚀 Converting XML to Structs in Uniface 10.4: The xmlToStruct Statement Explained
dev.to·20h·
Discuss: DEV
🔢Binary Formats
What was the first sign that you would love Programming?
dev.to·6h·
Discuss: DEV
🎮Language Ergonomics
How AI Helped a Developer Master SQL Server Performance Optimization Without DBA Training
dev.to·12h·
Discuss: DEV
📈Query Optimization
From AI-Generated to Production-Ready Code: WebStorm Refactorings for the Modern Workflow
blog.jetbrains.com·3d
🚚Code Migration
Metriplectic Conditional Flow Matching for Dissipative Dynamics
arxiv.org·1d
📡Async Channels
Question About Redundant Signal Connecting
reddit.com·1d·
Discuss: r/godot
🎭Delimited Continuations
SeHDR: Single-Exposure HDR Novel View Synthesis via 3D Gaussian Bracketing
arxiv.org·20h
🔍Lens Libraries
LangGraph Beginner to Advance: Part 2: Hello World Graph in LangGraph
pub.towardsai.net·4h
🌱Minimal Interpreters
Differential-Integral Neural Operator for Long-Term Turbulence Forecasting
arxiv.org·20h
🔍ML Language
Common React Anti-Patterns and How to Fix Them
dev.to·1d·
Discuss: DEV
🔧API Design
Continuous Integration for Intelligence: Beyond CI/CD
dev.to·18h·
Discuss: DEV
🎭Program Synthesis