skysight-inc/HackerNews huggingface dataset:
> I didn't say it catches all bugs.

It is always telling when someone starts getting worked up about something, especially when that something wasn't even said or implied.

> Also the fact static typing eliminates entire classes of bugs means you need to write far fewer tests.

You don't need to write any more tests in the absence of static types. The purpose of testing is not to act as a replacement for static types and if you find yourself writing tests just for the sake of testing types, you know you're doing something horribly wrong. But, you necessarily have to encode type information into the tests in order of them to execute. After all, if that wasn't the case, you wouldn't even be able to catch bugs with a type system. As such, you gain that indirectly.

> I've seen Python tests that literally fed different types into functions and verified that they accepted them. What a misguided waste of effort!

Sure, I've seen developers do all kinds of stupid things too. In fact, give them Typescript and they will just litter the code with `any` everywhere – something I've witnessed far too often. There is no technical solution to bad developers. Was there supposed to be some meaningful takeaway here?
Yeah, that is particularly egregious but I have a friend who worked for years in the education bureaucracy and specifically moved to a particular neighborhood for the schools. It's slightly more subtle but the same indictment.
Not allowing people to criticize things without direct personal experience is a bizarrely high standard. I wonder if you hold others to this same standard on issues you agree with?
My mother was a teacher at my public high school and sent me to the public schools where I grew up. She knew the schools were bad -- they're ranked deep in the bottom half of Massachusetts -- and always would say something to the extent of "but how would it look for a public school teacher to send their kids to private school?". Well, I sort of wish she had? If the schools are a mess and you know it directly from experience, to do otherwise is pretty ridiculous. We have to be honest with reality.
It's been going the wrong direction since it was formed in 1979. It was a minor bureau before then. Americans were and would be better served by locally driven standards driven by teachers. You know, the actual experts in education.

If you axed 75% of admin and returned the DOE to a minor bureau and moved all that money to teachers salaries then I suspect learning outcomes would improve drastically. It's the same problem as Boeing. Put the money back into the fucking product.
>I couldn't switch my dad to Linux because his favourite game (DX-Ball) didn't run and he didn't like lbreakout2 or the other alternative, so I made a DX-Ball clone, when that was done, I switched his PC to Linux.

That's awesome!
I'm blown away that company _needs_ more than 1,500 employees in the first place...
Yes, and if we do end this civilization it will be much harder to bootstrap the next one. The easily accessible coal and oil are gone.
2fa backup codes? Yeah, I’d be surprised at people writing those out by hand. They’re long and gibberish, odds of an unnoticed error are high. I’d also be surprised at people typing them by hand (as a way to record them, not to input them) for similar reasons.
https://www.epa.gov/greenvehicles/electric-vehicle-myths

Draw attention to https://www.epa.gov/greenvehicles/electric-vehicle-myths#Myt... specifically the lifecycle green house gas chart.
"the flash of explosive light would have been faintly visible to people on Earth with their naked eye"

That makes it sound like one of the reasons for cancelling it would have been that it really wouldn't have been that impressive.
Oh, boy. I'm in the US (as will be obvious to my European friends), and have learned to fear plain old multilane roundabouts. There are just too many accidents and near-accidents in them, so I avoid them entirely when possible.

A "turbo roundabout" sounds like an utter nightmare to me.
K-12 needs to absolutely DRILL reading comprehension and mathematics, much more than other subjects. This sets students up for pretty much any major in college. For example, Econ programs rely more on reading comprehension than one might think. The problem is reading comp probably takes years to tune, improve upon, etc. It's not a simple equation you just learn, it's something that comes with years of reading and application.
> It's a true testament to the intuitiveness of Apple UX.

I think it's much simpler than that. For normal people, the aesthetics of an experience is the experience. There is no functionality, form is functionality.

Apple does this more than anyone else as a side effect of different design goals. An iPhone competes with the 1990s-era cable TV-equipped television, not an Android phone, especially for older adults. In that comparison, you can see how the iPhone "UX" could be "improved:" how could it achieve the same level of effortlessness as switching a channel, an idea of an aesthetic experience distilled to a brand name and a button press, and then having the aesthetic experiences you like transferred to you continuously, nonstop, throughout the day, affordably?

You are talking about watching YouTube specifically, and consider that if your grandma could "just" watch a channel with a mix of Chinese and English content she "likes," she would be even "happier." I am not trying to get into the normative argument over which aesthetic experiences are more meaningful or preferred or whatever. It's a way of looking at things differently, without the myopic point of view of frontend web development.

Once you deconstruct your lived experience of watching your grandma,
"Apple UX" looks more like a marketing idea that is inferior to many alternatives.
Being caught up in "reactive nonsense" is an oxymoron. By definition you're saying they're reacting to something else, so they're not the ones pushing it.
You should ask a qualified lawyer. No one on this forum is going to know the right answer.
OK, but if you can't fix student parents and home life in the classroom, even by spending 50% more per student, then why pay 50% more per student? Is it really buying you very much?

Honest question, because I don't really know. One could argue that it's throwing money into a hole, trying to fix unfixable problems. Or one could argue that it's not fixing things, but it's doing at least some to close the gap. Does anyone have actual evidence one way or the other? A controlled experiment, or something?
Yeah, a big one, but it's a lack where specificity is important, I think. Ukraine's GBAD situation is deteriorating, so one of the things they agitate for a lot is more GBAD aid. Coupled with articles like this one might think that if the west threw a dozen more Patriot batteries at them, UMPK barrages would cease to be a problem. And it would help, but the Russians started working on UMPK in response to an environment where well stocked and widely distributed S300 coverage meant their aviation had trouble operating in close. They are hard to counter.
How do they enforce the popup requirement on TikTok? That's like Europe trying to enforce the GDPR on a US-based site.
Force charter schools to take the worst students that the public system is stuck with, and you'll very quickly find that they will perform just as poorly as the public system.

Let the public system expel anyone it doesn't like (preferably into the charter system), and miraculously, all metrics will improve.

As a bonus, you'll also find that the political support for vouchers will evaporate overnight.
Sounds like those parents would benefit from having a Chromebook?

If they want to play games then SteamDeck or such

Otherwise for phones, I just give my mum same/similar device to one I'm using (e.g. Motorola Moto G[number]). There's ~1800km in between us, so by using same or very similar device - I can hand hold her step by step.

And actually phone is usually not a problem - it's the TV. In order to have good Internet we've switched her from cable (coax so TV tuner was same as last few decades) to fiber. With fiber, now TV is basically IPTV/SmartTV - and she just wants to turn it on and use +/- and digits for channels and volume.
When was it ever common for most middle class parents to teach their kids gradeschool-level math and science? If anything parents are now compelled to spend more time tutoring their kids owing to the education system falling short of expectations.
Art of the Update, the definitive guide to writing world class customer updates
As Jaime Escalante demonstrated, the real difference is between students who are motivated and students who are not. Teachers are incentivized to spend most of their time on the second group, leaving the first group to fend for themselves.
> We should also ask in both cases "prosperity for whom" and "at what cost"

Prosperity for Chinese people? The stats and anecdotes are both fairly unambiguous. Chinese policy just catapulted ~800 million people out of extreme poverty. Some of my friends just got back from Ancestors' Day and were talking about how their grandfather's village had plumbing now. Shenzhen went from fishing nets to microchips in about a generation, and TSMC is only a little less than 40 years old. These people are wealth creators in the most respectable sense; the fruit of their work is spread extremely wide.

And I'm not sure exactly what we'd call the cost as being but I'm glad they paid it. I think extreme poverty is a bad thing and we'll be doing well to see the back of it. If they can do it more cheaply in Africa and India then that would be good, but the important thing is that it happens ASAP.
> Perhaps your conflating death camps with concentration camps.

I would wager most Americans would not even be aware of that distinction. In popular discussion, they're the same thing.

So if school kids are being taught "the WW2 era American internment camps should be called American concentration camps," they're actually being mislead. The lesson can't be oblivious to popular understandings or less precise popular usage.

It's also worth noting that strategic obliviousness to the difference between popular and technical definitions is a time-tested and effective way to lie and mislead, because it lends itself to a fallacious but effective motte and bailey defense, which also exploits embarrassment over not wanting to seem ignorant and prejudice against people who appear ignorant to silence challenges.
I grew up in the religious south and the amount of stuff considered political is extremely disconcerting. The list includes:

- Climate science

- Evolution

- Geology

- History

- Sex ed.

Essentially they believe in banning anything contradictory to their narrow religious beliefs.
Can you explain why you think voucher money will dry up? I’m saying that parents should have the option to spend the amount of tax money currently set aside for their children wherever they want. I don’t think that funding is at any more risk under a private option than it is now.
I second the Silverblue suggestion. With its image-based updates and read-only rootfs, it's the Linux distro most akin to ChromeOS.
Quite.

Do you refuse, on principle, to visit the Frick when in New York City? For that matter do you avoid the Rockefeller Center?
I guess it depends on the city. I found no lack of public restrooms in Zurich for example

https://www.maps.stadt-zuerich.ch/zueriplan3/Stadtplan.aspx?...

I found plenty of free toilets in Amsterdam and Copenhagen and plenty of pay toilets in Stockholm and Oslo. In Germany I usually looked for supermarkets, train stations, fast food restaurants, but come to think of it, Germany was harder.
University of Edinburgh? That happens to be where I'm studying right now.

It's £28,950/year for EU students.
Teachers should definitely have a say in what curriculum they teach. Teachers understand how their students learn and what their students will respond to.

Sure the school system should have a say in the decision as well. But a full top-down approach of a mandated curriculum is a setup for disengaged students and demoralized teachers.
> There was a retired gentleman in her area who made a hobby of helping other elderly folk.

Kudos to that guy.

My mom is pretty good at figuring things out, she would sometimes ask me to help and if I couldn't figure it out (mostly because I've been using linux since the Windows ME shitshow) she would poke at it until it was fixed. She also has a couple embroidering machines and a crazy robo-sewing machine she likes to use so is motivated to do stuff on her own.

My step-dad... he took a windows class through his work before he retired in the 90's and likes to break thing in fun and exciting ways, almost always wifi for some reason. Then my mom will look at it until he pisses her off and he has to go without a laptop until either myself or my bro-in-law visits and he 'allows' us to fix it. It would be tragic if my mom didn't find it amusing TBH.

Now they have some sort of tech support that remotes into the machines when my step dad gets to fiddling. I made sure it wasn't one of those scams and they seem to be happy bickering about who does the grocery shopping instead of PCs so all's well in the household.
I saw a fairly popular programming Twitch streamer / Youtuber put out a bunch of Ada content recently, don't know if it's cause or effect but content creators seem to have a bit of influence these days. Was definitely the case with the recent htmx wave.
A use case like this is probably one of the best for EV's. Presumably Amazon will be able to have a centralized maintenance facility where new batteries can be installed. They'll be able to price in their own maintenance and resale value will be of no concern.
Other ecosystems are still catching up in some ways
Finding it quite difficult to decide which platform to bet on. Autogen langchain and langgraph seem to be main contenders. And then people seem to custom roll them too
You should take this proof as saying: if Lean 4 is consistent then New Foundations is consistent. There is no contradiction of Godel's incompleteness theorem.
Except if you factor in the months of rents car time while you wait for repair parts because Tesla prioritizes parts for new builds and refuses to allow 3rd party parts.
Or the cyber truck which apparently will get bricked if you wash it or sometimes right when you pick it up from the dealer
Which is good, but may not apply. I have an application where I can't do that because we support plugins and so a couple classes will get overridden outside of the compilation (this was in hindsight a bad decision, but too late to change now). Meanwhile most classes will never be overriden and so I use final to saw that. We are also a multi-repo project (which despite the hype I think is better for us than mono-repo), another reason why -f-whole-program-vtables would be difficult to use - but we could make it work with effort if it wasn't for the plugins.
Agreed: my father-in-law was continuously trashing his Windows install. Many years ago, I put him on Linux Mint + MATE where he only uses Firefox and a bit of LibreOffice -- he's been fine with this setup -- his only remaining issues (for the most part) are when his Yahoo Email interface changes, etc. And, he has not managed to trash it yet! ;)
This is such an important point and one that pretty much everyone fails to understand.

I am in the process of writing a pretty long, detailed essay on this.

While, yes, institutional problems in public education do exist, so much of the "bad education" discourse is just plain bad parenting.
Cybertruck recall shows how Tesla is faring in electric truck race
I have contact info in bio. This isn't one I want to debate publically or using rhetoric.
"He'll do the job, no questions asked."

Classic.
Stable Diffusion Benchmarks: 45 Nvidia, AMD, and Intel GPUs Compared (2023)
Me too. I’m not aware of a single change they’ve made in ten years. Offline still doesn’t really work. I’m sure there’s been tons of scaling work, but why does that require thousands of employees?
I looked at Akaunting, but the licensing was not appealing. I've used Invoice Ninja (https://www.invoiceninja.org/) for over a year now. I pay for the white label and have had minimal issues.
Teachers often have very little say in what they are required to teach or how they are required to go about teaching it. Often times the state or other administrators dictate what topics must be taught and how said topics must be taught. Deviating from the plan handed down to the teachers is quite frowned upon.

Good teachers DO try to morph their style and presentation to suit the students' needs, but there's only so much they can do given their resources and other required tasks assigned by administrators. The kids still need to pass the state mandated tests on the state mandated topics in order for the teacher to get a good performance review from the administration.
Nexus was supposed to be reference platform with a harmless quirk or two, not necessarily low or high end. The idea was everyone builds for Nexus and apps run everywhere.
I'm sure a lot of people inside Taiwan see this as a Taiwan China conflict, with the US being an ally that has shared interests with Taiwan.

From what I've been reading, the support for reunification within the Taiwanese population has been going down for a long time. The current talk of invasion could reflect Xi giving up on that possibility.

As for what would happen if some day the majority in Taiwan actually supported a peaceful reunification, the US wouldn't like it, but it wouldn't be easy for the US to defend attempts to stop it militarily.

Now, that wouldn't completely rule out some kind of covert support for a military coup or something. But if the support for reunification is large enough, the US would probably have to accept it.

Edit: Also, 1-4 are not that unrealistic, if you give it enough time. In fact, if enough time passes with no invasion (or peaceful reunification with the CCP still in power), one of them is likely to happen I would say.

It could take 30 years though, and we could be deep into some kind of singularity event before it happens. For instance, TSMC could end up building the largest AI on the planet using their own chips, and by using that become more powerful in all ways than China itself. (Possibly at the cost of human extinction).
Avoiding scammers likely requires restricting access to their finances as well, which could involve getting a power of attorney.
I have a 13 " AMD, and I've been pretty happy with it. Windows basically just worked*, Linux needed a couple of tweaks to get the Wi-Fi and touchpad behaving better, but I think they might both be fixed upstream at this point.

The touchpad is a let-down coming from a macbook, but everything else has been great.

*Edit: I forgot, Windows didn't include drivers for the Wi-Fi chip, so I had to put it on a USB drive on another computer to get the framework online.
See also https://github.com/apache/datasketches-postgresql
Exactly. Just look at Telegram. They have a team of ~30 engineers who are managing ~900 million monthly active users. That's wild
As someone who speaks Chinese and is learning Japanese, I have been so surprised at just how incredibly complicated and obtuse Japanese is. Chinese (Cantonese) 7-9 tones, loads of characters, but after memorizing the first 2000-3000, you pick up on all the radicals, patterns, and meanings which help you fill in the gaps. Grammar is barebones: I only had to learn 5 to 10 different grammar rules for Chinese that I recall, and basically everything else is incredibly easy.

Whereas in Japanese, I am learning 2-3 grammar rules per LESSON. Having each character pronounced a single way in Chinese is also super easy, and communication is even more direct than English. With Japanese, the cultural context, the phrasing, the end particles, and subtle vocab changes the meaning significantly.

I think for me, it took 5 years to reach fluency in Chinese but I feel that even after 10 years I will barely reach conversational fluency in Japanese. It just feels like an inefficient language for communication. Why does it have to be so complicated?
'Final' cannot be assumed without complete knowledge of all final linking cases, and knowledge that this will not change in the future. The latter can never be assumed by a compiler without indication.

"In theory" adding 'final' only gives a compiler more information, so should only result in same or faster code.

In practice, some optimizations improve performance for more expected or important cases (in the compiler writer's estimation), with worse outcomes in other less expected, less important cases. Without a clear understanding the when and how of these 'final' optimizations, it isn't clear without benchmarking after the fact, when to use it, or not.

That makes any given test much less helpful. Since all we know is 'final' was not helpful in this case. We have no basis to know how general these results are.

But it would be deeply strange if 'final' was generally unhelpful. Informationally it does only one purely helpful thing: reduce the number of linking/runtime contexts the compiler needs to worry about.
As someone who has done the informatics apprenticeship when I was 16, I don't think it is too early. I don't know many people that significantly changed their minds on what they want to do between 16-20. Only after several years of actual work experience in the field in their mid 20s or later.

I think the benifits of earning some money starting at 16 and losing most of the anxiety of getting your first real job (almost everyone I know got job offers at the company they did the apprenticeship at) outweighs the risk of making a "wrong" career choice early on. Also there are several common ways people adjusts their career over the time. E.g. studying at technical universities and doing second, shortened apprenticeships in related careers.
Tech stupid enough for toddlers, geriatrics, and even parrots[0]. That's what they want us all to be.

0: https://youtu.be/cZSNhJcKFf4
How do you know this? What is the basis of your conclusion? I’ve taught mathematics for 30 years at the college level. I don’t know how a child should be taught an introduction to fractions. I could look it up and get the gist of it. But then I’d also have to look up how children learn and what cues to look for. How would I know if a kid needs special education? I could look that up too. At what rate should a person learn how to do arithmetic with fractions? I don’t know. I could look it up.

But I’d have to do this with every subject. It’s not feasible. My sister has 8 kids and homeschooled all of them through grade 12. The first 3 went to college but the remaining ones did not. They didn’t learn as much as they should have an all of them have nutty beliefs. They all believe the Union started the Civil War and that slaves were generally treated well.

There are enough knaves and fools. We don’t need to willfully create more of them. There’s a reason teaching requires training. It sounds to me like you’ve never really taught and don’t know what you are talking about.
Supergraph Panel with Hasura, MotherDuck, ClickHouse and Yugabyte
Apple announces special event for May 7: 'Let Loose'