alimw

5 ms·

1.
by alimw 5mo ago
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.
2.
Man jailed for killing abused wife who jumped from bridge(bbc.co.uk)
4 points by alimw 5mo ago|1 comments
3.
by alimw 6mo ago
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!
4.
by alimw 6mo ago
Does the paper really claim that every one of us has this tendency to the same degree?
5.
by alimw 7mo ago
> 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
6.
by alimw 8mo ago
And yet... TFA
7.
by alimw 8mo ago
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
8.
by alimw 8mo ago
> 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
9.
by alimw 8mo ago
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.
10.
by alimw 9mo ago
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.
11.
by alimw 9mo ago
Norman Foster is the architect not the critic! His firm is based in London and does its stuff all over the world.
12.
by alimw 9mo ago
The country doesn’t have much to do with it. Norman Forster travels all over.
13.
by alimw 9mo ago
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.
14.
by alimw 9mo ago
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 incre
15.
by alimw 9mo ago
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.
16.
by alimw 9mo ago
You literally just used NATO for a grouping that does not include the US.
17.
by alimw 9mo ago
Illustration of Simpson's paradox: personality disorder w. negative language no disorder w. negative language total 992 75% 945 25% but actuall
18.
by alimw 9mo ago
> I only did a postgraduate degree This confuses me. Aren't all the best degrees postgraduate degrees?
19.
by alimw 10mo ago
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 differ
20.
by alimw 10mo ago
Thanks! But unwatchable on that link because of all the ads. Try https://www.ias.edu/video/computer-science-and-game-theory-c... instead.
21.
by alimw 10mo ago
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.
22.
by alimw 10mo ago
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 wa
23.
by alimw 10mo ago
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.
24.
by alimw 10mo ago
It should be possible to complain about the downsides of a political action without being called entitled.
25.
by alimw 10mo ago
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&#x27
26.
by alimw 11mo ago
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.
27.
by alimw 11mo ago
Is this as well as inventing a superintelligent AI? Too much.
28.
by alimw 11mo ago
You must know better humans than I do.
29.
by alimw 1y ago
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 l
30.
by alimw 1y ago
If your weapons can stop working according the whim of America, that would be seriously subpar.

More ›