Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🧮Programming Language Theory
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·12h
🧮Programming Language Theory
Show HN: List of Clojure-Like projects
github.com·3h·
Discuss: Hacker News
🔧Compiler Design
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🔢Mathematical Logic
Deriving Rope the Proper Way
nor-blog.pages.dev·1d·
Discuss: Hacker News
⚙Functional Programming
True names matter in C++
quuxplusone.github.io·1d
📐Type Theory
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·1d
🧮Programming Language Theory
Red-Thing-Ism
lesswrong.com·1d
🧮Programming Language Theory
Lobsters Interview with Icefox
lobste.rs·7h·
Discuss: Lobsters
🔧Compiler Design
Design Patterns by Purpose: Reuse (Part 2)
dev.to·1d·
Discuss: DEV
⚙Functional Programming
Constraint Catalog
sofdem.github.io·22h
🎯Constraint Programming
Let the Kaleidoscope Turn
shabie.github.io·1d·
Discuss: Hacker News
🗄️Database Theory
Issue 483
haskellweekly.news·1d
⚙Functional Programming
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·1d·
Discuss: Hacker News
🔢Mathematical Logic
Python Scripts – From Classroom to Community - 1
brezular.com·6h
🧮Programming Language Theory
Mastering NLP with spaCy – Part 2
towardsdatascience.com·5h
🔗Parser Combinators
At 17, Hannah Cairo Solved a Major Math Mystery
quantamagazine.org·10h·
Discuss: Hacker News
🧮Programming Language Theory
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
⚙Functional Programming
Do Video-Game Characters Matter Morally?
reducing-suffering.org·4h·
Discuss: Hacker News
🧫Cellular Automata