• [<<<]
  • [>>>]
3rd
23:12

Monthly Update

- 3 comments
Entry tags:
  • personal

7th
02:54

Dissertating, ahoy!


Entry tags:
  • grad school,
  • haskell planet

8th
03:49

The problem with ableism is where to begin


Entry tags:
  • ableism,
  • loeys-dietz

24th
19:08

Quantifiers in type theory

- 2 comments
Entry tags:
  • columbicubiculomania,
  • haskell planet,
  • logic,
  • type theory

27th
18:03

Hacking projects over the next few months


Entry tags:
  • coding,
  • haskell,
  • haskell planet


[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]