Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔄Category Theory
🔗 Why I chose OCaml as my primary language
yellowduck.be·2h
🔧Compiler Design
Free Theory of Computation text
reddit.com·1d·
Discuss: r/compsci
📈Complexity Theory
Scheme Basics
courses.cs.washington.edu·7h·
Discuss: Hacker News, Hacker News
📝Lisp
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·1d
⚙Functional Programming
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔢Mathematical Logic
Making Illegal States Unrepresentable in Kotlin
dev.to·1d·
Discuss: DEV
⚙Functional Programming
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·15h
🔧Compiler Design
Lobsters Interview with Matklad
lobste.rs·5h·
Discuss: Lobsters
🔧Compiler Design
Language Machines (University of Minnesota Press)
i-programmer.info·2h
🔧Compiler Design
The power of C++26 reflection: first class existentials
reddit.com·16h·
Discuss: r/cpp
📐Type Theory
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
📝Lisp
Racket 8.18 Released
blog.racket-lang.org·10h·
Discuss: Hacker News
📐Type Theory
Contrasting Data and Objects (2018)
tedinski.com·1d·
Discuss: Hacker News
⚙Functional Programming
A practical introduction to parsing in Rust
jhwlr.io·3d·
Discuss: r/rust
🔧Compiler Design
"Python for Those Who Cannot Even", a Book by Claude Code
github.com·1d·
Discuss: Hacker News
📝Lisp
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·2h
🎲Probabilistic Programming
LLMs Won't Replace Programming Languages
mech-lang.org·13h·
Discuss: Hacker News
🔗Parser Combinators
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
🔧Compiler Design
Learning Through Doing: From one language to another
blog.scottlogic.com·19h
🦀Rust