skysight-inc/HackerNews huggingface dataset:
I'm guessing the arena is looking to resell naming rights while the meat of the NBA season (that is, the "real NBA" starts after Christmas) has yet to be played and the naming rights can be resold.

They probably don't want to wait for the company to fail payment and lose what would probably be rights worth about 2 million dollars per in-season month.
New York is the first state to ban certain types of crypto mining–here’s what to
On the other hand all Americans have pfas in their blood so maybe it’s overused
what about the person operating the camera?

it seems there is some conflation between a "brand ambassador" and someone hired to film a commercial.

if someone takes direct interest as payment for filming something, and they further go out and endorse it, then they are a brand ambassador.

if someone gets paid once for doing a job (or some residual per play), but nothing further, that sounds like payment for hire.
That's the point, I guess. Stock markets would be efficient if players were rational. But we humans are not. We trade for all kinds of reasons and at the weirdest times.
> real hardware can be... weird

That weirdness is precisely the sort of thing you want automated tests for.
Things that are obvious to a monkey for $100

monke_face_nft-2 (copy).png
Everyone who buys a ticket believes they have a chance of winning, though in reality they do not.

What I mean is to say, it is a more honest/accurate statement that "you have zero chance of winning when you buy a lottery ticket" is more true than claiming they have a chance, (even if it is literally true) due to how our mind biases work.
> If you can't distinguish between human-made art and AI-made art

The art is always human-made. Missing attribution doesn't mean "machine made it". Humans developed the AI, ran the AI, created the training data, picked the non-horrible sample from the output, etc.
No, because there's no real expectation to win when you buy a lottery ticket.

There were enough cryptocurrencies that got pumped enough that people who bought into crypto felt that they had a good chance at succeeding. Also, there's been an insane amount of delusional fanboyism surrounding crypto that would be seen as completely insane if we're talking about gambling.
If you enjoy adapted koyaanisqatsi ripoffs, try https://tita.lol :-)
You are experiencing a false equivalence here. You are attributing outcomes (as being the same) as being the result of some common factor, when the cause is a very different factor.

Google is big. As are Microsoft and Amazon. Google has bad customer service, therefore so do Microsoft and Amazon.

You tried to x in the cloud. You had a bad experience. Therefore the cloud is bad.

In reality of course big companies are not the same. Bigness does not imply sameness. Google support is well known to be rubbish. Microsoft and Amazon support are well known to be excellent. If support matters to you (like when things go wrong) then take that into consideration.

Same for the cloud. There are advantages and disadvantages sure, but providers are different. Google likes to kill services. Others don't. Startups vanish as often as they appear.

Tech is not the only place where you see this false equivalence. All politicians are the same. All fast-food is equally crap. All cars have the same gas mileage. Turns out, no, they are very different, but you need to dig deeper to understand their differences.
This. Zoning is a huge reason Tokyo feels amazing to us Americans. The ability to have micro-stores and restaurants in every back alley and other unconventional spaces allows innovation that isn’t possible in the US cities where viable commercial spaces for a restaurant start at $20k per month. Zoning also enabled more home based businesses, particularly in many of the smaller Japanese cities. Good luck getting any city in the US to let you run a yakitori restaurant out of your house.
Agreed. I think the lawsuit is dumb, but if you're going to sue the actors you need to sue NBC as well.
2012 was a different time — Google had a better reputation back then.
> Crypto is trying to reestablish the banking system of the 1800s with all the fraud, bank runs, banks creating their own currency, and the like... and then realizing why all the regulations that are in place are in place.

What it's really doing is proving that those regulations aren't necessary, because it's possible to have a crypto crash without affecting the general economy.

Because the benefit of those regulations is so that ordinary people can have a safe place to keep their money. But that works even if it applies only to savings banks and not to crypto, because that gives risk-averse people the safe place to hold their deposits even while a fast-moving unregulated system exists alongside it.

Which gives the best of both worlds.
Taking this further, it would be interesting to see this applied to cloud infra descriptions for deployment testing. Yes, you can write it in a programming language but it’s tedious and this same idea would be applicable: Get a resource ID then make some detailed describe calls to assert that it’s provisioned as expected.
>install the right extensions

or app
They are a pest here in New Zealand as they attack and kill native birds.

They are also complete arseholes and appear to teach their which humans to attack.
You couldn’t round trip Python through Apple Mail either.

To be clear, though Ruby’s massive popularity was entirely due to the advent of Rails.

Ruby is a fantastic language — Smalltalk object model with GC and a usable syntax! — but the English documentation was nonexistent or incomplete — even after the “Pragmatic Programmers” book massively increased the Ruby audience — and the core team was all Japanese, so there wasn’t ever much of a constituency for the core language outside of Japan.

The unfortunate thing is that Rails soured a lot of people on Ruby. (People don’t understand that a lot of what they encounter with Rails is dialect, not the thing itself. Ruby makes it easy to build dialects.)
Remember that the hypocrisy goes the other way too. Before Elon bought Twitter, the prevailing opinion was "it's okay for the people who own social networks to ban opposing viewpoints". The people who thought that now all suddenly think it's not okay, just because their side doesn't own the social network anymore.
Cordura is just a brand name for a particular way of weaving nylon thread into a fabric.
False. In freeform chess tournaments, computer+human teams win over computers alone.

Similarily, computer+artist will always produce more compelling work than computers alone.
I would like to see HN discussion summaries, of what HN comments section brain talk about.
But you have non-zero chance of winning the lottery. How can it be "honest/accurate" to say you have zero chance?
The most charismatic desert islander finds a stash of pretty sea shells. She persuades a bunch of the other marooned survivors to exchange their food rations for pretty shells.

A week later these chumps feel as stupid as they are hungry. Their only way out is to repeat the fraud. When they find some newcomers stupid enough to swap food for shells they as culpable as the original fraudster. Legally, does it matter if they knew that the shells were worthless junk? If they got triple their food ration back by exiting their shell position in a deal with someone even more stupid then they were, is it worse?

We push the original fraudster into the volcano because their very first action was to quit the shell economy. You can argue that anyone else who exited should be proportionally liable. In fact, you could take it as a given that everyone would have exited at some point. They’re all going to get hungry and eventually angry, especially when they see the fraudsters gorging themselves on all that food. You can therefore quantify peoples immorality, guilt, and liability not by how much they exited with — be that food rations or USD — but by how many shells they held over the lifetime of the scheme.

The original fraudster held all the shells at one point and gets the biggest sentence and pays the biggest damages. Everyone else is liable on a sliding scale based on how much they invested.

If Larry David took a cash fee for some acting then that’s fine. If he got any FTT out of this, he’s on the hook. If you’ve ever bought into a scam coin, so are you.
Today the for-profit company released a code dump for the implementation of an integrated CI/CD server. This was worked on in secret for months by multiple people with no say from the community. Gitea should work with Woodpecker for closer integration, not build one by itself. There is no incentive for the company to support alternative CI/CD
I don't have any problem with them selling support and hosting.

I do have a problem with "An enhanced enterprise version", because this often means arbitrarily locking features behind that enterprise version and working against the interests of the open source code base. What happens in reality is probably more down to the immediate maintainers... however with bad incentives it's just a matter of time.
Forget the economy. It's just been really enjoyable to watch all the online crypto cultists shed their robes and huddle quietly into support groups. ;)
Can diabetics sue the professional athletes that marketed sugary beverages as liquid performance? Those with lung cancer, can they sue all the actors that touted the therapeutic benefits of lighting up? And gambling apps, I'm broke because a famous person made it all look like innocent tap-tap-away fun!

None of these celebs will face any legal trouble because they rightly aren't responsible for the companies they shilled for. If you were able to perform true due diligence before endorsing a product or service, you wouldn't see any recognizable faces in advertising.
The pied variant looks 100% like the thing New Zealanders call a magpie.

Vicious and horrible.
Larry David was the Joe Isuzu of crypto.
Ingenuity Mars Helicopter Completes First Flight with New Navigation Software
Redox OS 0.8
I recently spoke to a datacenter planner. I wouldn't be surprised if the global spend on new datacenters for 2023 is on the order of $100 billion. If this continues for a few more years, this is planet-shaping change.

I just Googled it. Gartner estimated $125 billion.

https://www.fiercetelecom.com/telecom/cloud-and-colocation-d...
Hard to pronounce name sounds already like a bad start.
FYI, in case you're unfamiliar with Meopotamian geography and history: the Babylonian Empire and modern-day Iraq overlapped by a lot, and there are plenty of artifacts and ruins to be seen around there, at least those that haven't been pulverized and vaporized by millennia of instability and warfare.

When Jonah's sent to the city of Nineveh on a mission to urge them to repentance for their sinful ways, that's pretty much Iraq too.

So an absurd space gun called Babylon fits right in with the narrative in those parts.
Of course it is. Hacker news is full of “educated” nerds who think the world would be a better place if we just followed their direction (tm).
Yep. I’ve only ever been swooped a handful of times. I try to be friendly to the local magpies and they leave me alone.
This exact photo is displayed in the article.
It's interesting that the material turns into a fluffy mostly-air material when pulled hard. There's a long history of materials that suddenly change properties when processed mechanically in an unusual way.

Tungsten: one of the early breakthroughs was when General Electric figured out how to make ductile tungsten wire and coil it. Tungsten powder is compressed into slugs, which are forced through successively smaller dies. At some point, ductility appears. The rods can then be pulled through still smaller dies until very fine wire appears. This is how incandescent light bulbs were made. (Revisionist history of the light bulb: In 1840, Warren de la Rue invented the light bulb. Basic concept: use a coil of thin wire with a very high melting point. He used platinum. Worked fine, cost too much. Then there was a detour through carbonized paper led by Edison. Not as good, but cheaper. Then, in 1905, William Coolidge figured out how to make tungsten ductile. Now de la Rue's approach was affordable. Carbonized paper was abandoned.)

Steel: It's been known since ancient times that you could heat up a piece of iron and punch a hole through it, widening the piece at that point. That concept can be taken to an extreme. Within a narrow temperature range, you can push a piercer through a long steel bar endwise and turn it into a pipe.[1] That's how thick-walled pipe is made.

Food: The Beyond Meat process is more mechanical than chemical. The basic feedstock is peas. The trick that gives it a meaty texture involves extrusion with both steam and cold. The exact process is proprietary but not that complicated.

This is an area where development has historically required either a huge amount of tries or a lucky accident. Which makes one wonder what new tricks can be found that way by hooking up machine learning to hydrodynamic simulation.

[1] https://en.wikipedia.org/wiki/Rotary_piercing
Pentiment’s Director Wants You to Know How His Characters Ate
It's easy \ˈfor.d͡ʒe.jo\ the Esperanto word for forge
I'm not sure why you are bring down voted. Your point is valid, people buy tickets for reasons other than "I expect to win".

We buy raffle tickets, not because we expect to win, but because we support the cause.

Gambling can be entertainment. If I spend all night in a casino, end up $50 down, but had a fun night, how is that different to a ballgame, or show, or whatever. [1]

In the same way people buy lottery tickets not because they _expect_ to win, but because its entertaining to _think about winning_, and the ticket is the price of admission. [2]

[1] clearly there's a difference between losing entertainment money, and rent money. And gambling is not a good hobby for most people.

[2] actually _winning_ the lottery has massive relationship downsides, which one can clearly ignore while daydreaming. Losing all your friends, an almost inevitable consequence, seems like a bad thing...
wow, good stuff; would be super entertaining to try to duplicate that with models
Don't see any problem there, how does it relate to portability?

Anyway games are going to pre-allocate large arrays and work on them, for cache affinity. That doesn't depend on C++ vs. Java. No need to create a separate object for each item in your factory, but rather a row in the array(s).

And even if you do create a new object for each item, it's better to do that on heavily optimized heap, than manually allocating/deallocating memory in the same thread. You end up writing that heap in C++ anyway.
The FCC just banned these Chinese cameras, telecom hardware from reaching the US
The West is struggling to set an oil price cap that hurts Russia
j'ai concu une blague..
The open letter gives all the details you need to know https://gitea-open-letter.coding.social/
I read them. I think the point being missed there isn’t that it happens at all, but that US schools would be expecting that out of much older children. (My critique here would be, if you ask elementary schoolers to do a project, you might just get what their parents can do for them.)
Great, then can you speak to whether rancher-desktop supports the "--platform" argument to "run" the same way that finch does?

I wouldn't mind answering it myself, but it looks like rancher-desktop is an electron something or other: https://github.com/rancher-sandbox/rancher-desktop/blob/v1.6... and even downloading the 500MB release zip shows that there's `Rancher Desktop.app/Contents/Resources/resources/darwin/lima/bin/limactl` hidden in it, but I'm a distrustful sort and I don't want to crawl through unlimited lines of typescript to find out what this is going to do to my system

Maybe it's just that I'm not the right audience for this, since I am the polar opposite of "some gui fanciness," as I came up through the docker-machine universe, and now colima, and thus have a lot more comfort debugging CLI tooling when something inevitably goes toes up
I'm beginning to think that someone might be able to knock off Google. Remember Myspace? They were #1 once. Then revenue went down and they compensated by putting in more ads. Then they became irrelevant. Broadcast TV did the same thing. Facebook seems headed down that road.

Running a search engine isn't that expensive. Held down to 10% ad content and run with a modest staff, this could work out.
in the 80s on every ski trip, my parents would spray me down with scotch guard while i stood there in my cold gear. think of the scene from A Christmas Story with Randy in his overstuffed coat, but then imagine the mom spraying him down with a can of scotch guard. that was me.

does that count as being overused, or just as intended?
> Does anyone know what Australia is like? I hear good things about it, and it is very homogeneous.

Never been there, but Australia has a very low murder rate (0.9 homicide victims per 100k people). But it's also not what I'd call homogeneous, as 30% of residents there were born overseas, higher than the US (14%). Not as much ethnic diversity nationwide, but some of its cities are extremely diverse. 43.2% of Sydney is foreign-born, the 3rd highest percent of any city in the world, with there being Chinese, Indian, Lebanese, Fijian, Korean, Nepalese, Ghanaian and several other communities located inside it.

Canada is another very safe place (murder rate is 2.0 per 100k) and 23% of residents are foreign born. It's also somewhat ethnically diverse as well, with 30.2% of the population being visible minorities. There's also linguistic fractionalization between Quebec and the rest of the country. 49.0% of Toronto is foreign born, the 2nd highest percentage in the world, and Vancouver's not far behind at 42.5% (4th highest in the world).

So Singapore, Australia and Canada are 3 examples of diverse countries with incredibly little violent crime (Singapore actually has slightly less murder per capita than Japan). That's not to say diversity can't result in conflict, but those examples do show that it doesn't have to result in it, and that diverse, peaceful societies can and do exist.
1. Re-entry heat glows the MIRVs. The re-entry package heats up to more than 1000C often. Specialized carbon composites similar to ones in space vehicles are used.

2. I think this photo was more of a time lapse than programmed delivery of warheads at definite spacing. There are videos of MIRV entries which are equally cool. Including one of the impact site, where one can see dummy warheads impacting target zone few seconds apart. (Second video is an animated flight sequence)

https://youtu.be/Eh96NdcgE2Y
https://youtu.be/Mvo54LJcXe8

3. Unlikely its radial or linear entirely. The camera perspective makes it look all of them in a line.

4. Terminal guidance is not on each MIRV. But small spin generators stabilize the flight towards target. The warhead bus has onboard computer which releases individual warheads at high velocity once the correct attitude over the target is reached. Terminal flight is unguided ballistics based on calculations prior to release. Needless to say, the warhead bus releases them at a LEO altitude, so by impact they are easily ~10-15 Mach

5. Yes & Yes. US DoD seems very particular on keeping Kwajalein in mostly pristine state. All discernible parts are recovered in the atoll & shallow sea around it. A lot of people from the local population are employed in the upkeep of the facility & maintenance. Usually the impact zone is a very concentrated area. Foreign military access is out of bounds with US Strategic Command presence in the atolls.
The intentional homicide rate in the US is 7 times that of Australia (6.3/100k population vs 0.9/100k), and 21 times that of Japan (0.3/100k).

https://en.m.wikipedia.org/wiki/List_of_countries_by_intenti...
> Then we must differ on what the "halting problem" refers to. I would say that a computer suffers from the halting problem if there is no program it can run that can determine whether arbitrary programs it can run halt or not.

Well, but even if you define it your way, then computers don't necessarily suffer from that problem, do they?

Because you can limit how much memory usage a program can run with. So for example, if you have a computer which can handle 16 GB of state, you can analyze an arbitrary program X on this computer, where the analyzer is able to use the entire 16 GB of state.

The analyzer can say: this program X will halt if you give it 8 GB of state to run.

So now you run program X with an operating-system-enforced RAM+disk limit of 8 GB and you'd be quite happy to know that it will always halt.

This would be a very interesting and useful thing to do.

The analyzer would also always be able to tell if the program crashes because it ran out of memory (and why). So you could tell that 8 GB is not enough to run this program, which would also be very interesting to know, because this would imply that the program would crash in production.

What is not clear to me is this scenario that you're thinking:

Let's say your computer has 16 GB of state.

But your analyzer is not able to tell what happens to the program if it needs 16 GB of state or more to run.

But... your computer can't even run programs with more than 16 GB of state!

So... how is it useful to not know this? Why is this version of the Halting problem more useful than my version?

> I can then only ask what is this thing that is not the halting problem (as I understand it) that you think does not exist for computers in the real world?

The Halting problem is not usually defined like I define it or like you seemed to have defined it.

It's usually defined assuming that the program being analyzed can run with literally unbounded memory, which is not useful for most real-world programs because real-world programs cannot use an unbounded amount of memory.
It is easier to convince a group of geniuses of a grand idea, than to convince an average person of changing one thing.
Mercedes-Benz to introduce acceleration subscription fee
The nintendo switch is quite a fragile machine. Mine was already repaired twice.

So having a second option if it ends up unrepairable is a good thing imho. Nintendo won't refund my games if my switch die.
Why is Steph Curry left out?
I have in the past, and I belive that they are either mistaken or they are claiming something uncontroversial that is misunderstood.

In any case, you don't need dependent types for a compiler to prove termination, it's just that most languages don't care about termination except those with dependent types. You could create a compiler for Rust that has similar termination checking to Coq, if you wanted.
Yes, not the exact issue, but I get emails from Google on one account, although it is supposed to be sent to another account (both are mine)..

Some times it is regarding to Google store, so I tried to report that to customer service more than 3 times.. They were never helpful..

This is still happening to me, and it freeks me out every time I receive an email on the wrong account! I hope someone from google is reading this and willing to take action!
Yup. Very much so. In Java. Can't speak for other languages.
That sounds completely compatible with the NRA being sincere about opposing gun control.
Yeah, this is just another flavor of blue hydrogen -- h2 generated in a way that releases co2 and they're suuuuper sure they'll figure out a way to capture it.

Hydrogen tech is just a scam to greenwash the legacy fossil fuels industry.
There are literally hundreds of currencies that were demanded for tax payments that have ended up with zero value eventually. That is not sufficient to make a valuable currency. What is necessary (in my opinion) is using the currency broadly for payments (not only taxes), and having a monetary policy that does not use excessive debt or inflation.