The year is 2020, and most people still see no difference between existential and universal quantifier.

git config --global alias.oops 'reset --hard HEAD^'

git oops

Oh god, I'm tempted to take my friend up on the idea of a 200km #cycle on Saturday! He wants to set a new record.

Got a lot of hate for and it was kind of bringing me down

Then I reviewed 20 patches in aerc and remembered how cash money plaintext code reviews are

This shit is great, plaintext 5ever, fuck the haters yo

Oh yes, the heatwave still to arrive tomorrow, with +28, and to cool down to +22 Monday :)

Show thread

sometimes it pays off to go so far North as Tallinn in summer - air temperature 24 degrees Celsius, sea water 23, sunny, we picked raspberries and blueberries in the pine forest on the way to the beach :)

spent about 10 hours preparing a job application... duh

@gentoo - for how long repo rsync will be down?
# ping
ping: Temporary failure in name resolution


Oh my, someone finally went and broke the OpenPGP SKS Keyservers. Or rather, put garbage in them which in turn breaks GnuPG.

I've updated #Mailpile to cope, details and discussion are here:

Every time someone says "Install this <Video App> for the MeetUp", I die a bit inside.

One can think it's dumb. I think that's a lazy knee jerk reaction just to protect ones own feeling that "something is wrong".

One can think developers *ought* not to put their ethics into software. I think that's called paid proprietary software. But I believe FLOSS is all about ethics, and doesn't get to drawn an arbitrary line.

One can claim "slippery slope" with the "poor white ethnostate advocates". I would ask, what's the slope *below* that, "poor child rapist white ethnostate adv"? Ew

Show thread

So seriously -- before someone complains about #Tusky again because it "just feels wrong" -- that moment of emotion, that gut feeling of getting flustered and passionate because it just feels "wrong" is and always has been my sign to myself that I need to step back and really check myself. My best personal growth both logically and emotionally has usually ensued by channeling that passion into learning and listening instead of writing and talking.

I hope others do the same.

Show thread

And look - I get I come across as passionate and loud. It's because of all the engineering I've done -- studying nuclear engineering, defense contracting for the US government, NIST models for natural disasters, working at big G -- it's only in the Computer Software Engineering field where I've seen the privileged/ignorant mindset of "let tech take its course without injecting our humanity" run rampant. It's a plague.

Ex: Fission power & fission bombs: same tech. Ethics makes the difference.

Show thread

Just finished configuring Firefox and Chromium for my disposable VM's in Qubes OS.

It's a lot of work to create a baseline browser configuration that is reasonably private. Even Firefox defaults to share usage information.

Show more
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!