Signing up to the Raspberry Pi website, and it encourages users to use a password manager! Great to see them teaching good computing practices.
miniblog.
Related Posts
Computing optimal 8501 instructions for rotations using an SMT solver and Racket with Rosette:
Difftastic is effectively computing the "tree edit distance" between two ASTs, and there's a bunch of papers on this topic. Literature review is hard though: sometimes a paper takes a while to digest, only to realise that they're solving a slightly different problem.
Modern computer systems are hard to bootstrap. If you had to rebuild computing from older tech (say 20/30/40 years old), which would you prefer?