Don Thompson @guardeddon@social.cleverlibre.org

@gutenberg_org @wikipedia Who, of course, made his name as the first professor of mathematics at Queen's College, Cork, now University College Cork. Once appointed to the professorship he spent the rest of his life in Cork.

"Logic is conversant with two kinds of relations, relations among things, and relations among facts."
Investigation of the Laws of Thought

George Boole English mathematician died #OTD in 1864. He worked in the fields of differential equations & algebraic logic, & is best known as the author of The Laws of Thought which contains Boolean algebra. Boolean logic is credited with laying the foundations for the Information Age. via @wikipedia

George Boole at PG
https://www.gutenberg.org/ebooks/author/5861

#mathematics

defaults matter a ton, and here we are, still stuck with mastodons design like its still 2017 instead of almost 2024

We've reached a milestone of 200,000 users 🎉

After a bit of struggle, I've successfully deployed an instance of #Seafile - a #FOSS #selfhosted alternative to #googleDrive, #dropbox, etc.

Manual setup was a bit of a pain (they want you to use docker, of course) but well worth it! It does all the collaborative google drive-y things I need it to.

https://seafile.com

Govt finally admits Russian meddling in our democratic processes. So why years of obfuscation about Intelligence Cttee
https://nitter.cz/search?q=%23RussiaReport
; why have I & other cross party MPs had to take Govt to court to try to force them to act; & why do we still not have proper protections in place?

🐦🔗: https://nitter.cz/CarolineLucas/status/1732762546145247286#m

[2023-12-07 14:02 UTC]

Over a year ago, former PM Boris Johnson - now a proven liar - told me he wasn't aware of any Russian interference in our elections. Now the Govt quietly admits that there was. So when will we have a full inquiry to ensure such attacks on our democracy never happen again?
<p>
https://nitter.cz/CarolineLucas/status/1496129233302835207#m
</p>

🐦🔗: https://nitter.cz/CarolineLucas/status/1732785024506736642#m

[2023-12-07 15:31 UTC]

Now I see. #cybertruck

My biggest pet peeve is restaurants/gigs/events or venues of any kind which have a social media page instead of a website. I don't have fucking instagram, so I literally can't see your menu/lineup? Even if I had instagram, it's an entirely inaccessible format so would be fucking useless? These platforms are for promotion, not for hosting vital information.

GDAL Released: v3.8.1 https://geoobserver.wordpress.com/2023/12/04/gdal-released-v3-8-1/ via @GdalOrg @EvenRouault #gdal #ogr #qgis #switch2qgis #fossgis #foss4g #opensource #gistribe #gischat #spatial #geospatial #gis #geo #geoObserver pls RT

"Once the commander in chief says “I will not come to an ally’s aid if attacked,” why would anyone fear NATO, regardless of what obligations still exist on paper? And once the Russians, or anyone else, no longer fear a U.S. response to an attack, then the chances that they will carry one out grow higher.
on the fate of NATO, if Trump wins: https://www.theatlantic.com/magazine/archive/2024/01/trump-2024-reelection-pull-out-of-nato-membership/676120/

The third-largest state in Germany has an official #mastodon server.

https://bawü.social/about

(With an umlaut in its domain name!)

Imho all #governments in all countries on all levels should communicate via the #fediverse, instead of via commercial services. Why should a profit-maximizing feed #algorithm, and an ad placement algorithm get between the citizen and their government in a democracy?

Events import and synchronization, announcements, conversations... with Mobilizon v4 releasing today, we're reaching our goals (and are ready to pass the ball!).

Read about the 5 years of work that went into Mobilizon v4 : https://framablog.org/2023/12/05/mobilisation-v4-the-maturity-stage/

"What is AI? It is a marketing term. It's a way to make automation sound magical. As such it is a way to dodge accountability by making machines sound like autonomous entities rather than tools created by people and companies. Discussion about this technology becomes much clearer when we replace "AI" with "automation" and ask: What is automated? Who is automating? Who is profiting and who is harmed?"
- @emilymbender

https://youtu.be/eK0md9tQ1KY?si=DmIPhir4VQ0tNg3O

⚠️ Why am I seeing this post?

Tap the 3 dots menu, then "Why you're seeing this post"

If you see posts in your home feed from accounts you do not follow, it's because you follow a hashtag used in that post!

Please boost this PSA!

#pixelfed #psa

@neil I used it (and promote it) since a few years now, and I'm 100% satisfied of it.
upgrades are regular, stability is perfect, resources required almos null,

I'm a big fan. We even sell this as a SAAS product, so now I'll pay the developer <3

Reduce your need to earn.
#permaculture #economics

It's time for another #PROJ release. 9.3.1 just landed! Release announcement here: https://lists.osgeo.org/pipermail/proj/2023-December/011186.html