Hedonistic Learning

Learning for the fun of it

Morleyization

July 19, 2024 02:35 UTC

Tags: math, category theory, logic

What is the coproduct of two groups?

December 22, 2023 02:47 UTC

Tags: math, category theory

Overlaps

January 6, 2021 03:46 UTC

Tags: math, logic, category theory

Complex-Step Differentiation

August 9, 2020 05:28 UTC

Tags: math, programming

Recursive Helping

April 30, 2020 06:06 UTC

Tags: programming, concurrency

Beck-Chevalley

February 23, 2020 07:59 UTC

Tags: math, category theory

Absolute Colimits

May 18, 2019 23:59 UTC

Tags: math, category theory

Finite

March 26, 2018 07:57 UTC

Tags: math, logic

The Pedagogy of Logic: A Rant

March 1, 2018 04:35 UTC

Tags: math, logic

Djinn in your browser

April 9, 2017 12:35 UTC

Tags:

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

Quotient Types for Programmers

September 23, 2016 05:21 UTC

Tags: math, type theory

Constructivist Motto

May 7, 2016 18:12 UTC

Tags: math

Understanding typing judgments

April 13, 2016 02:41 UTC

Tags: Agda, type theory

High dimensional thought experiment from Hamming

December 4, 2015 01:22 UTC

Tags: math

Behavioral Reflection

November 17, 2015 00:54 UTC

Tags: CS

The three styles of category theory

September 30, 2015 05:45 UTC

Tags: math, category theory

Differentiation under the integral

September 14, 2015 07:53 UTC

Tags: math, geometric algebra

A better way to write convolution

September 14, 2015 06:12 UTC

Tags: math

First post

September 14, 2015 06:12 UTC

Tags: