HNHacker News
TopNewBestAskShowJobs

progval

6,236 karma · joined April 28, 2015

https://valentin-lorentz.fr/

progval+hn@progval.net

submissionscomments
progval··on AI-generated Answers experiment on Stack Exchange sites
You don't. Assuming that by "mod points" you mean badges, no badge listed on https://stackoverflow.com/help/badges can be earned by closing questions.
progval··on What does "supports DRM and may not be fully accessible" mean for SATA SDDs?
The EU decided not to:

> 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

progval··on Escape the walled garden and algorithm black boxes with RSS feeds
Atom push is actually implemented. SWORDv2 (but not v3) is based on Atom Push, and https://en.wikipedia.org/wiki/SWORD_(protocol) lists a few implementations.

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.

progval··on Nation-scale Matrix deployments will fail using the community version of Synapse
Why not fork from the latest version? It's provided as AGPL, and you don't need to sign the CLA as you are not going to contribute to the upstream anyway.
progval··on Mastodon announces new European non-profit, change of CEO
And even with JS enabled, it now needs more network round-trips, which is noticeably slower, even with a very low-latency connection to the server. For example, loading https://mastodon.social/@Gargron/ takes 1.2s to display the posts (or 3.3s when logged in), with a warm cache and 5ms ping to mastodon.social.
progval··on IRC Driven – modern IRC indexing site and search engine
Zulip seems to rely too heavily on Javascript to be indexable by search engines. I copy-pasted some sentences from month-old posts on https://leanprover.zulipchat.com/ into Google and Bing, and neither could find the posts.
progval··on BlogScroll – An open directory of personal sites and blogs
"One person or legal entity may maintain no more than one free Account (if you choose to control a machine account as well, that's fine, but it can only be used for running a machine)." https://docs.github.com/en/site-policy/github-terms/github-t...
progval··on Where are Mr. Beast's early sponsors now?
Legal documents of the class action: https://www.courtlistener.com/docket/69503243/wendover-produ...
progval··on Orbit by Mozilla
https://github.com/mozilla/addons/issues/3145

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.

progval··on The semver trick (2019)
I can't always do that because dependency A depends dependency B that depends on arrow 52, and dependency C depends on arrow 53.

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.

progval··on Debian's approach to Rust – Dependency handling (2022)
Are Rust ABIs even guaranteed to be stable for a given compiler version and library features? ie. doesn't the compiler allow itself to change the ABI based on external factors, like how other dependents use it?
progval··on The semver trick (2019)
Concrete example: the Apache Arrow format is designed to allow passing arrays across languages and libraries without conversion; so many public functions/methods (and FFIs) will have Arrow arrays in their signature.

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.

progval··on Gitlab names Bill Staples as new CEO
This is common for huge open source projects. However, when you send a patch to Gitlab, they will assign someone to guide you through the process, and the patch will be merged eventually unless you bail out or they outright reject it.
progval··on Gitlab names Bill Staples as new CEO
That's copy-pasted from https://about.gitlab.com/ .

I love that it implies there is a more comprehensive DevSecOps platform that isn't AI-powered.

progval··on A pretty visualisation of the European power grid (2022)
Or move the cursor while right-clicking.
progval··on Yggdrasil Network
That was the original goal of cjdns, which is why it automatically peers with other nodes reachable over Ethernet (no IP needed), including WiFi (see the first paragraph of https://github.com/cjdelisle/cjdns/blob/master/doc/Whitepape...). Unfortunately, its approach to routing turned out to not scale in practice. Yggdrasil uses a different routing algorithm so it might.
progval··on Are We PEP740 Yet?
According to this page, urllib3 does not use trusted publishing. According to https://docs.pypi.org/project_metadata/#verified-details , trusted publishing and self-links are the only ways to have "verified details". However https://pypi.org/project/urllib3/ shows Changelog/Code/Issue tracker as "Verified details" even though they are not self-links. How come?

urllib3 does not have a recent release that could explain https://trailofbits.github.io/are-we-pep740-yet/ lagging behind.

progval··on Computer scientists combine two 'beautiful' proof methods
In this context we can divide problems into two cases: optimization problems ("find a solution that satisfies P, in a way that has the highest score") and decision problems ("is there a solution that satisfies P, with score >= X" or "find a solution that satisfies P, with score >= X").

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.

progval··on Matrix-Libera IRC Bridge Temporary Shutdown, a Retrospective (2023)
> Nothing wrong with it but it feels wrong calling matrix out on that.

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.

progval··on Notify a Slack room when Sonos music is playing too loud
I don't know. When I google this question in French, I see people whose fridge door does close on its own, asking for how to solve this issue; so they must find it inconvenient.
progval··on Notify a Slack room when Sonos music is playing too loud
We just have them perfectly level, so the door does not move at all on its own.
progval··on Notify a Slack room when Sonos music is playing too loud
Perhaps a regional specificity? Personally I've never seen such an auto-closing fridge in France.
progval··on GitHub notification emails used to send malware
My theory for most of these cases: they would need permission from who knows what department(s) to set up a subdomain of the main domain for their project, and it's easier to just purchase a new domain for the team/project.
progval··on Meta AI: "The Future of AI Is Open Source and Decentralized"
You can also modify a precompiled binary with the right tools.
progval··on Chain of Thought empowers transformers to solve inherently serial problems
> It's the "Universal Turing Machine" for LLMs.

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.

progval··on European Consumer Organization goes after publishers for their in-game currency
> Data shows that children in Europe are spending on average €39 per month on in-game purchases.

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.

progval··on Microsoft confirms that Windows 11 Recall AI is not optional
I meant what article(s)/paragraph(s) of GDPR. GDPR is a specific law, not a general principle. You can read it here: https://eur-lex.europa.eu/eli/reg/2016/679/oj#d1e1374-1-1
progval··on Microsoft confirms that Windows 11 Recall AI is not optional
What part of GDPR does it infringe?
progval··on Why we picked AGPL
From section 13 of the license (https://www.gnu.org/licenses/agpl-3.0.en.html):

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

progval··on IRC Will Never Die (2021)
> Unfortunately, it wasn't clear how services operate, though

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.

← PreviousPage 9 of 34Next →