Reading List

The most recent articles from a list of feeds I subscribe to.

IJCAI Session Notes: Verifying Agent Based Autonomous Systems

For the past couple of days I’ve been at IJCAI - the International Joint Conference on Artificial Intelligence. It’s been a three-day whirlwind of workshops and tutorials. I took a lot of notes, and as with ECAL last year I figured organizing them into blog posts would be a good way to review some of the takeaways. Note that the intended audience here is future-me, and I could very well have made mistakes or misinterpretations in my own notes. Also apologies about any typos.

IJCAI Session Notes: Verifying Agent Based Autonomous Systems

For the past couple of days I’ve been at IJCAI - the International Joint Conference on Artificial Intelligence. It’s been a three-day whirlwind of workshops and tutorials. I took a lot of notes, and as with ECAL last year I figured organizing them into blog posts would be a good way to review some of the takeaways. Note that the intended audience here is future-me, and I could very well have made mistakes or misinterpretations in my own notes. Also apologies about any typos.

go-sql-driver and MySQL 8

I should know better than to use a latest tag in a Docker image. I’d never do this at work, so why did I do it in my hobby project? I blame Go’s nature of dealing with package versioning (that is, the lack thereof) for putting me in the “let’s use latest!” mindset (and yes I know they’re working on it). Anyway, I should know better, but here we are, writing this post. It’s going to be a short one.

go-sql-driver and MySQL 8

I should know better than to use a latest tag in a Docker image. I’d never do this at work, so why did I do it in my hobby project? I blame Go’s nature of dealing with package versioning (that is, the lack thereof) for putting me in the “let’s use latest!” mindset (and yes I know they’re working on it). Anyway, I should know better, but here we are, writing this post. It’s going to be a short one.

Input Club K-Type and /dev/tty impressions

This post will have some general impressions of Input Club K-Type and matt3o’s new keycap profile (MT3), with the /dev/tty color scheme. Both products were ordered from Massdrop last year.