Id Like To Share A Couple Of Highlights Of My Discord Messages Today.

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.

at some point you have to realize that you actually have to read to understand the nuance of anything. we as a society are obsessed with summarization, likely as a result of the speed demanded by capital. from headlines to social media (twitter being especially egregious with the character limit), people take in fragments of knowledge and run with them, twisting their meaning into a kaleidoscope that dilutes the message into nothing. yes, brevity is good, but sometimes the message, even when communicated with utmost brevity, requires a 300 page book. sorry.

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

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.

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!

...In fair verona where we lay our scene...