Why are there so few jokes about Coq and/or LaTeX? I feel like we’re letting ourselves down.
Notices by mkb (mkb@mastodon.social)
-
mkb (mkb@mastodon.social)'s status on Friday, 26-Jul-2019 19:18:53 EDT mkb -
mkb (mkb@mastodon.social)'s status on Wednesday, 17-Jul-2019 13:42:38 EDT mkb I’m going to be in a spot with slow, unreliable internet. I’d like a way to download big-ish files without going insane.
Basically I’d like to be able to stage files someplace with a good connection (maybe a DigitalOcean VM) then trickle-sync them to a local Pi.
What would you use to do this? The first options that come to mind are #IPFS or just running rsync in an endless loop.
How would you do it?
(If you’re willing to boost for reach, I’d appreciate it.)
-
mkb (mkb@mastodon.social)'s status on Monday, 15-Jul-2019 15:27:39 EDT mkb Alan Turing will appear on Britain's new £50 note
https://www.cnn.com/2019/07/15/business/alan-turing-50-pound-note/index.html
Despite Turing's incredible work during the war, he was later hounded for being gay and ultimately driven to suicide. The man who invented the Turing machine and the Turing test, the man whose codebreaking work saved countless lives, deserved better.
Posthumous honors can't make up for the past, but I'm glad to see them all the same.
-
mkb (mkb@mastodon.social)'s status on Saturday, 06-Jul-2019 16:21:13 EDT mkb @jim Yeah, I find demonization of @mozilla really frustrating. It's emblematic of why well-intentioned people can't have nice things.
-
mkb (mkb@mastodon.social)'s status on Friday, 31-Aug-2018 12:44:50 EDT mkb In general we're terrible at hiring. We overvalue raw intelligence and specific technical knowledge. (Sorry, this project uses Ruby 2.5.1 and you only know Ruby 2.5.0.)
Meanwhile we undervalue the most important skills: judgement, empathy, and communication. I don't care how brilliant my colleague's code is if the person can't explain it, is a jerk, or the code never should have been written in the first place.
-
mkb (mkb@mastodon.social)'s status on Sunday, 26-Aug-2018 18:41:02 EDT mkb Hi!
Hashtag searches are a good way to find folks. With the default Mastodon client you can pin columns for searches you use a lot.
I’m sure I’m forgetting good ones but in the #privacy and #cryptography vein some good ones to follow are:
@micahflee @uranther @rysiek @jjg @cryptpad @Privacy @tinker @Purism @lattera @privacylab @torproject @x0rz @mala
-
mkb (mkb@mastodon.social)'s status on Sunday, 26-Aug-2018 13:34:05 EDT mkb Today is the 100th birthday of technical badass Katherine Johnson. Ms Johnson calculated trajectories for Apollo space missions by hand.
-
mkb (mkb@mastodon.social)'s status on Wednesday, 30-May-2018 14:52:54 EDT mkb @strypey @david_ross Yes, this gets into the important related argument that "I've got nothing to hide."
The way I sometimes frame it is if you feel like you've got nothing to hide, that's great, but we all have friends and loved ones in marginalized groups. The way we conduct ourselves affects their privacy too.