tim-kt

6 ms·

1.
by tim-kt 8d ago
You're correct that nobody really understands what these huge Lean proofs actually say. However, the initial statement, even for Navier-Stokes, is not very long [0]. Still, you are also right that sometimes the problem statement can be
2.
by tim-kt 8d ago
They said that a customer would have paid around 15 million for the required compute. I can't imagine that this was not a significant internal spending even with "free" tokens.
3.
by tim-kt 9d ago
I mean, yes. But "it doesn't hold that <anything>" is equivalent to "it holds that <not anything>" and since not anything is also anything... Ah, I see.
4.
by tim-kt 9d ago
If mathematicians aren't solving problems people are having (which your comment seems to imply), then putting them out of their job with AI is not a bad thing. Of course mathematicians are solving problems, just in a very different way
5.
by tim-kt 9d ago
It's true precisely because it's vacuous. If you quantify over the empty set, anything is true. In other words, the statement "for every x in {} it holds that <anything>" is always true.
6.
by tim-kt 15d ago
You can also think of conditional convergence as convergence under the condition of a specific order. It then turns out that unconditional convergence (that is, convergence where it doesn't matter what order you choose) is equivale
7.
by tim-kt 3mo ago
But this defeats the point of having open access and usually a DOI points to a journal. Why have a journal that reviews journal articles?
8.
by tim-kt 3mo ago
I'm in math, so I can't give you an answer on tech journals unfortunately. And for math, I don't really read any specific journal. It's so much work to read and get something out of a research paper in math that I pretty
9.
by tim-kt 3mo ago
This reminded me of the fact that one colleague of mine even updates the arXiv version if any errors are spotted and says himself that this makes the arXiv version better than the journal version.
10.
by tim-kt 3mo ago
If you know the authors of your specific area of research, arXiv is a nice way to read their new papers when they are (mostly) done but the submission to a journal is not finished yet.
11.
by tim-kt 6mo ago
Still, technically correct.
12.
by tim-kt 6mo ago
Technically, the slogan says "Lick balls Merz" (any balls are fine).
13.
by tim-kt 7mo ago
But this is addressed in the first sentence? > [...] right-clicking an image while some text on the page is highlighted (to show as many buttons as possible) looks like so
14.
by tim-kt 7mo ago
Motorola was subsequently sold to Lenovo in 2014. https://news.lenovo.com/pressroom/press-releases/lenovo-comp...
15.
by tim-kt 7mo ago
I agree. I would say that I am addicted to caffeine. I definitely get withdrawal symptoms if I don't have a coffee. But since it is so accessible and there are no health risks, it does not affect me negatively to "feed" the a
16.
by tim-kt 7mo ago
Do you have some practical tips to reduce exposure to unwanted thoughts (except for, maybe, the obvious such as making sure that people/things do not interrupt you while you work by turning off notifications and closing the door)?
17.
What to do before thinking hard(timktitarev.wordpress.com)
1 points by tim-kt 7mo ago|2 comments
18.
by tim-kt 8mo ago
> although largely because the point isn't being made precisely I agree. I wasn't really trying to make a point. But yes, what I am implying is that posts that you can immediately recognize as AI are low effort posts, which are
19.
by tim-kt 8mo ago
My comment was not really meant as a criticism (of AI) but more of an agreement that I am also confident in the fact that the post is AI-generated (while the parent comment does not seem to be so confident). But to add a personal comment or
20.
by tim-kt 8mo ago
To me this kind of use of AI (generating the whole article) is equivalent to a low-effort post. I also personally don't like this kind of writing, regardless of whether or not an AI generated it.
21.
by tim-kt 8mo ago
It does for me too. Especially the short parts with headings, the bold sentences in their own paragraph and especially formulations like "X isn't just... it's Y".
22.
by tim-kt 8mo ago
Personally, I just don't like the way this is written. As I said though, I am not an expert and so I may be outside the target group. I think that the original "this is AI" comment is an automatic response which alternatively
23.
by tim-kt 8mo ago
While I agree that it's not important whether or not someone uses AI to improve a blog post or create code examples, this blog post seems like the output of the prompt "Write an interesting blog post about a goroutine leak".
24.
by tim-kt 8mo ago
This seems like an interesting problem and an interesting fix, but there is so much code and so little explanation that I am lost after "The Code That Looked Perfectly Fine". It also reads very much like AI. And FYI the "outp
25.
by tim-kt 8mo ago
You can still optimize for the expectation value, which is also essentially poker strategy.
26.
Continuous Petrov-Galerkin methods for nonlinear problems(timktitarev.wordpress.com)
3 points by tim-kt 9mo ago|0 comments
27.
by tim-kt 10mo ago
I saw the mirrored interactive Human simulator and decided to just post this exact Show HN: https://news.ysimulator.run/item/2297
28.
by tim-kt 11mo ago
I don't know how to use WordPress, so I accidentally published this as a standalone site. I'm killing the submitted link and the actual blog post now lives here: https://timktitarev.wordpress.com/2025/10/
29.
Continuous Petrov-Galerkin methods for nonlinear problems(timktitarev.wordpress.com)
3 points by tim-kt 11mo ago|2 comments
30.
Publishing my bachelor's thesis in applied mathematics(timktitarev.wordpress.com)
1 points by tim-kt 11mo ago|0 comments

More ›