$ cat petra

This is my blog, where I may or may not post things from time to time.

Rss?

Retrospection: One Year of Hexcasting

The very first push to the Hexcasting Github repo was made about one year ago, on Christmas. Version 0.1.0 was released for Forge on Minecraft 1.18.2 three weeks later, on January 18th.

Read more →

A Proof that 0^0 = 1 using Type Algebra

… As taught by someone whose experience with type algebra consists of “figuring it out” and “being drip-fed things by Alwinfy.” This is going to be fast and loose.

Read more →

The Current Project #8: Fabulous Prefabs

I guess I’m renaming this series to TCP now, for “The Current Project.” I’ve updated the tags on the old posts accordingly.

Read more →

Foxfire Fridays #7: The Perils of Ambition

Got some bad news, everyone; I’m putting Foxfire on hiatus.

Read more →

Foxfire Fridays #6: Resource Management Management

One thing I realize about Foxfire is that not everybody sitting down to play a roguelike wants to be bait-and-switched into playing Factorio.

Read more →

Foxfire Fridays #5: A Problem of Scale

First, a bit of bookkeeping stuff; I’ve decided that as another Patreon reward, you can get next week’s FFF, this week! FFF #5 (this one) will be released on 29 July 2022; patrons will be able to read FFF #6 on the 29th too. Non-patrons will get access to FFF #6 on August the 5th, when patrons will be reading FFF #7.

Read more →

Foxfire Fridays #4: Now Featuring A Real Blog

Wow, it is very nice to have an actual text document that doesn’t artificially cap you at 240 characters to write an FFF in. Anyways, for this week the topic is … more backend changes!

Read more →

Foxfire Fridays #3

This Foxfire Friday was originally posted on Twitter here.

Read more →

Foxfire Fridays #2

This Foxfire Friday was originally posted on Twitter here.

Read more →

Foxfire Fridays #1

This Foxfire Friday was originally posted on Twitter here.

Read more →