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.

Any name can contain a space. For example "Ana Maria" is a common first name which contains a space. On official documents, generally a name will be separated into a given name and surname. In this case "<A> <B C>" and "<A B> C" are considered separate names.

Source: I have a space in my name and some of my different identity documents have the name as "<A> <B C>" or "<A B> C", which causes all sorts of administrative problems.

It is observable in the aggregate statistics. x% of people voted for so-and-so candidate.

If an investor wants returns that are orthogonal to the market or that avoid exposure to specific factors, then ETFs aren't really an option. This is why pension funds etc. will have some investments in index funds but will also diversify into hedge funds and alternative investments.

Hedge funds and related investment vehicles aren't for most people, but they do perform an important function in the markets. Not everyone can invest passively -- someone has to actually enable price discovery.

The results sound a lot like the techno that Wishmountain (aka Matthew Herbert) was making with household objects a few years back

Wishmountain - Radio: https://www.youtube.com/watch?v=aM1mN91YDgw

Wishmountain - Video: https://www.youtube.com/watch?v=b2CV8m4u16E

As another commenter mentioned, your description of type #2 clubs in London misses the mark completely, and I suspect you aren't actually aware that type #2 clubs as described actually exist (which is fine - many people outside the scene won't know about them).

A hen or stag party would not be allowed in. The few tourists who are there are generally there becaus they know the scene and came specifically for the night. These aren't venues that you'd stumble into on a drunken night out. They're often holes in the wall in quiet-ish streets in Tottenham or Hackney or Elephant & Castle, and you generally have to buy a ticket for 15-25GBP in advance.

Slimelight is truly special. There was a period of a few months where I'd go almost every Saturday night. That dancefloor is really something special at 5 or 6am, like being on another planet.

Sadly it's still mostly quiet these days (well now it's completely quiet, but pre-Covid it was also quiet). But I went to one of their birthdays two or three years back and it was packed. London's whole goth scene descended on it.

Where in the UK are you? In London the type 2 clubs (Fabric, Village Underground, Oval Space, Pickle Factory, Corsica Studios, The Cause, Egg, E1, etc.) only open their doors around 23:00, and it'd be weird to show up before midnight - the place would be deserted. Peak time is 1:30-3:30am. At some of these places, almost everyone is on drugs.

I feel like there are at least two very distinct notions of "nightclub" (not counting gay clubs), and in online discussions people generally talk past each other without realising they're referring to very different things. I see this happening already in this comment section - the clubs some of you are talking about have nothing to do with the ones being discussed in the article. Let me quickly list the attributes of the two main categories of club:

1) Dressing up in a button-down or a suit or a dress and high heels. Sitting down at tables around $300 bottles of Grey Goose. Pop music, hip-hop, electrohouse. Crowd is mostly straight, most attendees are there with the intention of meeting a sexual partner. You stay for 1-3 hours, mostly talk and get wasted and dance a bit.

2) Dressing in casual clothing or streetwear-oriented fashion with comfortable shoes for dancing. Few or no tables - the dancefloor is the primary attraction. More drugs than drinks. Crowd skews alternative with strong LGBT presence. People are there for the music, which is generally repetitive electronic music, house or techno or DnB etc. You stay for 3-8 hours, mostly dancing and talking to friends, drinking but probably not getting drunk.

This article is mostly discussing the second category, but I'm not sure how familiar American readers will be with this style of club - my understanding is that it's primarily a European phenomenon, with outshoots in some key non-European cities (NYC, Detroit, Sao Paulo, Tokyo to name a few). These clubs are closer in concept to American raves, except at dedicated club venues. These spaces have historically been incredibly important for minority communities (queer, black, latino) also for musicians. They foster the cutting-edge of underground electronic music, which eventually filters down to shape the next generation of radio pop. Berghain, the club mentioned at the start of the article, is the prototypical example of such a venue.

I don't care for the first category of clubs and I don't attend them, but it would be a huge loss to culture if the second style of club disappears. It was already struggling pre-Covid, with many clubs in London doubling as event spaces or art spaces during the day in order to raise more money.

> Shorts are still up 120% percent

This doesn't mean that the original funds didn't exit the positions. It's likely that there are many new participants who are taking short positions in the last few days because the stock is obviously overvalued.

The standard Google employee contract contains this restriction. It's easier for them to institute a blanket ban on open source contributions (including in one's spare time) and then consider exceptions on a case-by-case basis. They have a dedicated internal committee that fields employee requests to work on open source projects.

Not the previous poster, and not a maths expert by any means, but for example there are parallels between the rank-nullity theorem in linear algebra, the orbit stabiliser theorem in group theory, the splitting lemma in homological algebra, and the Fredholm alternative in functional analysis. They can all be seen as manifestations in some form or another of the first isomorphism theorem in abstract algebra.

I noticed that the rattling was most noticeable when I brushed my teeth with my electronic toothbrush. Not sure if the toothbrush caused it or not. I eventually got the faulty AirPod replaced.

Just commenting to say that I feel similarly to you, and I seem to be the only one among my coworkers that feels it to this extent. Good to know that there are others out there.

Computational and complexity theory are abstract mathematical subjects where numbers are either finite or infinite. A very large finite number is still finite. There is no meaningful notion of "so big that we can pretend it is infinity" in questions of decidability, and the limitations of the real world are irrelevant.