🐪 OCaml GADTs

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

original ↗
protesilaos.com·1d
✨Code Formatters
AI-powered OP-tools, anyone has done it?
news.ycombinator.com·2h·
Discuss: Hacker News
🎭Program Synthesis
I made an ELF32 static linker
github.com·6h·
Discuss: r/C_Programming
🌱Tiny Languages
IDfRA: Self-Verification for Iterative Design in Robotic Assembly
arxiv.org·3d
🎭Program Synthesis
Breaking the Barrier for Asynchronous MPC with a Friend
eprint.iacr.org·3d
📡Async Channels
How to Make Coding Fun in JavaScript (Almost Like in Clojure)
dev.to·3d·
Discuss: DEV
💬Interactive REPLs
CLIP Can Understand Depth
arxiv.org·1d
🔍Lens Libraries
Open Source Stem Knowledge Base
github.com·22h·
Discuss: Hacker News
📚Self-Documenting Code
SeHDR: Single-Exposure HDR Novel View Synthesis via 3D Gaussian Bracketing
arxiv.org·13h
🔍Lens Libraries
Differential-Integral Neural Operator for Long-Term Turbulence Forecasting
arxiv.org·13h
🔍ML Language
Common React Anti-Patterns and How to Fix Them
dev.to·17h·
Discuss: DEV
🔧API Design
Attention Consistency for LLMs Explanation
arxiv.org·3d
🔄Subinterpreters
🚀 NOVA CLI: The Terminal Interface That's Redefining Computing in 2025
dev.to·2h·
Discuss: DEV
💻Terminal UIs
Using iTerm2's new AI Chat features with Azure OpenAI
dev.to·6h·
Discuss: DEV
🛡️Capability VMs
Structuring Collective Action with LLM-Guided Evolution: From Ill-Structured Problems to Executable Heuristics
arxiv.org·13h
🎭Erlang OTP
Advancing Few-Shot Pediatric Arrhythmia Classification with a Novel Contrastive Loss and Multimodal Learning
arxiv.org·1d
🌱Minimal ML
Agentic Reasoning for Robust Vision Systems via Increased Test-Time Compute
arxiv.org·3d
🗺️Region Inference
Tua Tagovailoa on Cam Newton's criticism: 'I want to see anybody on the streets come play QB'
nytimes.com·27m
📈Earley Parsing
I'm Going a Build Spree !
dev.to·5h·
Discuss: DEV
📦Dependency Analysis
Box of bugs (emulated)
dev.to·1d·
Discuss: DEV
💪ARM64 Backend