Even More Beautiful LaTeX Boxes

What skimming 500 pages of documentation yields

 Posted on April 11, 2022  |  4 minutes  |  704 words  |  Azurios

Having fancy boxes is nice. Since I personally write quite a few summaries for my studies (some of which are available over here), I’ve come to appreciate them as a way of highlighting important information without just having bold-text-keywords everywhere. They can also be a delimiter, or allow you to find the appropriate topic at a glance. A blog post made by fellow Polyring-member xyquadrat (don’t be shy, give him a visit here) reminded me that creating good-looking boxes can be quite daunting. [Read More]

Digging into LaTeX - How do I...

Incoherent ramblings about how to write fancy documents

 Posted on November 12, 2021  |  8 minutes  |  1525 words  |  Azurios

Do I even need to introduce \(\LaTeX \)? Most readers should at least know how documents typeset in \(\LaTeX \) look like, and quite a few will also be familiar with using it themselves. In this post, I’d like to show a few neat packages, snippets and otherwise useful settings that might help the aspiring \(\LaTeX \) user to achieve desired results. This is not a complete tutorial on how-to \(\LaTeX\), but it should still be helpful for new users. [Read More]

Of Automata, Epsilons and Rusty machines

Kept you waiting, huh?

 Posted on September 20, 2021  |  8 minutes  |  1624 words  |  Azurios

It’s been a while, but with the exams finally behind me (for a few months at least), I recently found some time to work on a project that I’d started quite a long while ago - FAr, or Finite Automata in Rust. As I will be a teaching assistant for the theoretical computer science course next semester, this little program was initially created because I wanted to recap some things and maybe develop something useful for students attending my exercise class. [Read More]

Rust, Serenity, and Discord oh my! (Part II)

A neverending story of rolling and rerolling

 Posted on April 23, 2021  |  5 minutes  |  946 words  |  Azurios

Most of this post is self-contained, but for full context, check out part 1. In this part of my little series about the various projects I code for my own little discord bot, I’ll tell you more about the very first, simple command: A simple roll command, which essentially serves as a random number generator. Many chatplatforms have such a command integrated - but not Discord. Let’s fix this, shall we? [Read More]