skysight-inc/HackerNews huggingface dataset:
I always say that Types are not there for the truly expert programmer. They are there for the rest of us.

I would say exactly the opposite - beginners pick languages without [much] typing because it is or at least it seems easier to get started. When you step out of toy program territory you will start to appreciate the value of types.
Oh I do blame that too. Housing regulation by NIMBYs have long been pushing up their own home values by making it onerous to increase supply.
There is no one “Mac Way”.

There is the way the Mac operates for a novice. That is entirely left clicks on icons.

There is the way the Mac operates for someone like me, who has been using them since the days of Classic. That is full of hotkeys and advanced features discovered over the years. A hotkey to invoke a filter would be entirely in the scope of this Way of the Mac. (And the filter would also probably be implemented as a “search” field somehow connected to the tab bar, for the novices to discover it.)

The Mac Way includes things like Automator (or whatever they're calling the current incarnation of their attempts to make generating simple scripts a point-and-click task). The Mac Way includes the Keyboard panel in the prefs, which lets you change the menu hotkeys of any app on your machine.
Methamphetamine is FDA-approved "as a short-term (i.e., a few weeks) adjunct in a regimen of weight reduction based on caloric restriction, for patients in whom obesity is refractory to alternative therapy, e.g., repeated diets, group programs, and other drugs."

Source: https://www.accessdata.fda.gov/drugsatfda_docs/label/2007/00...

(Sarcasm, obviously. Do not do this.)
Yep, and even in languages with multiple (OS) threads, a thread is still a resource with a stack that takes some memory, and so they might also do non-blocking IO with either with callbacks or promises or similar.
It's not clear, although it seems reasonable to assume that the availability of cheap processed food is a major factor.

If changing one's environment were a straightforward thing, like changing what foods one keeps in one's cabinets, then the data on the effectiveness of weight loss interventions would not be so dismal. An effective change of environment is probably more like "moving from Alabama to Japan".
I’ve speculated that a lot of developers don’t recognize type errors for what they are.
The only strangers are the ones we let drive the "rideshare".
A hifi head guy showed me an old SAAB part, unless he's misguided they used pneumatic actuated user panels long ago. Felt insanely overengineered .. but pretty sexy at the same time.
I take it even further. Emotionally distance yourself from your cravings, sure, but also your entire body. I now think of my body as separate from 'me,' my soul. But I do need my body to express my soul. So I take care of it, I give it what it needs, I exercise it. Counterintuitively, this practice makes me love and respect my body more than I ever did when I equated body and self.
Glad someone else commented this. The a stock MacOS and Android features don't get nearly red enough for my preferences at night.
- Stop looking for weird tips or gimmicks. They're usually bullshit.

- Recognize that media and the weight loss industry have absolutely no interest in helping you lose weight permanently. The incentives are wrong. They want a captive audience and repeat clientele. If there's any truth to what they say it's incidental. e.g. Blueberries are not a magically healthy food that will transform you into a greek god or goddess if you eat them. Some asshole blueberry farmers just commissioned a study to drum up sales and idiot health reporters picked it up on a slow news day. I'm not saying blueberries are bad for you. They're just fruit.

- Everyone has advice that has worked for them (or maybe hasn't really). That doesn't mean it will work for you.

- Maybe you stress eat or eat when you're bored. Maybe you eat way too much of the wrong foods. Everyone is different. The path to being healthier starts with observation. Keep a food and activity journal and crunch the numbers. An apple isn't so healthy that you can ignore the calories in it. Write things down and figure out where you're paying the biggest costs.

- Change your behaviour. This is what works. Read a book on cognitive behavioural therapy if you have no idea where to start. Your weight isn't a temporary condition that can be permanently fixed by temporary action, such as a short-term diet. It's a reflection of your diet and activity habits. Permanent changes to how you think, eat, and act are necessary to change your weight. Little changes can yield big results. e.g. Get in the habit of asking yourself, whenever you open the fridge door, "Am I hungry, or am I bored?" If you're bored, close the fridge door and go do something interesting.

- It may seem like there is a sea of advice and help out there that might make things easy. However, you really have to figure this shit out for yourself. It's going to take some mental effort, but it's worth it. You can do it if you try.
Is this a positive or a negative?
Fantastic! Your product will help millions of people quit eating meat and save the planet.

Imagine diluting the affordable-meat market. "Is this salami real or fake? Ugh I don't know, I'd rather eat soy than glued together chimeras."
CPAP therapy made me lose 1kg/month consistently.
> I hope to see Ruby help every programmer in the world to be productive, and to enjoy programming, and to be happy. That is the primary purpose of Ruby language

That's why I wish ruby to succeed but after 20+ years of the language being around and python is taking all the scripting needs outside of web, I'm not sure what area is left for ruby.
What does "while I knew what was wrong and where I could fix it I didn’t have any idea what existing tools I had available in that context to fix it" mean?
I'd be more optimistic about official type annotations for JavaScript if said typing was less like the particularly unique syntax of TypeScript and more like that which already exists in C-family languages. For instance, in Typescript, we can do this:

---

const user: User = {

...

};

---

Why couldn't this be more like C rather than this weird conflation with the existing colon token?

---

const User user = {

...

};

---

That might seem not as pleasing to those familiar with Typescript, but it's much closer to other existing syntaxes (meaning less of a learning curve coming from Java or C).

Same with function definitions:

---

function foo (bar: string, baz: boolean): Qux {

...

}

---

Versus:

---

Qux function foo (string bar, bool baz) {

...

}

---

I find the latter much more familiar than Typescript and less confusing. It's also slightly less verbose.
So you're agreeing with the author of the article on that point.
This is backwards. I, the user shouldn't be fixing it, the website operators should be the ones fixing it by not tracking me.
I think this is really bad advice. How much you eat is incredibly important to whether you lose weight or not. You can gain weight while eating only healthy food. You can also lose weight on a pretty bad diet. Portion sizes are a very important part of the equation.

This strategy also eliminates all joy from eating will cause "rebound," equates to "dieting" that isn't sustainable

Here's some better advice when it comes to actually losing weight (again, the stated goal is to lose weight, not to radically improve the diet):

- Use an app like MyFitnessPal or LoseIt and log all your food, including condiments. Focus on putting in the correct portion/serving/size/weight. Don't start trying to make any change, just log what you eat for a week or so and see how many calories that is adding up to right now.

- Get a food scale to aid the above. It's very easy to eat larger portions and servings without realizing it. When you make food, prefer weight measurements over volume, and then the calorie counts will be accurate.

- By focusing on calorie intake reduction, you will naturally figure out which foods are more filling while keeping you in your calorie range.

- Eat 3 deliberate meals per day, do not snack mindlessly

- Indulge mindfully, with the right portion size. Again, I don't think it's necessary to remove all joy from food, because psychologically that's a recipe for failure. In my experience, that leads to hating the whole situation and giving up.
get a big mirror and make sure you see youreself every day
Could be referring to onerous zoning laws that keep density down.
Counter point, I’m work from home and actually spend up to an hour a day doing HIIT and am lucky to break 4k steps. If you’re fidgety or pace you may get there but even with being intentionally active and burning around 850 calories in exercise a day, I’m about half the 8k steps.
Thanks for sharing!
I wish this functionality was better exposed, it is such a game changer. I need to clean up and publish some of my scripts. I like to use firejail, xpra, and I'm trying to improve btrfs ephemeral subvolumes for my sandboxes.
there's also some sort of associative positive placebo effect -- oh flux kicked in and it just makes us feel better somatically / prophylactically -- time to relax, deep breath, not stressing about or late night coding or life or whatever
a) Although the "Anonymous wiki" authors are a good reference for the trope of Said bookism", they did not originate it. You can also find it in the Turkey City Lexicon from 1988 (1) and no doubt other earlier sources. In that document, see also "“Burly Detective” Syndrome"

b) I marvel at Mr McCarthy's prose. it breaks all the rules, and is sometimes impenetrable, sometimes so direct. It's fantastic, it's hard work. I couldn't do that well; very few could. There are far easier ways to get to "best seller".

https://www.sfwa.org/2009/06/18/turkey-city-lexicon-a-primer...
"Protip: Stop being lazy"

Why? Maybe they've already worked hard and made enough. Or maybe they're like me and worked hard but was never rewarded for it, so why continue trying.
You can easily work with both. Disable strict in the options (that is why it is there), then replace .js with .ts and it still works. Except now maybe you get some errors because of type inference that detects things like calling .toFixed on a string.
There's nothing personal about any of this. I don't even know who you are. But: your "rank" here is that you've taken a course in academic writing and gotten some journal articles accepted, and McCarthy's "rank" is that he's one of the greatest writers of the last 50 years and is in a kind of residency copyediting papers for the Santa Fe Institute. I'd take him seriously. But you do you.
I know you are joking but it works. We have become a society where unhealthy lifestyle is encouraged because we are too afraid to hurt feelings.

My health journey basically started with wanting to marry someone out of my league. I saw my friends with unhealthy lifestyles, marrying and having kids with other unhealthy people. And then their kids developing unhealthy habits. Food worship is big in my culture, and so is diabetes and heart diseases.

I was unhealthy skinny-fat loser. It is probably the worst body type. This is when I first slowly, then suddenly removed all unhealthy people from my life. I even avoided shopping at places where there were too many obese people like Walmart. I stopped eating at restaurants where there were too many overweight people. No buffets for me.

While I lost unhealthy friends, I also developed better friendships with healthier friends. I also adopted new habits and hobbies that brought me in contact with attractive people. Gym, coffeeshops, Whole Foods, yoga.

Initially, I felt outsider. But eventually I started to feel like one of them. Also I lost my gut, developed decent back and legs muscles. And it didn't felt like work. I didn't even try any diet or workout program. Just ate where attractive people ate and just used random machines in the gym.

Since having kids, I have stopped avoiding unhealthy people and have become more accepting of unhealthy lifestyles. And also gained a lot of weight and struggle to lose it now.
How many people are convicted on 480p or less janky security footage? Making believable bad fakes is trivial when high resolution fakes are only moderately difficult.

If it hasn't happened yet, it will soon - people will be submitting modified doorbell camera and home security footage to police. Or someone's compromised home network will record a deep fake overlay of otherwise legitimate footage, and the owner won't be complicit. In a situation with, say, a $5,000 or more item, or a schedule 1 or 2 substance stolen, a person could be subjected to damning evidence of them committing a serious felony, for potentially less difficulty and risk than swatting.
This might be an individual reaction to fasting, but I always have headaches when I don't eat properly (skip meals, etc). Is this something that I would have to get used to when eating less?
On-demand food delivery is for people with lots of disposable income. It's really expensive. You get pick-up otherwise.

At least in the US. Maybe it's different in Europe.

$4+ per diner delivery markup (increased base food price, delivery fee, tip) will keep it from being a widespread problem. This is like worrying that meal ingredient delivery services will make lots of people more sedentary because they won't walk to the grocery store—no, it won't, because not many people can afford those services.
Regurgitated leftovers from popular franchises/actors in an uncanny valley forever.
I meant generating a safe Rust API for existing C code rather than calling an existing Rust API from C.
That was explanation from a perspective of someone acquainted with modern physics. As such, it will make sense to physicist, but no sense to most everyone else, including mathematicians who don’t know modern physics.

For example, in the beginning, author describes tensors as things behaving according to tensor transformation formula. This is already very much a physicist kind of thinking: it assumes that there is some object out there, and we’re trying to understand what it is in terms of how it behaves. It also uses the summation notation which is rather foreign to non-physicist mathematicians. Then, when it finally reaches the point where it is all related to tensors in TensorFlow sense, we find that there is no reference made to the transformation formula, purportedly so crucial to understanding tensors. How comes?

The solution here is quite simple: what author (and physicists) call tensors is not what TensorFlow (and mathematicians) call tensors. Instead, author describes what mathematicians call “a tensor bundle”, which is a correspondence that assigns each point of space a unique tensor. That’s where the transformation rule comes from: if we describe this mapping in terms of some coordinate system (as physicist universally do), the transformation rule tells you how to this description changes in terms of change of the coordinates. This setup, of course, has little to do with TensorFlow, because there is no space that its tensors are attached to, they are just standalone entities.

So what are the mathematician’s (and TensorFlow) tensors? They’re actually basically what the author says, after very confusing and irrelevant introduction talking about change of coordinates of underlying space — irrelevant, because TensorFlow tensors are not attached as a bundle to some space (manifold) as they are on physics, so no change of space coordinates ever happens. Roughly, tensors are a sort of universal objects representing multi linear maps: bilinear maps V x W -> R correspond canonically one-to-one to regular linear maps V (x) W -> R, where V (x) W is a vector space called tensor product of V and W, and tensors are simply vectors in this tensor product space.

Basically, the idea is to replace weird multi linear objects with normal linear objects (vectors), that we know how to deal with, using matrix multiplication and stuff. That’s all there is to it.
Congrats on the launch! Kable has really simplified billing for us and it also doubles as a pretty great API usage analytics platform
Yes absolutely. I've found it's vital and helpful in many areas to understand that perception is not reality, and that it can be changed. This is a fact of human psychology: your brain creates sensations, and your "reptile brain" controls all the important decisions -- e.g. what you want to eat, what kind of information you seek out on the Internet, how you feel towards others, etc.

To be concrete ... in my early 20's, I drink multiple cokes every day. I was addicted to it. Now if I start drinking a can, I can't even finish it. It tastes too sweet.

So what changed? The only thing is perception; the coke is exactly the same. So I've kept 15 pounds off for 5+ years by "retraining" my taste buds. I think that this is the only sustainable way to lose weight. I don't feel hungry or deprived at all. So basically you can train bad food to taste bad, which it should.

I did that mainly by filling the gap with naturally cooked foods that I liked even more than a coke, and then expanding from there into a big world of pleasure. Michael Pollan's advice is good: you can eat whatever you want, as long as you cook it yourself. There are a lot of veggies I liked but didn't eat because they weren't ready available and it was "too much work". (I'd reframe that as undervaluing your health)

It could be partly the gut bacteria thing, but I think of it as just a decoupling of perception and reality. You shouldn't think of your perceptions as fixed. And yes it is an interesting philosophical angle to think of them as NOT "your" perceptions!

-----

Another way to explain it is via smoking. To some people a cigarette tastes amazing (when they're addicted), but to most people it tastes bad and smells bad. The cigarette is the same; the only thing different is the perception.

~20 years ago I was against the smoking bans because I was in favor of more freedom, and I thought "What next? Are they going to ban fast food?" Now I kinda think they should also ban fast food (not literally, but discourage it). It's addictive, and changes your perception of REAL food in a way that empirically is very difficult to get out of ... to the point that many people die of diabetes first. It's also so cheap that it warps the selection in the supermarket and at restaurants.

edit: I also agree with the sibling comment. I used to eat and snack 5-6x a day. Now I eat 2 meals a day, zero snacking, and don't feel hunger. It's purely an issue of perception. Surprisingly, after 20-30 years of those habits, my body changed its perceptions!
https://www.rxlist.com/desoxyn-drug.htm#medguide

I thought you were joking but you're not. Prescription meth is an actual thing...for ADHD...for children. I'd fire my doctor on the spot if he recommended such a thing.
I'm one of those `any` developers, and can attest to the first scenario. Had a client ask me to fix a bug in a repo that I wasn't familiar with. I spin it up, start looking through the code, and it's this massively over-engineered beast. 27K lines of Angular code to support a 2 page SPA that's basically just a note taking app.

Anyways, it's TS, and I don't know TS but I know how typing works so I can make my way around. I need to alter an interface to fix the bug, but with all the code it's very difficult to tell whether the change will break something either in the compiler or at runtime. To add on top of all that, the client needed the change to go out that day.

So guess what's going to happen? I'm using fucking `any` and I don't care.

Ultimately, this is why I don't like TS. I think it's a great idea, but if you look at all the energy that has been spent moving code over to TS from JS, and all the type definitions that were written into existing NPM packages, I have to ask myself why we don't just pursue making types native to JS? I don't want to write a secondary language that compiles to JS.
> pneumatic actuated user panels

What does that mean?
For me, the reason I like an explicit `.iter()` is because its more refactor-friendly. If I have an existing loop over `&collection` but want to call an iterator method, I have to switch to `collection.iter().enumerate()`.
To when Kiew was the capital of Russia?
The USS Jimmy Carter submarine has been doing top-secret missions for 17 years
True, but those twelve comprise a large portion of the country (mainly since they include Texas and California).

Honestly, in most states your greater risk is likely that a renter just stops paying and you have limited or slow recourse options. But like most undiversified investments, it's possible everything could go to zero (see Detroit).
Walking is the best way to begin that lifestyle change. Walking is easy, it's pretty relaxing, and it helps establish that there's a period of time in a person's day dedicated to getting them healthy. Plus, that 45 minutes of walking can be split up over the day. And with some commitment, most people can become pretty fast walkers.

You are absolutely right that adding an hour a day of exercise is a major lifestyle change, but so are a lot of things in life.
There are really just two things called tensors.

Physicists' tensors = generalization of arrays with units; have to transform according to certain coordinate laws.

Mathematicians' tensors = generalization of arrays, transformation rules don't matter.
Hmm, this is stuff physicists learn in their first year undergrad classes for mathematical foundations. Seems to me it's the very definition of beginner.
> Obviously a good firewall (ufw suffices) is a must

I keep hearing this, but I don't get why. I make sure my services just bind to localhost if they should not be public and I make sure to not run services I don't need. I portscan my server after everything is setup to make sure I didn't miss anything.

Does a firewall really buy me anything in that case?
I think this proposal is trying to keep in that spirit while making everyone happy, by only adding what is effectively another comment syntax to JS, instead of defining a type system for it.
That is one interesting study in mice, but it goes against many in humans, so I wouldn't use the word "debunked" in this situation. Previous comments are here:

https://news.ycombinator.com/item?id=21916679
The reason why those nihilists "roll coal" is to make you worry. Or maybe it's activism in disguise.
During the 1970s real returns were negative. Inflation-adjusted S&P 500 was 632 in 1970; it was 395 in 1980. After the 1970s it shot up; it was 788 in 1990, and then 2322 in 2000.

https://www.macrotrends.net/2324/sp-500-historical-chart-dat...

I've seen some academic papers remark that investors tend to undervalue the earnings side of inflation. They will discount future earnings by the high interest rates that go along with inflation, but they will fail to account for earnings growth that goes along with having a profitable business in a high-inflation environment, and for the changes in competitive dynamics that follows inflation. (When rates and expenses rise, it tends to flush out the more marginal and unprofitable firms, which means dominant firms have less competition.) Warren Buffett made a large portion of his fortune by investing in businesses with little competition during times of high inflation.

Basically, it's good to be a stock buyer in times of inflation, and bad to be a stock seller*.
‘Why would I want that?’: My sister’s question reshaped my physician job search
May be not specific to your technology but a general question i have is how are the tissues and cells protected from bacteria? Does the growth medium contain antibiotics? If so, how is the final product separated from it.
Yes physical stores are becoming as hostile as ecommerce sites. When i enter one, my phone stays in airplane mode, wear a mask to evade facial recognition and pay cash.
I would go even further and suggest that most of the social ills we deal with in the United States are a slow, painful, halting transition from rural to urban life.

These modes of living require very different heuristics and patterns and it’s not surprising that we encounter all manner of pathology as we transition.