vilhelm_s · HackerLangs

hace 10 díasdiscuss

This decision is a direct consequence of the EU decision, Pricerunner applied the precedent from that case and claimed that Google discriminated against them in the same way. (https://www.delphi.se/eu-competition-blog/private-enforcemen..., https://www.domstol.se/nyheter/2026/07/google-is-to-pay-dama...)

vilhelm_s

hace 2 mesesdiscuss

The "shall" in the standard means it's undefined behavior. This is explained in the "Conformance" section,

> 2. If a ‘‘shall’’ or ‘‘shall not’’requirement that appears outside of a constraint is violated, the behavior is undefined. Undefined behavior is otherwise indicated in this International Standard by the words ‘‘undefined behavior’’ or by the omission of any explicit definition of behavior. There is no difference in emphasis among these three; they all describe ‘‘behavior that is undefined’’.

Compilers will not refuse to compile the code, indeed the blog post we are all commenting on reports the results from a bunch of different compilers. Historically the reason the C standard specified a lot of undefined behavior is that the actually existing C compilers at the time compiled the code but disagreed about the output.

vilhelm_s

hace 2 mesesdiscuss

Yeah. I guess the abstract type approach saves some memory, but it's a constant factor thing, not an asymptotic improvement. The comment that Lean wastes "tens of megabytes" seems telling: it seems like something that would be a critical advantage in the 1980s and 1990s, when Paulson first fought these battles, but maybe less important today...

vilhelm_s

hace 4 mesesdiscuss

The order was not that he had to produce the coins, just that he cooperate in tracking them down. Telling them where he had stashed it would have been fine.

vilhelm_s

hace 4 mesesdiscuss

We need to do "leap hours" anyway--just today they changed to daylight saving time in the U.S.! And time zones are also adjusted every now and then, which also amounts to a one-hour change in the affected regions. Even if we didn't have continous practice with leap seconds, I think we could definitely include an extra one-hour shift for earth rotation reasons along with all the other ones.

vilhelm_s

hace 4 mesesdiscuss

They cite this paper which gives the concept: https://www.sciencedirect.com/science/article/pii/S002234681... . The mechanism of injury in spina bifida is that the spinal cord gets exposed and damaged. Current surgery will close the spinal canal to prevent further exposure, but it doesn't do anything to reverse the damage that has already happened. The stem cells integrate into the neural tissue and hopefully help the axons heal.

vilhelm_s

hace 5 mesesdiscuss

There is a copy of a court order here which gives more legal details [https://www.universalhub.com/files/attachments/2026/culleton...]

> The Fifth Circuit has held that the VWP statute “‘unambiguously’ limits an alien’s means of contesting removal solely to an application for asylum.” McCarthy v. Mukasey, 555 F.3d 459, 460 (5th Cir. 2009) (citation omitted). And once an individual violates the terms of the VWP by remaining in the United States for more than ninety days, the individual is no longer entitled to contest removal on any other basis. Id. at 462. This is true even when an individual has a pending adjustment of status application on the basis of their marriage to a U.S. citizen. Id. at 460, 462.

> Culleton concedes he is removable under the VWP. Reply 10. But he argues that because USCIS accepted and began processing his adjustment of status application, he is entitled to due process protections in its fair adjudication. Id. at 9. The Fifth Circuit has foreclosed this very argument, reasoning that the VWP waiver includes a waiver of due process rights. See Mukasey, 555 F.3d at 462. And “[t]he fact that [Culleton] applied for an adjustment of status before the DHS issued its notice of removal is of no consequence.” Id.

vilhelm_s

hace 5 mesesdiscuss

I don't think it's that subtle: it would be enough to have a continuous integration tool that tries to compile the proofs that are checked into version control and raises an error if it fails.

The linked blog post says "Unfortunately, a student once submitted work containing this error; it was almost entirely incorrect and he had no idea." I guess the student probably was aware that not every proof had gone through, and that the that he saw like "99 out of 100 proofs succeeded" and assumed that meant that he had mostly completed the task, not realizing that a false theorem would be used to the give incorrect proofs for the rest of the file.

vilhelm_s

hace 6 mesesdiscuss

But he had not been an apprentice before making this, he started the apprenticeship that year, and this is supposed to be the first thing he ever painted.

> Michelangelo's biographers—Giorgio Vasari (1511–1574) and Ascanio Condivi (1525–1574)—tell us that, aside from some drawings, his first work was a painted copy after a well-known engraving by Martin Schongauer (1448–1491) showing Saint Anthony tormented by demons. Made about 1487–88 under the guidance of his friend and fellow pupil Francesco Granacci, Michelangelo's painting was much admired; it was even said to have incited Ghirlandaio's envy. [https://www.metmuseum.org/exhibitions/listings/2009/michelan...]

vilhelm_s

hace 7 mesesdiscuss

The idea is that e.g. the government would give you an app that lives on your phone. When you apply for the app you provide some documents to prove your age, but you don't say anything about what sites you plan to visit. When you want to visit an age-restricted site you use the app to generate a proof that you have it, but the site doesn't learn anything more than that, and the government doesn't learn that you used the app.

vilhelm_s

hace 8 mesesdiscuss

Yeah, that sounds very unlikely. The full paper dismisses the possibility:

> Another possible explanation to consider is that the current indings were caused by cross-cueing (one hemisphere informing the other hemisphere with behavioural tricks, such as touching the left hand with the right hand). We deem this explanation implausible for four reasons. First, cross-cueing is thought to only allow the transfer of one bit of information (Baynes et al., 1995). Yet, both patients could localize stimuli throughout the entire visual field irrespective of response mode (Experiments 1 and 5), and localizing a stimulus requires more than one bit of information. Second, [...]

I get the impression that the authors of the paper have some kind of woo (nonmaterialist) view of consciousness. But they also mention this possiblity, which seems more plausible to me:

> Finally, a possibility is that we observed the current results because we tested these patients well after their surgical removal of the corpus callosum (Patient DDC and Patient DDV were operated on at ages 19 and 22 years, and were tested 10–16 and 17–23 years after the operation, respectively). This would raise the interesting possibility that the original split brain phenomenon is transient, and that patients somehow develop mechanisms or even structural connections to re-integrate information across the hemispheres, particularly when operated at early adulthood.

vilhelm_s

hace 8 mesesdiscuss

They are regulating websites anyway, surely they can just invent some standard format to say what function each cookie has. How about requiring that the name of every cookie has to start with one of "Strictly Necessary", "Functional", "Performance", and "Targeting/Advertising"?

vilhelm_s

hace 8 mesesdiscuss

The F-22 itself was delayed because of the end of the cold war. The original plans were to have it enter service in 1995, and then this slipped by a year or two. They could have had it being pass produced from 1997, but they delayed it because of the peace dividend. (This is from Aronstein et al, "ATF to F-22 Raptor"). So one should not consider the 2005 date as "how long it took".

vilhelm_s

hace 9 mesesdiscuss

The Rust compiler always produces quite large binaries compared to other programming language. I notice there's a (closed) issue on the Zed github [https://github.com/zed-industries/zed/issues/34376],

> At this time, we prioritize performance and out-of-the-box functionality over minimal binary size. As is, this issue isn't very actionable, but if you have concrete optimization ideas that don't compromise these priorities, we'd be happy to consider them in a new issue.

vilhelm_s

hace 9 mesesdiscuss

Surely your graph shows it declining dramatically? If you zoom out a bit [https://crimeforecast.substack.com/p/explaining-the-crime-de...] we're currently at almost an all-time low, you have to go back to the 1950s to find similarly low numbers.

vilhelm_s

hace 11 mesesdiscuss

I'm guessing they mean it detected a different vehicle and pedestrian but not the ones it hit. (If it was the victim I don't think they would have said "a".)

vilhelm_s

hace 7 añosdiscuss

I think they generally pay for it. It came up with song lyrics a couple of weeks ago, where Genius accused Google of scraping lyrics from Genius, but as it turns out Google payed a third party vendor LyricFind for them, and LyricFind pays the copyright holder, so if anything it seems Genius was more in the wrong...

https://www.theverge.com/2019/6/18/18684211/google-song-lyri...

vilhelm_s

hace 14 añosdiscuss

For Reddit, I would use the new parser for comments written after the upgrade and the old parser for comments written before the upgrade. Note that Reddit already puts post that are older then a month or so into a "frozen" archive mode where they can not be further modified, so after a month the old parser could be thrown away completely.

Not sure what to do about Github.