🐪 OCaml GADTs

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

The 3 Most Practical Features of C# 14 for Everyday Developers
learn.microsoft.com·1d·
Discuss: DEV
🌉Language Bindings
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
Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·10h
📈Monotonic Logic
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·1d·
Discuss: Hacker News
⚡Algebraic Effects
Blueprints for Flutter Development: Building Reliable Foundations
hutouch.com·5h·
Discuss: DEV
🎮Language Ergonomics
GHC Developer Blog: GHC 9.12.3-rc1 is now available
haskell.org·1d
📏Linear Haskell
Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com·18h·
Discuss: r/programming
🔍Debugging Compilers
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.org·21h
📊LR Parsing
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·1d·
Discuss: Substack, r/cpp
🏷️Memory Tagging
Cactus Language • Mechanics 2
inquiryintoinquiry.com·8h
📋Backus-Naur Form
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·1d
🔮Clojure
Libghostty Is Coming
mitchellh.com·1d·
Discuss: Lobsters, 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·7h
📋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·7h·
Discuss: Hacker News
🌸Bloom Indexing
Enabling Deterministic Inference for SGLang
lmsys.org·1d
🗺️Region Inference
Porting a library to a different language with a sentence
randomlabs.ai·3h·
Discuss: Hacker News
🎮Language Ergonomics
Building a Chat Interface: From Components to Conversation
dev.to·6h·
Discuss: DEV
🔗Lexical Scoping