Blaze Silverwolf
Impressionist Seascape, 2023
Digital painting
Hi!
I’m Ibzan, a spotted hyena hailing from the UK. My interests include programming, photography, hillwalking, physics, data, and generally messing around with computers.
Yes, I run Linux.
This site will contain various musings—I don’t have any specific plans for the blog, but I’ll probably write about the things I’ve enjoyed coding recently as well as any furry-relevant stories that seem fun.
The main font used across this website is the excellent Heliotrope by Matthew Butterick. For code and code blocks, I use Triplicate, also by Butterick.
Thanks for stopping by! If you’re looking for code, check my GitHub. Want to get in touch? I’d love to hear from you if you have any thoughts relating to the content here! The most reliable method is email. I also have a Mastodon account, and an FA page which I keep mostly up to date with art. I probably won’t read any notes sent there in a timely fashion though.
Title | Date |
---|---|
A Proof of Cantor’s Diagonal Argument in Agda | 2024-10-18 |
Writing a Neural Network from Scratch in J for Fun | 2023-05-30 |
Agda: What Even is Propositional Equality? | 2023-05-19 |
Thoughts on J | 2023-05-15 |
Quick J: Thousands Separators | 2023-05-14 |
TypeScript as an HTML Templating Format | 2023-01-06 |
Hello, World: Making a Static Blog Generator from Scratch | 2022-07-25 |