🐪 OCaml GADTs

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

Smith Shorthand
smith-shorthand.com·19h·
Discuss: Hacker News
🌈Gradual Languages
On “Everything In Emacs”
irreal.org·2d
📝Rope Editors
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·3d·
Discuss: Hacker News
🎲Parser Fuzzing
Kadane's Algorithm
dev.to·15h·
Discuss: DEV
🔤String Algorithms
The Point Is Addressing
cacm.acm.org·3d·
Discuss: Hacker News
💾Persistent Heaps
🚀 Converting XML to Structs in Uniface 10.4: The xmlToStruct Statement Explained
dev.to·1d·
Discuss: DEV
🔢Binary Formats
I Built a Compiler in Five Days with Claude AI
indiehackers.com·4d·
Discuss: Hacker News
🎭Program Synthesis
A global view of diverse construction methods of fuzzy implication functions rooted on F-chains
arxiv.org·4d
∀Quantified Types
I built my first iOS app with Claude Code (design is mine) in my free time 🎉
reddit.com·5h·
Discuss: r/ClaudeAI
💬Error Message Design
Day 1: Starting of MERN stack journey from the prerequisites (HTML)
dev.to·1d·
Discuss: DEV
📚Stack Languages
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·4d
🧩SAT Solvers
From AI-Generated to Production-Ready Code: WebStorm Refactorings for the Modern Workflow
blog.jetbrains.com·3d
🚚Code Migration
Question About Redundant Signal Connecting
reddit.com·1d·
Discuss: r/godot
🎭Delimited Continuations
How AI Helped a Developer Master SQL Server Performance Optimization Without DBA Training
dev.to·21h·
Discuss: DEV
📈Query Optimization
SeHDR: Single-Exposure HDR Novel View Synthesis via 3D Gaussian Bracketing
arxiv.org·1d
🔍Lens Libraries
LangGraph Beginner to Advance: Part 2: Hello World Graph in LangGraph
pub.towardsai.net·14h
🌱Minimal Interpreters
OpenAI, wtf? Come on. This is slimy and you know it.
reddit.com·5h·
Discuss: r/ChatGPT
🏰Capability Machines
Differential-Integral Neural Operator for Long-Term Turbulence Forecasting
arxiv.org·1d
🔍ML Language
LeetCode AI Assistant: A Smarter Way to Prepare for Coding Interviews
dev.to·18h·
Discuss: DEV
💬Interactive REPLs
🚀 NOVA CLI: The Terminal Interface That's Redefining Computing in 2025
dev.to·19h·
Discuss: DEV
💻Terminal UIs