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
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...
Andre Louis
in reply to Tamas G • • •Tom Grant
in reply to Andre Louis • • •Andre Louis
in reply to Tom Grant • • •Tamas G
in reply to Andre Louis • • •Tom Grant
in reply to Tamas G • • •Andre Louis
in reply to Tamas G • • •Tamas G
in reply to Andre Louis • • •James Dean
in reply to Andre Louis • • •Andre Louis
in reply to James Dean • • •James Dean
in reply to Andre Louis • • •Tamas G
in reply to James Dean • • •Andre Louis
in reply to Tamas G • • •When I'm away from home for extended periods, being able to have Logic running and also run windows alongside for my email and browsing needs is priceless.
Switching in and out of one OS whilst losing the functions of the other is absolutely unacceptable to me personally.
Different needs, different use-cases of course, but this is also great for web-testing.
Want your site to be tested on Edge/Chrome on windows with NVDA/Narrater, all whilst running Safari/Chrome on MacOS in another window with VoiceOver, all whilst airplaying to the company Apple TV?
Easy.
Tamas G
in reply to Andre Louis • • •Andre Louis
in reply to Tamas G • • •Tom Grant
in reply to Tamas G • • •Seedy of Chucky
in reply to Tamas G • • •