Home
About
Contact
Reading List
Archive
RSS
Atom
Hedonistic Learning
Learning for the fun of it
Recursive Helping
April 30, 2020 06:06 UTC
Tags:
programming
,
concurrency
Recent
2024-10-25 -
Classical First-Order Logic from the Perspective of Categorical Logic
2024-10-04 -
Global Rebuilding, Coroutines, and Defunctionalization
2024-07-19 -
Morleyization
2024-01-15 -
The Pullback Lemma in Gory Detail (Redux)
2024-01-03 -
Universal Quantification and Infinite Conjunction
2023-12-22 -
What is the coproduct of two groups?
2023-03-21 -
Preserving, Reflecting, and Creating Limits
2021-01-06 -
Overlaps
2020-08-09 -
Complex-Step Differentiation
2020-07-06 -
Enriched Indexed Categories, Syntactically
Tags
Agda (1)
CS (4)
category theory (15)
concurrency (1)
geometric algebra (1)
javascript (1)
logic (6)
math (23)
programming (5)
type theory (2)