- 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:
but actuallypersonality disorder w. negative language no disorder w. negative language total 992 75% 945 25%
(Figures made up.)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% - > 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 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.
- Thanks! But unwatchable on that link because of all the ads. Try https://www.ias.edu/video/computer-science-and-game-theory-c... instead.
- 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.
- Someone or something wrote in the earlier press release [1]:
> For the youngest of the three brothers, this Christmas discovery is more than “just a comic book.”
> “This isn’t simply a story about old paper and ink,” he says. “This was never just about a collectible. This is a testament to memory, family and the unexpected ways the past finds its way back to us.”
> Comics, the youngest brother says, “became a treasured refuge” for his mother and uncle in their cramped childhood apartment where luxuries were few.
> “But they had each other and a shared love for comic books,” he says.
> As adults, his mother and uncle determined to pass along their treasured comics to her sons, as the uncle was a lifelong bachelor with no children of his own.
> “Until then, she carefully tucked the box away, deep into the recess of the attic, hidden but safe,” he says. “But as the years unfolded, life brought about a series of losses and changes. The demands of everyday survival took center stage, and the box of comics, once set aside with care and intention, was forgotten. Until last Christmas.”
[1] https://www.ha.com/heritage-auctions-press-releases-and-news...
- Is it possible that by knowing less about garbage collection in Java this person might have arrived at the same solution earlier? After all his initial construction of a tracing garbage collector was wasted effort.
- It should be possible to complain about the downsides of a political action without being called entitled.
- In the UK at least, talk of civil war by right-wingers is intended not to put fear into their friends but to excite them. As they envisage, it's they who will be starting it.
Yes that will act to consolidate a voting bloc for Musk's allies. If it were additionally to cause chaos that would be a bonus. Right-wingers in the US love nothing more than to point to a situation in a foreign country as a warning of the perils of leftism. Usually they just make shit up but of course it's better not to have to.
- What do you think Musk is trying to do here? His purpose is not coolly to assess the probability of a certain outcome (nobody asked him to do that!) but rather to make that outcome more probable.
- Is this as well as inventing a superintelligent AI? Too much.
- You must know better humans than I do.
- You're using an LLM to translate Lean to Python? Care to tell us more?
If you want to prove stuff about programs then Lean is a very capable tool. But it's intended that you write the program itself in Lean and not in some other language.
I guess if you ask an LLM nicely it will attempt to translate a program that has already been written in Lean to one in Python, but why would you want to do that? I doubt it will run any faster.
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.