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.
You may notice that the design is relatively minimal. That’s because I expect people will use the reader mode present in most modern browers to read posts, so there’s minimal value in going overboard on the design. The main font used across this website is the excellent Heliotrope by Matthew 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 |