Skip to main content



A Thought on Understanding
·114 words·1 min
Do large language models, like ChatGPT, understand what we ask and they respond?


Learning to Program is Hard
·477 words·3 mins
Learning a new language is hard; learning a programming language, meant to be “understood” by a computer, doubly so.
Lua for LaTeX commands
·306 words·2 mins
TeX remains the best system for typesetting documents.
Are two words anagrams?
·350 words·2 mins
When correcting a single solution takes considerable time.


Hello Web from Idris 2
·676 words·4 mins
Idris is a functional programming language with dependent types.
The only slippery slope with an exit
·1963 words·10 mins
Early last month, Apple announced they would start scanning pictures bound for their iCloud Photo Library for known child sexual abuse material (CSAM).
Hugo, Pandoc, Nix and MathML
·1140 words·6 mins
Augmenting Hugo through Nix’ and Pandoc’s versatility.
What Is Programming?
·2773 words·14 mins
Introduction I have been a lecturer in computer and data science for five years now, working at a university of applied sciences in The Netherlands.


Avoid systemd's emergency mode on mount failure
·226 words·2 mins
My NAS runs NixOS.