🐫 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·21h·
Discuss: Hacker News, Hacker News
🔧Functional Programming
Flag this post
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
arxiv.org·3h
🔧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·18h·
Discuss: DEV
🔧Functional Programming
Flag this post
Andrej Karpathy on LLM cognitive deficits
lesswrong.com·11h
🤖LLM
Flag this post
Implementing E Unification using SMT
philipzucker.com·1d
🔧Functional Programming
Flag this post
Builder Design Pattern and Cyclomatic Complexity Reduction
johnjr.dev·16h·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Understanding C++ Module Units
abuehl.github.io·12h·
Discuss: r/cpp
🔧Functional Programming
Flag this post
Tableplot Tutorial: Customizing Plots with Parameter Substitution
clojurecivitas.github.io·8h
🔧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
PSA: Trivial Relocatability has been removed from C++26
herbsutter.com·9h·
Discuss: Lobsters, Hacker News, r/cpp
🔧Functional Programming
Flag this post
Just call clone (or alias)
smallcultfollowing.com·13h·
Discuss: Hacker News, r/rust
🔧Functional Programming
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·1d
🔧Functional Programming
Flag this post
The future of using different languages with godot?
github.com·2h·
Discuss: r/godot
🤖AI Agent
Flag this post
Parsing an HTTP Request
mmhaskell.com·23h·
Discuss: Hacker News
🔧Functional Programming
Flag this post