skysight-inc/HackerNews huggingface dataset:
Hey there-- thank you for putting this together!

I am an educator who has done a bunch of stuff with space; we hosted a contact between our students and an astronaut on the International Space Station in 2021 and are looking to do it again. There's this commercial software to run on a Pi in an office, iss-above, that cycles between a few different things (2D orbit visualization, live video, pictures of the current astronauts aboard and mission patch, etc.) We've used them in our library and office to promote interest in the event.

I'm interested/eager to work together on how to improve this so that schools doing space things can have something turnkey for this purpose. It would also be cool to get the "footprint" on here and be able to have it auto-cycle between different views, along with future visible pass predictions. I have a bunch of code around somewhere to do a lot of these thigns if you have interest.

(Have you seen the ISS visualizer from Heavens-Above-- https://www.heavens-above.com/ISS_3D.aspx?lat=0&lng=0&loc=Un... )?

(Also, my high school students are launching a satellite to space in late 2025, and being able to do it for our satellite/our telemetry display/our recent pictures would be pretty cool).
https://archive.ph/agpzd
Don't anthropomorphize Sundar Pichai
OK, for a billion dollars I will write a program that deals with KOI-8 or any other text encoding from the 1960s you care to name.

Please pay up front.
Go is not used in machine learning at all
It's been shipped with PowerShell since v5.1 (Windows 10/Server 2016). There have been numerous updates to PSReadLine since then to add more features but tab completion has worked for years and is IMO one of the biggest selling points.
It's not at all comparable to internet archive. I think it feels wrong for you to promote your paid app in this thread without bringing any insights to the table.
Other encodings exist, yes. But they can all be mapped to UTF-8 without loss of information[0]. If someone wants to save space, they should use compression, which will reduce any information, regardless of encoding, to approximately the same size. So it's perfectly reasonable to write software on the assumption that data encoded in some other fashion must be first reëncoded as UTF-8

[0]: Except Japanese, people hasten to inform us every time this comes up. Why? Why haven't your odd characters and icons been added to Unicode, when we have cuneiform? That's the strange part. I don't understand why it's the case.
> Others don't like you? Grow a pair.

Stop being depressed.
A country should never take on another country who has more men of military age and which has far more manufacturing capacity.

That way lies destruction.

Just like Japan, while starting off WW2 with a more powerful military, couldn't maintain it's ascendancy over the US with its bigger industrial might and bigger population as the War in the Pacific progressed from 1942-1945, I fear that the US will not be able to maintain its power against a China that's four times bigger in population and maybe 10 times bigger in manufacturing capacity when War in the Pacific 2.0 begins in a couple of years.
Correct. In type theory, a type that is a subtype of all other types is called a bottom type: https://en.wikipedia.org/wiki/Bottom_type
Here's the problem, "yogurt" may be healthy, but many brands are closer to a sugar delivery system than the traditional product.
What I've observed is that nutrition, including nutrition research, has become as religious - meaning, following faith rather than data - as religion itself.

A few things I notice:

- "Processed foods" are lumped together as if they're all the same. But they're not. Specifically, processed foods with high carbs and artificial sweeteners have a very different effect on insulin than no-carb processed meats like most luncheon meats and bacon. Yes, Coke and donuts are bad for you. That has nothing, zero, to do with bacon. (Maybe bacon is bad for you. I don't think so. But even if it is, that would be for reasons completely unrelated to cookies, Coke, etc.)

- A lot, and I mean a LOT, of nutrition research is done by vegans and sponsored by vegans. It's a cult. They have re-branded themselves "plant-based." You sometimes have to dig to find this. Recent Stanford twin study is a good example.

- For the vegan researchers, the big win is getting the headline. They know (and this is true for all "science") that 99% of consumers who see the initial headline will never see the rebuttals. Recent Stanford twin study is a good example.
> It's well documented that the reason the default branch name was master traces back to Bitkeeper, which was using the master/slave nomenclature.

Git never had "slaves". And while no doubt that BitKeeper was a significant influence on Git's adoption of the term "master", can you say it was the only one? Are you arguing that Torvalds had never heard of the term "master copy", and that term didn't influence him at all (not even unconsciously)?

> Master and slave have universal meaning across all English dialects.

Even when a word has the same denotation across dialects, its connotations and associations can differ significantly.

Also, certainly for the word "master", there are senses of that word, and derived words, which are more associated with some English dialects than others. In the UK, it is common to call a school principal a "headmaster"; it is very rare in the US; in Australia, it is more common than in the US but less so than in the UK (and mainly associated with private schools). Similarly, "Master" as a title for the head of a university college is traditional in the UK (especially at its most prestigious institutions such as Oxford and Cambridge), I don't think any US universities use it any more.
Still doesn’t really answer the question as to why an employee in a high HDI country would move to a lower one for reduced pay when they could remain in their existing one and get a different job? Not sure any amount of money could convince me to move to a place with potentially unreliable plumbing and sewage and away from my support networks where I am now, and that’s coming from someone who spends their time between two diametrically opposed cultures already.

The value Google sees in these places is lower cost labor. This is not valuable to the current employees and is not a reason to move there.
Jokes aside, isn't it wrong that OCR software still always produces textual result from images wich are not text? More than a decade ago I OCRed an old book, and I remember how annoying it was to deal with all the garbage text produced from small pictures, smudges, and dirt. It looks like there's not much progress done since in the field
There's a reason why the jackpots seem bigger...

https://www.forbes.com/sites/brianbushard/2023/02/03/powerba...
The rules in both were purposefully changed to make them harder to win so that the jackpots grow bigger
I'm a huge fan of powershell, especially for build scripts and other things that get complicated sometimes. Parsing XML and JSON, calling web APIs and dealing with their responses are all about as easy as they can be.

The article covers all the main (minor) bugbears.
There is some truth to this. I can distinctly remember attempting to memorise the classes of fire extinguisher listed next to this symbol (some types are suitable for electrical fires, others are not etc.) not long after learning to read.
Do you often send raw bitmaps for the same reason?
Russians don't seem to be very against putin. So same.
I plead the 5th and assume no association… the wrath of the house of mouse is real.
llama-3-70B-instruct and GPT-4 both got it right for me
the payouts have increased way more than odds have fallen
Provided without warranty. Period.

If an entity has the capital to be in the business of using software to manage goods and services in the public space where failure to follow industry practices can result in harm to property, assets, or people then they should be liable.

Breached customer data because the company used an open source library they didn’t vet before hand? That’s too bad. It happens. Maybe take more care to assess dependencies instead of assuming you can throw the cost of such failures on customers.

Don’t want to vet the software? Write it yourself.

I think a good deal of this could be worked out if Software Engineer was a more broadly protected term. Software Engineers, like their trad engineer cousins, should be liable. Companies should be forced to have one on staff or retainer to sign off on their projects. It’s not a perfect system but it works in ways we understand well from experience in other disciplines (and we have some experience with its failure modes).

Not every software developer needs to be an engineer in order to work.

I believe that having this level of professionalism would change the incentives in the marketplace towards better behaviours. Right now it’s all based on class action suits that end up just being the cost of business. If a company doesn’t do well by their engineers they’ll find themselves out of business or having a hard time hiring.

But open source developers? Nope. No warranty is no warranty. You need to vet your sources and get insurance.
The sibling comments are correct, unfortunately.

We need licenses that become void when those disclaimers are not accepted.
Show HN: ZenStack V2 – RLS alternative with declarative Auth rules in Prisma
Half a year ago, we posed a Show HN about ZenStack V1 as "DSL to define data and access rules closer to the database"

Throughout the month, we've attracted quite a few early adopters. Some of them, such as MermaidChart, have successfully launched into production. After talking with them, we realized that many individuals found ZenStack while seeking a cleaner and easier alternative to RLS.

As a result, we pivot ourselves to be a “TypeScript toolkit on top of Prisma ORM with a fine-grained Authorization layer, auto-generated type-safe APIs, and frontend hooks”.

In V2, besides the more flexible Access Control Policy support for RBAC/ABAC/PBAC/ReBAC, here are some other major features we released:

- Polymorphic Relations

- Edge support

- Using auth() in @default()

- Fine-grained Optimistic Updates

- Prisma-Like Schema Formatting

Features may be easy to forget, but stories remain. If you're curious about the stories behind these features and what we have learned, check out the blog post below:

https://zenstack.dev/blog/v2-stories

We would love to hear your opinion on the new position. What we missed? What is your unresolved pain point?
https://github.com/zenstackhq/zenstack
Aren’t there are a ton of live culture yogurts available in most supermarkets? Noosa, Siggis, Fage, Yoplait, and Chobani for example.

They just genrally have too much sugar.
Using the passport to book the ticket, and using the passport to go through immigration are completely distinct though.

When travelling we can book with whatever passport, but we need to be more careful during immigration.
That's what I've observed, I gave it a task for a PoC on something I've been thinking about for a while and it's answer while syntactically correct is entirely useless (in the literal sense) due to it ignoring parts of the task.
If you're looking for the who, Rhonda Patrick points the finger at rampant corruption in nutrition research and public policy. For example the American Heart Association being sponsored by Cheetos.
This battery-backed fast charger doesn't really help to charge the whole complex. How long does the battery last? What is the throughput?

Also, think of the trouble of trying to coordinate times and moving cars around. Everyone wants to charge in the morning, some people are smart enough to charge when get home. Nobody wants to get notification and go move their car in middle of dinner or breakfast.

I found a site with the cost, it is $58k for the battery-backed version. That pays for 5-10 level 2 chargers. Also, I'm not sure it changes the overall situation, cause either pay for wires, batteries, or time.
You underestimate my willingness to happy path code...
So why not get something cheaper and more compact, like the Lenovo glasses?
$1.3 billion

Lump sum after DCF adjustment and income taxes: $422 million

After estate tax: $200 million
I think most people are on board with diet plausibly being a significant lever for improving mental health, and keto can be a way to do that, but the meat-heavy way most people implement keto massively increases risk of cardiovascular disease.

We have an overwhelming mountain of evidence that saturated fat intake from animal sources above a certain threshold percent of one's caloric intake causally increases risk of heart disease through well-characterized mechanisms and that reducing one's intake below that threshold causally improves health.

https://www.barbellmedicine.com/blog/a-basic-guide-to-choles...

Likewise the benefits of a high fiber diet are also overwhelmingly documented, and it's a rare person for whom it isn't beneficial. Your doctor can tell you if you're one of these unlucky people.

You can eat a keto diet that's low in saturated fats from animals and high in fiber, but that's rarely done and most of the health benefits from keto is from the increased rate of adherence to a diet that makes it easier to stay in a caloric deficit.
Maybe I misread your statement "Using a telescope to look at things, one only sees a black and white image". Certainly you can see color when looking at planets (mars, jupiter, saturn). But more importantly: you can see M42 in color with a telescope and eyes, it doesn't need to be a camera or film. If your point is that it's hard for your retina to detect a rich color spectrum from distant objects without either magnification or time-averaging, sure, but that's not how your comment reads.

Before you jump to "bonkers" maybe give the people you reply to some credit- I'm an amateur astronomer with facts at his disposal.
While I agree with your general point, thinking about the passport numbers for a bit makes it plausible:

- You would have to reserve some numbers that can't be assigned to regular citizens.

- If you make those "random" - you need to store them in a database that can be checked against when issuing numbers to regular citizens.

- You wouldn't want such a database to exist.

- If you remove a whole "block," it's much simpler (do not assign passport numbers starting with...).

- Passports are NOT issued by the services themselves, and normal institutions (foreign office) only collaborate "covertly" — not everybody involved can be aware.

Fake passports that pass muster (regular patterns of a country's passport are known to foreign border guards, like checknums, typical issuance ranges, etc.) are not simple.
> Yea, it's like the entire industry forgot the premise of CI-CO.

I don't think they forget, it's just not profitable to admit it or work it into their products.

That makes me think of a Pratchett quote:

> In fact, like a lot of [semaphore] towers, it was often manned by kids. Everyone knew it happened. Actually, the new management probably didn't, but wouldn't have done anything about it if they'd found out, apart from carefully forgetting that they'd known. Kids didn't need to be paid.

-- Going Postal by Terry Pratchett

For a bit more context, the semaphore towers in the plot are analogous to the early internet and issues of monopolies.

> They'd come and hang around and do odd jobs and maybe pick up the craft of semaphore just by watching. They tended to be bright, they mastered the keyboard and levers as if by magic, they usually had good eyesight and what they were doing, most of them, was running away from home without actually leaving.
Unfortunately I don't think there is any single villain here, but instead a cabal of them.

Fat to sugar was one of them, yet fat is very high calorie itself.

Another is that we've moved from jobs working on our feet to jobs sitting on our butts. Same with going outside and playing. Add to that in the US more people have moved to the southern part of the country with air conditioning and spend more time inside.

Mass removal of fiber from foods (hence the ultra processed part) make it far easier to over consume thousands of extra calories per day.

Another is the amount we go out to eat in the US. When I was young we might eat out a few times a month at most. Now the average is 4-5 times a week! Most places offer very large serving sizes so it's very easy to consume over half your daily calories in one meal.

I'd have to add in better marketing and placement of high calorie impulse foods in stores of all types.
Run0, a systemd based alternative to sudo, announced
Uses polkit.

run0, which behaves like sudo, but works entirely differently and is not SUID. Run0 asks the services manager to create a shell or command under the target user’s ID, creating a new PTY, sending data back and forth from the originating TTY and the new PTY.
I think one of the main healthy ingredient lost to processing is fiber. It is good for moving food through your digestive system, plus it moderates harmful glucose spikes which is very unhealthy.

Potatoes have a lot of fiber in the skin, but fries remove all that.

(I've also been told, eating potatoes are like eating a plate of sugar)
> AFAIK (not a dietitian), there's nothing inherently bad about lowering fat intake.

Two things:

- Why remove naturally occurring fat from a food? If to lower calories, why not remove total quantity of food, and fat in its natural proportion? Here's a fact: humans NEED dietary fat to survive. We don't need dietary carbs.

- When we remove fat, what is replacing it?
This is certainly approaching murder investigation levels of effort by law enforcement, but I don't think it's ridiculous to imagine a POS system being used that keeps transaction records for a year or two.
> Why do we need such a thing?

For starters, growing numbers of companies are required to report on their own emissions, which includes software - and therefore having agreed standards on how to measure this would seem a good way forward to me?

> carbon emissions are also proportional to energy

Reducing energy usage reduces carbon emissions, but they are not proportional. Highly dependent on the grid composition, time of day you draw the energy, and any behind-the-meter infrastructure.

> and all large operators do catalog and reduce GHG emissions.

To take AWS as an example, they still do not report scope 3 emissions for customers (due 'early 2024') - without which, these 'catalogued' numbers are essentially meaningless given how understated they are.
After US healthcare cancer treatments, -$3mil.
Like most articles on TikTok, they mistake what the problem is. That is, it is what's coming in (influence) more than what's going out (data). Having both in a single app tightens the loop.

There is ample history of banning foreign influence media, TikTok is another post on this road. While we want to be careful about not subverting our values (like free speech), it would be ameture hour to allow unfettered influence apps from countries whose stated goal is to undermine our way of life.

I would counter that the media has lost the plot with TikTok, but I expect them to optimize for clicks over context and understanding.
A couple dozen of my domains have been migrated from Google Domains to Squarespace. The experience has been seamless so far. All the settings have been retained and the UI is very good compared to other registrar UIs out there that look dated.

Your description is confusing to me. A domain migrated from Google Domains to Squarespace retains its zone in Google's Cloud DNS service. In other words, there is no DNS zone migration. The name server entries on all of my migrated domains are *.googledomains.com. If you're saying that Squarespace is having DNS propagation issues for your migrated domains, then Google Cloud is having propagation issues on the Cloud DNS service. We would have likely heard about that in a separate HN thread. But it's not happening. My migrated domains are propagating edited entries just fine.

Did you find the actual issue on your domain?
+1, I was wondering the same thing. Genuinely curious.
The less processed a food is the fewer chances companies have to cut the cost of the food in a way such that it will introduce an unknown aspect that will hurt you. The problem with research is its always going to be 1 step behind the state of the art.

It's kinda like all that BPA stuff... I skipped it completely with bottles by just using glass. Glass is pretty well understood, I don't want to put my trust into a newly invented thing that replaces the other newly invented thing that we didn't figure out was problematic until decades after the fact.

Also, I'm not religious about it. I just avoid these things where I can.
> ARIB STD-B24, the captioning standard used in Japanese television, has its own text encoding with characters not found in either JIS X 0201 or JIS X 0208.

Amazingly enough, ARIB STD-B24 is one of the major source of Unicode emojis. So transcoding would actually work for them! (I am aware of some exceptions, but semantically there is no loss.) Unicode and UTF-8 are truly eating every other legacy encoding else, so much so that it is becoming more reasonable to have a separate transcoding step.
Oh, that's the JRE software version - that's completely different from the language version.

For the JRE, I want to say that they stuck with the 1.version.minor numbering (although the last version with a minor other zero was I think the Very Popular And Probably Still In Prod 1.4.2), with updates suffixed with "u" + number through the Java 8 series, but then with 9 they switched to version.minor.update instead.

It's completely incomprehensible; not even Oracle can keep it straight.
Who is advising BG?

Gates had been dreaming of a world in which everyone would navigate the internet using software that would "have a personality you'll be able to talk to in one form or another" and that would "learn about your requirements and preferences in much the way that a human assistant does."
> makes everything so... huge. It really made me feel tiny in our universe.

I have to say... I kind of don't care for the exploding mind variety of sci-fi. I like good stories set in the future with some interesting technology and science that's not in our grasp yet, but still stories about people rather than 'wooooaaaahh' stuff.
I’ve posted about this before and gotten downvoted, but, yeah, the Nova definitions are problematic. I think the issue is the data clearly shows something or somethings are causing problems, but nobody really knows what the troublesome ingredients are, or if any individual ingredients are problematic at all:

* Is it the emulsifiers? Sounds plausible, but hasn’t been proven

* Is it the high calorie density/ease of chewing? Sounds plausible, but hasn’t been proven.

* Is it <insert pet theory here>? That, too, probably sounds plausible, but hasn’t been proven.

* Is it just the A/B testing? After a few rounds of optimizing for “do people eat more of substance a or substance b”, does it even matter what the ingredients are? Sounds plausible, but hasn’t been proven.

Meanwhile, to pick on one single example, you have jams in the Nova database that are “ultra processed” because they contain ”added” pectin.

The last time I brought this up, someone responded that they made homemade jam without adding any pectin at all, just by cooking the fruit for longer. So, clearly, Big Jam is making Frankenfood Jam by adding artificial pectin to thicken their product.

You’ll never guess how you extract pectin from fruit: apply heat.