This Site

The menus at the top are drop-downs, where applicable, but you can also click on the menu item itself to get an overview page. The item on the top left-hand side is the home link.

On narrow mobile phone screens, the main menu itself is a drop-down, with no secondary drop-down from there. This would be awkward. Navigate via the overview pages in this case.

Terms of Use

In short, avoiding lengthy legalese, you’re using this website at your own risk, mentally and technically. While I don’t use any tracking, if you visit a site that I link to, they might do so. Also, while on another website, even if I link to it, their terms of use and privacy policy will apply, obviously.

If you don’t understand what the following paragraph means, you’re fine. Enjoy.

This site uses static files only, and all accessible pages are publicly listed in the sitemap.xml file. If you simply read or crawl this site accordingly, all will be fine. I am very strict regarding attempts to access content otherwise, as there’s simply no need for that. If you repeatedly POST to this site, or try to access a script resource such as a .php file, you will be banned for some hours. If you attempt to connect using other protocols than HTTP, you’ll be banned as well. If you’re banned several times, the monitoring mechanics will start to ban you for days.


See the Licences section for the terms and conditions that apply to the Oberon and Verilog code on, or referred to, from this site.


Your privacy is impor… stop the BS. Let me not, as many websites do, state that your privacy is important, to then outline on page after page how I undermine it.

Let me just tell you what I do, without weaselly wording.

I don’t use any third party analysis and tracking service. I have decided that I neither need nor want it. Hence, this site does not use any cookies at all, and does not store any personalised data.

Your visits will be recorded in the usual server log files. I use goaccess to analyse the server logs for technical problems, misuse, and attacks.

Device Support

Everything from desktop computers with large screens to laptops to tablets and mobile phones should present the contents somewhat decent and navigable.

Browser Support

The site gets tested on recent browsers, namely Safari, Chrome, Firefox, and Edge, on macOS, Windows, and iOS. I don’t have access to Android or Linux desktop systems, sorry.

No special efforts are put into supporting ancient browsers. Upgrade. It’s in your best interest anyway, from a security point of view.


The site contents consists completely of static files, without any server-side processing. The contents files are generated with Hugo on my Mac and uploaded to a Linux server at Linode. This server is 100% under my control, log files and all.