skysight-inc/HackerNews huggingface dataset:
> Why would you assume that?

It might not be using FFMPEG, but gdi32.dll, winsock2.dll, libc, etc. Correct?

Unless you run on 100% bare-metal, the "safe" code is still a tiny fraction.

What if my linked C library returns an invalid pointer? Rust will still make the assumption it might be valid and play along.

(that might be the reason why Rust likes to compile libraries/dependencies from source)

> Also, "if it can't be 100% safe right now all at once, then why even bother?" isn't very pragmatic.

Never said that. I only say that people thinks "unsafe" is just for a "tiny wrapper around a library" or as parent said "that the library is a tiny fraction of the application code."

At the end, it's not. If you consider the rest of the code that makes a Rust program run, then "library is a tiny fraction" is, in fact, the other 99% of your executing code, and that this code is unsafe (unless you run on 100% bare-metal).
>is now calling for him to be expelled

He made no comment.
A github with open issues that hasn't been updated for over a year doesn't say anything about the code or quality.
MacOS would need a Tb of disk space to store all the emulators and libraries if every CPU architecture would have to be supported indefinitely. And Macs would be more expensive than they already are.
Currently computers can reliably do maths. Later AI will unreliably do maths. Exactly like humans.
The Godwit’s Long, Long Nonstop Journey
> Tell me what subset of the repo named "bc" you consider to be "the program"

Clearly, the parts where you aren't able to find memory bugs.
Anyone in Germany? :)
Same here. Endeavour OS with AMD Ryzen CPU and AMD Radeon GPU. Worked straight away from steam.
He is probably right but then that doesn’t mean it will happen. Having worked in Ada 25 years ago, and made the argument (which largely fell on deaf ears for reasons that most of us this old understand), I think his statement is less controvesial than you might imagine. These changes take a long time, but I’m already encouraged by what I’m seeing, especially with companies like Cloudflare adopting a rust proxy in place of nginx.
Please explain to me how pairing a screen, vibration motor and battery to the motherboard keeps me secure... I'd understand faceid (which is paired of course), sure. But not these.

I really have a strong feeling that some folks have Stockholm syndrome or something.
In most cases players were using a smartphones on the toilet.

Generally there are some more options:
- using a small bluetooth headphone with external person telling you the moves
- a vibrating device on the body that vibrates you the moves

both need a live broadcast of the game
Anti-christian pogroms, both against Armenians and Greeks are a major thing through the Ottoman empire. At least these (https://en.wikipedia.org/wiki/Hamidian_massacres) are pre-1900.

However, there's certainly a more well-established hatred of Christians than a specific hatred of Armenians; and I think the Armenians were first hated because they were Christians, and then later on hated because they were Armenians.
What if the small bug got introduced because of lack of time to cater all the verbose comments?

But seriously, in the cases I remember - not really. Most bugs are a cause of lack of higher level understanding of a certain module. Some clear comments can help with that, but better is proper higher level documentation and the time to read and maintain them.
Boxing vs. gun fight. Fencing vs. well, gun fight. Swimming vs. motorboats? Bobsleigh vs... gravity?

In most sports it's possible to find a machine that does it better/faster, but sports are about humans measuring themselves against one another, not against a machine.
I switch between Ruby and C++ frequently. My trick, which I admit is complete unplanned fluke, is different IDEs. Sublime for Ruby and XCode for C++. They look so different that my brain just disregards the other language. I briefly tried Ruby in XCode and nothing made any sense.

Assuming you don't want to install multiple editors, perhaps different colour schemes might produce something similar in your brain.
There was a story not long ago about using a device in your shoes to do that: https://news.ycombinator.com/item?id=32729105
With a computer. A simple way is to have a chess game on your machine playing at the most difficult setting. You enter your opponent's move, the computer plays a move in response which you then replicate in the game against your opponent.
That quote doesn't contradict what mkl said, towards the end of the article it does say this thou, "The cloak will be on display in the new museum developed in Perth, set to open in Spring 2024."
I have. I actually worked a few desks down from dpc when he was creating it and we talked about it at length. I felt then and now that it has good goals but a very limiting implementation in that it does not pursue a portable spec and instead anchors a very opinionated format to git, and github, instead of cryptographic keys held in hardware controlled by reviewers. I want to see the same keys that sign git commits also sign reviews, for instance.

I think for broad adoption a review system should ask essentially the same questions as crev, but store them in a format like in-toto including signatures by the reviewers created with a user choice of pgp smartcards, ssh keys, or webauthn devices. These reviews would be anchored to hashes of a particular state of a particular tree of code and not to any type of VCS or distribution system. Important code is distributed via perforce, mercurial, cvs, subversion, and tar files depending if we are talking about big corps, old codebases, or linux distro building blocks. A good OSS review system should be also be usable by teams in their internal proprietary codebases too if we wish to see wide adoption. Even for OSS we may wish to share some reviews as standalone objects privately while security embargos are in place, etc. Proofs should also be verified standalone easily from local cache, when github is down, when original repos vanish, etc.

Something that meets these broader needs will make it easy for large orgs with very different internal setups to participate and play nice with other supply chain security tooling efforts by the OpenSSF using in-toto for Sigstore, Witness, etc.

My experience and visibility into internal review tooling of multiple companies tells me many need something very different than crev, but crev proved to me many people have real interest in this problem which I really thank dpc for.

The biggest blocker for starting this project is the human review spec settling in in-toto https://github.com/in-toto/attestation/issues/77

Some relevant discussion here too: https://gist.github.com/lrvick/d4b87c600cc074dfcd00a01ee6275...
I spent two years trying to do what Backstage does for free
Appeal to authority is when you claim something is true just because an "authority" said so.

MR is clearly expressing an opinion and reasons for it and it is up to you to decide whether his experience qualifies him to make such bold claims, whether there are edge cases for exceptions and whether or not you agree or care.
I'm with Carlsen on this. If you're caught or admit to cheating even once in a professional competitive career that's it - You should be out for good. That we have this bizarre attitude of permissiveness and time salvation around cheaters in competition is frankly bizarre. What other argument is there than to refuse to engage. It is not difficult to simply never cheat, in the same way that it is not difficult to simply never murder anyone.

Honestly, bravo. He's at the point in his career that he really doesn't need to prove anything, and as such is uniquely positioned to make this kind of statement with at least a vague chance that it will be heeded.
Yep, they offer pretty nice REST API with quite generous rates.
chess is everything for him he gave it his life. I wonder how you will react when you deeply convinced that what is the dearest for you has been taken away by what you believe is 100% a cheater?
I recommend to check out this story that came up recently

Cheating at chess with a computer for my shoes: https://news.ycombinator.com/item?id=32729105
Most homeless people (at least around here) don’t literally live outside but in various temporary arrangements. Yes, in colder climates it is a more pressing social problem to get people inside from literal freezing conditions. But that’s definitely not the reason there are fewer homeless in Europe than in the US. Long-term homeless people tend to be either those who refuse help (and cannot be helped against their will) or those that the system has failed due to misguided right-wing policies like "sobriety first" which is totally backwards.
This one has a built in hint system.
The author makes a lot of witty, erudite References – a method that has annoyingly become popular and is often mistaken as "good writing" – but I think he has missed a simple and obvious truth: culture is determined by fashion. Not fashion as in clothing, but fashion as in ideas and things that are trendy for a time then fade away, replaced by the next thing. The next thing is often an indirect reaction to the previous thing. Sometimes it's the exact opposite.

Culture has been very online for the last decade and extremely online for the last 3 years. We are just witnessing a cultural shift away from this and toward ideas like real, physical, human, touch, outside, present, etc. being trendy. The Internet isn't "over", it's just adapting to a new cultural fashion. The technological immaturity of stuff like VR is also a factor.

By 2040, we'll all be extremely online again.
I love what Magnus is doing. Of course can't accuse Hans of cheating, because AlphaZero works much more similar to humans than alpha-beta search.

The article shows the amount of pressure tournament organizers are putting on him, but nowdays the money is in streaming more than in tournaments.
There are two lines of evidence: first regarding his cheating online, which is easier to do and easier to check. Chess.com banned Hans and put out a statement saying that Hans cheated more often and more seriously than he claimed. [1]

The second line of inquiry is statistical analyses of Hans's over-the-board games. See my original comment for one such analysis, but he really has been playing at an absurd level in some games (performing as well 0 centipawn loss against some engines!)

It's not a good look.

[1] https://twitter.com/chesscom/status/1568010971616100352
There is another solution. Write laws in at least two languages: English and Spanish.

This approach does wonders in Switzerland and in Belgium.

It's a boon to EU to get rid of most of native English speakers, btw. See this opinion by a famous Belgian philosopher on the matter [1].

[1] https://www.brusselstimes.com/290948/forced-to-speak-in-a-fo...
at very high level you don't need a lot to turn the tables. a sign of when to act agressive/defensive could be enough. I can think of millions ways to give this sign.
Got it. Makes sense. Kinda sad.
There are other models. Lots of OSS has existed for decades without compromising on any freedoms, including pricing. And will continue to exist for decades/centuries more. Most of it just continues to thrive on individual and (usually) corporate sponsored work.

The only issue is with corporate entities struggling to turn OSS into exploitable monopolies and control points. That's just not how OSS works. Companies that try to get creative with license restrictions, simply end up destroying their OSS communities. Community is conditional on the ability to actually use the resulting software and receiving a license to do so. That's what OSS is. People/companies contribute for free on the condition that the resulting software is free for them and others to use. It's a simple deal. You break it, people walk away. Your share holders are not our problem; but your problem.

Nothing wrong with closed source where you sell a license. If that's what you want to do as a company, that's what you do. And then people either buy it or not. Most of us are probably involved with some for-profit software company. I know I am.

The issue with Libreoffice is that it is open source and third parties can undercut the price set by the Document Foundation. by simply releasing it themselves.

Oracle found out the hard way that trying to "own" OSS doesn't work with Java, Mysql, Hudson, Open Office and a few other things they got out of the Sun acquisition. Other companies just took the source code and rolled their own builds and started distributing them. In the case of some of these products, Oracle used the trademark to insist on controlling distribution and actual forks and renames happened instead. Oracle lost control over the projects they inherited.

But for better or for worse, OpenJDK can be gotten from several sources and Oracle has largely given up trying to monetize distribution (you can still pay them for a Oracle produced build if you insist, but few people do), Jenkins continues to thrive, MariaDB and other databases are doing great, and indeed Libre Office is shipping as part of several linux distributions as the surviving & more successful fork of Open Office (which still exists as an Apache Project).

Good open source tends to survive the corporate entities it comes from. Sun Microsystems is long gone and absorbed into Oracle. But we still have the source code. And kudos to them creating/acquiring all the wonderful software I mentioned in this comment. They failed as a company but their software legacy is still powering our industry today. That's how good OSS works.

So the Document Foundation is well within their rights to try to charge for the software they steward but don't own. You can always build and distribute your own builds. For free. That's what the license says. Nobody is under any obligation to actually hand over their cash. They seem to have an existential problem in terms of their financing.
I have heard a concrete allegation that in the Capablanca Memorial 2022 tournament (which was over the board), Niemann has games where he plays normally up to a point in the midgame, then he plays the top line of a specific engine (Stockfish 11) for an implausible number of moves in sequence.

There are a lot of lower-quality accusations, but this is the interesting one IMO. It should be easy enough to independently check for someone who has a setup for that sort of thing.
>Yes, Apple can dictate terms in its own store the same way that your local grocer can.

Would be all well and awesome if you had any freedom of choice on Apple's platform and weren't forced into being locked into their ecosystem where you pay a 15% Apple tax on every purchase. Say what you like about mobile platforms but making ridiculous comparisons like this doesn't help your case.
Right. There is basically no possibility at all that IVC was Vedic. Vedic was pastoral and martial, IVC sedentary, farming, and wholly non-martial.

BTW, "IVC" is problematic, because it extended hundreds of km east well across the subcontinent. The Hindi majority in that part of its range would prefer it not.
The shoe insert has actually been built, though I haven't heard if it, or something similar, has been used in real cheating yet.

It's a shoe-to-Pi device called Sockfish (a pun on the Stockfish chess engine): https://incoherency.co.uk/blog/stories/sockfish.html
Ask HN: What is your experience with OpenCL?
Anyone here use it for HPC? Very difficult to know if it will be big in the future or if it is a failed attempt.
Did I say I do not cleanup before a PR?

And you are free to be as slow as you want, but my flow state works a bit different and context switches are expensive. Which is why I want the minimum of comments and rather have self explaining code and proper higher level documentation.
I think it's a viral meme. This evening of writing, I noticed 2 students at UT walking along the main campus path with red Target baskets full of stuff. Potentially robbing the place too since theft isn't prosecuted. I lived in the same building as a sales manager who is a bit off who takes pride in robbing Whole Foods regularly. Could all be anecdotal happenstance but I wonder if civilization unravels with apathy and suspension of enforcement.
Lottery winners succeeded through very difficult odds, too.

There's a reason most successful tech companies are founded in America, and it's not because Europe and Asia lack genius or diligence.

What do tech billionaires do with their money? Why, they invest in adtech and predatory finance companies, of course! What could be better for society than more ads and higher interest rates?

What could be better than buying up residential housing, even trailer parks, and jacking up the rent?

Let's let them keep their money, and we'll see just how deep a hole they can dig for us all!
I agree. It's like when MS tell everyone just to "upgrade to dotnet 6" or 7 or whatever!

Most of us don't have the funding, skills, time, priority to rewrite all of our old web forms apps even if we wanted to. Who is going to pay to rewrite the app that only earns us $10K a year?

Even if we did decide that Rust is great, do we immediately expect our C++ senior devs to produce the same quality code in a language they have only just learned? Are we going to recruit some confident youngsters who possibly know Rust but haven't been burned enough times to be pragmatic when implementing it in the wild. Do we want to rely on a new language that ticks lots of boxes but also lacks the understanding/support and battle-testedness of C++?
Makes sense, putting software on apple's store is not free after all
> I'm with Carlsen on this. If you're caught or admit to cheating even once in a professional competitive career that's it - You should be out for good.

That’s absolutely not the rule and neither you nor Carlsen get to decide that.

There is no permissiveness here. Hans has played according to the rule of the tournament. There is no evidence of cheating. That’s it.

Unless you have proof of what you are advancing, you are just bullying a teenager. The conduct of the chess community has a whole has been nothing short of shameful in this instance.
To be fair, athletes throwing ICBMs would really up the excitement of the Olympics.
There are still quite a bit of sports where machines can’t compete, like tennis or soccer.
> Interesting to see a prominent figure ~~like Magnus~~ acting childish

Is it?
> because AlphaZero works much more similar to humans than alpha-beta search.

Just curious, what do you base that on? Is there a relevant article? If so I'd love to read it.
Aren't machines better than humans at most sports? Hand off a football to an Abrams tank and it's not getting tackled on its way to the goal line.
These guys have ties to the same group trying to uncap .org and push VeriSign's agenda maintaining a monopoly.

They don't have regular users' best interest at heart. They represent the big companies.
Clickbait. "only when sold via Apple's Mac App Store". It's totally Okay to charge for specific installation medium. E.g. you can sell Linux distro disks for whatever a price you want and keep the money (although donating a part of it would be nice), you just can't ban copying.
Yesterday, also discussed:

https://news.ycombinator.com/item?id=32901249
But online blitz chess when you're 16 is not "part of a professional competitive career".
Does any of what you just said not also apply to Carlsen?
He just refused to play against him. You don’t need to talk to make a comment.

I don’t understand how an adult can defend Magnus there. As a public figure his attitude is simply shocking.
Ok, why do they not force fees on apps that run on their MacOS platform then? Or what about their WebKit platform?
Does anyone else get the feeling when reading political history, that you are really reading a science fiction?
Even his online play where he admitted to cheating?
For example swapped LCD will disable truetone and in iPhone 14 reportedly auto brightness.

Battery will lock out "battery health".

Rear facing camera will glitch out (I think it will not do video and it will reduce framerate dramatically) and front camera will not work correctly at all.

All accompanied with constant nagging about non-genuine parts - regardless if you use parts from another iPhone (100% genuine).
You mean over the board, right? Because he himself has admitted to cheating online twice, but if you think about it even a bit people don't just cheat once, then get caught, then couple years later repeat the process. Most likely he had cheated at least before and between the times he got caught.
This is a strong point in Hans's favor, and Regan is very reputable, but he's also going against the Chess.com team (and Hans himself!) in claiming that he finds no evidence of Hans cheating *online* either.
If this were online, the guy would long ago have had his account deleted.
Wild guess, a double-ended queue guarded by some kind of locking mechanism ?
He's admitted to cheating in the past. The Bayesian priors for him currently cheating are not the same as for other people.
I know he admitted this in September 2022. What I can't find out (and Google makes damn near impossible to find out due to its recency bias) is when he first admitted this.
I have literally never seen a service that allowed you to cancel a subscription in a single click. It always takes multiple.
Chess.com put out a statement refuting Hans' claim that Hans only cheated twice, and Hans has yet to respond. Carlsen owns 20% of chess.com.
Kind of a silly article but I agree with the premise. Social media is dying, but I'm not sure the argument is as strong for anything else.

People are withdrawing from public Internet forums like Twitter. Twitter is so obscenely devoid of value that your average person has caught on and stays away.

But think about this - if you could plot the number of hours I spent on video chat (Zoom, Discord, Snapchat, Facetime, WebEx, etc.) over the years, starting circa 2018, it would be a near linear increase. Since there are only 24 hours in a day it has to hit a limit eventually, but when? All that time is the "private" Internet, 1-to-1 or very small groups. Meanwhile I'm using Instagram primarily for DMs and ignoring most of the main features of the app.
That's twenty quadrillion for those who are too lazy to count the zeros.
Also: wedding dates are often set far out in the future. It is never: 2 weeks from now we MUST have the wedding.
I feel it's similar to how medical experiments, and production is done in China, which would be unlawful in the original country. I think everyone just exploits as much as they can.
Sure, I mean it's more important to the forum, given what we're trying to optimize for.

People often use the word "truth" (or "facts") as if it were a sort of trump card, but if you think about it, it's neither a sufficient condition nor a necessary condition for a good comment - I wrote about this recently here: https://news.ycombinator.com/item?id=32697044.

There are infinitely many truths—they don't select themselves. People have to do that, and the selection process has to do with their own motivations, not truth.

Once you've selected a truth, there are infinitely many ways to express it—including how/whether you're going to take other people into account, how to encode your emotions in the expression, and so on. These also don't select themselves—you choose them, and again that has to do with your own motivations, not truth.

There is also the question of how perfect your access to the truth is, or to what extent you might be mistaken. Other people have very different ideas about the truth than you do (I don't mean you personally, of course). How lightly or tightly you hold that possibility is super important for conversation and again, has nothing to do with truth per se.
Chess.com put out a statement refuting Hans' claims that he only cheated twice and Hans has not responded yet.