hollowcelery

But the researchers also did their research using essentially the same models, so that isn’t a counterpoint to AI models being at the far frontier…

Most of this comment is not true. Static stretching does increase flexibility over time - it’s not the most efficient tool for it, but it’s certainly effective.

Presumably the Cochrane study you’re referring to is “Stretching to prevent or reduce muscle soreness after exercise”, which as it’s title suggests, investigates a narrow question and does not support you claim that “stretching does bupkis”.

They are significant problems which experts have spent months or years studying. I heard a mathematician say that resolving non-sofic groups and Connes's rigidity would be career-defining for a mathematician.

Sourcegraph is the closest external thing I've found to Google's internal web tool for viewing code.

But that’s not what’s happening here - the model here is that every piece has a uniform probability of being selected next, in which case every possible subsequence appears in the limit.

Interesting - I use git checkout constantly, whenever I have a file in another branch or commit that I want to drag into this one wholesale.

There are a number of things that make code hard to reason about for humans, and combinatorial complexity is just one of them. Another one is, say, size of working memory, or having to navigate across a large number of files to understand a piece of logic. These two examples are not necessarily expensive for computers.

I don't entirely disagree that there is code that's objectively difficult to work with, but I suspect that the Venn diagram of "code that's hard for humans" and "code that's hard for computers" has much less overlap than you're suggesting.

> People from Sydney who move to London come to hate it, once the novelty wears off, just as they would with New York

Just sharing a different perspective, I'm from Sydney and have lived in all 3 and don't agree with this generalisation. I know plenty of Sydney-raised people who've lived in London or New York for decades, love those places, and don't plan to move back to Sydney any time soon if at all.

I knew someone who missed out on a gold medal at the International Olympiad of Informatics because his sort comparator didn’t have a total order.

In this arrangement you don’t yet own the deferred compensation when you leave the company. It does not belong to you. Instead your contract with the company might say “we will set aside an amount of money (which isn’t yet yours) and portion it out to you for 1-2 years after you leave, conditional on you not joining a competing firm in that period. If you join a competing firm, we will stop paying you.” Alternatively, the company will just pay you your full salary (plus maybe a fraction of what you used to get in bonus) for this period.

Essentially you’re being paid an income not to work for the competition. Most people take this deal as it tends to be pretty good — think several hundred thousand dollars for you to take an extended holiday or work on personal projects.

If you do take a competing offer during the non-compete period, the company might also use legal action against you, which is another story entirely and one whose threat most people would prefer to avoid.

What a bizarre take. Who do you work with? The majority of people I’ve worked with of all ages at various companies default to all-lowercase in casual communication, including some of the most intelligent and expressive people. As the other commenter said, it’s perceived as friendlier and more casual. Messages with capitalisation and completely correct grammar in these settings comes off as stilted and corporate.

Emojis are a more granular and expressive form of the more traditional lol, rofl, haha, :), :(. They’re a useful side channel for expressing tone.

As other commenters have said, this could be burnout. In my personal experience, improving from burnout requires two things: an extended break from anything mentally demanding (preferably more than a month, but at least a few weeks), and a change in circumstances when you return (whether it’s a different team, different job, different project, etc). Both are necessary. If you just take a holiday without changing up your work, then you’ll spend the whole time dreading returning to the usual grind. It’s important to have something different to look forward to when you return. While you’re away, you can think about your work and whether you genuinely find it rewarding.

A lot of people go through this. I’ve been through it twice, and both times it felt like it hijacked my brain. It probably feels like you’re doing something wrong or you’re a bad employee, but most likely you’re just in a temporary rut.

The article doesn't say that it's no worse than a cold. In fact, all signs show that it can be worse than a common cold. This is a non-sequitur.