Jaxan

4 ms·

1.
by Jaxan 5d ago
The caption on the close up says: “Details preserved on both face, face in the back in focus”. But it seems to me that a lot of detail is actually missing! On the later pictures you see a lot of skin “imperfections”, which looks much better
2.
by Jaxan 6d ago
Wouldn’t it be just as easy to keep Fortran alive with ai?
3.
by Jaxan 8d ago
I agree. But it’s cool to explore these things and if it’s the first time someone sees it, that’s nice!
4.
by Jaxan 8d ago
But if you program a for loop computing the sum from 1 to n, this also gets replaced by a constant (unless you build in debug mode). Why would an empty loop be different?
5.
by Jaxan 9d ago
Yes. A lot is not accessible if not logged in.
6.
by Jaxan 9d ago
Doesn’t help with scrapers though. They use a unique IP for each query.
7.
by Jaxan 9d ago
Sometimes you can use SMT for “theorem proving”. It is a rather broad term. I don’t think they added something much different than what they already had.
8.
by Jaxan 11d ago
With human proofs, I have some trust in process behind it.
9.
by Jaxan 12d ago
The recent proof of Fermats Last Theorem is interesting: it is (iirc) 13 million lines of lean code. And type-checking takes 5 hours or so on a pretty beefy machine. I cannot independently verify the proof, and I have to take Anthropics w
10.
by Jaxan 16d ago
I looked in the AppStore for “symmetry draw”, and there are at least 10 such apps.
11.
by Jaxan 21d ago
Wouldn’t a lot already be in leans mathlib?
12.
by Jaxan 22d ago
Most systems i have seen are way beyond a 100 lines. And their GitHub repository contain many issues, often soundness bugs. (Granted, many get fixed very fast.)
13.
by Jaxan 22d ago
This is a crucial point. There have been many bugs in Lean (and in other proof assistants for that matter). Proof assistants work well on human input, because it was created with a certain intent. We simply don’t know what those 13M contain
14.
by Jaxan 29d ago
I guess it’s submitted for the method rather than the result.
15.
by Jaxan 1mo ago
It also depends on your screen brightness. In my case, if it’s set to maximum, there is no difference between SDR and HDR.
16.
by Jaxan 1mo ago
Absolutely amazing. I recently searched this and google images showed so much ai slop. I don’t get that, why do people prefer generic Disney style crystal caves above the actual photographs of this amazing cave.
17.
by Jaxan 2mo ago
The specification of qr codes says you should look only at the centres, iirc.
18.
by Jaxan 2mo ago
I know it as binairo, which I have seen in paper magazines. On Simon Tatham’s puzzle collection it is known as unruly: https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/unru...
19.
by Jaxan 2mo ago
This is very similar to “Mosaic” on Simon Tatham’s puzzle webpage. There it is noted that: “This game is variously known in other locations as: ArtMosaico, Count and Darken, Cuenta Y Sombrea, Fill-a-Pix, Fill-In, Komsu Karala, Magipic, Maji
20.
by Jaxan 2mo ago
Oh this reminds me that we used to create buttons for navigation in flash!
21.
by Jaxan 2mo ago
Market size is different: everyone needs a mail client, but not everyone needs 3d modelling.
22.
by Jaxan 3mo ago
Hmm strange, I have never had a thunderbird folder in my home dir. I use thunderbird on Mac, Windows and Linux (Ubuntu).
23.
by Jaxan 3mo ago
You can also just put a paper on your website (or google drive). If arXiv isn’t working for you, why submit there? Personally, i see no problem with delays, research takes longer than a few days. Reviews take a few weeks or months even.
24.
by Jaxan 3mo ago
Which also shows there isn’t “one father”, multiple things (and people) had to come together.
25.
by Jaxan 3mo ago
No. In the Netherlands is not common to cycle on side walks. We have cycling lanes for that! Pedestrians and cyclists only meet at crossings. (The behaviour of cyclists in the big cities might be different though.)
26.
by Jaxan 3mo ago
You can have your own version. You don’t have to push all improvements upstream.
27.
by Jaxan 3mo ago
It (the http rfc) refers to other standards such as for URLs, and those did actually change (to include ipv6 and more internationalisation).
28.
by Jaxan 4mo ago
Producing phones emits a lot of CO2 (or equivalents). It takes more energy to produce, than the amount of energy a phone uses in its typical life. But yeah, these are great questions which are not obvious at all and should be answered when
29.
by Jaxan 4mo ago
You really don’t have to change your css. My personal website has been using roughly the same css for a decade. Why not? Sure if you are a designer and want to follow trends, you’ll have to keep your css skills up to date. But for most webs
30.
by Jaxan 4mo ago
You could at least fix the latex commands when copy pasting the abstract. ;-)

More ›