generationP

8 ms·

91.
by generationP 3y ago
This is nice, but I suspect that a barycentric coordinate bash with the formulas in Evan Chen's book could also do 30% of the IMO (seeing that most of it is about triangles) on a modern laptop.
92.
by generationP 3y ago
I expected three-number inequalities to give in first, as there is less of a question about what counts as a proof. I didn't know that the latter problem was already solved in 2000 ( http://www.mmrc.iss.ac.cn/~xgao&#x2F
93.
by generationP 3y ago
Ah, thanks! It seems to be this one http://www.mmrc.iss.ac.cn/~xgao/paper/jar-gdbase.pdf plus some algebra for adding angles and lengths. As I hoped, they are using oriented angles mod 180° ("full-angles&quot
94.
by generationP 3y ago
What they did here is one of the first steps towards an AI that generates nontrivial and correct mathematical proofs. (An alternative benchmark would be IMO-level inequalities. Other topics such as algebra, combinatorics and number theory a
95.
by generationP 3y ago
What deductive system are they using to verify the proofs? I'm asking because the conventions of olympiad geometry are slightly different from those of the rest of mathematics (you can make informal "general position" argumen
96.
by generationP 3y ago
> humanly navigable This is Sweden; I would bet that there are hiking trails connecting everything on that map, although maybe not a single one for all the planets. Roslagsleden (13 day hikes) + the first 9 etapper of Vikingaleden bring
97.
by generationP 3y ago
> The video content industry has Kafkaesque licensing agreements Isn't the same happening with video games? I've seen video games remove some music from their soundtracks as their limited-time licenses lapsed.
98.
by generationP 3y ago
Interesting! So that's why I used to get crappily rasterized printouts of PDFs in Chrome a few years ago. I had thought printers could be trusted with their own rendering, but of course that is another can of worms...
99.
by generationP 3y ago
Learning a language at school, you will soon be better than natives at grammar. It's the vocabulary, idioms and implicatures that will be tripping you up. Does grammarly really help with those?
100.
by generationP 3y ago
Huh? How does a video card affect printing?
101.
by generationP 3y ago
Yep, but that's begging the question :)
102.
by generationP 3y ago
Do we know what messages were the bone of contention? Don't tell me this isn't common knowledge among dozens of people at least...
103.
by generationP 3y ago
Ah, IRC. Yeah, I came too late to make new friends there (though it was still good for keeping in contact with old ones). Still managed to enjoy the usenet, although the "big" groups were already full of spam.
104.
by generationP 3y ago
How much was there to find on the internet in the 90s? I arrived ca. 2001 and found enough high-quality content (folk songs, math puzzles, some books already digitized) to feel like I had discovered a giant library. And it kept growing: Wik
105.
by generationP 3y ago
4th edition and still hasn't bothered to disambiguate between polynomial and polynomial function. Still a good example of mathematical writing. But, as Einstein supposedly said, "as simple as possible but not simpler". Why is
106.
by generationP 3y ago
It seems to have a bug where if you load a file from the app using the quick-load 1,2,...,10 keys in the File menu, then the next time you open another file in SumatraPDF from the explorer, it immediately opens several other files. This may
107.
by generationP 3y ago
This is more trouble than it's worth for the mathematicians of today. What exactly is gained from these ORCIDs? A DOI auto-generates a clickable link, allows for automatic reference tracking, and (hardly an intended feature but perhaps
108.
by generationP 3y ago
OK, so I typically use DOIs in my bibliographies, although I seem to be in the minority for now. What next? You have to find the exact name of the author that changed and edit it. Let's say you do so (not a trivial undertaking since re
109.
by generationP 3y ago
SumatraPDF on Windows is lightning fast with the kind of PDFs you get from the arXiv (true PDFs without heavy graphics). I don't know what is fast on Linux, but probably some MuPDF-based viewers are (the MuPDF PoC viewer is fast even o
110.
by generationP 3y ago
Huh, not half bad! Reporting a few bugs.
111.
by generationP 3y ago
Though that one is perhaps to blame on pdfTeX rather than on the TeX format :)
112.
by generationP 3y ago
They seem to be trying: > In addition, arXiv will provide substantially better access to the visually impaired by producing HTML as well as PDF versions of its content. But it's a different question whether they will succeed. A comp
113.
by generationP 3y ago
There is no good way to deal with name changes. You can change them in the metadata, but the old ones will still be around in the paper itself. You can let authors change them in the paper, but the old ones will still be around in others&#x
114.
by generationP 3y ago
Browsers are painfully slow at rendering PDF. Open them with your local reader.
115.
by generationP 3y ago
That'd be good.
116.
by generationP 3y ago
> migrate to the cloud Oh great, looking forward to a captcha every time I download a paper. (FWIW, arXiv is one place I trust not to make such stupid decisions, but migrating to a cloud often means the decisions are no longer made in-ho
117.
by generationP 3y ago
The omnibox stayed but got nerfed in a rather idiotic way, if https://support.google.com/chrome/thread/6240767/behaviour-o... is to be trusted. So I wouldn't say it "never happened", assuming t
118.
by generationP 3y ago
Could it have been what led to this? https://support.google.com/chrome/thread/6240767/behaviour-o...
119.
by generationP 3y ago
Ah, I didn't spot that they no longer require counting installs. But you're right; this is probably what "the number of new people" means. And the "2.5% revenue share" variant means no hurdles for freeware. So
120.
by generationP 3y ago
[EDIT: False; see comments.] From a viewpoint of "will it be compatible with a DRM-free release that doesn't phone home" (i.e., playing by GOG rules), this doesn't seem to solve the problem at all. What is in it for them

More ›