skysight-inc/HackerNews huggingface dataset:
Well, on the details, technically creationism is non-falsifiable, because God in his infinite wisdom could have just done whatever (1). It's impossible to disprove it- that's why its not part of science.

But the issue of whether science class was "biased" against creationism- and whether it should neutrally teach both sides in public schools, museums, etc.- was a huge political argument in the US for decades, resulting in many legal battles- with Justice Scalia and Chief Justice Rehnquist voting that it should be taught in public school science class (Edwards v. Aguillard, 1987, decided 7-2 against creationism). Given the current makeup of the Court - where Scalia's positions have far more clout than they did then- I hesitate to see where a new case would end up.

To just wave that away because you want the world to be different is avoiding how the world actually works. It would be nice if organizations could be "neutral" on things you disagree with them about and biased on things you agree with them about, but unfortunately people disagree with you, and they get a vote too.

Far more important to spreading the truth to let organizations have bias, and then build good institutions that achieve positions closer to the truth, and those institutions get respected for being closer to the truth, and lose respect for being further from the truth.

1: The Omphalos Argument, the God of Abraham could have made the entire universe 6000 years ago with an appearance of age, with light from distant galaxies already in flight towards the Earth, with radioactive isotope ratios consistent with a 13.7 billion year old universe and a 4.54 billion year old Earth, for His own purposes.

Omphalos is Greek for navel, and the name comes from a medieval argument over whether Adam and Eve had bellybuttons: they would not have had one naturally, obviously, due to their special creation, but then they would not be like all other humans, and they are supposed to be. But if they did have them was God lying about their past? This is why most artists of the time carefully placed some cover where the bellybutton would be, to stay neutral in this argument.
For reference, this is the OSI Forum mentioned: https://discuss.opensource.org

Didn't personally know they even had one. ;)
Why? Honestly, why? There's so much uninhabited land out that isn't uninhabitable, which is already more land than we'll ever need for the sake of putting human habitats on. Go move to the great lakes if you want a combination of remote wilderness and an infinite supply of free fresh water.
If miles driven by cars under human supervision counted, Toyota cruise control would clock the highest. Autonomy is a binary: it’s either driverless or it’s not. There’s no need to invent terms such as “self driving mile”.

Tesla may be profitable, but nowhere close to a working solution. So how far ahead are they really?
Not all conspiracy theories are false.

Good thing most people don't know about this, or they might get really angry at the AMA, perhaps even voting for representatives who might enact laws to reform the system.

Fortunately that would never happen.
That's on sci-hub actually, Elbakyan seems to think that an Indian court ruling is something that matters so much that she crippled sci-hub for it. She could turn it back on whenever she wants.

contra mundum court orders aren't new however, the Brits like to issue them with varying levels of success.
Do you not think that people communicate their intention in a scripted situation?

I, personally, script meetings because I don’t communicate effectively when put on the spot. To me, “unscripted” interviews feel like gotcha journalism - why not let someone take their time to describe their thought process?

POTUS is not in a tactical fighter jet dogfight where low latency is massively important. What matters is thinking things through, to consider second order effects.

Instinctual reactions are great for sports but I have no idea why they’d be important for politics, outside of optics. Type II systems, not type I.
Interesting. Domain as a unit of trust makes sense until it doesn't. Buying a second hand domain is like a second hand car. But you may not know it is second hand!

I think the mistake here is the redirect old to new. That is always risky so only do it if deseprate. In this case I would have done the redirect from new to old. Then just use the new as a vanity url.
These "attacks" amount to whining, speculation, and exaggeration. UN soldiers were exposed to smoke in an active warzone. what exactly were they expecting? Same with driving a tank through a gate for cover during a firefight.

There is a clear slant to how the majority of these stories are conveyed. There are probably some real attacks too. that's part of war, its messy.
Osma Ahvenlampi on Habbo Hotel (2010)
Isn't making it illegal a way of sanitizing it though?
There you are! The correct response.

Should this not fall under the "private company, do what they want" mantra we were all so fond of wrt (pre-Musk...) Twitter, Facebook, et al? The further advice then was; "make your own social media platform."

Same thing happened at LA times a few days ago, also replete with an editor quitting, when owner Patrick Soon-Shiong blocked the same Kamala endorsement.

You're free to not subscribe, some editor or other is free to quit, and owners are free to do as they please with their private property. Freedom. What a great idea.
How can I manage different projects with different nix package version without `flake`?
>Disinformation and misinformation are spread by all sides and campaigns at every level.

No it's not. Systemic and characteristic are words that you can only apply to one side here.
How is it FUD? The last time Trump was elected Democracy died... didn't it? /s
This is trash. Bellingcat is a CIA cutout. NPR and BBC are most certainly not neutrally biased or factual.
Sure, and we get to look at the fact that he silently pulled rank to kill a story for craven reasons and decide worse of him and decide that his control of the news we get from that paper makes it suspect to his whims. If he's willing to kill something this major, he's willing to kill smaller stories about Amazon, or himself, or anything else him or his friends care about.

It completely flies in the face of the values of the paper and the reasons Bezos said he was buying it. If I wanted to get Bezos's press releases, I could get them on Amazon or Blue Origin's press site. No one's claiming he's not literally allowed to do this, but that it's spoiling the product. If Bezos bought McDonalds and made it serve only vegan burgers without explanation that's totally his right as the owner, but it's insane and makes you question why they did it.
Some time ago I noticed that my side project (with a domain that is not haunted) shows up fine on Google but not Bing/DuckDuckGo.

So I checked the Bing Webmaster Tools. URL Inspection says "Discovered but not crawled - The inspected URL is known to Bing but has some issues which are preventing indexation. We recommend you to follow Bing Webmaster Guidelines to increase your chances of indexation."

That's quite unhelpful. What's more, when I open the "Live URL" tab, it says, in green: "URL can be indexed by Bing."

It's a simple static Hugo site hosted on Cloudflare R2 (DNS mapped directly to bucket). https://pagespeed.web.dev gives it a score of 100 in every category.

Anyone else had something like this happen?
13 miles per intervention after 8 years of development suggests it’s not happening anytime soon.
1. Of course it can. My model checks on function contracts and invariants run for every function. If a function fails this contract or invariant, the overall build fails. Does it matter that this is a separate build step than the compilation? Not in practice. Think of the model check step as being a semantic analysis step that happens after the type check and syntax check from the compiler.

2. You're not interested in proving that every program that the compiler accepts will be free of issues. You're interested in whether YOUR program that you write is free of those issues. The Rust compiler CAN'T do this, because the Rust compiler is only looking at a SUBSET of the possible things that you can build model checks against. This is why Kani -- a model checker for Rust -- exists. You can model check unsafe code in Rust, as well as safe code in Rust against user assertions and function contracts that are otherwise not possible to check in vanilla Rust.

Model checking isn't just for C, but model checking, as a practical form of formal methods, brings the same and even better safety to C. In fact, with Kani, you can get similar safety in Rust as well.

If you like Rust, use it. But, as was the point of my comment, it is possible and practical to get similar safety in C.
~”numbers are the abstract notion, the primitive way of counting is a bijection” W. Lawvere

so the way people use “abstraction” sounds more like they are saying “a thing we (we think) are not used to”
Then I'd suggest their tagline of "Democracy dies in darkness" is pretty self-important and misleading.
Approximately 1 in 7 Scientific Papers Are Fake
Ahh yes, subjective anecdotes are obviously the correct epistemological foundation for public policy.
For someone looking to avoid drama this seems like an awful lot of drama.
Collapse of key Atlantic current could have catastrophic impacts
Infested with imbeciles.
He was dead less than a year after this article. :(
full title: 'We don't really consider it low probability anymore': Collapse of key Atlantic current could have catastrophic impacts, says oceanographer Stefan Rahmstorf
They wanted social validation for their fad diet from the doctor and didn't get it.
That's Wirth's law moved to a conspiracy theory level.
People becoming slightly more productive also helps earnings reports.

But automation is all about reducing labor costs. Even shoddy automation such as self checkout.

I don't see this changing any time soon.
Of course - and why not? I know I might be downvoted heavily for this, but regime change through social unrest has been one of America's greatest exports. Libya, Syria, Iraq, etc.

Problem is, the opposition quickly learns your tactics & turns it on you. And, because the US is a democratic state that can't just make people disappear, you'll have a harder time coping.

Roughly half of all Americans believe the last election was stolen and are gearing up for unrest if this one doesn't go their way.

But, everyone conveniently forgets that US agents deliberately spread anti-China propaganda, encouraging countries not to accept China's vaccines. Who knows how many died as a result? So, instead of blaming this on the Russians (& Chinese), maybe America should do some soul-searching?

It's just like how NATO's Libya & Syria intervention caused a migrant explosion. It's okay to dislike illegal migrants, but you need to address why they suddenly became a pressing problem after living in their countries all this while.

Russian propaganda has found a home in America's Right that believes it is persecuted. It won't leave, but will keep festering until something gives.
The fact that so many people were impacted by left-pad leads me to believe that people aren't using libraries because a problem is pretty hard, but rather because they don't even want to think about the problem that a library supposedly addresses. It can also often be way to hand off responsibility IMO.
"He himself is a billionaire and no longer writes any code."

I expect Linus will be a little shocked and quite pleased to find this out. The billionaire part, anyway.
For at least 10 years now, I only by 100% cotton or cotton-linen blend, or 100% wool - nothing else! Yet, there's so many sources of microplastics that can't be eliminated, unfortunately!
Soon Outlook won't - it's taking after the Android app they purchased some years back and running in azure and only doing presentation client side via webview2.
True, though it was not complicated. Just took a person about 45 minutes. That was to do the milkshake and the soft serve machine. Did it many, many times when I worked there.
I think you are referring to the [order matching system](https://en.wikipedia.org/wiki/Order_matching_system) of exchanges. This page lists a couple of the common and simple algos used.
> I’m pretty sure everyone knows who they’re gonna vote for at this point.

I already did (yay early voting), but I was pretty close to just flipping a coin. Not for red vs blue, but for the lesser evil vs one of the more amusing third parties.
It's not his endorsement, it's an endorsement written by the editorial board that he told them not to run. Notably, he didn't endorse either.

He's entitled to do so as owner of the paper. But it reeks of cowardice.
Good Luck.

Keeping a linux fork is not a task a single developer could afford. .. and cqwrteur don't have good track record working with others.

Honestly I like his idea/direction, but I don't think he can success
Ask for a cash refund. They will probably refund. Initiate a chargeback if that doesn't work. Take the emotion and distain out of it. The world is enshittified!

If you are up for a fight see this comment https://news.ycombinator.com/item?id=41949905

And thanks for the warning!
> We’re missing 300 million Americans

I love this idea, and would be comfortable pushing the number even higher. The cool part about the US is it's relatively unpopulated as compared to European countries.

We could probably fit another 200 million or so people in the eastern half of the country, just by bringing it to the level of density of, say, the UK. If we were willing to live as densely as the Dutch, perhaps we could add 300 million in the eastern half.
I don’t know whether he still likes to do it but I saw several merge requests from him last month. To himself obviously. :)
I think the act of spiking the endorsement sends a stronger signal than the lack of endorsement. He could always make his own endorsement, but he didn't.

I don't know what's in his head. I just know that Trump sources are saying it's because of fear of reprisal [0]

[0]: https://x.com/gabrielsherman/status/1849960615197966648
What are good places to start down this rabbit hole? (for those willing to have their illusions tarnished? )
I love Casey's stuff - just incredibly detailed, ambitious and reminds you of what the country used to do when it set its mind to it. His new company is across the street where they built the SR-71 which is fitting.
FOSS-washing?
First thing higher education teaches everyone is: Don’t rely on Wikipedia as a source, it can be very misleading and inaccurate.
Only like 6%
This reminds me of when The New Republic had a bunch of staff quit en masse because the new imported editor was blatantly bullshitting them. He didn’t realize that he was talking to a bunch of professional journalists who knew exactly what being bullshit was like.
> 3. Iterative Refinement

Beware of trying to get the LLM to output exactly the code you want. You get points for checking code in git and sending PRs, not tokens the LLM outputs. If it's being stupid and going in circles,
or you know from experience that the particular LLM used will (they vary greatly in quality), you can just copy the code out (if you're not using some sort of AI IDE), fix it, then paste that in and/or commit it.

Some may ask, if you have to do that, then why use an LLM in the first place. It's good at taking small/medium conceptual tasks and breaking them down, and it's also a faster typer than me. Even though I have to polish its output, I find it easier to get things done because I can focus more on the higher level (customer) issues while the LLM gets started with lower level details on implementing/fixing things.
My city takes its water from a surface reservoir and empties its treated sewage into the same river. And I live in the southeastern US, so we have plenty of rainfall.

I’m not draining an aquifer. Other than the cost of the treated water, there is no practical limit to use (the city is nowhere nearly large enough to stress the supply). There are golf courses near the river that just filter out the silt and pump it directly onto the courses.
I'm not aware of any either, just trying to understand the point you're making with your comment.
McDonald's Corporate dictates every piece of equipment in the kitchen, from the spatulas to the fryers to the grills to the soft-serve machines. The franchisees have very little choice in any of it. It all must be from the approved list of vendors and models.
OSI must defend the open source trademark. Otherwise the community loses everything.

The legal system in the US doesn't provide them any other options but to act.
Their remit for the last 20 years has been to support the Lebanese government in disarming Hezbollah. Israel is not Lebanon.

The sad truth is that Lebanon never went to disarm Hezbollah and the UN didn't care. However, UNIFIL also wants to keep Israel out of Lebanon and track their intrusions. This brought UNIFIL and Israel into conflict
Who is cqwrteur? Is he a well-known character in the Linux community?
McDonald's also has no problem phasing out items from its menu. It does so with regularity. Why keep something on the menu that it doesn't want to sell? It either wants to sell it or it doesn't want to sell it.
1988 isn’t 50 years
The problem is that as long as the court thinks it has legitimacy, and the guys with the guns agree, then it doesn't matter whether it "objectively" or by someone else's opinion has legitimacy. It doesn't matter who is "right", it matters who has which power.

Unlike the US, courts from India likely have limited power to affect Wikipedia operations outside of India. However, they can potentially send people to arrest anyone associated with the Wikimedia Foundation within India, and potentially keep them in jail until Wikimedia complies. (They can also have Wikipedia and donations flowing to the foundation blocked in a country representing something like 1/6th of the global population.)

Edit to add: Wikimedia on the other hand, has the power to block the article, then lean back with a giant bucket of popcorn knowing that it will achieve the exact opposite of what the court wanted to achieve.
Russia has been doing this for a very long time. That's not the concerning thing. The concerning thing is that the US Government is apparently asleep at the wheel when it comes to protecting the US population from these attacks.
Russia loads the gun, Americans engrossed in conspiracy culture pull the trigger.
Seems accurate.

On the other hand, it's nice to not have to have people memorize every book in the library every generation.
Needing explicit deref for raw pointers. (*ptr).bar() instead of ptr.bar() like if it ptr was a reference or adding something like ptr~bar() so at least you still know it’s a raw pointer deref but is at least nearly the same as a reference.
According to this, if I ever make a living off music I'd be in paradise.

Too bad Suno can crank out weird lofi beats faster than I can...
Another "haunted domain" check is by trying to post about it on social media. I ran into this with my current project's domain name. After building an MVP and trying to test the social sharing functionality, I found that Facebook was blocking the domain outright. Turns out there was some spamming from it years ago. Getting it unblocked was extra fun, as the page to request manual review was itself broken! Thankfully I knew someone on the inside who alerted the relevant team, but the whole experience was quite the novel speedbump.
Another similar puzzle game is Dungeons & Diagrams on Zachtronics’s Last Call BBS. You have to build a dungeon on an 8x8 grid by deciding which spaces are wall tiles, with some constraints (such as “dead ends must have monsters and vice versa”). That game likewise tells you a sum that each row and column must meet.

Someone made a free clone here:

https://netchips.dev/
Wow, this guy sure hates Mr Beast. I haven’t seen much but I did see the one where he created 100 wells. The author says these wells will fail soon and do not get repaired or maintained.

I think the reasoning is ridiculous. Shame someone for digging a well because it might not be repaired in the future????
Shutting it down in India is losing your second biggest user base.
Do I need to trot out the list of dictators who were democratically elected?

https://www.nytimes.com/2024/10/25/us/politics/trump-officia...

These aren't nobodies, they aren't the only ones close to him saying this, and that's before his public statements. The bulk of Project 2025 is a how-to guide for rooting out administrative disloyalty. I don't think he'll be successful but I don't want to deal with the shit he's going to cause in the attempt.

It would be really really easy to make everyone feel better by nominating literally anyone else, preferably a Moderate Republican. I'll personally go door to door campaigning for them if it means not Trump.
Governments have ways of making themselves difficult to ignore.
I believe there are several papers which show that synthetic data isn’t as good as real data.

It makes sense as any bias in the model generated synthetic data will just get magnified as models are continuously trained on that biased data.
He literally tried an autogolpe. I saw it, live, on TV with my own eyes and ears. He's currently promising to pardon the people that participated in it that have been prosecuted while pardoning himself due to his own immune status.

That's how a Banana Republic functions.
A lot of that depends upon the government in question. Some want publicly funded news organizations at arms length. Others want to dismantle them. Some want at least the image of impartiality (and will take some criticism). Others want them to be a mouthpiece. It's not terribly different from the private sector. I would go as far as saying it is no different from the private sector given the consolidation of news organizations over the past few decades.
No worries. It's not commonly known! For as important as it's become to talk about the climate, the brass tacks remain pretty esoteric.
I agreed with you before now but I'm losing my patience.

Yes, social media networks should be doing a better job of moderating. Yes, the media should report more honestly. But there comes a point where individuals have to be given responsibility for being suckered into, frankly, stupid shit. If you read "Democrats are controlling the weather and generating hurricanes to suppress voter turnout" and your response is "yeah, sounds plausible" then you're just simply not thinking. You're seeing something that appeals to your biases and you're accepting it uncritically. And you deserve blame for doing so.
X ping: ping, but with a Graph, using POSIX shell and Awk
Human attention and energy is relatively limited though, and the medium of the Internet and its control is just for that
The nomenclature could use some polish, but on HN we know they mean ability to bypass technological restrictions
.
In fact, the most valuable resource on the internet is finite: atention with the possibility of influence those who give it to you. This is already a question of national security.
> Nothing new there.

like most of the 21st century: Nothing new, just getting more efficient and less subtle with it. 20th century corruption would have had this announced way back in 2023 to make the timing not so obvious at the bare minimium instead of having editorial waste its time on a story that was pulled last minute.

>the public backlash to that attempts at information control was so great that it might literally sway this election.

but nothing much changed. I don't know if public outcry vs output was always this poor, but that certainly seems to have changed over the decades. Too many people uncomfortable enough to complain but not enough to get up and get out.
That reminds me of this: https://languagelog.ldc.upenn.edu/nll/?p=301

And this: https://toppandigital.com/translation-blog/welsh-road-sign-d...
I can’t believe the hate out there for guys like Mr Beast and Elon. The best gets crucified.