No, it wasn’t a virus; it was Chrome that stopped Macs from booting
Article, Comments

Phoronix
Richard Stallman To Continue As Head Of The GNU Project

While Richard Stallman resigned as president of the Free Software Foundation last week, he just announced he'll be continuing as head of the GNU Project...

Due to vascular issues, I'm likely going to leave quite a few groups until I feel better. If this is sent to one of said groups, then this is a group I'm leaving. Will be back once the vascular issues go away, however this isn't certain to even happen. This channel will still remain active, without any changes. I may open my own group eventually, but that isn't certain quite yet. Hope all are doing well, and cheers.

Since it became official that Kik is shutting down October 19, we at Ragebot are now focusing 100% on creating RageChat - the best Kik alternative.
You can also join our other settlements on these platforms for any news and updates:

Telegram: https://news.1rj.ru/str/RageChat
Discord: https://discord.gg/h96uGWF
MeWe: https://mewe.com/join/rage_bot
Reddit: https://www.reddit.com/r/RageChatOfficial/

About RageChat:
https://www.reddit.com/r/RageChatOfficial/comments/da4qof/a_warm_welcome_and_introduction_to_ragechat/
RageChat site: https://Rage.Chat

We need decentralized communication
Article, Comments

Keybase iOS Has a Backdoor
Article, Comments

Sorry macOS users, but Apple has gone too far for some of us devs
Article, Comments

When you enroll in University-level computer science courses expecting to learn some great theory. Formal methods, category theory, operational semantics, formal definitions, the history of how theorem provers led to ML-family languages and the creation of typed lambda calculus from prototypical LISPs. But instead you end up spending 3 class periods on iterating for-loops in Python.

Functional Programming, Free Software, Distributed Systems, Type Theory, Strict Type Systems, Separation Logic, LISP, Functional Package Management, File-system Hygiene, Determinacy, Low-level verification, End-to-end verification, The fact that Chipset speculation is not a necessity.