𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎

𝘦𝘯𝘵𝘩𝘶𝘴𝘪𝘢𝘴𝘵

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

let's share our beliefs
and dismantle our priors,
together.

i'll begin:

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@gptbrooke @animalologist she seems alright. :-)

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@PrinceVogel rumi, dickens, jung…? of whom i've read.

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@RomeoStevens76 @gptbrooke yes. @Actualwebutante is so.

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@emily_for_now @gptbrooke be careful. i screamed with all my might during one of @embryosophy 's workshops, and i completely lost my voice for the rest of the day.
it was great. 10/10.

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@PSaudonEmme oh and yes, that is indeed the question.

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@PSaudonEmme does the edition you spoke of not have the binomial in prop 4.27?

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@PSaudonEmme unless it is supposed to be something different than a sum from v to n over the modern binomial coefficient i.e.,
$\sum_v^n \frac{n!}{v!(n-v)!}$
it's notable that the value of this expression is *at most* $2^n$, that is, when v=0.

what do you think?

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@tautologer shorts anthology: the winds twelve quarters.

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@gptbrooke i'm kinda just interested to see who meets up, but lmk if you'd rather i delete it.

[alexandra @ptichushka]

the only true sensitive young man is my 80 year old friend from church, who tells me he is unable to look at beautiful women for too long because he will develop severe, life-threatening heart palpitations

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@JohnLee883653 @Rothmus no, this is actual mathematics.

for general audience motivation, maybe:
https://t.co/RoRCqwzk9L

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@PaulRRobichaud so you're saying i can wrap kant in basic categorical algebra and call it a result in quantum mechanics?

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@Sauers_ if you accept ch (or its unprovability, resp.), then all "computer numbers" are rational.
but not all "commutable numbers…"
finally !!! a wild data type appears.
https://t.co/4kRlhRgfYy
the above still holds. all, probably, useless.

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@IsomorphicPhi @sublatingnico it buys your computer a type of the reals.
https://t.co/Uu2kQXYfq6

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@PAHoyeck @HerpEmperor i wish i've been able to make another since the first! is there a day-wise schedule, or should i just ask misha?

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@bstract_thot ily.

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@zetalyrae box drawing can't do it, but i bet U+1fba0–1fba3 in "symbols for legacy computing" can get close with the right line spacing.

incidentally, you can easily draw a regular hexagonal/triangular grid in a rectangular lattice basis so long as you allow sqrt(2), sqrt(3) scalars.

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@viverricious congratulations viv :'-)

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

@hicasamadim f(x) = ax²-7ax+14x+10a-20, a∈N.

[christine @christineist]

Minjeong An

[𝘌𝘛𝘏𝘈𝘕 ʷⁱˡˡ ᶜᵘ ᵃᵗ ⁵ᶜᵃᵐᵖ ☀︎ ☁︎ @star_lings]

no, this is a fourier transform.

[maro @ProofofMaro]

How to talk to aliens btw