left adjoint's free monoid microblog

Tue 28 Jul 2020 02:21:50 PM PDT

I'm writing this now with a silly little script I put together that takes text I write in nano and then inserts it with a date using sed

Sat 25 Jul 2020 05:48:21 PM PDT

Oh and I'm trying to start posting with a command line tool.

It's basically a wrapper around a sed command at the moment but maybe it'll get bigger

Sat 25 Jul 2020 05:45:21 PM PDT

Well dear reader it's been an odd saturday

Not even for any particular reason

7/22/2020 10:25

Exhaustion and depression are getting to me pretty badly.

I have a lot I want to do but I need help doing it.

I'm also really bad at asking for help.

I'm basically this tweet

7/21/2020 14:21

I've finished all my articles for October's issue.

Now I want to expand my piece on theorem provers into a small educational zine

7/20/2020 14:01

I have so many articles to finish.

7/20/2020 12:44

Had a work meeting that actually went well.

I'm starting to think I'm going to make a difference at this job? Frightening!

7/20/2020 11:21

Using this space as a microblog that I write with Sloum's Chalk line editor.

This counts as my first entry.