skysight-inc/HackerNews huggingface dataset:
> You can share your opinion... as long as it's the correct opinion :)

That's obviously true of every newspaper in existence. No employee is allowed to publish any opinion that goes against their employers' wishes.

From: https://nypost.com/2024/05/30/media/ex-new-york-times-report...

Two people were fired at the NYT after publishing a perfectly reasonable op-ed.

And from: https://www.dailymail.co.uk/news/article-10170541/Bari-Weiss...

"In the book, Bowles tells the stories she wasn’t allowed to tell at the [New York] Times: She writes, for example, about Seattle’s Capitol Hill neighborhood, which transformed into a police-free “autonomous zone,” or CHAZ, Antifa protests, and the experience of attending an anti-racism training called “The Toxic Trends of Whiteness.”"
> "Personal liberties" appears to be a new construction that is conspicuously different from "civil liberties"

What have Bezos or Lewis said that indicate 'personal liberties' differ from 'civil liberties'? I don't see it in the cited article.
> I realise you can make games in any language/engine

It's actually a bit more constrained than people realize ... Well, for desktop, you can literally use anything. But for mobile it's a bit harder because of specific platform quirks, i.e. on iOS you can't make a language that relies on a JIT compiler, so for a Java/libGDX game the best option is https://github.com/MobiVM/robovm which compiles the JVM bytecode to LLVM IR and then to native machine code.

And then for consoles (switch/xbox/ps5) it's way worse because you're relying on commercial stuff, and the only support you get is from the engine makers themselves (Nintendo/Microsoft/Sony) so there's a lot less open source options. Basically you're stuck with C++ at that point (which Unity actually compiles your C# to under the hood for non-desktop platforms).

Not what you asked, but I found out this stuff a while back and find it interesting, hopefully it's interesting to you too :)
I'm sorry to rain on this parade, but I fail to see the merit of spending so much effort - and writing so much code, generating so much data, working 18hr days etc. - to render Doom in TypeScript type-checker.

I mean, there all sorts of feats and achievements one could choose as one's goal, which would also be impressive, but would be more useful to users and/or software developers, than this. I'm just thinking of all of those times I wanted to suggest a software tool to someone and went "ungh, if there was only some FOSS which did that" - and there wasn't, or at least, it wasn't assebled from pieces into something usable. Then I think about spending a person-year on this and I get frustrated.

Sorry, but those are my 2 cents.
Looks cool!

May also be interested in Allen AI's OCR tool olmOCR they just released too [1][2]. They say "convert a million PDF pages for only $190 USD".

[1] https://github.com/allenai/olmocr
[2] https://arxiv.org/abs/2502.18443
In your example, I'd use Record<PropertyKey, unknown> instead
> Not really buying your thesis here: Attempts to retrofit safely to C have been around a lot longer than Cheri; fil-c is just the latest and there's no obvious reason why it should be more successful.

Here's the difference with Fil-C: It's totally memory safe and fanatically compatible with C/C++, no B.S. The other approaches tend to either create a different language (not compatible), or tend to create a superset of C/C++ with a safe subset (not totally memory safe, only compatible in the sense that unsafe code continues to be unsafe), or just don't fully square the circle (for example SoftBound could have gotten to full compatibility and safety, but the implementation just didn't).

> The speed comparison with a laptop is just disingenuous. Is a device with Cheri integrated slower than one of the same class without?

Not disingenuous at all.

The issue is that:

- high volume silicon tends to outperform low volume silicon. Fil-C runs on x86_64 (and could run on ARM64 if I had the resources to regularly test on it). So, Fil-C runs on the high volume stuff that gets all of the best optimizations.

- silicon optimization is best done incrementally on top of an already fast chip, where the software being optimized for already runs on that chip. Then it's a matter of collecting traces on that software and tuning, rather than having to think through how to optimize a fast chip from first principles. CHERI means a new register file and new instructions so it doesn't lend itself well to the incremental optimization.

So, I suspect Fil-C will always be faster than CHERI. This is especially true if you consider that there are lots of possible optimizations to Fil-C that I just haven't had a chance to land yet.
Looks like the old "they're a private company, they can do what they want" chestnut is coming back around. Whoever could possibly have foreseen this?
> There's a big difference between making something work and making something work properly.

In the real world is there? You make money by making things work not making things work properly.

Median tenure is like 2 years or thereabouts. In most cases you’re going to be long gone by the time any cost of not doing things The Right Way come due (if they ever do).

That said, I’m 45. I’d rather work with people who get things working rather than people who insist upon getting things working properly.
OTOH he points out that he learnt an enormous amount during this project specifically, so probably much more employable now.
At 17TB, trillions of types, and a year of 18h days my guess is he got very creative.
Whether countries have jurisdiction over the moon or not is irrelevant, because countries do have jurisdiction over the person or corporation that will run the lunar data center.
MIT physicists find unexpected crystals of electrons in new ultrathin material
Most of the Democratic Party?
Mosquitoes are near the bottom of the food chain, eaten by a bunch of other animals. There would be some amount of risk to our food supply if all mosquitos just vanished one day.
That was the same impression I got, which makes sense for the project I guess. I just hope it gets big enough to be closer to my neck of the woods
> nationwide riots

That wasn't what was happening. Suppressing protest with soldiers - which is usually justified by dictators with the excuse of 'order' - is extreme and anti-freedom.
> It guarantees correctness relative to a given requirement.

OK, but given that you don't know what that requirement is, how does that help you?
Any man can avoid one boss, the trick is avoiding both.
i don't see a numpy equivalent in Javascript, and that's just the first module that came to mind that I know PyScript can run in the browser.
I'm going to be honest; How is Amazon seeking to do this? Are they suppressing other online competitors? I'm sure they buy lots of competition, but that doesn't stop someone else from setting up shop.

The idea to me is strange; I shop on Amazon, but also dozens of other online websites. It's really not hard to buy from some place other than Amazon if you desire.

Many of the same effects that make it extremely hard to set up eg. competing social networks are not present for online shopping - There's plenty of shipping companies, so you can ship anywhere in the world without capital investment; You can set up an online shop and send it to anyone, you don't need to have a huge customer base to make money (relatively speaking, obviously you need customers)
While it shares some similarities with animism, it’s a fundamentally materialist viewpoint, which puts it at odds with animism. Materialism is so rooted within our culture that I think it can be hard to fully grok alternative viewpoints.
Yeah, it's going to be an uphill battle convincing me to go through and talk to my co-workers to convince them this is something we should do, then change all of my branches back, against the defaults of most git providers. All for?
I just find it insane that we're bootstrapping reinforcement learning and world planning on top of basic next token prediction.

I'm amazed that it works, but also amazed that this is the approach being prioritized.
Big discussion (173 points, 7 hours ago, 271 comments) https://news.ycombinator.com/item?id=43185446
> At the end of the day I expect the quality of discourse to dip

I expect it to stay exactly the same

It was already like this before, it's just afaik the pillars weren't publicly acknowledged

What were the previous pillars? Social justice and progressive ideology. "Diversity of opinion" matters now all of sudden?
What is Nuclear? – Nuclear expertise for everyone
Cooking Light definitely does that, they have many volumes though it’s got a bit of a “generic American food” vibe.

“A New Way to Cook” was perhaps more ambitious than the content warranted, but Sally Schneider certainly knows how to get the best of out ingredients that are reasonably good for you.

https://books.google.com/books/about/A_New_Way_to_Cook.html?...
*177TB, according to the video.
As I understand it, the most frequent type of importation by item is wholesale, we can be talking about the import of 500k phone chargers.

I think plug types are not a great risk as users will usually not want that. But in my head the risk is that we import 500k of something that technically works, but is off spec by 10V or 10hz, or the tolerance specs are too wide or too small. It's obvious how too small of a tolerance can cause issues, but too wide isn't ideal either, as there's tradeoffs, you end up importing swiss knife products. Which makes sense for big expensive electronics, but stuff like phone chargers? Subterranean or aerial cabling?

The task of verifying the quality of something is distinct from the task of verifying that it conforms to the local standards. And I wouldn't put it past the cargo culting governments to figure that if it's good enough for the US it's good enough for us.
vastly is a big understatement :)
The fact that you refer to CRT as a dirty word that shouldn't be taught in schools is puzzling to me. Covering how slavery has affected our country seems like a no brainer thing to include in a curriculum.
Oh, I don’t think that would actually happen. People violate the law all the time and nothing happens.

Regardless, people should be aware of what the law is. It’s a different choice to decide to violate the law and take one’s chances than it is to rest comfortably knowing that something is entirely within their rights.
not having an atmosphere also means way higher data corruption rate...
I'm saying get the git providers to change the default back too.
Not according to Twitter files. Twitter under Dorsey and later under Agarwal was quite enthusiastic and eager about pushing the government narratives and suppressing dissent. They even deplatformed a sitting president. I get that you probably liked it back then, but let's be real here. Twitter neither was in a position to deny any requests, nor did it have any inclination to do so.
Wild. Of all the things that do not seem to be under threat and desperately needing a newspaper to stand up and defend them: free markets in America.
Let's be honest. He nailed on the head the main drawback of democracy. That the wrong people also get to vote. And the horror - even win elections and get their way sometimes.

What he missed is that everyone has different ideas about who exactly the wrong people are.
> "Personal liberties"

Over the past few weeks, it's felt like this term has become a euphemism for "ban or severely curtail moderation (and the associated liability implications)".

It's tough as someone who is a strong proponent for strong civil liberties seeing their philosophy's verbiage being co-opted as such (but the former PM/PMM in me respects game)

> At the end of the day I expect the quality of discourse to dip: being afraid of contradictory opinions is the first step in intellectual decline.

In Turkiye, Hungary, a lot of Latin America (notably Mexico, Brazil), Russia in the early 2010s, CEE EU member states (Yes Czechs and Poles, continue to be high and mighty on HN and Reddit until Babis and PiS win again the next couple months thanks to your parents in Brno or Wroclaw), Israel, South Korea, and India, this meant the rise of independent blogs and media - sort of like what Substack is trying but failing to do.

Plenty of senior journalists who felt over-muzzled would split off and form their own independent blog companies and those increasingly supplemented legacy press orgs amongst leadership, because even an illiberal democracy, you need some unbiased info.

Of course, unlike the US, plenty of journalists in those countries have bar licenses and know how to parry judicial overreach.

It also meant the opposition had balls and wasn't afraid to lie if needed as well. Politics is a brawl, not a Socratic session in a Gov94 Seminar, but these are also countries where junior party members from opposing parties beating each up with fists or a tire iron is a rite of passage.
This is a practically useless distinction.
It depends on how 'free markets' and 'personal liberties' are defined, but as Bezos is adopting the nationalist propaganda, we might expect the definition used by others who adopt that tone, that the wealthy elite should have unlimited freedom.

That position is widely supported in the professional news media, including the Wall Street Journal.
If you're going to convince me that you're "anti-woke" suggestions are better than the "woke" suggestions that got us here in the first place, do so in the traditional way. Make an argument for why moving back to master makes substantive improvements in my workflow as a developer and not because you find it aesthetically concerning. And why it is financially beneficial for the globe to spend the engineer-years it would take to make this change.

Also, I don't know that I'm convinced that 'master' in this scenario is more descriptive than 'main'.
> Why is it the left feels that their beliefs are the "normal" ones?

Why is it that all the most insane politician worshipers (left and right) feel that their tinfoil-hat extremist beliefs are "normal"? The lunatics have been increasingly "running the asylum" for quite a while now, and more and more cult-followers been jumpin' on-board with the insanity year after year. It's like watchin' a slow-motion train-wreck.
Why? To make people type more letters and waste their employer's time?

For the record; I still use master branch for personal projects. But trying to impose it on anyone else is madman-levels of obsession that you might want to work out with a therapist. It simply does not matter to anyone with actually relevant priorities.
>Defending one's sovereign territory is not being pro-war.

Uh, they can't protect their own territory.

>Only a bully would say that defending oneself from the bully is being aggressive

This is a child-like representation of the conflict. Good and bad, bullies and those standing up to them. This didn't start in 2022, believe it or not.

Russia should not have invaded. But they did, it happened. Unless you or your children are ready to go over there and fight in the conflict, what do you think the outcome here should be? Russia is a nuclear power; do you think Putin is going to risk losing?

I truly don't understand. This idea of "oh my gosh, one country invaded another" as if this hasn't been the entirety of the history of civilization is strange.
I just spent an unintentional few hours playing this game; it's genuinely great.

I will say that some of the color combinations were a little punishing. White balls on a white background is a lot. Some of the perks have very murky upsides; having the ball change color isn't ever an advantage, so far as I can tell. It would be nice if the perks had mouseover explanations. Even after hours, there's still a few I have no idea what they do.

Every time I bounce a ball, there's a -1 that doesn't seem to impact the score. What's that about?

If the arcade version of Breakout had had a skill tree, Nolan Bushnell would likely be richer than Richard Branson today.
How convenient that historians that exhibit behavior that proves my point are not real historians but the ones that exhibit behavior that prove your point qualify.

You seem to believe that professional historians are only so if they support your viewpoint. With that kind of logic how could you possibly be wrong? I didn't realize that we were operating under your magical ability to purity test historians.

Of course it'd be the case that the likes of EP Thompson and Niall Ferguson or Will Durant are passable even with their wildly biased interpretations of history, but dinesh d'souza or david irving are clearly not professionals because, you said so.
Those weird brand names come from an odd method that Amazon uses to reduce counterfeit products. They require some sellers have a brand name filed with the US patent and trademark office. It can be difficult to get a trademark for something too generic or common, but if it's just a garbled string of characters, it's really easy to get approval.

As far as those cheap imported products go, for any given type of product, they all come from the same handful of manufacturers, so which off brand doesn't really matter. Once I figure out which variation I want, I just want to be able to sort by price, and get the cheapest version. Amazon's maliciously broken sort-by-price feature already makes it difficult, but ordering through an Echo makes it impossible.

I've ended up using eBay more than Amazon, as well as the occasional exporter like ALiexpress and TVCmall.
If that wasn’t clear already when he suppressed the Kamala backing months ago.
> Maybe woke went too far

You're falling for it. In America right now, there are basically three political alignments in terms of how they orient themselves around domestic political problems:

- PseudoFascist Right (current people holding power): this is largely a collective of misinformed or uninformed people who are are feeling the severe effects of wealth inequality and have been duped into thinking the cause is their (equally destitute) neighbor rather than the talking suits who don't pay taxes.

- Less Radical Right: these people call themselves "democrats" or "centrists". They are essentially only interested in maintaining existing political power and the prevailing order. They also don't want to do anything about wealth inequality, but rather than try and blame it on people of a particular race, gender, etc. they invert the message and point to other actual disparities and problems, sometimes they make concessions and solve some of these issues, but even this is rare.

- The Remnants of the Left: These are the people who recognize wealth inequality as the underlying root of domestic problems. They actually want to address wealth inequality, but they have the least power, because America's political system has been co-opted by the wealthy through mechanisms like lobbying.

The whole "did the left go too far with woke" is a strawman being adopted by the "Less Radical Right" after their recent election loss. They hope to use this as an excuse so that, when they are up for re-election, they can still avoid solving the actual problems or addressing the actual concerns (wealth inequality) of much of the left. The core of the problem is that representatives are directly incentivized against their constituents because they get their palms greased by those "American citizens" called corporations.
Still a strong presence in 98-01 but also lots of functional programming, algorithms and complexity and the tail end of the parallel research boom. I loved it.
That was what was happening. In Minnesota, the governer and future Democratic VP candidate, Tim Walz, sent in the national guard to stop it.

The paradox of government force, and the need to manage that paradox, has been one of the foundational questions -- the foundational question to some -- of liberal philosophy since its first writers. Freedom isn't just freedom from the government, it's also freedom from others who might hurt you and destroy the place you live.

It's worth pointing out the Minneapolis police department completely abandoned the city to let burn.
Intuitive Machines IM-2 Mission Launch Live Stream [video]
I'd imagine there's a fair amount of folks with autism here. Nothing wrong with that, but it can lead to these narrower perspectives about certain social topics.
Civil liberties are generally liberties that are explicitly guaranteed, e.g. in a constitution, while personal liberties are generally anything that's not explicitly banned, so there's a definite shift of emphasis.
Aha, you are right. This has always been the way he does business.
Technically you can ship an FNA-based game with a commercial fork of .NET's NativeAOT that works on Nintendo Switch: https://viridiansoftware.com/blog/csharp-on-game-consoles Of course Xbox can just ship C#-written game normally AFAIK. So it's not like you're stuck with just C++ but yes, mobile platforms usually are highly constraining.
One major benefit of publishers is a salary while the game is being developed. The other major benefit is marketing, the linked Steam page is titled:

> 200K Ballionaires!

> Where do you all keep coming from?!

A good portion of those came from the publisher's efforts.
>What you call intuitions and principles I call dogmatic beliefs, and dogma is uninteresting to discuss in a mixed-dogma forum like this: it just devolves into a shouting match.

Well, you were the one who came to the conversation and basically did the 'shouting down' thing rather than substantively engage in anything. All you did was express your disbelief in the lowest form possible, so I'm not sure what you're really complaining about besides your own contributions here. Be the change you want to see!
well, all these tariffs are a major regression away from free markets. Although somehow I doubt this is what Bezos has in mind.
> Why are there different versions of the websites?

> We have an unusual requirement when it comes to developing BBC websites: they carry advertising internationally (so that UK licence fee payers don't cover international costs) but not in the UK, and we have to build and design for both these situations simultaneously.

> Some content on our sites is available in the UK but not internationally; notably, certain rights restricted video. In order to ensure that people in the UK do not see advertising we have to use GeoIP.

https://www.bbc.co.uk/contact/questions/help-using-bbc-servi...
Actual readable article for most: https://archive.md/jWGuZ