🐪 OCaml GADTs

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

The Database Zoo: Inside Time-Series Engines (InfluxDB, Prometheus, Timescale)
hackernoon.com·1d
🗄️Database Engines
From Batch to Insights: How to Automate Data Validation Workflows
onboardingbuddy.co·1h·
Discuss: r/programming
🛡️Error Ergonomics
Altoids by the Fistful
scottsmitelli.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative
Show HN: Lessie AI – Your People Search AI Agent
lessie.ai·1d·
Discuss: Hacker News
🌸Bloom Indexing
SlowFast-SCI: Slow-Fast Deep Unfolding Learning for Spectral Compressive Imaging
arxiv.org·1d
🎯Bit Vectors
Local Surface Parameterizations via Smoothed Geodesic Splines
arxiv.org·1d
⚡Partial Evaluation
DS-Diffusion: Data Style-Guided Diffusion Model for Time-Series Generation
arxiv.org·5h
🔍ML Language
FRAUDGUESS: Spotting and Explaining New Types of Fraud in Million-Scale Financial Data
arxiv.org·2d
🌸Bloom Filters
Accurate Thyroid Cancer Classification using a Novel Binary Pattern Driven Local Discrete Cosine Transform Descriptor
arxiv.org·1d
📐Succinct Data Structures
Predictive Atmospheric Dispersion Modeling via Hybrid Gaussian Process-LSTM Networks for Enhanced Air Quality Management
dev.to·59m·
Discuss: DEV
📋JSON Parsing
Systematic Comparative Analysis of Large Pretrained Language Models on Contextualized Medication Event Extraction
arxiv.org·5h
⚖️Weighted Automata
Automated Acoustic Biomarker Analysis for Early Psychosis Detection via Multimodal Fusion
dev.to·2h·
Discuss: DEV
✨Effect Inference
LLMsPark: A Benchmark for Evaluating Large Language Models in Strategic Gaming Contexts
arxiv.org·1d
🤖Abstract Machines
Guard Your Rust Code with Tests
dev.to·2d·
Discuss: DEV
🎲Test Generators
WolBanking77: Wolof Banking Speech Intent Classification Dataset
arxiv.org·5h
📊LR Parsing
Weakly Supervised Food Image Segmentation using Vision Transformers and Segment Anything Model
arxiv.org·5h
✨Effect Inference
Phase Diagram of Extensive-Rank Symmetric Matrix Denoising beyond Rotational Invariance
journals.aps.org·20h
🧮Linear Algebra
SmartWilds: Multimodal Wildlife Monitoring Dataset
arxiv.org·5h
📐Succinct Data Structures
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·5d
∫Symbolic Math
Findings of the Fourth Shared Task on Multilingual Coreference Resolution: Can LLMs Dethrone Traditional Approaches?
arxiv.org·1d
🌉Language Bridges