I looked in the AppStore for “symmetry draw”, and there are at least 10 such apps.
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.)
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…
I guess it’s submitted for the method rather than the result.
It also depends on your screen brightness. In my case, if it’s set to maximum, there is no difference between SDR and HDR.
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.
The specification of qr codes says you should look only at the centres, iirc.
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...
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…
Oh this reminds me that we used to create buttons for navigation in flash!
Market size is different: everyone needs a mail client, but not everyone needs 3d modelling.
Hmm strange, I have never had a thunderbird folder in my home dir. I use thunderbird on Mac, Windows and Linux (Ubuntu).
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…
Which also shows there isn’t “one father”, multiple things (and people) had to come together.
You can have your own version. You don’t have to push all improvements upstream.
It (the http rfc) refers to other standards such as for URLs, and those did actually change (to include ipv6 and more internationalisation).
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…
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…
You could at least fix the latex commands when copy pasting the abstract. ;-)
I used audacity 20 years ago and the interface is still the same. That is also worth something.
On the other hand, the language is already 35 years old and people still use it! Many other languages have died in the meantime.
No. These are polynomials (in x).
I think the current situation shows that outsourcing is also expensive. The costs are just different or not always clear up front.
If you don’t like the taste, you shouldn’t drink it, imo. So yes, one enjoys coffee exactly for the flavour.
Why?
I looked in the AppStore for “symmetry draw”, and there are at least 10 such apps.
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.)
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…
I guess it’s submitted for the method rather than the result.
It also depends on your screen brightness. In my case, if it’s set to maximum, there is no difference between SDR and HDR.
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.
The specification of qr codes says you should look only at the centres, iirc.
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...
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…
Oh this reminds me that we used to create buttons for navigation in flash!
Market size is different: everyone needs a mail client, but not everyone needs 3d modelling.
Hmm strange, I have never had a thunderbird folder in my home dir. I use thunderbird on Mac, Windows and Linux (Ubuntu).
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…
Which also shows there isn’t “one father”, multiple things (and people) had to come together.
You can have your own version. You don’t have to push all improvements upstream.
It (the http rfc) refers to other standards such as for URLs, and those did actually change (to include ipv6 and more internationalisation).
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…
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…
You could at least fix the latex commands when copy pasting the abstract. ;-)
I used audacity 20 years ago and the interface is still the same. That is also worth something.
On the other hand, the language is already 35 years old and people still use it! Many other languages have died in the meantime.
No. These are polynomials (in x).
I think the current situation shows that outsourcing is also expensive. The costs are just different or not always clear up front.
If you don’t like the taste, you shouldn’t drink it, imo. So yes, one enjoys coffee exactly for the flavour.
Why?