serious-discussion

[fathom swallow]

Heavenly Philosophy

[valid hornet]

Wait a moment, let me see if I'm capturing the thought right...

So, $\operatorname{range}(g^{**}) \subseteq A$.

[fathom swallow]

Heavenly Philosophy

[valid hornet]

So, $\operatorname{range}(g^{**}) \subseteq \operatorname{range}(g) \subseteq A$

[fathom swallow]

Heavenly Philosophy

[valid hornet]

And because of the bijections, $|\operatorname{range}(g^{**})| = |A|$.

[fathom swallow]

Heavenly Philosophy

[valid hornet]

I have to work on the names so they're not as confusing, but that's an idea for me.

Then, it's easy to prove that $|\operatorname{range}(g^{**})| \leq |\operatorname{range}(g)| \leq |A|$

[fathom swallow]

Heavenly Philosophy

[valid hornet]

Actually, I don't need to prove that injunction then.

I can just say that either $|\operatorname{range}(g^{})| = |\operatorname{range}(g)|$ or $|\operatorname{range}(g^{})| \neq |\operatorname{range}(g)|$, which is simply a truth of logic.

[fathom swallow]

Heavenly Philosophy

[upbeat heart]

What

[valid hornet]

It's seems like I have to prove the < relation is transitive in order for it to work, which seems equivalent to the theorem I'm trying to prove, so it might be pointless anyway...

[valid hornet]

https://en.wikipedia.org/wiki/Axiom_of_choice#Results_requiring_AC_(or_weaker_forms)_but_weaker_than_it It seems that it does.

[orchid frigate]

Hi

[valid hornet]

Hello!

[fresh comet]

hello!

[orchid frigate]

How is everyone tonight?

[fresh comet]

I'm doing alright

how about you?

[orchid frigate]

Tired but ok

[fresh comet]

aw, I hope you can get some rest soon

but it's good that you're doing alright

[pseudo glade]

Hii

I am new to this channel

[fresh comet]

hello! welcome to the mathcord!

how's your day going?

[pseudo glade]

Thank you

Just now started..

[fresh comet]

nice! any plans for the day? :o

[pseudo glade]

Morning

I have maths test

On conjugate gradient algorithm

[fresh comet]

I see

I wish you the best of luck with the exam

[pseudo glade]

Thank you🙌

[fresh comet]

I hope you got a good night's sleep

[pseudo glade]

No

😑

[hollow panther]

$testing \sum_{i=1}^n i^2 = \frac{n(n+1)(2n+1)}{6}$

[fathom swallow]

Riven

[valid hornet]

https://discord.com/channels/268882317391429632/844681108473118750

[orchid frigate]

I need to write website content and sleep for a meeting and busy day tomorrow.

[fresh comet]

sounds like you have a lot on your hands

good luck with the website, rest well, and I hope tomorrow treats you kindly c:

[orchid frigate]

Thanks. What are you up to?

[fresh comet]

still working on some math problems, though I should really be doing my actual homework

going to go to bed soon

gotta wake up in 7ish hrs

[misty owl]

Hello how’s it going?

[pseudo glade]

Sum of squares

[ocean harbor]

eepy and tired wbu

i got morning classes btw

https://tenor.com/view/good-morning-yall-good-day-good-morning-good-morning-gif-20302647

[misty owl]

Same

[ocean harbor]

https://tenor.com/view/cat-sisyphus-slide-espresso-gif-16709923176714960132

[arctic kettle]

can the sss congruence rule be proved ? i know sas rule is an axiom (silly ques)

without using any other congruence rules

[gritty heath]

If you assume you somehow know SAS then from the three sides of the triangle you can produce one angle using the cosine rule and use SAS

[bright badge]

but we are using SAS right? is there a way without congruency?

[gritty heath]

Whats your definition of congruence anyway

[bright badge]

in simple words, two figures with same shape, size?

[gritty heath]

Yeah but then what do we mean by same shape and size

[bright badge]

the angles and sides are the same

[gritty heath]

The problem is that its vague so we dont have anything to start with

[gritty heath]

Yeah then if you have SSS
Then that means the sides are the same alr

[bright badge]

oh..right..i get your point..so basically we will have to assume a startpoint to begin with?

[gritty heath]

And cosine rule gives you the three angles are the same

[gritty heath]

Yeah

You need a start point to work with

[gritty heath]

And this is a good start poiny

Now you can think why SAS is enough to show the sides and angles are all equal

Or why SSS is enough

[bright badge]

yep..got it

thanks @gritty heath

[mint canopy]

@pliant moon I see you also posted your ad here. Since I can't tell if you posted it before or after I asked you not to, I'm just going to remove it. Please don't post any more ads.

[stone dome]

Hi

[sonic vault]

can someone

help me with a capacitor doubt

ik it is not maths

[valid lance]

Hi

[jagged ridge]

yo

[valid lance]

Hey bro

Wassup

[jagged ridge]

studying

probabilities

[valid lance]

Me too lol

[jagged ridge]

fr ?

[valid lance]

That's so easy

[jagged ridge]

oh hsi

how old are you?

[valid lance]

Nah am not standing probability

Am just studing

[valid lance]

What's your age

[jagged ridge]

17

im studying for my finals of highschool

exam is tmrw

and i dont understand probabilities

at all

[valid lance]

Lol

Where u frm

[jagged ridge]

belgium

[valid lance]

Oh nice

That's kinda nice country

[jagged ridge]

yea its cool

except the math exams

💀

[valid lance]

Lmao

Well am 16

Am younger than u

It's your last year at highschool right

[jagged ridge]

yeah

i mean

iml home schooled

but i have to study

and pass exams

every now and then

this is my last one

after this

i graduate

[valid lance]

That's great ig

What u can't understand

Tell me the question

[jagged ridge]

i dont understand

anything

actually

look

dms

[valid lance]

Give me a pic of question

[jagged ridge]

accept friend request

[valid lance]

Yeh

Done

[vivid echo]

Wasusp

🪿

[tropic pivot]

[vivid echo]

[tropic pivot]

All good pal?

[vivid echo]

I'm goodm

How about Ou

You

🪿

[tropic pivot]

I'm good too. Thank you for asking.

[vivid echo]

People should talk here.

[tropic pivot]

Why do you think so?

[vivid echo]

Idk

Why not.

[tropic pivot]

I think we should go there where the crowd is.

[vivid echo]

Nipe.

Nope.

The opposite.

[tropic pivot]

Okay. You should wait for it. Good luck from here.

[vivid echo]

Cream stew

[atomic seal]

@mint canopy what other roles are that are related to "active"

[mint canopy]

Active, very active, emeritus.

That's all.

[quick beacon]

Helpful is also bot assigned and based on activity

[mint canopy]

Oh, I didn't actually know that

[atomic seal]

Helpful is like specifically in the help channels?

Also it seems like it takes a lot of effort to get these roles

I am very active for some time now

[quick beacon]

There are caveats to helpful, and I don't know all the details because they're in a separate repo that I don't currently have access to

[mint canopy]

It doesn't take a lot of effort, you just have to participate in the actual math channels.

[atomic seal]

thats the only channels I participate in xD

[mint canopy]

Cool

[bright condor]

If you are worthy, the bot will know.

[vivid echo]

What bot is this

[quick beacon]

@quasi jetty

[atomic seal]

ok

I will end this here

thanks

[vivid echo]

Squee

K

🐀

[thorny scaffold]

What is the best approach to improve your math knowledge when you're going in school, and are "way" before your math-course/peers (and always been, [not to sound like a complete jerk]). Currently our math course is really basic and covers the bare fundamentals from what it feels like. The problem with that for me is that it gets way to boring, how advanced you even make it. For example, our course does not include logarithms, polynomials, derivative, integrals or anything like that. But the math in it still expects you to use those kinds of concepts, but in the form of using a graphical solution to it, like desmos or geogebra.
And since I already know how to use those, when to use them etc I fallback to using them, even when you're "not supposed to" according to the math course.

My new maths teacher wants me to continue with the same math course and it's contents, in opposite to working my way up, exploring new math concepts and broadening my toolbox and understanding. What he says is basically that he wants me to work with the courses math, but in a more advanced way. Which is pretty tough imo, since you can only make it that hard, without it becoming unnecessarily repetitive and annoying to work with, as well as boring.

So I really want to hear your opinions, what's the best approach, or at least what will benefit me the most? Possibly coming from someone who has been in the same situation as me.

[inner canopy]

Is this a high school course or something in university?

[thorny scaffold]

Matte1C in Gymnasium in Sweden, which according to GPT roughly translates to Algebra II and a bit of precalculus, in high school

[toxic birch]

Just master what you study at school first and you can find everything yourself on the internet

[inner canopy]

well okay that's fine

how comfortable are you with the material being presented?

[thorny scaffold]

I’ve already worked with the exact same mathbook at my previous school, that we’re working with now. So very comfortable I’d say

[inner canopy]

Okay that's good

So your familiar with some basic notions of calculus?

[thorny scaffold]

Alr fair enough, but how would that benefit me more than by continuing into higher topics? I feel like it can easily get to boring for me that way, and essentially just make math boring overall. But at the same time if I just work my way up, I might miss something important that messes up for me in the long run. So pretty tricky situation. I do feel really comfortable with my knowledge so far, so I doubt it will be a problem.

[thorny scaffold]

Yeah

[inner canopy]

That's good

Are you looking to get into pure Mathematics or do you wanna know more math for applied purposes

Because that sorta leads you to two different tracks

[thorny scaffold]

Pure maths

[inner canopy]

Okay good
My main idea would be to look at what first year courses a university nearby offers and what material they use and start learning from those

These are usually something like linear algebra, analysis or abstract algebra

And there are introductory texts to all three out there

[grave vale]

https://youtube.com/@hiddenfaxs1?si=GDTAhK7DQINzeywL

some 5 year old made this crazy right

lowkey might sub ngl

[cinder ember]

I think that as long as you dont disregard your current school work, you won't miss anything important. You could learn Calculus I in your free time, or whatever you are interested in. There is plenty of material available in the internet, such as the courses the MIT uploads to youtube

being exposed to university courses early on can also help you adapt more quickly to the extreme jump that is high school -> college, once you do start it

[random void]

Ded chat

[errant zenith]

no

[random void]

Gotta make a move to a town that's right for me!

https://share.google/images/DKlLb1X2KfQ4MOz5T

[pearl spoke]

epic embed fail

[warm umbra]

Welcome to the server @thick sorrel @wheat mauve

[wheat mauve]

thanks

[zealous trellis]

o7 charlie

[delicate tendon]

ive seen some people get very active in under a week

but tbf, i think the people who do get it are chronically on this discord; atleast a convo every 2-3 hours

[warm umbra]

Welcome to the server @shut axle

[true zinc]

we got active in a week and a half, VA in a month

[zealous garden]

VA took work

Especially as someone who only uses discussy

[true zinc]

ehhh

wasn't that hard

according to Ryan

[zealous garden]

Aren't you in topic channels too

[true zinc]

then again we nolife discussy

so

[true zinc]

not enough

[zealous garden]

I wasn't in them at all

No topic or help channels

[true zinc]

we're mainly in discussion, adv lounge, math disc, and books

[zealous garden]

Only discussy grinding

[shut axle]

bro im failing math

i got a 13% on my last test

[round pecan]

chil

sometimes in life

you will have to fail

but through failures you learn

welcome @shut axle

[tropic pivot]

Remove distraction focus on targets start with easy topics or what makes the interest in it. And do streaks.

[tropic pivot]

Same to myself.

[neat lintel]

Hi everyone! 👋
I’m Arya, I am 17 years old and a self-taught math enthusiast. I explore combinatorics, geometry, algebra, and analysis, and I’ve been writing some independent research papers.

I also started a blog where I share my work and puzzles:
🔗https://aryasalgorithm.blogspot.com/?m=1

You can find all my research papers there

Excited to learn and discuss math with you all!

I have worked in isolation, so Idk how much my research work contributes, but I think it would be great if I had some fresh eyes upon it

[neat lintel]

Just tryna reach out to ppl who might be interested in my work

[vivid echo]

:3

[errant totem]

I need someone who can teach me trignometry in zoom

[vivid echo]

Why zoom

[neat lintel]

Why on zoom you can ask for questions and your doubts here on the server itself

[errant totem]

ok

[vernal shard]

i know why on zoom (or literally any other call app) because its more interractive and fast and cooler than texting

[neat lintel]

Ok its a personal choice

[vernal shard]

subjective

[neat lintel]

Hmm

[grim cargo]

heyaaaa!!

wassupp

[vernal shard]

nobody here

[gilded ferry]

How do I make a hell ticket

!help

[quasi jetty]

To ask for mathematics help on this server, please open your own help channel or help thread. See #❓how-to-get-help for instructions.

[severe robin]

Its peaceful here

I love this empty space

I can breathe here

Phewwwww

[severe robin]

Bro why you hate me 😭

[solid yarrow]

evil move

[polar temple]

when bro says he'll touch me so i tell a trusted adult

[ocean harbor]

im not but ur just weirdo for saying that

[polar temple]

its not that bad 😭

it's peak humour

[ocean harbor]

well it’s weird for me bc im a woman

[polar temple]

oh, that is wonderfully taken out of context

[ocean harbor]

[true zinc]

<@&268886789983436800> advertising

[plain island]

https://tenor.com/view/community-ken-jeong-ben-chang-ill-allow-it-allowed-gif-4468552

(i told him to post it here and it's not being spammed)

[true zinc]

oh

we didn't know, sorry

[solar hawk]

Soy una rana

[polar temple]

u sure ur 17 bro?

[neat lintel]

yes sir

[wanton roost]

How do yall fell about Matrixes

[vocal light]

i despise them

[wanton roost]

Why?

[neat lintel]

i think its a plausible concept

[wanton roost]

they’re pretty cool

[neat lintel]

tho not in the advanced ai way

[vocal light]

GCSE Further maths matrices were alright but at A Lvel FM theyre a nightmare

[vocal light]

i just hate the rotation gimmick

[wanton roost]

IDK how it works there

[true zinc]

Matrices are just representations of linear transformations between two vector spaces V and W with bases \beta and \gamma respectively

[true zinc]

A rotation matrix is simply an element of (\mathrm{SO}_{n}(K)) where K is a field

[fathom swallow]

James + Ryan (TCC)

[vocal light]

ill go work on it since I have to for exams as well as set notation since it looks so weird, but thanks

[true zinc]

take the 2x2 case (\begin{pmatrix} \cos{\theta} & -\sin{\theta} \ \sin{\theta} & \cos{\theta} \end{pmatrix})

[fathom swallow]

James + Ryan (TCC)

[vocal light]

i only remember the identity matrix 😭

[true zinc]

now this is a linear transformation (T \colon \mathbb{R}^{2} \to \mathbb{R}^{2})

[fathom swallow]

James + Ryan (TCC)

[zealous garden]

It's matrices and they're terribly overused

[zealous garden]

Not quite

A rotation is an element of the kernel of det on O(V,B), the group of isometries of a metric vectorspace

Det viewed as a morphism from the orthogonal group to the multiplicative group (+1,-1) in K

Over a quadratically closed field, and for nondegenerate spaces, it indeed reduces to a single parameter n

Over a euclidean closed field it reduces to two, p,q (this is sylvesters law of inertia)

For example just over R we have SO_1,1(R)≠SO_2(R)

[wanton roost]

Sorry, English’s not my first language

[queen scarab]

1+1 = 2

[wanton roost]

Wdym they’re overused?

[zealous garden]

Unless you are wishing to exclude spacetimes and other mixed signature rotations.

[queen scarab]

Hola

Hallo

gyatt

[zealous garden]

I mean people act as if linear maps and matrices, or vectors and matrices, are the same things when they're not. And overuse the connection when sometimes a more satisfying option might be available

[wanton roost]

I see

Btw if I may ask are you in uni?

[queen scarab]

Everyone knows Linear Algebra 1

[zealous garden]

No

[stuck herald]

who pinged me

[queen scarab]

Even the 8-year-old I saw on YouTube

[zealous garden]

What are you saying

[wanton roost]

I have a friend who’s horrible at math and doesn’t know basic algebra

He got a 0 in math last school year

But he still passed

[queen scarab]

I dropped out of high school

[queen scarab]

Mathematical nonsense

[queen scarab]

last year

🥳

[zealous garden]

Not only does not everyone know LA 1, but that's a nonsequitur anyways

[true zinc]

Oh that's really cool

[zealous garden]

Yes this is going to be my next big topic once I define clifford algebras in my notes

I want to learn about how the classification of the orthogonal groups differs from that of the metric vectorspaces they attach to

[steel blade]

You learn yourself?

You should learn PDEs

Basics atleast

[vivid halo]

the classifications are essentially the same

[zealous garden]

For example, (R^n, g)≠(R^n,-g) with g the standard dot product, but their orthogonal groups are the same

[vivid halo]

but also good to work through the details

actually it's a pretty subtle point whether you're actually meant to think of these orthogonal groups as the same or not

[golden flint]

hello I am y13 and I want to apply for cam maths does anyone have any advice on how to prepare for the step

[zealous garden]

Also Q^2 with (a,b)->a^2+b^2 and Q^2 with twice that form should have the same orthogonal groups

No?

[zealous garden]

Interesting

[vivid halo]

you can write down an isomorphism between them but there are various situations where you actually want to think of them as distinct otherwise it completely fucks up certain results

[zealous garden]

Really? Good to know

[zealous garden]

Maybe some day

[vivid halo]

this comes up a lot when trying to correctly formulate things like the local or global Langlands correspondence correctly

in general if you have a linear algebraic group G over a local of global field F then you're really meant to view the representation theory of G as packaged along with the representation theory of its inner forms

the set of inner forms of G has a distinguished basepoint, namely the quasisplit inner form G* of G

for example if you look at the unitary groups U(p,q) of signature (p,q) over R then the quasisplit inner form will be U(n,n) for p+q=2n even and U(n,n+1)=U(n+1,n) otherwise

and when you study the representation theory of unitary groups, you actually get quite bad structural results if you index this set of inner forms up to isomorphism

[zealous garden]

Inner forms=Isometry groups?

[vivid halo]

no so like inner forms arise when you use Galois cohomology to classify linear algebraic groups over non algebraically closed fields

the usual trick by Galois descent is like, if you want to classify objects X over a field F then it suffices to classify objects \bar{X} over an algebraic closure \bar{F}, and then classify the possible forms over F

in other words you want to classify objects X over F which become isomorphic to \bar{X} over \bar{F} after base change

such objects X over F are classified by classes in Galois cohomology H^1(Gal(\bar{F}/F),Aut(\bar{X}))

you get inner forms by replacing Aut with Inn, and outer forms by replacing Aut with Out

[zealous garden]

What are Inn and Out?

https://tenor.com/view/smiling-alex-delarge-clockwork-orange-hey-there-delighted-gif-23181260

[vivid halo]

inner/outer automorphisms

0->Inn->Aut->Out->0

when you're talking about groups the inner automorphisms are just those given by the obvious conjugation action

for example the unitary groups U(p,q) are outer forms of GL_n(C) for p+q=n: they are groups over R which become isomorphic to GL_n(C) over C, but are certainly distinct from the groups GL_n(R) over R. This is because they differ by an outer twist

in the classification the outer twists happen by looking at possible symmetries of the Dynkin diagram, in this case you're looking at an order 2 reflection symmetry in the type A Dynkin diagram

subtleties aside it is nice that you can reduce the classification over arbitrary fields to the classification over algebraically closed fields along with Galois cohomological machinery

when you classify groups over R this is why you see these two colored Satake/Vogan diagrams that look like Dynkin diagrams: the classification over R reduces to the classification over C (where things are classified by Dynkin diagrams) plus some additional decorations

[zealous garden]

Interesting perspective

Too far for me, I know neither galois theory nor (co)homology

[vivid halo]

maybe some good motation to learn some group cohomology

you only need H^1 and occasionally H^2 for this story and these can be described very explicitly by hand

e.g. if M is a G-module (an Abelian group with G-action, or a Z[G]-module) then H^1(G,M) is the set of crossed homomorphisms (maps of sets f:G->M satisfying f(gg')=f(g)+gf(g') for every g,g' in G) modulo the set of principal crossed homomorphisms (crossed homomorphisms f:G->M of the form f(g)=gm-m for some m in M)

H^0(G,M)=M^G is G-invariant elements of M

[hollow ginkgo]

H^2(G,M) is equivalence classes of group extensions M.G

[wanton roost]

Math is lowkey goated

[old oak]

lowkey?

Also I'm deeply disappointed in myself that I took issue with that part, rather than with the absurd word "goated"

[junior veldt]

Old moment

[neat lintel]

Real shit

[slender plume]

This is for jay

nvm i cant send images 😭

[ocean harbor]

https://tenor.com/view/epic-embed-fail-meme-epic-embed-fail-chappell-epic-embed-fail-chappell-roan-epic-embed-fail-chappell-roan-casual-embed-fail-gif-2960827249139922583

wrong one lol

[pure hollow]

nG I was interested if you knew a field in math that's the intersection of non commutative geometry and low dim topology or is this not possible?

[reef carbon]

@vale pumice what did you want to ask me

[vale pumice]

its from compulsory mathematics

so

[reef carbon]

... you wanted to catch me to help you with a math problem?

open your own help channel.

[vale pumice]

how

i just wanted to ask a question

[reef carbon]

#❓how-to-get-help for instructions

#help-14 is free right now -- type something there

[vocal light]

I changed my mind theyre actually alright now theyre pretty useful

[wise bloom]

Hello

[bronze pelican]

I know that the real forms of sl_n(C) are sl_n(R), su(p,q) where p+q=n, and also sl_n/2(H) if n is even.
How does this set of real forms partition into classes of inner forms?

[vivid halo]

Think about how these partition into outer forms first

[bronze pelican]

Seperately, I know reductive linear algebraic groups over algebraically closed fields are classified by root datum, but I don't know how to classify their real forms given a root datum

[vivid halo]

you classify them by Satake diagrams which is just the usual Dynkin diagram plus additional decoration and folding that keeps track of the Gal(C/R) action

[bronze pelican]

Ah yes, I remember reading about this in Springer

[vivid halo]

but yeah for example all the su(p,q)'s are inner forms of each other

the real and quaternionic forms are distinct from these

but yeah what I meant by thinking about the representation theory of all inner forms at once and this subtle point about when to consider two inner forms as equivalent or not, there is a really nice example illustrating this involving U(p,q) actually

for n>0 fixed the real groups U(p,q) with p+q=n constitute an inner class

if you have a discrete Langlands parameter \phi:W_R->GL_n(C) there will be 2^n many representations of these U(p,q)'s with this Langlands parameter, forming a packet

for a given U(p,q) there are p+q choose q such representations

these sets as p+q=n varies form this set of |S_\phi|=2^n many representations

the subtle point is that U(p,q) and U(q,p) are the same inner form of the quasisplit inner form in this inner class (and are isomorphic as real reductive groups) but they need to be considered as separate for this count to work out

you only get nice multiplicity formulas and packet structure when you consider all of these U(p,q)'s at once, not when you consider them individually

[ocean harbor]

https://tenor.com/view/calculus-cat-cat-math-studying-cat-gif-23164559

[olive pasture]

@acoustic kestrel Hey any news on the mext exam? 🙃🙃

[nimble sparrow]

Nobody reads it like this

[burnt ledge]

shes reading it to the xat

[wanton roost]

Thoughts on physics

[junior veldt]

It’s cool

[tribal slate]

,w sonic like curve

[fathom swallow]

Results provided by WolframAlpha

Click here to refine your query online
Upgrade to WolframAlpha Pro!

Requested by ganbat24

[zealous garden]

#bots

Gotta go fast

[heavy condor]

(x-1)/6=11
(x-1)=66
x=67
SIX SEVEN

[zinc knot]

💀

[mortal cargo]

What the helly

[warm umbra]

Welcome to the server @heavy condor

[wanton roost]

@polar temple I’m switching to physics, decided

[dusk kestrel]

nice

[wanton roost]

From Bio to Physics

[dusk kestrel]

thats a very appropriate decision

i‘m sure you‘ll find more happiness and … less job opportunities here

[wanton roost]

LMAO

Thank u

I’m hoping I can get into a double major of Math and CS

[mortal cargo]

U didn’t have to say this much of truth 😭 🥀

[wanton roost]

💔💔💔💔💔💔💔

[flat dome]

boom 💥

[placid hawk]

[ocean harbor]

https://tenor.com/view/cirno-fumo-fumo-fumo-cirno-mcdonalds-cirno-mcdonald-gif-6945758381320485738

[polar temple]

this would be if i owned a pet fr

[polar temple]

interesting

[ocean harbor]

thats not a pet

its fumo from touhou

[polar temple]

physics is a cool subject too

[wanton roost]

ye

I mean I picked physics instead of biology this school year

I still wanna do the double major

[polar temple]

oh lol

fair enough

good decision (biased pov from another maths+cs guy)

[ocean harbor]

ok lmao i though u were replying to fumo gif

but its the cat

that will be me too if i had a pet

[dusk kestrel]

LMAOO

[snow bramble]

https://youtu.be/beHkSchC_9s?si=wEeGQPpQNPJfGGnY

[ocean harbor]

at least McDonald's saves computer science graduates from unemployment

[dusk kestrel]

hmmmm

not sure if its worth it….

[ocean harbor]

worth it if u cant find a job

[crystal basalt]

Is it nano tech worth it I find it interesting

[ocean harbor]

probably

[tawny knoll]

SYBAU

[fresh comet]

hello discussion 2

how's everybody doing?

[tawny knoll]

Erm

[ocean harbor]

hello higher im doing good what about you

[empty mirage]

@fresh comet Higher!

[fresh comet]

higher!

[fresh comet]

I'm doing well c:

[vernal orchid]

higher!

[fallen viper]

@skid

@river totem

[sullen dagger]

has anyone used chatgpt to learn math?

[vast wraith]

i love scrapping things

[ocean harbor]

no

[glad nova]

evening folks

[balmy pawn]

i’ve tried. it doesn’t really work

[sullen dagger]

Why not

[balmy pawn]

chatgpt seemed too agreeable to be a good teacher. also, it made mistakes & gave faulty explanations that someone with a real brain would not

i called one out & this damn robot that exists in the wires started talking to me about making a typo… 😭

[signal mason]

yeah lol its kinda meh for math

[craggy wraith]

@thorn wren

HAHAHA YOU THOGUHT U GOT UR FIRST MOD PING GAGAGAHGGAGSGAGGGSGAFS

[thorn wren]

I hath been summoned

[twilit parrot]

Sometimes it’s SO sure that it’s right but I was persistent it’s wrong. I always win. And I’m right. Gotta check those facts

[craggy wraith]

Or maybe u didnt idk

[twilit parrot]

It’s unreliable

[thorn wren]

no I'll be honest the mod ping that went off earlier rlly confused me bc I was wondering why someone was pinging me in a help channel and was about to be mad they were pinging to ask me for help

[craggy wraith]

Lmaoo

[haughty lion]

Congrats on blue name @thorn wren

[thorn wren]

Finally got VA :)

[vagrant maple]

any computer science student

[errant talon]

Yess

[north topaz]

which stands for "virtuous asshole"

[winter ermine]

"doesnt it mean very Active"

[north topaz]

yes but they've been very active for a long time

[winter ermine]

Ah ok

[north topaz]

it's a joke on how both roles are blue

different shades of blue but yes

[winter ermine]

Ahh ok I get it 🤣

[meager flare]

any electrical engineering student?

[rocky shuttle]

https://tenor.com/view/crystal-the-cavern-spirit-gif-17978315803682945807

[ocean harbor]

used to be

[ocean harbor]

I guess im virtuous asshole then 😭

[winter ermine]

@undone zinc welcome to the server!

(i finally figured it out)

[grand helm]

why are mathematicians so unhinged

[tulip geyser]

yooo

hello

[true zinc]

What is this intended to mean

[grand helm]

why are discord* mathematicians so unhinged

[unkempt moat]

Because it’s discor

[true zinc]

Because many are terminally online and many people have absolutely zero manners or respect for the internet as a whole

[unkempt moat]

Tru

[true zinc]

This is/was far less of an issue when people were still using BBS, smaller forums, IRC, etc...though this was partially due to lack of ability to utilize the internet, however there was also the benefit that most of the people using the platforms actually already knew what they were doing and there was at-least a mild amount of basic computing knowledge required to access these systems so intellectual discussion is far easier

[supple vale]

Middle left

Meanwhile any SSC aspirant here?

I need people to rant about its subjects

[ocean harbor]

no

bread

[fresh comet]

bread catto

[rocky shuttle]

[vast wraith]

too ez

[gloomy hound]

GUys did anyone notice how easy the math section was this year

for the sat

[sour rapids]

why again

[waxen wave]

@outer saddle hyy?

[eager ledge]

What is SSC?

[grand helm]

i see like 30 dogs

[ocean harbor]

thats popcorn

https://tenor.com/view/emu-emu-otori-emu-jump-emu-otori-jump-pjsk-gif-1067827698694539227

[warm umbra]

Welcome to the server @tulip geyser

[undone lichen]

whats ur guy's favorite derivative notation

[agile fiber]

i think euler notation is sadly underused

[bronze pelican]

Damn

[sharp basin]

[Lagrange's notation] is named after Joseph Louis Lagrange, although it was in fact invented by Euler and popularized by the former.
...
[D-notation] is sometimes called Euler's notation although it was introduced by Louis François Antoine Arbogast, and it seems that Leonhard Euler did not use it.
https://en.wikipedia.org/wiki/Notation_for_differentiation
Waow, strange naming

[heavy condor]

what if we added a vc to math

[limber thunder]

this server used to have a public vc but it was hell to moderate #changelog message

assuming you meant that

[heavy condor]

ya

[solar hawk]

Wondahoyyy

[gritty heath]

Everyone asks where's the cat but no one ever asks how's the cat

[warm finch]

be wary of physics discord

[fluid knot]

most of discord is a work

[warm finch]

yeah it’s crazy how much corruption there is nowadays

[fluid knot]

the fallback is IRC

But there are only 2 or 3 decent networks

[supple vale]

Service selection commission. It host several competitive examinations for various post across India.

[warm umbra]

Welcome to the server @serene burrow

[serene burrow]

hi

[ocean harbor]

u could unlock secrets in here if u become active or booster

[solar hawk]

So relateable so emu

[ocean harbor]

https://tenor.com/view/emu-otori-wahaha-gif-6433410334208690997

[solar hawk]

Lmao

[latent edge]

holy shit @thorn wren is a mod

scary

[thorn wren]

All the better to mute you with 😈

[latent edge]

mute on ping when

congrats ig?

i know some dont like being a mod

[ocean harbor]

https://tenor.com/view/powered-up-hornet-gif-19668324

[plain island]

we usually ask for permission

[inner canopy]

really went down the deep end

[latent edge]

real

[ocean harbor]

,av despairful_deltoid

[fathom swallow]

despairful_deltoid's Avatar

Click here to view the image.

[fierce abyss]

How is recurrence of tense defined in English? For example , base case: A_0=“have done”
Put one hypothetical past outside A_0 (p):
(If I went to school, I) A_1=“would have had done” …
Put one hypothetical past outside A_1 (p-p):
A_2=“would have had had done”
Put one hypothetical future outside A_2 (p-p-f):
A_3=“would be having had had done”
A_4 (p-p-f-f)‎ = “would be being having had had done”
A_5 (p-p-f-f-p)‎ = “would have been being having had had done”
Is my example correct?

How is tense shifted to hypothetical future? This part I get confused mostly

[warm finch]

well for A_1 it’s “i would have done” you can’t really say the rest of them and be grammatically correct.
it would be
A_0 “have done”
A_1 “would have done”
A_2 still “would have done” unless there’s a conditional clause like “ if i had had more time”
A_3 “would be doing or would have done”
A_4 “would have been doing or would have been done”

also to try and answer your question. english doesn’t have a special future tense. there’s modular auxiliaries that you have to use instead.

without getting too much in the technical details

now: i have done
past: i did
notice how this is very similar as i have done technically speaking
future: i will do
future hypothetical: i would do

the main difference is the words themselves called modal auxiliaries like “will” “would”

also

https://tenor.com/view/good-morning-gif-4325677569221341063

and lastly my daily post to be wary of the physics discord because of the pedophile (confirmed if mods need to check to not delete the message dm) that banned me

[fierce abyss]

I am still trying to understand what you said. Consecutive future/past merge together or all middle steps erased? Meaning p-p-f-f-p becomes p-f-p or just becomes p?

Say right now it’s 4 pm, so a correct sentence is (If A told B at 1 pm that (if B told to C at 2 pm that (if C told D at 7 pm that (if D told E at 8 pm that (if E told F at 3pm that he went out))))), I wouldn’t have called him? (p) I wouldn’t be having had called him? (p-f-p)? I wouldn’t have been being having had called him (p-p-f-f-p)?

[warm finch]

english is not like math but yeah you can say that two ps collapse into one p and 2 fs collapse into one f like you mentioned p-p = p, f-f=f, p=p, therefore p-f-p but most times it would collapse further to either p-f or f-p depending on the sentence

[fierce abyss]

In practice no more than 2 layers then right?

[fierce abyss]

thank you.

[warm finch]

english doesn’t allow condescension to collapse forms like that. you’d have to say smt like “if your sentence but a bit cleaned up happened, I wouldn’t have called him”

[fierce abyss]

Oh

[warm finch]

like no matter how long the chain is it will land on would do, would have done, will do

etc

that’s why it’s not really like math in that way

[fierce abyss]

Oh so I just look at the final step, the event happened in the past, or will happen in the future compared to reality, no matter what the netted hypothesis is like?

[warm finch]

idk if i’m explaining well this is really hard to understand and explain, it’s more of an intuitive thing you build up with practice in a way imo

[warm finch]

yeah exactly, for example “would, will, could, etc” + “have, be+participles)”

would have or will be doing or would be doing etc

[fierce abyss]

Thank you. I think I am getting it

[warm finch]

sorry can you explain further what you mean

[fierce abyss]

I mean, eventually if A told B that if B told C that… I wouldn’t have called him. The reality is at 3 pm, I called him, now is 4pm, if I ignore all the construction in the middle, the simplest expression is “I wouldn’t have called him”?

[warm finch]

yes exactly! i think you’re getting it i just wanted to test you hehehe

feel free to reply or tag me if you have more questions that come up about this

and remember be wary of physics discord

[burnt ledge]

if A had told me that had B told me that I had eaten, I wouldn't have eaten, I would have eaten

[fresh comet]

[slate wind]

If you do very well in your 12-math class, you should be well prepared in theory.

[covert drift]

3/25

[undone lichen]

and for my last trick, i will learn all about derivatives in 8 hours

[viral leaf]

This is unrelated to math, how would you guys make posters im kinda doing one rn

[sharp mulch]

What sort of poster

Academic?

[limber thunder]

are you enrolling in a math major? if so it might help to learn about logic, sets and proofs beforehand since the kind of math one studies is really about that, about showing that certain statements are true by working only with the ideas in a way. I think Hammack's book is a good introduction and I keep recommending it: https://richardhammack.github.io/BookOfProof/

if it's other STEM major it might still be worth it to review calculus and algebra but I wouldn't overdo it

[viral leaf]

uh yeah

whoops sorry for late reply

[sharp mulch]

?

Yeah what

[viral leaf]

uh its a religion one

for responsible citizenship

[sharp mulch]

Anyways

I primarily use Adobe Illustrator to make posters

If you don't have access to Adobe products you can use something like powerpoint or google slides

[viral leaf]

I mean like the layout because im supposed to make it on paper

because im kinda stuck on that

[limber thunder]

huh I haven't had to do a thing like that since elementary

[viral leaf]

yeah im in grade 9 lol im kinda outmatched by everyone here

[limber thunder]

I guess just grab a pencil and trace some space for a title and two columns or whichever amount you'd like

[viral leaf]

:/

[limber thunder]

depends on how large the poster is supposed to be

[viral leaf]

A4

k thanks

[limber thunder]

wikihow is surprisingly good for questions like this https://www.wikihow.com/Make-a-Poster

where you're kinda stuck on how to do a common (?) thing

[viral leaf]

oh i see

ive never looked into it

[spark vessel]

So

[hard oasis]

I'm here, you lovely baguette

[spark vessel]

🥖

What are you working on exactly?

[hard oasis]

In TeX?

[spark vessel]

In maths

[hard oasis]

Oh!

Well, now I'm a hs teacher soooo

[spark vessel]

Btw I have 0 knowledge of advanced maths

[hard oasis]

But I used to do geometric topology in dimension four

[spark vessel]

[hard oasis]

What's your level of studies?

[spark vessel]

Congrats on being a teacher

[spark vessel]

2nd year of undergrad

[hard oasis]

I shee

Not bad then, you will definitely help some folks out there!

Like the linalg questions from L1/L2 are quite common

[spark vessel]

I have to reread my notes before I start uni again

[hard oasis]

It hasn't started yet?

[spark vessel]

I was about to say I need to review linalg

[hard oasis]

Ah

[spark vessel]

Nope

Starts on the 29th for me

[hard oasis]

Well, there's always analysis that pops up a lot as well

[spark vessel]

What level are you teaching in hs?

[hard oasis]

Seconde and Tale this year

I have a Tale spé

[spark vessel]

[hard oasis]

But they're not very good

[spark vessel]

No maths expertes

[spark vessel]

Oh

[hard oasis]

3 hours into a course of "révisions et complément sur la dérivée", I have one asking me what a derivative is

[spark vessel]

[hard oasis]

Didn't get it, no! There's only one such class and we're almost 20 maffs teachers here

[spark vessel]

Did bro skip 1ere or what

[hard oasis]

Yeah

I asked his teacher from last year and he was there but the grades were not

[spark vessel]

My grades in maths expertes were like so bad

[misty oracle]

More than enough, we have 14s helping here.

[hard oasis]

Because of what chapter?

[spark vessel]

Arithmétique

[hard oasis]

Ah of course

[spark vessel]

Only this shit

Complex and matrices were fun

Not too bad

[hard oasis]

Complex numbers is typically more enjoyed

Yeah matrices too

[spark vessel]

But the freaking modulo killed me

[hard oasis]

Arithmetic is hard because there are proofs

[zealous garden]

I hate matrices

[hard oasis]

Students dislike those

[spark vessel]

It was impossible for me to get the logic

[zealous garden]

Endomorphism algebras are great though

[spark vessel]

It was jus too absurd for me

[misty oracle]

How come?

[zealous garden]

Because I hate coordinates

[spark vessel]

The thing is I had one of those teachers who expect you to understand right away

[zealous garden]

And bases

[misty oracle]

≈ you hate algebra

[hard oasis]

Well, in this case it's hs stuff so it's like 4x4 at most, and typically they're transition matrices for probabilities stuff and you're given the diagonalization (the vocabulary isn't used)

[zealous garden]

No, algebra is fun

[hard oasis]

I shee

[zealous garden]

That's why I hate matrices

[spark vessel]

On day in class we were doing a problem (arithmetic still) and after a minute she goes "so what can we do apart from staring at the énoncé"

[zealous garden]

Matrices reduce it all to the boring algebra and a bunch of computations

[spark vessel]

💀

[hard oasis]

Oof

[zealous garden]

Keep your perspective on linear maps for cool shit

[spark vessel]

Maths spé was fun tho

[hard oasis]

Which chapter did you like most, and which did you hate most?

[spark vessel]

It's a shame your not doing 1ere, I would love to know what it's gonna be like preparing the new exam

[hard oasis]

I'm curious because I will have students hating some of them

[spark vessel]

Hmmmm

I enjoyed all of them

[hard oasis]

I had a 1ère last year, but just because of this new exam I decided against it for this year!

[spark vessel]

Favourite integrals

[hard oasis]

I shee

[spark vessel]

Since seconde I would see the symbol and I really wanted to undertand them

[spark vessel]

Oh I shee

Least favourite

I'd say

Suites numériques

[hard oasis]

Not convexity?

[spark vessel]

Jusy because récurrence is too much manual labour lmao

[hard oasis]

Or, worst: statistics

[spark vessel]

JESUS THIS ONE

[hard oasis]

Some day you'll write "par une récurrence triviale, on a [...]" and never write down said induction

[spark vessel]

The second derivative was always so looong to calculate

[hard oasis]

But like if it's just showing that u(n)=<something>, this is a trivial induction indeed

Just compute the damn thing and you're done

[spark vessel]

Ah yes the famous "demonstration triviale laissée comme exercice pour le lecteur"

But si don't think I'll need récurrence

[spark vessel]

Annoying too indeed

Especially as I had all the program

[hard oasis]

I'm legit scared to teach stats, because I hate this stuff and it's awful as heck

Also I suck at stats

[spark vessel]

Bienaymé Tchebithev

Or whatever the spelling is

[hard oasis]

That's probabilities so it's fine

Bienaymé--Chebychev?

[spark vessel]

Yes

God I butchered their names

[hard oasis]

Well, BT is "Markov à l'ordre 2"

[spark vessel]

Hmmm

[hard oasis]

Or "Markov pour X^2"

[spark vessel]

-# what's this Markov thing

[hard oasis]

,tex\makebf E$$\PP(|X|\geq\alpha)\leq\frac{\EE[X]}{\alpha}$$

[spark vessel]

Hmmm

[fathom swallow]

TeXplotlib

[spark vessel]

PTSD incoming

[hard oasis]

\makebf ESo if you use this for the variable $(X-\EE[X])^2$ you get BT

[fathom swallow]

TeXplotlib

[spark vessel]

Right

Anyway I won't be using stats soooo

[hard oasis]

[spark vessel]

Wait actually I will

Fuck

[grizzled goblet]

Greetings champs ,am victor,new to the server,am a teen preparing for some couple promotional exams,I will be needing a good friend who would help me by teaching and sharing experiences in science subjects please

[hard oasis]

What Licence are you doing?

[spark vessel]

Astrophysics

[hard oasis]

Oooooh holy heck

That's amazing!!

I wish I did more of that!

[spark vessel]

[hard oasis]

I suppose my diff geo background would help me now too

Do you have orbital mechanics classes?

[spark vessel]

I had classical mechanics last year

I don't want to talk about it

[hard oasis]

[spark vessel]

I swear quantum mechanics made more sense it's crazy

[hard oasis]

You should play some Kerbal Space Program

[fresh comet]

[spark vessel]

The day I will do lagrangian mechanics I can assure you Newton is gonna be poubelle

Some topics in classical mechanics were nice

But circular motion was so mind fucking

[hard oasis]

,,G\frac{m_Am_B}{r^3}\overrightarrow{AB}

[fathom swallow]

TeXplotlib

[spark vessel]

But that's nothing compared to oscillators

[hard oasis]

That's like the best thing ever

[spark vessel]

It's r^2

[hard oasis]

Nightmarish

It's r^3 if you don't use a unit-length vector

[spark vessel]

True

Imagine seing oscillators before second order differential equations

[hard oasis]

Wait, really?

[spark vessel]

Yes

[hard oasis]

Wtf

That's so bad

[spark vessel]

And Schrödinger equation

Needles to say in term 2 everything made so much more sense

[obtuse grail]

Hi

[spark vessel]

Hey

[hard oasis]

Like wtf, you're doing this and not even ordinary DE's

[obtuse grail]

Hello how are you

[spark vessel]

We did ode's

But yeah the order was fucked up

[spark vessel]

Good and you?

[obtuse grail]

Good also thanks for asking

[hard oasis]

You new here?

[obtuse grail]

Yes

[hard oasis]

Welcome then!

[obtuse grail]

Thanks

[spark vessel]

Wait so I believe you have beautifully written lessons for your class Matty

[hard oasis]

Uh

Beautifully-written idk 'bout that

[spark vessel]

[hard oasis]

But I can show you some, sure

[spark vessel]

Add some pdfliterals

At least you use LaTeX

[hard oasis]

Holy hell of course I do, I wanna keep my sanity!

[spark vessel]

So you're already superior to most of the other teachers using Word

[obtuse grail]

So where are you from

[hard oasis]

Good lord you have no idea how many of those there are

[spark vessel]

I'm a baguette 🥖

[hard oasis]

An example of how the notes I type look like (yes I took one that had a nice picture!)

[spark vessel]

Wbtu

[spark vessel]

That looks super good!

[obtuse grail]

Sry but what is baguette

[spark vessel]

I'm french

[obtuse grail]

Nigeria

[obtuse grail]

Oh nice to meet you

[hard oasis]

Also, I don't know if you've ever seen the proof of the fact that $\vec u\cdot\vec v=|\vec u|\cdot|\vec v|\cos\theta$?

[fathom swallow]

TeXplotlib

[obtuse grail]

We also learn french in Nigeria

[upper lotus]

Very nice

My notes don't look half as good haha

[spark vessel]

I think I did

Tbh I don't remember but I have a vague memory

[upper lotus]

I was gonna post how they look but I can't in this channel 💔

[spark vessel]

Noice

[upper lotus]

Ahh this proof is nice

I read it in a statistics book the first time

[upper lotus]

I can't read this but it was presented similarly

[hard oasis]

Really?

[spark vessel]

I don't think I've seen it with the trigonometric circle

[upper lotus]

Yes
The book is called Applied Multivariate Analysis I think

[hard oasis]

Yeah I'd be surprised you've seen it in this direction!

Usually it's proven the other way around, and actually almost never proved

I made this proof myself

[upper lotus]

It's quite annoying how it's never proved lool

I feel like that should be the first thing shown

[hard oasis]

It should be left till the end of the chapter though!

Cuz it's a bit technical tbh

Especially for high-schoolers

[upper lotus]

I don't think so I think it's pretty simple and elegant

[upper lotus]

Oh maybe

The proof wasnt presented in my calc 3 class
I asked the professor after and he gave me some intuition but I learnt the generalized proof in the book required by another class at the same time

[spark vessel]

They gotta learn the hard way

[upper lotus]

It was a long time ago

[spark vessel]

It's nice that you have proofs

[hard oasis]

The proof in the general context of linalg goes as follows: define the cosine between the angles as the ratio between their dot product and their norms

[upper lotus]

Before I touched set theory 😂

[hard oasis]

This comes from Cauchy--Schwarz

TeXified Pascal triangle:

[spark vessel]

Are you still working on topology besides?

[zealous garden]

Based, why are we laughing

[spark vessel]

Amazing

[upper lotus]

Fr

[spark vessel]

Made with a macro?

[zealous garden]

Of great importance in GA

[hard oasis]

I wish I did, but you don't get enough time, and also it's veeeeeery hard once you leave academia, despite what they tell you

[upper lotus]

Nice
Binomial theorem

[spark vessel]

[upper lotus]

Now prove it

[hard oasis]

Holy heck I did it manually what a fkin noob I was

Oh no I remember

I did a Python script that generated the TeX

[upper lotus]

Why would you make this

[spark vessel]

[zealous garden]

Kek

[hard oasis]

Wdym

[upper lotus]

Oh that makes more sense

[spark vessel]

I think that can be easily done in TeX

[upper lotus]

I mean that seems like a lot of manual labor for something that 4 rows is enough to get the gist if you really did it manually but

With a python script it makes sense

[hard oasis]

Ikr, now I'd do it in plainTeX indeed

[upper lotus]

Can't you execute python in tex with tikz or something

Idk

[spark vessel]

There's pythontex

But Lua >

[hard oasis]

I mean, this is the code for the whole thing:

\begin{center}
    \begin{tikzpicture}
        % nCr(0,k)
        \hex{0}{8}{$\DS\binom{0}{0}=1$}
        % nCr(1,k)
        \hex{0}{7}{$\DS\binom{1}{0}=1$}
        \hex{1}{7}{$\DS\binom{1}{1}=1$}
        % nCr(2,k)
        \hex{0}{6}{$\DS\binom{2}{0}=1$}
        \hex{1}{6}{$\DS\binom{2}{1}=2$}
        \hex{2}{6}{$\DS\binom{2}{2}=1$}
        % nCr(3,k)
        \hex{0}{5}{$\DS\binom{3}{0}=1$}
        \hex{1}{5}{$\DS\binom{3}{1}=3$}
        \hex{2}{5}{$\DS\binom{3}{2}=3$}
        \hex{3}{5}{$\DS\binom{3}{3}=1$}
        % nCr(4,k)
        \hex{0}{4}{$\DS\binom{4}{0}=1$}
        \hex{1}{4}{$\DS\binom{4}{1}=4$}
        \hex{2}{4}{$\DS\binom{4}{2}=6$}
        \hex{3}{4}{$\DS\binom{4}{3}=4$}
        \hex{4}{4}{$\DS\binom{4}{4}=1$}
        % nCr(5,k)
        \hex{0}{3}{$\DS\binom{5}{0}=1$}
        \hex{1}{3}{$\DS\binom{5}{1}=5$}
        \hex{2}{3}{$\DS\binom{5}{2}=10$}
        \hex{3}{3}{$\DS\binom{5}{3}=10$}
        \hex{4}{3}{$\DS\binom{5}{4}=5$}
        \hex{5}{3}{$\DS\binom{5}{5}=1$}
        % nCr(6,k)
        \hex{0}{2}{$\DS\binom{6}{0}=1$}
        \hex{1}{2}{$\DS\binom{6}{1}=6$}
        \hex{2}{2}{$\DS\binom{6}{2}=15$}
        \hex{3}{2}{$\DS\binom{6}{3}=20$}
        \hex{4}{2}{$\DS\binom{6}{4}=15$}
        \hex{5}{2}{$\DS\binom{6}{5}=6$}
        \hex{6}{2}{$\DS\binom{6}{6}=1$}
        % nCr(7,k)
        \hex{0}{1}{$\DS\binom{7}{0}=1$}
        \hex{1}{1}{$\DS\binom{7}{1}=7$}
        \hex{2}{1}{$\DS\binom{7}{2}=21$}
        \hex{3}{1}{$\DS\binom{7}{3}=35$}
        \hex{4}{1}{$\DS\binom{7}{4}=35$}
        \hex{5}{1}{$\DS\binom{7}{5}=21$}
        \hex{6}{1}{$\DS\binom{7}{6}=7$}
        \hex{7}{1}{$\DS\binom{7}{7}=1$}
    \end{tikzpicture}
\end{center}```

[upper lotus]

Typst

[hard oasis]

It's not too bad

[upper lotus]

Typst is cursed

oo

[spark vessel]

💀

[upper lotus]

For infty

[spark vessel]

Not bad

[upper lotus]

Typst is nice for things you don't usually care about in markdown languages

[spark vessel]

I don't think you've got any idea of how bad I was at LaTeX at the very beginning

[upper lotus]

Like loops and stuff

[hard oasis]

LaTeX has those too

Heck, can typst do that?

[upper lotus]

I still have no clue how to effectively take notes

[hard oasis]

,,\fact{123456789}

[upper lotus]

In latex

[unborn meteor]

i mean it's turing-complete

i think

[fathom swallow]

TeXplotlib

[spark vessel]

I personally don't take notes with LaTeX

[upper lotus]

So is latex

[hard oasis]

TeX is too

[unborn meteor]

yeah i know

[spark vessel]

A good old notebook with a pen >>

[upper lotus]

Good for computation

But I like condensed information to be in my notes

[unborn meteor]

i mean that typst is turing-complete so it can do any computable thing that its I/O supports

[upper lotus]

Like definitions

It's super useful to access them anywhere and then internalize it at some point

I reread the set theory notes I have walking around campus

I wouldn't bother if it was on paper

[spark vessel]

Oh hello eta carinae

[upper lotus]

Topology seems cool

[hard oasis]

Topology is cool

And scary too

[spark vessel]

[hard oasis]

But hey, you can make drawings

[upper lotus]

I could do a reading program at my uni for topology but I haven't taken a math analysis or abstract algebra class yet so I think it'll be a waste of my time 😭

[hard oasis]

Ankaa, did I tell you I had an average of a bit above 1 picture per page in my ~200 pages thesis?

[spark vessel]

You're studyin maths?

[upper lotus]

Like all the time will just be spent learning the foundations I don't have
Probably just going to wait for next semester and I can learn topology alongside analysis

[spark vessel]

No you didn't

[hard oasis]

No way on Earth I was doing those figures in TikZ

[upper lotus]

Me?

[spark vessel]

Yeah

[upper lotus]

I'm a math major
And some other bullshit majors but math is the funnest one

Lmao

[spark vessel]

Damn you wrote a thesis in topology

Big brain

Matty the king of maths

[hard oasis]

No

Mi smol brain

[upper lotus]

The zero dimension topology where all open sets are closed sets

[spark vessel]

Noice

[upper lotus]

Clopen

[hard oasis]

The weirdest topology to me was the Zariski one; it's not separated

[spark vessel]

\mathop\mathclose

[upper lotus]

Is that the one with the paradox or something
Idk any topology

No

Lmao I was thinking of something else

I heard someone talking about banach tarski earlier today

[hard oasis]

\mathclopen

[upper lotus]

Clopen sets

[spark vessel]

Btw do your students know you're on Discord

[hard oasis]

Probably not, because you know how the French high-schoolers suck at English

[spark vessel]

[upper lotus]

You teach high schoolers?

[upper lotus]

Do you enjoy it

[spark vessel]

[hard oasis]

Yeah I do teach in hs, and I enjoy it... sometimes

[spark vessel]

Are you teaching in an endroit paumé?

[hard oasis]

I wish

I'm from the Gers

So I'm waaaaaay outside my comfort zone here near Versailles

[spark vessel]

Where is Gers?

[hard oasis]

[spark vessel]

You got placed in Versailles

[hard oasis]

West-NW of Toulouse

[spark vessel]

OMG TOULOUSE

I know this city

[hard oasis]

You've been there?

Best city in the whole country

[spark vessel]

-# my geography isn't too bad see

[hard oasis]

Paris = caca

[spark vessel]

Never

[spark vessel]

Euuuh

Fyi

I'm from Paris

[hard oasis]

[spark vessel]

But I get it

[hard oasis]

I really disliked this city, sorry

[spark vessel]

The south is much better

[hard oasis]

Same with Bordeaux

[spark vessel]

What?

Bordeaux is nice

[hard oasis]

It's better than Paris, yeah

[spark vessel]

[hard oasis]

[spark vessel]

What part of Paris have you seen to be so... negative

You must've had a bad experience

[hard oasis]

Oh I've been there a couple times, I'm less than an hour away in RER

I really enjoyed the Panthéon neighborhood

The rest, not as much

[spark vessel]

[hard oasis]

But to be frank, I think the scale plays a big role in me not liking it

[spark vessel]

When I'll get the chance I'll go to toulouse

[hard oasis]

If you ever do, do tell me and I'll recommend you some places!

[spark vessel]

Sure thing!

[hard oasis]

I spent all my studies there

[spark vessel]

[hard oasis]

Wtf, I spent 10 freaking years there as a student

[spark vessel]

What do you call

The pastry

[hard oasis]

[spark vessel]

With chocolate inside

[hard oasis]

YOU KNOW HOW I CALL IT

[spark vessel]

And it's not the right answer!!

[hard oasis]

Fun fact: there's a bakery somewhere that sells Chocolatine for like 10cts less than Pain au chocolat

[spark vessel]

You were muté à Versailles so now you adapt!

[hard oasis]

(in Toulouse)

[spark vessel]

Sadge

Wait

10cts?

Is inflation not a thing???

[hard oasis]

Well I'm speaking of this about 12 years ago

[spark vessel]

Damn

[hard oasis]

Also, it's not 10cts for the thing

It's one being 10cts more than the other