Posts by soaproot@sfba.social
 (DIR) Post #AfeoVCzoFZcvzeESBs by soaproot@sfba.social
       0 likes, 0 repeats
       
       If I can't have #caturday I don't want to be part of your revolution. #mastodonRevolution #mastodonMigration
       
 (DIR) Post #AfeoVEJhL7885cXqpU by soaproot@sfba.social
       0 likes, 0 repeats
       
       Why would you prove theorems in a computer-checkable format? Without one, if you publish a proof it takes highly skilled experts a year to figure out whether your proof is correct (if you are credible enough that they'll bother). With one, the computer is checking each step of the proof and the humans only need to compare what you prove with what you claim to have proved. I prove #constructiveMathematics at https://us.metamath.org/ileuni
       
 (DIR) Post #AfeoVFYyhmwlxIhZHk by soaproot@sfba.social
       0 likes, 0 repeats
       
       The best short form way to say why I pair program is that software is a constant set of decisions from small to large and at least for me soloing is a way to increase the risk that any one of them could stall out  progress on the whole task. #PairProgramming #softwareDevelopment #agile
       
 (DIR) Post #B4W92UFMaepwdd5PDE by soaproot@sfba.social
       0 likes, 0 repeats
       
       @EUCommission I'm sure I'm not the only one who needed to look this up: https://en.wikipedia.org/wiki/2016_Brussels_bombings
       
 (DIR) Post #B8CIEaG0obp6gu9nPs by soaproot@sfba.social
       0 likes, 0 repeats
       
       @fdroidorg Fascinating. I always thought of the hard part of reproducible builds as being making the verification possible but hadn't even thought about how the verification is to be done. @pachli