alimw

hace 3 mesesdiscuss

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.

alimw

hace 4 mesesdiscuss

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 who can't manage it!

alimw

hace 4 mesesdiscuss

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

alimw

hace 5 mesesdiscuss

> 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 Telegraph/heard it on Talk. It certainly explains how all the foxes are so well nourished.

alimw

hace 6 mesesdiscuss

And yet... TFA

alimw

hace 6 mesesdiscuss

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 point they will be more capable than humans, but it's by no means assured.

On the other hand, as was noted before the AI rush and before the recent political turmoil (but they will only have exacerbated it), the value of capital increasingly outweighs the value of labour. So if you want to have grandkids you might want to make money using your own skills while it's still possible.

You haven't said why you are home-schooling?

alimw

hace 6 mesesdiscuss

> 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 himself."

Nagel "What is it like to be a bat?"

alimw

hace 6 mesesdiscuss

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.

alimw

hace 6 mesesdiscuss

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 attitude uncooperative with the US will help to achieve that.

alimw

hace 6 mesesdiscuss

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

alimw

hace 6 mesesdiscuss

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

alimw

hace 7 mesesdiscuss

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 that b = true.

alimw

hace 7 mesesdiscuss

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 about those parts of NATO that Trump forced to increase military spending to 5% of GDP. So what is controversial about my observation that you used the term NATO to stand for a NATO without the US?

My point was that by doing so you yourself add weight (a very little weight) to the thesis of the grandparent that, at least in people's perceptions, the US has left NATO. It wasn't just a nitpick, but at the same time I did not intend to join this side or that side in some mad argument that is playing out in your mind. I freely admit that at this point I am not reading all your output.

alimw

hace 7 mesesdiscuss

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.

alimw

hace 7 mesesdiscuss

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

alimw

hace 7 mesesdiscuss

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 language   no disorder w. negative language
  had a rough time in life             909    80%                          79    80%
  had a decent time                     83    20%                         866    20%

(Figures made up.)

alimw

hace 7 mesesdiscuss

> I only did a postgraduate degree

This confuses me. Aren't all the best degrees postgraduate degrees?

alimw

hace 7 mesesdiscuss

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 would argue that these types of effort are qualitatively different but without having thought too hard about it I don’t see the logical necessity.

alimw

hace 8 mesesdiscuss

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

alimw

hace 8 mesesdiscuss

I think I read somewhere that we have so far stayed away from regions that could support life in order to reduce the risk of contamination? I hope that future missions will be as responsible but there's the danger they won't be.

Submissions

Man jailed for killing abused wife who jumped from bridge

comments