🐪 OCaml GADTs

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

GHC Developer Blog: GHC 9.12.3-rc1 is now available
haskell.org·1d
📏Linear Haskell
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·13h·
Discuss: Hacker News
🌊Streaming Lexers
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·1d
🔮Clojure
Libghostty Is Coming
mitchellh.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
💻Terminal Emulators
Enabling Deterministic Inference for SGLang
lmsys.org·1d
🗺️Region Inference
Automated Contractual Dispute Resolution via Hybrid Symbolic-Probabilistic Reasoning for Ship Brokering
dev.to·6h·
Discuss: DEV
📈Earley Parsing
Clean Design, Strong Client: The way of the Elasticsearch's Java SDK
dev.to·1d·
Discuss: DEV
🔧API Design
Program Synthesis via Test-Time Transduction
arxiv.org·3h
🎭Program Synthesis
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·3h·
Discuss: DEV
🪢Rope Data Structures
HelixDB - An open-source graph-vector database built in Rust
reddit.com·1d·
Discuss: r/opensource
🌳Persistent Data
Agentic Reasoning for Robust Vision Systems via Increased Test-Time Compute
arxiv.org·3h
🗺️Region Inference
Improving Deep Tabular Learning
arxiv.org·3h
🌊Effect Rows
CommonForms: A Large, Diverse Dataset for Form Field Detection
arxiv.org·3h
📋Row Typing
Assume-guarantee contract algebras are dp-algebras
arxiv.org·3h
∫Mathematical DSLs
Equivalence of Halting Problem to Convergence of Power Series
arxiv.org·3h
🧮Combinator Calculus
Truth Without Comprehension: A BlueSky Agenda for Steering the Fourth Mathematical Crisis
arxiv.org·3h
📡Binary Protocols
The hereditariness problem for the \v{C}ern\'y conjecture
arxiv.org·3h
🎯Finite Automata
Synth-MIA: A Testbed for Auditing Privacy Leakage in Tabular Data Synthesis
arxiv.org·3h
🎲Parser Fuzzing
NUMINA: A Natural Understanding Benchmark for Multi-dimensional Intelligence and Numerical Reasoning Abilities
arxiv.org·3h
🏗️MLIR
D-REX: A Benchmark for Detecting Deceptive Reasoning in Large Language Models
arxiv.org·3h
🎲Parser Fuzzing