serious-discussion

[topaz swift]

pls delet

It's not kinda sad, it's straight up sad.

[vast surge]

No. I'll keep looking.

[topaz swift]

In the meantime, do you have the pentagram image?

[rapid fjord]

i deadass thought it was gonna be a meme at first

[vast surge]

,av Zorn's Lemon

[fathom swallow]

Zorn's Lemon#5426's Avatar

Click here to view the image.

[void tundra]

wow i regret not LaTeXing my analysis exercises so bad

me scrolling through 100 pages in goodnotes looking for theorems i proved previously

[frigid matrix]

zorn mama so fat she is an inacessible cardinal

[rapid fjord]

<@&268886789983436800>

[brittle socket]

Checking my past proofs is so boring
to be fair I guess I have been doing just this for a couple of days now, with a total of around 100 pages to check

[neat lintel]

"Go touch grass" they said. And here I am mr. judge.

[livid plinth]

any1 help me #1058639867682234430

[torn willow]

Just wing it

[livid plinth]

urgent

[brittle socket]

Yeah I think I might just continue onto the next chapter and come back to check my proofs next time (soon™️) ~~so probably never ~~

[brittle socket]

[void tundra]

i never check proofs because my logical intuition is perfect!!! /s

[wooden flax]

is it just me or does blasting EDM in headphones make u 100x more productive

[neat lintel]

Probably just u, I prefer much more calmer music

[brittle socket]

No music is more productive for me

[long matrix]

same

i get soooooooooooooo distracted by music

its so sad

[brittle socket]

Crow boi comin in

[deep mango]

I get distracted by crazy music, sometimes calmer classical music helps and sometimes it hurts

[brittle socket]

Hi crow

[deep mango]

Hello grass

My sickness is worse today

[wooden flax]

anime music is nice

sad

[brittle socket]

: (

Why

[deep mango]

Well I just woke up

[wooden flax]

https://www.youtube.com/watch?v=L8HxKTty1WU

oof

[deep mango]

So maybe it's not actually worse

[wooden flax]

you're up early

[deep mango]

We'll see

As always

[brittle socket]

What sickness do you have

[deep mango]

Just a cold

Not covid

[brittle socket]

Oh i see

[deep mango]

But this morning I started coughing too

So that's annoying

[brittle socket]

lets bully ryc now that he can't fight back (as effectively)

[long matrix]

not my fault.

[deep mango]

It definitely is

[long matrix]

i was trying to infect slurp and u mustve been caught in the cross fire

[deep mango]

Get out of my throat, frog

[deep mango]

You don't mind that you screwed up though

[long matrix]

no not really

something that helps is to watch a lot of anime. yes.

[brittle socket]

Get my magic potion that is most certainly not poisonous to pigeons (my source: trust me) from your nearest patch of grass. I have placed it there for your convenience :D

[long matrix]

https://media.discordapp.net/attachments/576430342974734385/1055873977534398515/DunningKruger_Effect.png

function?

simple

[neat lintel]

Valley of Despair is actually quite nice with all the new maths to learn, if it weren't for all the despair...

i remember being on the peak in school, they never showed us how deep it can go

[rocky shuttle]

joining this math server puts me at the bottom of the valley once again

[neat lintel]

there ought to be an enrichment part of a maths curriculum which isn't assessed, but of course since it won't immediately contribute to improved performance, the value of this is ignored and it comes down to the teacher

they were like "the real numbers are made up of all points on the number line" and i was like "ah yeah makes sense, thats probably all there is to know about it, on to the next thing"

and now at uni you spend whole lectures to even get to the point to correctly define what it means

I want to get to uni so bad I'm so done with school

[bronze pelican]

Hang in there

[neat lintel]

ty I'm in the final year so not too long

[zealous garden]

The Real numbers simply aren't enough

[brittle socket]

Hyperreals

[untold sapphire]

you guys wanna hear a fun fact

dunning kruger probably isn't real lol

it's a statistical artifact

[eager reef]

So the people referencing dunning kruger pulled a dunning kruger

[static loom]

the fact that it's not real just goes to prove how real it really is

[river moon]

schrödinger's dunning kruger

[zealous garden]

Lmfao

[cinder zephyr]

Dunning's cat

[neat lintel]

kruger's cat

[daring path]

Happy new year ! 🎉🥳🎊 ( From Europe )

[surreal kindle]

🎆

[violet wraith]

how's 2023 so far

[cinder zephyr]

For those of you who already are in the new year

How is the future?

[neat lintel]

Boring

[bronze pelican]

Its not 2023 yet

[neat lintel]

People are still annoying

[violet wraith]

not you

[surreal kindle]

It is

[frigid matrix]

it isnt but its a good wivestale to tell ignorant ppl when u want them to stop talking

and its good way to assert epistemic authority

in simple me >>> u because i spend more time

however this is besides the point

make the most of 2023 and tell me something cool you have learned

[cinder zephyr]

Fuck I was hoping they'd patch that in v2.023

[brittle socket]

[untold sapphire]

i I have learned a lot by reading andrew gelman's blog posts on statistics

I think it's really interesting

http://www.stat.columbia.edu/~gelman/research/unpublished/p_hacking.pdf

http://www.stat.columbia.edu/~gelman/research/published/signif4.pdf

[pallid flower]

is there a fibonacci number that all digits are 3?

in base 10 ofc

[long matrix]

3

[plush crag]

everyone got afraid of discussion 1 seems like

[long matrix]

^ if ur interested in a full answer this is a hint

[neat lintel]

just wasted an hour trying to follow a cranks explanation, it just doesnt make any sense, what am i doing with my life

[long matrix]

meow 😦

[long matrix]

https://www.youtube.com/watch?v=0MMAbp73Yzs

have some nekos

[pallid flower]

ofc but besides this one

[long matrix]

see what i said after

im using the closed form of fibonacci

[neat lintel]

pi = 4/√phi ???

[long matrix]

and geometric for 3, 33, 333, ...

[long matrix]

oh that crap?

haha i pointed out the main issue in the latest comment and they shuddup

[plush crag]

[neat lintel]

he did the same on another video, there he explained in more detail

[long matrix]

jesus

[neat lintel]

but more detail is not enough for him

[long matrix]

well as far as i could see they were just squaring an area for no reason

[plush crag]

imagine doing a neeko chan video full of neekos and then at 10s you just put math theorems and demonstrations that are as long as hell like the one for the Theorem of D'Alembert about the waves

[neat lintel]

i like how he goes cheers at the end

[plush crag]

lmao

[deep mango]

Ah yes

[plush crag]

it's so stupidly long

[brittle socket]

Hi Chalk

[deep mango]

Difference of squares of differential operators

[long matrix]

huh?

[violet wraith]

example?

[long matrix]

dont tell me you understand this crank

[violet wraith]

I may

[plush crag]

was that was i just showed you ?

[long matrix]

im confused

and why did u delete

[deep mango]

Im busy

Eating dinner

[long matrix]

pah

[deep mango]

Now frig off

[long matrix]

WOW

[bronze pelican]

Ryc is too busy for us

[long matrix]

I see how it is

ryc busy in 2022 i see

FINE

ill just get on with meself in 2023

[deep mango]

Work in 2022 so that I can play in 2023

[long matrix]

ur just eating,

[deep mango]

And when the cats are away the birdies will play

I'm a growing boy

[bronze pelican]

Sigma bird ryc

[neat lintel]

this is very cute meow

[long matrix]

https://tenor.com/view/pidgeon-gif-19933062

[plush crag]

eh

[long matrix]

💙

[plush crag]

i can post something back

[long matrix]

hi ryc

yes ofc

[deep mango]

Haters gonna hate

[plush crag]

sure they will

[deep mango]

Strut strut strut

[plush crag]

this is the demonstration for d'Alembert equation for mechanical waves

[deep mango]

Yes

1d wave equation

[plush crag]

[neat lintel]

@long matrix https://youtu.be/U3SNwZ-bmAE

[plush crag]

lmao

d'Alembert proof for 1d wave equation and suddenly NEKO CHEF

[neat lintel]

i just respond to music with music

[plush crag]

ahhhhhhhhhhhhh help me what is this music

won't judge, it's not for me

[violet wraith]

@deep mango when you're done give me an example

[long matrix]

waw lemme see

ah what great lyrics

[long matrix]

@deep mango ud love this

i bet

[deep mango]

Of what

There's one example

[violet wraith]

is it just (D²-E²)f=(D+E)(D-E)f

for D and E differential operators

[deep mango]

del_x^2 f - del_t^2 f = (del_x - del_t)(del_x + del_t)f

It's easy to see if you just apply the things and expand

And use the fact that del_xt f = del_tx f

[violet wraith]

I see

[deep mango]

But it's very useful

[violet wraith]

sounds useful for solving diff eqs

turn second orders to first order

[deep mango]

Because it turns out that it's easy to figure out what f should be if del_t f + c del_x f = 0

[bronze pelican]

I don't like nanahira

[deep mango]

With f having, say, prescribed values on t = 0

But now you can just do it twice

[violet wraith]

that's cool

[deep mango]

Solve the outside of the onion

And then the inside

[deep mango]

Btw solutions to this look like f(x, t) = g(x - ct) where g is any single variable function.

[bronze pelican]

Translation

[deep mango]

It's called the "transport equation": g(x) is transported as t grows at speed c.

[bronze pelican]

Boring pde

Boring solution

[violet wraith]

shut up yamin

I like this

[deep mango]

Boring but builds to the wave equation, which is an exciting pde

[violet wraith]

epic

[deep mango]

Even when you solve this twice on top of itself

You get some cool behavior

Like standing waves, bouncing wave packets, etc

[violet wraith]

ooo

I see

[velvet dagger]

Best PDEs let's go

[deep mango]

KdV equation

1. Third order nonlinear
2. Supports solitons
3. Completely integrable dynamics

[velvet dagger]

Where does it come up?

[deep mango]

it's a common model for nonlinear waves

i.e. waves which interact with each other instead of passing through each other cleanly

in particular, the kdv equation models how waves on shallow water surfaces propagate. so it's what you actually want if you want to study like, ripples moving across the surface of a pond.

[wooden flax]

physics is so cool

[velvet dagger]

Does it come up in diffgeo at all?

[deep mango]

i have never seen anything like it in diff geo

[velvet dagger]

Sadge

[bronze pelican]

It comes up in number theory

[velvet dagger]

Wait what

Okay now I might allow this

[bronze pelican]

Idk but Zagier has some papers with Kdv in the title

Ng might know

[velvet dagger]

Oh right ng did mention that I forgot

[frigid matrix]

ty

[frigid matrix]

wow

i learned about this today

🙂

im still learning but i now know how to solve transport when initial condition is given

[deep mango]

I always forget how to do it

[bronze pelican]

Transport eq is the most boring pde of all time

[deep mango]

Method of characterstics

[frigid matrix]

do you know of any interesting places some pdes show up in diffgeo and are motivated. i know about local flows being ODEs and foliations being PDEs but i never got any great examples

[frigid matrix]

i asked about this yesterday!

[odd brook]

kdv is very cool

[frigid matrix]

#advanced-pdes message

pde is so cute

[deep mango]

One really cool topic is curvature flows, PDEs which change the shape of manifolds as time progresses

[frigid matrix]

oh

like ricci flow

[deep mango]

and related are minimal surface equations, and such things (which are a stationary version)

[frigid matrix]

oh yeah this reminds me

so in my undergrad thesis my advisor brought up monge ampere equation

[deep mango]

or, say, einstein's equations

[frigid matrix]

for something about showing a manifold was calabi yau

but i learned that monge ampere is also a diffeq

[deep mango]

I see

Yes

the simplest kind should be det(D^2 u) = 0

[frigid matrix]

https://en.m.wikipedia.org/wiki/Calabi_conjecture

i see

these dudes were cool

[velvet dagger]

My knowledge of geometric analysis is very little but

I know heat equation can be used to give a proof of Atiyah-Singer

And apparently Ricci flow (eventually building to Poincare conjecture) is supposed to be inspired by, if not directly analogous to, the heat equation

Other geometric flows as well, I know "mean curvature flow" is a term

Minimal surfaces as ryc said, this is also related to a really cool and important subject called geometric measure theory

(through currents, also GMT seems rather important in studying regularity for PDEs)

[tough trellis]

Who is rhe owner

[velvet dagger]

delbar stuff in complex geometry

Spectral theory of the Laplacian

Yamabe problem

[potent pivot]

I know I'm only in one time zone, but happy new year, math friends

[mild nebula]

Happy new year, time zone sharer.

[potent pivot]

I appreciate you, time zone sharers and oxygen breathers alike.

[frigid matrix]

bruh

happy new year

[solar hawk]

Hppy new yr

[brittle socket]

Yes! Now time to do more math

Me being stuck on a bijection proof for the last couple of hours:

[fresh stone]

[neat lintel]

hi

[neat lintel]

Happy new year guys

This is new year week

[bronze pelican]

HAPPY NEW YEAR

[sick kite]

Happy new year bud

[fading zealot]

I no longer trust my observation ability after finding out a book I've been putting beside my pillow for the past 2 month glows in the dark just a few minutes ago

[old star]

I no longer trust my observing ability after finding out our couch has a different colour than I expected it to have for years

[storm sage]

I never trust my observation ability

I am easily gaslit

[old star]

That's an odd word. I can just find it translated as lit by gas 🤔

[storm sage]

https://en.wikipedia.org/wiki/Gaslighting

[neat lintel]

Cool

[torn willow]

I should stop trusting my observations

[hidden violet]

What kind of math is used for the stock market buying common equity?

[violet wraith]

arithmetic

[old star]

Thanks 🙂

[untold sage]

Primary school math really

[neat lintel]

hey how much is 1+1

[neat lintel]

$2+2=4 \iff \text{GameStop to the moon}$ ?

[leaden torrent]

gamestop isnt really playing the stock market, it's buying into a cargo cult

[undone wren]

Buy gaga

[mint canopy]

Buy your face

[undone wren]

I bought it

Great game

Best shooter of the decade

Did you play it?

[mint canopy]

yeah it was almost as good as deez

[undone wren]

Haven't played deez, send link

[violet wraith]

have you guys heard of QFT or DN theory?

[undone wren]

What's qft?

[violet wraith]

HAHAHAHA

[mint canopy]

Who is steve jobs

[undone wren]

I don't watch tv, sorry

[neat lintel]

founder of Apple

[mint canopy]

oh right ofc

so sad he died of ligma

[neat frost]

Ligma not undergoing cancer treatment he was urged to by his doctors and instead doing alternative medicine? That ligma?

[mint canopy]

Bruh is that true

that's really sad

[neat frost]

Also insanely stupid

But sad

[woven whale]

I would have never thought boytjie would shitpost lmao

[mint canopy]

I'm a very serious boy(tjie)

[woven whale]

@mint canopy you're doing a phd, right?

[mint canopy]

I am yeah

[woven whale]

on what topic

[mint canopy]

PhDs nuts

reps of algebraic groups

[vivid halo]

goated topic

[mint canopy]

Ikr

[woven whale]

so you're like a wew 2.0

[mint canopy]

they're so cool

[vivid halo]

what sorts of problems are you thinking about specifically

[mint canopy]

Well lmao at the moment I'm still just learning algebraic groups

[surreal sapphire]

wew does way more boring stuff

[mint canopy]

but my supervisor wants me to do some calculations

there's this conjecture in rep theory, and while it's unlikely we can solve it, my supervisor wants to verify it for some groups of lie type

[vivid halo]

ah nice

[mint canopy]

That's one thing I'm going to work on. The other thing is a broader rep theory thing

We shall see

Have you done alg group theory nGroup?

[vivid halo]

yeah a bunch

[mint canopy]

Good to know I'm not alone haha

[vivid halo]

a portion of my research involves a lot of representation theory of real and p-adic Lie groups

[mint canopy]

Oh that's sick!

[woven whale]

what do you research

[vivid halo]

stuff related to the Langlands program

[mint canopy]

makes sense

[vivid halo]

the representations of adelic groups you study in Langlands are built out of (usually infinite dimensional) representations of real and p-adic Lie groups

so you basically have to understand the local representation theory, and then understand what sorts of rules allow you to assemble these local representations into a global representation

what's weird is that the representation theory in the real case and the p-adic case are so similar

there's no reason they should be so similar

[mint canopy]

Right, not terribly unlike the coordinate ring

at least this is the picture I have in mind when you say this

[vivid halo]

I mean this is just some sort of complicated local to global principle

like suppose you had some system of polynomial equations that you want to solve over Q

suppose you can find solutions over R and over Q_p for all p

did these come from an honest solution over Q?

There are certainly examples like 3x^3 + 4y^3 + 5z^3 = 0 where you have solutions over R and over Q_p for all p, but no solutions over Q

so there's some sort of arithmetic obstruction of global nature in examples like this

similarly, one can start with a representation \pi of G(A_Q) and ask if this occurs as a subquotient of the regular representation of G(A_Q) on L^2(G(Q)\G(A_Q)); such representations are called automorphic. The representation \pi decomposes as some tensor product of representations \pi_p of G(Q_p) and \pi_infty of G(R)

but if you're handed a bunch of representations \pi_p of G(Q_p) and \pi_infty of G(R) and make this big tensor product, if you pick these representations at random such a thing is almost never automorphic

(by a similar token, if you pick a bunch of solutions over R and over Q_p to your Diophantine equation and these solutions are somehow incompatible, then they didn't come from some solution over Q)

[eager reef]

i might learn a bit about algebraic groups next semester

if it fits my schedule

there's a course on them that one of my profs told me to take

[surreal sapphire]

algebraic group? more like F_p^*

[velvet dagger]

REP THEORY GANG

[frigid matrix]

i will be learning about them

but i dont feel well prepared as i didnt perform as i wanted to in alg geom

[frigid matrix]

great explanation

[radiant mauve]

Hey quick question, I'm interested in studying neural networks from a mathematical/theoretical perspective, does anyone know what branch of math/types of classes that would fall under?

[cyan goblet]

afaik, linear algebra, calculus, statistics, probably probability

looks like there’s some stuff in topology there too

but probably not required

[frigid matrix]

generalized linear modeling

i think bishop?

[frigid matrix]

https://www.microsoft.com/en-us/research/uploads/prod/2006/01/Bishop-Pattern-Recognition-and-Machine-Learning-2006.pdf

chapter 5

most standard reference for this

[radiant mauve]

Ah so information science/stats would be the broader category

[frigid matrix]

no tbh

if you understand the reference i gave then you are golden

[heady grove]

i understand the nope

[radiant mauve]

Ah that was just the topic for the overall paper then

Well it's helpful anyway thanks

[violet wraith]

holy shit guys look

[deep mango]

[torn willow]

I am waiting for

let x=4;

[frigid matrix]

nice bait format

but its grammatically incorrect

as this sentence would not be in a dialogue so let would be capitalized and there would be punctuation

[violet wraith]

no that's just how google is

[amber orbit]

lmao

[wanton pecan]

hm

[arctic grove]

[fathom tendon]

Maybe a weird question, but I'm a HS junior and I want to be a math professor when I'm older, what things should I be doing to improve my chances in the future?

[surreal sapphire]

get a degree in mathematics

[fathom tendon]

well yeah duh

[surreal sapphire]

have a backup plan

there isnt much you can do now other than well, learn math

a lot of it is luck and its impossible to tell how academic job market will develop (its currently not great and getting worse, at least in mathematics)

[fathom tendon]

Ok

[vivid halo]

yeah right now just focus on learning as much math as you possibly can without burning out and sacrificing your health

but also keep an open mind, academia is great but it's filled with miserable people. A lot of people wait until they're like 30 years old and 2 postdocs in to give up gambling on such a bad job market for such little compensation

[static loom]

for a while I was interpretting, "do what you love and you'll never work a day in your life," as meaning you'll remain unemployed lol

[vast surge]

But better in math than in most other humanities because for some reason universities fund us like we're a science

[fathom tendon]

noice

[untold sapphire]

we made it

[visual moss]

If anyone has 10 minutes and wants to help me out with collecting some insights about your relationship with math media, feel free to do this. It'll be for a YT channel I'm creating.

https://forms.gle/QsLCHCmuFfkiXHJKA

[woven whale]

@visual moss where is abstract algebra and complex analysis

and also

if you are interested in basic arithmetic then you shouldn't be on youtube lol

the math part of that selection is kinda messed up

[visual moss]

I suppose you can choose the closest to your interest. I am not capable of teaching topics like abstract algebra at this time.

[woven whale]

[frosty saddle]

Does anyone know how a 401k plan works? Can I opt out of it, and if so, is the money that WOULD HAVE gone into it added to my paycheck every week?
Lmao IK this is a Mathematics server, but that doesn't mean your (everyone here) knowledge is limited only to Mathematics stuff 🤣

[chrome marsh]

afaik, you can opt out. Choosing to do it is a poor decision though. The real dollars you lose over time is quite harsh. The only exception is if you're like a year from retirement.

[frank orchid]

You mean do exercise problems what if I get stuck on the exercise problem like completely stuck?

[neat lintel]

Does someone want to discuss Theology

[long matrix]

🤨

[proud olive]

they made a religion about tea?

[long matrix]

I'm curious what one learns in this area

no idea.

[proud olive]

probably that matcha tea is overrated

tastes like bitter dirt

[deep mango]

My favorite survivor winner was a seminary student studying christian theology

She's so fun

[neat lintel]

There's a lot to learn

[long matrix]

brief summary?

of what one might learn in say 1st year

[neat lintel]

One second I'll go copy some topics from an italian university page 🤣

[long matrix]

I did IB philosophy

that's all I have in this direction of learning

[neat lintel]

Students will learn in these semester the following topics:
-Nature and attributes of God
-Person and work of Jesus Christ
-Role of the Holy Spirit in the life of believers
-Nature of humanity and the problem of sin
-Salvation of humanity through Jesus Christ
-Nature and purpose of the Church
-Nature of the Bible and its authority in the Christian faith
-The end times and the second coming of Christ
-Nature of worship and the sacraments

[long matrix]

So this is christian theology

[neat lintel]

Well I for sure didn't learn Aztecs theology

[long matrix]

I mean is there 'Theology' as a subject on its own then?

or is it always for a specific religion

[deep mango]

It would be cool to learn about world religions

And about their entangling history and stuff

[neat lintel]

I doubt you can cover all of them in just the time of a standard degree

There's so much even if you just cover Christianism and Judaism

[long matrix]

Are the majority of students christian I guess? Are there many non-christians who take it

[neat lintel]

I know some people in that university that aren't really religious, but they still take it because it's mandatory. We also got some hours of Catholic Religion in high school even if not all are properly religious

But I'm guessing a decent amount of them is

[woven whale]

because it's mandatory
what

[neat lintel]

Wait what

Really?

[sonic cedar]

like where in the world is only catholic religion mandatory

[long matrix]

there are catholic schools in places.

???

im confused

[sonic cedar]

don't take me wrong really it's just that even here in italy all we did was the classic religion hour where "we try to cover a little of everything"

[long matrix]

in uk there are catholic schools

im sure there are elsewhere

[neat lintel]

You know there are Private Catholic Schools and Universities in Italy right? And they are some of the most prestigious ones

[long matrix]

universities, never heard of

but makes sense

[neat lintel]

Look for "Università Cattolica (Milano)". They are the biggest private uni. of whole Europe.

I guess I know nothing about universities then

[sonic cedar]

i thought u meant public ones well that makes sense and i feel dumb rn

[neat lintel]

Well public ones depend. You'll know fair well we have the option to not attend Catholic Religion hours, but is it really the best choice? I mean in my school they make those who not attend Catholic Religion leave the school for one hour lol.

I've also had a priest as teacher for Catholic Religion in some HS years, and he's enough serious about his job.

[long matrix]

i had a rev for my philosophy teacher

he was v good

[sonic cedar]

damn finding out that Sacro Cuore is not only catholic mandatory but also private like this was not expected at all

[neat lintel]

Yeah but it's one of the best unis. in Italy lol

especially for Medicine and Surgery courses

[sonic cedar]

im chilling and fine with my Federico II i guess

[neat lintel]

Finding out Sacro Cuore is a university lol

[sonic cedar]

don't really know if that's famous outside italy but yea prestigious public uni and best i can afford anyway

[neat lintel]

What do you study?

[sonic cedar]

man i do not know anything about universities

[sonic cedar]

computer engineering

1st year

first exam in a week

calculus

[neat lintel]

You mean Analysis?

not Calculus.

[sonic cedar]

found out the hard way that IT is not my cup of tea so yea idk i might change next year

[sonic cedar]

YES Analysis 1 but last time i said it to a foreigner they asked me what that was

[neat lintel]

American people can't conceive that we do Real Analysis instead of Calculus in Eng. University lol

you have to explain them it's more advanced than regular Calculus most times.

[sonic cedar]

and then i looked up online and thought everyone just said calculus ok so 2-0 for u mr Mark

[sonic cedar]

oh yea bc i saw that the 2 exams are kinda different tho in many ways

[neat lintel]

Yeah you should tell people you're doing "Real Analysis", they'll understand.

[sonic cedar]

well

i guess i should go back to do my thing im goofing around too much

cya

[neat lintel]

It's 1am lol

[shut patio]

How do you write a column vector in latex using texit

[neat lintel]

When do you go to bed

[sonic cedar]

damn a C1 in english and i can't nail 3 mathematics terms in english now that's a waste of my time

[neat lintel]

I've never got an Eng. certificate, they're meaningless.

[sonic cedar]

actually i should very soon if i want to study with some more intelligent human beings tomorrow morning irl

[shut patio]

?

Does anyone have an idea

[sonic cedar]

ill just chug whatever caffeine i can get in my system until the 11th of january and pay for my laziness

[neat lintel]

2am.

I usually read books before sleeping.

[sonic cedar]

true but ig they'll fill that blank curriculum i have rn

so that's better than nothing

[neat lintel]

My uni. demands we take Cambridge B2 in third year, you don't get the degree otherwise lmao

[sonic cedar]

not rlly otherwise i'd have told u

[sonic cedar]

after 3yrs of mastering a field of study doesn't look scary at all

[neat lintel]

You should ask in #latex-help maybe

I mean B2 English is easy as shit.

I guess?

[sonic cedar]

i remember crystal clear taking only less than 1 week to prepare for it and got out with max votes (ty tv series and minecraft ig)

[neat lintel]

Have you done TOLC-I to enter uni?

[sonic cedar]

yupp

[neat lintel]

I remember I got like 29/30 in the english section lmao

[sonic cedar]

no debts dw

nahhh 30/30

the rest though

was a disaster

im not that good in scientific fields but i do love em

[sonic cedar]

frate ma l'hai demolito

[neat lintel]

Ho un compagno di classe che ha fatto 47 🤣 .

[sonic cedar]

madre buon per voi davvero

la DAD mi ha distrutto

[neat lintel]

ci bannano se usiamo l'italiano

[sonic cedar]

oh ok

[neat lintel]

I could've joined Maths, Physics, whatever Eng. I wanted with this score, but I went for joining Industrial Design lmao

the funny thing is that they request TOLC-I for a Design course

[sonic cedar]

not bad at all imo

[sonic cedar]

im too bored to look that up again but i scored around 28/29

so yea

could have studied more

[neat lintel]

When do you do this test?

[neat lintel]

year 12\13.

Do all students do it?

[sonic cedar]

but i wasnt worried bc uni requires only 15

[neat lintel]

Only the students desiring to join University. It's mandatory for joining uni. entry.

How is it called?

TOLC-I.

It's for engineering and scientific uni.s

Oh it's that one

[sonic cedar]

so u did it in hs

[neat lintel]

I did two of them

the first I got 28, then I looked up how to improve at logic because it's the part I do most wrong

[sonic cedar]

are we like complementary or smth

because if that's one thing i nailed those were logic and grammar lmao

not ur average computer science student ig

if only doing history at uni gave out good jobs i'd be more than happy to be the next Alessandro Barbero

[neat lintel]

Lol

I have two History exams in Uni 💀

History of Ind. Design 1 and 2

[sonic cedar]

i had to like look everything up for myself for the tolc-i and all

damn

[neat lintel]

Also got "Aesthetics", which is a Philosophy exam.

[sonic cedar]

sounds like a cool degree though

[neat lintel]

Man honestly this degree is super broad, we have history exams, philosophy, mathematics, tons drawing, economics and also some physics

Yeah it's cool as fuck

[sonic cedar]

but stressful too

[neat lintel]

9am - 7pm lesson 😅

[sonic cedar]

daamn

do u factor the time to go back home tho?

like

[neat lintel]

no 💀 I was excluding it.

[sonic cedar]

i live in naples

and to go to my university i have to do 3 hours back and forth

[neat lintel]

I know it that Federico II is in Naples 😅

[sonic cedar]

and that's like so obnoxious for someone living in that same mf town

[sonic cedar]

yea the rant was more on the thing that public transport is so bad that me and ppl that come from cities nearby it take roughly the same time to go home

[neat lintel]

Have a walk 🤣

[sonic cedar]

i'd rather at this point

well this was very entertaining but as i said gotta get some sleep (now i know who to ask when i need some help for analysis tho muhahaha lucky me)

[neat lintel]

I can't complain if I have more hours than some courses, after all my degree requires many laboratory hours in some years.

I'll go too reading.

[sonic cedar]

as long as u have the facilities that's good

[neat lintel]

bye. Time to read my favorite homie José Rizal

[sonic cedar]

gn have a nice read

[tidal sail]

What channel would I ask a sort of off topic question in?

That has nothing to do with school

[sonic cedar]

i thought there was an off topic channel but apparently there isn't

so ig just use a discussion one

[tidal sail]

Oh, ok

The heck is that…

[long matrix]

whew done with work

good nyight

[charred wren]

quick question about partial vs total functions

basically, i'm having an argument with Haskellers over the mathematical definition of function; they claim that in a mathematical context; function usually means total function

[lyric nimbus]

Assuming "total function" means non-Curried, that's not correct

[charred wren]

partial vs total function

i.e, is a function defined for every element in its range?

[lyric nimbus]

ah no I see now

[fleet oyster]

almost always outside of foundational contexts possibly, a function carries information about its domain and its codomain

and a function is defined everywhere on its domain

[lyric nimbus]

depends on the field. technically yes, but there are plenty of situations where it's okay to elide that distinction a bit

[charred wren]

ah, i see, the main exceptions would be calculus / analysis

due to discontinuity?

[fleet oyster]

no

it's the same in analysis, a function always carries information about what its domain and codomain are

we can view a function as a triple (X, Y, R) where R is a subset of X x Y with a couple distinguished properties

in foundational contexts is the only time where mathematicians even care about distinctions such as partial/total from what I have seen

because when you are working with a model you also have a fixed domain (domain of the model) that you are working in

[mild nebula]

Worth saying that early math will often just assume the domain is "the largest subset of the reals for which the function makes sense". We stop doing that after a while

[woven whale]

ordered triple*

🤓

[fleet oyster]

🤓

[charred wren]

i see; i'm just trying to get a simpler explanation of what functional programming is by linking it to the known concept of a mathematical function

partiality vs totality is the biggest problem

since in FP, languages support partiality over a type to varying degrees

[fleet oyster]

the right context for this is foundations, where the partial/total distinction is cared about

[charred wren]

i.e, set / type / cat theory?

[fleet oyster]

mathematical logic and all its subdisciplines, such as those yes

[lyric nimbus]

in what sense are you concerned about domain issues being the main problem with identifying languages like Haskell with mathematical functions?

[charred wren]

resemblence

[lyric nimbus]

I have no idea what that means

functional programming is just disallowing general subroutines that have side effects. These are like mathematical functions in that input totally determines output

[charred wren]

i mean that it's easier to analogize new concepts in the sense of already known concepts; in comp sci, functions are usually better described as procedures as they tend to throw side effects of the calculation

[lyric nimbus]

but what does that have to do with the total/partial distinction? You can just tweak either your domain or codomain to make any partial function total

[charred wren]

in haskell total vs partial refers to whether the function is defined for all elements of the input type; if it's not, it throws an exception which may crash the program

it's permitted by default, whereas in idris all functions must be total by default, requiring overrides otherwise

[lyric nimbus]

You can either think of exceptions as an extra return value, with syntactic sugar to handle that special value, or think of removing them from the domain and the language is smart enough to panic when you give a value outside of the domain if you really want total functions

but it also just doesn't matter, because that's not the point of functional programming. The point is that the input totally determines the output

[charred wren]

*explicit input

so we can have one caveat; i.e, mapping FP to mathematical functions in the sense of deterministic functions that depend only on their inputs

i.e, partial / total does not map to the mathematical definition

what i really want is to salvage the deterministic property of mathematical functions for functional programming

[lyric nimbus]

partial/total has nothing to do with determinism whatsoever

if division by zero throws an exception, then you know that plugging 0 into 1 / x will throw an exception always

[charred wren]

i'm sort of wishing for native Maybe, but that's just nulls 😉

[lyric nimbus]

native in what way?

[charred wren]

i.e, all values are Maybe by default; which is just nulls.

Verse apparently achieves that via non-determinism; i.e, all values are multiple by default, they can be zero or more values, with zero being equivalent to false or null

"functional logic programming"

[lyric nimbus]

Maybe by default would be a horrible idea since many computations are guaranteed to return a meaningful value

[charred wren]

Maybe is typically used as a means of providing nulls in a type that doesn't have null or null-like values, but forces you to operate on a different type (sum type of base type + null)

[lyric nimbus]

yes I understand what Maybe is

not all functions should return Maybes, because many things in life don't have the complication of "this input might not be meaningful" and couching every value in that formalism when it doesn't need it is stupid

[charred wren]

I'm joking in the sense that if you have default maybe, you have nulls by default, which are considered a bad idea by the FP community

[torn willow]

Well isn't None a thing

Like instead of returning something of type T,you can return option<T>

[mild nebula]

I see a Rustacean

[torn willow]

Ok that's maybe

[mild nebula]

Maybe for Haskell, Option<T> for Rust ye

And if you're C, wherever you want.

[lyric nimbus]

it's all void*

[torn willow]

Ok this is a bold claim

Well, Haskell and Rust are deeply related. Not because Rust is Haskell without HKTs. (Some of you know what that means, and the rest of you will wonder for a very long time). Much of the style of Rust is similar in many ways to the style of Haskell. In some sense Rust is a reincarnation of Haskell, with a little bit of C-ish like syntax, a very small amount.

[mild nebula]

I've been learning Rust this last week after knowing some Haskell and am pretty impressed

[torn willow]

For me, Rust feels like a nicer C++

(Except the ugly syntax)

[mild nebula]

That's funny I'm coming from the opposite way. It's like Haskell but you don't need monads for every little thing

It's nice to put a "hello world" without deeply understanding the "do notation"

[torn willow]

Well you can mutate certain things

[lyric nimbus]

Are Haskell and Rust really that similar beyond pattern matching? I guess you could try to say that traits are like typeclasses, but that really loses a lot without higher kinded types

[torn willow]

Lifetime is literally a C/C++ concept

[lyric nimbus]

For me Rust is just smart pointers forced on you

[storm sage]

tbf you don't need do notation to do "hello world"

[torn willow]

Like if you allocate on a heap, the object has an infinite lifetime.
And if you allocate on stack, it has a fixed lifetime depending on where you allocated it

You kinda restrict that

[storm sage]

main = putStrLn "Hello World"

[mild nebula]

Fair, but any more than one line and you do need it and then you had better have your types together ah

[torn willow]

And Traits are nicer ways of doing interfaces

I guess virtual classes work too, but traits are nicer

[mild nebula]

I'm still new at rust so maybe I lack some of their differences. I like the strong type structure, personally

[torn willow]

This is the borrow checker yea

[tough trellis]

Sun

[lyric nimbus]

but the type structure is nowhere near as strong as Haskell. Is it any more expressive than C++?

I guess sum types are way nicer to work with than in C++

[mild nebula]

You still have algebraic types which is really cool

[torn willow]

wdym you don't like

std::variant<T1,T2...>

[mild nebula]

You don't have kinds, and I'm not aware of any replacement, but traits are nice

[torn willow]

What's an algebraic type again?

Traits?

[mild nebula]

enum

[torn willow]

Isn't that sum type?

[mild nebula]

Ye

[lyric nimbus]

algebraic types would be combinations of sum / product types, so enums and structs

[mild nebula]

Don't listen to me

I am still learning

I assumed I would eventually learn how to do fmap over an Option. Maybe rust doesn't have that at all?

[lyric nimbus]

Rust has map defined for Option

it does the same thing as fmap

[mild nebula]

Tbh what am I missing by losing kinds?

Still learning so I'm sure something will come up that will make me miss it

[lyric nimbus]

You can map an individual option to another option. You can't write a generic function that takes an arbitrary function between any two types and lifts it to a map between any functor types

[torn willow]

You can do all kinds of weird shit with do

[mild nebula]

Ah okay yeah that makes sense

Okay fair. Now print "hello" and then "world"

And don't tell me there's a function composition that can do it, because there probably is lol

I admit I have always been weak at writing actual programs in hask, libraries are more fun

[torn willow]

So if things like this are weird and gimmicky, what kind of problems is Haskell designed to solve

[lyric nimbus]

There's a wonderful book called "sockets and pipes" about writing an HTTP server in Haskell

[torn willow]

That's the point of paradigms right?

If something gets too weird and unnatural with current paradigm,you look for a paradigm that fits the thing

[lyric nimbus]

the point of haskell is that in a functional programming language with a strong type system, the type signature of a function alone tells you almost everything about what it does. These programs are easy to reason about, easy to unit test, map well to describing a problem domain, and reduce duplication of details (like e.g. you will not litter your codebase with code futzing with array index bounds)

[torn willow]

Can't you do that with say Rust

Like traits seem pretty good

[mild nebula]

Yeah! Rust has functional programming features.

[lyric nimbus]

Well for one thing, Rust allows side effects, and so the type signature of a function tells you very little about what it does

[torn willow]

Side effects as in mutation?

[mild nebula]

But Haskell is much stronger about it. You can't, for example, mutate anything.

[lyric nimbus]

I can have a function that takes in an int, returns an int, but does literally anything in the middle. Including formatting your file system

[torn willow]

Can't you do that in Haskell too

[lyric nimbus]

Haskell can do that too, but only if the return type is something like IO Integer

so I get some warning, and I isolate the scary parts of my program

[torn willow]

So like just don't do stupid things?

[mild nebula]

If something stupid happens, it happened in a function with kind IO.

[torn willow]

Like formatting your disk is not something you can accidentally do by negligence

[mild nebula]

Kind of like Rust's unsafe

[lyric nimbus]

No and obviously the concern is not actually that something malignant will happen, but rather that something confusing and hard to reason about will happen

[torn willow]

I guess that's why things like Single Responsibility exist

[runic lake]

Hey guys, basic question. What's a decimal called that's under 1 and over 0?

[lyric nimbus]

In Haskell if I have types HttpBody and ContentLength and a function getBodyLength ::HttpBody -> ContentLength, there is almost nothing that function could possibly do but give me the thing I want

[torn willow]

I guess I just want to pretend bad code doesn't exist

[runic lake]

Bad code definitely exists

[torn willow]

And everyone does SR

[mild nebula]

There's a similar idea in Rust, where you can't edit a variable in a function unless you pass a mutable borrow

I don't think it's as good though, I can still make changes to the system in the middle of a function? I'm not sure.

[torn willow]

You can,yea

[runic lake]

Never heard of it til now

Sorry just butting in

[lyric nimbus]

mutable borrows are good, but they're more about making sure that memory is only freed when appropriate

[torn willow]

wait, SR isn't second nature to people?

[runic lake]

What's it used for?

[torn willow]

Writing code that doesn't burn

[runic lake]

Lmao I've never heard of it

Doesn't seem very popular

Imma read up on it now

[torn willow]

https://en.m.wikipedia.org/wiki/SOLID

[runic lake]

That's sahlliddd

[torn willow]

SR is part of it

[runic lake]

Oh true

[torn willow]

What do you think the S stands for

[runic lake]

Synchronized I guess

Hey I got a question

[torn willow]

There's no specific name for this

[runic lake]

What's a decimal number called that's under 1 but above 0

Oh right

Dammm

Thank you

[runic lake]

Hey is that the SpyxFamily guy? In your profile pic?

[torn willow]

Yea

[runic lake]

Cool

I'm getting my niece into anime

So been watching that

What kinda stuff do you write in SR?

[torn willow]

SR is a design principle

As in it's something you try to follow when you write any code

[runic lake]

Oh right

Where can I read about it?

[torn willow]

I mean I learnt SR by doing projects

[runic lake]

Oh right

I'm so curious

[torn willow]

There's nothing really to SR in terms of theory

It's just "make your code clear"

[runic lake]

Yeah what's the principle?

Ohh

[torn willow]

https://en.m.wikipedia.org/wiki/Single-responsibility_principle

[runic lake]

Oh right I was reading this https://en.m.wikipedia.org/wiki/SR_(programming_language)

[torn willow]

mb

[runic lake]

So far that sounds great

[torn willow]

I think the main problem with implementing this irl is "how do you segregate responsibilities"

[runic lake]

I'm going to do some more reading into it, I feel like the idea that a class should have one responsibility is sort of common sense to me. Though Im still pretty new to coding, so yet to see what other people do

I like the vibe of it

It kind of feels like

Idk programming principles is cool

That Robert guy is probably awesome

[torn willow]

That Robert guy writes awful code,smh

[runic lake]

By common sense I mean is all I know by the way

Coding is so exciting

Have you heard about quantum algorithms or whatever they called

[torn willow]

Yea somewhat

[brittle socket]

Anyone has any nice images to put in a cover page of a set theory book?

I found this on wikipedia but idk if its accurate since I haven't learnt ordinals from Enderton yet

[odd brook]

I'm partial to this one

[brittle socket]

Ooh ok

Ah I found a similar one from chapter 1 of Enderton I read months ago

[brittle socket]

I have finished my simple design for my cover of Enderton

[brittle socket]

I printed it out so wanted to slap a simple cover page onto it

Oops sorry for the ping, forgot to turn it off

[neat frost]

UwU?

[long matrix]

"I like"

[long matrix]

@compact tartan if u remember that python scope in module convo thing, I've just found __all__ which will restrict what's imported for from module import *
idk if u knew 👀

[void tundra]

import * is a great way to get fired

[torn willow]

Some people just like to watch the world burn

[brittle socket]

Today I completed one halfway done qns I had left + solved another question

[sick kite]

congrats 🙂

[rocky shuttle]

:petTheCat:

[violet wraith]

yo

what's up

[compact tartan]

__all__ affects pretty much only import *, which is frowned upon anyway

It doesn't affect what keys are available in the module dict

[long matrix]

pointless feature ig

[fading zealot]

Put YouTube on background playing science videos and after like two videos it autoplayed a pseudoscience video (immediately paused), first time ever happen to me

Alerted when the title says astrophysics but the voice plainly started the video by “this video presents the newest advancements in neuroscience”

When I opened the page I see pasued screen with some ads foe quantum neuro spiritual singy and a comically small number of comments compared to the view, presumebly because of the channel is deleting unwanted comments

I've seen people said in comment sections that they woke up to things like Havard and Stanford lectures leaving autoplay on when sleep, hope they don't woke up to these

[river moon]

"I'm paralyzed and I had to stand up and turn that off" moment

[royal sail]

I’ve seen a lot of discussion on ai programs writing essays and such for college students, so I was wondering how this would relate to mathematics education, because it’s become obvious how often peers just use calculators and programs to complete their problem sets In my university, I feel like there isn’t much emphasis on theory or proofs, but a lot on computing stuff and just following basic algorithms. I’ve always wanted to transfer schools because of this, but do you guys think this type of technology will make math education better, or worse?

[static loom]

probably both, but currently been noticing a lot of people asking chatgpt for math help and getting terrible answers from it here lol

[mint canopy]

When it was first available I was mildly obsessed with getting chatgpt to do math

I tried to get it to write proofs and solve some basic problems, as well as write some basic questions

It couldn't do it very well lol

but it was wrong in interesting ways, I guess.

I don't see it being helpful for math for a while

[visual moss]

If teachers are adaptable, like i hope to be, then they will learn how to write their problem sets and lessons in such a way that a human brain is not obsolete

[visual moss]

Also this, that AI is not good yet at explaining actual math, and it certainly can't do calculations well.

But I imagine it will still be at least hot minute before there's an AI bot that can solve unique problems sensibly

[lament flicker]

does this theorem have a name?

[storm sage]

looks like a weaker version of euler's thm

since a! is guaranteed to be divisible by phi(b) if a>b

[lament flicker]

yeah I can see that

I could call that the weaker euler theorem

[storm sage]

Lol

[frigid matrix]

cope

ideally chat bot should be able to train on conversations of teachers so that they become obsolete

i ofc have influential teachers in my life but i believe its okay for the job to become automated

a lecture format isnt good imo and should be used for special occasions

good wrt things like retention and interaction

whereas chatbots can be great at this

[odd brook]

teaching is hard lol

[brittle socket]

Money

[storm sage]

also I think you're overemphasizing the "transfer of information" part of a teaching job and underemphasizing the "human connection, support, role model" part

[frigid matrix]

just make that a separate job and make it pay less

[storm sage]

i-

at least in the US, it'd be hard to make a job that pays less than teaching does

a good deal of teachers already struggle to pay rent

[frigid matrix]

if we are speaking practicalities it wont happen because people are sentimental so adjusting a massive job market wouldnt happen

[storm sage]

large labor shifts have happened in the past.. capitalism is ruthless

out of all the jobs currently though, I think teaching is among one of things that will be harder to automate

although there are already resources like khanacademy out there...

[frigid matrix]

jobs with sentimentality attached or factory jobs?

[cinder trout]

Ñ+ñ=ññ

[royal sail]

I don’t think education as a whole would be completely changed, supplemented perhaps but not replacing human teachers. Like sure, schools’ primary function is to educate students, but there are also latent functions that are valuable (e.g. interpersonal skills) that I doubt can be given by ai or something, anytime soon. Plus, there are much better places to apply this technology than to replace teachers imo.

[visual moss]

Yeah I would expect a teacher-replacing AI to be completely sentient at minimum, because teachers do WAY more than teach

Not to mention, I don't trust any company full of programmers to decide the parameters that are considered "success" in teaching

Who gets to decide what data the bot is given? How can you monitor it to be sure it's not just wrong in what it teaches? What would an AI do too clean up the vomit, be flexible during a power outage, defend an intruder, teach social skills, and all the human stuff?

[dapper pivot]

is this true

do math people fear this

[fathom swallow]

packman

[dapper pivot]

what is 0^0? just 1?

[cinder zephyr]

[winter dome]

why does this happen?

[jovial ember]

That’s false lmao

[deep mango]

it's almost true

[jovial ember]

Should be 45

[deep mango]

yea

[winter dome]

it should be 45 instead of 9 right

[lofty lion]

Factor it

[violet wraith]

my favorite help channel hobby is looking at the bottom of the occupied list and telling people with advanced topics to go to other channels to ask their question

[neat lintel]

[deep mango]

Lololol

[neat lintel]

guys, whats a good hobby to pick up when taking a break from maths

[static loom]

art, programming, music

[neat lintel]

teach me plz

i know the rules

[static loom]

sailing, rock climbing, exercise of some kind

[neat lintel]

😦

[neat lintel]

idk about art

i mean what kind of art i should do

[static loom]

idk its your life, you decide lol

[neat lintel]

true

but i need some ideas

[static loom]

you could do 2d illustration, drawing, painting, digital, 3D modelling sculpting, procedural, animation, and more

[neat lintel]

can i do video games?

is it addictive?

[static loom]

I give you permission

[neat lintel]

lol

are video games addictive?

[brittle socket]

Stitching your math book

My progress so far

[brittle socket]

Depends on the game and your self-control, probably

[neat lintel]

which video games are addictive?

is it okay to play like MOBAs?

like LoL or dota 2

[deep mango]

[brittle socket]

This is a question only you can answer for yourself

[deep mango]

Apologist detected

[neat lintel]

what do you usually do for fun?

[eager reef]

don't play league

[rocky shuttle]

Play StarCraft II

[deep mango]

Yes

All the more evidence to not!

[neat lintel]

boring

starcraft?

you guys play that game?

[rocky shuttle]

I do

Well, only SC2

[neat lintel]

i have played sc1 before

[brittle socket]

Play minecraft on this server's server

[neat lintel]

but no one plays it

so i only play campaign

😔

and campaigns are not fun

here?

i thought sc1 is dead everywhere

[rocky shuttle]

in south korea

[neat lintel]

LoL is more popular, isnt it?

i mean faker

SKT T1

yeah

thats why they have good mechanics

sc1 is micro heavy

need fast hands

[deep mango]

Lol

[rocky shuttle]

You can only like select 12 units at once

No, that's just bad

[neat lintel]

@lament peak do you play sc from battlenet?

wanna 1v1?

what about league

1v1 mid

yasuo or zed only

1v1 chat on discord? the one who chats the most wins

lol

[brittle socket]

Without getting banned for spamming

[deep mango]

That counts!

[rocky shuttle]

Thing I like about sc2 1v1 is that you're on your own and don't depend on teammates

[deep mango]

I need my loidcopium

[brittle socket]

What's that ricey

[neat lintel]

yeah bad teammates are usually the problem iwth multiplayer games

[brittle socket]

Ohh ok

[neat lintel]

1v1 me on yasuo

[undone wren]

Is lol fun now?

[neat lintel]

i like one-shotting adcs with akali

[undone wren]

I quit playing it after s2 or s3

Game became too meta

[cloud tide]

what game are yall talkin abt

[rocky shuttle]

lol

[dapper badge]

<@&268886789983436800>

[neat frost]

Timo honorable? Congrats!

[eager reef]

thank you

[rocky shuttle]

When will you be?

[violet coral]

mid terms coming up😯

[neat frost]

Never

[rocky shuttle]

You'll never be honorable with your shitposts

[neat frost]

Exactly

And I'm too far gone, there's no redemption for me

I have a final tomorrow I haven't studied for yet

,ti

[fathom swallow]

The current time for Slurp is 00:41, 05/01/2023.

[rocky shuttle]

And you already got the honor you care most for

[rocky shuttle]

[neat frost]

I have the honor of owning ryc

@deep mango tstststs

Come here boy

[rocky shuttle]

I was thinking about egreg, but that's fine too ig

[neat frost]

Chrue

[rocky shuttle]

Capital R and C, cringe

[brittle socket]

Just like wew huh

[brittle socket]

[neat frost]

CRinge

[alpine kindle]

$\mbb r$

[fathom swallow]

ally 💜

[alpine kindle]

perfection

[rocky shuttle]

hi ally

[alpine kindle]

hello

[rocky shuttle]

I don't quite get it

[alpine kindle]

look at the source

[rocky shuttle]

[neat frost]

,tex \fonttable{msbm10}

[neat frost]

\mathbb is a font switch to this font (you can see the characters from 0x41 to 0x5A). These places correspond to the same places of the letters A-Z (their ascii values). But any other value gives you a different symbol (which is not a letter)

Which is why you get weird symbols when you use anything other than capital letters in \mathbb

Char 0x26 and 0x27 weird tho

[woven whale]

$\mathbb{z}$

[neat frost]

,tex (ams) $\digamma$

[woven whale]

I just ate 100g chocolate

aaaaaa

[brittle socket]

What purity

[woven whale]

uhh

milka

[brittle socket]

Real men eat 99% cocoa

[rocky shuttle]

Which milka

[neat frost]

I love milka

[deep mango]

Milka sucks

[limber thunder]

can't agree but there's better ones out there

[deep mango]

Hersheys is better

[solid snow]

ryc wtf

hershey's is bottom tier

[velvet dagger]

Hershey's isn't anything special but it's not bad

[odd brook]

I can't stand hershey's

[deep mango]

I was trolling but dami is serious. Gross

[tall badge]

nonono its the vomit flavored one

steer clear