NixOS on prgmr and Failing to Learn Nix
Code: , ,
4 comments

This is a writeup of my notes on how to get NixOS running on a VPS at prgmr, followed by more general notes on this experiment in learning nix.

Continue this post

House Rules
Games: , ,
1 comment

I really enjoy playing board games with friends, as you can probably guess from my media reviews. Over the last ~25 years of playing we’ve evolved a couple house rules that are worth formalizing and sharing.

Continue this post

2018 Media Reviews
Life: , , , , ,
No comments

I’ve appreciated when people take the time to write reviews and highlight connections to other good works. This is an in-progress list that I’ll update over the course of the year. Previously: 2014 2015 2016 2017

Continue this post

2017 Media Reviews
Life: , , , ,
No comments

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: ,
No comments

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: ,
No comments

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: , ,
1 comment

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

Continue this post

Attending Recurse Center
Life: ,
7 comments

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: , ,
1 comment

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: ,
No comments

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