microsoft and google claiming high usage numbers of their ai features is like me saying people like having wet faces just because i spit on everyone i meet.
WOW, lots of negative posts today. But am I seriously the only one who is so, so sick of everyone (AKA the big tech bros) making AI related choizes for you? Like, this is so crazy. Basically, soon Windows 11/12 will be an AI powered operating system with more resource usage and AI monitoring than freedom, whose code is being written by AI which already loses overview at a few thousand lines of code. and only will introduce accessibility issues. Don't get me wrong here please. I use ChatGPT, Claude, Gemini and other AIs by myself. But I know it's bundaries. I know it's not smart letting it control your important stuff, giving it your private data and relying on it more than anything else. But that? Almost every time I see AI the addition is completely dumb. I wonder how the companies haven't got sick of seeing and making AI everywhere, because I for my part am. Ramble done.
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.
Unfortunately, we are still struggling with the changes. We had unexpected issues with our database cluster, because synchronizing the indexes across nodes failed. However, we are approaching the finish line.
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.
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.
maybe ask @adbenitez to get the full marketing-blurb :) but as far as we understood: there are more services integrated like a set of chat bots and UX/UI tweaks/improvements/mods that may or may not make their way to the mainline #deltachat apps sometime.
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
> 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."
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.
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.
When my @FreakyFwoof recommends something I sit up, take notice, and pay attention. This wee SSD drive is soooooo cool! It's so tiny lightning fast and doesn't even get that warm. I do not regret having made this purchase, especially on sale. #YayUs
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.
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.
Whatever maniac on #Apple Music's #holiday hits station decided that Hallelujah by Leonard Cohen is a #Christmas#song needs to be fired. Then hired, so that they can be fired all over again! It's not Christmas #music just because it mentions a character from the Bible one time!
I'd like to suggest that for whoever it was who decided God Only Knows needed to be covered and released on a Christmas album by Pentatonix. Great cover, but Christmas?
@austinnix Probably just filler. But apple music has every single Christmas song ever released to choose from! And I haven't heard Fum Fum Fum or Kinderly Is Coming even once! Or Martin Said to His Man! Or even Gaudete!
#LeonardCohen #SoLongMarianne #LiveInDublin Leonard Cohen – So Long, Marianne (Official Live in Dublin 2013) Shop LPs and more: https://shop.sonymusic.ca/co...
Mylène Farmer - « Désenchantée » (Stade de France Live)Extrait du film "Mylène Farmer - Stade de France" disponible en DVD, Blu-ray & CD Dans les bacs ➛ htt...
This is true. That being said, it does reference samson in verse 2, even if his name wasn't actually given. But yeah, that's still not enough to classify the tune as a Christmas song.
@jdking92 I think because the female Jewish names from the Bible are more used in the modern day. Other than David, of course. But you don't encounter too many Ehud's today.
Okay Apple, it's only the middle of November, and you've already had far too much eggnog. Whatever this abomination of a sexy sounding woman sensually covering The Chipmunks is, it needs to stop existing.
Converting and resizing a video should be called, "interdimensional transcoding." Obviously we'd have to change it when #ffmpeg gets cross-multiverse quantum codec support, but it'd be fun to say in the meantime.
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.
Holy shit so to speak, that is actually really creepy. I could see this in a professionally produced horror audio drama. Sort of like the little shop of toilets.
I used two instances of MDA Talkbox, since it's mono, set up a routing matrix so that the output of one track is split between both. Channel 1 is carrier 1, channel 2 is carrier 2. Microphone is the common modulator for both vocoders. The original carrier and modulator track's dry output are muted, and the vocoder tracks are hard panned. Then I just fed the mod and carrier tracks appropriately and said stuff.
OMG! I already thought the voice coming from the bathtub drain in the first episode of Welcome to Derry was creepy. From now on I'm only going to use the bathroom while wearing closed headphones. 😱
The thing about using live captioning on the iPhone when in public is that it doesn't discriminate between 2 people speaking. I was ordering a coffee and someone else was cussing out another person, so my captions looked like "What you fucking asshole! size would you fuck that! and fuck you! like?" I was .... SO confused! YIKES! #Deafblind
- 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 communities around the world help to improve the software, do local marketing, and advocate for open standards. Today we're announcing a new project, to build up the LibreOffice community in the US: blog.documentfoundation.org/bl… #foss #openSource #freesoftware
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.
"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."
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...
@BorrisInABox Dawww, so there's this Mastodon thing. People say touch grass, they touch computers, meaning spend time with or on or whatever. So I extend that to cats.
Lade Art of Flora: Pflanzen Puzzle von Klemens Strasser im App Store herunter. Sieh dir Screenshots, Bewertungen und Rezensionen, Benutzertipps und weitere…
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.
In music, we often think the past was better, because we remember the greatest hits of the past while we constantly hear the merely average or bad stuff in the present. I think it's the same for us nerds and software. Dave Plummer's original Task Manager was one of Windows's greatest hits. I'm sure NT4 also had stuff that was merely functional and inefficient by the standards of its day. And now Microsoft has seen fit to replace Task Manager with the equivalent of filler music.
@matt I was just going to make a drive-by quip about "Task Manager now has... AI!" but then it struck me that this is one of those areas where a bit of predictive analytics could be quite helpful. Oh my! I refuse to check whether Task Manager does in fact now have AI
I agree, but in music, the instruments don't change very much over time, though they do change to some extent. Comparing your 486 to what we have now, what we should be seeing now is excellent speed and performance, no matter how bad the actual code was in the days of NT. What we do see is real degradation. Some of that degraded performance is because of new features that many people do actually like and use. A great deal of it, though, is bloat, very niche features which could be turned on or off if needed, lazy coding... I could go on.
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.
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…
As a polytheist, I worship gods from a few different pantheons. When the weather turns colder, and I wake up to a world covered in glittering frost every morning, my focus turns to the Norse pantheon.
Their myths were born from a people who were living through the end of the last Ice Age, and so it's easy to see how the Frost Giants were their adversaries.
Here in the Northern forests of the American continent, an average of 39% of days in the year will reach below freezing. I feel like I know what it's like to battle the cold and darkness of winter. It's difficult, depressing, and hard to get out of bed sometimes, but I can take comfort in knowing that my gods are right there with me.
We love the story of 17th century Tulipmania and its financial collapse. How could those people have been so stupid to bet the house on a tulip bulb?
At the end of September, the 8 largest stock holdings in the Canadian Pension Plan Investment Board (CPPIB) were all AI stocks, amounting to a quarter of the value of the entire pension fund.
Should I have gone with DotPad X over Cadence? For me, I don't think so. Your trade-offs may vary but: Both devices have a refresh noise. There's no way around it. I wish I could hear the DotPad X in action, but very few or practically nobody has posted a demo of this. I would expect it to sound like a Monarch, if the cell tech is the same or similar. Even if we consider Cadence louder, the refresh is near-instant. Not as instant as a classic piezoelectric 40-cell, but let me say, itt's no more than .5 to 1 seconds for the entire 4 lines to refresh. This doesn't get longer when you connect more than one because they refresh together, but you do get slightly louder clicks. So refresh rate itself? Cadence still wins. Then for me the battery is what sealed the deal. Weeks on a charge? DotPad X looks to be 8 hours. A workday's worth, sure, but not much more. And for sure, this is Cadence gen 1. Can you imagine what this little company from Indiana could do with it if more people saw things this way? How the tech could improve, maybe dampening over time the clicks? Joe and the rest of their team have been incredible. For repairs, they told me they send you a new unit and you then send yours back. Very prompt at responses too during the day, you're not left waiting on hold. So if anyoone again asks: "Do you regret Cadence despite its press conference-like noise when refreshing?" My answer is still a resounding no. I love 48-cells in my pocket, sized like an 18-cell.
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 • • •