Hedonistic Learning

Learning for the fun of it

Complex-Step Differentiation

August 9, 2020 05:28 UTC

Tags: math, programming

Recursive Helping

April 30, 2020 06:06 UTC

Tags: programming, concurrency

Category Theory, Syntactically

November 25, 2016 06:23 UTC

Tags: programming, math, category theory

Constant-time Binary Logarithm

November 10, 2016 07:48 UTC

Tags: programming, CS

Recent

  1. 2024-01-15 - The Pullback Lemma in Gory Detail (Redux)
  2. 2024-01-03 - Universal Quantification and Infinite Conjunction
  3. 2023-12-22 - What is the coproduct of two groups?
  4. 2023-03-21 - Preserving, Reflecting, and Creating Limits
  5. 2021-01-06 - Overlaps
  6. 2020-08-09 - Complex-Step Differentiation
  7. 2020-07-06 - Enriched Indexed Categories, Syntactically
  8. 2020-07-06 - Internal Language of Indexed Monoidal Categories
  9. 2020-05-22 - Internal Language of a Monoidal Category
  10. 2020-05-04 - Example Representability Argument

Tags

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