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.
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.
@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 :)
That's a little above my level to say. I think it's true that harmony's laws are aesthetic and contingent, rather than necessary. On the other hand, since today we talk of logics, rather than logic, perhaps we can also say that the rules of soudness are informed by necessity--not anything would go--but in some measure a matter of choice.
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…
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.
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.
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?
You use the old XML index, not the newer JSON? There are already 2 newer formats (JSONv1 & JSON-v2 index). Not sure if XML might be dropped one day. In the XML index, it is "<application id=" that gives you the packageName / applicationId. In JSON-v1 it is "packageName", in JSON-V2 the index key of "packages".
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.
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
Real shame it's not remote. I'm not an expert but since I live day to day with disabilities of my own, that could have been rather cool to work there. Hmph.
Like, I'm not pretending I would know how to fix a problem but I could have put ideas on the table at least.
@xogium it does say Remote eligible :) Could be worth a shot to apply you never know, it's a harder gig for being at senior-level but someone with a strong QA+ engineering background who has had like 5 years experience+ working at consulting or smaller gigs doing that could probably fit still too
Huh, weird. I haven't seen the remote part. I might have missed it though? I saw london or stocolm.
Fun fact: I wanted to help in making the nextcloud accessibility better, as a tester as well as throwing new ideas on the table to improve the experience. Since I have disabilities myself, I know exactly what disabled users might be facing, you know? They booted me off because I can't code.
I have the feeling this job however isn't asking for coding so much as testing and actual suggestions for improvements. Reviewing code isn't the same as coding it myself, if that makes sense?
I have no prior experience as any sort of accessibility tester, or engineering, because I was never let looss, basically. :D
@xogium darn. Maybe not. It does say on the page "Are you interested in working out of any of the following office locations? Our job description will have location eligibility for the role. If the role is remote eligible and you wish to be remote, please leave blank." I just don't think they expose that as a choice for the job application on this position, quite a shame as it was there when I was hired on.
@tardis @xogium so many companies are rolling them back, it's a bit shocking. So far I guess Spotify is doing that for new hires (not sure if it's some or all jobs though, I can't say 100%,) I just hope they keep me on as remote because moving to either London, Stockholm or the NYC offices would really make me look around at that point. Remote was one of the reasons I was so comfortable taking it when I began.
Nice, didn't know you worked there. I'd be up for this if I was looking for a job and willing to move. The lack of remote-first vibes is disappointing though.
@jscholes That part even shocked me considering I'm in the US (So our team would have a London/EU split) but maybe they're wanting another engineer who works in that region so someone is awake for the EU timezones during the day and not just afternoon like I am. No indication that they're getting rid of remote work considering how distributed teams are and have been at Spotify since it started in 2006, but who knows with how tech companies are going.
@Mendi_Tech I wish - for now it's scoped to London and Stockholm. Time will tell sadly not - scoped to London and Stockholm. If you're in either of those, you'd have a chance to do home-mix between part-time office and work, though.
@bermudianbrit nah. I'm remote out of Albuquerque here, not sure what I'd do if they asked me to relocate since for Jess it would also mean getting a new job.
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.
LinkedIn appears to have removed today's post about how compromised cloud accounts are being used to power AI sex bots. Apparently the image that got auto-populated in the summary violated their content guidelines. Irony much?
@arwen3791 ah jelly! xD I wanted it for awhile now but not sure, it's another subscription to add to the roster I believe. Still it would be nicer to wear that when my watch is charging for example.
@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?
„Reiche Menschen, die nicht faschistisch sind, benutzen Faschisten, um reich zu bleiben, und Faschisten benutzen wiederum Kapitalisten, um an die Macht zu kommen. Die Wahrheit ist aber: Niemand lebt gut im Faschismus.“ — Rede an die Nation von @afelia: youtu.be/R-YwYpaSvJw (20min)
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.
UK will at last comply with international law and hand over sovereignty of Chagos Islands to Maricious. Better late than never. This news was extremely unexpected, and makes me more optimistic about the value of international public law. Sometimes, justice prevails. bbc.com/news/articles/c98ynejg…
🔴Un juzgado de Sevilla abrirá una investigación contra el gobierno de Juanma Moreno por la adjudicación de 243 millones de euros a empresas privadas de forma irregular elsaltodiario.com/corrupcion/c…
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.
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.
Five Cable TV Networks That Are Most Likely to Shut Down in the Second Half of 2024, Including Freeform & Boomerang – Updated October 2024 cordcuttersnews.com/five-cable…
![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.")
Vitex
in reply to SuspiciousDuck • • •SuspiciousDuck
in reply to Vitex • • •