🔥 Венесуэльцы по всему миру празднуют падение режима Мадуро
Люди выходят на улицы США, Чили, Аргентины и, конечно же, самой Венесуэлы;
Диктатор в это время (со слов Трампа) плывёт со своей супругой на американском корабле в Нью-Йорк.
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.
#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.
Der #Signal #Messenger ist schon ganz gut.
Aber wieso er in Bezug auf den #DigitalIndependenceDay immer wieder als empfehlenswerte #Alternative genannt wird erschließt sich mir nicht.
Da gibt es meines Wissens doch Andere mit wesentlich weniger digitalen Abhängigkeiten.
“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.
bbc.com/news/world-africa-1539…
Reaction from world leaders to reports that Libya's Col Muammar Gaddafi has been killed.BBC News
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!
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.
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.
vainas que la gente no entiende: defender a mi país de la agresión extranjera no significa ser leal a un gobierno local, simplemente significa defender la posibilidad de construir la vida colectiva en nuestro propios términos y no en aquellos que nos quieren imponer
On 17 July 2025 Czech President signed into law a controversial amendment to the Criminal Code.Dagmar European Left (European Left)
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.
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)
RE: social.tchncs.de/@gerd/1158307…
Vllt kennt jemand von euch einen guten Einstieg in Hugo?
#hugo
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)
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.
OpenAI employees working on ChatGPT report plans to unleash sponsored advertisements above organic results.Joe Wilkins (Futurism)
fuck USA
youtube.com/watch?v=DLFmAu5KZN…
Provided to YouTube by Universal Music GroupYankees, Go Home · Kaisa KorhonenLautanen Guatemalan Verta℗ 1969 Love RecordsReleased on: 1990-01-01Producer: Unk...YouTube
Dnes, 3. ledna je první letošní úplněk. Ideální chvíle pustit to, co nás tíží.
Jak ho prožíváte?
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 👍
"Gutes Heiratsmaterial".
Fürchterliche Bezeichnung für einen Menschen!
Sicherlich, die Gründe, zu heiraten, sind verschieden - in meiner romantischen Vorstellung natürlich aus "reiner Liebe".
Menschen sind doch Wesen mit Emotionen, kein "Material"!
*kopfschüttel*
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/…
Los que han tratado estos meses al presidente de Venezuela aseguran que no está dispuesto a llegar a ningún acuerdo con Estados UnidosJuan Diego Quesada (Ediciones EL PAÍS S.L.)
Ojalá Venezuela sea un Vietnam para USA.
elpais.com/america/2026-01-03/…
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.)
Provozujeme OSCloud pro lidi, co chtějí mít kontrolu nad svými daty. Žádný Google, žádný Microsoft, žádný tracking. Jenom open source aplikace na našem dedikovaném serveru.oscloud (Oscloud News)
Are we gonna sanction the US? They are sending their Little green men across the border and blowing up capitals.
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 - Heya! 
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 }
Littler 'getting better' as he aims to join greats
Luke Littler has the chance to cement his place among darts' greats when he faces Dutchman Gian van Veen in Saturday's PDC World Championship final.
André Polykanine
in reply to Elena Brescacin • • •