🐪 OCaml GADTs

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

I finally solved player recognition
threadreaderapp.com·17h
🔍Fuzzy Matching
CWM: An Open-Weights LLM for Research on Code Generation with World Models
ai.meta.com·11h·
Discuss: Hacker News, Hacker News
🪜Recursive Descent
Detecting AI Fakes with Compression Artifacts
dmanco.dev·1d·
Discuss: Hacker News
✨Effect Inference
Assume-guarantee contract algebras are dp-algebras
arxiv.org·2d
∫Mathematical DSLs
PVS-Studio team invites you to share examples of errors related to vibe coding
pvs-studio.com·1d·
Discuss: Hacker News
🎭Program Synthesis
GaussianPSL: A novel framework based on Gaussian Splatting for exploring the Pareto frontier in multi-criteria optimization
arxiv.org·2d
⚡Partial Evaluation
Coherent Structure Interactions in Spatially Extended Systems Driven by Excited Hidden Modes
journals.aps.org·1d
📡Async Channels
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·5d
📋S-Expression
Pathways of Thoughts: Multi-Directional Thinking for Long-form Personalized Question Answering
arxiv.org·1d
🪜Recursive Descent
Pico: A Modular Framework for Hypothesis-Driven Small Language Model Research
arxiv.org·2d
🌱Tiny Languages
Building a Type-Safe Rich Text Editor in Next.js (with Lexical & Lexkit)
dev.to·1d·
Discuss: DEV
🔄Incremental Lexing
Saga pattern with PHP: Masterful Coordination of Distributed Transactions in Microservices
dev.to·1d·
Discuss: DEV
🔀Control Structures
Benchmarking Vision-Language and Multimodal Large Language Models in Zero-shot and Few-shot Scenarios: A study on Christian Iconography
arxiv.org·1d
🌱Minimal ML
PolypSeg-GradCAM: Towards Explainable Computer-Aided Gastrointestinal Disease Detection Using U-Net Based Segmentation and Grad-CAM Visualization on the Kvasir ...
arxiv.org·1d
🗺️Region Inference
Computationally-Sound Symbolic Cryptography in Lean
eprint.iacr.org·6d
∫Symbolic Math
Automated Acoustic Biomarker Analysis for Early Psychosis Detection via Multimodal Fusion
dev.to·1d·
Discuss: DEV
✨Effect Inference
LLMsPark: A Benchmark for Evaluating Large Language Models in Strategic Gaming Contexts
arxiv.org·2d
🤖Abstract Machines
DS-Diffusion: Data Style-Guided Diffusion Model for Time-Series Generation
arxiv.org·1d
🔍ML Language
Phase Diagram of Extensive-Rank Symmetric Matrix Denoising beyond Rotational Invariance
journals.aps.org·1d
🧮Linear Algebra
Spiffy: Multiplying Diffusion LLM Acceleration via Lossless Speculative Decoding
arxiv.org·2d
🗺️Region Inference