Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🧮Programming Language Theory
What is a smooth manifold?
burttotaro.wordpress.com·19h
🧮Programming Language Theory
Rewriting Modulo Traced Comonoid Structure
arxiv.org·1d
⚙Functional Programming
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🧮Programming Language Theory
Free Theory of Computation text
reddit.com·1d·
Discuss: r/compsci
🧮Programming Language Theory
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·4d
⚙Functional Programming
Doing good... best?
lesswrong.com·3h
🔢Mathematical Logic
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Observability at scale
antithesis.com·6h
🎲Probabilistic Programming
TIL Kurt Gödel, the genius who shook mathematics, died from paranoia and self-starvation
britannica.com·1d·
Discuss: r/todayilearned
🔢Mathematical Logic
The Aneurothymia Spectrum: Divergent Formation of Neurodevelopment
cristinagherghel.substack.com·4h·
Discuss: Substack
🧮Programming Language Theory
An Update on Pytype
github.com·2d·
Discuss: Hacker News
🧮Programming Language Theory
Data Science Path: Automatic Subclass Registration & Python Encryption Algorithms with LabEx
dev.to·1h·
Discuss: DEV
⚙Functional Programming
🔗 37 things I learned about information retrieval in two years at a vector database company
yellowduck.be·10h
🗄️Database Theory
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·2h
🎲Probabilistic Programming
Macroeconomic Foundation of Monetary Accounting by Diagrams of Categorical Universals
arxiv.org·1d
🧮Programming Language Theory
the core of rust
jyn.dev·1d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust
The power of C++26 reflection: first class existentials
reddit.com·15h·
Discuss: r/cpp
📐Type Theory
Evidence for compositionality in fMRI visual representations via Brain Algebra
nature.com·18h
🗄️Database Theory
What Hugging Face reveals about the data economy of fine-tuning
research.portexai.com·3h·
Discuss: Hacker News
🔗Parser Combinators