Minecraft in Docker with SpigotMC

SpigotMC is a reimplementation of Minecraft with some optimizations and the ability to run mods. I choose to use it because there’s a Docker image that makes it easy to host. This guide shows how to host multiple Minecraft servers on a single machine. mkdir minecraft_server cd minecraft_server mkdir data/{server,spigot} wget \ -O docker-compose.yml If you’re moving from a Spigot world, just copy the world/ directory to data/server/world. If you’re moving from a vanilla Minecraft world, do the following to get the different world directories in the right position:
Read more

Matrix setup with Synapse, Postgres, Maubot, and matrix-registration

This is how I set up my own Matrix server on a Raspberry Pi with Docker. Unfortunately, the Matrix community has stopped releasing ARM images, so the latest version that will work on ARM is v1.26.0. The instructions will work the same for x86_64 systems, except you’ll be able to use the default x86_64 images in the docker-compose file. This installation comes with Maubot and matrix-registration containers too. If you don’t want to use those features, leave out those sections of the docker-compose config and don’t follow the instructions in the corresponding sections.
Read more

I really just want to edit and compile my LaTeX files in VS Code

LaTeX has a ton of different flavors, releases, and installations: MacTeX, MiKTeX, TeXworks, XeTeX, pdfTeX, LuaTeX… If you’re using Linux and just want to edit LaTeX files in Visual Studio Code and have them automatically rendered as PDFs, follow these instructions: On Arch-based distros, install the packages listed here. On Debian-based systems, sudo apt install texlive. Install some Perl dependencies: sudo cpan Log::Log4perl Log::LogDispatch Log::Dispatch::File YAML::Tiny File::HomeDir If you want to use FontAwesome on Arch-based systems, install the oft-font-awesome package and then do the following (source):
Read more

using GPG to prove you wrote your code

GPG is cool. You can use GPG to send encrypted messages, sign files to prove you generated them, and sign git commits to prove you committed them. You can get my key here. DigitalOcean has a neat guide to getting started with GPG. It explains asymmetric encryption, key generation and revocation, and key signing and maintenance. Git commit authorship can be modified by anyone, as demonstrated by this tool. But by uploading your GPG public key to GitHub, you allow anyone who trusts GitHub to be sure that commits marked “verified” were actually created by you.
Read more

favorite art

Here’s some of my favorite art. Ben Shahn, All That Is Beautiful, 1966 (source) Peter Doig, Architect’s Home in the Ravine, 1991 (source) Jorge Cocco Sant├íngelo, The Call, 2015 (source)