2017 Media Reviews
Life: , , , ,
Comments Off on 2017 Media Reviews

I’ve appreciated when people take the time to write reviews and highlight connections to other good works. This post was written in one go at the end of 2017. I didn’t keep good track of the games, so that’s spotty and may be updated in 2018 as I’m reminded of them, but is otherwise complete. Previously: 2014 2015 2016

Continue this post

Return Statement
Life: ,
Comments Off on Return Statement

I’ve finished my time at Recurse Center, and a small tradition is to write a “return statement” about what you did in your time there.

Continue this post

Voicemail
Life: ,
Comments Off on Voicemail

Robots and elderly relatives have finally driven me to extreme measures.
My voicemail greeting is now this “you have reached a number that has been disconnected” recording repeated for sixty seconds as a multi-pronged attack on voicemail:

Continue this post

Lobsters
Life: , ,
Comments Off on Lobsters

I’m now the sysop of Lobsters, a social news site focused on technology.

Continue this post

Attending Recurse Center
Life: ,
Comments Off on Attending Recurse Center

I have been accepted to the Recurse Center to spend three months on collaborative, self-directed study of programming. I’m planning to continue studying Haskell and dependent types, proof assistants, and category theory. Maybe Coq, Idris, or TLA+ if I can find someone else interested.

Continue this post

MiscPodcast
Code: , ,
Comments Off on MiscPodcast

I have some random episodes of podcasts laying around waiting to get listened to from podcasts I don’t (yet) care to subscribe to. Maybe they had an interesting guest or topic, or came recommended. These downloads will lay around on my computer for months because they’re not in my podcasting app, so they’re not really in my listening queue.

Continue this post

Arithmetic Wrap in GMS2
Code: ,
Comments Off on Arithmetic Wrap in GMS2

I’m learning GameMaker Studio 2 because my 10-year old nephew wants to make video games (and the 10 year old inside of me wants to make video games, too). It’s a nice toolkit and IDE for games, very beginner-friendly, with a friendly community. It’s even been used in some highly polished and popular games. If you’re curious, there’s a ~90 minute tutorial playlist that’s easy to skim as a demo.

Continue this post

Redshift With Cloudiness Adjustment
Code: ,
Comments Off on Redshift With Cloudiness Adjustment

A Lobsters story on the bright blue light of displays reminded me I should post this. I use redshift to adjust the color temperature of my monitor at night so I sleep better, and I wrote a custom wrapper script to include an adjustment for how overcast it is.

Continue this post