Language Agnostic Programming: Why you may still need code
joaquimrocha.com·11h·
Discuss: Hacker News
🔗Concatenative Languages
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·16h·
Discuss: Hacker News
💬Interactive REPLs
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·8h·
Discuss: Hacker News
🔢Algebraic Datatypes
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·9h·
Discuss: r/programming
🧠Memory Models
Four years, Five failures, One compiler
daymare.net·18h·
Discuss: Hacker News, r/programming
🌱Minimal Languages
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🪜Recursive Descent
A PhD in Snapshots
rbharath.github.io·2h·
Discuss: Hacker News
🎯Finite Automata
Focus more time toward C or C++ development as decent C++ programmer
reddit.com·55m·
Discuss: r/embedded
📖Literate Programming
Analyzing Latent Concepts in Code Language Models
arxiv.org·3d
🌱Minimal ML
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·2d
🔍ML Language
original ↗
lmika.org·2d
🔗Concatenative Languages
Type Theory and Functional Programming (1999) [pdf]
dev.to·4d·
Discuss: DEV
🎯Type Theory
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·9h
🧮Combinator Calculus
Recurse Checkins
404wolf.com·2h
🔄Bootstrapping
Advice on my Language
github.com·2d·
Discuss: r/programming
📚Factor
The First Programming Language: A Timeline
tuple.nl·2d·
Discuss: Hacker News
🏺Code Archeology
OO Design Principles: SOLID
slott56.github.io·3d
🛡️Capability Security
Property-based testing of batch-invariant operations
mmaaz.ca·4h·
Discuss: Hacker News
🎲Property Testing