🐪 OCaml GADTs

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

Ray Marching a Blob in 3D
4rknova.com·4h·
Discuss: Hacker News
🔍Lens Libraries
Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms
Lets Be Real: Its Time to Ditch `any` for `unknown` in TypeScript
dev.to·13h·
Discuss: DEV
🔧API Design
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·3h·
Discuss: DEV
🔗Concurrency Primitives
What Is a Weak Pointer in Rust (and Why It Matters)?
dev.to·16h·
Discuss: DEV
🔗Weak References
The state of bitcoinfuzz - bruno
delvingbitcoin.org·1h
🎲Parser Fuzzing
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·6d
🔧Scheme Macros
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Type Inference Visualization
PCSR: Pseudo-label Consistency-Guided Sample Refinement for Noisy Correspondence Learning
arxiv.org·21h
🗺️Region Polymorphism
New C++ Conference Videos Released This Month - September 2025 (Updated To Include Videos Released 2025-09-15 - 2025-09-21)
reddit.com·9h·
Discuss: r/cpp
🎓Teaching Compilers
Building a Row Echelon Form Checker in Python and Go with Tests
dev.to·7h·
Discuss: DEV
🔢Algebraic Datatypes
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·1d·
Discuss: Lobsters, Hacker News
🧪Testing Compilers
ECMAScript 2025 Language Specification
262.ecma-international.org·3d·
Discuss: Hacker News
🌈Gradual Languages
Build a Web Research Agent with Strands Agents, Ollama, Qwen3, and the Tavily MCP Server
garystafford.medium.com·17h·
Discuss: r/programming
🌐Network Protocols
Automated Semantic Drift Mitigation in Real-time ETL Pipelines via Graph-Augmented Anomaly Detection
dev.to·4h·
Discuss: DEV
✨Effect Inference
Sum of Natural Numbers - A First Step into Algorithms in Go
dev.to·10h·
Discuss: DEV
🔢Algebraic Datatypes
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.org·2d
📋S-Expression
The Syndrome-Space Lens: A Complete Resolution of Proximity Gaps for Reed-Solomon Codes
eprint.iacr.org·2d
🎯Ring Buffers
From Data to Diagnosis: A Large, Comprehensive Bone Marrow Dataset and AI Methods for Childhood Leukemia Prediction
arxiv.org·21h
✨Effect Inference
Guard Your Rust Code with Tests
dev.to·1d·
Discuss: DEV
🎲Test Generators