📆
2022-07-26
Different Git Server, Different E-Mail Address When you use Git on a daily basis, chances are that you use it with multiple remote servers—and do so with different email addresses. I personally use:
My work email address (let’s say patrick@work.xy for the sake of brevity) for my employer’s Git server (git.work.xy to keep it short). My private email address (patrick@home.xy) for GitHub (github.com). The school’s email address (patrick@school.xy) for the Git server used for teaching (git.
📆
30.04.2022
In der nebenläufigen Programmierung ist Fire and Forget ein Prinzip, bei dem untergeordnete Aufgaben gestartet werden und anschliessend nicht mehr auf deren Beendigung gewartet wird. Man kann davon ausgehen, dass der Task dann irgendwann zu Ende sein wird, und das Ergebnis wird dann schon stimmen. Eine Beispiel hierfür wäre eine Datensicherung, die von einem lang laufenden Server gestartet wird. Sofern der Server nicht neu gestartet wird, dürfte der Vorgang dann schon zu Ende laufen.
📆
13.04.2022
Explanations exist; they have existed for all time; there is always a well-known solution to every human problem — neat, plausible, and wrong.
‒ H. L. Mencken
Im Geografieunterricht am Gynmasium kann ich mich an zwei Lehrer erinnern: Der erste war eher ein Haudegen; hatte ein enormes Wissen, versteckte dieses aber teilweise hinter seiner jovialen Art. Bei ihm im Unterricht haben wir angeschaut, was die Fakten sind. In New York herscht dieses und in den Tropen jenes Klima.
📆
31.12.2021
Bald ist das Jahr zu Ende, und ich habe in den letzten Wochen und Monaten verschiedenste Ideen gehabt, womit ich mich 2022 beschäftigen könnte. Einige Ideen habe ich bald wieder fallen lassen, z.B. diese Webseite nach Hugo zu migrieren (denn die Sache wird damit nicht einfacher, eher komplizierter). Andere Ideen haben sich immer wieder von neuem aufgedrängt, doch konnte ich sie aus Zeitmangel nicht weiterverfolgen.
Ein Mangel an Zeit ist ist doch meistens nur eine Prioritätsfrage: Wenn etwas wichtig genug ist, wird man es schon angehen.
📆
17.12.2021
Selten war meine Laune am Jahresende so schlecht. Dass ich mitte Dezember erschöpft bin und mich nach einer Pause sehne, ist nichts Neues und war zu erwarten. Leider habe ich aber auch das Gefühl, dass dieses Jahr für mich extrem unproduktiv war, und ich stehenbleibe, ja gar Rückschritte mache ‒ in allen möglichen Lebensbereichen.
Ich möchte hier auf mein Jahr zurückblicken, soweit es mein Erinnerungsvermögen erlaubt, um diesen Eindruck zu prüfen.
📆
09.05.2021
Besides a mathematical inclination, an exceptionally good mastery of one’s native tongue is the most vital asset of a competent programmer.
— Edsger W. Dijkstra, EWD 498
Sprache ist für mich sehr wichtig, und zwar nicht obwohl, sondern weil ich Informatiker bin. Obwohl ich ohne grössere Probleme in den mathematischen Fächern durch das Studium gekommen bin, sind meine Fähigkeiten in diesem Fach nicht besonders stark ausgeprägt. (Meine Mathematiklehrer vom Gynmanisum können dies sicherlich bestätigen.
📆
2021-05-02
In The Clean Coder, Chapter 7 (Acceptance Tests), Robert C. Martin writes (p. 109):
But the real reason these tests aren’t redundant is that their primary function is not testing. The fact that they are tests is incidental. […] The fact that they automatically verify the design, structure, and behaviour that they specify is wildly useful, but the specification is their true purpose. [Bold emphasis mine.]
OK, boomer, here’s your spec:
📆
27.09.2020
Neulich bin ich auf einer Webseite auf ein Angebot «für Benutzer*innen» gestossen. Dabei handelt es sich nicht etwa um ein Glob-Pattern, worauf der Asterisk schliessen lassen könnte, sondern wohl um ein Gendersternchen. (In der Linguistik wird dieses Zeichen zur Kenntlichmachung von ungrammatischen Konstrukten verwendet. Die Ironie dieses Zufalls dürfte im weiteren Verlauf des Artikels deutlich werden.)
Was soll nun dieses Gendersternchen bewirken? Es kürzt das umständlichere «für Benutzer und Benutzerinnen» ab.
📆
2020-09-26
I’ve been using Arch Linux since 2016. I got to understand the system better since then, and installing Arch nowadays is rather a strain on my fingers than on my brain. I automated my personal setup procedure to some extent with a couple of shell scripts, which I’m adjusting as time goes and hardware changes. I collect those scripts and setup instructions in a GitHub repo.
Even though I’ve often taken my laptop with me, especially for university, I never made the effort to encrypt my disk or a single partition thereon.
📆
2020-09-20
I have a roughly ten year old Brother HL-5370DW printer on the shelf next to me. This printer is mostly used by my wife to print sewing patterns. When I was studying computer science, I sometimes printed documents I’ve written for proofreading. I often was able to find typos that I didn’t see on the screen even after proofreading the document two or three times. However, I didn’t bother to print out my bachelor thesis.