🐪 OCaml GADTs

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

How to choose the right embedding model for your RAG application? | by Vivedha Elango | Sep, 2025 | Level Up Coding
levelup.gitconnected.com·3h
🎨Domain-Specific Languages
Swift for C++ Practitioners: Flexible Array Members
douggregor.net·7h·
Discuss: Hacker News
🏷️Memory Tagging
PowderBot: An automated device for decision-making in crop breeding programs based on DNA extraction from seed powder
sciencedirect.com·1h
✨Effect Inference
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·1d·
Discuss: Substack, r/cpp
🏷️Memory Tagging
Let's look at the structure of Vec<T>
marma.dev·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Rust Borrowing
Local Surface Parameterizations via Smoothed Geodesic Splines
arxiv.org·10h
⚡Partial Evaluation
PCSR: Pseudo-label Consistency-Guided Sample Refinement for Noisy Correspondence Learning
arxiv.org·1d
🗺️Region Polymorphism
Pico: A Modular Framework for Hypothesis-Driven Small Language Model Research
arxiv.org·10h
🌱Tiny Languages
Automated Facility Enumeration for Building Compliance Checking using Door Detection and Large Language Models
arxiv.org·10h
🏗️MLIR
Explainable Gait Abnormality Detection Using Dual-Dataset CNN-LSTM Models
arxiv.org·10h
📈Earley Parsing
BeepBank-500: A Synthetic Earcon Mini-Corpus for UI Sound Research and Psychoacoustics Research
arxiv.org·10h
🌱Minimal ML
Learning Attribute-Aware Hash Codes for Fine-Grained Image Retrieval via Query Optimization
arxiv.org·10h
🌸Bloom Indexing
LLaVul: A Multimodal LLM for Interpretable Vulnerability Reasoning about Source Code
arxiv.org·10h
⚙️TOML Parsers
GaussianPSL: A novel framework based on Gaussian Splatting for exploring the Pareto frontier in multi-criteria optimization
arxiv.org·10h
⚡Partial Evaluation
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
arxiv.org·10h
🎲Property Testing
SlowFast-SCI: Slow-Fast Deep Unfolding Learning for Spectral Compressive Imaging
arxiv.org·10h
🎯Bit Vectors
MoPE: A Mixture of Password Experts for Improving Password Guessing
arxiv.org·10h
🔗Hash Functions
Interpreting vision transformers via residual replacement model
arxiv.org·10h
🗺️Region Inference
Why ETL Becomes ELT or Even LET?
dev.to·11h·
Discuss: DEV
📋Souffle Datalog
Global and local topological crystalline markers for rotation-symmetric insulators
journals.aps.org·2h
∫Mathematical DSLs