xanderlewis

3 ms·

1.
by xanderlewis 2mo ago
There’s a simple point to be made: if no one in the world understands an AI proof, what’s the point?
2.
by xanderlewis 2mo ago
Good question, and maybe I should have provided an alternative description rather than just criticising. Unfortunately, it is actually surprisingly hard to pin down, and I think mathematicians (and, as a student, I count myself as one to so
3.
by xanderlewis 2mo ago
Friendly warning to those who might not be aware: the vast majority of comments below posts like the above will be left by (otherwise intelligent) programmers who think mathematics is a closed system where one attempts to solve endless Olym
4.
by xanderlewis 2mo ago
What are the upsides? I’d like to feel excited too.
5.
by xanderlewis 2mo ago
I have a strong sense that almost none of the commenters and blog post authors ranting here about mathematics have any clue about mathematics or its culture. I do not recognise any of these descriptions of mathematicians at all, and can onl
6.
by xanderlewis 2mo ago
So tell us your story. It’s highly relevant to how we should interpret your opinion. Otherwise you just sound like a jaded bitter washup.
7.
by xanderlewis 2mo ago
Sorry, but I doubt you have anything interesting to contribute and probably have no expertise in mathematics. I’d rather hear from those who do.
8.
by xanderlewis 2mo ago
Has and will. Are you going to back that assertion up at all, or just repeat it like that other viral thought-terminating cliche: ‘this is the worst the models will ever be’?
9.
by xanderlewis 3mo ago
Exactly what I think every time someone uses the word 'cope' these days. It's like some kind of virus.
10.
by xanderlewis 6mo ago
You won't advertise? Please do.
11.
by xanderlewis 6mo ago
Why is Grit pseudoscience? I haven't read it.
12.
by xanderlewis 7mo ago
Why is it ill-defined? As you said, there's no contradiction. Also, in the usual ZF set theory, it's empty.
13.
Deep Space Network Now(eyes.nasa.gov)
4 points by xanderlewis 7mo ago|0 comments
14.
by xanderlewis 7mo ago
Also known as fox hunting.
15.
by xanderlewis 8mo ago
I saw pirillo.com and thought 'it's got to be him'.
16.
by xanderlewis 9mo ago
> Apple's visual OS design was never that far ahead of the curve That tends to happen when you're the one defining the curve.
17.
by xanderlewis 9mo ago
But then you must agree that it's not a coincidence.
18.
by xanderlewis 9mo ago
I'm sure you don't have the brain of a gnat, and, even if you did, it probably wouldn't prevent you from understanding this. As for whether these definitions have a clear meaning that one can relate to 'the world':
19.
by xanderlewis 9mo ago
Opposing view (that I happen to hold, at least if I had to choose one side or the other): not only is mathematics 'reality'; it is arguably the only thing that has a reasonable claim to being 'reality' itself. After al
20.
by xanderlewis 9mo ago
What do 'domain valleys' and 'tunneling' mean in this context?
21.
by xanderlewis 11mo ago
Ham isn't an acronym. Just saying!
22.
by xanderlewis 11mo ago
I'm not talking about monetary cost.
23.
by xanderlewis 11mo ago
With no cost?
24.
by xanderlewis 11mo ago
> The UK locks up more people for speech crimes than Russia does. Do you think there might be a fairly obvious reason for that?
25.
by xanderlewis 1y ago
That's because a lot of commenters here are not hackers in any real sense; rather, they're software engineers. Perhaps this hasn't always been the case.
26.
by xanderlewis 1y ago
> too obsessed with getting ahead or perhaps with others (potentially) getting ahead of us.
27.
by xanderlewis 1y ago
> a better way of doing something Your argument fails right here because you're supposing something that isn't true. LLMs are better than search engines for some things, but you're speaking as if they're a replaceme
28.
by xanderlewis 1y ago
...good question. This (standard) excuse is designed to make you feel bad for potentially insulting someone trying their hardest, but it doesn't make any sense.
29.
by xanderlewis 1y ago
You're right. Unfortunately, it seems that not many are willing to admit this and be (rightly) impressed by how remarkably effective LLMs can be, at least for manipulating language.
30.
by xanderlewis 1y ago
You must not know great Lobachevsky.

More ›