Viewing profile — alimw

I think this must be wrong. If the kernel is free of bugs then it's not going to pass a proof of false no matter what the Lean compiler gets up to.

Even in the West, the vast majority of us are stuck in the same rut as you are. Somehow some people make more of their lives. It looks incomprehensible, of course, to those of us w…

Does the paper really claim that every one of us has this tendency to the same degree?

> Last year we had "homicide rate lower than any other UK city" Ah but as GP so astutely observed, an awful lot of murders go unreported. They saw it on Twitter/read it in the Tele…

And yet... TFA

I have tried and failed to get an LLM to make any useful contribution to my project in real-world mathematics. So maybe don't believe the hype. I suppose it's possible that at some…

> The analogical form of the English expression "what it is like " is misleading. It does not mean "what (in our experience) it resembles ," but rather "how it is for the subject h…

You've only told us that you're scared of being mugged by dealers! That doesn't even count as anecdotal evidence that it's likely.

Every government aims to stay in control whether or not lynchings are on the horizon. Your comment would be more informative if you explained why they might feel that striking an a…

Norman Foster is the architect not the critic! His firm is based in London and does its stuff all over the world.

The country doesn’t have much to do with it. Norman Forster travels all over.

The proof is actually of their equivalence as propositions. This is only possible because the binary digits are represented as Bools, and a Bool b can be coerced to the proposition…

This is what I read in your comment: that Trump "forced NATO to increase military spending to 5% of GDP". Are you talking about the US there? No, tautologically, you are talking ab…

Oops I guess if this is as much sense as you can make then there wasn't much point in my trying to parse your comment in the first place.

You literally just used NATO for a grouping that does not include the US.

Illustration of Simpson's paradox: personality disorder w. negative language no disorder w. negative language total 992 75% 945 25% but actually personality disorder w. negative la…

> I only did a postgraduate degree This confuses me. Aren't all the best degrees postgraduate degrees?

Clicking around on TV the other day I caught a Channel 4 show celebrating sexually explicit fanfiction about minor celebs (in the programme acted out by puppets). I suppose one wou…

Thanks! But unwatchable on that link because of all the ads. Try https://www.ias.edu/video/computer-science-and-game-theory-c... instead.