Jaxan

7 ms·

1.
by Jaxan 6d ago
I looked in the AppStore for “symmetry draw”, and there are at least 10 such apps.
2.
by Jaxan 12d ago
Wouldn’t a lot already be in leans mathlib?
3.
by Jaxan 12d 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.)
4.
by Jaxan 12d 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
5.
by Jaxan 20d ago
I guess it’s submitted for the method rather than the result.
6.
by Jaxan 25d 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.
7.
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.
8.
by Jaxan 1mo ago
The specification of qr codes says you should look only at the centres, iirc.
9.
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...
10.
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
11.
by Jaxan 2mo ago
Oh this reminds me that we used to create buttons for navigation in flash!
12.
by Jaxan 2mo ago
Market size is different: everyone needs a mail client, but not everyone needs 3d modelling.
13.
by Jaxan 2mo ago
Hmm strange, I have never had a thunderbird folder in my home dir. I use thunderbird on Mac, Windows and Linux (Ubuntu).
14.
by Jaxan 2mo 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.
15.
by Jaxan 2mo ago
Which also shows there isn’t “one father”, multiple things (and people) had to come together.
16.
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.)
17.
by Jaxan 3mo ago
You can have your own version. You don’t have to push all improvements upstream.
18.
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).
19.
by Jaxan 3mo 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
20.
by Jaxan 3mo 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
21.
by Jaxan 3mo ago
You could at least fix the latex commands when copy pasting the abstract. ;-)
22.
by Jaxan 4mo ago
I used audacity 20 years ago and the interface is still the same. That is also worth something.
23.
by Jaxan 4mo ago
On the other hand, the language is already 35 years old and people still use it! Many other languages have died in the meantime.
24.
by Jaxan 4mo ago
No. These are polynomials (in x).
25.
by Jaxan 4mo ago
I think the current situation shows that outsourcing is also expensive. The costs are just different or not always clear up front.
26.
by Jaxan 5mo ago
If you don’t like the taste, you shouldn’t drink it, imo. So yes, one enjoys coffee exactly for the flavour.
27.
by Jaxan 5mo ago
Why?
28.
by Jaxan 5mo ago
They are told to believe that.
29.
by Jaxan 5mo ago
“Almost everywhere” is a mathematical term and can mean two things (I think): - except finitely many, or - except a set of measure zero.
30.
by Jaxan 5mo ago
I played that too!

More ›