🐪 OCaml GADTs

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

Revisiting old style Windows Log Schema Mapping
rainer.gerhards.net·10h
📊Log Parsers
PowderBot: An automated device for decision-making in crop breeding programs based on DNA extraction from seed powder
sciencedirect.com·5h
✨Effect Inference
How to choose the right embedding model for your RAG application? | by Vivedha Elango | Sep, 2025 | Level Up Coding
levelup.gitconnected.com·8h
🎨Domain-Specific Languages
Let's look at the structure of Vec<T>
marma.dev·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔒Rust Borrowing
Nest js Learning
dev.to·34m·
Discuss: DEV
🌈Gradual Languages
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·1d·
Discuss: Hacker News
🧪Compiler Testing
Generative AI Myths, Busted: An Engineers’s Quick Guide
towardsdatascience.com·40m
🎭Program Synthesis
Preptember 2025 week 3: Color schemes and Copilot improvements in GitFichas
dev.to·8h·
Discuss: DEV
🌲Tree-sitter
Breaking Token Into Concepts: Exploring Extreme Compression in Token Representation Via Compositional Shared Semantics
arxiv.org·14h
🧩Monadic Parsing
EPIC: Generative AI Platform for Accelerating HPC Operational Data Analytics
arxiv.org·14h
📋Souffle Datalog
Findings of the Fourth Shared Task on Multilingual Coreference Resolution: Can LLMs Dethrone Traditional Approaches?
arxiv.org·14h
🌉Language Bridges
I'm building a Unreal Engine-style blueprint editor for Javascript in Rust
reddit.com·49m·
Discuss: r/rust
🌪️V8 Pipeline
Differential Privacy for Euclidean Jordan Algebra with Applications to Private Symmetric Cone Programming
arxiv.org·14h
🧩Constraint Solvers
Mastering Python Sets: A Definitive Guide with Examples & Use Cases
dev.to·1d·
Discuss: DEV
🎭Racket
What Is a Weak Pointer in Rust (and Why It Matters)?
dev.to·1d·
Discuss: DEV
🔗Weak References
Saga pattern with PHP: Masterful Coordination of Distributed Transactions in Microservices
dev.to·8h·
Discuss: DEV
🔀Control Structures
The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
arxiv.org·14h
📏Linear Memory
The Proof-Theoretic Origin of Double Negation Introduction & Elimination
arxiv.org·14h
📈Monotonic Logic
LLMsPark: A Benchmark for Evaluating Large Language Models in Strategic Gaming Contexts
arxiv.org·14h
🤖Abstract Machines