6,236 karma · joined April 28, 2015
progval+hn@progval.net
> In September 2016, the Court of Justice of the European Union ruled that "the sale of a computer equipped with pre-installed software does not in itself constitute an unfair commercial practice within the meaning of Directive 2005/29 when such an offer is not contrary to the requirements of professional diligence and does not distort the economic behaviour of [purchasers]." The Court also ruled that Directive 2005/29 does not require OEMs to include a separate price for an operating system license.
from https://en.wikipedia.org/wiki/Bundling_of_Microsoft_Windows
My employer maintains a SWORDv2 server, and we have a handful of clients pushing to us; most of them are not listed on that page.
Worth noting that the comment closing the issue mentions:
> You can disable Google Analytics in about:addons by setting your Do Not Track status to on.
> Again: this only affects users who visit the page with Tracking Protection on (which automatically enables DNT) or who manually set their DNT status to on.
but Firefox removed the DNT control last month (https://bugzilla.mozilla.org/show_bug.cgi?id=1928087), though it kept the Tracking Protection control and privacy.donottrackheader.enabled is still available in about:config.
And sure, I can soft-fork dependency B to add support for arrow 53, and dependency A to depend on my soft-fork of dependency B, but it quickly becomes messy. Especially when in parallel I send unrelated patches to A and/or B.
However, the Rust Arrow library bumps its major version every few months because it changes methods and auxiliary types, without changing the memory layout of arrays. But this means you can't have two dependencies (eg. an ORC parser and a CSV serializer) that depend on different versions of Arrow if you want to pass arrays from one dependency's functions to the other's.
And vendoring like you mention won't help, because the Rust compiler wouldn't recognize both vendored Arrow crates as compatible.
I love that it implies there is a more comprehensive DevSecOps platform that isn't AI-powered.
urllib3 does not have a recent release that could explain https://trailofbits.github.io/are-we-pep740-yet/ lagging behind.
Complexity classes like NP are defined only for decision problems, not for optimization problems. NP can be defined either as
* the set of decision problems where, given a solution, you can check it in polynomial time with a deterministic Turing machine, or * the set of decision problems solvable in polynomial type by a non-determistic Turing machine
these two definitions being equivalent.
When someone mentions an optimization problem being in P, NP, or NP-hard, they actually mean the associated decision problem being in P/NP/NP-hard.
While technically incorrect, this is fine when working informally, because you can "translate" between the two in polynomial time.
If I give you an oracle (ie. a magic box) that solves an optimization problem (ie. gives you a solution to P with the highest score) immediately, you can trivially write a polynomial time algorithm that solves the decision problem: call the oracle, check the score of its answer, then compare that with the X value you were given. And vice versa: if I give you an oracle that solves a decision problem immediately (ie. given a value X, gives you a solution satisfying P with score >= X), you can write a polynomial time algorithm that uses the oracle a few times with the right values of X (exponential search then bisection), to find the solution with the highest score.
The difference is that Libera relies on blocking anonymous connections abusive IP ranges (proxies, gratis VPN providers). When abusers connect through Matrix, Libera only had their username, which delayed spam mitigation.
> The bridge should have a provision to prevent users to see any backlog from before the moment they joined.
That's already how it's supposed to work, though it had some issues.
> Ps I really hate those new "single puppet" third party bridges they recommend. Because they break nick colouring and also the actual nick of the user speaking is in a different place.
I think everyone hates them (and I say this as someone who maintains a few of them). Some IRC clients have scripts to substitute nicks from relayed messages though.
A closer analogy is the Hutter Search (http://hutter1.net/ai/pfastprg.pdf), as it is also an algorithm that can solve any problem. And it is probably too inefficient to use in practice, like the Hutter Search.
The source they give for this is: https://www.videogameseurope.eu/wp-content/uploads/2023/09/V... , which says this number is actually:
> Average spent per month (amongst all parents of children who spend in-game items)
According to the same source, 18% spend, 76% don't, and 7% are unknown. So excluding the unknowns, that's an average of 7.5€ per month.
> if you modify the Program, your modified version must prominently offer all users interacting with it remotely through a computer network [...] an opportunity to receive the Corresponding Source of your version [...]
From the Merriam-Webster dictionary:
> interact, verb: to act upon one another
When distributing a binary from a compiler to a user, the user does not act upon the compiler. So the user is not interacting with the compiler, so you don't need to distribute your modified compiler's code any more than you would with the GPL.
It's also not clear for us! We're considering using a regular replicated database backend with multiple service nodes accessing it. Making the service nodes replicate directly through the network is also an option.
> Is there still a benefit to having more than one server?
Good question. I'm not a staffer at Libera so I don't know, but they believe they need multiple servers. If nothing else, it keeps latency low between clients and servers no matter the client's continent.
> That means support for posting images and videos, audio/video chat, offline history, easy switching between desktop and phone, deep and granular admin controls, etc. I'd love for there to be an open source & open protocol option here, but I'm terrified to even imagine an RFC that implements all of this in a way that works in practice.
There are already specs for most of this stuff. Images and videos are through sharing URLs freely and there's https://github.com/progval/ircv3-specifications/blob/filehos... to tell client where they can upload media (I wrote it as a joke, but there are a couple implementations now???). Video/audio chat won't happen, because it's just too hard. https://ircv3.net/specs/extensions/chathistory for offline history already has a decent number of implementation. And easy switching is going to be tough but there has been work on it from https://soju.im/ (read markers, synchronizing PMs) that we can reuse.
"deep and granular admin controls" is probably going to be through non-standardized commands as is tradition, so servers can freely innovate and there isn't much to gain through standardization. https://github.com/ircv3/ircv3-specifications/pull/484 would help build GUIs for new custom flags, though.