Late reply, but Gelfand's geometry textbook was published [0] in 2020. I think it was completed by his colleagues after his death in 2009. The calculus [1] and combinatorics [2] books are also in print.
I think part of the point of this brochure is to think about the problems intuitively in the context they are presented. So in the first problem it's just kids trying to buy their first book, it would be silly to think Masha had a fraction of a kopeck (assuming you understand what a kopeck is, I really think it should have been translated as cent) and that the answer could be in range [7, 8). This may be what he talks about when he says that many academics fail at these problems.
Similarly, in problem #2 the cork indeed costs 0.5 kopecks but in this case we're just thinking about cost conceptually, not in terms of how much money a person actually has on hand.
> Safari 14 has resolved an inconsistent, tedious bug I kept experiencing (most often on reddit): changing the URL query parameters in the address bar and hitting return immediately resulted in the page merely being reloaded. Had to wait a solid second or so before hitting return to have a decent chance of getting the correct page.
I've experienced something similar before Safari 14: when opening Safari for the first time and quickly pasting the URL to the address bar and hitting Enter, the URL would just disappear and I'd hear a bell sound. Had to wait a second to paste the URL and have it actually go to that page. These little things contribute to a general feeling that the browser is not polished enough for everyday use.
A few things that kept me from using Safari full time (instead of Chrome) last time I tried it:
- On my 15" Macbook Pro (mid 2014), when you speed up videos in Safari the sound is distorted and weird, while in Chrome it sounds properly sped up. I use this a lot when watching educational videos.
- Youtube videos max out at 1080p.
- While there are decent ad blocking extensions, they're not as good as uBlock Origin.
- Web pages are fast and smooth, but the browser UI doesn't consistently feel as quick and snappy as Chrome.
- I once saw some rendering bugs when loading old reddit -- parts of the page were black.
[0] https://www.springer.com/gp/book/9781071602973
[1] https://store.doverpublications.com/0486414485.html
[2] https://store.doverpublications.com/0486425665.html