Sapir-Whorf does not apply to Programming Languages
buttondown.com·2d·
Discuss: Hacker News
🧬Functional Programming
Lobsters Interview with Matklad
lobste.rs·23h·
Discuss: Lobsters
🦀Rust Macros
Active Learning for Neurosymbolic Program Synthesis
arxiv.org·1d
🏗️Compiler Archaeology
busy beaver function
ncatlab.org·4h
⚔️Lean Theorem
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·17h
🔲Cellular Automata
HigherOrderCO/HVM3
github.com·11h
🔗Functional Compilers
Simpler Category Theory
ryanbrewer.dev·3d·
Discuss: Hacker News
🔀Category Theory
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
⛪Church Encoding
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Software convergence
underlap.org·1d
🔢Denotational Semantics
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
AI Code Generation: Trust and Verify, Always
thenewstack.io·23h
⚙️Proof Engineering
WeakC4, or Distilling an Emergent Object
2swap.github.io·12h·
Discuss: Hacker News
🔲Cellular Automata
Python’s Continued Supremacy "From Python to Rust: What’s Hot in 2025 Programming"
dev.to·1d·
Discuss: DEV
📏Code Metrics
Convergence in Software
valand.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
💧Liquid Types
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·1d·
Discuss: Hacker News
🔗Concatenative Programming
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·2d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·4d·
Discuss: r/programming
🔤Type Theory