🐪 OCaml

Pattern Matching, Module System, Type Inference, Functional Compilation

From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·4h·
Discuss: Hacker News
⏱️Real-Time GC
Flag this post
Rouille – Rust Programming, in French
dev.to·1d·
Discuss: DEV
⚙️TOML Parsers
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
λLambda Calculus
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🌊Gradual Typing
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔗Weak References
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
Speedrunning an RL Environment
sidb.in·8h·
Discuss: Hacker News
✨Gleam
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·1d
🌱Minimal Interpreters
Flag this post
What we didn't get in C++
pvs-studio.com·2d·
Discuss: r/cpp
🏷️Symbol Mangling
Flag this post
Just released @leglaine/node-types – A lightweight, flexible type-checking library for Node.js
reddit.com·3d·
Discuss: r/node
✅Type Checking
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·3d
🔮Clojure
Flag this post
Evidence on language model consciousness
lesswrong.com·15h
🎲Parser Fuzzing
Flag this post
ReLook: Vision-Grounded RL with a Multimodal LLM Critic for Agentic Web Coding
paperium.net·18h·
Discuss: DEV
💬Interactive REPLs
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·1d
🪜Recursive Descent
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🎭Program Synthesis
Flag this post
You can actually program FPGAs on a Mac now
sahasmunamala.substack.com·1h·
Discuss: r/embedded
📋Tablegen
Flag this post
Software Dev Pathway Uncertainties
reddit.com·8h·
Discuss: r/SoftwareEngineering
🎮Language Ergonomics
Flag this post