[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.9407115 [View]
File: 248 KB, 844x1266, HaleyTaylor.jpg [View same] [iqdb] [saucenao] [google]
9407115

>>9406912
>Another thing that i do not have in common with men is the whole looking at "hot" women. Instead i get pissed off by their short shorts and disgusted by their over use of make-up

I see no way how you'd rationalize such an emotional reaction to shorts and make-up, while seemingly being so untouched by sexual appeal. The sexual frustration is as evident as it could get.

>> No.8742794 [View]
File: 248 KB, 844x1266, HaleyTaylor.jpg [View same] [iqdb] [saucenao] [google]
8742794

>>8742712
I lost track of which anime guy I talk to.
What isn't a meme?
I personally don't think HoTT can take off (because there are too few relevant things it could prove within the next 10 years and I don't see that many uses for typey equality in programming, given how cumbersome it is to write down those long types), but I'm sure there are type theories with simpler equality and simpler semantics that people should learn and study and develope.

%%%%%%%%

Today I came up with this formula that I hadn't known before

[math] \prod_{k=a}^{b-1}\dfrac{B+k}{A+k} = \prod_{k=A}^{B-1}\dfrac{b+k}{a+k} [/math]

Product[(A + k)/(B + k), {k, a, b - 1}] // Simplify

Corollaries are

[math] \prod_{k=a}^{b-1}\left(1+\dfrac{1}{A+k}\right) = \dfrac{b+A}{a+A} [/math]

[math] \prod_{k=a}^{b-1}\left(1+\dfrac{1}{k}\right) = \dfrac{b}{a} [/math]

[math] \prod_{k=1}^{b-1}\left(1+\dfrac{1}{k}\right) = b [/math]

Navigation
View posts[+24][+48][+96]