tagged

timestamp	title
2026-03-07 20:10	Category Theory for Programmers reading
2026-03-06 05:31	Isomorphism
2026-03-06 05:27	Dual
2026-03-06 05:27	Category Theory
2026-03-06 05:26	Category
2026-03-06 05:19	Initial Object
2026-03-06 05:17	Terminal Object
2026-03-06 02:05	category theory for programmers (part 5)
2026-02-27 05:09	Kleisli Category
2026-02-27 05:08	Monad
2026-02-27 02:08	category theory for programmers (part 4) \| im so eepy \| i set up all the matrix stuff
2026-02-20 07:33	What does "point-free" mean in Haskell?
2026-02-20 04:41	Order
2026-02-20 04:35	Preorder
2026-02-20 02:52	category theory for programmers (part 3) \| numberwang
2026-02-16 23:24	Set Theory
2026-02-16 23:04	Associativity
2026-02-13 03:34	Category Theory for Programmers
2026-02-13 02:02	category theory for programmers (part 2) \| t/suki matrix news \| maybe some gaming afterwards
2026-02-06 01:40	Category Theory Illustrated reading
2026-02-05 22:45	category theory for programmers (part 1) \| what are good opentttd settings anyway
2026-01-16 05:41	Logic
2026-01-15 18:02	category theory illustrated \| part 5 \| also evil egg
2025-12-11 20:46	category theory illustrated \| part 4
2025-12-04 22:14	Group Theory
2025-12-04 21:53	Group
2025-12-04 21:32	Monoid
2025-12-04 17:25	category theory illustrated \| part 3 (part 2)
2025-10-16 16:56	category theory illustrated \| part 3
2025-10-09 23:29	Category Theory Illustrated
2025-10-09 17:12	category theory illustrated \| part 2
2025-10-02 17:00	category theory illustrated \| part 1
2025-05-31 09:18	Fun Math Games
2025-05-31 09:14	Euclidia
2025-05-30 20:31	A Mathematician's Lament
2025-04-19 07:32	Least Common Multiple
2025-04-19 07:18	Harmonic Number
2025-04-19 07:07	Coupon Collector's Problem
2024-09-19 04:56	is_polygon_clockwise returns the opposite result
2023-12-07 22:13	narrative hidden object game dev \| lost contact (day 6)
2022-04-03 00:17	talking about matrices \| talking about go

tagged

meta