Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·12h
λLambda Formalization
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·9h·
Discuss: Hacker News
🧮Algebraic Datatypes
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Optimize Go Performance: Value vs. Pointer Types for Fewer Memory Allocations
dev.to·3h·
Discuss: DEV
🧠Memory Allocators
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·16h
🎯Gradual Typing
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·14h
🦀Rust Macros
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d
🔗Functional Compilers
ReflectivePrompt: Reflective evolution in autoprompting algorithms
arxiv.org·37m
⚡Incremental Computation
Implementing Forth in Go and C
eli.thegreenplace.net·59m
🔗Concatenative Programming
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·16h
✅Format Verification
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Chez Scheme vs. SBCL: a comparison (2019)
elmord.org·6h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·22h
🔗Concatenative Programming
Generating C functions and prototypes using macros – part 2
subethasoftware.com·1d
🦀Rust Macros
CL-JSON Ambiguity
funcall.blogspot.com·3d·
Discuss: www.blogger.com
🧠Lisp Dialects
shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.io·3h·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Teaching programming languages
kmjn.org·1d
💻Programming languages