🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Fun OCaml 2025
fun-ocaml.com·3d·
Discuss: Hacker News
💻Programming languages
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·3h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Do I not like Ruby anymore? (2024)
sgt.hootr.club·11h·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Generating C functions and prototypes using macros – part 2
subethasoftware.com·16h
🦀Rust Macros
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·11h
🔗Concatenative Programming
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Notes on Autograd
aschrein.github.io·23h·
Discuss: Hacker News
⚡Incremental Computation
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·14h
💻Local LLMs
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·6h
✅Format Verification
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
A Model for all Ranges
qt.io·4h·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Nullable vs. Nullable in C#
einarwh.no·23h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Two Dogmas of Empiricism
en.wikipedia.org·1d·
Discuss: Hacker News
💻Programming languages
Mojo Vision
docs.modular.com·14h·
Discuss: Hacker News
🔩Systems Programming
When functions dissolve
rubber-duck-typing.com·2d·
Discuss: Hacker News
🐚Shell Calculus
[P] aligning non-linear features with your data distribution
reddit.com·1d·
Discuss: r/MachineLearning
🧠Machine Learning
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·25m·
Discuss: Hacker News
🦀Rust Macros