🧬 Functional Programming

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

Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·12h·
Discuss: DEV
⚡Performance Tools
Explaining software and computational methods
blog.khinsen.net·20h·
Discuss: Hacker News
📝Concrete Syntax
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·6h·
Discuss: DEV
📏Code Metrics
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Why Dyad?: A Perspective for Modelica Users
juliahub.com·5h·
Discuss: Hacker News
💧Liquid Types
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·13h
⬆️Lambda Lifting
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·12h·
Discuss: Hacker News
🧩WASM Modules
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·8h·
Discuss: Hacker News
🔗Constraint Handling
Program Synthesis is Interesting and Open
stephendiehl.com·3d·
Discuss: Hacker News
💻Programming languages
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·16h
🔍Type Inference
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros