Friedrich's "Fred" Notes

Friedrich "Fred" Clausen

I am a build and infra automation engineer working to become a better all-round developer. This blog is a record of my travels in both the development, infrastructure, and computer science mathematics space. The info on this blog may be correct or it may not; happy to get feedback either way.

Josephus - generalised binary recurrence unfolding

I have some confusion around the meaning of $b_m$ and $b_j$. I think it is as follows:

Azure Dev Ops Boards - How to get and update a Work Item using typed-rest-client

This post outlines what worked for me to update an Azure Dev Ops (ADO) Boards Work Item. I initially tried the following prior to settling on typed-rest-clie...

How to solve it - Reductio ad absurdum example

As before, this is from George Pólya’s “How to Solve It” book. I am reading this because I want to sharpen my problem solving skills and, eventually, be abl...

How to Solve It - Chains of Auxilliary Problems

This is from George Pólya’s “How to Solve It” book. I am reading this because I want to sharpen my problem solving skills and, eventually, be able to make d...

Steps for importing PEM files into JKS keystore stored within Kubernetes secrets

This post goes through the steps required specifically for creating or updating a certificate + key for use with Tomcat running in Kubernetes. There are some...