Rendering Equations with Typst 2025-06-05 I wanted to be able to have nice math formulas on my blog, and I wanted them to be written in typst. With the power of computers, I have achieved it: ! You can find the code on GitHub . Note that the styling is hardcoded. To do this, I have written a script which looks for instances of three [ s enclosing a formula, optionally starting with a ! to indicate…
Introducing my Bookmarks Feed 2025-05-28 In a blatant rip-off of Tony Finch’s link log , I have decided to also create a feed of “bookmarks” / links to interesting articles and such. You can see it here. It is generated by a quick and dirty rust script (if one can call any rust program a “script”) from a KDL file containing the metadata ( source.kdl ). The script currently completely hard-codes…
PDF Templates 2025-05-24 I like to take handwritten notes for my classes. (I use Goodnotes for this.) A while ago, I made these templates for me to write on, in an effort to make my notes look better and more consistent. They might be useful for other people too… I generated them with a python script that places the lines on the page in a loop. It is not elegant enough for me to share here. Yellow…
New Website 2025-05-21 I have decided to make a new website for myself. I used to have a blog that was generated with hugo (and had a whooping 2 posts, both now moved here), but I don't like markdown and am becoming less and less of a fan of anything that requires a build step. So I am now writing a website directly in html. This was prompted by the general state of the world, and a post on LMNT .…
Factorial by Proxy 2024-04-16 A cool snippet I came up with for calculating recursively defined sequences with built-in memoization. const factorial = new Proxy([1], { get(f, n) { return f[n] ?? (f[n] = this.get(f, n-1) * n); } }); Use like this: factorial[0] // 1 factorial[1] // 1 factorial[2] // 2 factorial[3] // 6 // ... Explanation: The proxy allows us to overwrite property access on the array…
Blocking the new .zip TLD on Fedora 2023-05-20 Why: Because it seems like it might provide some (idk) security benefits, and because it seemed like an interesting exercise, I wanted to figure out how to block any requests to a .zip url from my laptop. How: Trying to do so using the bind-DNS server Installing bind: dnf install bind Updating/Creating various Config files: Adding a zip zone to…