mastodon - Link to source

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…

in reply to modulux

mastodon - Link to source

chris mort💀ens

@modulux this is a cool resource, thanks for sending. i need to stop distracting myself with this in a moment but: the sociocultural aspect of harmony is really what gives me pause. the principles may be based on fundamental physical truths, but they are also informed by subjective and situational opinions about what "sounds good". i want to say logical (un)soundness isn't like that, but i will need to ponder more before i know if i agree with myself :)
@modulux

mastodon - Link to source

#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.

#fdroid #izzyondroid #repology @IzzyOnDroid ✅
in reply to Dmitry Marakasov

mastodon - Link to source

IzzyOnDroid ✅

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…

in reply to IzzyOnDroid ✅

mastodon - Link to source

Dmitry Marakasov

> 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.

in reply to Dmitry Marakasov

mastodon - Link to source

IzzyOnDroid ✅

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…

in reply to Dmitry Marakasov

mastodon - Link to source

IzzyOnDroid ✅

PS, just another thing I found: dev.jahidhasanco.bmicalculator at F-Droid is a different package than at IoD (coming from different repositories, thus should not have the same packageId; actually their 4.0.2 is OLDER than IoD's 1.0.3 (theirs is 4 years old, ours 1 year). Not sure which should be marked "outdated" there. Comparing the source URL might help detect such things.
in reply to IzzyOnDroid ✅

mastodon - Link to source

Dmitry Marakasov

sure, Repology has facilities to split similarly named projects (and I've in fact seen more cases of this problem), but these imply expanding manually maintained ruleset, and that has its cost. So I'm asking for a feedback - if that's not useful for either IoD or F-Droid, it would make sense to cut the maintenance cost and hide android-specific projects in Repology.
in reply to Dmitry Marakasov

mastodon - Link to source

IzzyOnDroid ✅

I just returned from vacation and still have to catch up with the backlog, which will take at least a week – so apologies if I cannot dig in deeper at this time. But it already helpedd me to identify some issues (like the one mentioned – but also a new one I was not aware of, with apps falling behind due to GitLab API issues I have to dig into later). To thanks once more for reaching out with your project – and let's check more later, shall we?
in reply to Dmitry Marakasov

mastodon - Link to source

IzzyOnDroid ✅

Umpf. Never go by the display name I guess: repology.org/project/android:c… is different repos and different package names, there are probably hundreds of apps named "Calculator"… or "Clock" repology.org/project/android:c… (and without looking: "Notes"), or "Editor" (repology.org/project/android:e…), also some Counter (repology.org/project/android:c…). I guess packageName + sourceURL should both match to compare versions. Lots of false positives otherwise.
in reply to IzzyOnDroid ✅

mastodon - Link to source

Dmitry Marakasov

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.

in reply to Dmitry Marakasov

mastodon - Link to source

IzzyOnDroid ✅

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.

mastodon - Link to source

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! 🛬

#Thunderbird #Development #OpenSource

blog.thunderbird.net/2024/10/t…

#opensource #thunderbird #development

mastodon - Link to source
Come work with me on a small yet growing accessibility team at Spotify! (London / Stockholm) Are you passionate about engineering and tackling cross-platform reaching issues? Working with groups to drive changes that you know will be felt, seen, and heard by all our users once done? This is the place for you. Our Senior Engineer role is open.
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
#a11y #jobs
This entry was edited (1 year ago)

reshared this

mastodon - Link to source

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.

mastodon - Link to source

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

#racism #antisemitism #cdnpoli #assnat #polqc #polmtl #caqastrophe #caqism #xenophobia #fascism #qcpoli #polcan #mtlpoli
This entry was edited (1 year ago)

mastodon - Link to source

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.

#Lebanon

Kareem Chehayeb | @chehayebk An Israeli strike killed four @RedCrossLebanon paramedics and a Lebanese Army soldier as they were evacuating casualties from southern Lebanon. This comes after Israeli military called for more evacuations from southern Lebanon, this time towns north of the Litani incl Nabatieh. 11:42 AM • Oct 3, 2024 • 109 Views
#lebanon
This entry was edited (1 year ago)

mastodon - Link to source

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.

Border check terminal in Przemyśl, Poland.
Two trains in Chisinau, 🇲🇩 Moldova station. The front one is green and leaves for Bendery, 🇷🇺 Pridnistrovie, the back one is blue with a yellow stripe heading for Kyiv, 🇺🇦 Ukraine.
#schengen

mastodon - Link to source

'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

in reply to Merry Christmas

mastodon - Link to source

Sean Randall

I've given up on stupidity.
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.
in reply to Sean Randall

mastodon - Link to source

Merry Christmas

@cachondo

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.

@Sean Randall
⇧