🐪 OCaml GADTs

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

Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·20h
📈Monotonic Logic
A scalable, elastic database and search solution for 1B+ vectors built on LanceDB and Amazon S3
aws.amazon.com·17h
📋JSON Parsing
Cactus Language • Mechanics 2
inquiryintoinquiry.com·18h
📋Backus-Naur Form
Github Repository for Top LLM Datasets
analyticsvidhya.com·1d
🔍ML Language
Sneaky Code Bites Back
architecture-weekly.com·22h·
Discuss: r/programming
📡Protocol Buffers
GaussianPSL: A novel framework based on Gaussian Splatting for exploring the Pareto frontier in multi-criteria optimization
arxiv.org·6h
⚡Partial Evaluation
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
arxiv.org·6h
🎲Property Testing
Comparing RAG and GraphRAG for Page-Level Retrieval Question Answering on Math Textbook
arxiv.org·6h
📊Parse Tables
SlowFast-SCI: Slow-Fast Deep Unfolding Learning for Spectral Compressive Imaging
arxiv.org·6h
🎯Bit Vectors
MoPE: A Mixture of Password Experts for Improving Password Guessing
arxiv.org·6h
🔗Hash Functions
Interpreting vision transformers via residual replacement model
arxiv.org·6h
🗺️Region Inference
Why ETL Becomes ELT or Even LET?
dev.to·7h·
Discuss: DEV
📋Souffle Datalog
What Is a Weak Pointer in Rust (and Why It Matters)?
dev.to·1d·
Discuss: DEV
🔗Weak References
Preptember 2025 week 3: Color schemes and Copilot improvements in GitFichas
dev.to·43m·
Discuss: DEV
🌲Tree-sitter
Breaking Token Into Concepts: Exploring Extreme Compression in Token Representation Via Compositional Shared Semantics
arxiv.org·6h
🧩Monadic Parsing
EPIC: Generative AI Platform for Accelerating HPC Operational Data Analytics
arxiv.org·6h
📋Souffle Datalog
Findings of the Fourth Shared Task on Multilingual Coreference Resolution: Can LLMs Dethrone Traditional Approaches?
arxiv.org·6h
🌉Language Bridges
Differential Privacy for Euclidean Jordan Algebra with Applications to Private Symmetric Cone Programming
arxiv.org·6h
🧩Constraint Solvers
Mastering Python Sets: A Definitive Guide with Examples & Use Cases
dev.to·1d·
Discuss: DEV
🎭Racket
Saga pattern with PHP: Masterful Coordination of Distributed Transactions in Microservices
dev.to·19m·
Discuss: DEV
🔀Control Structures