🐪 OCaml

Pattern Matching, Module System, Type Inference, Functional Compilation

From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·2d·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
Linkage
11011110.github.io·1d
🪢Rope Data Structures
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·11h·
Discuss: Substack
⚡Tokenizer Optimization
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·3d·
Discuss: r/javascript, r/programming
λLambda Calculus
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·1d·
Discuss: Hacker News
✨Gleam
Flag this post
What are you doing this weekend?
lobste.rs·1d·
Discuss: Lobsters
💬Interactive REPLs
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·10h·
Discuss: Lobsters, Hacker News
🔧Error Recovery
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·2d·
Discuss: Lobsters, Hacker News
🌐WASM Runtimes
Flag this post
Speedrunning an RL Environment
sidb.in·23h·
Discuss: Hacker News
✨Gleam
Flag this post
What we didn't get in C++
pvs-studio.com·3d·
Discuss: r/cpp
🏷️Symbol Mangling
Flag this post
Our newest model: Chandra (OCR)
datalab.to·52m·
Discuss: Hacker News
💬Smalltalk VMs
Flag this post
Day 1 of #LearnInPublic Java Patterns
dev.to·12h·
Discuss: DEV
🔀Control Structures
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2d·
Discuss: Hacker News, r/programming
🔗Weak References
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·2d
🌱Minimal Interpreters
Flag this post
Building a Prompt Engineering Toolkit for Developers
amzn.to·8h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
interpreter? hmm...
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·2d
🪜Recursive Descent
Flag this post
Objects as Random Access Memory
tbr.bearblog.dev·7h
🤐Zipper Structures
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
reddit.com·52m·
Discuss: r/AskProgramming
🎲Property Testing
Flag this post
Polish emerges as top language in multilingual AI benchmark testing
ppc.land·1h
⚡Tokenizer Benchmarks
Flag this post