skysight-inc/HackerNews huggingface dataset:
Orion is usually ahead of Safari as it has a much faster release cycle and uses the latest Webkit version. I understand there was a bug in a recent webkit release so Orion rolled back to the previous webkit release - but besides situations like this, Orion uses the current webkit.
I think the more important part in the case of the IO monad is not that it might fail, but that it’s a side effect in a lazy language. Not super sure though. Haven’t used much Haskell.
Thought experiment: What if there was one browser to use for the "serious" interactions with the web and another, or several, to use for non-serious, recreational uses of the web. The later might not even be a browser, it might, e.g., be a small utility to download content that can be consumed offline. Arguably the title hints at this idea with its inclusion of the adjective "main".

This is not a thought experiment for me. I have actually approached the web this way for many years now. Using a single program for 100% of web use has become unthinkable.
Quarkus 2.7.4.Final released – Maintenance release
I am a doctor, and while exercise is really good for you (and we should all do more!) it has effectively no bearing on weight in the general population (non-athletes).
Isn’t the latest Intel platform based on DDR5?
I don’t know why someone who is budget-focused would opt for being an early adopter of a new platform with overpriced ram instead of going for the EOL socket where every component is well developed and priced sensibly?
Isn't keto associated with higher mortality? I do a review of studies once in a while for private enjoyment, and most studies seem to report a higher mortality for low-carb diets.

When they don't the studies are usually epidemiological with lots of confounding factors, like the recent PURE-study I saw linked to the other day in thread about keto.
> Unless you're a competitive weightlifter or similar, you're unlikely to see significant enough muscle loss with very significant calorie restriction over the kind of time frames people would stick to very strict diets like that for it to matter much.

I've always done weightlifting, although not competitively, as general support of the fitness regime (which may include other sports or not).

What I've observed is that when a dieting cycle goes bad, a short time after the end of it (to allow glycogen and water levels to come back to normal), I end it with approximately the same weight before the start. If/when I observe an increase in measured fat (which happens most of the times, on bad diet cycles), then muscle mass went down.
My recommendation is to simply find something active that you enjoy doing, and that's physically demanding, preferably where people you might like to meet hang out for 3 or more hours a week. That's pretty much it, because if you think about it, it probably would help resolve a lot of the things that encourage most people to eat excessively, like depression, boredom, hopelessness, and it also helps you get in shape ideally and away from the fucking screen. Doesn't have to be a gym; gym people like gyms. You might be a gym person, but you have to try things out for a few months before you know. It's ok to move on, people have different preferences. I've never been overweight, but I have been lonely and lazy enough to get there. If you have intense social anxiety, either build up to whatever it is you choose to do, or find a more solitary physical activity. Running is fine, but tbh you're either a running person or it takes way more effort than something else might, and exercise isn't as productive for weight loss as just not eating anyway.

Most people who don't workout have this binary idea of what that means. You either go to the gym or do nothing. But the gym sucks for ppl who don't like it, and there are so many other activities out there.
In my experience, people who were taught programming in uni are the ones who know fewer languages. I suspect it's due to the amount of money Microsoft put (still puts?) into making sure that C# is popular in that space. I studied maths, but informatics was in the same department and there was a lot of stuff funded by Microsoft and everyone around was programming in C#. Another popular university nearby produced mostly Java devs, judging from the people I got to know on the job coming from there. My university also had some courses with Smalltalk, OCaml etc., but these courses were not obligatory, and more geared towards people who are actively interested in programming languages.

Self-taught programmers on the other hand more often have the intrinsic curiosity and motivation to learn those topics. Also diving deep into topics is their strength, since the uni counterparts often know the names of concepts, but after a while it's quite clear that this knowledge of names is rarely coupled with familiarity with the topics they represent. I'm sure just knowing the names of things gets you far when you want to pass an exam, but for actual work it's scarcely different from knowing nothing at all. As Feynman said, there's a big difference between knowing the name of something and knowing something.

Now, those are just generalizations from experience. I've also met plenty of counterexamples in both groups.
More like 70 years — it dates from the 1950s.
> Intermitted fasting works on the principle that if you eat 1800kcal in one sitting you are going to puke.

Fasting (intermittent and otherwise) causes several physiological responses that have a wide range of health benefits, including reducing risks for cancer and heart disease, and even completely reversing diabetic symptoms for some people. It is absolutely NOT some cheesy self-help way of tricking yourself into eating less because you "just can't fit any more in there" -- you completely made this up.

https://scholar.google.com/scholar?q=fasting
I'm pretty sure only online cheating detectives pay much attention to unusually low marathon times for older age groups in amateur events, especially if the person doesn't actively seek to promote themself - not because there's a lot of people skipping the course, but because it tends to be dominated by younger people illicitly using their older relatives' race numbers after the original runner had to drop out (events tend to restrict refunds and transfers).
> You're suggesting a diet that requires a discipline that, empirically, is obviously beyond the reach of most people.

Personally, it's easier to eat less than to eat better. It's boils down to having a calorie deficit.

It doesn't matter how you get there, malnutrition is a separate issue, you don't have to tackle both at once.

You need to adjust your diet to calorie neutral once you lose your weight anyway. MAX the DEFICIT FIRST.

Bottom line, don't eat so many meals. Eat less and less each day, your stomach will shrink, you'll get full faster. Snack for breakfast, snack for lunch. Enjoy whatever for dinner.

If you want to eat pizza, fast food, or any other "bad" thing go right ahead, just do it once per day.

High protein food like cheese and jerky is great. A bit of carbs like crackers or something to keep sugars level and make the protein last.

When you're first reducing your calorie intake you will get hungry and you will get hunger pangs.

Drink some water and eat a couple pieces of jerky / cheese, a couple crackers, or drink some chicken broth / V8 to fill your stomach up just enough to stop the pangs.

DO NOT DRINK YOUR CALORIES (unless it's minimal & provides protein).
Consider switching to a whole foods, plant based diet.

In addition to being highly nutritious and satiety inducing (therefore leading to relatively low effort weight loss) there are immense health benefits (markedly reduced chance of cardiovascular disease and cancer), ethical benefits (you will reduce the demand for ethically bankrupt, cruel factory farming practices that permeate more than 90% of the food industry) and environmental benefits.

Suggested reading:
- 'Whole' by T Colin Campbell.
- 'Eating Animals' by Jonathan Foer
Consent-O-Matic: Automatic handling of GDPR consent forms
slightly related: docker clone in 120 lines of bash - https://github.com/p8952/bocker/blob/master/bocker
Those with know-how and/or interest in such a service aren’t the intended target audience to achieve fundamental political change.

The intended target audience lives in a tight state controlled information echo-chamber, and they have no intention in leaving it.
For my understanding, usually establishing a connection with a hidden service involves two separate Tor circuits: one circuit for the visitor, but another full circuit for the hidden service.

This “Non Anonymous Mode” effectively omits the second circuit, and allows relays to connect directly to the hidden service’s IP address, thus significantly improving latency and reducing the strain on the Tor network?
Looks amazing, great work!
who would have thought that Intel would be known as "the best cheap CPU" company. I think last time I remember saying this was when the first Celerons came out.
Seems to me most difficulty occurs context switching when languages are similar in many ways yet completely different in others e:g Java, C++, Go, C# . Trying to work in multiples of those in that same job can be hard. Doing one of those, combined with Python for example, is easier as the brain can switch between 2 distinct modes. Although even there, one can start writing in the wrong style by mistake. Doing e:g Smalltalk on the side I don't see as a problem as it looks so different that the brain switches into another "special mode".
There's a cabbage soup that's called the "weight loss soup" or something like that. It's pretty good and if you eat it for a week you can lose 5kg or so. It works because it takes more energy to digest the fibers than the amount of energy it contains. There's more ingredients than cabbage - there's a bunch of YouTube videos on it that you can check out.
> It has nothing to do with anaerobic respiration.

Seeing as I've had a university biology professor tell me the exact opposite, I'm going to have to politely take your statement with a grain of salt.
well, bind (>>=) literally is just flatMap.
I feel like this is a US thing. The rest of the world (at least in my experience) has been quite liberal with QR codes for the past ten or so years.
Tea should work too
How is this so far down here? Keto is the answer, just do Keto. Oxygen tank lol, honestly common.
If being sued for false advertising was a real risk, advertising would be a lot more truthful :)
Is Russia Really About To Cut Itself Off From The Internet? What Can We Expect?
It's not software engineering that needs licensing, but their managers. They need to listen to their engineers when they say that refactoring is needed, instead of "this cost money now and doesn't earn me more money now, so request declined".

Yes, "shipping is a feature", but "it compiles" is not enough to just "ship it": you need to spend serious time to test it.

I'm sure you all can come up with more examples
Very good job, I love it.
I've used Subshifter website occasionally for years to do that. There are others I guess. Subshifter can do constant difference as well as stretching, where the subtitles are at the wrong frame rate. You find and enter in the times where subs should be, at one spot near the beginning and one near the end. It does its job well.

It's nice when people share their cool tools free online like this. :-)

https://subshifter.bitsnbites.eu/
Orion uses the latest webkit release so it's usually ahead of Safari. The team is working to implement the web extensions API. It's not perfect yet but I use a number of extensions with no problems (Bitwarden, Dark Reader, Request Control, Sponsor Block) and a couple with minor issues (Reddit Enhancement Suite, Mate Translate).

Many extensions are not functional at the moment, owing to the incomplete extension API implementation, but the progress so far is very encouraging.

I also use Dark Reader on the iOS app which is pretty cool (haven't tried any other extensions on iOS).
how about cutting out sweetened drinks?

i started drinking only water and tea which helped with my weight loss. before that i already was cutting out most carbs from my diet and felt stuck.
for the longest time i did not believe that drinking soda that contains no sugar but art. sweetener could sway my weight in anyway, but now, without the sweet drinks, i dont feel the need to snack so much, so i eat less sweets and snacks across the day, so i lose weight.

look... its working for me, im not saying you should do this, or try to breathe 100% oxygen from a tank, talk to a doctor maybe... i think i heard of people who set themselfs ablaze because there was oil/grease on their skin when the oxygen hit... :shrug: maybe you could try running high up in the mountains until you are used to being deprived of oxygen a little so you get more down here? idk
Any other .NET folks out there that have accidentally misused the any() builtin when doing something in Python? About 2-3 times (with gaps of a year or so) I have accidentally used Python's any(some_collection) ("is there any element of some_collection that is truthy") where in .NET I would use someCollection.Any() ("is someCollection non-empty").
What has worked for me:

1. Find out why you are overweight. For me it was comfort eating junk food and large meals.

2. Start working on what’s causing the first step. I very gradually changed my approach to eating, shifting from unhealthy foods to healthier ones. Now I have an pretty easy time to either not eat or just pick something healthy.

3. I cut out breakfast and just drink coffee or tea, then light lunch followed by healthy snacks and a large dinner. I use whatever amount of fat I need to cook dinner and make sure my food is tasty. I don’t avoid carbs.

4. It all mostly just boils down to cutting out sugary snacks, huge lunches, breakfast and eating “normal food”.

5. Oh, I also try to get 20 min of walking or cycling or something a day in. Then some push-ups , maybe a chin-up. Excercise is important but only like 20% of the whole thing.

What hasn’t worked for me:

Diets. Calorie counting, KETO, whatever. Weight always comes back after a while because it doesn’t address on why I eat.
You can use the onion location header[0] to redirect the user, as mentioned in another comment thread.

0: https://community.torproject.org/onion-services/advanced/oni...
It's super common to hate the referee, in every sport.
Don't overcomplicate it. If your calorific intake is less than your calorific expenditure, you will tend to lose weight. If it's more, you will tend to gain weight. That's it. Here are some steps to get there.

1. Figure out your relationship with food. This is the most important thing. People eat for a variety of reasons. You could be bored or anxious or treat food like a reward or simply a sense of comfort. Whatever it is you need to adjust your thinking to view food as nothing more than fuel. Whatever you do, you are doomed to failure if you don't figure out your own motivations for eating;

2. A lot of people (myself included) find a lot of value in intermittent fasting. There are many forms of this. I started just eating lunch and dinner. Now it's just dinner. You realize how much of eating is just habit not need. You certainly don't need to be eating 3+ times a day. This will actually save you both time and money too;

3. Get sufficient nutrition. The main thing here is actually protein. Protein shakes are convenient as a supplement to your main meal(s). Other than that, don't worry about it too much. You can theoretically lose weight just eating cupcakes if they're under your calories;

4. Exercise has little to no impact on weight loss. You see this once you start looking at the calorific value of foods and the calorific expenditure of certain activities. Compare a Big Mac to how long you need to run for and you realize very quickly not eating the Big Mac is WAY easier. Exercise is for your health and wellbeing only. Walk half an hour every day;

5. Particular diets don't matter. Assuming sufficient nutrtion, the only thing that matters is managing appetite;

6. If this is a factor for you make it require effort to eat. This means where possible don't have junk food or snack food in easy reach. The effort required to leave your house and get chips and salsa (for example) vs just getting it from your kitchen makes a difference; and

7. Don't view the weight loss as a goal. That's a daunting long-term goal. View this as a permanent lifestyle and attitude change.

Good luck.
A toy instruction set and compiler for 'Turing Complete'
I completely agree. The post became longer than I would have liked even without examples and didn't want to make it any longer with examples, though it would be a good basis for a follow-up post.
We have been migrating all our services to React 18 beta in the past months. We are now at 80% services in React 18.
We have been using heavely the new SSR + Suspense.

Feel free to ask anything and I'll try to see if I can help you!

(I'm not part of the React team, just used React 18 heavily in the past months in production)
As always, some fragment of Android actually got there before Apple (to put it in the Camera app), but no, it's not standard.

My current phone (Nokia 3.4) doesn't have it, but previous one (Motorala One) did. Ironic, since I chose them for being about as close to stock as you can get, both in the 'Android One' programme (so also comparatively LTS).
I've tried eating less for weight loss, but when I do I sometimes (multiple times a week) feel really low on blood sugar (break out in a huge sweat and feeling the shakes) and the only thing that helps is eating.

(I've tested for diabetes and it's not that...)

So on these threads that say "just eat less", is there a way of eating less while preventing that crappy, hypoglycemic feeling?

(I exercise a lot, so I've got that covered... I just have a constant need to eat, although I eat healthy these days and have mostly stopped snacking).
I would argue that's just a problem with how you spend your time. Most of this Twitter stuff IS a waste of time. It's not productive let's face it.
As distinct as two neighboring disciplines can be. (not very much IMO)
I think a lot of the iron in the body is already in ionic form, so it's not a huge concern.
Im a recovering alcoholic myself, don't lecture me. I didn't say they deserve to die. But if they can't stay sober they don't deserve a liver over someone else who may need it more.
Weird tricks don't exist. If you want to change your health, that typically requires effort and a change in lifestyle.

For me, I found reading how other people made changes to their lifestyle to improve their health to be motivating. After seeing enough stories about that, eventually I started thinking, why not me? So here's my personal account, should you care.

Personally, once I switched from eating out/ordering DoorDash for my one big meal of the day to cooking all my meals, I began to eat far fewer calories. Turns out the average meal you make at home has fewer calories than a delicious al pastor super burrito or a dutch crunch sub.

I did Hello Fresh for a few weeks, and I appreciated the variety of meals but eventually canceled it because I want more flexibility/spontaneity in my cooking, which is something you lose when you subscribe to a meal plan. Many of the meals left me feeling like I did a damn good job, so I can see myself trying the service again in the future.

I found a very easy breakfast I can make in 15 minutes that I like. 2 slices toast with jam, 2 eggs in a tortilla with cheese and salsa, and 2 pieces of bacon. Before I had always skipped breakfast, leading me to that one big meal a day strategy, which always led to me overeating. My dog appreciates the now frequent bacon in her life (don't worry, she hardly gets any).

I found cooking to be much easier once I got an induction stovetop, because you can see the actual temperature you're cooking with. I always hated the guessing game of turning a gas stove knob, which prevented me from cooking regularly.

At the same time, I've started going to the gym every day, doing a simple linear progression PPL program. I also make a delicious shake every day, which I look forward to after every workout.

Over the last couple months I made these changes and they are now part of my daily routine.

Before, I couldn't really see myself randomly going to the gym or cooking at home. Now that's absolutely flipped- I can't really see myself not doing these things. It's early, but I feel I've done the work to change my habits for good.

And to bring it back to the topic at hand, with these weird tricks of changing my daily defaults my weight is trending down at a rate I'm happy with.

Oh, and I did count calories for like a month, but only to get a feel for how many calories are in the foods I tend to eat, and how my body weight fluctuates based on my intake. I don't any more, at least I don't write it down. It's all just sort of done on my head in a wishy washy way.
A web browser is more than just for webapps. You don't have to use the same web browser for everything.

Surely there is a case to be made for a web browser that caters to a need for focused reading, where a quick context switch to logged-in sessions wouldn't be something you would appreciate having.

At that point, you wouldn't need much of the fancy javascript served to you, and can trivially cut down on attack surface with minor sacrifice.
Used it on Ubuntu and Mint, 18 & 19.

Installed via Unity Hub downloaded as an appimage.

I can't find the download link apart for this one -
https://forum.unity.com/threads/unity-hub-v-1-0-0-is-now-ava...
I am 184 cm (~6') and 62-64 kg (137-141 lbs), have kept this weight range for the last ~15 years. Maybe sharing my diet/sport schedule could help ppl..? I drink mostly water and coffee (rarely but sometimes redbull, beer maybe 1L per week). I skip breakfast most days, eating a small portion of leftovers from the night before and some fruit (apple + orange or whatever is in season) for lunch. Usually I have a after work snack (bowl of corn flakes with a bit of sugar). Dinner is usually around 20:00 and we eat whatever...meat, veggies, carbs, whatever is available that week. For sports I am on the bike for maybe 50-100 km per week depending on how lazy I feel that week. I go climbing (bouldering) 2x per week (usually riding my bike there - makes a 2-3 hour boulder session with 1hr of bike on top). Not sure if the sport would make a big difference one way or the other (if it was there or not), I think eating the right amount makes the biggest difference. However without sport my brain feels like shit so I tend to keep doing it.
Nice to hear from somebody who had to use the product. Like a lot of retro stuff you don't really get a feel for what it was like to live with when you are just playing around with the installer.
This is not true, we (Russians) can leave country by any means, just most Russian companies won't fly their jets abroad as they might be arrested (https://www.aljazeera.com/news/2022/3/5/aeroflot-halting-all...). Foreign companies fly just fine.
I am not an expert but it seems that the form of iron absorbed by human body is ferrous sulfate, iron in +2 oxidation state. Iron rust of iron pan is in +3 state, which is chemically a different thing.