New GitHub Username

February 03, 2015

I’ve changed my GitHub username from Z1MM32M4N to jez (hopefully it’ll be a little easier to type now!). Make sure you update any remote URLs for repos of mine that you’ve cloned.

Updating your Git remotes

If you’ve cloned one of my repositories, you can update it’s URL by running

$ git remote -v

to check the current remote URL, which should look something like https://github.com/Z1MM32M4N/<repo name>. Then, you can run

$ git remote set-url origin https://github.com/jez/<repo name>

to actually change the URL.

Because of the way that GitHub handles username changes, you should be able to continue using the current URLs at least for the time being, but any time you pull you’ll get a message from GitHub asking to update the remote URLs.

I tried to update all links referencing Z1MM32M4N to use the new username, but I’m sure I’ve missed a few. If you find a “broken” link, shoot me a message letting me know!

ABTs in Haskell

I’ve been learning and using Haskell on-and-off for the past couple of years. One of my early complaints was that I couldn’t find a good library for working with variables and binding that used locally nameless terms. Recently though, I found unbound-generics, which checks all my previously unfilled boxes. Continue reading

Variables and Binding

Published on October 28, 2017

System Fω and Parameterization

Published on September 27, 2017