Finding a lost iPhone owner, the hard way

Posted on Tue 07 June 2022 in blog

My parents found an iPhone, couldn't locate its owner. What I tried next.


Continue reading

Releasing pipe v2.0

Posted on Mon 23 May 2022 in blog

Introducing partially parametrized pipes!


Continue reading

Monthly update: 2022-01

Posted on Mon 07 February 2022 in blog

Created ???79 commits in 20 repositories, opened 5 PRs and reviewed 4 PRs.


Continue reading

Monthly update: 2021-12

Posted on Thu 06 January 2022 in blog

Created 79 commits in 20 repositories, opened 5 PRs and reviewed 4 PRs.


Continue reading

Monthly update: 2021-11

Posted on Thu 06 January 2022 in blog

Created 115 commits in 24 repositories, opened 15 PRs and reviewed 44 PRs.


Continue reading

Monthly update: 2021-10

Posted on Thu 06 January 2022 in blog

Created 115 commits in 22 repositories, opened 15 PRs and reviewed 44 PRs.


Continue reading

Monthly update: 2021-09

Posted on Thu 06 January 2022 in blog

Created 91 commits in 12 repositories, opened 20 PRs and reviewed 12 PRs.


Continue reading

How to install any distrib on a Gandi VPS

Posted on Thu 18 November 2021 in blog

I needed to install BBB, which requires Ubuntu 18.0.4, but they only had Ubuntu 20.0.4...


Continue reading

How APT does its fancy progress bar

Posted on Wed 13 October 2021 in blog

It uses good old VT100 instructions.


Continue reading

Monthly update: 2021-08

Posted on Sun 26 September 2021 in blog

Created 9 commits in 8 repositories, opened 3 PRs and reviewed 0 PRs.


Continue reading