Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🧮Programming Language Theory
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·21h
🧮Programming Language Theory
Understanding the KNN Algorithm: Finding Your Nearest Neighbors
dev.to·8h·
Discuss: DEV
🕸️Graph Theory
Show HN: List of Clojure-Like projects
github.com·12h·
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
Introduction to Supervised Machine Learning for Beginners
github.com·51m·
Discuss: DEV
🎲Probabilistic Programming
Sharing this "Myraid Novel Record"
reddit.com·1h·
Discuss: r/MartialMemes
🧮Programming Language 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·2d
🧮Programming Language Theory
Reconfigurable non-Abelian integrated photonics
nature.com·6h
🔐Cryptography
Red-Thing-Ism
lesswrong.com·1d
🧮Programming Language Theory
Lobsters Interview with Icefox
lobste.rs·16h·
Discuss: Lobsters
🔧Compiler Design
Constraint Catalog
sofdem.github.io·1d
🎯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·2d·
Discuss: Hacker News
🔢Mathematical Logic
Mastering NLP with spaCy – Part 2
towardsdatascience.com·13h
🔗Parser Combinators
Three axes of time: A new theory reshapes the geometry of the Universe
universemagazine.com·12h·
Discuss: Hacker News
🧮Programming Language Theory