as poetic as i find frank's use of the term "harmony" to describe local soundness and completeness (cf. local reduction and expansion of proofs) in natural deduction*, i am not sure that it really works as a music metaphor.
maybe i'm missing something? but musical harmony is about deriving "new" sounds from individual sounds, whereas logical harmony is about checking you *can't* do (something like) that with your inference rules.
*see, e.g., part 11 here cs.cmu.edu/~fp/courses/15814-f…
LibreOffice reshared this.
#Repology only has marginal support for F-Droid, only seeing a few handpicked packages for software which is also available in Linux:
repology.org/projects/?inrepo=…
I've recently had a few PRs which improve F-Droid support and add #IzzyOnDroid, allowing full-fledged version comparison within Android ecosystem.
I wonder if any #fdroid maintainers or @IzzyOnDroid would be interested in that.
nothing really - just a feedback. Here's, for instance, list of projects in IzzyOnDroid which intersect with other repos (F-Droid, that is, but I am still to recheck if there are any projects which also intersect with *nix repos)
Yupp, I've got a similar query with my local tools here as well (comparing the indexes which were loaded into a database). But from the linked page, I cannot see what intersects or tell what it really means – not before I open details of one. Some "title" attributes on the version labels in the list would help.
"This repository does not provide links to package recipes…" – that's on the ToDo list. Not sure if Santa will fit it on his sleigh already…
> Some "title" attributes on the version labels in the list would help.
You mean renaming "Selected" column to something like "In IzzyOnDroid"?
> that's on the ToDo list
The requirement is common to all repos, but I don't really treat it as mandatory for IOD, for as I understand you just provide upstream-built APKs and if there are recipes these are in fact just a manifests with upstream URLs. Stull, having more information including these URLs exposed would be great.
I mean that when hovering over the version labels it could show some details, as it does on the details page. But yeah, adjusting the column names to what they show would be even more intuitive.
And build recipes are publicly available with our builders for Reproducible Builds, if an app is set up for that (currently, 22.6% of the apps at IoD are). The other metadata will become publicly available soon™, hopefully…
I've had no idea that there are newer formats. F-Droid parser (reused for IoD) haven't had major changes since 2016 when it was introduced. Guess it's time to revisit it.
Cannot check out the data right now, but if names you mention are these `org.example.calculator` like ones, I'd prefer to stick with display names - these at least have a chance to match with other ecosystems, fulfilling Repologys goal. Mismerged projects with common names can be split by URL.
I don#t know what parser you mean, but in 2016 there was only the XML index (aka "v0") – and meanwhile v1 and v2 have been released which differ a lot. Not only they are JSON instead of XML, but a lot of internals have changed or were added.
You should definitely not go by display names alone, that's pretty error prone in most cases. Those packageNames/applicationIds are supposed to be unique – but I understand they don't exist with many desktop apps. URLs should often help, yeah.
It's time for the Thunderbird Monthly Development Digest! We have updates on:
* Our Exchange progress
* Account hub development
* Global Database and Conversation View
* In-App Notification
* Source Docs Clean Up
* Cross Device Import
* Battling OAuth Changes
Read the latest and find out what's landing soon! 🛬
Very disappointing what Thunderbird does here with K9 Mail and violates the DSVGO.
Time to think about an alternative.
Bonus: You'll get to work with an amazing nerd such as myself and we'll talk AT and AI all day. lifeatspotify.com/jobs/senior-… #jobs #A11Y
reshared this
New, by me:
Organizations that get relieved of credentials to their cloud environments can quickly find themselves part of a disturbing new trend: Cybercriminals using stolen cloud credentials to operate and resell sexualized AI-powered chat services. Researchers say these illicit chat bots, which use custom jailbreaks to bypass content filtering, often veer into darker role-playing scenarios, including child sexual exploitation and rape.
krebsonsecurity.com/2024/10/a-…
![A screenshot of the AI sex chat service "chub[.]ai" which includes hundreds of pre-made characters with which one can strike up a conversation. The characters are mostly scantily clad female anime personas. Some of these characters include the tags "rape" or "incest," and "NSFL" or Not Safe for Life.](https://fedi.ml/photo/preview/640/596139 "A screenshot of the AI sex chat service \"chub[.]ai\" which includes hundreds of pre-made characters with which one can strike up a conversation. The characters are mostly scantily clad female anime personas. Some of these characters include the tags \"rape\" or \"incest,\" and \"NSFL\" or Not Safe for Life.")
François Legault wants concentration camps in Québec for asylum seekers: cbc.ca/news/canada/montreal/qu…
And François Legault wants to forcibly relocate half of asylum seekers living in Québec right now: montreal.ctvnews.ca/quebec-pre…
#cdnpoli #polcan #assnat #polQC #QCpoli #CAQASTROPHE #racism #antisemitism #xenophobia #fascism #CAQism #polMTL #MTLpoli
Tax avoidance schemes are nothing if not hilarious:
> In this case, the council says the ground-floor office space at 9 Dale Street is currently empty and the firm renting it should be paying full business rates. The firm and its landlord disagree, saying the space isn’t empty and is being put to an “agricultural use.” Specifically, the space is occupied by fifteen (15) crates each containing at least two (2) snails. So the firm—Snai1 Primary Products 2023 Ltd—says it’s exempt.
loweringthebar.net/2024/10/all…
(h/t @pluralistic)
Ty jo, to uz se dneska moc nevidi.
Zase na druhou stranu kvituju, ze nesli cestou "zena jako doprovodny program". Kterou se radi vydavaji startupove komunity.
Ale kdyz koukam na recniky a temata, tak to bude hodne korporatni niche a kde tam ty vyvojarky brat?
@mwenisch No samo se to nestane. Nevšiml jsem si, že by pro to česká Java (nebo PHP) komunita cokoliv dělala. Co se dá dokázat zhruba za dekádu lze vidět u Pythonistů nebo Frontendistů.
A že je něco korporátní? Kde jinde než u firem plných DEI oddělení, iniciativ, nebo aspoň proklamací by to mělo být jinak?
Currently reading "Learning Go", and struck by how it can't seem to go 3 paragraphs without warning you about yet another sharp edge of the language, some way you must be careful about using any given seemingly-innocuous feature lest you blow your arm off.
Go "makes `switch` statements useful" - proceeds to show off the second-most-mundane `switch` implementation ever devised by man, followed by a demo of how composing it with a `for` loop and using `break` can create easily-missed bugs.
@matt I've used Rust a fair bit - first started in 2018. I remember it being a fair bit of work to get into, but it also felt exciting - a language with the efficiency of C, the expressiveness of Ruby, and safety guarantees beyond anything I was used to, woo!
Literally nothing about Go has made me go "woo". My continued efforts are mostly due to a reluctant concession that it'll probably be easier for other members of my team to maintain what I write in it.
Honestly, the biggest hurdles for myself was configuring Apache and PHP to work together and learnt how to configure PHP to use all the appropriate modules. If you have experience with that, you should be fine.
(Thread) In the olden days, a FOSS (Free/Open Source Software) project typically had:
- A source code repository
- A web page with the documentation, FAQ and links to downloads
- At least one mailing list called announce, typically also one for users and one for contributors, all with public archives
- (maybe) An IRC channel to chat with other users and maybe also the developers
Maybe it’s time to try that simple approach again? Everything open, everything accessible? 1/7
the abandonment of mailing list is what bums me the most. Several big project replaced it with "discourse" whose usability is dubious. I ended up losing contact when they closed the mailing lists.
But then mailing list got killed by GMail, 20 years of killing email and counting
it will be a hard problem. The oligopoly of email (Google / Microsoft) will make it hard to setup email servers like it is already hard to run a mail server independently. Disguised as spam fighting they centralized email.
And with the techbros that decided to use GMail for corporate...
EU member states can now collect and share information on so-called “potential terrorists”.
But who is classified as a "potential terrorist?
A "shared understanding" was reached this year without democratic scrutiny. This left broad criteria for deciding who is a "potential terrorist or violent extremist threat".
The definition includes individuals categorised as:
• refugees and asylum seekers
• climate and environmental activists
Whenever I listen to music, I find myself needing something very specific. For those familiar with musical terms, the track—whether with or without vocals—needs to be in either the Dorian or Mixolydian mode, or even a mix of both. I don’t enjoy other musical modes at all; they don’t resonate with me whatsoever.
While Celtic tracks often have this type of music in common, it’s not exclusive to Celtic music. Dorian and Mixolydian modes are used worldwide, so it’s not only Celtic music that I love. For example, 'Scarborough Fair' is a great Dorian example, while 'Norwegian Wood' by The Beatles gives off a Mixolydian feel, though it's not Celtic.
I sometimes wonder if something is weird about me because of this. I feel like people might think I’m strange for only enjoying this type of music, but that’s just how I am. I'm not sure if this is something typical or if it’s a bit unusual, but I feel an incredibly strong attraction to these two modes, while others seem unsuitable, almost as if they weren't made for me. If anyone else faces a similar experience, I’d love to hear about it.
It’s also closely tied to a form of synesthesia I experience, where only these specific tracks make me imagine something truly good, as if I’m on a peaceful, heavenly adventure.
Edit: they are thankfully still alive. They’re injured from the strike.
Both of my parents were in the Red Cross during the 75-90 civil war and have both said it wasn’t as bad, that they could still cross Israeli lines to help ppl at the time. Israel now just targets first responders as a matter of policy. This is a rogue, criminal regime.
modulux
in reply to chris martens • • •I don't think harmony is that bad a metaphor. Harmony has rules. It constraints which sounds go together. And it is even local. I' thinking of rules like these: practicapoetica.com/articles/r…
An alternate metaphor might be counterpoint, but harmony is actually more local.
chris martens
in reply to modulux • • •modulux
in reply to chris martens • • •