xanderlewis

6 ms·

1.
by xanderlewis 6d 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 6d 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 6d 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 10d ago
What are the upsides? I’d like to feel excited too.
5.
by xanderlewis 13d 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 14d 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 14d 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 14d 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 2mo ago
Exactly what I think every time someone uses the word 'cope' these days. It's like some kind of virus.
10.
by xanderlewis 4mo ago
You won't advertise? Please do.
11.
by xanderlewis 5mo ago
Why is Grit pseudoscience? I haven't read it.
12.
by xanderlewis 6mo 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 6mo ago|0 comments
14.
by xanderlewis 6mo ago
Also known as fox hunting.
15.
by xanderlewis 7mo ago
I saw pirillo.com and thought 'it's got to be him'.
16.
by xanderlewis 7mo 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 7mo ago
But then you must agree that it's not a coincidence.
18.
by xanderlewis 8mo 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 8mo 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 8mo ago
What do 'domain valleys' and 'tunneling' mean in this context?
21.
by xanderlewis 9mo ago
Ham isn't an acronym. Just saying!
22.
by xanderlewis 10mo ago
I'm not talking about monetary cost.
23.
by xanderlewis 10mo ago
With no cost?
24.
by xanderlewis 10mo 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 11mo 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 11mo ago
> too obsessed with getting ahead or perhaps with others (potentially) getting ahead of us.
27.
by xanderlewis 11mo 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 11mo 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 11mo 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 11mo ago
You must not know great Lobachevsky.

More ›