Home
About
Contact
Reading List
Archive
RSS
Atom
Hedonistic Learning
Learning for the fun of it
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
2018-03-26 -
Finite
2018-03-01 -
The Pedagogy of Logic: A Rant
2017-04-09 -
Djinn in your browser
2016-11-25 -
Category Theory, Syntactically
2016-11-10 -
Constant-time Binary Logarithm
2016-09-23 -
Quotient Types for Programmers
2016-05-07 -
Constructivist Motto
2016-05-05 -
The Mistake Everyone Makes with KnockoutJS
2016-04-13 -
Understanding typing judgments
2015-12-04 -
High dimensional thought experiment from Hamming
Tags
Agda (1)
CS (3)
category theory (3)
geometric algebra (1)
javascript (1)
logic (2)
math (9)
programming (2)
type theory (2)