serious-discussion

[errant kiln]

skating sounds way too dangerous to me

[modest rune]

its probably about as dangerous as surfing

maybe less?

[errant kiln]

what's dangerous about surfing?

[modest rune]

i think youre less likely to get injured surfing but more likely to get severely injured

[meager sonnet]

Nah skating is way more dangerous

[mortal oasis]

Can’t get eaten by a shark skating tho

[modest rune]

can you feasibly die on a skateboard without doing something dumb?

[meager sonnet]

Traffic and the ease of head injuries

Yes

[modest rune]

drowning

[errant kiln]

why would you drown though?

[cold needle]

what

[meager sonnet]

Like if you just go kinda fast you can hit your head the wrong way

Boom

[modest rune]

board breaks, head injury, get too tired, bad cranp

[meager sonnet]

If you go underwater, get smacked with the board

[modest rune]

cramp*

[mortal oasis]

Seems like surfing is safer than skating tho for sure

[meager sonnet]

Currents hold you down if you're in a weird place

[errant kiln]

the latter reasons apply for swimming as well

[meager sonnet]

Ehh

[mortal oasis]

Me?

[errant kiln]

and the other two are just bad luck

[modest rune]

swimmers dont go out into dangerous waves and dont get head injuries

[meager sonnet]

Swimming isn't in the ocean as much with waves

Yeah

[rancid meadow]

im so mad cause I literally just slept in

[cold needle]

the ocean is not the same as a swimming pool

[modest rune]

even strong ass swimmers are wary of the ocean

[meager sonnet]

You don't get battered by a giant fiberglass stick when you swim, and you don't have to carry said stick out through the waves for your sport

[mortal oasis]

I guess it depends where you are surfing too right

[meager sonnet]

Can confirm

[modest rune]

lmao funny story

i once broke a bone while surfing

[errant kiln]

Anyway, I wouldn't do either of the sports.

[modest rune]

which sounds like kinda sick

until i tell you

[errant kiln]

huh, how? xD

[modest rune]

that i broke my toe while reentering the water bc i kicked a rock

[cold needle]

lmao

f

[errant kiln]

xDD

[modest rune]

i still surfed on a broken tow

toe

and thats why im cool

[errant kiln]

tow

[meager sonnet]

I'm a really strong swimmer, my dad has done rescue diving, we've always said this since people underestimate how much harder it is to swim in the ocean

[modest rune]

yeah lots of tourists die that way

[errant kiln]

Salt is just annoying.

[modest rune]

also by underestimating how hard a wave can hit you

[meager sonnet]

"I can swim really well in a pool"

[modest rune]

esp if it breaks close to shore

basically my point is swimming in the ocean is probably more dangerous than skating and surfing

[meager sonnet]

Ok yeah try floating as well when you topple off the side of the boat, smack water from 6 feet up, get salt in your sinuses and eyes, and can't tell which way is up, while there's larger waves

[modest rune]

but normal swimming isnt even close

[meager sonnet]

Well

I think if you're planning on swimming in the ocean

And you just get out past breaking waves, it's easy

[modest rune]

swimming in the ocean without knowing what youre doing**

[meager sonnet]

At least nowhere near as dangerous as like, unplanned swims

Yeah

Skating though

Traffic deaths

[modest rune]

yeah

[meager sonnet]

And just hitting your head on concrete

[modest rune]

i guess to me

skating close to traffic

is about as dumb as swimming into big waves

the head injuries smashing makes sense tho

[meager sonnet]

A lot of people usually skate around cities ofc

[modest rune]

yeah

tbh

i think cycling and skating near busy roads

is just crazy dangerous

[meager sonnet]

Cycling isn't terrible

[modest rune]

i feel like im terrified of killing every cyclist near me while i drive

and im a great driver

[meager sonnet]

You can often keep up with traffic and stay safe

Skating like

If you're going uphill you're not gonna stand a chance

[modest rune]

true

[meager sonnet]

And you have much smaller wheels

[modest rune]

surfing uphill is hard too

[meager sonnet]

LOL

[modest rune]

just pump your hips bro

[meager sonnet]

My bike is a pretty great city commuting bike

Disc brakes, internal hub, belt drive

[rancid meadow]

belt drive?

[meager sonnet]

Super easy, very convenient, minimal servicing

[modest rune]

yeah i mean

[meager sonnet]

Yes

[summer nest]

You've got belt drive, nice

[modest rune]

idk

[meager sonnet]

Instead of a chain

[rancid meadow]

damn

[modest rune]

its so easy to be in a cars blind spot on a bike

[rancid meadow]

thats crazy

I've never seen a belt drive irl

[meager sonnet]

True Max, but I'm usually pretty aware of that

[rancid meadow]

you need to be a very aware person if you're going to be seriously cycling in cities

[meager sonnet]

Also there's just bike lanes most places where I am

[rancid meadow]

lucky

[vagrant kestrel]

fiona rides a tank

[modest rune]

yeah the cyclists around me normally do everything right

[meager sonnet]

I bike everywhere I go pretty much

[modest rune]

but most drivers suck

[meager sonnet]

No what

[modest rune]

i see people just veer into cycling lanes

[meager sonnet]

That's not what the belt drive is LOL

[modest rune]

all the time

[meager sonnet]

Yeah it sometimes happens hear

[rancid meadow]

yeah I've almost got hit a bunch riding in Kelowna & Toronto

[meager sonnet]

I usually make sure to let cars pass and assume they're gonna turn right into bike lanes and stuff without them seeing me

[rancid meadow]

never actually been hit though

[meager sonnet]

My dad got hit by a car doing a running thing

The Murph

[rancid meadow]

cars bad

[summer nest]

Check Harley Davidson bikes

Also car engines connected to AC compressor

It's belt drive

[rancid meadow]

lmao

[modest rune]

tbh

im more worried about motorcyclists

[rancid meadow]

I meant I've never seen a belt on a bicycle

[modest rune]

whenever i hear a motorcycle engine

i just refuse to change lanes

lol

until the sound goes away

[summer nest]

Yeah it's high maintenance though

[meager sonnet]

Motorcycle is statistically like the least safe one out of all the major travel things IIRC

[summer nest]

But I heard it's smooth

[meager sonnet]

No it's not what

[modest rune]

youre forgetting about canoes

[meager sonnet]

It's much lower maintenance than a chain LOL

[modest rune]

or sorry i think white water river rafts

[summer nest]

There's an argument against that

[modest rune]

are the real number 1

[meager sonnet]

I don't think white water river rafting is generally a commuter travel method

[rancid meadow]

are white water rafts really the most dangerous thing to travel on?

lmao

[meager sonnet]

There isn't? It's just wrong

[modest rune]

i think so

[meager sonnet]

Belts just kinda exist for years

Without needing any oiling or tension or cleaning

I should really do paragliding sometime

[summer nest]

https://youtu.be/wM8Xli2KTzI

[meager sonnet]

That's

What

[vagrant kestrel]

thonk

[meager sonnet]

???????????

I ride a belt drive bike not an e-bike and that's safety not the maintenance

[nimble shuttle]

why would anyone jump from the base

if I were them I would jump from the summit

[summer nest]

I was talking about this

[nimble shuttle]

a lot more fun though

[meager sonnet]

I guess

[rancid meadow]

riding brakeless fixed in cities is probably up there

I think thats the most dangerous way to commute in cities

[meager sonnet]

E-bikes shouldn't really be matching motorcycle speed though

Like most ones I've seen can't get anywhere close to that

[rancid meadow]

e-bikes are bad

[nimble shuttle]

e-scooters ftw

[meager sonnet]

That almost seems more like a mini electric moped than a traditional e-bike

[nimble shuttle]

those things seem like they're used a few times and then thrown in a river

or a ditch

[meager sonnet]

LOL there's a river in my city and they've fished soooo many out of the river

[summer nest]

Yeahh, well keeping up with traffic kinda makes e bikes more appealing, so cycling in traffic sounds a bit dangerous

[rancid meadow]

yeah they had a big parking station for those scooters setup right beside a big pond in Kelowna

[meager sonnet]

The max I've seen ones hit around here is like

[rancid meadow]

predictably it was full of them

[meager sonnet]

25-30 mph

Though I'm in a pretty urban area

So most stuff is fairly slow

[edgy atlas]

any big type theory or dependent types people here

that's one of my interests for sure but I havent managed to invest a bunch of time in it yet

[sharp mulch]

@compact tartan

[edgy atlas]

OOO 😄

[modest rune]

i think abby too

but idk her well enough

[compact tartan]

[sharp mulch]

I thought abby was generally n-pilled

[modest rune]

HoTT people are both

[meager sonnet]

Abby likes PLT and n-cat stuff IIRC

So yes, both

[compact tartan]

@edgy atlas so uh, did you have a question?

[edgy atlas]

no I didn't really haha I'm sorry, I was just wondering (because I'm a CS but I like the math aspects) but ill be sure to ping you in the future if I have an interesting question

And i'll know who to ping also if i have a boring question 😅

[compact tartan]

ping ultra for boring questions

he's bound to provide an interesting answer

I remember reading it

I don't remember understanding what was being talked about

what was the problem?

um

there are base cases

it depends on what your functor looks like

sure

there doesn't need to be a base case when doing induction either if the functor is as such

(but then the inductive type is empty)

you want to have a close look at how the inductor/coinductor simplify in the sum-of-products case

suppose FX = sum_k G_k X, and suppose I is the initial algebra

it comes with a "constructor" C : FI -> I, which is the same as specifying C_k : G_k I -> I

and a recursor, that corresponds to each FA -> A a map I -> A

again maps FA -> A are in correspondence with tuples of G_k A -> A

if one of G_k is a nonempty constant K, you get something that looks like K -> A

a "base case"

coinduction really doesn't wanna factor in this fashion

coalgebras look like A -> FA

they factor when F is a product

there's uhhh... a name for this I forget

copatterns!

anyway yeah, neither the "coconstructor" I -> FI factors nicely here, nor do coalgebras for the corecursor

oh

that's because cofixpoints are guarded by comatches and not matches

if I is the initial algebra of F, you can show that FI -> I is an isomorphism, and hence there is a map I -> FI

you can interpret this as the non-recursive "pattern match"

similarly for coinductives, you have a map FI -> I, (which can factor in the sum of products case) which looks like a constructor, but it's closer to a "comatch"

coq-style (co)fixpoint definitions are about rewriting code that uses (co)matches into code that uses (co)inductors

so the point of interest here is not that we're matching xs infinitely

but that at every step we yield "stream_eq_cons"

you want the production side to be guarded, not the consumption side

yes, they are infinite proofs

but you can get to any specific part of the proof in a finite number of steps

no

with guarded recursion your assumption is that all values of your inductive type have bounded size

and that the operation of dismantling terminates in a finite number of steps

to do that you make sure you dismantle at least something on every step

coinductives are a little bit different

in that they're concerned with maps A -> I, not I -> A

you want an algorithm that produces a value

producing at least something on every step

the values need not be finite here

you can't induct on coinductives

but you can pattern match

so for every "location" to which you can get with a finite amount of pattern matching, you want the generating algorithm to be able to fill that location in a finite number of steps

for some reason the duality between R^infty and R^omega seems relevant here

a sequence in R^infty has finitely many points, and a functional can be infinite

a sequence in R^omega can be infinite, but a functional can only probe at finitely many points

yeah

stream R versus list R, pretty much

modulo trailing zeros

[compact tartan]

I guess to make this point more... straightforward

for inductives, your production algorithms have to be finite, and the consumption algorithm can assume that

for coinductives, your consumption algorithm has to be finite, and your production algorithm can assume that

[muted gorge]

thank you and @compact tartan ! I will read this

[stable oar]

can someone tell me how i get the helpers role? it doesn't actually say in #info

[sharp mulch]

You ask a moderator

[stable oar]

ahh okay, thanks!
can i just ping the moderator role or is that not allowed?

[meager sonnet]

Don't ping mods for that

[stable oar]

someone gave me the tag so thank you moderator 🙂

[cold needle]

are you fucking kidding me

[neat lintel]

#❓how-to-get-help

[cold needle]

#848786850994585651

[devout nacelle]

[broken scaffold]

^

[neat lintel]

there's probably some symmetry you can use for this

idk how t odo it

[cold needle]

yknow this isn't even a terrible problem because at least the boundary conditions are like

already in a fourier series

nah all u do is spam fourier and equate coefficients

it's so braindead

[neat lintel]

[cold needle]

intro pde is bad

[vagrant kestrel]

spherical fourier

[neat lintel]

this theorem statement is half a page long

pain

this is a good theorem

[rancid meadow]

i don't agree

maybe I'll do some algebra tonight for the first time in weeks

[junior jolt]

hi i just came here to say screw the physics and aero server no one is helping me.

[rancid meadow]

on god

[junior jolt]

for like 3 days lmfao

[rancid meadow]

fuck the physics server

[junior jolt]

i swear whenever i have a math problem HERE

[rancid meadow]

dude wasnt your project due like 20 hours ago

[junior jolt]

someone actually helps

yeah i asked for a second deadline extension 🤡

and the maths department ignored me

so im just hoping they reply at some point

lmao

[rancid meadow]

thats a yes I think

[vagrant kestrel]

there are 0 people in the physics server

[junior jolt]

ah yes i think so too

[vagrant kestrel]

so it makes sense you didn't get a response

[junior jolt]

oh is it

yeah the aero one is completely dead

but ig so is the physics one

[rancid meadow]

just visited the physics server

what a shitty server

[vagrant kestrel]

there's just more math homework than physics homework

[burnt dune]

its trash

[junior jolt]

someone buried my physics question in the question help channel with some philosophical bullshit

[burnt dune]

i got banned for interrupting a talk

didnt utter a single word other than sorry and hey can ia sk for help

[junior jolt]

pog

[blazing pawn]

is the physics server shitty

[burnt dune]

everyone knows hpysics is much cooler than math

[rancid meadow]

it is moth

[burnt dune]

but at the same time this serv is way mroe alive than physics

[blazing pawn]

Its been fine whenever i have used it but usually cawabi immediately answers any questions i have

[rancid meadow]

I've left

it was too much

[burnt dune]

so yea that says something

[blazing pawn]

and ive used it very few times

[neat lintel]

i am glad that slimvesus agrees with me

rauch's comparison theorem is a top tier theorem

[rancid meadow]

doesn't make any sense tterra sorry

[blazing pawn]

its too many words

not top tier tbh

[neat lintel]

cope

[junior jolt]

lmfao

cope

thats the first time i've heard someone say cope over a maths theorem

[rancid meadow]

[neat lintel]

its generalization is probably easier to digest geometrically

[devout nacelle]

What the actual heck is that last line in the main para

[blazing pawn]

I dont know what geodesics or sectional curvature are

[devout nacelle]

What is that symbol even

[neat lintel]

which one manan

[rancid meadow]

this is so beautful.

[devout nacelle]

The funky K like thing, which looks like ) and < superimposed

[neat lintel]

angle

it's weird lol

[devout nacelle]

trerra

[rancid meadow]

trerra

[torn willow]

I do not understand the difference between #math-discussion and #discussion channels

[neat lintel]

slim give me a minute to think

i think i see it

i just want to figure out how to put it into words

[junior jolt]

discussion can be anything i think

[neat lintel]

jacobi field roughly measures a variation through geodesics

but i must think

[burnt dune]

is this geometry u guys talking about

[neat lintel]

makes sense slim

let me find a piece of paper i havent scribbled on

i want to convince myself with a picture

[sharp mulch]

They intersect

[neat lintel]

i think your interpretation is good. as curvature increases, you expect geodesics to spread less / be closer together. then jacobi fields would become shorter, since they measure the variation of nearby geodesics (roughly)

hmm

why do we expect this

it feels right to me but i need to think for a moment to actually explain it

i'm tempted to just copypaste the intro to do carmo's rauch chapter

[blazing pawn]

Tterra do you know about

[neat lintel]

[blazing pawn]

holomorphic connections

Did you know that they are secretly fucking dumb

[neat lintel]

do carmo's RG is fine after chapter 4

[blazing pawn]

also equivalent to locally constant sheaves of complex vector spaces

[neat lintel]

everything before is kind of boring

no not really moth

[blazing pawn]

of fixed finite dimension

they are defined in this book for riemann-hilbert

[neat lintel]

i know about connections but next to nothing about complex geo

[blazing pawn]

It looks sad

[neat lintel]

ok the reason i have for bigger curvature -> less geodesic spread actually goes through jacobi fields

[blazing pawn]

Massive meme

[neat lintel]

i'm conflicted between trying to put this in my own words and just copypasting do carmo

because the explanation in there is exactly how i think of it

i am currently coping

curvature makes them spread! of course it does, what else could possibly happen?!!?!

What a silly question to even consider for a moment.

also it's late

this concludes my excuses

do carmo chapter 10 has a very nice paragraph on this

[errant rock]

vibe check

[neat lintel]

the comparison theory chapter in lee is next

it looks hard

[cold needle]

i had no idea how to do it beyond comparing coefficients but this is the answer at the back of the book

i figured it out after looking at a solution which uncovered more coefficient comparing which i was not doing

this is garbage

i hate this class

[neat lintel]

if $J(t)$ is a jacobi field along a geodesic $\gamma(t)$ with $J(0) = 0$, then $$|J(t)| = t - \frac{\mathrm{sec}(\gamma'(0), J'(0))}{6}t^3 + o(t^3)$$ where $o(t^3)/t^3\to 0$ as $t\to 0$

[fathom swallow]

R2T2 ✓

[neat lintel]

so if you interpret t as capturing how the rays in the tangent space spread, the curvature measures the deviation from that somehow

idk

(to third order)

i agree

but note that this (almost) gives rauch's theorem for small positive t

just cut off the o(t^3)

xd

[devout nacelle]

small positive t
TTerra physicist confirmed

[neat lintel]

quoting do carmo, "rauch's theorem gives conditions under which this inequality can be extended to all t"

[forest jackal]

@neat lintel you like riemannian geometry?

Jacobi feeldeez nuts.

[neat lintel]

do carmo is the kind of book that starts out 🤢 and just gets better and better

no wonder all those boomers on MSE love it

[mortal oasis]

MSE? mean squared error?

[forest jackal]

rg is like that

a lot of the setup is a bit tedious/annoying.

[neat lintel]

the later chapters in do carmo are literally just

"we will prove this theorem," proves the theorem, exercises

[forest jackal]

🐱

[neat lintel]

rg good

wtf do i do after lee

gomez give rec

i was eyeing the comparison geometry book by cheeger and ebin

there's also a more advanced book like petersen

[forest jackal]

my last paper was geometric, about focal points for geodesic flow on a certain class of manifolds, but we ended up mostly exploiting symplectic geom/structure of the integrable system rather than explicit RG calculations.

[neat lintel]

[forest jackal]

have managed to avoid having to get my hands too dirty with with rg calcs

[neat lintel]

this sounds tasty

gomez geometry arc

[forest jackal]

https://tenor.com/view/cat-hungry-licking-lips-lick-gif-10943585

https://tenor.com/view/cat-bite-nom-attack-slo-mo-gif-12221453

oh you asked for a rec @neat lintel , yeah ergodicity on negatively curved surfaces is a good thing to do.

I know of a nice presentation of it, let me find it.

@neat lintel appendix A

you might find other things in here interesting too.

[blazing pawn]

Gomez desperately attempting to stay hip and relevant to the youths

[neat lintel]

weiner balls man

curvature of a metric space

ty gomez, downloaded

[forest jackal]

I only used it for the writeup of ergodicity, which I quite like.

[neat lintel]

big spider on my wall rn

[velvet dagger]

Oo nice thanks gomez

[forest jackal]

🐱 👍

[velvet dagger]

Goddamn this looks sexy

[forest jackal]

yeah its very nice

[cold needle]

good morning friends

solved a few PDEs i think for the first time

using separation of variables and some sturm liouville fun

seems neat

i should sleep

have an exam at 2pm on this stuff

pain

[sudden nebula]

wait

you just solved a few PDE's for the first time and you have an exam today on that

whad did you do until now

[cold needle]

watched the lectures for the content

just now

[torn willow]

See our metal is doing something called the "engineer strat"

[cold needle]

[sudden nebula]

good luck

[cold needle]

ty

i think i will do well though these are much nicer problems than from before

and this is the final exam for the class

he made it less points this time

i also already have a very nice score in the class

i have 103, expecting it to go down to a high 90s after that last exam 💀

90 is A

i will make it

https://media.discordapp.net/attachments/738548949488762954/818299625182199878/image0.gif

[limpid venture]

Good luck Metal

[iron osprey]

metal just wait until u see

fourier neural operators

theres no need for analytic solutions.

[stray jacinth]

hi

anyone here who can help me with finance math

who has great knowledge of cryptocurrencies and mathematics

[devout nacelle]

Goodluck!

[verbal tangle]

<@&268886789983436800> this user's doing steam scams through here

[steel mantle]

Cheers

[sudden nebula]

what happens in the DM's stay in the DM's

[thorn brook]

oh crap, it's written in Swedish!

[sharp mulch]

[sudden nebula]

what does this new nick means

[sharp mulch]

[sudden nebula]

[devout nacelle]

insert ORV endorsement here

[sharp mulch]

I pre-ordered the special edition of ORV

It's very exciting

https://www.starwatcher.com.tw/shop/orv-preorder-bundle/

Eeeeeeeeeeee

I'm so excited

[devout nacelle]

I'll start reading soon

[sharp mulch]

[naive stirrup]

[sharp mulch]

Yes?

[deep mango]

@sharp mulch plenty of good comments in what demmel sent

[sharp mulch]

Oh Demmel sent something

Nice

[deep mango]

ok welll...

uhh

it's so far a lot of word choice changes

lol

but at least that means other stuff was good

yeah i can try to implement these changes now i guess

[sharp mulch]

I'm doing some of them

I've done the abstract and am doing the introduction right now

[deep mango]

ok, i won't touch it then for now

i can fix the formula thing, the last comment

that was just a typo

[sharp mulch]

Ok I've pushed some changes

I did not recompile it though

[deep mango]

Are there any changes you did not implement besides the last one?

[sharp mulch]

I didn't touch 2.2 or 3.1

[deep mango]

ok

recompiled and pushed

[rancid meadow]

haha yeah man.

[neat lintel]

hi

[errant bloom]

Hi

[neat lintel]

hi (i think anyone needs to upload animated catwave emoji)

[bronze pelican]

Let's discuss how Dustin holds the pen

✊ 🤛🖊️

[narrow rock]

[neat lintel]

this is displeasing

[sharp mulch]

[crystal stream]

that is cursed.

[vivid halo]

this is still better than his talks where he writes on paper and then holds it up to the webcam every so often

[sharp mulch]

@deep mango are you going to finish the parallel bounds before you leave

[deep mango]

i'm leaving tomorrow morning

and i haven't packed

so... no

but i'm going to work on things while i'm on the trip

i can't drive, so i'm going to be sitting in a car doing nothing for about 5 days

[sharp mulch]

Ok

[deep mango]

first priority is pokemon on phone emulator

[sharp mulch]

[deep mango]

second priority is survivor podcasts

maybe when i get bored of those

[rancid meadow]

you're driving from Berkeley to NYC?

you should visit the grand canyon

i've always wanted to go

[sharp mulch]

Other way around

NYC to west coast

Grand Canyon is not along the way

The way is I-80 all the way

[rancid meadow]

why are you driving back

[sharp mulch]

RYC has stuff stored in Berkeley

[rancid meadow]

also the grand canyon is on the way if you go out of your way

[sharp mulch]

[rancid meadow]

it's worth it

[sharp mulch]

I've been before

[rancid meadow]

probably

[sharp mulch]

It's fun

[rancid meadow]

wow

is it cool

[sharp mulch]

Good for photography

Yeah

[rancid meadow]

im so jealous

ange do you do film photography

[sharp mulch]

No

[rancid meadow]

[sharp mulch]

I do digital photography

[rancid meadow]

good

[sharp mulch]

[rancid meadow]

this is what i assumed

[sharp mulch]

I'm not pretentious enough to do film photography

[rancid meadow]

you don't have a film photography personality

Okay, The Place of the Lily that Weeps.

[sharp mulch]

I'm also not good enough at photography to do film photography

Like there are things to be said for getting better results on film

[rancid meadow]

the point of film is that it makes bad photos look good by making them seem grainy and emotional or something idk

[sharp mulch]

But this is not relevant to the vast majority of film photographers

[rancid meadow]

i have negative associations with film photography

[sharp mulch]

I mean like my brother's wedding photos were done on film

You can definitely get very high equality images

My entire family is very serious about photography

[cold needle]

good morning friends

i just took my final exam for this ode course

i think i did flawless or near flawlessly

😌

i feel good

[dense belfry]

Congrats

[cold needle]

ty 😌

[mortal oasis]

Hell ya!

[sharp mulch]

Yohan up very early today?

Or not yet slept

[fathom swallow]

The current time for Yohan Wittgenstein is 03:16, 19/06/2021.

[sharp mulch]

Tomorrow

Or today

[sudden nebula]

well if it's a random exam just answer it randomly

[limber thunder]

considering how arbitrary the profs can be that might even turn out alright

[deep mango]

you have to give an exam

[last oxide]

as expected

good job
you deserve it buddy

[cold needle]

❤️ ty

[limpid venture]

Metal acing Laplace exam
Now Metal is gonna ace Laplace talk

[cold needle]

hehe

[toxic schooner]

i wanna attend that live so badly, but its 1:30 am for me, so i cant

[limpid venture]

Same

I'll probably watch it on youtube

[toxic schooner]

yea thats what i can do as well

[limpid venture]

Not because I won't be awake but because I wanna watch spain vs Poland

[devout nacelle]

Virgin football match vs chad talk on Laplace transforms

[limpid venture]

Virgin football match all day

[devout nacelle]

[toxic schooner]

im not a sports fan so

[toxic schooner]

chad talk is what i would go for

[devout nacelle]

I'll just go for omegachad sleep

[limpid venture]

Mathematicians calling sportspersons virgin
The irony

[toxic schooner]

same lol

[devout nacelle]

[toxic schooner]

sir, who are u calling a mathematician

[limpid venture]

Manan.

Dw, didn't call you one

[toxic schooner]

Lol fine then

[sleek wing]

Virgo shaming smh....

[toxic schooner]

what?

[sharp mulch]

[devout nacelle]

Omniscient Reader's Viewpoint

[bold ferry]

New nickname everyday

[devout nacelle]

Each of them is a chapter title, I guess.

[azure kettle]

sadge dont talk about manhuas

the only translator of this one series I'm reading privated her translations because aggregators were copying them

and the official tls are like 15 chapters behind

so I'll have to wait like 4 months

[devout nacelle]

[azure kettle]

before I can read the next chapter

[bold ferry]

Read One piece

[devout nacelle]

Apparently Jujutsu mangaka is also undergoing health issues

So new chapters might be stalled

[azure kettle]

I dont really care about that

more authors should take breaks

weekly series burn people out

[devout nacelle]

Fair enough

[azure kettle]

as long as its like a reasonable break

more than 1 month and I'm malding

[bold ferry]

Imagine being in Odas place
hes been pumping out chapter almost every week for last 23ish yrs

[modest rune]

i just read like

30 manwha at once

so i never run out of content

[azure kettle]

I'm currently reading like 50 series

it's just I really liked that one

[modest rune]

fair

i only read on webtoon

[azure kettle]

hopefully some other tl picks up the series or she un-privates her translations or I somehow get access to her private discord

or I'll be sad for 4 months

[sharp mulch]

ORV

[devout nacelle]

[azure kettle]

[cold needle]

why do i still get emails of people joining the zoom call

if the meeting hasn't officially started

like on zoom i set the time to 4pm

so like

okay ig

lol

[sharp mulch]

[neat lintel]

[sharp mulch]

[ancient flame]

I like how the big cat emojis are denoted like matrices

11, 12, 13, 21, 22, 23, 31, 32, 33

instead of the standard 1-8

that's how you know this is a nerdy community

[neat lintel]

[toxic schooner]

i wanna make a matrix cat as well

[neat lintel]

so do it

you have nitro

[toxic schooner]

but i am not in the server that has that emote

[neat lintel]

right click, hit open link

save as image

upload to private server

[toxic schooner]

gotta do some work then, but for the cats, it is worth it

[neat lintel]

it takes like 3 minutes at most

[toxic schooner]

but im lazy soo

[neat lintel]

[toxic schooner]

lol

[neat lintel]

do not trisect the cat

[toxic schooner]

that was not my intention

[vagrant kestrel]

[toxic schooner]

why did it become trisected?

[vagrant kestrel]

it adds a space between emojis just delete it

[toxic schooner]

there we go

[thorn brook]

:sipPepa:

[thorn brook]

How to get good at math

Wait, I recognize that person

Is it not the guy that’s the quantum physics chair of some of something

He “invented” string theory?

[meager sonnet]

Witten

[thorn brook]

VIBES YOKOOOOL VIBES

Feels like I’m in a anime

Ledog

F u

[neat lintel]

The God

[thorn brook]

(Jk)

[errant kiln]

Is this your first time going outside, Toki? Europe has been like that for quite some time 0.0

[neat lintel]

yes, he's a weeb

[thorn brook]

No, it’s been raining and shit in Sweden lol

[thorn brook]

Of course lol

Should I change my name

Bye I have to go

[neat lintel]

yes

[errant kiln]

You should change your profile picture to the real Tinky Winky 0.0

[distant vortex]

Tinky Winky is an icon

https://tenor.com/view/tinky-winky-haters-gonna-hate-teletubbies-booty-shake-shake-it-gif-7695094

[thorn brook]

NOOOO RIKKA BEST GIRL

No tinky winky

[errant kiln]

[thorn brook]

Ayyyyyyy what da dog doin

[neat lintel]

its not a dog.

[thorn brook]

I have to go again, bye!

[neat lintel]

fight the animal

[mild nebula]

It is Forest Dog

[terse quest]

it's the middle of the night and i don't understand a thing

[errant kiln]

what don't you understand?

[neat lintel]

have you tried sleeping

[terse quest]

https://youtu.be/UubU3U2C8WM?t=428
what does he refer to when he says "lower curve" and "higher curve", "lower values" and "higher values"?

[azure kettle]

dont reveal the secret tech tterra

[terse quest]

and what's "making an error in sign"?

[neat lintel]

off by plus/minus

probably

idk im not opening that link

[terse quest]

should this go into math help actually

[neat lintel]

yes

[terse quest]

sorry lol

well i don't live in sugon so

[neat lintel]

[terse quest]

i can't go to sleeeeep without understanding this

ok i can, it will just claw at my brain

[neat lintel]

your brain will attack it for you in the middle of the night

[modest rune]

whats this pasta from

[neat lintel]

ryc

i think

[elfin prawn]

is there a symbol for for orthogonal projection of a line?

[sudden nebula]

What a silly question to even consider for a moment.

[modest rune]

i have once again decided to mod skyrim

pray for me

[rancid meadow]

isnt it just $\mathrm{proj}_L(x)$ or something?

[fathom swallow]

jesse ✓

[sharp mulch]

P is a projection matrix

[rancid meadow]

no P is an english letter

[fathom swallow]

jesse ✓

[rancid meadow]

but thats gross

¯_(ツ)_/¯

[narrow rock]

P

[narrow rock]

j

[icy quest]

Why is exponentiation used in Gödel numbering? What's the algebraic structure of doing that?

[dense belfry]

Because of the fundamental theorem of arithmetic

[vagrant kestrel]

because binary wasn't discovered yet

[icy quest]

What, really? Binary representation is more efficient?

[vagrant kestrel]

sure but it's probably more annoying to write down

[icy quest]

ah... google ignores when I try to filter out "binary operation" so results about group symmetry get clobbered.

[icy quest]

Guess I'll have to actually read the Dragon Book.

[steep laurel]

help

[icy quest]

you're alright dude

[steep laurel]

no

[icy quest]

it's fine

[steep laurel]

I got beat up by the number 4 and 7

I hate math!!!!

[icy quest]

ssshh

[steep laurel]

I’m now a turncoat

I’m switching to science and gonna win over math in every way and any way possible

[icy quest]

Look, 4 and 7 are fine on their own. They just get into trouble when they are alone together.

3 usually helps them out

[steep laurel]

I’m gonna try my very hardest to get rid of number 4 and 7 out of the number chart of numbers

[icy quest]

21 is going to miss them

[steep laurel]

What’s 9+10

[icy quest]

910

[steep laurel]

yknow

if I solve the hardest math question ever in existence can I be a mod

[icy quest]

Yeah but you don't wanna do that.

You'd just be a janitor.

[steep laurel]

[icy quest]

People only talk to you when they want you to clean up their mess.

Well it's nice when things are nice.

And if there are no mods things aren't nice.

So I guess it depends on how much you like things being tidy.

maybe solve it just for yourself?

don't have to tell anybody

you could just

[frozen merlin]

what are the pros/cons of a phd in the usa, where you have a couple years of foundational classes before starting your dissertation? (as opposed to a european course where you start researching straight away)

[deep mango]

Well, a phd in the USA doesnt require a masters beforehand.

That's the "foundational classes" part usually.

Many schools even grant a masters after 2 years as part of the program.

A big pro of this is that even if you don't start active research immediately, you can ease into it while taking classes, do reading courses and attend seminars, get to know people, etc. It's a good environment for directing yourself well.

Another pro is that you're funded for what would have been the duration of the masters in europe (so more years of funding in the US)

A con is that you may not be able to get out with anything if things aren't going well. Some schools (mine for example) give you a masters if you leave sometime after the first two years but not every school does this.

[viscid pecan]

I’ve been thinking about this on and off. There’s no super clear answers but if you apply to the right program maybe you get more fortunate with waiving course requirements and stuff. Seems like a headache.

There’s a few foundational formal math courses I haven’t taken to be qualified for a grad program in mathematics. I have not taken any formal analysis course or algebra course that is higher undergrad level I guess you can say.

[frozen merlin]

hmm ok

the thing is, i'm on an undergrad course right now which lasts 4 years and I graduate with a masters

so it seems like the first few years of a usa phd might be a little "wasted"/better spent doing research, rather than studying at a master's level again

[viscid pecan]

Sounds like your in an accelerated bachelors-masters program. If your a quick learner then that shouldn’t be too bad but I tried doing something like that and had a bad time for my Comp Sci degree

[frozen merlin]

it's quite common in the uk to have 4 year undergrad courses which give you a masters degree

[viscid pecan]

It’s a large part of why my student loans are maxed out and I’m basically screwed out of getting into most Grad programs now

[devout nacelle]

I think (some?) American grad schools can waiver your classes subject to clearing some qualification exams.

[viscid pecan]

Yea quals but also I’m not sure if scoring well enough on math GRE has an impact either. Then again math GRE is strictly timed test and if you have disability accommodations, you can’t get that for math GRE like you would for course exams

[frozen merlin]

I mean, I could choose to end my degree after 3 years and graduate with a bachelors, after which i could go straight into a us grad program

[viscid pecan]

I would like to find out if I can take qualifying exams or get course credits for prospects in a mathematics grad degree without worrying about my student loan situation

The answer seems to be no

If you don’t already have a bachelors I would suggest that. Idk why faculty convince students that anybody can get through an accelerated program.

[frozen merlin]

it's not really an accelerated program, most people in my course are staying on for the full 4 years

[viscid pecan]

I’m terrible with stress and multitasking related time management. I cannot do accelerated anything as far as I’m concerned haha. I stressed myself out so much trying to get thru an accelerated program for Comp Sci. I just finished with another bachelors instead

Already had a bachelors in social sciences beforehand at the time

I feel like almost nobody wins if you don’t have your life figured out before it’s time for you to be already prepared for college classes and god forbid knowing what your going to study

Most people (like myself) went to college prematurely. When I mean prematurely I don’t mean younger than most people going to college but on a whim that your doing the right thing not for your own sake but cuz everyone else told you to go to college even tho you didn’t have any idea wtf you wanted to do and had no motivation to prepare properly for it during your grade school years.

[compact tartan]

I can kinda relate to that

[frozen merlin]

yeah, for sure i agree

[viscid pecan]

I don’t know mniip, you seem like you been well educated compared to me during my younger years

[frozen merlin]

it's slightly better in the us where you can change your major/courses while you're there

[compact tartan]

if i knew wtf I was doing, my situation would've been so much better

[viscid pecan]

I am still playing a lot of serious catch-up if I want to be a mathematician lol

[compact tartan]

there was a lot of stress as a consequence of me not preparing appropriately for uni admissions

[frozen merlin]

because in the uk (and europe?) you apply for a specific subject and that's all you do for 3/4 years

can be really hard if you pick the wrong thing

[compact tartan]

and then there was this 3 year hiatus where I was trying to figure out why I'm doing it

I think part of it might be because for most people job prospects might be a careful balancing act, and they are motivated because they don't have a lot of options

and I was like "nah I'm smart I'll wing it"

[viscid pecan]

Yea well I’m ina situation where I wasted my opportunity to get the right course credits when I still had student loan eligibility. I’m kinda screwed now unless maybe if I audit a bunch of classes and get letters from those professors that I know the material or something? Seems like a pipe dream. How do you take courses and or get prerequisite course credits toward qualifying for a grad degree program if you can’t afford them and they are required in order to get admitted to the grad program of your choice?

Seems like all I can really do right now with math is just pursue it recreationally for the most part outside of tutoring and maybe substitute teaching or summer schooling

I don’t necessarily have a problem with this but I have some concerns for financial stability

[sharp mulch]

You can get accommodations for the gre but it’s a bit of a hassle

[viscid pecan]

Kinda don’t like thinking about finances too much cause you never win in that thought process. It’s always a damned if you do or damned if you don’t kind of situation

If only I could work a job I didn’t care about that actually took effort. I tried that and it was a bad time

[viscid pecan]

Well that helps but it’s too late now for me probably haha

[sharp mulch]

Also the math gre will not be getting you out of any classes

[viscid pecan]

Exactly mate

It’s always something

Put all that effort into scoring decently enough on math GRE, just to find out you still need to take those undergrad analysis and algebra courses and you probably have to pay to take those classes yourself

[atomic hornet]

Wdym by nobody wins?

If by win you mean get into a phd program that just isnt true at all.

Most of my friends started as CS and switched

Coming in and knowing you want to study math and knowing what you need/do to take to get into grad school helps a ton

[sharp mulch]

You are never paying to take classes during a PhD program

[atomic hornet]

But most people didnt know that stuff.

[viscid pecan]

No I mean how can you get into a PhD program for a major that you still have to take core prereq classes for?

Unless you can just take quals to go right into your grad core courses

[sharp mulch]

Yes you can

No one cares whether you took the class if you know what you’re doing

[viscid pecan]

That’s in line with my thinking haha

Why should people care if you figure out what to do

But like other PhD programs are more unforgiving are they not?

Maybe math PhD is different standards

[last oxide]

youre not supposed to be good at multitasking
nobody is

[viscid pecan]

I’m just genuinely bad at it

And that’s not true

I’ve met several people that are just optimal multitaskers

[atomic hornet]

Ok most people arent good at multitasking

You Do a lot of complaining lol

[viscid pecan]

But I guess mainly I’m also bad at working under pressure and expected to do some serious problem solving that isn’t math related

Mainly cuz of lack of motivation

[viscid pecan]

I mean a lot of people can handle working under reasonable amount of pressure and not cave in on themselves into burn out is what I really mean to say when most of the time I’m referring to multitasking but usually that’s not the same thing

I just don’t perform well if I’m not interested in the work

Reason I’m not working full time rn

[velvet dagger]

The benefit of the class is that the grade in the class is evidence of your skill

Rather than just walking up to the grad program and being like hey guys I swear I know soooo much math

[blazing pawn]

Idk dami

thats always worked for me

[velvet dagger]

Yeah that's because you're auditing

If you were funded...

[blazing pawn]

I will do that for grad school too

Not even going to show them my transcript

Or degee

[velvet dagger]

Lmao

[blazing pawn]

just demand they let mei n

[broken scaffold]

based

[bronze pelican]

[velvet dagger]

I would be like "lemme see" but tbf I kinda flexed on Madison in the app and got accepted so

[devout nacelle]

How flexible are unis willing to be, to be able to assess candidates who don't meet formal criteria?

[velvet dagger]

I have no idea, it's not a common situation for sure

[devout nacelle]

Would they like, be willing to set up individual interviews or screening

I see

[velvet dagger]

And it's difficult because they are throwing money at you so they wanna be sure

[devout nacelle]

Fair enough

[narrow rock]

[velvet dagger]

Using that emote basically guarantees admission

[bronze pelican]

🌮

[velvet dagger]

No

[narrow rock]

using or should

[vast surge]

What grades do grad schools generally expect me to have? Due to the pandemic what was once a solid 4.00 has gone down to a 3.50, and I'm afraid that that will hurt me when I apply to grad school.

(I was considering whether to ask here or in a questions channel; I can delete here and ask there if that's more appropriate)

[sharp mulch]

Here is fine

[deep mango]

That depends on what your target is for a grad school

[viscid pecan]

Yea I’m down for taking the classes or even auditing. Somehow getting the credits at some point is what I would like if possible without worrying too much about finances.

[vast surge]

A fully funded PhD program somewhere.

[velvet dagger]

3.5 is gonna hurt at the top

[deep mango]

If you're looking for top 20 programs a 3.5 will probably matter unless your other app materials are super shmancy

[velvet dagger]

In general it's still workable, especially given the pandemic

[thorn brook]

wow so many roles

[errant kiln]

[velvet dagger]

Is that 3.5 much overall GPA or math GPA?

[viscid pecan]

Lmao my GPA was hardly approaching 3.0

[deep mango]

If you're looking to get into a funded phd program somewhere, then you just need to be looking for the right places that are a good fit for your research interests and academic style.

[viscid pecan]

I wish I went to school when I had my shit together

[vast surge]

Overall. I think my math GPA is about 3.6 or so. (I also have like 2 more years to bring it up, which I intend to do)

[vast surge]

And I guess the next question is, how do I even begin to research programs? I'm really into algebra and number theory, but a google search for "good algebra PhD programs" or "good number theory PhD programs" returns ivies and MIT and things of that caliber, which I might apply to one or two as a stretch but that's not what I'll be applying to in general.

[sharp mulch]

Ask a professor you are close with and knows your interests where to apply

[deep mango]

Talk to professors who you plan to ask for recs. Or grad students that were your tas.

[sharp mulch]

Look on arxiv for papers you are interested in and see where the authors are located

[deep mango]

Yeah

Basically rankings are totally worthless for finding math grad schools

[vast surge]

I got A- in calc II and diffeq, I got B+ in multi and I got B in number theory (when I was the only sophomore in the class)

The rest of my math grades were either A or A+

[deep mango]

Lol

Yeah then this is fine

Also idk if you're looking at this but look at mathprograms.org for research programs, usually summer research has applications in jan/feb.

[vast surge]

I was rejected from every REU I applied to for this summer

[deep mango]

So is basically everyone the first time around

[vast surge]

The rumour I heard is that lots of professors were just re-accepting the people they accepted last year

[deep mango]

Yeah

[vast surge]

And last year was just the summer after my freshman year when I didn't really have enough to apply to anything

I'm a bit strapped for cash.

[deep mango]

Ok well yeah no one gets reus after freshman year lol

Maybe a few people

Actually my friend did but that was an anomaly

[vast surge]

This summer I'll be reading by myself about Galois theory and maybe something else

[blazing pawn]

are you a sophomore right now bananachair

or a junior

[vast surge]

I finished sophomore year recently

[bronze pelican]

[sharp mulch]

Lol same I never got into reus

[blazing pawn]

Oh

well you still have another year to boost your gpa

[sharp mulch]

Across all the application cycles I did

[bronze pelican]

#serious-discussion = #grad-school

[vast surge]

Honestly a dedicated #admissions channel or something might be useful

[deep mango]

I got into 1 of 14 REUs I applied to in sophomore year, and then in junior year the first 3 I applied to I got into all of them immediately lol, so I wouldn't stress about one bad year.

[vast surge]

I only applied to like 5 or 6. I'll put way more effort into it this upcoming year.

[deep mango]

Tennessee, Indiana, and some other rando place

It's not a dox

Wait

[sharp mulch]

In the last staff summary from a bit more than a month ago it mentioned something about an opt-in system

[deep mango]

Yeah it is kind of

Oh well

[sharp mulch]

This has not happened yet

[bronze pelican]

You can also do research with a professor at your school, you dont need to do an "official" REU

[deep mango]

They werent top quality REUs but the only top quality REUs are combinatorics and number theory shit

[vast surge]

My advisor is also telling me to apply to the Budapest Semester program and that that will help a lot, so I'll do that, and my algebra professor and my number theory professor suggested I try the Putnam.

[vast surge]

My school really only does undergrad math research via the REU; it's a small department.

[bronze pelican]

Rip

[sharp mulch]

IPAM has one

ICERM has one

There are some others

[vast surge]

What are other things that help applications?

[sharp mulch]

Good letters

[blazing pawn]

weed

[sharp mulch]

Write good statements

[vast surge]

I'm working on building relations with some of my favourite professors so that I get good letters.

[sharp mulch]

1 is not enough

You ideally want 3 good letters

[bronze pelican]

Reading courses are wonderful

I did a whole bunch in undergrad

[vast surge]

Is there a maximum number of letters? I think I can get good letters from possibly up to four professors right now, and I still have two years of undergrad left.

[sharp mulch]

Schools generally want 3 letters

[narrow rock]

make sure that your gpa is a baby

[viscid pecan]

@velvet dagger what is your advise for someone interested in graduate mathematics program who both lacks formal credit requirements currently and didn’t have the greatest graduating GPA shy from a 3.0

[narrow rock]

i am go to harvards

[vast surge]

How many reading courses should I do a semester?

[velvet dagger]

Yeah I mean, have realistic expectations, and get rec letters, have projects to show

[vast surge]

I have nothing planned this upcoming semester and I might try to do one the subsequent semester.

[bronze pelican]

Of the 15 schools I applied to, here are the # of letters they required/ max accepted

[vast surge]

(I mean, I have real analysis and an advanced/applied linear alg course planned this semester, but no reading courses)

[viscid pecan]

I blew that opportunity too

[viscid pecan]

Yea that’s my plan

[compact tartan]

where tf does one get 3 letters

[sharp mulch]

From 3 professors

[blazing pawn]

talking to ur professors

[sharp mulch]

It is indeed a struggle

I only had 2 good ones

[blazing pawn]

you have to go to class to do this mniip so i see why it could be confusing to you

[sharp mulch]

And then the last one was whatever

[blazing pawn]

[vast surge]

Oh I did, I got an A+

[compact tartan]

look, classes are conducted differently here

[vast surge]

Yeah topo isn't offered next semester unfortunately

[viscid pecan]

I tried doing an accelerated program for my comp sci degree that I maxed student loans for

[light needle]

self learn

[blazing pawn]

skip point set and just do AT

[viscid pecan]

So I didn’t end up getting a masters for that, I have a social sciences Bachelors of Arts and a bachelors of science in comp sci

[vast surge]

Honestly I've heard this from a bunch of people. My school only offers point set as a class though so it would have to be a reading course.

[viscid pecan]

Trust me I would totally do a math masters if given the chance

I just don’t think it’s gona be that simple for me

[blazing pawn]

just cyberbully a professor into it

see if you can get it added on ur transcript or something idk

liberal arts schools are sometimes cool with things like that right

[vast surge]

(I go to a small liberal arts school that focuses heavily on undergrad instruction, so there's no grad programs here)

[vast surge]

Worth a shot

[blazing pawn]

Point set is so borked

[vast surge]

A friend and I are trying to get the department to offer more algebra classes for us before we graduate

[errant rock]

i had a 3.8 gpa and did undegraduate research but didnt get in monkaS