Dependent types I › Universes, or types of types
jonmsterling.com·5h·
Discuss: Hacker News
🔤Type Theory
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·23h
🎯Gradual Typing
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·16h·
Discuss: Hacker News
🧮Algebraic Datatypes
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Understanding Tool-Integrated Reasoning
arxiv.org·7h
🔗Constraint Handling
Implementing Forth in Go and C
eli.thegreenplace.net·7h·
Discuss: Hacker News
🔗Concatenative Programming
Do I not like Ruby anymore? (2024)
sgt.hootr.club·1d·
Discuss: Hacker News, r/programming
🎯Gradual Typing
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·1h
🚀Compiler Optimizations
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·23h
✅Format Verification
Teaching programming languages
kmjn.org·1d
💻Programming languages
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·19h
⬆️Lambda Lifting
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·21h
🦀Rust Macros
Optimize Go Performance: Value vs. Pointer Types for Fewer Memory Allocations
dev.to·10h·
Discuss: DEV
🧠Memory Allocators
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Capture Checking in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing