https://sim642.eu/blog/2021/04/30/my-github-mars-2020-helicopter-contributor-badge/ 2021-04-30T00:00:00+00:00 https://sim642.eu/blog/2021/06/13/program-source-code-as-machine-learning-data/ 2021-06-14T00:00:00+00:00 https://sim642.eu/blog/2021/10/16/training-git-rerere/ 2021-10-16T00:00:00+00:00 https://sim642.eu/blog/2022/03/13/ocaml-dependencies-lower-bounds-ci/ 2025-07-22T00:00:00+00:00 https://sim642.eu/blog/2024/05/01/ocaml-linting/ 2025-08-27T00:00:00+00:00 https://sim642.eu/blog/2024/07/15/error-in-conways-regular-algebra-and-finite-machines/ 2024-07-15T00:00:00+00:00 https://sim642.eu/blog/2024/07/20/regex-crossword-automata/ 2024-07-20T00:00:00+00:00 https://sim642.eu/blog/2024/07/21/springer-anti-typesetters-part-1/ 2024-07-22T00:00:00+00:00 https://sim642.eu/blog/2024/07/22/springer-anti-typesetters-part-2/ 2024-07-22T00:00:00+00:00 https://sim642.eu/blog/2024/08/10/firefox-hsts-bypass/ 2024-08-10T00:00:00+00:00 https://sim642.eu/blog/2024/08/11/tailscale-https-certificate-on-synology-nas/ 2024-11-10T00:00:00+00:00 https://sim642.eu/blog/2024/08/24/tp-link-cannot-get-ipv6-firewall-right/ 2025-01-05T00:00:00+00:00 https://sim642.eu/blog/2025/01/26/clickable-breakable-colored-underlined-urls-in-latex/ 2025-01-26T00:00:00+00:00 https://sim642.eu/blog/2025/02/08/shifting-dates-and-times-when-resetting-a-moodle-course/ 2025-03-16T00:00:00+00:00 https://sim642.eu/blog/2025/03/21/my-not-so-great-experience-with-switching-android-phones-in-2025/ 2025-05-01T00:00:00+00:00 https://sim642.eu/blog/2025/04/13/trends-in-unitartucs-theses/ 2025-07-06T00:00:00+00:00 https://sim642.eu/blog/2025/05/01/referencing-lines-in-fancyvrb-minted/ 2025-06-03T00:00:00+00:00 https://sim642.eu/blog/2025/07/18/highlighting-parts-of-lines-in-minted/ 2025-07-18T00:00:00+00:00 https://sim642.eu/blog/2025/07/25/securing-applications-with-oauth2-proxy-on-synology-nas/ 2025-07-25T00:00:00+00:00 https://sim642.eu/blog/2025/08/29/scraping-barcodes-with-suffix-trees/ 2025-08-29T00:00:00+00:00 https://sim642.eu/blog/2025/10/06/doi-to-biblatex-a-misery/ 2025-10-06T00:00:00+00:00 https://sim642.eu/blog/2026/01/24/times-with-math-newtx-vs-termes/ 2026-02-18T00:00:00+00:00 https://sim642.eu/cv/ https://sim642.eu/blog/ https://sim642.eu/ https://sim642.eu/news/ https://sim642.eu/publications/ https://sim642.eu/repositories/ https://sim642.eu/teaching/ https://sim642.eu/blog/2021/ https://sim642.eu/blog/2022/ https://sim642.eu/blog/2024/ https://sim642.eu/blog/2025/ https://sim642.eu/blog/2026/ https://sim642.eu/blog/tag/programming/ https://sim642.eu/blog/tag/open-source/ https://sim642.eu/blog/tag/personal/ https://sim642.eu/blog/tag/github/ https://sim642.eu/blog/tag/programming-languages/ https://sim642.eu/blog/tag/machine-learning/ https://sim642.eu/blog/tag/neural-networks/ https://sim642.eu/blog/tag/university/ https://sim642.eu/blog/tag/git/ https://sim642.eu/blog/tag/tutorial/ https://sim642.eu/blog/tag/ocaml/ https://sim642.eu/blog/tag/ci/ https://sim642.eu/blog/tag/computer-science/ https://sim642.eu/blog/tag/regular-expressions/ https://sim642.eu/blog/tag/academia/ https://sim642.eu/blog/tag/java/ https://sim642.eu/blog/tag/typesetting/ https://sim642.eu/blog/tag/latex/ https://sim642.eu/blog/tag/rant/ https://sim642.eu/blog/tag/firefox/ https://sim642.eu/blog/tag/security/ https://sim642.eu/blog/tag/synology/ https://sim642.eu/blog/tag/networking/ https://sim642.eu/blog/tag/teaching/ https://sim642.eu/blog/tag/moodle/ https://sim642.eu/blog/tag/android/ https://sim642.eu/blog/tag/samsung/ https://sim642.eu/blog/tag/usability/ https://sim642.eu/blog/tag/algorithms/