Re. last boost: We all know that at the end everyone willingly looks away another time and forgives Meta, because that is how it has been.
Not use WhatsApp?
Impossible in Germany where you're either over 70 or a weird nerd if you don't use it.
I don't want to be seen as a weirdo/nerd. But I despise Meta very much and don't want to support their income generating by giving them their data.
Oh, and on one of my other streams I also did the pre-proof theory stuff. Syntax, semantics, natural deduction, soundness, sketch of completeness. Some of that was review. It was neat to see the meaning of soundess (Gamma - phi implies Gamma |= phi). So if you can derive phi from Gamma by syntactic rules, then for all assignments in Gamma, phi is true. (Hopefully I didn't misunderstand this.)
Natural deduction always annoys me though, because it looks almost like a programming language, a tactic set, but it isn't really. It's not about mutating the context state but about proof trees, scopes are implicit.
And of course I was asked to show DNE in the wrong direction (~~p -> p) with just the usual rules (impl intro and elim, etc). And of course it can't be done. Not if you can't assume LEM.
Hey everyone! Codeberg will go down for about 10 minutes starting 19.00 UTC (20.00 CET) to create database indices which are expected to improve performance. This requires a short interruption of service.
We apologize for the inconvenience and short notice.
Might be a good time to remind everyone that the reason every website on Planet Earth is placing CloudFlare between you and them is because CloudFlare has been a major line of defense against the deluge of AI-data web scraping.
Don't (just) be annoyed at CloudFlare.
Die Bank: "Sie müssen unsere Banking-App benutzen, denn nur unsere Banking-App ist ein sicherer zweiter Faktor"
Die Banking-App: *kann alle Kontofunktionen ohne einen zweiten Faktor ausführen, einzige Sicherung ist eine fünfstellige PIN*
hi, you can find some differences in the description of the app in #fdroid amongst the more interesting things is markdown support, there used to be several more unique features, like the green dot, but a lot of them has been added to official DC in the meantime
f-droid.org/packages/chat.delt…
⚡ Fast encrypted chats for the family 🎉f-droid.org
so, just incase downdetector goes down, we have downdetectorsdowndetector.com/
some of you may worry what happens if down detector for downdetector goes down, thats why downdetectorsdowndetectorsdown… also exists
not satisfied or worry all 3 are going to go down? downdetectorsdowndetectorsdown…
reshared this
Thank you Cloudflare for the occasional reminder that "the cloud" is just somebody else's computer that you can't go and fix when it inevitably falls over.
#Meme #Cloudflare #TheCloudIsJustSomeoneElsesComputer #SaaS #SorryNotSorry
This is great:
> His criticisms have, amongst other things, made Epic CEO Tim Sweeney grumpy. Posting on MechaHitler.com, the billionaire wilderness conservationist and original Unreal Engineer commented that "political opinions should go into op eds folks."
The mechahitler link, of course, goes to x.com. 😂
rockpapershotgun.com/epic-boss…
Epic's Tim Sweeney has challenged a review of Arc Raiders that marked the game down for its generative AI elements, calling genAI a politicised subject.Edwin Evans-Thirlwell (Rock Paper Shotgun)
Different article, also great, starting from the subheadline already.
> Microsoft have delivered a timely reminder that AI isn’t just effective at injecting ugly, soulless anti-art and nonsense robochat into your games – it also has the power to ruin your entire PC.
rockpapershotgun.com/microsoft…
Windows 11's promised AI helpers carry a serious security risk, according to Microsoft themselves.James Archer (Rock Paper Shotgun)
We ported the Android 16 security preview patches to 16 QPR1. 2025111801 is our first 16 QPR1 with December 2025, January 2026, February 2026 and March 2026 ASB patches:
grapheneos.org/releases#202511…
We'll fix a few more QPR1 regressions and then it should be able to reach Stable.
We ported the Android 16 security preview patches to 16 QPR1. 2025111801 is our first 16 QPR1 with December 2025, January 2026, February 2026 and March 2026 ASB patches: https://grapheneos.GrapheneOS (GrapheneOS Mastodon)
Today I finished my maths unit on sequences and series at last. It took me two weeks and I'm still not fully reliable on everything.
Went from recurrences (affine and homogeneous linear 1st order and homogeneous 2nd order) to sequence convergence, series (geometric, p), and convergence tests: comparison, Leibniz, ratio, root, Direchlet.
It annoys me how long it takes me to go through this stuff. A lot of it I should already know (like the sum of a geometric series). Also I hate reindexing.
My wife ordered some dog training toys from Ireland. They got stuck in customs. Got a notice to contact DHL. DHL says,
"Unfortunately, your shipment's progress has been seized by official government authority and this shipment will not be delivered or returned to DHL"
Uhh.. wtf?
We expected she'd have to pay some kind of stupid tariff or something maybe but now apparently the product is just... gone? Stolen by the government?
What the hell?
We were contacted by a journalist at Le Parisien newspaper with this prompt:
I am preparing an article on the use of your secure personal data phone solution by drug traffickers and other criminals. Have you ever been contacted by the police?Are you aware that some of your clients might be criminals? And how does the company manage this issue?
Absolutely no further details were provided about what was being claimed, who was making it or the basis for those being made about it. We could only provide a very generic response to this.
Our response was heavily cut down and the references to human rights organizations, large tech companies and others using GrapheneOS weren't included. Our response was in English was translated by them: "we have no clients or customers" was turned into "nous n’avons ni clients ni usagers", etc...
GrapheneOS is a freely available open source privacy project. It's obtained from our website, not shady dealers in dark alleys and the "dark web". It doesn't have a marketing budget and we certainly aren't promoting it through unlisted YouTube channels and the other nonsense that's being claimed.
GrapheneOS has no such thing as the fake Snapchat feature that's described. What they're describing appears to be forks of GrapheneOS by shady companies infringing on our trademark. Those products may not even be truly based on GrapheneOS, similar to how ANOM used parts of it to pass it off as such.
France is an increasingly authoritarian country on the brink of it getting far worse. They're already very strong supporters of EU Chat Control. Their fascist law enforcement is clearly ahead of the game pushing outrageous false claims about open source privacy projects. None of it is substantiated.
iodéOS and /e/OS are based in France. iodéOS and /e/OS make devices dramatically more vulnerable while misleading users about privacy and security. These fake privacy products serve the interest of authoritarians rather than protecting people. /e/OS receives millions of euros in government funding.
Those lag many months to years behind on providing standard Android privacy and security patches. They heavily encourage users to use devices without working disk encryption and important security protections. Their users have their data up for grabs by apps, services and governments who want it.
There's a reason they're going after a legitimate privacy and security project developed outside of their jurisdiction rather than 2 companies based in France within their reach profiting from selling 'privacy' products.
discuss.grapheneos.org/d/24134…
Here's that article:
There's another article posted at lefigaro.fr/secteur/high-tech/…. We don't have a subscription to access it so we can't evaluate whether the coverage is fairer. Need our community to check. There's an ongoing attempt to smear GrapheneOS by French government agencies so there will be more articles.
The reality is that a tiny proportion of the GrapheneOS userbase are criminals, clearly far below 1%. It's a rounding error. The vast majority of criminals use Android and iOS. French law enforcement contains a vastly higher proportion of criminals than the GrapheneOS userbase.
French law enforcement has a disproportionately high number of domestic abusers, pedophiles and other criminals. They routinely illegally violate the human rights of French citizens. They're upset they can't break into phones of a small handful of people because of GrapheneOS.
DÉCRYPTAGE - Ce système d’exploitation créé en 2014 inquiète les autorités tricolores. Il permet, entre autres, de réinitialiser un smartphone aux paramètres d’usine grâce à un seul code.Emma Confrère (Le Figaro)
You probably don’t need `aria-label` for that thing.
It doesn’t auto-translate:
adrianroselli.com/2019/11/aria…
It’s code smell:
ericwbailey.website/published/…
You can probably use better methods:
adrianroselli.com/2020/01/my-p…
As of my 25 July 2025 update at the end of this post, aria-label auto-translation support is less spotty than when I first wrote this post, but still unreliable. It does, actually. Sometimes.Adrian Roselli
Sensitive content
Today, November 19, is World Toilet Day.
In honor of this, in 2018, when November 19 fell on a Monday, I recorded an introduction to week 47 of 2018 using a couple of toilets flushing, a vocoder, and my own voice, such that the toilets are speaking.
reshared this
reshared this
This is fantastic. Free hosting for people that want a place on the internet that is their own as a throwback to the 90s.
false alarm - I'm an idiot! lol - can't sign up on the login form... I need to use the sign up form. loooool
(This is awesome, btw.)
A surprising amount can be read from the data, and for some users, it can be life-threatening.
The entire WhatsApp profile database (including correlatable phone numbers and face photos) leaked.
heise.de/en/news/3-5-Billion-A…
#Privacy #WhatsApp #Databreach
Vienna researchers retrieved all WhatsApp numbers. The 3.5 billion profiles represent the largest data leak in history—and it's worse than you might think.Daniel AJ Sokolov (heise online)
reshared this
- Copilot was forced to nearly every MS user without their consent
- Gemini starts each time an Android user touch their smartphone main button
- Whatsapp users suddenly interact with an AI they can’t disable
- Firefox will soon have its own AI
- Even myself, as a @protonprivacy and @kagihq user, I received access to multiple chatbots I never asked for
But remember: statistics show that "people are using AI tools !"
If you trust those statistics, you are deep into the delusion bubble.
LibreOffice is made by hundreds of people around the world. In many countries, we have active communities that organise events, do local marketing, and help users in their local language.Mike Saunders (The Document Foundation)
"If you're not using the stable kernel, your system is insecure. [...]
I'll call out Debian: Debian tracks our kernels very well. Debian runs the world. Over 70% of all servers in the world run Debian. Everything else is a rounding error [...]
👉 Debian: really, really good. I work with the Debian developers all the time. I can't recommend them enough. Their systems are good.
👉 RedHat, SUSE: they have their own weird systems -- talk to them, you're paying them."
@gregkh at youtu.be/dhu8HSOzxd8?t=1226
Kernel CVEs are Alive, but Do Not Panic! - Greg Kroah-Hartman, Kernel MaintainerLast year the Linux kernel community took charge of issuing CVEs for any foun...YouTube
Say hello to Art of Flora 🌱 Available now for Pre-order!
Please share and spread the word!
This sibling of Art of Fauna is all about the beautiful world of plants 🌸
What stays the same? 👀
- Relaxing puzzle game based on historical art
- 20% of proceeds are donated to nature conservation
- Big focus on accessibly
apps.apple.com/at/app/art-of-f…
A thread 🧵
1/6
Lade Art of Flora: Pflanzen Puzzle von Klemens Strasser im App Store herunter. Sieh dir Screenshots, Bewertungen und Rezensionen, Benutzertipps und weitere…App Store
The team have ported all security preview patches to Android 16 QPR1 now & plan to start building an initial SP release soon.
We don't plan on moving an A16 QPR1 release to Beta channel until its available, yet either may still have issues preventing progression regardless.
Project Hummingbird is an early access program for Red Hat subscription customers, providing a catalog of minimal, hardened container images.www.redhat.com
When Dave Plummer wrote the original Task Manager for Windows NT, he specifically avoided linking with a CRT to make the binary as small as possible. As such, the first version of Task Manager to ever ship with Windows was an 85 KB executable.
Now cut to today. On Windows 10, the laggy, crappy UIA-heavy Task Manager is around 1.2 MB.
But wait, because it gets worse!
On Windows 11, the new Task Manager using WinUI and admittedly with *slightly* better accessibility and *slightly* less lag, is 5.6 MB, with a nearly 1 MB TaskManager.DataModel.dll next to it.
And when they ask me why I am utterly obsessed with binary size, this is why.
Matt Campbell reshared this.
FUCK YEAH @dk GREAT WORK
Wer kann #Nextcloud gut für die Praxis erklären?
Ich suche für einen Bekannten eine gut gelaunte IT-Erklärbärperson in Berlin, die gegen Honorar einem frustrierten Mac-Anwender vor Ort im direkten Gespräch alle möglichen unklaren Merkwürdigkeiten erklärt und zeigt, wie man es besser einsetzt.
Wen könnt Ihr empfehlen?
For a limited time, you can purchase a license for GoldWave for 25% off.
The Canadian government yesterday tabled its Budget Implementation Act. Running at over 600 pages, the bill includes several notable provisions related to digital policy including the repeal of the Digital Services Tax, the restoration of a privacy p…Michael Geist
Codeberg
in reply to Codeberg • • •Codeberg
in reply to Codeberg • • •Quick FYI: Codeberg.org has been operational since at least 20:23 UTC (21:23 CET), but our super-duper highly appreciated system administrators grew a bit too tired after dealing with the situation described above, so another social media manager is sharing this one.
This process was a little bit more adventurous ✨ than anticipated, but we believe it was worth the trouble.
Wishing you all a pleasant evening! :)
Codeberg
in reply to Codeberg • • •