what about haskell

Treat OR NO Trick

it’s actually impossible to be bilingual because you can only ever be speaking at most one language at a time

depends on the context, but σ is most often used to denote a member of a permutation group

who’s sister?

no not like that

that’s what they tell you right before throwing you off the plane

i think you’re taking that quote out of context a bit. a few sentences later, the article says

Even physicians have weighed in on the shortcomings of B.M.I. The American Medical Association warned last year that B.M.I. is an imperfect metric that doesn’t account for racial, ethnic, age, sex and gender diversity. It can’t differentiate between individuals who carry a lot of muscle and those with fat in all the wrong places.

“Based on B.M.I., Arnold Schwarzenegger when he was a bodybuilder would have been categorized as obese and needing to lose weight,” said Dr. Wajahat Mehal, director of the Metabolic Health and Weight Loss Program at Yale University.

so the point they seem to be making is that, while BMI is controversial partly because people like to shoot the messenger, it’s also just not a reliable measurement in a medical context, even as a heuristic. the article also goes into more detail on its other shortcomings as well. the article also indicates how BMI was never intended to be used in a medical context. so, there are plenty of valid reasons for wanting a new metric.

but i do think the sentence you quoted isn’t really doing the author any favors in terms of trying to communicate the central point of the article.

the belief that a quick 3 second rinse will kill off bacteria seems to be consistent with the ways that most people try to wash their hands

i haven’t had any problems with giant cockroaches ever since i started cutting all the tags off my shirts

so, people walking

in my defense, your honor, i didn’t think anybody would actually fall for it

do we really want to ask questions? wouldn’t it be nice to just listen to some music instead

i think “content creator” would be a better term in this case. because i’m not convinced it’s art, but it sure is “content”. maybe “content requester” would be more accurate.

windows 11 is a next generation experience. microsoft teams now has 16 times the detail

how the fuck could they have possibly done things in a way that makes explorer tabs depend on recall?

if they can’t even separate out recall from the rest of the operating system then i have absolutely no faith it will be secure.

why write better software when you can simply tell the customer to buy better hardware?

before gödel’s theorems can be formally stated, you have to make a lot of assumptions about axioms, and you have to pick which kinds of logical rules are “valid”, etc. and that all feels way more dicey to me than the actual content of gödels theorems.

i definitely agree that gödels theorems can help to undercut the idea that math is this all knowing, objective thing and there’s one right way to do everything. but to me personally, i feel like the stuff that’s very close to the foundations is super sketchy. there are no theorems at that level, it’s just “we’re going to say these things are true because we think they are probably true”.

how does that follow from Gödel’s incompleteness theorems?

the math/philosophy overlap in set theory/logic makes me uneasy. the closer you get to it, the more the idea that “math is objective” starts to fade away. also pretty surreal to be learning philosophy/taking things as given in a math class. especially because you spend a lot of time proving that certain things are true, but you don’t ever say what it means for something to be true.