vilhelm_s

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 email, Thunderbird also sends the email address you were writing to to a server owned by Mozilla?

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 skipping bail.
   11 April 2019, the U.S. unseals the charges and asks for him to be extradited.
   13 May 2019, Sweden re-opens the rape investigation because he is now potentially available to be extradicted again.
   19 November 2019, Sweden closes the investigation because the evidence is too old.

There is no "same day" coincidence at all, and Assange was never free to walk because he would always face criminal prosecution in Britain for skipping bail.

The issue is that the company can track what you are reading.

She expected it to retrieve the URL to her own device, but it also sent it to the company that makes the app. That like if Chrome sent Google a list of all URLs you visit, people would definitely be angry about that.

Surely you don't need any conspiracy for the US to charge him at the same time as the Swedish prosecutor drops charges? That can be done unilaterally by the US prosecutor.

People have been talking about this since at least the 1970s, but no existing reactors have high enough temperatures. There are various concepts on paper that could do it.

https://world-nuclear.org/Information-Library/Non-power-nucl...

But like, you can look at what parts of Mathlib this development imports, it's mainly stuff imported by files in this subdirectory https://github.com/leanprover-community/con-nf/tree/main/Con... , and it's pretty basic things: the definition of a permutation, a cardinal number etc. Almost all of these are things that would feature in the first one or two years of an undergraduate math degree (from just quickly scanning it, the most advanced thing I could see is the definition of cofinality of ordinals). It seems practically impossible to me that someone would make a mistake when e.g. defining what a group is, in a way subtle enough to later break this advanced theorem. If you think that people could mess up that, then all of math would be in doubt.

There is a law about "artificial or prerecorded voice messages", the law was written in 1991 before modern voice generation programs so it might be unclear if it applies to them, the commission now declared that it does. This is often how it works in the U.S., congress passes a somewhat vague and general law, which authorizes an agency (in this case the FCC) to develop more detailed regulations.

The ruling is to treat calls with AI-generated voices the same as other robocalls, which are already illegal.

They're not claming that they invented it, it's an existing term. This blogpost lists 14 different projects in the space: https://www.golem.cloud/post/the-emerging-landscape-of-durab...

SVG files can refer to images for bitmap graphics, only the rectangles, text, etc would be specified as vectors. See https://www.joachim-breitner.de/blog/494-Better_PDF_screensh... for a demo.

Two orders of magnitude. (Currently they input 300 MJ of electricity and get 4 MJ of fusion.)

The Lawrence Livermore National Laboratory director says it could be done in "probably decades — not six decades, I don’t think, not five decades, which is what we used to say." [https://ww2.aip.org/fyi/2022/national-ignition-facility-achi...]

The case for this article is also about a search warrant.

> At some point thereafter, the officers obtained a search warrant for the contents of Valdez’s phone. But they were unable to access the phone’s contents because they could not crack his passcode. So a detective approached Valdez, informed him that he had a warrant for the contents of the cell phone, and asked Valdez to provide his passcode. Valdez refused. Without the passcode, the police were never able to unlock the phone to search its contents

It's not "of course", if there is no 5th amendment protection then you can be forced to give the passcode. The New Jersey case the article mentions is about exactly that. [https://law.justia.com/cases/new-jersey/supreme-court/2020/a...]

Apparently the spike in cases in due to engineered stone. The FAQ gives various reasons why this may be the case, e.g. the generated particle size is different, and also it is easier to cut than natural stone so it may be processed by less skilled workers.

https://www.safeworkaustralia.gov.au/safety-topic/hazards/cr...

This is often talked about in the case of Air Force One (which is supposed to be able to keep flying in case of a nuclear war, so that the president can survive and order the military). The limiting factor is probably engine oil, e.g. this article suggests 2-3 days. https://executiveflyers.com/how-long-can-air-force-one-stay-...

Ok, but now you are making a completely different claim!

You started out saying, "oh, these lecture requires some advanced math background to understand", and quoted the curry function. And then a lot of people explained that no, there is no advanced math, this is just a function written in a programming language. And now it seems you agree, if you spend only 15 minutes you can understand the lecture notes. That's all I, and others, wanted to say.

Separately, it's the case that understanding this will not be very useful in a day-to-day programming job. That's just because it's not all that useful! (See other discussion on this this same HN page.) I think it is very cool and philosophically interesting in itself, and it offers an interesting point of view if you are designing new programming language type systems, but it doesn't have very much "utilitarian" use.

It's not any kind of advanced math at all! The quoted fragment above is just a line of computer code. Anyone who has done any programming in any typed language should be easily able to understand it, though they may need to look up the syntax.

I believe the meaning is that the land company wanted water to prevent the spread of fire, and the DLNR delayed. From the rest of the article, the delay was because farms downstream had the right to use the water for agriculture.

The 1.3 GJ is how much electricity they put in. There is no fusion reaction or energy production, it's just an experimental device to study plasma containment.

Vitalik Buterin wrote a blogpost "What do I think about biometric proof of personhood?" [https://vitalik.ca/general/2023/07/24/biometric.html] which seems pretty positive about the project, they apparently have a careful approach to privacy issues.

U.S. public libraries do not give any royalties to the author when lending physical books, so in that sense "borrowing" the book from the Archive is not different than borrowing it from a library. There is indeed a trend of treating ebooks differently, but I'm not convinced that's a good idea---it seems like yet another example of strengthening the position of copyright holders over the public.

Written in Emacs, so you know it's good! https://imgur.com/G6HXGCw

If they accepted a software update, I would assume it would be about things that are deliberately programmed in, rather than just fundamental limitations? But I agree it's a bit odd. The longer description says

> The FSD Beta system may allow the vehicle to act unsafe around intersections, such as traveling straight through an intersection while in a turn-only lane, entering a stop sign-controlled intersection without coming to a complete stop, or proceeding into an intersection during a steady yellow traffic signal without due caution. In addition, the system may respond insufficiently to changes in posted speed limits or not adequately account for the driver's adjustment of the vehicle's speed to exceed posted speed limit. [https://www.nhtsa.gov/vehicle/2020/TESLA/MODEL%252520Y/SUV/A...]

"entering a stop sign-controlled intersection without coming to a complete stop" sounds a lot like the thing they already issued a recall over in Janary 2020 (further down the same web page), so it seems a bit odd that it would still be an issue. And "due caution" to yellow lights seems like it could just be tuning some parameter. On the other hand, failing to recognize turn-only lanes sounds more like a failure of the computer vision system...

Similarly, in recent years people have been talking about "Tropical Brutalism" (e.g. https://www.dezeen.com/2022/11/28/architecture-project-talk-... , https://somethingcurated.com/2019/10/24/the-evolution-of-tro...), and I think a lot of what is appealing about it is the contrast between bare concrete and lush greenery.

Yes, pest control. E.g. foot-and-mouth disease is eradicated from the U.S. and cattle here are no longer vaccinated, but it's common in Asia and Africa and there are occasional outbreaks in South America. Even a single outbreak imported from abroad could cost billions of dollars, mostly because it would trigger international embargos preventing exports. [https://www.ers.usda.gov/webdocs/publications/45980/12171_er...]

If you click on the picture it says it's the Kola nuclear power plant, which is a VVER-440 reactor. Searching for other VVER pictures, e.g.[1], confirms that they match.

[1] http://www.nucleartourist.com/areas/vver440a.htm

The New Jersey and Oregon policy of not allowing self-service gas turns out to be the visionary policy for the future of transportation!

This is kind of silly. Yes, nuclear is more expensive than wind, but this is irrelevant because (as the article also acknowledges) you can't replace nuclear with wind, you need something that works when the wind is not blowing.

Rather, the tradeoff is between nuclear power and carbon-based power (and also hydro, but most places already built all the hydro power that geography permits). And the problem is that nuclear is also more expensive than natural gas power plants. However, those are slowly ruining the planet, and if you take the cost of climate change into account, the carbon is much more expensive.

The solution is for the government to either subsidise nuclear or tax carbon, to account for the externalities. This still won't make fusion power attractive right now, but in a couple of centuries we will be running out of the most accessible uranium deposits, at which point fusion might look better.

You know what the angle between the stars in the constellation are, you don't need to know the field of view of the camera.