Hedonistic Learning

Learning for the fun of it

Global Rebuilding, Coroutines, and Defunctionalization

October 4, 2024 08:24 UTC

Tags: CS, programming

Constant-time Binary Logarithm

November 10, 2016 07:48 UTC

Tags: programming, CS

Behavioral Reflection

November 17, 2015 00:54 UTC

Tags: CS

You know more about presheaves than you think

November 2, 2015 12:04 UTC

Tags: CS, category theory

Recent

  1. 2024-10-25 - Classical First-Order Logic from the Perspective of Categorical Logic
  2. 2024-10-04 - Global Rebuilding, Coroutines, and Defunctionalization
  3. 2024-07-19 - Morleyization
  4. 2024-01-15 - The Pullback Lemma in Gory Detail (Redux)
  5. 2024-01-03 - Universal Quantification and Infinite Conjunction
  6. 2023-12-22 - What is the coproduct of two groups?
  7. 2023-03-21 - Preserving, Reflecting, and Creating Limits
  8. 2021-01-06 - Overlaps
  9. 2020-08-09 - Complex-Step Differentiation
  10. 2020-07-06 - Enriched Indexed Categories, Syntactically

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 (23)
  9. programming (5)
  10. type theory (2)