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
Charles Sanders Peirce, George Spencer Brown, and Me โ€ข 19
inquiryintoinquiry.comยท4d
๐Ÿ”คType Theory
Haskell Interlude: 70: Phil Wadler
haskell.foundationยท9h
๐ŸงฌFunctional Programming
Design Principles of Software: Building Better Systems
dev.toยท12hยท
Discuss: DEV
๐ŸšShell Calculus
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ยท39mยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
A Shadow of Triality?
golem.ph.utexas.eduยท1d
๐Ÿ”ฒProof Irrelevance
Is Category Theory Being Co-opted?
johncarlosbaez.wordpress.comยท5d
๐ŸงฎAlgebraic Archives
Death to Type Classes
jappie.meยท2dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.comยท1d
๐Ÿ’ŽInformation Crystallography
The Rise of Semantic Entity Resolution
towardsdatascience.comยท24m
๐Ÿ“„Semantic Chunking
AI Companies School Like Fish
dbreunig.comยท18hยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Polymorphic symmetric multiple dispatch with variance
dl.acm.orgยท3dยท
Discuss: Hacker News
๐Ÿ”คType Theory
Satyajit Das: On Reading โ€“ Textual Pleasures
nakedcapitalism.comยท1d
๐Ÿ“•Bookbinding
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.orgยท9hยท
Discuss: Hacker News
๐Ÿ“Document Calculus
Category Theory is Being Co-opted
estebanandthecollective.substack.comยท6dยท
Discuss: Substack
๐ŸงฎAlgebraic Archives
The iPhone to get this year
theverge.comยท4h
๐Ÿ—œ๏ธLZW Variants
Rating 26 years of Java changes
neilmadden.blogยท1dยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Game Programming Patterns
gameprogrammingpatterns.comยท1d
โš–๏ธGame Preservation Ethics
From Legal Documents to Knowledge Graphs
neo4j.comยท1dยท
Discuss: Hacker News
๐Ÿ“‹Document Grammar