Dima Pasechnik @dimpase@functional.cafe

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

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.

Jelly's blog – E-ink home display

https://vdwaa.nl/eink-home-display.html

Got a lot of hate for useplaintext.email 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

#DeleteFacebook

New book announced on "Programming Algorithms" in Lisp, under CC-BY-NC-ND license: http://lisp-univ-etc.blogspot.com/2019/07/programming-algorithms-book.html?m=1
#lisp #algorithms

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: https://community.mailpile.is/t/mailpile-and-the-sks-keyserver-attacks/185

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

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.

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.

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.

What is a fork, really, and how GitHub changed its meaning

https://drewdevault.com/2019/05/24/What-is-a-fork.html

So I have decided to start my personal Nix FAQ, with questions I ask to myself, and to which I often don't have the answer. Please do not hesitate to provide them 🙂

https://otini.chnik.fr/posts/personal-nix-faq.html
#Nix #NixOS