🐪 OCaml GADTs

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

Swift for C++ Practitioners: Flexible Array Members
douggregor.net·1h·
Discuss: Hacker News
🏷️Memory Tagging
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·1d·
Discuss: Substack, r/cpp
🏷️Memory Tagging
Speeding Up NestJS Tests with DB Transactions
medium.com·15h·
Discuss: Hacker News
🧪Compiler Testing
Github Repository for Top LLM Datasets
analyticsvidhya.com·1d
🔍ML Language
Let's look at the structure of Vec<T>
marma.dev·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Rust Borrowing
Randomized matrix computations: Themes and variations
arxiv.org·4h
🧮Linear Algebra
Building a Row Echelon Form Checker in Python and Go with Tests
dev.to·14h·
Discuss: DEV
🔢Algebraic Datatypes
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
arxiv.org·4h
📚Self-Documenting Code
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·11h·
Discuss: DEV
🔗Concurrency Primitives
Local Surface Parameterizations via Smoothed Geodesic Splines
arxiv.org·4h
⚡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·4h
🌱Tiny Languages
Automated Facility Enumeration for Building Compliance Checking using Door Detection and Large Language Models
arxiv.org·4h
🏗️MLIR
Explainable Gait Abnormality Detection Using Dual-Dataset CNN-LSTM Models
arxiv.org·4h
📈Earley Parsing
BeepBank-500: A Synthetic Earcon Mini-Corpus for UI Sound Research and Psychoacoustics Research
arxiv.org·4h
🌱Minimal ML
Learning Attribute-Aware Hash Codes for Fine-Grained Image Retrieval via Query Optimization
arxiv.org·4h
🌸Bloom Indexing
LLaVul: A Multimodal LLM for Interpretable Vulnerability Reasoning about Source Code
arxiv.org·4h
⚙️TOML Parsers
GaussianPSL: A novel framework based on Gaussian Splatting for exploring the Pareto frontier in multi-criteria optimization
arxiv.org·4h
⚡Partial Evaluation
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
arxiv.org·4h
🎲Property Testing
SlowFast-SCI: Slow-Fast Deep Unfolding Learning for Spectral Compressive Imaging
arxiv.org·4h
🎯Bit Vectors