🐪 OCaml GADTs

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

Edge Cases in DNSSEC Validation with Multiple Algorithms
labs.ripe.net·1d
✅Configuration Validation
Coronation Cauliflower and Chickpeas
cooking.nytimes.com·10h
🔄Bootstrapping
Genode OS Framework
genode.org·10h·
Discuss: Hacker News
🌱Forth Kernels
Flow: A Pragmatic Approach to Composable Business Logic in C#
bahmanm.com·2d·
Discuss: Hacker News
🪞Metaprogramming
VS Code + Claude Code on DigitalOcean GPU Droplets
digitalocean.com·1d
⚡Live Coding
JavaScript Gets Supply Chain Security With Chainguard Libraries
thenewstack.io·1d
🚂Cranelift IR
Postgres 18: OLD and NEW Rows in the RETURNING Clause
crunchydata.com·1d·
Discuss: Hacker News, r/programming
📮Persistent Queues
The Point Is Addressing
cacm.acm.org·3d·
Discuss: Hacker News
💾Persistent Heaps
Conversation with Claude on Reasoning
blog.yellowflash.in·3d·
Discuss: Hacker News, r/LLM
🔄Subinterpreters
I made an ELF32 static linker
github.com·8h·
Discuss: r/C_Programming
🌱Tiny Languages
IDfRA: Self-Verification for Iterative Design in Robotic Assembly
arxiv.org·3d
🎭Program Synthesis
SpacetimeDB now supports React hooks for real-time sync
github.com·20h·
Discuss: r/reactjs
🐛Interactive Debuggers
Binding in Gin: Pluggability, Validation, and What the Diagram Really Shows
dev.to·1d·
Discuss: DEV
🔧API Design
CLUE: Conflict-guided Localization for LLM Unlearning Framework
arxiv.org·15h
🔍ML Language
Question About Redundant Signal Connecting
reddit.com·1d·
Discuss: r/godot
🎭Delimited Continuations
SeHDR: Single-Exposure HDR Novel View Synthesis via 3D Gaussian Bracketing
arxiv.org·15h
🔍Lens Libraries
Differential-Integral Neural Operator for Long-Term Turbulence Forecasting
arxiv.org·15h
🔍ML Language
Common React Anti-Patterns and How to Fix Them
dev.to·19h·
Discuss: DEV
🔧API Design
Continuous Integration for Intelligence: Beyond CI/CD
dev.to·13h·
Discuss: DEV
🎭Program Synthesis
Attention Consistency for LLMs Explanation
arxiv.org·3d
🔄Subinterpreters