skysight-inc/HackerNews huggingface dataset:
Has anyone from Bloomberg set foot on a random general purpose supermarket in Germany as of late?

As a vegetarian I prefer to get my proteins from eggs, vegetables, beans, Asian-style preparations such as tofu and Tempeh, or from soya derivates. That said, once in a while the low-sodium soy schnitzel is a welcome addition and it just tastes pretty good.
All of those are symptoms of non-flu viruses too. Statistically, it's far more likely you had a cold.
It's more common to unsafely reuse oil than pull it from the sewer. This is done everywhere to some extent (bad grease at a fast food joints, etc), but China does it on a bigger scale.
Significantly better I don't know but when I was a child I was given Der Zahlenteufel. Ein Kopfkissenbuch für alle, die Angst vor der Mathematik haben (The Number Devil) and I liked it very much
When I was backpacking around India and Nepal for 6 months altogether, I just stopped eating meat - their chicken pieces were always just bones with tiny bits of meat here and there, mutton was worse than chewing gum and that was it for the meat, food safety notwithstanding.

Now enter a wonderful universe of vegetable curries and masalas where every household has their own twist on recipes and it all tastes so much differently. I couldn't care less if there was no meat, the spice mixture, thick sauces and ingredients meant I felt very satiated and didn't miss meat at all.

Its all just in our minds. Recently I was explaining to my friend how I eat often cold salads for lunch and in the mountains its more likely some sandwich, probably already half-frozen in the backpack. And I don't care, it tastes great after some physical effort and gives body all it needs and some more. For him, you can't have lunch if its not warm and there is no big piece of meat on plate in some form.

Also some people equate spices with just chili, meaning for them that any spiced food must burn your anus for whole next week and leave permanent scars on lower back. Which is a shame, there is whole universe of intense tastes unavailable to traditional western cuisine that doesn't burn your tongue a bit (or it still can while not using any chili at all).
Most cattle you eat is probably are not grazing, and ironically grazed cattle are environmentally speaking the worst for the environment.

https://grist.org/climate-energy/cattle-grazing-is-a-climate...
The obvious answer would be cracking. https://en.wikipedia.org/wiki/Cracking_(chemistry)
While it's laudable that you sought those texts and profited from them, I worry about what others might take away from this. When I was young I knew some geniuses who highly spoke of Principia and how it gave them great insights. And the teenager me said, okay cool, I'll have a go!

The problem is that it's in Latin and quite impenetrable.

We have some geniuses here and they would no doubt be able to take away a lot from these texts, but for you normals out there: don't optimize too much, you're quite alright in taking the normal approach of just taking a class at a community college, doing the exercises the teacher assigns, etc.
> Quality of data and mis-labeling issues is something that would be apparent right away, no?

You are correct, those issues were apparent right from the beginning, and they never really got better. The acoustic fingerprinting worked sorta OK for very popular albums -- but even for that, it was never 100% accurate. It never worked well for live performances, imports, classical music, jazz, or jam bands.

Using this software always required a lot of manual intervention, which at least for me negates the whole point of using it in the first place.
Isn't the guy worried that the thief will be after him once he is out from jail?
> abstracts over the target CPU, as it exposes to the clients a standardized RISC instruction set inspired by the MIPS and SPARC chips.

A-ha-ha, well, it kinda does except that it has restrictions similar to x86 (for ease of implementation?): there are only 6 registers (3 preserved across function calls and 3 that are not), a division instruction can mangle R0 if you don't tell it not to, etc.

How many "compiling one fantasy ISA to another fantasy ISA" can we realistically chain with ease anyhow?
I think some people misconstrue traditional with today's sensationalized Food TV marketing. Which tradition are we even talking about? The world has never had this much access to food. We eat like almost every culture's royal family every night of the week, and pretend like it always been this way.
> A healthy, active adult needs between 200 and 500 mg of sodium per day.

(https://www.lifespan.org/lifespan-living/how-much-sodium-day...)

> Adults should eat no more than 2.4g sodium a day

(https://www.nhs.uk/live-well/eat-well/food-types/salt-nutrit...)

I'm no nutritionalist, but doesn't that suggest you could eat nothing but 6 of these burgers every day and still be within the recommended sodium intake? Sure, nobody's eating nothing but these burgers, but nobody (I hope) is eating 6 of them every single day — in and of themselves, their sodium content may seem scary relative to cow meat, but it's not really that bad.
If you are taking base32 as user input, you can translate '1' to 'I' so that the input is correct regardless of which the user types.

But, needing users to read / type a base32 ID is always bad UX anyway.
If I am not mistaken, the proof in the article works for √3, and your lemma 1 can be modified by noting that when x > 1, √x > 1 and also 1 < 3 < 4 so 1 < √3 < 2, 0 < √3 - 1 < 1, and k' = k(√3 - 1) < k.
How will advertising evolve in the metaverse?
>You'd think the USB-PD spec would have devices exchange their battery capacity, charge level, and AC power state.

Screw that. They just need a signal for one device to tell the other that it wants to charge or be charged. The rest can be left up to the UI. It's better if it isn't smart.

I'm mystified that we have this many USB C cable types, chargers and data transfer speeds and there isn't some protocol for explaining what is available when a cable is plugged in or dictating behavior based upon that.
Linear Algebra Done Right by Sheldon Axler for the following reasons:

- I was revisiting a topic in greater depth, which is a common theme in university-level math courses.

- It is a rigorous book, written in the style of definition, proposition, theorem, etc.

- It was the first math book where the exercises don't just reinforce what you learned in the chapter, but teach you new material (another common theme in advanced math textbooks).

- Linear Algebra is arguably the most important math subject these days.
Ditto. IMO toggles are the best option to simplify small dropdowns.
Logan Ury is big on this kind of exercise: https://www.nytimes.com/2022/06/09/well/live/logan-ury-datin...
Wanting something to be true, doesn’t make it true.
Surveillance Program Captures Money Transfers Between U.S. and 20 Countries
> air conditioning

Keep your hands off my AC. I’ll go vegan before I sleep in a pool of my sweat nightly.
They absolutely have, just gotta dig.

Remember the wave of people being in hot water over tweets sent in 2008?
It’s a convention taken over from paper forms, and the reason is likely the adjacency benefit I mentioned. Consider the analogous radio buttons, which work like a bullet list in terms of layout. A bullet list with the bullets on the right would be weird (in LTR languages).

Also compare with todo lists (todo apps), or selecting items from a listing. The check control is always on the left. For example in iOS Mail: https://support.apple.com/en-us/HT208661
Or checklists in iOS Notes: https://support.apple.com/en-us/HT209365

Furthermore, checkboxes can have subordinate controls, like in this example: https://learn.microsoft.com/en-us/windows/win32/uxguide/imag...

Having the checkbox at the beginning of what is enabled/disabled just makes sense, similar to how in an `if` statement you have the condition at the beginning instead of at the end.
So the question is, do you have something to hide? /s
The problem is almost certainly that your profile is bad. I'm happy to provide feedback, or you can check out some of the subreddits where people provide tips.
Listeners control the dial in genre-crossing music
Presidents don't pass budgets, Congress does.

There's a neat trick people do nowadays where people claim anything that's unsuccessful (usually government related) was either "sabotaged" or "set up to fail" as a way of absolving them of any failures. Literally impossible to criticize.

Finally, the FAA's budget was $23 billion this year and $28 billion last year due to pandemic / infra surpluses, nearly double what it was the last 4 years, where it remained flat (not cut as you say). So it's funny how 2 years of double funding can't get it back on track, but flat funding has caused it to fall apart in the same time period.
For anyone who doesn’t want to read the article, Apple has apparently been working on an AR device that is separate from the mixed reality headset that is slated to be announced this year. Aside from this piece, all the previous news was centered on the mixed reality headset which may confuse people

I didn’t even realize that Apple had an AR device that was anywhere near release. This article and its main source read like clickbait.
Often what we want is some familiar texture and substantial mouthfeel of meat. Just adding tiny slices of meat to remind you it’s there or substituting it with “meatier” veggies like mushrooms or cabbage can do the trick.
What will China's population drop mean for the world?
An electric car can, in my area they burn garbage for electricity:

https://pinellas.gov/waste-to-energy-facility/
History of mathematics as well, it will give you a very subtle entry into the minds of mathematicians and the motivation behind their theorems.

This will surely make you more appreciative of subjects and concepts you are learning.
>Is it them wasting money, or do they have a constrained budget with an ever growing number of responsibilities and scope?

Wow, it could be. Can you share the FAA's budget this year compared to 2019 so we can see how it's been constrained?
Fake meat feels similar to my Slovenian eyes. There's a whole world of recipes that just don't include meat and are delicious. It wasn't until I moved to the USA that I even realized those are "vegetarian" ... to me they're just regular foods and recipes. Lots of cottage cheese hearty meals with high protein content.

It helps that traditional (100+ years ago) Slovenian culture was that you rarely eat meat because meat is expensive. Ye olden folks typically ate meat only on Sundays, I think. Maybe bacon fat to season the food on other days.

Sometimes I talk to my vegetarian friends and ask "If you want to be vegetarian, why don't you just eat natively vegetarian dishes? Why the fake meat?". So far no satisfying answer.
Looking at the Discogs offering now, I must say that I do see a surprising number of sellers in the Netherlands for this specific record, a number even offering near-mint condition. I did expect the usual problem of "$X plus $35 shipping and lots of annoyances with customs", but it seems to be much better than I expected.
Scientists Are Using WiFi to 'See' People Through Walls in Detail
I'm using the same 3rd party Reddit app as I have been since 2013, and not only do videos work fine, I can download them to storage as well. Here's hoping Musk doesn't turn his attention to them anytime soon.
That would be passkeys, supported by Apple, Google, Microsoft and others, here are webpages, that currently offer the option:

https://passkeys.directory
I'm also always looking for save button after I check some checkbox. Maybe that's why people move to toggles for changes that are immediate.

However when I make textual change and there's no save button I'm still confused.

There's no standard how to indicate imediate change in textbox.
Shell to spend $450M on carbon offsetting as carbon credits may be worthless
This is based on old Echonest scanner. Echonest was bought out by spotify. Echonest had same issue as AcousticBrains, their first scanner sucked and mid way had to ask people to rescan using a new version.

Echonest used to provide source code, but after being bought by spotify, they stopped updating their code, disabled fingerprint server, etc:
https://github.com/spotify/echoprint-codegen
Done.

NASA's budget is now $0 though, since the military budget all went to Medicare with nothing left to spare for anything else. Along with the FAA and every other government department.
From Mathematics to Generic Programming - Stepanov & Rose

Gödel, Escher, Bach: an Eternal Golden Braid - Hofstadter

Euclid's Elements
> A few tiny shakes out of a salt shaker isn't going to come close to 90mg.

Really? You're saying "a few tiny shakes out of a salt shaker" isn't going to give you as much as one 25th of a teaspoon?
The call of the void is a natural instinct evolved to help judge possibly (dis)advantageous choices.

As long as you label it as an "intrusive thought," and it isn't incredibly (daily) common, that is perfectly normal.
Mexico cracks down on solar geoengineering, forcing startup to pause operations
This editorialized link title and the article's headline itself doesn't really match the article's content (as is increasingly common it seems). Sure, Beyond Meat has had lower sales- but soon after they mention that retail sales of Impossible meat products increased 50% in 2022- with an odd "but the CEO left so they're in trouble" assessment which seems a bit bonkers. Then the author seems to say that because fake meat hasn't *replaced* the real meat industry, that they have failed. Odd criteria, IMHO. I'm quite certain it could be assumed rather easily that such a thing would not happen, especially in a few years time. The fact it has stuck around this long makes it clearly *not* a fad.

(Anecdotal, but noting this:) My nearby Walmart Neighboorhood Market has all sorts of plant-based meat products, and that section has only expanded over time, not the reverse. I have tried some frozen meals by Impossible and really enjoyed them, as well as some other assorted items from those sections.

I do think that price is still an issue, but real meat maintains a much larger, more established market and supply chain so that is to be expected (unless fake meats are cheap to produce and we're being gouged).

But overall I would lean towards them being more popular now than I've ever seen before- or at least all of my local grocery stores' choice to use up more space for these products seems to imply so.
I've renamed it to CodeMatch for now, still taken but hopefully not by anything too similar.
It is more efficient to burn it, generate electricity and charge a EV battery with it, than it is to convert it to fuel (consumes energy) and burn it in an internal combustion engine (very low efficiency due to small scale).
Indeed. If you insist on only hiring people who answer the question a certain way, don't be surprised when you hire a bunch of liars.
Agreed about not outright lying. I think my mom's advice -- the way I interpret it, anyway -- is more "don't volunteer information". Sometimes you have to answer honestly if they ask you a direct question about a concrete fact they can doublecheck in alternative ways, but otherwise: don't volunteer information. Don't be a "completionist", if they ask you "have you ever considered [something naughty]" the truth is only for your therapist; for HR it's always "no, never!".
Yes, it’s the same reason why bullet lists have the bullet on the left side.
Hm so it's basically the same as the last time I cared. Thanks.

> Nvidia support for switching between discrete and integrated graphics in laptops used to be crap.

That's okay, I'm staying with Apple for laptops. I'm just setting up a Linux/x86 box in addition to the Apple desktop.
Cycling's Tech-Driven Future: A Podcast with Lance Armstrong
https://www.cancer.gov/news-events/cancer-currents-blog/2021...

https://www.nih.gov/news-events/nih-research-matters/eating-...

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7256495/

https://www.scientificamerican.com/article/eating-less-red-m...

You're going to need to put more effort into that assertion.
I worked at a place where the directory was split based on a character or two from the start of a hash.

They had millions of profile images but didn't want them all in one directory, so they hashed profile ID and used the first 2 letters as the name of a sub-directory. So you end up with sub-directories called aa, ab, ac, ad etc.

It's not perfect but I suppose the original creator had seen issues in the past when directories have too many files in them.
Treefrog Editor (now Edita) update
I've been using Edita as my only code editor for over 12 months now, so I thought it was time for an update.

Most of the work over the last year has been focused on improving stability, usability, and performance. As well as fixing tons of little bugs, I've rewritten the renderer multiple times to make it as fast as possible (currently getting 80-160fps on a 10kloc file on an old i5), and done large-scale refactorings to keep the codebase nice and flexible.

Feature-wise the biggest addition is the Refactor tab, which uses CodeMatch syntax [1] to perform arbitrary transformations with a live preview pane.

My process so far has been to simply use the editor and work on whatever feels like it most needs attention. Now that it's reasonably stable I think it would be a good time to get some more feedback from other devs to see what would make it a viable daily driver. There are no doubt many glaringly missing features and unclear UI elements that I just don't notice, so please point these out!

Site (very WIP): https://edita.vercel.app

Original HN post: https://news.ycombinator.com/item?id=29787861

HN post for CodeMatch: https://news.ycombinator.com/item?id=34424767

[1]: https://codematch-gamma.vercel.app/
Japan and I believe Singapore burn most of their plastic in incinerators to generate electricity. Coincidentally they are also among the highest plastic waste producers per capita.
Two points this brought up for me. One, I'd love to hear about the provocative information that would speed up clearance approval. I bet there's a story or two there.

Two, I had a similar (much less impactful) experience as a high school freshman donating blood for the first time. One of the questions on the health questionnaire was "have you ever had headaches?" I remember being confused at the wording as I checked yes because surely everyone has had a headache at some point in their life. The (astonishingly rude) person reviewing the paperwork got to that question, stared at me for a few seconds then just said "well?" After a brief back and forth she taps the question a 4-5 times. "What's this?" "I've had headaches before." She sighed and said "that's not what it means! go get in line"
I could simply find another name for my app/company

That is the simplest thing that might work.
If one were willing to build a rather more complex device, likely requiring some electric pumps, one could use an oxygen concentrator to supply nearly pure oxygen as the input gas. With much less N2 available, production of nitrogen oxides would be reduced.

Or you could do this:

https://en.m.wikipedia.org/wiki/Chemical_looping_combustion

Seems like a bit of a stretch for a household device.
Imagining a meme of the sweating button push guy, only this time it's a single (lit) button and it's marked 'disable self-destruct'
Small nit: the US didn’t pause the HoloLens, they said it wasn’t rugged enough to deploy as is, and they wanted more design before they bought a bunch for field use.

That isn’t a particular damnation because it’s a very particular use case that has super tough requirements.

I think phone-based AR is completely different from face-mounted fwiw and phone-based has no reason to catch on because I’d you have to hold a phone, the UX is extra terrible. I do agree that the experiences aren’t ready yet for facemounted either, however.
They do. You'll be shocked.
Why can’t we just use the right unit for energy - Joule? A battery capacity should be stated in MJ / GJ.
It's not about what's against the ToS, it's about getting the monkeys who review the reports to judge that it's against the ToS. Given their working conditions, they have little incentive in making an accurate determination and may just be pressing buttons at random, so spamming enough reports will eventually yield a ToS violation even on perfectly clean content.
Mutiny erupts among WEF staff over role of ‘Mr Davos’
There is a book, but you don't need to read much past the first few chapters, named "Feeling Good", by Dr. David Burns. He and another (I don't remember the other doctor's name) developed the Cognitive Behavioral Therapy school of psychology.

The gist is there is a simple list of questions one can ask themselves that expose self deception in one's self conversation. Once the deceptive self conversation is identified, the deception naturally becomes nullified. These deceptions are things one tells themselves that are not known, not true, but the self accepts the statements and internalized them - causing imposter syndrome and a huge number of related negative emotional cycles. The simple act of identifying these deceptions causes one's own mind to re-evaluate, and if the new evaluation contains more deceptions that same Cognitive Distortion checklist can be reviewed and used to discard these new comforting lies or negative projections.

Note that this is not a casual pursuit. This a a "debugging and reprogramming your core beliefs". In cases where one has never performed such a self audit, I suggest doing so with the support of a licensed therapist; it is not a casual event, to reevaluate one's entire world view in light of realizing one's level of self deception.

I have seen amazing results, and experienced them myself.
I’ve always liked Apple’s implementation because the slider has a temporal state.

Airplane mode used to take a a couple seconds to enable so the toggle felt “stickier” to toggle. When you tapped on the toggle, the round button elongated and stayed in the middle for a split second before hitting the right side boundary of the toggle.
This is different from the other answers, but it does answer your question: When I was a kid I had tons of math and logic puzzle books. Two I remember specifically are "Aha! Insight" and "Aha! Gotcha" by Martin Gardner. Decades later, when a math problem comes up in my work, I have an apparently unusual ability to cut to the heart of it ("by symmetry, we must have X" or "looking at this extreme case, we must have Y" or "this looks like a special case of Z" sort of things) instead of starting by soldiering through equations, and I credit a lot of that to all the puzzle-solving I did as a kid.
The goal of the "meat replacements" that are Beyond and Impossible was never being better for you (from what I recall). It was about offsetting the footprint of raising cattle.
[Fox News joke removed since upon further reflection it wasn't funny]

Seriously though, I suppose I was misusing the word "evidence" here... I haven't actually studied this beyond observing and talking to people I know. I would also be interested in reading on the topic if anyone can suggest something!
The best resource I've found is this random, somewhat obscure website (though I've learned that it has grown in popularity) called Paul's Online Notes. The professor has a real knack of pedagogy, and the problems are perfectly structured in terms of their difficulty. His explanations are clear and without jargon, and it goes from algebra to diff eq.

A note: this isn't a resource for higher-level, proof based maths. It will give you a solid foundation and a pragmatic understanding to build upon. Very useful for STEM.

Link: https://tutorial.math.lamar.edu
> Of course, they're wrong because animals aren't able to think.

and you know this by what mechanism?
Mathematicians Roll Dice and Get Rock-Paper-Scissors