Gnome Is The Only DE That Plays Nice With Zoom Out Of The Box As Of Early 2020. Source: I Tried A Lot

Gnome is the only DE that plays nice with zoom out of the box as of early 2020. Source: I tried a lot of other things first and the fucking sound didn’t work. Admittedly, every once in a while, gnome tells me that my only speaker is named Dummy Audio and when that happens I have to run pulseaudio and ^C before it finishes telling me that pulseaudio is already running. Promptly after killing the audio daemon in this way, everything works in a lovely fashion for the next day or so.

Stop talking shit about Linux Desktop Environments!

KDE is Pretty! XFCE is Efficient! Gnome... Mate is Traditional!

Locally-flat earthers

there should be a flat-earth-like conspiracy theory for every 2-manifold. show me the real projective plane earthers

They are, of course, not contradictory. I misunderstood your point, and totally agree that beautiful details come out in the rigor.

Also, that’s a wonderful illustrative example. Thanks.

Potentially a hot take but the whole point of mathematics, especially pure mathematics is to be pedantic. We want to be sure what we're doing makes logical sense.

Sure you have experiments to back up your flimsy mathematical arguements but we care about details because that's what maths is.

I’d like to share a couple of highlights of my discord messages today.

7:42 pm

AAAAAAA I HATE INDUCTION

The book my team is using as a reference suppressed a really specific detail of a proof by hiding it as an exercise

And it’s like 8 pages of induction

11:40 pm

Frothing at the mouth ok there are a couple of problems with my induction and the actual proof is like three lines of triangle inequality.

anyway, the moral of the story is that in a δ-hyperbolic geodesic space (one where any point on a side of a triangle is within δ of the other two sides), any 8δ-local geodesic (a path that is preserves distances between any two points within 8δ of each other in the domain) stays uniformly within 2δ of the geodesic connecting its endpoints.

Ok so apparently I had to close the path notes by typing :q before it would do anything so I think I lose actually

Don't poweroff while in the middle of package upgrades every three days challenge. Difficulty level: what the fuck is wrong with me

sorry for not knowing how to act around you . in my defense if you haven’t articulated your feelings about me clearly and in excruciating detail i will just assume i am simply an acquaintance in your mind out of fear of making things weird