🐪 OCaml GADTs

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

Build systems à la carte - 3236774.pdf
dl.acm.org·2h
🌱Forth Kernels
A scalable, elastic database and search solution for 1B+ vectors built on LanceDB and Amazon S3
aws.amazon.com·19h
📋JSON Parsing
Cactus Language • Mechanics 2
inquiryintoinquiry.com·20h
📋Backus-Naur Form
Github Repository for Top LLM Datasets
analyticsvidhya.com·1d
🔍ML Language
Sneaky Code Bites Back
architecture-weekly.com·1d·
Discuss: r/programming
📡Protocol Buffers
Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·22h
📈Monotonic Logic
Comparing RAG and GraphRAG for Page-Level Retrieval Question Answering on Math Textbook
arxiv.org·9h
📊Parse Tables
Preptember 2025 week 3: Color schemes and Copilot improvements in GitFichas
dev.to·3h·
Discuss: DEV
🌲Tree-sitter
Breaking Token Into Concepts: Exploring Extreme Compression in Token Representation Via Compositional Shared Semantics
arxiv.org·9h
🧩Monadic Parsing
EPIC: Generative AI Platform for Accelerating HPC Operational Data Analytics
arxiv.org·9h
📋Souffle Datalog
Mastering Python Sets: A Definitive Guide with Examples & Use Cases
dev.to·1d·
Discuss: DEV
🎭Racket
Findings of the Fourth Shared Task on Multilingual Coreference Resolution: Can LLMs Dethrone Traditional Approaches?
arxiv.org·9h
🌉Language Bridges
Saga pattern with PHP: Masterful Coordination of Distributed Transactions in Microservices
dev.to·2h·
Discuss: DEV
🔀Control Structures
Differential Privacy for Euclidean Jordan Algebra with Applications to Private Symmetric Cone Programming
arxiv.org·9h
🧩Constraint Solvers
r/AI_Central
reddit.com·7h·
Discuss: r/AI_Central
🧠Memory Models
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
arxiv.org·9h
📈Monotonic Logic
The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
arxiv.org·9h
📏Linear Memory
Enhanced Acoustic Anomaly Detection for Underwater Mine Countermeasures via Multi-Modal Fusion & Bayesian Filtering
dev.to·22h·
Discuss: DEV
📊Log Parsers
LLMsPark: A Benchmark for Evaluating Large Language Models in Strategic Gaming Contexts
arxiv.org·9h
🤖Abstract Machines
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·3d
📋S-Expression