skysight-inc/HackerNews huggingface dataset:
More likely, wildly inaccurate outcomes will cause a re-examination of the cited theorems, which will probably flush out the bug.

By the way it is not clear to me, if the theorem was false or if only proof was wrong.
"Terry Tao finds ChatGPT very helpful to prove new theorems" would actually be bigger news than this one, IMO.
Good for him. However I feel bad it seems like a misplaced sense of personal guilt over being an effective altruist compelled him to do this. Many empathetic people worry far much over the slight possibility they are a bad person even though they're miles away from one. Evil, psychopathic people never worry about being a bad person at all, and can sleep soundly even in perfect understanding of the deliberate suffering they've caused.
Nobody really objects to them holding conferences. (At least not too many people do.)

Renting venues for the conferences vs buying a venue seems like a straightforward financial calculation one can make and decide on fairly objectively.

If you want to have a moral discussion, we should probably talk about what kind of venues conferences should be held at; not on whose balance sheets the assets are held.
I think you are correct.
Disabling JIT would make it substantially harder to exploit.
Not a maker exactly, but there is an open source hobbyist software project for certain brands of robot vacuum: https://valetudo.cloud

It lets you run them without any cloud connectivity or forced updates.
So you think countries like South Korea, Greece, Kuwait, Columbia, and Singapore are "state-terror organizations"?

https://en.wikipedia.org/wiki/List_of_countries_with_highest...
It's already happened to some extent but with virtual states - Dem & Rep.
My experience is completely different.

I see nothing but real people, no content farms and plenty of activity.

As with every site like this it really depends on who you follow.
GAS is not just collecting, it’s collecting under a specific delusion
Funny you should mention "succeeding" at a hobby. I collect coins. There are 2 major companies that will grade and encapsulate coins in clear, tamper-evident, sealed polycarbonate holders that have labels inside them with bar codes and serial numbers and all that jazz.

Both of those companies have this concept that's called a "registry set," which is where you can go on their websites and enter the serial numbers of coins you own, then create virtual sets out of those coins. You can create your own set lists, which I have no problem with, but there are also pre-made set lists the company created, which are scored according to a rarity-weighted average of the numerical grades of your coins, with a score of 0 for any missing coins. For instance, there's a Buffalo nickel registry and a wheat penny registry, and so on.

I think you can probably see where I'm going with this now. Before these companies came into existence and started publishing rankings of these sets, you couldn't really do something like say "@gilleain has the #1 ranked Buffalo Nickel set in the world," and such. Now you can, and it really annoys the piss out of me. It's not because my collection doesn't rate very highly (it doesn't, FYI), but because I think "competitive coin collecting" is bad for the hobby and only serves to make those 2 companies money.
You need to be a little bit smarter than that if you wanna "fix" other people's comments. Understanding it is the bare minimum.
Mastodon is terrible and has a massive barrier to entry for majority of users.
Depends on the country, before Bologna Portuguese degrees would be 5 years, so 23-24 would be the age of finalizing the degree, given that PhD without Msc wasn't possible back then, having everything done meant at least 30.
My journey into Linux was like this.

I decided to install arch once. Didn't have any issues per se, but spent far too much time going through all the window manager options, file browser options etc etc etc.

I eventually decided that I needed an os to do stuff, not be the stuff to do.
The government allows itself to change the rules at any time. Thus all changes to the rules are absolutely fine?
There are two people in surgery and two families involved in this transaction. The recipient side is relying on the healthcare system to make the transplant work out well, and it's the medical staff that will be blamed and held responsible if the recipient suffers or dies due to an avoidable mistake. Because of that, there's only so much decision making powers that can be granted to the donating side.
The previous owners were using it as a single family home (according to Wikipedia). Make of that what you will. It's definitely a bigger 'waste' of resources than using it for conferences.
The sophistication of the authors in their paper speaks to the opposite. Give it a read!
Welcome to the Internet, superMayo!

If you want to see what the Masters can do with shaders, let me introduce you to Inigo Quilez and his shader art: https://www.youtube.com/watch?v=BFld4EBO2RE

EDIT: I did not notice you are the author of this article. It's very well done, and I've been looking for more approachable and interactive tutorials on the arts of shader coding.
Ford hits the brakes on $12B in EV spending
The UN mission was also spineless and a proximate cause of a lot of trouble. It can be seen in the few instances where UN troops stood their ground, it had good results.
Growing a social network to 100m MAU in such a short period is the opposite of failing.

And it's not just technical reasons but business ones. Feeding additional data into Instagram ads is going to improve the quality of their targeting engine. Which means Threads is contributing to Meta's bottom line without them having to run ads.
Note that the Z3 SMT solver was written by Leonardo de Moura, who also is the lead dev of Lean 4. Not a coincidence (-;

Lean 4 seems to be used in production at AWS: https://github.com/cedar-policy/cedar-spec/pull/138
In theory yes. In practice mathematicians tend to have a good instinct for which things are true (although not always - some false theorems stood for decades if not centuries) and will avoid looking into ideas that don't pass the sniff test. Plus if you keep building on the consequences of a false result then you'll likely eventually reach a contradiction, which might inspire you to spot the bug in the original result.
> Oxide equity, like for all private companies, isn't worth anything until and if they go public

Open AI just had a tender offer for employees this month. It's not public. Clearly the equity is worth something even though the company is not public.

Some companies facilitate secondary transactions for their employees.

There are ways many employee friendly companies provide early liquidity without IPO.
Luggage tag?
Maybe, maybe not. I guess it depends a lot on your system and on the packages you use.

I believe that one is entitled to believe that sharing dependencies on the system is the way to go (versus bundles), and more specifically one is entitled to not like snaps themselves. In that case, it is a great idea to move away from Ubuntu and towards a system that does what one prefers.
DARPA’s budget was slightly under $4B in 2022 — an order of magnitude smaller than the NIH.

My original comparison was because Medicare and the DOD have their own funding authorities and I didn’t want to sift through their budgets to find it all.
Watching neural networks learn [video]
> Found an American?

I've never even set foot in the Western Hemisphere, try again.

> It's not what IPA is simple (it's not hard for sure), it's what 99% of Americans never even had a chance to at least learn what it is.

How does that compare to say China, Brazil or India?

> Most of the time when you learn some other language the pronunciation is given in IPA.

I have native-level proficiency in 3 languages, all of which use entirely different writing systems. I also studied French in highschool. Guess what I was never taught?
Show HN: tracexec: A small utility for tracing execve{,at}
No it's not, there's plenty of amazingly optimized pieces of software.
Yeah, no, this is absolutely not true. Every competitor has similar issues in deploying fixes: better in some places, worse in others.
Or using F* and then generate F# code, https://www.fstar-lang.org/
"Terry Tao finds ChatGPT very helpful to formally verify his new theorems" seems to be a true statement. See some of his other recent mathstodon toots.
I don't watch movies and I block ads online. So help me out: were there many or few ads?
You're probably affected; the cache hierarchy would just be a bit different and require some changes to the proof of concept.
Weed helped my anxiety a lot and I work out more now and lost weight.
Nvidia nsight
If you're seeing a thread notification that means a user has posted something.

So by definition it has users. In fact quite a lot of them.
Advertising. The more time you have to doomscroll, the better (for those in power).
> So what you’re saying is that the websites with the fancy videos and interactive content ate all the text-based websites, but that the customer is wrong and they’re going to the wrong websites?

No. I'm saying that there are only few websites that "primarily deal in video and multimedia". They may take 9 spots in a top 20 list, but that 9 is like half of all such websites. The rest deal primarily with text (which includes formatted, rich text).
Or not even agreeing. It has been fairly common for dissidents in the USSR and Putin’s Russia to express outright scorn for people who advocate for social justice, especially LGBT whom even dissidents might dislike. Social-justice advocates are seen as naive dreamers. Also, while people who support the regime are odious, those who actively work against it might be accused of allying with the country’s enemies.

As I said, the favoured course of action for some dissident communities is instead retreating into the private sphere and trying to live one’s best life there. I have heard that this is a common attitude among dissidents in China, too.
Not if the exploit requires a minimum of 5 minutes.
> That's a nice thought but it's 100% sci-fi, we can't act as if A will cause B because neither A nor B are certain.

Sorry but I don't follow. We need to act because it's a real possibility, even though it's uncertain.

> What if this race for survival is exactly the thing that will cause our end ?

... "we can't act as if A will cause B because neither A nor B are certain."

Why would it cause our end?

> Except it's literally the opposite... we need a lot of co2 on mars to make it habitable

Sure, but that's not the only thing you need to do there. You also need to make fuel - out of CO2 that's already there.
One of my favorite actors from the non-Hollywood movies. Oh, and that movie is originally titled 'Le Magnifique' to help searching for it.
I deeply appreciate these hot takes based on nothing but ego. It saves me from having to go to Reddit.
The DOD’s comptroller says you’re wrong — that figure includes both mandatory and discretionary funding authority.

See page 9 and page 14.

https://comptroller.defense.gov/Portals/45/Documents/defbudg...
It's not just faster code, but also having more control over it. The JIT engine is more than happy to put a hundred data-dependent instructions right after each other; an interpreter makes this harder.
Agreed.

There's been a dozen times where I only started finding a hotel while Ubering to the international airport. One time I had to change out of my seat for landing because my seatbelt wasn't working, so I sat next to a stranger and started talking. She offered to split a cab with me and asked where I was staying, but I told her I didn't book a place yet (she was shocked). I found a nice hotel chain, booked it and on the way downtown told the driver.

I like to visit and explore a city, and then I'll know where I want to stay the next time I go back. I've certainly screwed myself a few times (I didn't know Seoul was so big so every day started & ended with a 1 hour Uber) but I have the entire rest of my life to learn and experience, so why try to do it "perfect" the first time? I've been to Singapore a few times but haven't seen those Lion fountains yet. I don't know where they are, but it'll be cool when I run into them by accident sometime in the future.
Have the German unions forced the issue yet?
> You could launch 200 rockets the same day if you wanted to.

No, I can launch 200 rockets the same day if I have sufficient rockets, launch pads, reload-capacity on these pads, fuel, and personnel.

We have none of these things, and they cannot be solved by throwing money either. Just one example why not: Launch sites have geographic requirements.

> If you have a really deep pipeline of several, the rockets could also be coming home

A pipeline of what, rockets!?

The fuel-requirements of a spaceship far outstrip it's payload capacity. That's not me saying that, but physics.

So I have to launch M rockets to bring N rockets back home, with M being a multiple of N. And then to bring M home, I have to launch L rockets, with L being a multiple of M. Did anyone say "geometric growth"?
It is often described as such. I was 13 when I got my first dial-up. With all the free time and excitement I had, it was very easy for me to get into, and certainly more fun than whatever today's internet is.

So to be honest, I do not understand the common slander and mischaracterization of the utterly vibrant pre-2000s Internet, in all its beauty and awfulness.
That's not necessarily a bad thing.

500-800m people on bicycles would probably be healthier overall.
> Well he may simply fire all locals and bring in all-foreign staff. What will stop him?

Other unions blackballing Tesla, and getting it fired as a customer. Good luck building cars when you can’t buy parts, or electricity.

That would also have a high chance of escalating the issue from a labor dispute to a legal and political concern.
a) is not just technical - it's also about barrier to entry. A more user-friendly solution might have allowed custom handles. That's not the point. Meta want to gobble up other forms of personal data with Threads and retain its value through a link to an ostensibly real person on Instagram. They want you to stay in the bullshit garden and avoid the legwork of linking anonymised data to individuals.
There are so many places all over Europe where majority of population is not of same ethnicity as the rest of the country. Italians in Istria, Croatia. Basque people in Navarra, Spain. Hungarians in southern Slovakia or Vojvodina, northern Serbia. In all of the places I've mentioned and been to, there's a great level of autonomy for those ethnical minorities. Bilingual street signs, schools in native languages, churches etc.

This is what Kosovo had in Yugoslavia, and this is what Kosovo should have in Serbia, for ethnic Albanians.
Elected British MPs are also unable to resign.

To allow them to do so there is a "legal fiction" where they're appointed to an "office of profit". This disqualifies them from being an MP and triggers a by-election. These are unpaid positions with titles like "Crown Steward and Bailiff of the three Chiltern Hundreds of Stoke, Desborough and Burnham".

https://en.wikipedia.org/wiki/Resignation_from_the_House_of_...
In terms of prevention strategies, it seems that given that the initial vector was a malicious iMessage attachment, Lockdown Mode would have prevented this attack? (As it disables iMessage attachments).
yes I'm talking about the global 1%. i.e. us, who are polluting far far more than our fair share
Definitely, and they only have a limited pool of manpower.

However, at least the problems with this approach are all in one direction: Bits differing might be due to an actual attack or because of weird compiler issues, but if you get the bits to be identical, you know that no funny business is going on.

The proposal to have more complicated rules doesn't have this upside. And you still need to make sure that the things that actually matter are the same (like instructions in your binaries), even if you successfully separated out irrelevant metadata changes.
> Did evolution really keep two kidneys if you actually just need one? I doubt it.

Aside from the nervous system, pairing is the default condition of all mammalian organs which develop from the mesoderm or ectoderm: they can then go on to fuse into a single larger structure, as with the heart, but as far as I know they're never simply lost on one side during normal development.
Agree and suspect most didn't read a word of the article (porn has nothing to do with this). If only HN could ever return to actually being Hacker News, rather than yet another sensation platform.
Get your head out of the gutter!

The .co.ck TLD is for serious business purposes, like crane rental companies, producers of integrated circuits, cloud storage providers, or maybe a lobby group for the carbon-based pigment industry.
I'd say TLA+ is designed more for software people trying to design systems, write down specs, and reason about how the thing behaves dynamically.

Lean is used mostly for writing down math proofs, and a lot less for software (although by the Curry–Howard correspondence, math proofs and programs have an equivalence, so the line is a little blurry). Lean has "mathlib", which is like a standard library of formally verified math that people can contribute to and use in new proofs.

A big multi-year effort to start formalizing the proof of Fermat's Last Theorem in Lean 4 was approved recently: https://www.ma.imperial.ac.uk/~buzzard/xena/pdfs/AITP_2022_F...
The international organ trade[1], for one. Survival is our strongest instinct; otherwise reasonable people will do reprehensible things to stay alive.

(There’s also familial coercion, but that wasn’t present in this case presumably.)

[1]: https://sgp.fas.org/crs/row/R46996.pdf
Or whenever someone typed +++ATH0 in IRC :)
This matches what I have heard too. And I just remembered, Kosovar tourists in Albania are wary of violent crime, like muggings under gun threat. They see Albania as less safe than Kosovo in general.
Or we vote with the government, and this is what they're doing.
What is it that makes "giving people money to donate their time" so much less repugnant? Is it that time is finely divisible, whereas kidneys come in twos?
You know, I think I realized what happened to WordPress.

You sold me on that everything was gravy, but not once did you ask me, the user, for any feedback on how you might improve your product.

Thank you again for everything you have done for the developer community, and thanks for some great content the blog :)

https://www.elegantframework.com/blog

Cheers!
Europe's surveillance network. They're all sharing information with each other.
I've still not used my oscilloscope (properly - measuriung some DC value when I couldn't find my multimeter doesn't count??)

I find a good circuit simulator helps in speeding up the hassle in 'probing' electronics - there's many out there, I do like this one though https://www.falstad.com/circuit/
Bring it on. Let's union workers compete with non union workers.
This is a story about Apple being more focused on their existing business rather than innovating and Google using these new regulations to try to force them to compete on a level playing field. How did you get it the other way around?
The discord community is fantastic!
“Truckers refused to deliver food and beer to McDonalds.“ Beer?
Reminds me Jonathan Blow about Apple M1 https://www.youtube.com/watch?v=unx3WCWZwUc
Buy a Prusa, Skip most of the setup/tweaking/upgrading. Print things. Learn to design things to print.
I'm pretty sure it's only in English and Japanese that "America" and "American" mean "the US" and "someone from the US". Everyone in Latin America also agrees that "americano" is the demonym for the continent.
Yes! I work in quantum information theory and this recently happened in a subfield called resource theories.

The generalised quantum Stein's lemma [1][2] is (or was) a very powerful result that was used for over 10 years to prove things in this subfield. However last year it was noticed that there was an error in the proof of this lemma, and a whole bunch of results based on it weren't valid [3][4]. One of the authors of the paper where they wrote about the error gave a talk at the conference QIP 2023 this year, and there is a video of that talk available here [5]. Bartosz is a good speaker and I recommend watching the talk if you're interested, if you go to about 10 minutes, 30 seconds in the talk he discusses the consequences of this result now being not known to be true.

[1] Published paper https://link.springer.com/article/10.1007/s00220-010-1005-z

[2] Arvix version: https://arxiv.org/abs/0904.0281

[3] Published version: https://quantum-journal.org/papers/q-2023-09-07-1103/

[4] Arxiv version: https://arxiv.org/abs/2205.02813

[5] Youtube link: https://www.youtube.com/watch?app=desktop&v=2Xyodvh6DSY
This kind of thing would ring all alarm bells at all political levels, though.

I doubt any Swedish political party could stay in power if moves like these are allowed.
'Musk destroyed all that': Twitter's business is flailing after a year of Elon
I'm not familiar with WebKit, but I consider Site Isolation a Chromium feature instead of a Blink one. Is it supposed to be solved within the render engine?
I wrote a system for this for my house.

Entry of the expiry date is manual, and I haven't implemented notifcations yet, but barcodes solve most of the rest of the issues.
I meant more the accelerationist and AI derisking contingents, not political donations. Both are explicitly reactionary in the most basic sense (and accelerationism is also reactionary in the far-right sense).
Gen Z has side hustles because they fear layoffs
Ask HN: Do I need a special keyboard layout to learn array programming?
Array programming paradigm fascinates me. As much as I want to learn it, whenever I search any info about it, I find APL tutorials. Now well APL uses so many special symbols that it needs a keyboard layout with those symbols.

Is there another way? Do I really need to setup a keyboard layout to learn array programming?

Are there other APL-like languages that are easier to program with normal keyboards?
> Ultimately cost is what matters anyways.

To you, now. But the biggest problem of humankind right now is energy. Consequences of our use of energy are climate change and biodiversity loss. But even ignoring those consequences, we are going into a world where we will have dramatically less energy. Not in 100 years, in the next few decades. So you will live in that world.
For many people reframing GAS as collecting wouldn't work. As stated in the quoted part of the article, people affected by GAS often expect that their new purchase will make them better at their hobby. This usually doesn't happen, or is not that significant - and so the search for a new piece of gear begins. Again, expanding the collection is not the goal, it's a compulsive side effect.
For programming languages I use some curated weekly newsletters:

Javascript
https://javascriptweekly.com/

React
https://react.statuscode.com/

There are curated weekly newsletters on many languages/big frameworks.
Well, if that is even legal in Sweden (I'm not sure) - the striking workers could _physically_ stop this. And then there would be the question of the statutory limitations on Swedish state involvement in labor disputes.

(And the union could also get in touch with such hires and explaining the situation to them, which is also likely to be somewhat effective in deterring this sort of scabbing.)
I mean, yes. We should teach personal finance & how to learn the law.