🐫 OCaml

Type Inference, Pattern Matching, Modules, Compiler Design

Reproachfully Presenting Resilient Recursive Descent Parsing
thunderseethe.dev·14h·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔧Functional Programming
Flag this post
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
arxiv.org·9h
🔧Functional Programming
Flag this post
Mastering llama.cpp: A Comprehensive Guide to Local LLM Integration
danielkliewer.com·3h·
Discuss: r/LocalLLaMA
🔧Functional Programming
Flag this post
Template Interpreters
zackoverflow.dev·14h·
Discuss: Lobsters, Hacker News
🔧Functional Programming
Flag this post
Foundations for Hacking on OCaml
kcsrk.info·2d·
Discuss: Hacker News, Hacker News
🔧Functional Programming
Flag this post
How I use an LLM to write and execute TypeScript "just-in-time" in my app
pscanf.com·7h·
Discuss: r/typescript
🔧Functional Programming
Flag this post
Code legacy: Analyzing Erlang's C and C++ modules that have been running for decades
dev.to·6h·
Discuss: DEV
🔧Functional Programming
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·2d·
Discuss: Hacker News
🔧Functional Programming
Flag this post
What's New in F# 10
learn.microsoft.com·18h·
Discuss: Hacker News
🔧Functional Programming
Flag this post
A catalog of side effects
bernsteinbear.com·1d·
Discuss: Lobsters, Hacker News
🔧Functional Programming
Flag this post
Emmy, the Algebra System: Classical Mechanics Prologue
clojurecivitas.github.io·14h
🔧Functional Programming
Flag this post
Welcome to DataHaskell
datahaskell.org·15h·
Discuss: Hacker News
🔧Functional Programming
Flag this post
Why The Art of Readable Code Boosts Your English
oreilly.com·15h·
Discuss: DEV
🔧Functional Programming
Flag this post
Andrej Karpathy on LLM cognitive deficits
lesswrong.com·1d
🤖LLM
Flag this post
Implementing E Unification using SMT
philipzucker.com·2d
🔧Functional Programming
Flag this post
Building an ML Language from Scratch: Introducing Charl
dev.to·2d·
Discuss: DEV
🔧Functional Programming
Flag this post
Introduction: Truthmaker Semantics: What, What For, and How?
link.springer.com·9h·
Discuss: Hacker News
🔧Functional Programming
Flag this post
The integers have TWO KINDS of multiplications (OR MORE??)
youtube.com·10h
🔧Functional Programming
Flag this post
Instant Parameter Selection for Modular Systems (b, p, t, r)
news.ycombinator.com·18h·
Discuss: Hacker News
🔧Functional Programming
Flag this post
C# 14 Language Features in ReSharper and Rider 2025.3
blog.jetbrains.com·22h·
Discuss: Hacker News
🔧Functional Programming
Flag this post