🐪 OCaml GADTs

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

Altoids by the Fistful
scottsmitelli.com·2h·
Discuss: Lobsters
🔗Concatenative
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·1d·
Discuss: Substack, r/cpp
🏷️Memory Tagging
Show HN: Lessie AI – Your People Search AI Agent
lessie.ai·12h·
Discuss: Hacker News
🌸Bloom Indexing
Speeding Up NestJS Tests with DB Transactions
medium.com·13h·
Discuss: Hacker News
🧪Compiler Testing
Agentic Reasoning for Robust Vision Systems via Increased Test-Time Compute
arxiv.org·2h
🗺️Region Inference
Automated Contractual Dispute Resolution via Hybrid Symbolic-Probabilistic Reasoning for Ship Brokering
dev.to·4h·
Discuss: DEV
📈Earley Parsing
Let's look at the structure of Vec<T>
marma.dev·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Rust Borrowing
Learning Neural Antiderivatives
arxiv.org·2h
🔢Algebraic Datatypes
Hyperbolic Sets in Incomplete Tables
arxiv.org·2h
📐Succinct Data Structures
Rhizomes and the Roots of Efficiency—Improving Prio
eprint.iacr.org·14h
🧮Combinator Calculus
Mitigating Strategy-Selection Bias in Reasoning for More Effective Test-Time Scaling
arxiv.org·2h
🧪Parser Testing
Attention Consistency for LLMs Explanation
arxiv.org·2h
🔄Subinterpreters
RadEval: A framework for radiology text evaluation
arxiv.org·2h
🏗️MLIR
Etude: Piano Cover Generation with a Three-Stage Approach -- Extract, strucTUralize, and DEcode
arxiv.org·2h
🌱Minimal ML
Lets Be Real: Its Time to Ditch `any` for `unknown` in TypeScript
dev.to·18h·
Discuss: DEV
🔧API Design
A Generative Framework for Personalized Sticker Retrieval
arxiv.org·2h
📋Row Typing
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·8h·
Discuss: DEV
🔗Concurrency Primitives
Randomized matrix computations: Themes and variations
arxiv.org·2h
🧮Linear Algebra
Building a Row Echelon Form Checker in Python and Go with Tests
dev.to·12h·
Discuss: DEV
🔢Algebraic Datatypes
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
arxiv.org·2h
📚Self-Documenting Code