My new #fediverse home is @giacomo
Please, follow me there!
.kobo/Kobo
directory on the device, and edit the file Kobo eReader.conf
. In the [ApplicationPreferences]
section, add a line likeSideLoadedMode=true
@gnutools who cares about freedom, free software, or #GNU anymore? Fiercely defending user freedom? Not the rusties. That's all just hippie/communist talk. Corporate interests for the win!
Makes you wonder in this era just how far into the extreme right their political views are or is it all just a coincidence?
Cloudflare asks browser devs to sign insane NDAs before fixing browser blocking
Link: https://forum.palemoon.org/viewtopic.php?t=32127
Discussion: https://news.ycombinator.com/item?id=43376064
I was trying to find the source of the “Mitchell Baker, Mozilla’s top executive, was paid $2.4m in 2018” in
https://calpaterson.com/mozilla.html
and finally found it in the Form 990 declaration.
In the 2023, according to https://www.mozilla.org/en-US/foundation/annualreport/2024/
it’s… $6.2m
#mozilla #firefox
(edit: it was $6.9m in 2022, better I guess?)
Coding is like taking a lump of clay and slowly working it into the thing you want it to become. It is this process, and your intimacy with the medium and the materials you’re shaping, that teaches you about what you’re making – its qualities, tolerances, and limits – even as you make it. You know the least about what you’re making the moment before you actually start making it. That’s when you think you know what you want to make. The process, which is an iterative one, is what leads you towards understanding what you actually want to make, whether you were aware of it or not at the beginning. Design is not merely about solving problems; it’s about discovering what the right problem to solve is and then solving it. Too often we fail not because we didn’t solve a problem well but because we solved the wrong problem.
When you skip the process of creation you trade the thing you could have learned to make for the simulacrum of the thing you thought you wanted to make. Being handed a baked and glazed artefact that approximates what you thought you wanted to make removes the very human element of discovery and learning that’s at the heart of any authentic practice of creation. Where you know everything about the thing you shaped into being from when it was just a lump of clay, you know nothing about the image of the thing you received for your penny from the vending machine.
#AI #VibeCoding #design #development #making #creation #artiface #craft #coding #programming #technology #humanity
#ScribesAndMakers 13. March: Shameless self-promotion day
Besides all my Open Source work (and the very occasional very tiny fanfiction attempt) I publish Free Sheet Music in digital editions, beautifully renderer as PDF, but also available as MusicXML and MIDI for conversion to Braille music notation as needed.
Voices from the choir et al.:
"finally, legible tenor notes!" (everyone with bass clef allergy)
"it’s easier on the eyes due to the larger size" (older ladies in choir)
easy to transpose (few clicks)
simple enough to make extra versions for the conductor and accompanist (closed score (two systems only, like for piano) with text below, so the pianist can follow the regie instructions)
https://mbsd.evolvis.org/music/free contains my Free Sheet Music contributions mostly from Public Domain scans (some more recent ones were made under permission from the composer/arranger); I also produced https://mbsd.evolvis.org/music/misc/ and dozens of pieces I cannot show because they are licenced works.
I do this for myself and share with the world, but I could imagine digitally engraving some sheet music for YOU for a small donation or something. (My speciality is vocal scores, but I can do piano accompaniment mostly, might need help with optimal distribution of notes to hands. Or just type in from a pre-existing score. I do need pitches, no aural transcriptions.)
"It is time to admit that all the tropes and rhetoric and conspiracy theories of the so-called free software movement are an impediment to making any actual progress on making positive political change with regards to software."
https://r0ml.medium.com/free-software-an-idea-whose-time-has-passed-6570c1d8218a
As people are discussing the issues witth DDoS attacks and attribution, I’m reminded of how the US Government blamed Russia for a DDoS attack against one of their neighbors, which is more accurately (though very indirectly) blamed on me.
Many years ago I complained in an IRC channel about a small website that ripped off the design of one of my sites. A somewhat shady member of that channel happened to control a sizable botnet (with primarily RU IPs). Yep. You see where this is going. (To be clear, I was venting, and didn’t ask him or anyone else to do anything.)
He thought it would be funny to get a little revenge on my behalf. He aimed his entire botnet at that website, and hit the network with so much traffic that it didn’t take down the target server, instead it saturated the core network gear for the country’s main ISP, knocking most of the country offline for several hours.
By pure coincidence, said small Eastern European country was holding national elections the day I complained about the website, something I didn’t discover until years later.
Even the US Government, with all their resources, can’t always tell the difference between a state-backed attack and a teenager “having fun” with a botnet.
@boarders @pigworker I think what is missing in these conversations is an awareness that hard/true syntax is important, but usually the version that matters is something like a normal forms presentation or cut free presentation or something bidirectional—and this can be formulated and proved correct independently of the "traditional" syntax that it would historically have arisen from in the context of cut elimination or normalisation. My thesis is not the first place that these ideas have occurred—since the 2000s it has been understood by experts that a normal forms presentation can exist independently of whether or not anyone has any idea whatsoever as to how to formulate and prove traditional declarative syntax correct, but perhaps only recently have people been willing to take this idea seriously.
I think this distinction was especially salient in the years during which the misguided "initiality" controversy held sway, until it was finally put to bed by Uemura — since what our work on categorical normalisation proved was that you can study syntax even in the environment where nobody(*) is confident that traditional syntax exists. (*) I guess I mean, no "fields medalist".
I like this because what I care about are algorithms. I care about type checking (qua elaboration), normalisation, conversion, etc. And I can formulate and prove correct all these things without traditional syntax existing at all. And that is good.
how can foss build a politics beyond caveat emptor? what will it take to get us as a movement / faction to encompass a labor vision that can steward free software without profit, against profiteers?
@garbados well first of all, we need to re-establish constitutional rule of law. Then we need law that recognizes labor unions, collectives, and allows anarchist and communist parties to exist again. Then we need law similar to copyright that allows FOSS to be protected and stewarded by unions and/or collectives somehow.
You also can't trust AI when it comes to n-categories!
In reality a 1-category is a category, a 0-category is a set, and James Dolan discovered that a (-1)-category is a truth value and a (-2)-category is a true truth value (of which there is only one: "true").
But my friend Allen Knutson asked Gemini, just for fun, and got this garbage. Clearly it's Russian propaganda.
(2/2)
A test shows that all the leading AI chatbots have been infected by Russian propaganda created by an organization called the "Pravda network".
According to the American Sunlight Project, a failed attempt to protect democracy in the USA, the Pravda network put 3.6 million articles online in 2024. In a strategy called "LLM grooming", this network seems designed to manipulate AI models rather than directly influence people. It's mainly focused on spreading lies connected to the Ukraine war:
https://www.newsguardrealitycheck.com/p/a-well-funded-moscow-based-global
But on a lighter note...
(1/2)
What is Manus? China’s World-First Fully Autonomous AI Agent Explained https://blog.quintarelli.it/2025/03/what-is-manus-chinas-world-first-fully-autonomous-ai-agent-explained/
Abbandonare i servizi #Google per proteggere la #privacy e favorire gli sviluppatori indipendenti è possibile e auspicabile
Personalmente sono "Google free" da tempo, zero problemi e zero rimpianti
@itsfoss ha pubblicato una guida che si trova qui: https://itsfoss.com/leaving-google-ecosystem/
Ma a casa nostra abbiamo @lealternative (https://www.lealternative.net/), i @devol (https://devol.it/), @ufficiozero (https://ufficiozero.org/) che offorno o consigliano servizi alternativi, liberi ed etici
Let's switch over.
Why people design a new #ProgrammingLanguage?
There are tons of good reasons of course. Some does that for fun or for curiosity, some for political or educational reasons, some to address shortcomings faced with existing one, either in specific use case or in general.