🐪 OCaml GADTs

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

The low-cost path to AI Mastery
antonyarkov.substack.com·1d·
Discuss: Substack
💬Interactive REPLs
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·3d·
Discuss: Hacker News
🩺Compiler Diagnostics
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·1d·
Discuss: Hacker News
⚡Algebraic Effects
Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·5h
📈Monotonic Logic
GHC Developer Blog: GHC 9.12.3-rc1 is now available
haskell.org·20h
📏Linear Haskell
Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com·13h·
Discuss: r/programming
🔍Debugging Compilers
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.org·16h
📊LR Parsing
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·19h·
Discuss: Substack, r/cpp
🏷️Memory Tagging
Cactus Language • Mechanics 2
inquiryintoinquiry.com·3h
📋Backus-Naur Form
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·1d
🔮Clojure
Libghostty Is Coming
mitchellh.com·20h·
Discuss: Hacker News
💻Terminal Emulators
Vulkan Graphics in OCaml vs. C
roscidus.com·2d·
Discuss: Lobsters, Hacker News
🐪OCaml
A scalable, elastic database and search solution for 1B+ vectors built on LanceDB and Amazon S3
aws.amazon.com·2h
📋JSON Parsing
Transitive Dependency Version Resolution in Rust and Java: Comparing the Two
hackernoon.com·1d
📦Dependency Analysis
Show HN: Lessie AI – Your People Search AI Agent
lessie.ai·2h·
Discuss: Hacker News
🌸Bloom Indexing
Enabling Deterministic Inference for SGLang
lmsys.org·20h
🗺️Region Inference
Building a Chat Interface: From Components to Conversation
dev.to·1h·
Discuss: DEV
🔗Lexical Scoping
HelixDB - An open-source graph-vector database built in Rust
reddit.com·21h·
Discuss: r/opensource
🌳Persistent Data
Clean Design, Strong Client: The way of the Elasticsearch's Java SDK
dev.to·1d·
Discuss: DEV
🔧API Design
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·16m
🎯99-Line Tools