blank

While refactoring an OCaml project, I wanted to deduplicate some code, although it was not obvious whether that would be possible.

Aprillis kaitses Simmo Saan oma doktoritööd „Correctness witnesses for thread-modular program analysis“(„Lõimeviisilise programmianalüüsi õigsustõendid“, juhendaja programmeerimiskeelte kaasprofessor Vesal Vojdani).

The Institute of Computer Science at the University of Tartu has a LaTeX template for PhD theses.

My PhD-thesis–to–be combines 8 papers from the last 5 years.

Estonia has a deposit-refund system for drink bottles and cans (like the German Pfand).

A Synology NAS can be convenient for hosting various Docker-based applications for personal use.

To repeat, I prefer to use the minted package for typesetting syntax-highlighted code in LaTeX.

I prefer to use the minted package for typesetting syntax-highlighted code in LaTeX.

The Institute of Computer Science at the University of Tartu (UniTartuCS for short) has a (new) register for bachelor’s and master’s theses.

In the beginning of February I switched from my old Samsung Galaxy A52 to a new Samsung Galaxy S25+, which was just released.

When resetting a Moodle course for a new year/semester, it can be very tedious to update the availability and due dates for all activities/assignments/etc in the course.

Requirements Suppose the goal is to simultaneously achieve all of the following for typesetting URLs with the \url command:1 URLs are clickable.

What led to two of my recent posts is TP-Link’s inability to get IPv6 firewall right on their routers.1 Allowing all incoming IPv6 traffic For a long time my home NAS was publically accessible from the internet under my own subdomain.

I recently discovered Tailscale for setting up a private VPN.

HSTS is a mechanism to force browsers to use HTTPS instead of HTTP to connect to a site.

This post continues the Springer typesetting saga from part 1 on a pair of papers in March 2024.

This post describes (only some) of my frustrations with Springer’s typesetting of one paper (Saan et al., 2024) in December 2023 and was also written around that time, but not published.

This post documents my automata-theoretic approach to solving regex crosswords, which is unlike other approaches out there (see Related work below).

I was following “Proof Pearl: Regular Expression Equivalence and Relation Algebra” (Krauss & Nipkow, 2012) to implement a regular expression equivalence checker in OCaml to validate it as a project idea for my “Advanced Topics in Automata, Languages and C…

Recently (but also 3 years ago), I was interested in finding all catch-all exception handlers in Goblint, which is written in OCaml, in order to prevent “uncatchable” exceptions from being caught and accidentally swallowed.

When submitting OCaml packages to the opam package repository, opam-ci runs extensive checks on the package submitted by the pull request.

One advanced git feature is git rerere, which helps with resolving the same merge conflicts multiple times, e.g. when regularly rebasing a branch.

This blog post is part of my project in the Neural Networks course at University of Tartu.

On 19 April 2021 I saw a link titled “Mars 2020 Helicopter Contributor” on /r/programming.