Maybe, just maybe, the bubble started bursting now.

I see, maybe that’s it. But I’ve also seen many who aren’t rich and get by through scholarships instead. I believe I am one of them - I earn a little bit of money as I pursue my doctorate, although it’s not much. I guess this is impossible in US, maybe…

I do not understand what this has to do with greed.

Ah, that would be a loophole.

Wdym death of windows, is this another of those clickbait vids?

Dunno why people think this is the worst solution. Don’t many of those people love to pee in streets, rather than bother to find toilets? This sounds like an excellent deterrent, and that it works shows that people needed comparative incentive to use the toilet.

Yeah, not everything is about the homeless. Are there actually many homeless in Munich, compared to rude tourists?

Judging by the Parser newtype, he did.

I don’t understand why their share is rising, not falling. Is there anything I am not understanding here? Will people rely even more on Amazon after this incident?

Interesting. Do you have some specific goal in mind? Like, implementing a language/library for the GRTT stuff.

I see, having modalities on type level makes sense as a grading, alike the grading of e.g. polynomial rings.

So you are going along the line of linearity and affine-ity? What kind of stuff are you working out?

Ah, joy of commutative algebra.

Wait until you get to noncommutative algebra… shudders. No one who mastered that monster of a subject is sane in any measure.

I mean, it would help you understand what a ring is, if you know monoids. It clearly helps. Right? …right?

I mean, that one is a tame example compared to e.g. https://ncatlab.org/nlab/show/homological+algebra

Ohh, playing with abstract systems, sounds nice! Also who can forget linear algebra in any math >.>

deleted by creator

Oh, is algorithmic complexity part of combinatorics, or am I missing the mark? I would love to hear more about the kind of combo you do!

I am sure there are some cryptologists here, soo… Nothing? Anyway, I know a bit about how RSA is inferior to eliptic-curve based schemes, and how security can be such a diverse and complicated topic than simple two-party communications.

Hello, what branch of math are you specialized at? Algebra, Analysis, or Geometry?

How do you have space in your brain for many areas while also delving into pure math? I feel math is soo deep that I cannot learn anything else…

What kind of grading do you give there? I guess the modal part is about the contexts for the type theory, but it has been some time I have looked into it.

Together we can stop this.