2021-07-05T14:03:16-04:00 (
dfa )
blades of the night looks interesting
2021-07-04T14:06:49-04:00 (
dfa )
the fifth season is a good book (who knew?)
2021-07-04T02:35:00-04:00 (
dfa )
thats starting at 2pm
2021-07-04T02:34:34-04:00 (
dfa )
if i wake up 4 mins earlier every day from now until mid october i can run a morning marathon
2021-07-04T01:59:02-04:00 (
dfa )
been looking at twelf the last couple days. dependent types are weird. crazy how much twelf can do and how much effort has been put into it
2021-07-04T01:56:56-04:00 (
dfa )
seems i have the post tweet hook setup
2021-07-04T01:39:39-04:00 (
dfa )
You know what they say