corpus.blog
41554 blogs · [ { "id": "01a087e1-0672-7231-980c-073dd760ee5c", "title": "A cute challenge with OCaml’s polymorphic variants", "url": "https://sim642.eu/blog/2026/06/23/a-cute-challenge-with-ocamls-polymorphic-variants/", "published_at": "2026-06-23T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-0413650f063e", "title": "Simmo Saan otsib probleemidele lihtsaid ja elegantseid lahendusi 🇪🇪", "url": "https://sim642.eu/blog/2026/06/04/simmo-saan-otsib-probleemidele-lihtsaid-ja-elegantseid-lahendusi/", "published_at": "2026-06-04T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-041365d6d266", "title": "Times with math: newtx vs Termes", "url": "https://sim642.eu/blog/2026/01/24/times-with-math-newtx-vs-termes/", "published_at": "2026-01-24T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-041366bb2ae2", "title": "DOI to Bib(La)TeX – a misery", "url": "https://sim642.eu/blog/2025/10/06/doi-to-biblatex-a-misery/", "published_at": "2025-10-06T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-041366d0088f", "title": "Scraping barcodes with suffix trees", "url": "https://sim642.eu/blog/2025/08/29/scraping-barcodes-with-suffix-trees/", "published_at": "2025-08-29T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-041366f5e4fe", "title": "Securing applications with oauth2-proxy on Synology NAS", "url": "https://sim642.eu/blog/2025/07/25/securing-applications-with-oauth2-proxy-on-synology-nas/", "published_at": "2025-07-25T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-041367b644bb", "title": "Highlighting parts of lines in minted", "url": "https://sim642.eu/blog/2025/07/18/highlighting-parts-of-lines-in-minted/", "published_at": "2025-07-18T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-041368569554", "title": "Referencing lines in fancyvrb/minted", "url": "https://sim642.eu/blog/2025/05/01/referencing-lines-in-fancyvrb-minted/", "published_at": "2025-05-01T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-041368b28e21", "title": "Trends in UniTartuCS theses", "url": "https://sim642.eu/blog/2025/04/13/trends-in-unitartucs-theses/", "published_at": "2025-04-13T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-0413692ae397", "title": "My (not-so-great) experience with switching Android phones in 2025", "url": "https://sim642.eu/blog/2025/03/21/my-not-so-great-experience-with-switching-android-phones-in-2025/", "published_at": "2025-03-21T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-041369867254", "title": "Shifting dates and times when resetting a Moodle course", "url": "https://sim642.eu/blog/2025/02/08/shifting-dates-and-times-when-resetting-a-moodle-course/", "published_at": "2025-02-08T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136a3b501a", "title": "Clickable, breakable, colored & underlined URLs in LaTeX", "url": "https://sim642.eu/blog/2025/01/26/clickable-breakable-colored-underlined-urls-in-latex/", "published_at": "2025-01-26T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136af07dd2", "title": "TP-Link cannot get IPv6 firewall right", "url": "https://sim642.eu/blog/2024/08/24/tp-link-cannot-get-ipv6-firewall-right/", "published_at": "2024-08-24T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136bb270b1", "title": "Tailscale HTTPS certificate on Synology NAS", "url": "https://sim642.eu/blog/2024/08/11/tailscale-https-certificate-on-synology-nas/", "published_at": "2024-08-11T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136bc1758b", "title": "Firefox HSTS bypass", "url": "https://sim642.eu/blog/2024/08/10/firefox-hsts-bypass/", "published_at": "2024-08-10T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136c732c03", "title": "Springer anti-typesetters, part 2", "url": "https://sim642.eu/blog/2024/07/22/springer-anti-typesetters-part-2/", "published_at": "2024-07-22T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136cd782f8", "title": "Springer anti-typesetters, part 1", "url": "https://sim642.eu/blog/2024/07/21/springer-anti-typesetters-part-1/", "published_at": "2024-07-21T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136d9289dc", "title": "Automata-theoretic approach to regex crosswords", "url": "https://sim642.eu/blog/2024/07/20/regex-crossword-automata/", "published_at": "2024-07-20T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136db4c88e", "title": "Error in Conway’s “Regular Algebra and Finite Machines”", "url": "https://sim642.eu/blog/2024/07/15/error-in-conways-regular-algebra-and-finite-machines/", "published_at": "2024-07-15T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136e106382", "title": "OCaml linting tools and techniques", "url": "https://sim642.eu/blog/2024/05/01/ocaml-linting/", "published_at": "2024-05-01T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136e42e89e", "title": "OCaml dependencies lower-bounds CI", "url": "https://sim642.eu/blog/2022/03/13/ocaml-dependencies-lower-bounds-ci/", "published_at": "2022-03-13T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136efe2689", "title": "Training git rerere", "url": "https://sim642.eu/blog/2021/10/16/training-git-rerere/", "published_at": "2021-10-16T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-04136f253abb", "title": "Program source code as machine learning data", "url": "https://sim642.eu/blog/2021/06/13/program-source-code-as-machine-learning-data/", "published_at": "2021-06-13T00:00:00+00:00" }, { "id": "01a087e1-0673-71d2-8dc1-0413701a2b7b", "title": "My GitHub Mars 2020 Helicopter Contributor badge", "url": "https://sim642.eu/blog/2021/04/30/my-github-mars-2020-helicopter-contributor-badge/", "published_at": "2021-04-30T00:00:00+00:00" } ] posts Claim your blog
Back to sim642.eu
Blog · corpus.blog/blogs/sim642.eu/posts

sim642.eu

sim642.eu

2026

A cute challenge with OCaml’s polymorphic variantsoriginal ↗
23 Jun 2026
Simmo Saan otsib probleemidele lihtsaid ja elegantseid lahendusi 🇪🇪original ↗
4 Jun 2026
Times with math: newtx vs Termesoriginal ↗
24 Jan 2026

2025

DOI to Bib(La)TeX – a miseryoriginal ↗
6 Oct 2025
Scraping barcodes with suffix treesoriginal ↗
29 Aug 2025
Securing applications with oauth2-proxy on Synology NASoriginal ↗
25 Jul 2025
Highlighting parts of lines in mintedoriginal ↗
18 Jul 2025
Referencing lines in fancyvrb/mintedoriginal ↗
1 May 2025
Trends in UniTartuCS thesesoriginal ↗
13 Apr 2025
My (not-so-great) experience with switching Android phones in 2025original ↗
21 Mar 2025
Shifting dates and times when resetting a Moodle courseoriginal ↗
8 Feb 2025
Clickable, breakable, colored & underlined URLs in LaTeXoriginal ↗
26 Jan 2025

2024

TP-Link cannot get IPv6 firewall rightoriginal ↗
24 Aug 2024
Tailscale HTTPS certificate on Synology NASoriginal ↗
11 Aug 2024
Firefox HSTS bypassoriginal ↗
10 Aug 2024
Springer anti-typesetters, part 2original ↗
22 Jul 2024
Springer anti-typesetters, part 1original ↗
21 Jul 2024
Automata-theoretic approach to regex crosswordsoriginal ↗
20 Jul 2024
Error in Conway’s “Regular Algebra and Finite Machines”original ↗
15 Jul 2024
OCaml linting tools and techniquesoriginal ↗
1 May 2024

2022

OCaml dependencies lower-bounds CIoriginal ↗
13 Mar 2022

2021

Training git rerereoriginal ↗
16 Oct 2021
Program source code as machine learning dataoriginal ↗
13 Jun 2021
My GitHub Mars 2020 Helicopter Contributor badgeoriginal ↗
30 Apr 2021