Viewing profile — vilhelm_s

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. ( htt…

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…

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 …

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.

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-hou…

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…

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 s…

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 …

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 biograph…

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 anyt…

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 h…

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…

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 ha…

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-industri…

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 l…

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

The radioactive lead isotopes come from decay of uranium and thorium, so lead from different mines will have different isotope ratios depending on how much U and Th happened to be …

The telescope is panning to keep the comet still in the frame during the exposure.

Batteries are nowhere near that cheap. Currently the cheapest non-intermittent energy source is gas; solar costs about half as much, and nuclear costs 50% more than gas [0]. Batter…

I mean, you definitely can't build your own unsafePerformIO without dropping the state token. I have never thought deeply about it, but if you had asked me I would probably have gu…

Surely the child's father was Anton Peschka? Gertrude was engaged to him, later married him, and his mother raised the child. I don't think the article suggests otherwise.

I think the gap was just beginning to emerge around 1990. Until then, people really were re-developing the full computing stack based on new research every few years. Rob Pike iden…

The radioactivity generated from neutron activation is low-level, so you don't need to worry about accidents releasing lots of radioactivity, or about how to store waste for a long…

It's not about written instructions to an audience who has never set up a website though, it's about an "engineer" and a "senior engineer" on the same team talking to each other.