mastodon - Link to source

I might be working up a rant about the elegant symmetry of De Morgan's laws, and how unfortunately it's wrong.

There are four laws:

1. ¬A ∧ ¬B → ¬(A ∨ B)
2. ¬(A ∨ B) → ¬A ∧ ¬B

3. ¬A ∨ ¬B → ¬(A ∧ B)
4. ¬(A ∧ B) → ¬A ∨ ¬B

Intuitionistic logic accepts 1–3, but not 4. #4 claims that if there's no proof of A and B simultaneously, it must be for one of two reasons: there are no proofs of A at all, or there are no proofs of B at all.

But that's obviously not true except in extremely limited situations. It's like saying that if a restaurant never serves meat and fish on the same day, it's because it never serves meat or because it never serves fish.

(In contrast, the converse is obviously true: a meatless restaurant certainly never serves meat on the same day as fish. And the inverse: if the restaurant never serves meat, _and_ it never serves fish, then certainly it never serves either meat or fish, and vice versa.)

The symmetry is elegant, but wrong in general.

IL has a similar asymmetry in the duality between ∃ and ∀, of which ∨ and ∧ are special cases.

#4
This entry was edited (1 week ago)

glitchsoc - Link to source

#SelfHosting week 0, phase 1B: DNS records settings. Performed @_elena 's instructions on her "self hosting for newbies" part 2. Except for the post-install as I run it through terminal and not through web UI. For an ms-dos-born it's easier to perform a simple command such as "yunohost tools postinstall" rather than go to web, then type, then search for the various UI elements.
Everything went smooth, except for letsencrypt at first. But in the end it seems to have worked. It got stuck because hostinger panel didn't get one suggested parameter, the numeric 3600, every record has a parameter which is 3, 4 or 5 numbers.
Created the domain and subdomain to point it to yunohost admin interface, and then obstacle came.
Opening browser to subdomain, just returns "connection timed out".
Checked for nginx parameters through yunohost terminal, using the desired Sudo commands.
Then, "sudo yunohost diagnosis run"
"sudo yunohost diagnosis show --issues --human-readable"
and I got explanation on reverse dns which was wrong.
After that, I searched on the web (and on AI, I admit) the position on hostinger panel to set them, and I found "set tpr record"
placed the desired domain name.
And now it's time to wait for propagation. But what about the "connected timeout", in the article posted in blog.elenarossini.com no such obstacle was mentioned.
I'm back to my 20s when I spent the night (it's almost 4 in the morning), learning commands.
Last but not least, accessibility issue: I'm using an app called WebSSH pro, downloaded on app store. Set it up, and VoiceOver for iOS does not read the keys I press on keyboard so I'm very slow to type commands there. Pc is better. In a few hours I'll try hostinger's terminal.
UPDATE: I have just found I set one DNS wrong, now I'll wait for it to propagate. Next update in some hours. I placed a useless number. Such as 72.162 (wrong) instead of 72.62 (right).
Like when you start developing on your own and everything crashes due to a missing semicolumn in a string of code.

#accessibility #yunohost #selfhost #blind

#Accessibility #blind #selfhost #selfhosting #yunohost @Elena Rossini ⁂
This entry was edited (1 week ago)

gotosocial - Link to source

“The dark shadow of tyranny has been lifted and with this enormous promise, the Libyan people now have a great responsibility to build an inclusive and tolerant and democratic Libya that stands as the ultimate rebuke to Gaddafi's dictatorship. (…) . You have won your revolution and now we will be a partner as you forge a future that provides dignity, freedom and opportunity."

—- Barrack Obama

I hear this is going great.

#Libya #Venezuela

bbc.com/news/world-africa-1539…


Muammar Gaddafi death: World reaction

Reaction from world leaders to reports that Libya's Col Muammar Gaddafi has been killed.
BBC News
#Venezuela #Libya

mastodon - Link to source

RE: mastodon.skorpil.cz/@stepan/11…

The OP in this quoted thread is the essence of what I hate the most about the otherwise great fediverse. Thanks a lot Štěpán for setting the record straight, although it had no effect on the OP (no surprise there). Fuck communism!

Štěpán Škorpil

2026-01-03 11:36:10

glitchsoc - Link to source

Nobody's talking about this because it's not quite true. Nobody criminalises criticising the elites.
It criminalises those who "founds, supports, or promotes a Nazi, communist, or other movement which demonstrably aims to suppress human rights and freedoms, or incites racial, ethnic, national, religious or class hatred, or hatred against another group of persons". No metions about critisizing. Class hatred is not criticising.

In Czechia we had a communist regime in years 1948-1989. The communist party made nearly the same evil as nazis did. For example:
Just because of different political opinions they executed 248 people, imprisoned 205 000 people (8 000 died there), sent 20 000 people to work camps, and forced 22 000 people to work in technical auxiliary battalions.
Another 450 people trying to escape from the country was killed by our own border patrol.
This communist party used their power to completely forbid other parties, to suppress religion, to control TV, radio newspapers. They controlled who can or cannot study, publish books, or even sing based on people's political views...

The party who did all this is still operating here, proudly carrying the legacy of all this, honoring all the symbols, adoring soviet mass killers. That's the KSČM party who is now complaining about the new law, trying to shift the narrarative to "criticising the elites".


in reply to Vlastimil Babka 🇨🇿🇪🇺🇺🇦

glitchsoc - Link to source

Štěpán Škorpil

I wouldn't be so harsh on him. I know that communist ideology is becoming popular in Spain and I don't blame them in any way. The original idea is very tempting. But also very utopist. It's also true that what we see as communism is very different to what is actually promoted in Spain now.
But I felt the need to narrow the false narrative in the post. It's forbidding a suppressing ideology, which "communism" in our meaning definately is.

mastodon - Link to source

I think #XMPP has a relatively clear and achievable path to drastically reduce the amount of metadata, but I’m increasingly worried that it is not going to move the needle in terms of adoption.

For 99.99% of people, the only relevant feature for an instant messenger is simply 'Are my friends using it?' The other 0.01% are equally divided between people who already use XMPP and don’t mind the metadata, and people who won’t use it anyway.

#Jabber #Conversations_im

#xmpp #Jabber #conversations_im
This entry was edited (1 week ago)
in reply to Daniel Gultsch

mastodon - Link to source

gdt

As someone who tries to get others to use safe chat (vs gmail, FB, etc.), I understand your 99.9% comment. But, I ask people to install Signal or DeltaChat, because XMPP in practice lacks guaranteed e2e encryption (OMEMO fine, but it's not forced on), and I find including photos baffling and/or not secure (alternate upload server, not in-band). These are my two pain points, and that's for someone who has been using XMPP and running a server for 25(?) years.
in reply to Daniel Gultsch

mastodon - Link to source

Gonzalo Nemmi

I think you are 100% correct on your assumption: it won't move the needle at all

But, personally, I fail to see how that's a good reason enough not to follow that path and drastically reduce the amount of metadata as any step on that direction can only bring beneficial results for the whole ecosystem regardless of the impact on the adoption rate.

As a matter of fact, at least 3 of the points you described on your technical details should probably be already implemented.

#XMPP #Jabber

#xmpp #Jabber

mastodon - Link to source
#CzechRepublic criminalises criticising the #elites 😵
Starting on 1st January this year, you can go to prison in #Czechia if you incite "class hatred" or make #propaganda of "#communism / "#communist movement", as if it was the same as #nazi propaganda. This is effectively an indirect way to normalise #fascism... And to criminalise criticising the elites! And nobody's talking about this!!! european-left.org/czech-law-cr…

Czech Law Criminalizes Communist Propaganda Efforts

On 17 July 2025 Czech President signed into law a controversial amendment to the Criminal Code.
Dagmar European Left (European Left)
#czechia #nazi #propaganda #czechrepublic #fascism #communism #communist #elites
in reply to Štěpán Škorpil

mastodon - Link to source

João Labrincha 🌈🍉🖤☭Ⓥ 💬En/Fr

@stepan nazism was never a liberation ideology. It has always been based in nationalism, tribalism, hatred of everything that is different and foreign. An absolute opposite to communism. You write like someone who never read anything of both. Please make sure to study a bit about them before making such public declarations.
@Štěpán Škorpil
in reply to João Labrincha 🌈🍉🖤☭Ⓥ 💬En/Fr

glitchsoc - Link to source

Štěpán Škorpil

You on the other hand speak like someone blinded with one ideology and ignoring many similar aspects with other ideologies. But in fact both leading to the same evil as I was trying to show you on our experience.
When I poke into your arguments you immediately start to throw arrogant personal attacks. I am ending it here as it is not discussion anymore, its becoming a fight.

mastodon - Link to source

RE: social.tchncs.de/@gerd/1158307…

Das Problem hatte ich mit #Hugo auch, als ich damit mal ein Projekt erstellen wollte. Das Problem, dass die Hersteller solcher statischen Site Generatoren keine Dokus schreiben können, hat z. B. Eleventy auch. Da geht das auch nur mit Tutorials von Dritten, dass man überhaupt mal was versteht. Einen Einstieg findet.

gerd (@gerd@social.tchncs.de)

Versuche mich gerade ein wenig mit #Hugo vertraut zu machen. Die Doku ist für mich gewöhnungsbedürftig. Da werden einem nur alle möglichen Einstellungen um die Ohren gehauen, bei denen ich mir frage, was die von mir wollen.
gerd (Mastodon)
#hugo

mastodon - Link to source

Criticism of OpenAI/LLMs

"Hey ChatGPT, I want a new TV. I heard that LG TVs are good. Which LG TV is the best?"

"Good choice! You are absolutely right that LG TVs are a popular choice. But have you heard about [brand] TVs? [brand] TVs are [advertisement here]. Do you want me to show you where you can get a good deal on the [brand] XY-1234?"

This is the future.

ChatGPT will soon generate answers that have advertisements woven into them. What ChatGPT will tell you will be influenced by which company paid OpenAI the most.

I wonder how many people won't be bothered by that at all and continue to use ChatGPT, just as many people (boomers mostly) aren't bothered by advertisement breaks when watching cable TV and continue to find excuses for using the product.

futurism.com/artificial-intell…

OpenAI is still struggling to make profits off of this crappy technology. And that after announcing an "erotic chat mode", making ChatGPT "more horny". In a last effort to prevent the AI bubble from inevitably bursting, OpenAI is turning to the only reliable profit model they know: enshittifying products with ads. The LLM technology is a dying techology, similar to how nobody hears of 2021's NFTs anymore. Maybe the AI bubble won't burst in 2026 just yet, if enough naive people keep using ChatGPT so that the new ad revenue can keep OpenAI afloat for a little while longer. But the bubble will burst. Businesses betting on this technology, in 2026, isn't an intelligent move, to say the least. If your employer is fully committed to the AI hype, consider looking for a new job … while you still receive a salary and can take the job search more casually.

#LLM #GenAI #OpenAI


OpenAI Reportedly Planning to Make ChatGPT “Prioritize” Advertisers in Conversation

OpenAI employees working on ChatGPT report plans to unleash sponsored advertisements above organic results.
Joe Wilkins (Futurism)
#llm #openai #genai
This entry was edited (1 week ago)

calckey - Link to source

Liebe user die ihr euer Zelt bei Mastodon,social aufgeschlagen habt.

Bitte verteilt euch und nutzt andere Instanz und macht nicht den Fehler und baut diese eine Instanz zu einem Gatekeeper auf, allein wegen der schieren Masse an user.

Wenn ihr dazu hilfe braucht, meldet euch bitte.

Denn e gibt im #Fediverse die Möglichkeit, das ihr umziehen könnt 👍

#fediverse
in reply to flo

mastodon - Link to source

Marco Zehe

Entspricht aber leider bis heute in vielen Gesellschaften der Realität. Zum einen sind viele Heiraten immer noch politisch motiviert, strategische Verpartnerungen zur Mehrung des Reichtums, und andere, meist erste, heiraten sind rein genetisch-fortpflanzig motiviert, welches Genmaterial die widerstandsfähigsten Kinder produziert. Ich glaube deshalb halten viele erste Ehen auch nicht, weil nach dem Kinderkriegen die Basis fehlt. Erst die nächste Heirat ist dann i.d.r. aus Liebe.

mastodon - Link to source

Madre mía, qué oportunidad perdida de no necesariamente demostrar que sois un hatajo de mierda, El País 🤬🤬

Nicolás Maduro, el autócrata de un régimen aislado sin ninguna intención de rendirse

elpais.com/america/2026-01-03/…


Nicolás Maduro, el autócrata de un régimen aislado sin ninguna intención de rendirse

Los que han tratado estos meses al presidente de Venezuela aseguran que no está dispuesto a llegar a ningún acuerdo con Estados Unidos
Juan Diego Quesada (Ediciones EL PAÍS S.L.)
in reply to Dennis

mastodon - Link to source

Sonja

@WestphalDenn Gerne ❤️ Mir ist das ins Blut übergegangen, meine Bilder zu beschreiben, so gut ich kann, das gehört zum Erstellen eines Toots einfach dazu. Ich find KI außerdem aus tausend Gründen meh und möchte keine nutzen, wenn's nicht sein muss. Durch den Zusatz "künstlich" ist noch nix je besser geworden. Und hier ist es so unnötig wie es nur sein kann. Ich bin gesundheitlich nicht eingeschränkt in einer Weise, die mir das Erstellen einer Bildbeschreibung unmöglich macht, also mach ich eine.
@Dennis

mastodon - Link to source

Ojalá Venezuela sea un Vietnam para USA.

elpais.com/america/2026-01-03/…


Registradas explosiones en varias ciudades de Venezuela en medio de las tensiones con Estados Unidos

Los ataques se han reportado cerca de objetivos militares y aeropuertos. Según CBS, la Casa Blanca está al tanto, pero no hay confirmación oficial. El Gobierno de Maduro llama a la “lucha armada” ante la “agresión imperialista”
Florantonia Singer (Ediciones EL PAÍS S.L.)

mastodon - Link to source

Hello internet, I've been lurking for a while but let's try an #introduction.

I'm a recovering tumblr girlie (does fandom exist on mastodon? for better or worse?) who likes #reading, #knitting, and cross-country #skiing as soon as there's enough snow here the #PNW.

I believe in tech that helps build a more liberatory future and want to know what abolitionist, anit-authoritarian #datascience might look like.

#introduction #knitting #reading #dataScience #pnw #skiing
This entry was edited (2 weeks ago)

mastodon - Link to source

#introduction - Heya! :blobcatcoffee:

I'm Zak. I'm 23, and go by they/them pronouns. A casual gamer, photographer and musician from the Midwest, USA!

Simply trying to vibe, here. Posting about various interests - expect lots of Linux & Video Games, as well as a fair bit of my photography.

Nice to meet you! Hope to see ya around. ❤

{ #VideoGames #Nintendo #Linux #Android #Photography }

#android #linux #introduction #photography #videogames #nintendo

mastodon - Link to source
Mysterious emails from a woman named Donna Triply: For years, I was amused to receive emails from Donna. I often wondered who she was. These seemingly random emails would come from her under various circumstances. After probably 15 years after sending my first email, I figured out who this fabled woman was. Before I tell you, I have to say that my bestie and I had a huge laugh about this Donna person this morning over coffee. My friend also wondered who this person could be. She did know some Donna's, but the last names didn't match. Then, the light bulb went on for her as it did for me. This email header started with DoNotReply which, for a screen-reader user sounds like Donna Triply. So, the infamous woman has come to light and we now know who she is, visiting us from the auto-responder universe!

mastodon - Link to source
Sakra včera jsem u toho usnul, tak jsem to celé neviděl. Junioři letos opět hrají moc dobře.
isport.blesk.cz/clanek/hokej-r…
#ms #hokej

Junioři v euforii! Galvas čelí otázkám na draft NHL. A co tvrdí scouti o Jiříčkovi?

PRVNÍ DOJEM PAVLA BÁRTY | Postupová nálada ovládla český výběr do 20 let po vítězství 6:2 nad Švýcarskem ve čtvrtfinále mistrovství světa.
Isport.cz
#ms #hokej
⇧