skysight-inc/HackerNews huggingface dataset:
Are you asking yourself?

"If someone really dumps a hundred people on a distant planet"... they die.

Yes the incentive to not die is exactly why there is a ton of work to be done before it is a practical reality.

Really, even transportation of 100 people at once is currently
a fantasy.
Heh. I recall seeing him at a show in London. He was very tall, as I recall.
> You don't need to write any more tests in the absence of types.

To achieve the same level of quality, yes you absolutely do. This is actually a fairly fundamental fact about static typing. Static typing is a weak form of formal verification, or equivalently formal verification is just really really strong static typing. Clearly you don't need to write as many tests for formally verified code. The same is true (to a lesser extent) for "ordinary" static typing.

> Sure, I've seen developers do all kinds of stupid things too.

It's not stupid if you have a static typing system available! The stupidity was relying on tests to verify types, instead of ... you know, the thing whose whole purpose is to verify types.
What open source package do you recommend?
I don't need a degree in babysitting to watch my own kids. That's all teaching is.
"When NASA chose Dragonfly in 2019, the mission had a cost cap of $850 million ($1 billion when adjusted for inflation) to get it to the launch pad. The budget limit didn't include the launch or costs to operate the Dragonfly spacecraft after launch. The costs originally under the budget cap have increased the $1 billion post-inflation figure to $2.1 billion, according to NASA."

Unfortunately, some industries experience much more inflation than others.
These are all on the Canadian Gutenberg.
I work in EdTech as well and I tend to agree, but there is also a very strong correlation between funding and rank of schools. 8 of the top 10 schools in terms of educational outcomes also are in the top 10 for spending.

Due to paying for education with property taxes, this of course carries on into the county level where many schools are incredibly over funded and have good education, where as others have poor funding and terrible education.

I do agree overall though, when you look at the numbers at a macro scale. Here in Florida, average class has around 20 kids, we pay around $10k per kid per year. How does that not fund the school, how do teachers make so little? Average pay is around $50k, you could put two teachers in each room and still have $100k left over for all the expenses of running the school.

I believe its a bit of you get what you pay for, the states paying more get better talent who use the money more effectively. The main factor that money can't fix are the parents. We have a Drop out Recovery program and well, the common factor is the parents and income.
Maybe just automate the crap out of the day job then and leave at 5 every day :-)
Whats the viable alternative?
> Many don't seem able to accept that life can be fulfilling this way,

We literally have scientific research showing that loneliness is just as bad for health as smoking, so please stop with this "you can be happy single" meme, it's not even funny at this point.

There's something about modern society that completely breaks the most basic human interactions, leaving people absurdly lonely. It's a pattern that can be seen in all countries: as the society gets more developed, people stop spending time with each other. What it exactly is remains elusive, but if the same statistic shows up across completely different cultures, then it's ignorant at best and evil at worst to put the blame on individuals for failing to thrive in an environment that sets them up for failure.
I haven’t thought through the phrasing of “infrastructure” and what it implies. But I am not debating the existence of funding for education - so even if you are not using schools because you don’t have children, there would be funding. I’m just saying parents should have choice over where that money goes for their children. If $20K is spent per student per year, a parent should get to select whatever provider they want or use the same money for homeschooling or for parent-led shared groups or whatever else.

As for private schools being allowed to discriminate on who they can take - I think that can be solved separately. You could pass regulations to require accepting students or simply fund students by need (for example parents of special needs children or children scoring poorly can get vastly more funding to spend as they choose).

> Any other alternative you're welcome to attend (if they'll take you), but you must fund it on your own.

I see this sentiment a lot from those against parental choice, but I don’t understand it. Why must I fund it on my own? If tax money is collected from me and only made available to the public school system, then I am deprived of my money and then not given the option to just “fund it on my own” unless I am rich and have enough leftover money still. That is really unjust. There is a certain amount of money that would be spent on a child per year anyways - and I think parents should be able to attend any alternative and use that equivalent funding elsewhere. Why would the public option get to keep it when they are relieved of the cost of educating a child that is attending some other option?
LTO can only apply in specific situations though, if there is any possibility that a plugin derived from the class LTO can do nothing.
Guess they weren’t thinking of you when they made it
Perhaps someone smart here can answer me this: Is there any chance whatsoever that lab-grown meat tech could somehow result in products which are more likely to cause prion diseases than regular meat?

I ask this as a vegan who would absolutely eat lab-grown meat if given the option, except for this one concern.

Perhaps lab-grown fish, poultry, and eggs (if those are a thing) would be safer than other types of lab-grown meat?
It's going to have to be the opposite of trial and error, I would think -- though maybe in some sense some of the underlying searches for useful predecessors of patterns like Sir Robin could count as "directed super-high-speed trial and error".

The problem at the moment is that nobody can see how to direct those searches toward a predecessor that's made entirely out of gliders -- it's clear that the Sun will burn out long before a trial-and-error search would be at all likely to return a result.

We can easily make a huge number of non-Sir-Robin predecessor patterns that will evolve into Sir Robin -- and we can find ancestor patterns for most of those predecessors, too -- but each step backward always produces something that's a little bigger, a little blobbier, and a little more random and chaotic looking than Sir Robin was... so ultimately all we're doing is making the problem more difficult with each step.
That's an interesting assertation to make out of hand, but I don't think the data backs it up.[1][2]

[1]https://www.act.org/content/dam/act/unsecured/documents/Info...
[2]https://files.eric.ed.gov/fulltext/EJ1005657.pdf
Do you see a role for generative AI to discover new patterns?
Yeah, I remember those. It was intended as a way to make "tables" using divs.

That way, we could pretend to do page layout with CSS, while still feeling shitty about repurposing something meant for tables.

There's just no justifiable reason for putting whole-page lay-out on the back-burner for so long. So many other far less important things came out before grid, it feels almost like it was deliberately spiteful to delay it so long.
EU Right to repair: Making repair easier and more appealing to consumers
Something closer to a "pure codegen/runtime" example perhaps: I have data showing Roslyn (the C# compiler, itself written in C#) speeds up between ~2x and ~3x running on .NET 8 vs .NET 4.7.1. Roslyn is built so that it can run either against full framework or core, so it's largely the same application IL.
Or Life As We Knew It for a good YA novel, post-apocalyptic survival after a huge asteroid nudges the moon to a different orbit and destroys the climate on earth.
Thats not how sovereignty works.
That is good news all around. But we need to also realize when you have as many as 100,000 trucks, battery failures and battery replacements are nearly 1000 times a year. Those costs add up to the ghg. It might be definitely less than ICE
Cars but if your goal is to offset, then this is a cost to offset too.
I know asking about this on Hacker News is a long shot, but will any of this funding go toward accelerating Framework's entry into new countries? The rate at which new countries are added is very slow and Framework seems to be the most hostile laptop manufacturer toward anyone who isn't in a supported country buying its product. I know so many people who want to own a Framework and support the mission (myself included) but don't because of this.
Or, a lot of old people are still pretty capable. My aunt is 90 and she manages her laptop and phone just fine.

I am not impressed at all by Apple's UX. Inconsistencies abound, and there are lots of hidden gestures and actions that you have no clue about unless you stumble upon them or someone shows you. It might be better than Android, but that's a low bar.
Reality. Unless you have some sort of magical thinking where you actually believe that parents helping their children with homework and assignments is some sort of new expectation.
Attackers spread backdoor via eScan antivirus software update process
Anecdotal outcome of US marketing. Our older relatives are all on PC and Android (one of them 95) and can attest to the same.

Careful to what money sink you throw your elderly into.
A literate population that reads what you want them to read is even better.
Not directly related, but compared with the event hell that UI development was twenty years ago, something like Vue.js (or React, but I haven’t used React) is a pleasure to work with. So it kind of makes sense to have something like electronjs that bridges blood-and-sweat-and-tears Javascript framework achievements with the world of desktop development.
Can you be more specific than teaching math "at the college level"? In America, after 13 years of public education by professional teachers, they're lucky if they've even taken an introduction to calculus or trigonometry. Somehow I think I can do better than that.
I have been using Evernote since it came out.
I more or less scoured Manhattan trying to find feni, with no luck.

Is there any way to get it in the EU (or US), or is taking it in your luggage the only way ?
Google fires more workers after CEO says workplace isn’t for politics
Stop being smart. The tool is called GetAda, what does it do? It gets ada. What would byron do? will you remember 3 years from now?
I think the GP meant polymorphism. Rust traits being static ad hoc polymorphism. I thought it was possible, though, to achieve the same thing with Functors. Just the standard library deliberately didn't and chose to have things like 'print_int', 'print_string' and so on instead of a Print Functor.
I think the meter reconnection fee for pg&e is something like $75 in our area.

I think that means you could close your account, bet they don’t change the rules, then reopen the account before selling the house.

I imagine they’ll change the rules if this becomes common. Electricity service is so bad here that our house needs to be off-grid capable regardless of whether we pay them.
OP here. Yes, Excel is technically not a declarative language. However, it's widely used by business users, and its formulas are declarative to a large extent. If AI generates code, Excel formulas might be the best bet for business users to understand. I could have picked an example of metadata generated by no-code tools, but it wouldn't really convey the point about leaky abstraction.
If you need to combine a modifier key with a mouse gesture you've lost. There's just zero way to frame that as anything but a kludge.

Double-clicking the title bar, a typical Apple feature that is totally undiscoverable except by stumbling upon it or having someone show you.
As a parent myself I see this happening daily.

Teacher public shaming my kids for having pretzel in his lunch saying it’s not healthy.

Then later the same day the school give all the kids crackers as snack :-)

Or teachers spending 2 hours telling kids which brand of soap or shampoo they should buy and which brand they should avoid.

Or teacher giving a 1 hour talk saying they should open a checking accounts at a particular credit union.

For some reason new teacher are not afraid to brainwash kids with their own personal agenda.
Is that a problem for the elderly?
Every night is the end of the world as you know it
>it absolutely destroys the best chess engines in the world.

Citation?

I'm willing to believe that someone used the gambit to win against an engine, but in response I would've expected the engines to be modified to restore their absolute dominance against human players.

So, I would be very interested to see any evidence that this gambit continued to work against the version of the engine released after the gambit's effectiveness became widely known.
https://archive.is/JMLE8
I learned both Japanese and Mandarin over the last 15 years and I gotta say, this was an interesting article, but I'm mildly disappointed.

> In particular, a whole realm of consciousness exists in the sphere of Japanese speakers that's perhaps truly unique in the world, more so than the sushi and the nature and decorum. It even allows for new literary techniques that are unimaginable in any other language.

I was expecting some kind of insight into the super complex multitude of ways to say something as simple as "thank you" in Japanese, complex not only today but also historically. The linguistics tie into socioeconomics, class, and history, in a really fascinating way. A highly educated person has, in my opinion, a far greater "resolution" with Japanese than with English, in terms of what they can convey with a simple "thank you." Though I think English has the best "resolution" in most cases out of the three languages. It's extraordinarily difficult in Mandarin (especially if you aren't fluent and educated on top of that) to for example speak subtle differences such as "how would you feel about helping John with the dishes tonight?" vs "can you help John with the dishes tonight?" vs "It would mean a lot to me if you could help John with the dishes tonight" vs "I think John would appreciate if you helped him with the dishes tonight" vs "I need you to help john with the dishes tonight."

Especially in sales and marketing, I really want that kind of granular resolution in Mandarin. It's a little possible of course, but you'll simply lose your audience. 99.99% of the time Mandarin speakers will expect to hear "tonight can you please help me with the dishes?"

The notes about combining kanji and root characters to construct larger complex characters e.g. cousins male/female is interesting, but really in the brain of a native reader it just doesn't work like that, you simply memorize the meaning and move on. It takes the same sort of education to learn latin roots and the attention to notice them in English, as it does in Japanese / Mandarin.
Agreed, certainly from the perspective of free market limited government intervention capitalism, government enforced restrictions on imaginary property are inconsistent.

I'd agree that on the colloquial use of capitalism to mean more just naked profit seeking, I think it is consistent to want the government to lend you it's police etc for free to protect profits and prevent competition.
Noisy: The Class You Wrote a Hundred Times
The possibility of war between the US and China within our lifetime is a known and all-to-realistic possibility, which has been public knowledge for a number of years.

I don't agree that acknowledging that in any way stokes the flames of war. Having to tip-toe around the fact would be severely detrimental to the quality of discussion on HN, though.
> Why does it have to be so complicated?

I know nothing about Japanese, or Chinese.

(Edit: actually that's not true, I learned this today [0])

Maybe a little about
language in general from studying linguistics (for compilers), but I
think the answer to your question is;

Because it is able to express things that we can't in English.

That is beautiful, necessary and precious. The fact that groups of
people exist in the world who can have whole ideas and worldviews that
we barely conceive or express at all, seems so valuable.

[0] https://news.ycombinator.com/item?id=40119457
Then you also need to factor in the recycling opportunity for the production.

An EV may have fairly high CO2 emissions during production, but much of that is associated with mining of metals/minerals. Those are generally recyclable. Large scale commercial recycling of EV batteries is already happening. So those CO2 emissions are not for just one vehicle. It’s for many vehicles far into the future.

The CO2 emissions from burning fossil fuels will never benefit anything but the one vehicle it’s propelling forward.

You’ve also gotta keep in mind that the mining and industrial transportation sector is also being decarbonised, sometimes with the same EV technology that EV cars are made with. Electric mining dump trucks is now a reality. Keep the long term picture in mind: we actually have a very viable pathway to eliminate whatever minor CO2 emissions are associated with EVs by just pouring more investments and R&D into EV technology.
From the abstract: As a result, many of the very same discriminatory attitudes that animated eugenicists in the past (e.g., racism, xenophobia, classism, ableism, and sexism) remain widespread within the movement to build AGI, resulting in systems that harm marginalized groups and centralize power, while using the language of “safety” and “benefiting humanity” to evade accountability.

From the conclusion: We trace the influence of this set of ideologies throughout the AGI movement, and show the manner in which its harmful ideals have resulted in systems that perpetuate inequity, centralize power, and harm the same groups that were targeted by the first-wave modern eugenics movement.

.

So, what specifically is the "harm" caused?

Well section 6.3 talks about paying people too little to label data: As Williams, et al. (2022) wrote, while corporations such as OpenAI headquartered in Silicon Valley receive billions of dollars in investment, with their executives and AI researchers paid six to seven figures, this salary is not afforded to the low-income essential workers around the world mitigating the harms of these systems at a cost to their own mental health.

And about putting people out of work: By ascribing human-like qualities to models trained by corporations to generate profit, using troves of artists’ works without obtaining their consent or compensating them, our attention is directed away from investigating the processes by which corporations create these products, the harms their practices cause artists, and the mechanisms that need to be put in place to hold the corporations accountable.

There's also the previous section (6.2) that I missed skimming it on my phone, where the energy demands are a "harm" because climate change.

.

It's claiming that these things are caused by the people behind AI work being eugenicists at heart (which they prove by recounting how "I can make the world a better place" thinking has changed over time, and asserting that older proposed mechanisms are current underlying ideals), and therefore not caring if they hurt people.

.

Their recommendation is reasonable: let's focus on automating specific tasks, where safety /can/ be defined.

Their recommendation may be reasonable for reasons unrelated to the bulk of the article -- it's basically the precautionary principle, which in fictional settings with magic and summoned entities (which seems like a decent approximation of what trying to build a superhuman AI is) shows up as "do not call up what you cannot put down" -- but it doesn't really follow from the presented arguments and those arguments are holier that swiss cheese anyway.
If you have a complete type system, sure. Then you have constraint on the subtle mistakes one is likely to make.

The partial type systems found in languages people actually use, though, only constrain the most glaring of mistakes that you are almost never going to make. Not impossible that you could make one, but highly unlikely. Certainly not on the order of "lots". More like once in a blue moon.

Refactoring is a different story. Having an editor that lights up like a Christmas tree when code changes breaks existing relationships is a huge boon, and with good refactoring tools you almost never have to break the relationships in the first place. This is where (partial) static typing truly shines.
> in my opinion at least, are a bit harder to screw up, so I will always prefer them

My experience is the opposite - a sizeable chain of ifs has more that can go wrong precisely because it is more flexible. If I'm looking at a switch, I immediately know, for instance, that none of the tests modifies anything.

Meanwhile, while a missing break can be a brutal error in a language that allows it, it's usually trivial to set up linting to require either an explicit break or a comment indicating fallthrough.
There's a proposed proof of abc conjecture that is supposedly more readable. Here is a discussion thread about it:

https://www.reddit.com/r/math/comments/1bhiz0s/construction_...

It would be nice if this one were formalized in Lean (or Coq or HOL) though.
Oh books for classes - you can sell them back anyway when you're done with it right?
I volunteer at my local food bank to help feed to homeless. I understand just how dire the need is. Libraries are a luxury we cannot afford right now, and frankly nobody uses them. Any 'feel good' purpose like 'literacy' is already met by public schools. There's already federal subsidies for internet and telephone for the needy, and the people that live too far away to get internet definitely don't have the money or means to drive into town to use the library.

I would be willing to compromise on small buildings that function as internet cafes that are free to use for the public, we can get rid of all the excess staff and books, though.
Their idea of the problem with the proposed merger, making it unhealthy, was that it would reduce the number of players in the market. How is one of the players getting picked apart by private equity instead of merging with a different player a better outcome, then?
Ray-Ban Meta Smart Glasses Styles and Meta AI Updates
Getting alire installed involves downloading the zip, extracting the binary, and moving the binary to a directory in $PATH. If you're on a mac, you also have to run an "xattr" command on the tool to get it running.

I've seen the last parts get newcomers tripped up so Getada takes the rustup approach.

It uses github's api to retrieve the latest published release of alire[1] and then downloads and extracts it to a specified directory in $HOME. Then it creates an env file[2] and sources that file in .profile and/or .zshenv. It also logs everything that it does so it can undo it later with getada --uninstall

[1] https://github.com/alire-project/alire/releases

[2] Here's roughly what the env file looks like that it creates https://github.com/AJ-Ianozi/getada/blob/main/src/shells.adb...
Look at the weight of some cars for comparison. Modern EVs aren't too far off as you say when compared with comparable performance cars:
Tesla model 3: 3920lbs (SR) 4056lbs (LR)
Kia ev6: 4017-4255lbs
Average new US vehicle: 4100lbs
BMW M3: 3,840-3,990 lbs
BMW M5: ~5300lbs
Audi A5: 3,682-3,990 lbs
Toyota Camry: ~3500lbs
Toyota Prius: 3,097-3,340lbs
Dodge charger: 5100-5900lbs