osoba

Regarding that GNOME update, do GNOME developers just don't have any competence in UX design? That screencast is suggesting you need to click the activities button in the top left corner to be able to reveal a nav panel that's all the way at the bottom.

Similarly, right now, in current versions, in the file selection interface the Select button is in one corner of the window and Cancel all the way in the other.

Or the annoying unnecessary dialogue when you uncompress from an archive (no I don't want an app-blocking notification that the file extracted successfully).

Also there are microorganisms that digest plastic. They could've thrived at some point and then diminished in numbers after much of the plastic from the previous industrial civilization was consumed.

Excel is probably mislabelled, it should say HTML instead. Look at the list above

I had a class that was so easy that most students didn't bother to show up for lectures. Near the end of the semester the profesor got angry that nobody came to his lecture and decided to retroactively grade attendance with 70% of the grade. Most students flunked. I was fortunate that his class was in between two others I was taking, so I attended about half of the lectures and passed it with a grade that corresponds to the American C+/B-

Maybe this is a good opportunity for Firefox to abandon its "forced mediocrity" model.

The vanilla installation of Firefox lacks basic UI components (mouse gestures for example), lacks session management, and the bookmark and history interfaces look like they were made in 1995.

When you click an old entry in History I don't understand why it's so difficult for the selection to stay near the formerly clicked item, instead of it selecting the top most entry forcing you to scroll all the way down again if you want to open another entry that's near the previously clicked entry.

Why can't Bookmarks employ a simple logistic classifier? OK I've stopped using Firefox's bookmark system a long time ago (because its so shitty) but if I were to be still using it I would expect the browser to be smart enough to figure out that if all my bookmarks from a certain site are in a specific bookmark folder that most likely means this new bookmark from that same site should go there and should be offered as the 1st choice.

Now, yes, of course you can add all these features in a slow JavaScript-based addon which will eat your memory and cpu time and allow the Firefox team to blame the addons when something goes wrong with Firefox, but at some point you have to reconsider if this is such a good idea.

Sure very few people use mouse gestures in Firefox and adding them out of the box could be interpreted as bloat, but maybe if more users even knew what mouse gestures were and how useful they are, they would start considering them a fundamental aspect of a browser's interface and not just a fancy knick-knack.

I miss the old Opera so much :(

Those look more like proofs with pictures, than proofs by picture, but I'm too lazy to get involved into the obscure notation of that book and check whether a random proof from the book would be equivalent to a modern proof from a standard textbook.

Altough, judging by the old timey language of the book, it's possible the book predates Hilbert's axiomatization of Euclidean geometry and the proofs in it were good enough for the standards of its time.

In modern mathematics proof by picture generally means you've drawn / pointed out a single example, possibly wrongly or in a way that doesn't generalize, and because you've shown that one example holds you assume all possible examples hold. That, obviously, needs not be the case.

Proofs by picture arent proofs though. And how would you even convey by picture that two line segments are of the same length. Or that if you drew C and D as separate points they turn out to be the same point?

U, V: vector spaces

u, v: elements of vector spaces

G, H: groups

g, h: elements of groups or

g, h: homomorphisms, isomorphisms etc

e: group identity

K, F: fields

I: ideals

f: functions

(x): sequences

x_i: i-th element of a sequence

A, B: matrices

It all depends on the context it's used of course