🐪 OCaml

Pattern Matching, Module System, Type Inference, Functional Compilation

Feeds to Scour
SubscribedAll
Scoured 77865 posts in 848.4 ms
Unification of Deterministic Higher-Order Patterns
arxiv.org·1d
🔗Unification Algorithms
Preview
Report Post
In Praise of APL (1977)
jsoftware.com·52m·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
Making a Language
thunderseethe.dev·11h
🔬programming language theory
Preview
Report Post
GNU C Language Manual
gnu.org·14h
🪄C Metaprogramming
Preview
Report Post
Scheme implementation as O’Reilly book via Claude Code
ezzeriesa.notion.site·1d·
Discuss: Hacker News
🔧Scheme Macros
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·21h·
Discuss: Hacker News
λLambda Calculus
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·17h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Introducing Names: practical namespaces for Emacs-Lisp
endlessparentheses.com·20h
🔧Scheme Macros
Preview
Report Post
Building a mini PyTorch in C++ from scratch as a high school student...
dev.to·20h·
Discuss: DEV
🔬Nanopasses
Preview
Report Post
Alexis King’s Blog
lexi-lambda.github.io·2d
🗂️Type Indexing
Preview
Report Post
Linking Zig from Haskell
agentultra.com·1d
⚙️Zig Comptime
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
TypeScript levels up with type stripping
infoworld.com·37m
🌈Gradual Languages
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·17h·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation
arxiv.org·4h
📊Graph Compilers
Preview
Report Post
Get To Grips With Transformers And LLMs
i-programmer.info·1d·
Discuss: Hacker News, r/programming
🔍ML Language
Preview
Report Post
Models of generics and metaprogramming: Golang, Rust, Swift, D, and more
thume.ca·2d·
Discuss: Hacker News
🗂️Type Indexing
Preview
Report Post
C++ Is An Absolute Blast
learncodethehardway.com·5h
🪄C Metaprogramming
Preview
Report Post
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·21h
🏗️Cranelift
Preview
Report Post
Type-Safe Routing Without the Build Step
werkbank.dev·15h·
Discuss: Hacker News
⚙️TOML Parsers
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help