Home
About
Contact
Reading List
Archive
RSS
Atom
Hedonistic Learning
Learning for the fun of it
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
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)