🐫 OCaml

Type Inference, Pattern Matching, Modules, Compiler Design

Pushing Past the First Error During Type Inference
thunderseethe.dev·1d
🔧Functional Programming
Flag this post
Foundations for Hacking on OCaml
kcsrk.info·1d·
Discuss: Hacker News, Hacker News
🔧Functional Programming
Flag this post
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.org·11h
🔧Functional Programming
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·1d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Building an ML Language from Scratch: Introducing Charl
dev.to·1d·
Discuss: DEV
🔧Functional Programming
Flag this post
Andrej Karpathy on LLM cognitive deficits
lesswrong.com·19h
🤖LLM
Flag this post
Implementing E Unification using SMT
philipzucker.com·1d
🔧Functional Programming
Flag this post
C# 14 Language Features in ReSharper and Rider 2025.3
blog.jetbrains.com·32m·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Tableplot Tutorial: Customizing Plots with Parameter Substitution
clojurecivitas.github.io·16h
🔧Functional Programming
Flag this post
Understanding C++ Module Units
abuehl.github.io·20h·
Discuss: r/cpp
🔧Functional Programming
Flag this post
Builder Design Pattern and Cyclomatic Complexity Reduction
johnjr.dev·1d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
New comment by timhh in "Why I love OCaml (2023)"
news.ycombinator.com·3d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Rust-SFSM 1.0.0
reddit.com·2d·
Discuss: r/rust
🔧Functional Programming
Flag this post
A Monad Guide for Beginners
dev.to·2d·
Discuss: DEV
🔧Functional Programming
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Reasoning Up the Instruction Ladder for Controllable Language Models
arxiv.org·1d
🤖AI Agent
Flag this post
Show HN: MockK Under the Cover
medium.com·52m·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Swift Concurrency Training Kata
blog.jacobstechtavern.com·42m
🔧Functional Programming
Flag this post
Xqerl – Erlang XQuery 3.1 Processor
zadean.github.io·6h·
Discuss: Hacker News
🔧Functional Programming
Flag this post
PSA: Trivial Relocatability has been removed from C++26
herbsutter.com·17h·
Discuss: Lobsters, Hacker News, r/cpp
🔧Functional Programming
Flag this post