As someone who used Prolog in an academic circumstance for more than just logic, i fully agree with that article.

But i still think C++ has more footguns than Prolog.

My threat model is not that big :)

My dad suggested me this after i told him about the new upload filters the eu is thinking about. Here is a link to a german blog post about it: https://netzpolitik.org/2024/anlasslose-massenueberwachung-frankreich-wackelt-in-der-ablehnung-der-chatkontrolle/#dokument

Is there e2e encryption available for mattermost that normies can use?

What clients will you use for xmpp/prosody?

For me old.reddit.com works, but the new interface doesn’t. Ps: i am in germany

you can even have a case where you return the first element of the list if the list is not empty, and it will still be O(1).

Just out of interest: Is that an AI generated image?

I already wanted to switch since i disliked the privacy issues, and then once my laptop got too slow for windows (1 min in a call/video before i got sound), i replaced the hdd with an ssd and installed linux mint, which i still use.

you can use flatpak remove --unused --delete-data to remove all unused dependencies and delete their data.

Most apps worked out of the box. It feels like gimp is a little bit (very tiny) slower at starting. For OpenTTD i had to manually add the x11 access in flatseal. And for osu! it is the only way i can play the current version, and that just works.

It didn’t load completely at first, so i saw something like this and i think it is even better that way: