🐪 OCaml GADTs

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

Revisiting old style Windows Log Schema Mapping
rainer.gerhards.net·8h
📊Log Parsers
Let's look at the structure of Vec<T>
marma.dev·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Rust Borrowing
Github Repository for Top LLM Datasets
analyticsvidhya.com·2d
🔍ML Language
LLaVul: A Multimodal LLM for Interpretable Vulnerability Reasoning about Source Code
arxiv.org·12h
⚙️TOML Parsers
GaussianPSL: A novel framework based on Gaussian Splatting for exploring the Pareto frontier in multi-criteria optimization
arxiv.org·12h
⚡Partial Evaluation
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
arxiv.org·12h
🎲Property Testing
SlowFast-SCI: Slow-Fast Deep Unfolding Learning for Spectral Compressive Imaging
arxiv.org·12h
🎯Bit Vectors
MoPE: A Mixture of Password Experts for Improving Password Guessing
arxiv.org·12h
🔗Hash Functions
Interpreting vision transformers via residual replacement model
arxiv.org·12h
🗺️Region Inference
Why ETL Becomes ELT or Even LET?
dev.to·13h·
Discuss: DEV
📋Souffle Datalog
Global and local topological crystalline markers for rotation-symmetric insulators
journals.aps.org·4h
∫Mathematical DSLs
New C++ Conference Videos Released This Month - September 2025 (Updated To Include Videos Released 2025-09-15 - 2025-09-21)
reddit.com·1d·
Discuss: r/cpp
🎓Teaching Compilers
Speeding Up NestJS Tests with DB Transactions
medium.com·23h·
Discuss: Hacker News
🧪Compiler Testing
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·6h·
Discuss: DEV
🌲Tree-sitter
Breaking Token Into Concepts: Exploring Extreme Compression in Token Representation Via Compositional Shared Semantics
arxiv.org·12h
🧩Monadic Parsing
EPIC: Generative AI Platform for Accelerating HPC Operational Data Analytics
arxiv.org·12h
📋Souffle Datalog
Findings of the Fourth Shared Task on Multilingual Coreference Resolution: Can LLMs Dethrone Traditional Approaches?
arxiv.org·12h
🌉Language Bridges
Differential Privacy for Euclidean Jordan Algebra with Applications to Private Symmetric Cone Programming
arxiv.org·12h
🧩Constraint Solvers
Mastering Python Sets: A Definitive Guide with Examples & Use Cases
dev.to·1d·
Discuss: DEV
🎭Racket