Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·5h
λLambda Formalization
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·2h·
Discuss: Hacker News
🧮Algebraic Datatypes
Guessing Game: Haskell Style
entropicthoughts.com·23h
👑Dependent Haskell
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·9h
🎯Gradual Typing
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·7h
🦀Rust Macros
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·9h
✅Format Verification
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·17h
🎯Performance Proofs
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
k-NN Classification and Model Evaluation
dev.to·14h·
Discuss: DEV
🧠Machine Learning
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·15h
🔗Concatenative Programming
Generating C functions and prototypes using macros – part 2
subethasoftware.com·20h
🦀Rust Macros
CL-JSON Ambiguity
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🧠Lisp Dialects
Teaching programming languages
kmjn.org·1d
💻Programming languages
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers