It's a shame people don't listen to 80s music anymore.
That song from The Police taught us ages ago to open-source when you do this, with the lyrics "I send a NES O/S to the world ♫"
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-…
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
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?
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.
The plot thickens...
WP Engine sues WordPress co-creator Mullenweg and Automattic, alleging abuse of power | TechCrunch techcrunch.com/2024/10/02/wp-e…
#ecommerce
Amazon promises to degrade Prime Video even further for the same price.
While living in western Europe, we all might have forgotten what borders were :
In the last week, I had 5 passport checks - in the middle of the night -, 3 still in coming.
I'm running around with 5 currencies : 🇪🇺 Euro, 🇺🇦 Hryvnia, 🇲🇩 Leu, 🇷🇺 Rubel and 🇷🇴 Ron, likely tomorrow even still with 🇭🇺 Forints.
Please keep yourself reminded what a privilege open borders, unified currency and the lack of customs checks are.
Defend #Schengen. Share European standards. Open borders. Do not build a fortress.
elsaltodiario.com/corrupcion/c…
'The BBC has confronted a neo-Nazi in Finland who shared online instructions on how to commit arson with UK rioters during the summer.'
On his Telegram accounts, Mr Rasanen celebrates Hitler and promotes a neo-Nazi group called the Nordic Resistance Movement'
Just how sucked up is this young man,, Hitler would have had him shot for the colour of his skin.
Racist are as thick as 2 short planks
My family drove to vote for Brexit down a Welsh road paid-for by the EU, and they still thought their 98% white british population was being overrun by forreigners. You just can't fix stupid.
If they'd had a reasonable case, even if I disagreed with it, i could've gotten behind them. But they didn't, and doing things just because you're told bothers me more than most things.
Brexit.
Many of my Brothers and Sister and their partners voted Brexit because of immigrants, given one of my Sisters who voted because of immigrants has a Greek daughter in Law and 3 half Greek Grandchildren and a half Polish Grand child all living in the UK than and now, all I can say is you can't fix racists.
It broke my heart and we are still not talking.
Vitex
in reply to SuspiciousDuck • • •SuspiciousDuck
in reply to Vitex • • •