This blog is mainly about what I do outside my studies or job. Here I mainly write about topics that I find interesting, things I’ve recently learned or cool ideas.
| ⊨ Numerically stable algorithm for computing the running mean |
| Published on 2021-04-16. |
| ⊨ NetBSD's pkgsrc as a development environment |
| Published on 2019-12-03. |
| ⊨ First impressions on Sourcehut |
| Published on 2019-11-18. |
| ⊨ Sum algebraic data types in C |
| Published on 2019-11-15. |