Hedonistic Learning

Learning for the fun of it

What difference lists actually are

April 12, 2025 23:25 UTC

Tags:

Global Rebuilding, Coroutines, and Defunctionalization

October 4, 2024 08:24 UTC

Tags: ,

Complex-Step Differentiation

August 9, 2020 05:28 UTC

Tags: ,

Recursive Helping

April 30, 2020 06:06 UTC

Tags: ,

Category Theory, Syntactically

November 25, 2016 06:23 UTC

Tags: , ,

Constant-time Binary Logarithm

November 10, 2016 07:48 UTC

Tags: ,

Recent

  1. 2025-11-10 - Umbral Calculus
  2. 2025-08-22 - Arithmetic Functions
  3. 2025-04-12 - What difference lists actually are
  4. 2024-10-25 - Classical First-Order Logic from the Perspective of Categorical Logic
  5. 2024-10-04 - Global Rebuilding, Coroutines, and Defunctionalization
  6. 2024-07-19 - Morleyization
  7. 2024-01-15 - The Pullback Lemma in Gory Detail (Redux)
  8. 2024-01-03 - Universal Quantification and Infinite Conjunction
  9. 2023-12-22 - What is the coproduct of two groups?
  10. 2023-03-21 - Preserving, Reflecting, and Creating Limits

Tags

  1. Agda (1)
  2. CS (4)
  3. category theory (15)
  4. concurrency (1)
  5. geometric algebra (1)
  6. javascript (1)
  7. logic (6)
  8. math (25)
  9. number theory (1)
  10. programming (6)
  11. type theory (2)