๐Ÿ”€ Category Theory

Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”คType Theory
Unsupervised Learning: Clustering
dev.toยท2hยท
Discuss: DEV
๐Ÿ“šDocument Clustering
Charles Sanders Peirce, George Spencer Brown, and Me โ€ข 19
inquiryintoinquiry.comยท4d
๐Ÿ”คType Theory
Haskell Interlude: 70: Phil Wadler
haskell.foundationยท15h
๐ŸงฌFunctional Programming
Coco โ€“ Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.deยท3dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
An Afternoon at the Recursive Cafรฉ: Two Threads Interleaving
ipfs.ioยท6hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
How to Train an LLM-Recommender Hybrid that Speaks English & Item IDs
eugeneyan.comยท22h
๐Ÿ”Information Retrieval
A Shadow of Triality?
golem.ph.utexas.eduยท1d
๐Ÿ”ฒProof Irrelevance
Is Category Theory Being Co-opted?
johncarlosbaez.wordpress.comยท6d
๐ŸงฎAlgebraic Archives
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.chยท2hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Death to Type Classes
jappie.meยท2dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
I built an LLM from Scratch in Rust (Just ndarray and rand)
reddit.comยท6hยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.comยท1d
๐Ÿ’ŽInformation Crystallography
AI Companies School Like Fish
dbreunig.comยท1dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
[1] Algorithm Showdown: Python vs. JavaScript - Group Anagrams
dev.toยท1hยท
Discuss: DEV
๐ŸŒณTrie Structures
Polymorphic symmetric multiple dispatch with variance
dl.acm.orgยท3dยท
Discuss: Hacker News
๐Ÿ”คType Theory
The Rise of Semantic Entity Resolution
towardsdatascience.comยท6h
๐Ÿ“„Semantic Chunking
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.orgยท15hยท
Discuss: Hacker News
๐Ÿ“Document Calculus
Category Theory is Being Co-opted
estebanandthecollective.substack.comยท6dยท
Discuss: Substack
๐ŸงฎAlgebraic Archives
Rating 26 years of Java changes
neilmadden.blogยท2dยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology