Amanda Brock opens the second day of #stateofopencon24 !
@cubicgarden @sil Thank you for that rabbit hole.
Now running this on my Android cell phone, app is in the Play Store: https://gitlab.com/guardianproject/proofmode/proofmode-android
@sil @lawrennd to me, the interesting question is how to say “Besen, besen! Seid’s gewesen” these days, how to close the gap between a rallying cry and its technical implementation.
I wonder: more functional programming (versus e.g. Python)? That should make code verification easier, reduce 'side effects'. This doesn't put the brooms away, but does help track where they are.