skysight-inc/HackerNews huggingface dataset:
Holy shit, they got the power and energy units correct.
How to Validate Your Business Idea?
The problem is that ITER is funded as a science project, and the researchers want to get as much research as possible.

So they are going to spend a lot of time studying plasma before they irradiate the vessel with fusion byproducts and it's no longer safe to take apart (for example, to add new sensors).

It's the only facility of this size so the research program is completely sequential.

We could have fusion, we just need to spend $20 billion a year for 10 years. Not $1 billion a year for 200 years.
They are picky about making sure everyone uses a camera.
Some entertaining talks introducing the language, by /u/deech:

"A Tase Of ATS" at Compose Conf 2019:

https://youtu.be/ADN6B1Wk5Ts

"A (Not So Gentle) Introduction To Systems Programming In ATS" at Strange Loop 2017:

https://youtu.be/zt0OQb1DBko
Yes, we need to provide more guidance.

For now, you might find more info by searching for COMPlus_TieredPGO. The DOTNET_ prefix is a recent addition.
Great writeup! This is a nice overview of how LLVM's optimization passes compose to produce nicely optimized assembly.

One nitpicky observation: mem2reg doesn't "move values from memory [...] to registers (directly inside the CPU)." It's an SSA expansion pass, taking the minimal SSA form produced by the C/C++ frontend to turning it into a more aggressive SSA form by eliminating as many `alloca`s as possible. SSA is characterized by the presence of infinitely many "fresh" abstract registers, none of which correspond to actual CPU registers -- LLVM is responsible at a later stage for performing efficient lowering and allocation of registers/stack slots for the SSA registers.
Freezers - they are underrated and looked down upon. But the sourdough bread I toasted the other day from the freezer tasted great. Infact I often prefer the frozen then cooked variety of food and its cheaper. E.g. frozen salmon.

During a COVID lockdown, a once a week shop is ideal because of minimizing contact with other people. Also once a week could be delivered rather than shopped for.

You need to chill. Literally :-)
You're all arguing about elil7's comment, which is false and wrong and not related to this article. There is literally nothing about slicing or bagging in the NOVA classification system. Ingredients are the only discriminating factor.

The definition of "ultra-processed" is in https://www.cambridge.org/core/services/aop-cambridge-core/c...
My understanding is that this and many other codebases that Sun acquired (Forte/4GL, for instance) ultimately ended up merged into what is today NetBeans - itself a Sun acquisition.
Zoom has a popular feature which allows for screen sharing a single application window instead of the entire desktop. I assume this is how its discovering running applications with GUI windows open in a cross-platform manner. Perhaps there is a better API for this? Its not a common use-case that an app would need to know all of the other open windows, but it seems like a perfectly valid use case, and frankly handy for sharing a PPT without fear of an embarrassing email showing up in during a meeting.
Which is irrelevant because those who knew about those are not the significant majority which is responsible for the success of zoom
I'd say being able to program GPUs as general purpose compute devices & general SIMD vectorization in high level language is pretty significant. it has opened up many applications like machine learning previously unavailable.

IMO some C++20 features like coroutines rank pretty high in introducing new ways of programming.
What isn't about climate change soon will be.
How one Dutch company is making vegan leather from mangoes
I didn't know that Zoom allowed that. Thank you.
yes, that is indeed a crime, and not a "crime".
> The mistake is assuming that "processed" is necessary a good measure of nutritional merit.

That's what the headline is implying.

But it's also that "ultra" sounds like it means a lot more than "also sliced it."

Either way, if we would all agree that it has nothing to do with nutritional merit, then go ahead and call the sliced bread whatever you want. But I don't think that was the intent of the study!
Does it receive security updates faster than RHEL?
Arizona. 2/3 or more of residential areas have and use grey water. It is a requirement for new construction in most if not all of the counties. Almost all of the water use you frequently see arizona criticized for, fountains, golf courses, etc, are all using grey water.
I meant that line as a bit of a tease to other tricks.

And it isn't like this isn't done often. Take the lowly format string in c languages. With the requirement that the format string has to be static, it is common to fail builds if you give it a bad format string or supply the wrong number of arguments.
...the rigor Kay is suggesting would kill the software industry as we know it.

You say that like it's a bad thing.

Anyone's plans to make software sane would kill the software industry as people love and hate it. A substantial portion of this industry involves supporting horrific abortions of a system that seem to live far too long. That includes the functional programming people and anyone who believes some method of theirs will produce an explosion of productivity. Hopefully, the effect will be people quickly rewriting old systems to be sane and creating many new system.

Unfortunately, such starry eyed idealism is unlikely to be realized and the rolling a 1000 pounds of jello up a hill jobs are safe. But this kind of idealism is still needed to motivate the systems builders so it's not a complete loss.
I personally don't see a social media platform that would succeed through a mandatory paid membership. The main interest in social media to the majority of user is the reach and read a large amount of users, and keeping it small and exclusive might not be an attractive feature to a majority.
Would it be better if run in a vm?
Substantially less could be diverted to address that issue. There was much argument over the amount in the delta smelt litigation but probably as little as 1% would suffice for that purpose.
We must give credit to the aurhors for using silence as a metrics to determine which method of communication you're participating in / witnessing.

This is subtle and very enlightening.

Listening to and understanding the silence is very valuable to read the situation, understand the intentions of the participants and use it to redirect/reframe it.

I had never read anything about that worded explicitly and I'm glad I found this article on HN today.
Longbets should include a link to the thread in question in the bet.

Edit: Would be nice to have a link to refer back to the discussion that led to the bet. To my knowledge, most bets do not provide such a citation.
The end-boss of programming languages.
The OP cited a study by "Jean Twenge, Jonathan Haidt, and colleagues in the Journal of Adolescence" but the provided link is broken. Here is a working link [1]. This source is one of the highest quality pieces of evidence presented in support of the claim that "children are lonelier than ever".

Unfortunately the OP suggested very little in terms of "what can be done", beyond the classic "reduce screen time" recommendation.

Excerpts from [1]:

> The Programme for International Student Assessment (PISA) survey of 15- and 16-year-old students around the world included a 6-item measure of school loneliness in 2000, 2003, 2012, 2015, and 2018 (n = 1,049,784, 51% female) across 37 countries.

> School loneliness increased 2012–2018 in 36 out of 37 countries. Worldwide, nearly twice as many adolescents in 2018 (vs. 2012) had elevated levels of school loneliness. Increases in loneliness were larger among girls than among boys and in countries with full measurement invariance. In multi-level modeling analyses, school loneliness was high when smartphone access and internet use were high.

> School loneliness was positively correlated with negative affect and negatively correlated with positive affect and life satisfaction, suggesting the measure has broad implications for adolescent well-being.

> The psychological well-being of adolescents around the world began to decline after 2012, in conjunction with the rise of smartphone access and increased internet use, though causation cannot be proven and more years of data will provide a more complete picture.

[1] Worldwide increases in adolescent loneliness
https://www.sciencedirect.com/science/article/pii/S014019712...
The core simplification is due to LLVM's induction-detection step. Even after doing induction-based proofs in school, until reading this I had the sense that induction is kinda magical and kinda not real.

I still cannot fathom how you can encode induction detection into an algorithm, any pointers welcome (keeping it simple, please, and ideally with working code).

The only case that makes sense to me is if you did numeric computation against some fixed number of cases and if that worked out then you assume it's right.

I guess this is what proof assistants do (among other things). Maybe I should look into how to write a basic proof assistant.
After a dozen flights, NASA’s chopper has yet to come a cropper
YouTube. My son learns a lot of his programming from searching YouTube and watching videos. Doesn't seem like it would be high density, but I'm amazed that there are really good videos/tutorials on pretty obscure topics. And since all YouTube videos have dates, it's actually easier to find current tutorials.
Yes. Which gives you more control over how you make the code look. DSLs.
Exactly this. Manufactured outrage is rather annoying. By their standard home churned butter would be 'ultra processed' if you used a machine to churn the milk.

I'm still looking for a good non-meta study on "processed" meats to see if anyone can identify a theory on the interaction between gut biomes and various food preparations. That could be some useful science for me.

[*] https://www.bbc.co.uk/food/articles/what_is_ultra-processed_...
Cat led a rescue team to an 83-year-old woman who had fallen down a ravine
The difference is your typical composition/density and limited storage space. I live ~15min walk from an inner city Safeway and the prices are much higher than the box store or Costco where we do a weekly shop. Fresh veggies and fruit last at least a week, but because they're trimmed & packaged probably count as "ultra processed".
None of these steps are too hard to think about in SSA form (a specific transformation of code that LLVM does near the beginning of its analysis).

So the key is to first understand SSA form. After that, a lot of optimization passes become obvious to think about.

---------

SSA has two bits to understand:

1. Single static assignment -- variables can be assigned, but once assigned they can never change. (This part is easy).

2. Graph-based, and therefore requires the 'Phi' function to understand -- variables may take on two different values. EX: "r0" may come from Node#1, while "r0" comes from Node#2. r0 may have been renamed %1 in #1, and %2 in #2. "Phi" is a "fake function" that resolves the ambiguity and kinda makes SSA code "real" again.

Hmm, maybe that's a bad explanation. But whatever, my point is that understanding "Phi" is the concept you want to focus on in SSA. Phi is the harder part, but its still not that hard to understand.

Once you get it, the whole form "clicks" in your brain and you suddenly understand how optimizations can become possible.
In the UK there is (still, in some places) milk delivery to the doorstep in 1 pint bottles. These are all a standard size, and they're all branded by the dairy. But interestingly the dairies are perfectly happy to use another company's bottles if they end up with them - branding be damned.

When I lived in a place with only one delivering dairy, this was quite rare. In Liverpool, I'd say that 10% of the bottles I get are 'foreign'.
My problem with this is it sort of implicitly assumes that languages are the unit of progress. It's unlikely that we will get progress solely by coming up with better languages, it's more like different people invent different tools to suit different problems. In the explosion, we are more likely to find what we need.

I don't think I've ever used just one language for a project.

The progress at least personally is that there are now so many resources to use a bunch of different languages to knit together a solution that a lot more can get done. You can write your low latency code in a variety of languages, and ship the data via a web server to a browser or a mobile app. For every part you have several choices of tech to use, and they're realistic choices with lots of help online. Almost everything is available for free, so you can try all sorts of libs without committing to one. There's no longer a need to sit down with a textbook and learn a bunch of stuff before starting, you can just jump in with a brief tutorial and explore the language or lib as you discover them.

The plethora of choices also teaches you a lot about languages in general, because you see so many that you can start to make generalizations.
It feels indeed snappy and fast.

I'm impressed!
I shop once a week too, but most of what I get would count as ultra-processed here.

+ Dave's killer wholegrain english muffins

+ Bacon

+ Icelandic yogurt

And several other items count as processed:

+ Pickles

+ Lunch meat

+ Deli cheese

There are also things which sit in a weird spot that isn't clear to me, eg frozen hash browns. This is literally just potatoes and salt but has had mechanical processes and extrusion.

Unless you are eating a raw diet, a lot of your items count as ultra processed under these guidelines.
It's not difficult to accumulate enough capacity for solar / wind farms, I agree. But the problem is that we have not yet solved the problem of energy storage (as I said, it's tiny, compared to the capacity it can generates). So you need something to cover the night or windless periods.

Did some search online and it seems that distributed wind farms may work as base load but I highly doubt it works anywhere due to seasonal winds. It definitely needs more research. Especially extreme weathers are becoming more frequent these years.
Loneliness and suicides were problems before lockdowns were a thing
The article's author repeatedly presumes that disinformation is only coming from the right. This discredits the article, given that the author is apparently unaware of all the disinformation coming from the left.
Thanks for the info.

By the way, your writing on floating point arithmetic is very informative -- I even cite a message of yours on FMA in the post itself!
> Create a good language and people will flock.

What a truthfully useless statement. "Good" means having opinions about things that dont matter? Like "I don't like that css uses full words, I prefer these acronyms"

Who gives a shit? Is this language designed to prevent copy pasting? You may be on to something here.
> By their standard home churned butter would be 'ultra processed' if you used a machine to churn the milk.

No. Stop making up lies about how ultra-processed has been defined.
Oh wow thanks!! totally did not realize that - despite myself living in London) lots to learn
Oh, we still had it!
> Most fruits, meats, and vegetables don't spoil in only a few days. Modern flash freezing technology also makes frozen vegetables very nutritious and flavorful.

But flash freezing is an industrial technology not found in your standard home kitchen. Does that not qualify that food for the processed or ultra-processed categories?

This is why these labels are silly. There are a ton of edge cases that get missed.
Disclaimer: Have worked with many smart folks who now work at Zoom.

I agree that Zoom has had numerous security and privacy failings. I think it is important to color the characterization of their security teams with a timeline however.

Looking at that gist - the majority of the content predates the conclusion of the "90 day security plan" [1]. The team, and product no doubt, has changed immensely in the past year. That doesn't wallpaper over the history here, but there is completely different security leadership (e.g the current CISO didn't start until late June 2020 [2]) and staffing in place at this point that means your statements on their team likely aren't reflective of Zoom today.

[1] https://blog.zoom.us/ceo-report-90-days-done-whats-next-for-...
[2] https://blog.zoom.us/zoom-hires-jason-lee-as-chief-informati...
> As late as in 2014 social media was presented as a force for good. ("Wisdom of the crowds", etc.) Just couple years later it was rebranded as some kind of machine where evil people brainwash idiots into becoming evil people. Who are the idiots? Well, given that YouTube and Facebook have billions of users, it seems most humans on the planet are shoved into that category now

I don't think that's true, because from what I remember there is less than 1% of viewers who leave comments.

So the "idiots" I guess would be small vocal minorities. The question is how far their influence goes?

But it's very possible that a ton of people don't engage in the comments and discussions on social media, because they don't find the design of it suitable for intelligent discourse, and maybe that leaves you with only idiotic comments.
I did not know what distinguished ultraprocessed foods from processed foods. This link was helpful

https://world.openfoodfacts.org/nova
This should be a boon for the GOA, which has a much better track record of actually supporting what they purport to support.
>I'm convinced Metallica would have faded to irrelevance far earlier if people hadn't downloaded their music.

No offense but this is wishful thinking, they're one of the best selling bands of all time.
> I really think it's that people can't/won't handle the cognitive load of meal planning and preparation.

Yes, that is a big factor too. Buying healthier raw ingredients is more (mentally) difficult than buying pre-made processed stuff like hot pockets because of the preparation and planning required.
What is your use case for BASIC?
My money is on stellarators. Just saw Wendelstein in the newsfeed here: https://news.ycombinator.com/item?id=28211413
Is too cold to survive
From the reading I've done, whole wheat bread isn't much healthier than regular white bread. Humans are supposed to be eating nutrient dense foods - bread has hardly any, and carbs break down into sugar. Classifying both as processed and thus unhealthy makes sense to me.

For longevity, the best you can do is the right vegetables with meats and fruits in moderation.
> Is there any way to prevent it?

I prevent it by running Zoom in a VM on Qubes OS.
As a non-athlete, I agree.
I have been through many phone sales and the postpaid model does not always have to account for price variability. There are plenty of fixed cost plans with unlimited calling. They will still ask for your social security number and try to make you a new credit account before they tell you there is a deposit option possible.

I have no idea why it would be to the advantage of a business like T-mobile to get you on a postpaid plan when there is no possibility of running up your bill. It's still the option they push on hardest when you walk up to the storefront.

The credit model is the default model. That was my point. I don't know that I had a point.

You shouldn't need to maintain a credit account just to keep a phone number, but I guess it's real estate and that's valuable, they will put it back into the pool if you ever stop paying the bill. I haven't had to deal with these kind of problems myself for a long time, but the pain is still fresh.
Frozen now, https://www.washingtonpost.com/us-policy/2021/08/17/treasury..., hopefully can be settled out as this will just hurt common people.
Have you tried Ada? Its type system is the closest I could think of to your use case?
Is it just me? This website is super laggy on my PC (which can run modern games just fine). Hardly hits 50 fps when scrolling. How slow can one get and still claim to be fast?
As stronglikedan said, spaceflight propulsion/institutional inertia. (Stationary space facilities will use solar, just like on Earth. Space transport, unlike Earth transport, will be an awful combo of slow and expensive. Space stations will need to be simple. One type of computer. One type of microcontroller board. Maybe three sizes of screw. Solar panels are simple, identical, and interchangeable. And not radioactive! (Fun fact: every bolt on the outside of the ISS uses the exact same head size: 7/16" hex))

Seasonal variation with solar is a bit of a bummer. If we need to fully electrify everything, (Transport and heating) then winter will be a problem. Either we massively overprovision solar in order to still have heat on the shortest day of the year, or we run thousand mile cross-country transmission lines and enormous battery banks.

Even so, the economics are such that heavy industry might become a seasonal job. Right now we run aluminum smelters 24/7 because baseload power is fairly consistent, but if solar power is free in July but dear in January you might see multi-month shutdowns. This gives headaches to central planners, and makes them inclined to pour billions into fusion if it can preserve some of the status quo.
> https://news.ycombinator.com/item?id=28210076

They recover the app from your backups if available when launching. Try appCleaner or something like that, and you might need to delete it from any TimeMachine backups too, lol
Does Teams do this in the same way? They offer the same feature
"If it was off by default, most users would ask why it was off by default and why are they being tricked into being left to use outdated versions."

What evidence do you have to support this idea? Is there somewhere we can view the feedback from this majority of users who believe they are being "tricked" into using "outdated" versions. I have observed that developers are the ones who are desperate to push "updates", to automatically install new code on the user's computer with no user interaction required. Users who bother to give feedback about software often complain about newer versions being not as good as the old ones. They often question the nature of supposed "improvements".

One of the things some shareware used to do, and software "installers" used to do in general, was to ask the user a series of questions to configure the settings before the first run of the program. I am not suggesting that I prefer that approach, but the idea that someone would purport to believe that setting automatic update checks by default and acceptance of ongoing remotely controlled software installation by default is "the norm" just shows how today's software authors make assumptions, and indeed engage in "trickery" through manipulation of defaults via "dark patterns", that software authors in the past generally did not make.

Thats why a reference to "shareware is coming back" is, IMO, quite funny. Today we have someone claiming he does not consider having an option off by default, and letting the user make the choice, as an alternative: "I do not know what alternative there is." The alternative is to let users turn things on instead of forcing them to turn things off. The "opt out" idea is an "alternative", one adopted by online advertising and the reason the web is such a mess. "Opt out" settings have a purpose and that purpose is not primarily for the users' benefit.
Chase bank accidentally leaked customer info to other customers