sim642's blog

Shifting dates and times when resetting a Moodle course

4 min read · February 08, 2025

2025 · academia teaching university moodle
Clickable, breakable, colored & underlined URLs in LaTeX

3 min read · January 26, 2025

2025 · academia typesetting latex
TP-Link cannot get IPv6 firewall right

3 min read · August 24, 2024

2024 · networking security
Tailscale HTTPS certificate on Synology NAS

3 min read · August 11, 2024

2024 · networking security
Firefox HSTS bypass

3 min read · August 10, 2024

2024 · firefox open source security
Springer anti-typesetters, part 2

7 min read · July 22, 2024

2024 · academia typesetting latex
Springer anti-typesetters, part 1

6 min read · July 21, 2024

2024 · academia typesetting latex
Automata-theoretic approach to regex crosswords

9 min read · July 20, 2024

2024 · computer science regular expressions programming java
Error in Conway's "Regular Algebra and Finite Machines"

4 min read · July 15, 2024

2024 · computer science regular expressions academia
OCaml linting tools and techniques

8 min read · May 01, 2024

2024 · programming ocaml open source
OCaml dependencies lower-bounds CI

5 min read · March 13, 2022

2022 · programming ocaml github ci
Training git rerere

2 min read · October 16, 2021

2021 · programming git
Program source code as machine learning data

16 min read · June 13, 2021

2021 · programming languages machine learning neural networks university
My GitHub Mars 2020 Helicopter Contributor badge

2 min read · April 30, 2021

2021 · programming open source personal github