sorting algorithms

Series: blog

Sorting algorithms are still an interesting topic with new developments - Pattern-defeating Quicksort

evil compiler

Series: [security blog]

In 1984 was a nice idea at turing award acceptance speech how an evil compiler can do a supply chain attack. Here is a proof of concept

bash pipe - how to fail

Series: [security blog]

Bash Pipes and how failures do (not) cascade: rachelbythebay - and remember set -o pipefail (and of cause -eu, too). But be aware, that this is not bullet prove.
a quite useful list of what can go wrong with caches, migrations and lessons learned by danluu - and why it is important for components form systems of scale to handle backpressure correct. A more easy to read alternative with focus on queues

HashiTalks2022

Series: blog

unexpected side effects are explained at HashiTalks2022 at the talk “Engineering the Ability to Destroy Non-Production with Terraform” and how to handle them with Gitflow and GitOps (recording will be released soon (tm))

average of integers

Series: blog

On finding the average of two unsigned integers without overflow on Microsoft DevBlogs Update: “Endlich Bug-Frei mit formaler Verifikation” talk at Chemnitzer Linux Tage 2022

FosDem 2022 artifacts

Series: blog

artifacts from FosDem: Software Engineering at Google (not: programming, system design) design pattern for container-based distributed systems