🐪 OCaml

Pattern Matching, Module System, Type Inference, Functional Compilation

GaloisInc/parameterized-utils
github.com·11h
📏Linear Haskell
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·1d
🎭Staged Interpreters
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·4h·
Discuss: Hacker News
📚Forth
The Chip That Spoke Lisp
jxself.org·1d
🖥️Lisp Machines
[Book Review] Build a Large Language Model (From Scratch) by Sebastian Raschka
dev.to·12h·
Discuss: DEV
🌱Minimal ML
TypeScript Flaws (2024)
intercaetera.com·1d·
Discuss: Hacker News
📋Template Compilers
The Mondrian introduction to functional optics
marcosh.github.io·1d·
Discuss: Lobsters, Hacker News
🔍Lens Libraries
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1h·
Discuss: Hacker News
✅Type Checking
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·48m
🦀MIR Optimization
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·12h·
Discuss: Hacker News, r/neovim
🪄Syntax Macros
Forward declaring a type in C++: The good, and the bad
andreasfertig.com·1d
🧸Toy Compilers
11 Best Rust Courses Worth Taking in 2026
educative.io·8h·
Discuss: DEV
🚂Cranelift IR
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·1d
⚡functional programming
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·2d
🔒Rust Borrowing
The Programmer Identity Crisis
hojberg.xyz·1h·
Discuss: Lobsters, Hacker News
🎮Language Ergonomics
Building a BPE Tokenizer from scratch - optimizations & experiments
reddit.com·1h·
Discuss: r/LocalLLaMA
🎓Teaching Compilers
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·1d
🔢Algebraic Datatypes
Toy Binary Decision Diagrams
philipzucker.com·2d
✅Type Checking
We Bet on Rust to Supercharge Feature Store at Agoda
medium.com·2h·
Discuss: Hacker News, r/rust
🚂Cranelift Backend
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·1d·
Discuss: DEV
📦Monorepos