Functions are Asymmetric
elbeno.com·15h
😴Lazy Evaluation
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
📏Linear Haskell
My First Week of Vibecoding
underreacted.leaflet.pub·10h·
Discuss: Hacker News
✨Gleam
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
🔗Category Theory
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔍ML Language
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
🧮Combinator Calculus
Neuro-Symbolic AI
en.wikipedia.org·23h·
Discuss: Hacker News
🎭Program Synthesis
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
🎯Symbolic Execution
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·12h·
Discuss: Hacker News
🪜Recursive Descent
Dimension reduction for efficient Bayesian inference of high-dimensional quantity of interest problems with parametric and nonparametric uncertainties
sciencedirect.com·19h
🗺️Region Inference
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·21h·
Discuss: r/rust
⚡Partial Evaluation
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
✅Type Checking
A Function Generator From The Past
hackaday.com·18h
🔌Microcontrollers
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Effective C++ – Hour 10
jtag.bearblog.dev·2d
🧸Toy Compilers
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
⚡functional programming
A gentle introduction to Generative AI: Historical perspective
medium.com·12h·
Discuss: Hacker News
📊LR Parsing
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·30m·
Discuss: Hacker News
🔗Concatenative Languages
GaloisInc/parameterized-utils
github.com·3d
📏Linear Haskell
Using AI for candidate ranking with RavenDB
ayende.com·1d
🎮Language Ergonomics