@ZevenKorian I want all the PowerPoint transitions in beamer as well -- especially the typewriter one with the sound

@JordiGH *'s stream

On the slow spread of knowledge of nice theorems, from https://cscresearchblog.wordpress.com/2018/11/16/karp-sipser-heuristic-and-reductions/

@JordiGH OH GOD NEXT DTREAM IS GOING TO BE GREAT

also, I...

I not only used proof by contradiction

I used proof by /several contradictions/

@JordiGH we have to find the way to insert the gnu into that game

@ZevenKorian yeah

used as an unambiguous and clear way of expression operator application in the SECD paper

used as an unambiguous and clear way of expression operator application in the SECD paper

@chjara is this polish notation?

that's why we have manifolds, stratifications AND fractals as active fields, because everything can come in handy

ofc as you get more roughness, it's harder to work and compute

there's always a trade-off between complexity and fidelity

Please bear in mind this is graduate-level maths most of the time. It's okay if it goes over your head, this level of math is super niche and abstract anyway.

Site map:

Public account: @Koishi

Math account: @ZevenKorian (you're here)

Main account: @Sheepy

Private account: @Luchtspieg

Joined Oct 2018