vilhelm_s

9 ms·

1.
by vilhelm_s 3mo ago
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/p
2.
by vilhelm_s 4mo ago
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 beh
3.
by vilhelm_s 5mo ago
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 woul
4.
by vilhelm_s 6mo ago
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.
5.
by vilhelm_s 6mo ago
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&
6.
by vilhelm_s 7mo ago
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. Curren
7.
by vilhelm_s 7mo ago
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’ lim
8.
by vilhelm_s 8mo ago
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 "Unf
9.
by vilhelm_s 8mo ago
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 (
10.
by vilhelm_s 9mo ago
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
11.
by vilhelm_s 10mo ago
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
12.
by vilhelm_s 10mo ago
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", "Fun
13.
by vilhelm_s 10mo ago
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 beca
14.
by vilhelm_s 11mo ago
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 ], &g
15.
by vilhelm_s 11mo ago
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 1950
16.
by vilhelm_s 1y ago
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".)
17.
by vilhelm_s 1y ago
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 in that ore. Not all leaded gasoline was the same either: &g
18.
by vilhelm_s 1y ago
The telescope is panning to keep the comet still in the frame during the exposure.
19.
by vilhelm_s 1y ago
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]. Battery storage is currently competitive with gas for storing arou
20.
by vilhelm_s 1y ago
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 guessed that using the token linearly would be enough to
21.
by vilhelm_s 1y ago
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.
22.
by vilhelm_s 2y ago
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 identified 1990 as the year systems research became irrelevant[0
23.
by vilhelm_s 2y ago
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 time. There are a lot of people worrying about those t
24.
by vilhelm_s 2y ago
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.
25.
by vilhelm_s 2y ago
It's the other way around, there was a class action, but the eventual outcome was that everyone needs to sue individually instead.
26.
by vilhelm_s 2y ago
No, it was settled a few months ago. https://news.bloomberglaw.com/business-and-practice/lawyers-... > The plaintiffs had asked for $5 billion in damages, but the settlement provided no monetary relief. Individuals
27.
by vilhelm_s 2y ago
No, the point is that the proof itself should be written in the Coq language. The original 4-color proof in 1976 was written in English. They used computer programs to do certain computations, but the proof that those programs were correct
28.
by vilhelm_s 2y ago
She didn't think there would be anyone in the middle! She expected the app to access the URL, and it did, but she didn't expect it to also send a copy to its creators. Like, what if you discovered that each time you send an emai
29.
by vilhelm_s 2y ago
Hm, I just looked up the timeline, and I don't see any conincidence. It's like: 6 March 2018, a U.S. grand jury charges Assange, but it is secret. 11 April 2019, Ecuador expels him from the embassy, the UK arrests him for
30.
by vilhelm_s 2y ago
The issue is that the company can track what you are reading.

More ›