serious-discussion

[stone ferry]

You need to think outside of the box. Because this isn't a box, it's a circle

[cloud wraith]

So the box is in the circle

[stone ferry]

As long as the circle is large enough, it could be

[burnt ledge]

Lol, perhaps even lmao

[tender cobalt]

1

actually

1ω

2ω

Tee hee

[cloud wraith]

What does omega mean?

The prime omega function?

[compact tartan]

the smallest infinite ordinal

[viral condor]

good evening

[ocean harbor]

bad evening

[tender cobalt]

something

[viral condor]

bad night

[cloud wraith]

i like your pfp

$hi$

[fathom swallow]

aigr

[cloud wraith]

$bad morning$

[viral condor]

$\text{bad morning}$

[fathom swallow]

Yone

[cloud wraith]

$\input{...}$

[viral condor]

lol

[fathom swallow]

aigr

[cloud wraith]

,help

[fathom swallow]

A brief description and guide on how to use me was sent to your DMs!
Please use ,list to see a list of all my commands, and ,help cmd to get detailed help on a command!

[cloud wraith]

,list

[fathom swallow]

My commands!

Use ,ls to obtain a briefer listing, and use ,help <cmd>to view detailed help for a particular command, or ,help to view general help.

If you still have questions, talk to our friendly support team here.

LaTeX Rendering

Render LaTeX code and configure rendering options.
​ ​ ​ ​ ​ ​ ​ ​ ​ ​ tex: Render LaTeX code.
​ ​ ​ ​ ​ ​ ​ ​ ​ ctan: Searches the ctan
​ ​ ​ ​ ​ ​ ​ texdoc: Searches the texdoc
​ ​ ​ ​ ​ ​ autotex: Toggle whether your LaTeX is automatically rendered.
​ ​ ​ ​ ​ preamble: View or modify your LaTeX preamble.
​ ​ ​ ​ texconfig: View or modify your personal LaTeX rendering options.
guildpreamble: View or modify the guild's default LaTeX preamble

Guild Admin

Guild administration
​ ​ ​ ​ ​ ​ ​ ​ config: View and set the guild configuration.
​ ​ ​ ​ ​ ​ ​ ​ rmrole: Deletes the provided role
​ ​ ​ ​ ​ ​ ​ disable: Disable commands in this guild.
​ ​ ​ ​ ​ ​ editrole: Create or edit a server role.
​ ​ ​ ​ ​ autoclean: Automatic deletion of messages in the current channel.
forgetrolesfor: Forget stored persistent roles for one or all members.

Page 1/4

[storm sage]

Please use bot commands in #bots

[iron copper]

Ugh It sucks that nobody in the latex community seems to care about targeting epub/html/mathml

I realized after reading a well typeset epub book that epub is so much superior to pdf.

It's like actually responsive (i.e. works on different screen sizes)

[pastel spruce]

Say more?

[neat lintel]

https://tenor.com/view/silly-cat-cat-meme-face-cat-shocked-orange-cat-what-da-hell-gif-15285770798606642445

[chilly hull]

he is going insane

what are you gonna do

[neat lintel]

https://tenor.com/view/i-am-losing-my-grip-on-reality-the-voices-are-getting-louder-i-have-gone-clinically-insane-end-my-suffering-my-descent-to-madness-is-complete-gif-24665895

[lilac slate]

[flint basin]

I too am going insane

[iron copper]

High on catnip?

[compact rune]

Is there any way to get good at something like induction proofs where I cannot just apply the same way every time ?

feels rather impossible

[loud snow]

play more

[vivid halo]

I mean you get good at induction proofs precisely by using this technique in lots of different contexts

it just comes from practice

[loud snow]

Usually its like you find a nice factorization

Or if its in context of textbook problems the hypothesis sets you up for an alley-oop

[compact rune]

it feels like the biggest brick wall in terms of mathematics that ive hit

[lavish kayak]

If the induction is not working, a good trick is to assume more stuff

[leaden torrent]

yeah theres no golden ticket here, just practice

[tight rain]

Where did people find work post graduation?

I've been to a few career fairs at this point and no one seems to want someone who studied pure math rather than applied and doesn't want to get a PhD in math

[proven hornet]

how are your programming skills?

what exactly are you looking for?

I finished my math degree last academic year and have not found a job that would only require you to do math besides teaching

without a grad degree it kinda sucks man

[tight rain]

Mainly something that'll pay ok. I want to work a few years and then go pursue archeology tbh

[proven hornet]

I am personally planning to pursue my PhD next academic year

probably data analyst

the entry level jobs aren't glamorous

[tight rain]

I can do basic Python and Matlab but that doesn't seem to be enough

[proven hornet]

try doing some machine learning projects or something

learn sql

apply for data analyst

or really start working on programming skills and get an entry level SE job

[tight rain]

Data analyst definitely seems more plausible to me

Competition seems pretty rough though even then

[proven hornet]

yeah it is

if you are gonna pursue archeology then I guess back to school lol

[tight rain]

Yeah, I plan on doing a PhD in archeometry at some point

But I'm burned out of school atm

[proven hornet]

fair enough

I always thought school was more fun than work

[tight rain]

I think this is generally true

But I definitely need a break. A 9-5 is heaven compared to academia hours

[proven hornet]

my undergrad hours were pretty light until my last year

I did two internships and they felt like a lot more work

[tight rain]

Rip

I did one internship but it was in a lab so it was closer to academia

[proven hornet]

mine were pretty different

one was in data science industry and the other was research in mathematical physics

[tight rain]

If we count research I guess I did material science research

But that was just straight up academia so I don't think it informs my thinking on traditional jobs

[proven hornet]

fair enough

[rough topaz]

hi

[jovial ridge]

Hi @Star,

Nice to meet you. I am planning to learn ML more, Could you recommend learning course for it?

[deep mango]

@long matrix

[jovial ridge]

Hi @deep mango , Nice to meet you.

[deep mango]

Hi blackstar

Just fixing my name

[long matrix]

what do i have to do with this

[deep mango]

rice
kaguya pfp

Did you make a trolling alt

[long matrix]

no u

[jovial ridge]

What is Kaguya pfp?

[deep mango]

This pfp

Regrettably i do not know any ML courses blackstar

Have you checked out the server linked in #old-network

[long matrix]

https://tenor.com/view/kaguya-kaguyasama-kaguya-shinomiya-shinomiya-love-is-war-gif-13925255

[deep mango]

[jovial ridge]

Which college are you studying at @deep mango ?

[deep mango]

NYU

[jovial ridge]

cool.

Do you have master's degree already?

[deep mango]

Sort of. I don't officially have one but ive completed everything to get one

[jovial ridge]

I see.

[deep mango]

So now im working on a phd, but NYU will give me a masters sooner or later

[long matrix]

just buy one

[deep mango]

[jovial ridge]

What kind of job are you looking for after graduation?

[deep mango]

Maybe professor, maybe working in atmospheric/oceanic modeling

My math is fluid dynamics math

[long matrix]

damn i need to make a :rycnerd:

[jovial ridge]

I also have master's degree in construction field.

[proven hornet]

you work with PDEs?

[jovial ridge]

And much interest in physics and mathematics.

[deep mango]

Wow, nice

[jovial ridge]

Thank you.

[deep mango]

Yes, mostly

[proven hornet]

wow you have my utmost respect

[deep mango]

Navier Stokes equations

[long matrix]

whats that

[proven hornet]

I took like two PDE courses and man

that was rough

[deep mango]

Yesterday I had oral exams, which is where a bunch of professors asked me PDE and analysis questions at the chalkboard

[proven hornet]

I don't even know what about it was so hard

[deep mango]

2 one-hour exams

[proven hornet]

it was just HARD

[long matrix]

(chalkboard haha)

[proven hornet]

I had two oral exams for one of the classes

I actually did decent on those

but man it was so hard

[deep mango]

Yeah I agree. I took PDEs in my first year of bachelors because it sais ir only required lin alg and multivariable calculus

https://tenor.com/view/lie-lies-liar-bullshit-so-that-was-gif-15334130

Very rude lie

Totally required analysis

It was so hard

I got like 60s on the midterms

And then the final overrode the midterm scores

And I got 100 on the final and have always been super good at PDE stuff since

[mint canopy]

chad

[deep mango]

Yeah i was surprised at how fun it was when i was actually doing it. But so stressful

[mint canopy]

I wish I understood analysis lmao

and PDEs. Oh well.

[proven hornet]

just do numerical analysis and say you are experienced in analysis

[mint canopy]

I wish I understood numerical analysis too tbh. That's cool shit.

[deep mango]

Numerical analysis is good

[deep mango]

Idk what sort of math you're interested in

[dapper badge]

I would also like to understand PDEs someday

[ocean harbor]

morning

[chilly hull]

i want to make researching PDEs my life

https://media.discordapp.net/attachments/841035895083630592/1156116365518835823/caption-1.gif

[long matrix]

@deep mangofan

[deep mango]

Yesterday at the bar we were talking about how there's no actual algebra in physics

It was pretty funny

Being in such an analysis heavy department really fucks with people's perspective

[chilly hull]

no fucking way

are they just ignoring

particle physics

[deep mango]

They think the rep theory involved is not actually nontrivial algebra

And that the categorical descriptions are superfluous

And that in the end, all the algebraic machinery going on in modern physics is just there as a bandaid while we can't justify the analysis

Or come up with proper analytic descriptions

[finite inlet]

Hot take: there is no math in science

[deep mango]

True, but also analysis isn't math

It's science

[trail sand]

This is exceedingly false

[mint canopy]

woah it's almost like it's a joke

[long matrix]

its ryc. cant be

[sudden mantle]

So who's going to discuss with me

Ahm...

[trail sand]

I'll pass sorry

[sudden mantle]

[lament path]

Having done 2 years of physics I definitely saw myself noticing algebra concepts being useful in scarce amounts.

When I took a rep theory of finite groups class we had a report where we went and researched a topic in the area and I did an application to quantum system with tetrahedral symmetry

i.e. A tetrahedral lattice

[trail sand]

Algebra is useful quite a lot in physics

[sudden mantle]

Fast typer

[lament path]

I only saw two years so only took quantum, EM and CM class

But theres very obvious analysis applications. Hilbert space inserts itself pretty early

[rapid briar]

so true

[placid robin]

7+(-11)=?

[flint basin]

Doesn't Urs Schreiber do some physics? And he does categorical stuff
If categories can find use in physics so can other areas of algebra

[cold needle]

yikes

[bright viper]

@placid robin -4

[meager sonnet]

"physics"

[flint basin]

I don't actually know much about what he does other than maintain the nlab

[split pawn]

Nah.

[compact rune]

Guys is it normal to be totally clueless when reading math textbook?

I do just fine with learning the stuff from lecture or just through calculating and thinking

but textbooks.. omg... its impossible for me to learn

[river moon]

if you've never read a textbook before, yes

[compact rune]

I have so that makes it even worse

[mental stratus]

tmux is cool

[bright viper]

@compact rune try how to ace all algebra or geometry in big fat notebook

[compact rune]

are those american books?

[bright viper]

Maybe

[compact rune]

I am from Denmark and the books from my university are written up last minut eby teacher

[bright viper]

Math level

?

[compact rune]

wtf i cant post pic

[compact rune]

university

[bright viper]

Like math 1,2

[compact rune]

mhm

[bright viper]

Be specific

Calculus

?

[compact rune]

complex numbers, gaussian elemination, induction proofs, recursion, eigenvalue something

so base level mathematics for university

[bright viper]

Calculus 3

Go to Paul math online notes

Good web

[compact rune]

will write that down, thanks

its not that im having a trouble solving exercises, its more just that the book feels unreadable

even for topics I understand very well I feel like it is not giving a clear view of the topic

[bright viper]

I will post something wait

https://dec41.user.srcf.net/notes/

Cambridge notes check it out

[river moon]

you realized the grading is not always understanding-based

[compact rune]

With what purpose?

Are you in engineering?

[neat lintel]

grading is a scam

Not understanding math is fine

You never gonna use it if you're normal

[compact rune]

whats the alternative ?

[sonic field]

they set u up, my pdes didn't have a ton of analysis until the end guess it did ya good tho. put some chest hairs on

[neat lintel]

Mastery.

[compact rune]

what ?

if you are studying applied math then yea maybe try to understand it

if you are an engineering student then it doesnt matter

you can always learn on the fly

you will forget everything you've learned soon

at least thats how it is for me

[neat lintel]

https://bokcenter.harvard.edu/beyond-the-grade

[compact rune]

(i am not passionate about engineering or school in general)

[neat lintel]

basically what they talk about with mastery grading. but not letting you pass unless you get a 100%

[sonic field]

some do lower

like 80% and stuff

I'm a fan of mastery tbh

[neat lintel]

Depends on what software you're engineering

[sonic field]

I like that idea

[compact rune]

so you think people should get a 100 ?

[deep mango]

Yeah i had a really smooth time with undergrad analysis courses after that

[neat lintel]

yes. passing people when they don't understand everything is dumb and counter productive

[compact rune]

school should only be base level information. the rest should be gained during internships

[neat lintel]

especially in math when everything builds on to each other

[compact rune]

thats how mechanics, plumbers and other blue collar do here and it works well

[sonic field]

somethin similar happened to me. my intro to analysis 2 course tore a whole hole in me. grad analysis was so easy after that, and a handful of other courses

[mint canopy]

No

[compact rune]

and this 100% is calculated through ?

honestly I would not bother going to university to master 100% of a math class when about 2% of the subject matter is something I will work with later in my life

your idea is only relevant for those studying pure math, pure physics, pure whatever

[sonic field]

it ain't always about the math itself homie. you're also building critical thinking skills and logic skills too, which is good for any field of academia

math has that kinda power

[compact rune]

assuming everyone want to continue in academia

)

[neat lintel]

subject based tests that you can take at anytime

[sonic field]

nah logic and stuff just useful in general

and so is problem solving

[compact rune]

anytime and with help from internet or supervised?

Anyways I am probably not the right person to ask. I despise university

[neat lintel]

college or highschool?

The free college tutors at your school aren't good enough?

[compact rune]

are you taking calculus 1 or what?

[long matrix]

this does not pertain to math.

you think youll use more than 2% of an Eng lit degree or something?

or a history degree perhaps

[compact rune]

no

and no

thats why i dont take an eng lit or history degree

[long matrix]

what jay said is very true

its about the thinking skills

gained from mathematical maturity

[teal lion]

Living with one of those

rn

[long matrix]

and you can argue the same for other "useless" degrees out there

research skills, etc etc

[compact rune]

Skills are always obtained through life in whatever you are doing.

[teal lion]

she’s like “this argument is bad because the author sounds like they don’t have enough experience”

[long matrix]

Let me put it another way - I have almost never heard someone with a math degree say they regret taking it.

Either we're all coping or...

[teal lion]

It’s such a weird objection to me

[compact rune]

I've never heard anyone with a degree in something say they regret it

[teal lion]

A statement’s truth value doesn’t change if someone else says it

[compact rune]

[long matrix]

Indeed. then.

[compact rune]

I am just not a fan of spending the amount of time we currently do at the universities and colleges

[teal lion]

But apparently appeals to authority are valid in rhetoric

Which is so alien

[full marlin]

I want to say it’s not enough time and things are crammed in there

[long matrix]

agreed

[teal lion]

“an expected response is pointing out that the author doesn’t look credible here”

[teal lion]

because they haven’t spent enough time with the subject

If I tried that as a criticism of something in philosophy or math, I’d get a failing grade

[solid snow]

Why is discussion stunlocked with sophomoric navel gazing recently

[full marlin]

There is an angry chicken in the first chat

[compact rune]

what does undergrad mean in european terms

[teal lion]

Which European country?

[full marlin]

I mean idk how chickens feel about their lives… maybe short but meaningful/horrible etc but now I know how one of them feel

[compact rune]

Denmark

[teal lion]

Oh, that’s easy

[compact rune]

what

[teal lion]

Left as an exercise to the foreigner

[full marlin]

But… longer than a fly? Hah

[mint canopy]

Undergrads do not have a degree.

Graduates do

[full marlin]

They are born, spend about a day and gone!

[compact rune]

[teal lion]

you can have an undergrad degree, though

[full marlin]

[teal lion]

but then you aren’t an undergrad

[mint canopy]

Yes and once you have an undergraduate degree, you are a grad.

✨

[compact rune]

This is confusing

How long is an undergrad

[full marlin]

I also don’t want eternity spent on discord… if there was a hell

[teal lion]

Depends. Usually 4 years, although I understand Cambridge and Oxford have 3 year degrees

[arctic ridge]

Hey guys need some advice.... I took my first karate class and to my suprise, one of the instructors is one of the professors that i have in one of my current courses what should I do?

[neat lintel]

beat the shit out of him

[arctic ridge]

Hes like third degree black belt while im not even ranked lmao

But the situation feels pretty awkward to me

[neat lintel]

"what should i do?"

learn from him

really not much more to say

[arctic ridge]

But like what I mean is

If you were a professor would you find it annoying?

[mint canopy]

no

[arctic ridge]

Should I keep personal life separate from uni?

Like thats the kind of worry

[teal lion]

He clearly wouldn’t, he’s a karate instructor

[compact rune]

so how long do people need for a graduate degree? 7 years ?

[teal lion]

assuming he knows his shit, he won’t care

[mint canopy]

yes, but this isn't "personal life" this is karate class

[arctic ridge]

True

[teal lion]

Depends

[arctic ridge]

It was pretty awkward when I said hello

[teal lion]

In the USA, there are PhD’s and Master’s degrees

[neat lintel]

you'll get used to it

[arctic ridge]

He was like what are you doing here

[teal lion]

Master’s degrees are generally like 2 years

[neat lintel]

hey, maybe this is your chance to get all buddy-buddy with the professor and get a grade boost

[teal lion]

and PhD’s are as long as it takes for you to publish a dissertation

Assuming you don’t fail to do so within a reasonable period

[arctic ridge]

[sonic sentinel]

shitty joke i do in school:

i ask random people "is there hope in this world in this world or is it all just suffering"

and either go "YEAH HOPE GANG" or "YEAH SUFFERING GANG" depending on their answer

[compact rune]

I wanna make software for digital fingerprints and mass surveillance. Hopefully linear alg and discrete mathematics are all i need

along with the required software courses

[pulsar pagoda]

nope

u need a shit ton of electronics

[neat lintel]

fed spotted

[compact rune]

I need a shit ton of electronics for a piece of software?

[pulsar pagoda]

yes

[compact rune]

my dream is actually to be a king fed

like unironically

[pulsar pagoda]

all of what ur refering is done through hardware interfaces

[compact rune]

just let it into the wild

[pulsar pagoda]

theres no way around it

[compact rune]

malware is done through hardware interfaces ?

[pulsar pagoda]

yes

unless u mean user profiling through web browsers

by digital fingerprint

[compact rune]

yeah that kind of thing + just mass scanning data

[pulsar pagoda]

ehh

software pepeg

detected

uninterested

[compact rune]

idc about electronics or anything physical

it is totally uninteresting for me

[pulsar pagoda]

good

[compact rune]

the future is online, old man

[sonic sentinel]

yeah discussy is having its thing right now

[compact rune]

Currently getting a degree in AI

[pulsar pagoda]

yeah

My friend is doing a phd in one

it is

if ur good yes

if ur a pepeg no

[compact rune]

statistics yes

if my country gets invaded i hope for an immediate surrender

🫢

[solid snow]

@chilly hull my initial approach would have been to show that either U_e or U_o (subspace of even and odd functions on R^R) was inf. dim and since R^R is the direct sum of them but i think that would have been a harder exercise than what axler intended lol

[chilly hull]

yeah but arent we working with C[0,1]

[solid snow]

glad i caught taht quick

yes but it doesn't really matter all too much

[chilly hull]

i guess yeah

wait instead of legendre polynomials

nvm yeah

[solid snow]

axler has some fun exercises NGL.

[chilly hull]

form an inner product on C[0,1] and then generate a polynomial basis

you cant get to higher degree polynomials with just addition

[solid snow]

there's another one i did today where it was: Suppose we have polynomials p_0,...,p_m in P(F) and that for each p_j, p_j(2) = 0. Then p_0,...,p_m is not linearly independent.

Fun fun

[chilly hull]

whats P(F)

[solid snow]

polynomials with coefficients in a field F

[chilly hull]

ah i see

[solid snow]

i was on the cusp of calling it trivial but i realize im doing the old math thing where you call things you understand trivial after the fact

[chilly hull]

i probably cant do this problem off the top of my head bu

[solid snow]

do you want a hint

[chilly hull]

i wpold probably try induction

[solid snow]

actually the hint is the whole problem pretty much

nah

i mean, prove the trivial case where p_0 is the constant polynomial and thus for p_0(2) = 0 then p_0 = 0, so obv linearly dependent

but you don't need induction for the whole thing

[chilly hull]

wait a minute

nevermind

wait p_0 is always in p_0...p_m

so this is trivially linearly independant

as we can set p_1...p_m's constants to 0 and make the constant for p_0 whatever the hell we want

[solid snow]

ehhh

do you want the answer?

[chilly hull]

wait is that not the solution

because p_0 is forced to be the zero constant for p_0(2)=0

[solid snow]

i dont see how you jumped to say that p_0...p_m is linearly independent

[chilly hull]

for whatever p_1...p_m'

for c_0p_0+c_1p_1+c_2p_2...+c_mp_m

we can make c_1...c_n 0

and c_0 whatever real number we want

and this expression would still obviously be 0

[solid snow]

oh i see

i might have missed something in the hypothesis

let me check

OH

@chilly hull there's no guarantee that p_0 is the 0 polynomial lol

[chilly hull]

what

does p_0 not imply degree 0 polynomial?

[solid snow]

like p_0 isn't a stand in for a constant polynomial, it's just the 0th member of the list

[chilly hull]

fuck

i thought p_n was a polynomial of nth degree

[solid snow]

anyways want to cut to the chase

[chilly hull]

oh so these are aribtrary polynomials

[solid snow]

yes

[chilly hull]

in that case

[solid snow]

oh and i did mistype too. they are polynomials in the space of polynomials over F with degree at most m

[chilly hull]

this problem is a lot wackier

[solid snow]

here's what i did || factour each polynomial into (z-2)q_j, where the degree of q_j is one less than the degree of p_j||

[chilly hull]

oh SHIT i forgot you can do that

[solid snow]

and then obviously each polynomial is in the span of any of the others so LD

[solid snow]

it MIGHT be iffy, since technically axler doesn't cover factorization until later in the book

whatever, let's pretend this proof is valid with the knowledge up until this point because its slicker than the alternate proof

[neat lintel]

Greetings from laptop

[mint canopy]

There are interesting methods of doing this

but suffice it to say that it's not trivial

[chilly hull]

yeah i thought it was trivial based on jose's description

[mint canopy]

Of course, the most straightforward way is just to DIVIDE THE NUMBER FFS

but there are tricks, of course

[chilly hull]

hmm

[mint canopy]

For example in base 10 we can very easily determine if a number is divisible by 2 or 5. This is because 2 and 5 are the factors of 10.

[chilly hull]

could you prove this using FTA

[mint canopy]

If you want to figure out whether or not a number is divisible by 9, there's also a trick: sum the digits. This will preserve the equivalence class modulo 9

There's a similar trick mod 11. I leave it to you to think about this.

I was interested in trying to find a general method for any number coprime to 10, for example trying to come up with a method to check divisibility by numbers such as 17 and 19

And there is such a thing, yes

If you're interested ig let me know

[neat lintel]

[long matrix]

🤨

[flint basin]

Cat King Breadinark

[willow mango]

why is mol a unit

[flint basin]

Because it's very useful for doing chemistry.

[solar hawk]

`🐟

[neat lintel]

Yo anybody got algebra pdf from the fat notebook series.?

[ocean harbor]

fat?

[neat lintel]

Yeah

[terse comet]

@tawny jetty Welcome!!

Excited to meet y'all in December!

[tawny jetty]

C: ty!!! omg me too!! And eevee omg!!! So cute

[terse comet]

pro-tip: if you post this in #discussion you get massive discussy cred

[storm sage]

👀wait what

[split pawn]

Im gonna go study mode soon

[swift sinew]

The indoctrination oml

[terse comet]

gotta get to her before the mods do

[storm sage]

what is happening in december

[terse comet]

I'm visiting Alex and Kim

[swift sinew]

The revolution

[tawny jetty]

it won’t let me post pics yet lolol

[terse comet]

Yeah you have to have an active role or similar. Hold on

[cold needle]

huh is this really kim

Bruh its so sad i was in the area over the summer... didnt get to meet kim ithink mabe u were at work or sth

anywayz

[tawny jetty]

omg hi yes it’s me

so sorry 😭

[compact rune]

discussion doesnt allow submission of picture hmm )

[rough topaz]

hi

[split pawn]

dani got all her friends on mathcord

I got a few here too but they're too busy in elementary school to talk here

[quasi jetty]

nice try

[ocean harbor]

facts

[split pawn]

wait wait

how do u ge this

!nt

!nice

!try

shoot.

@storm sage wake up and tell me how do you do that

[quasi jetty]

nice try

[split pawn]

the lol

fr

how

is someone messing iwth the bot

again

@quasi jetty

!factoids

[quasi jetty]

nice try

[split pawn]

okay

Mystery solved

u ghosts

Now tell me atleast

who was it

[mental stratus]

it was damiwank

probabl

[split pawn]

Which one

ShiN or Sloth

[mental stratus]

there is only one damiwank

what is shiN

[echo tundra]

shiN is not active currently I think

[storm sage]

lol wasn't me

[rough topaz]

hi

[teal lion]

!degrade

damn it

[ocean harbor]

a mod person in here

[ocean harbor]

helo how's you

[rough topaz]

god u

[cold needle]

hmmm

[ocean harbor]

I'm fine

[rough topaz]

good

[rough topaz]

okk

good to know

[ocean harbor]

too happy it's Friday

relaxing weekend

[rough topaz]

same here

[ocean harbor]

hype

[ivory forge]

Sem sem

[ocean harbor]

what are my plans for weekend? probably just sleeping and studying

[kindred sleet]

It just feels like friday's coming too much
Is it only me? 💀

[ocean harbor]

idk

☠️

[tame egret]

!nt

[split pawn]

@neat lintel come here.

@proud olive @sonic field

https://tenor.com/view/elisttm-jotism-jotism_-jo-autism-jo_autism-gif-21343794

This like the cutest gif I seen

Gotta shake off all the snow

[proud olive]

I forgot that I can't post pics here

[split pawn]

Ah sad

Theres someone making us do his test in chill

[loud falcon]

yall can help me out with a question ? no one showed up in the help channels 😦

[olive geyser]

hello everybodyyy

[cloud wraith]

I'd like to help

[tame egret]

hi void

[tame egret]

!help

[quasi jetty]

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

[tame egret]

🥳

[loud falcon]

hey friends , i cant seem to solve a problem can u help me out ? it says : proof that v is a solution for the diffrential equation (y'-2y=0) only if v+u is a solution for (y'-2y=xe^x) where u(x) = (ax+b)e^x

@cloud wraith am back now !

[tame egret]

!help

[quasi jetty]

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

[neat lintel]

Very cute manul

[neat lintel]

💀 ? 1200 defensive uses of a gun
75,000 non defensive deaths/injuries

which would you get rid of: shiny fidget spinner, notebook, granola bar, or bouncy ball?

[chilly hull]

shiny fidget spinner

[neat lintel]

dang ok

figuring out what to give out for my high school club

[vast surge]

guy guys what does everyone think about this video it is super accurate to the 7 levels of math or? https://www.youtube.com/watch?v=EPe86sveyRY

In all seriousness it's mildly shocking to see a video that refers to calculus as "the final boss of math". I sometimes genuinely forget that laypeople literally don't know what math is after calculus

[chilly hull]

horribly inaccurate

[vast surge]

I was trying to emulate the highschool-discord random-poster writing style in that message. Was I successful?

[zealous garden]

Oh fuck you're right

But calculus is like, the door knob

[chilly hull]

the 5 levels of math:
you just find math funny elementary school stuff (stages 1-3)
you lose faith in the american education system middle school-high school stuff (stages 4-6)
you realize that math is cool (early undergrad)
you realize that math is VERY cool (late undergrad)
you contemplate your life (graduate+)

[chilly hull]

but yeah

this video makes me kind of sad

[vast surge]

It is a rather sad video

[neat lintel]

This book is so hard...
I'm gonna cry

[jagged forge]

what book

[split pawn]

Don't tell me LibreTexts gave you a hard book

[neat lintel]

Oh, maybe i'm crazy

I saw this problem in the chapter about integers and bitewise operators

and thought they wanted me to do this entirely with bitwise operators

[echo tundra]

Ehh... I mean calculus is one of the easier parts of uni maths though assuming you're not doing proper analysis.

[young quartz]

I finished all of calculus in a week

[echo tundra]

all of Calculus?

Like

all

[sonic field]

you heard the man

ALL the calculus

[solar hawk]

lol

[gleaming idol]

Why are exam reviews never accurate now adays 😭

FML

[fathom swallow]

Spin

[finite inlet]

try doing $\int \sqrt{\tan(x)},dx$

[fathom swallow]

Exiled existence

[neat lintel]

are you done?

[finite inlet]

No human being can finish all of Calculus in their lifetime

[chrome anchor]

zzz

[neat lintel]

I'm at calculus 11 rn and it took me a long time to get here

[jagged forge]

this is calculus 12

[neat lintel]

Yo among us spotted

[neat lintel]

more like physics

at least I understand math but not physics

[neat lintel]

when the equation is sus

[chrome anchor]

ewww

why do we need calculus

[terse zodiac]

because it helps with higher level matheamatics

[echo tundra]

Isn't that the Lagrangian of standard model or something?

[chrome anchor]

nice

another question

what happen if I fail a midterm in college? Idk, I’m confident but at the same time Im not

[jagged forge]

yep

[harsh trench]

[mental stratus]

cmake

[pulsar pagoda]

what happened with cmake pika?

[chrome anchor]

i go to Lehman Collefe

idk

[chrome anchor]

i see

[unkempt hedge]

let's say there's a right angle, and you're trying to find the cosine of 90 degrees. What do I do if I'm surrounded by two adjcanet angles?

[chrome anchor]

Idk, all the content was already taught and if I “failed”, maybe I need to take over for 2-3 months i don’t know

But Idk if I passed or not

[split pawn]

Wdym

[chrome anchor]

i think he meant 2 sides and both with adjacent

and Idk if that’s possible

I feel is not but idk

[split pawn]

I don't understand

[eternal igloo]

hi im joe

[unkempt hedge]

Cosine is adjacent over hypotenuse

So, if I’m trying to find the cosine of 90 degrees, where opposite is hypotenuse and both legs are adjacent, which adjacent side do I choose?

[last creek]

I don't think there are ever two legs that are adjacent to the same angle in a triangle

[long matrix]

[finite inlet]

That memorization is only for right triangles

and the angle used must be the acute angle

for other values, draw a unit circle

[long matrix]

Must be getting old, dont understand a thing that is going on here

[neat lintel]

i love balls (sports)

[untold vigil]

sOHcAHtOA..

That's not solvable, there is no opposite since in the case the opposite is the hypotenuse. You need to find the other angle

[long matrix]

are people pretending to understand the question or maybe im just thick

[storm sage]

They're trying to calculate cos(90 degrees) using the adjacent/hypotenuse definition

The issue is you get something that's not really a triangle if two of the angles are 90 degrees

[long matrix]

why would both legs be adjacent then

[icy locust]

mmmh, the analytic continuation of trigonometric ratio

[long matrix]

oh nvm

ish

well

anyways both legs arent adjacent really no

[icy locust]

well whatever it goes

if the angle approaches 90

[long matrix]

nah dont do limits

[icy locust]

the hypotenus grows really large

ok

[long matrix]

one side has length 0

its 0/hyp for cos

= 0

but u have to accept this degenerate triangle

which tbh is a problem so maybe we use a limits argument...

[icy locust]

yeah i don't like that either tbh

not sure how i could explain to their level tho

[long matrix]

well cos, sin, tan has domain (0, 90)

[icy locust]

or if this is just lost cause

[long matrix]

then you extend the definition to the unit circle

and now its [0, 2pi)

this trivially extends to R

[icy locust]

hmm yeah the asker should wait for the syllabus tbh

[long matrix]

in the end, the original definition wont work for general angles really

[icy locust]

or C lol

[sharp turtle]

is discussion 2 people more smart?

[icy locust]

you seem to imply #discussion and #serious-discussion have different people; no

[sharp turtle]

nuh uh

i see discussion 2 people have more intelligence

[pulsar pagoda]

i dont think so

im as stupid here as im in discussy

[icy locust]

just less sample

[olive geyser]

anyone here good at maths

i have a problem

[vocal vessel]

!help

[quasi jetty]

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

[neat lintel]

!da2a

[quasi jetty]

No need to ask “Can I ask…?” or “Does anyone know about…?”—it’s faster for everyone if you just ask your question! See https://dontasktoask.com/

[neat lintel]

lol

[olive geyser]

this is embarasing

stop this madness

[zealous garden]

You did this to us, you did it

[sick bison]

Ello

[long matrix]

can i ask why

I program in C so I always have to ask first to avoid segfaults

[neat lintel]

Can someone critique my proof
https://leetcode.com/discuss/topic/4193860/easy-to-read-proof-included/

[swift sinew]

It literally explains why in the link provided

[long matrix]

instructions unclear

[pulsar pagoda]

programming killed discussy-2

[pastel lion]

[peak tide]

we should petition to rename it to #programming

who needs two #discussions anyway

[pulsar pagoda]

i got invited to google foobar yesterday

while searching for fpga stuff

[peak tide]

i didn't know google foobar still existed

[pulsar pagoda]

i finished the first problem

took me 5 hours cause i didnt want to use python

[peak tide]

what language did you use?

[pulsar pagoda]

java

[peak tide]

what was the question?

[pulsar pagoda]

set difference between two sets with one having cardinality greater than the other by one

in a array of course

[peak tide]

are there constraints like it has to run in linear time or anything?

[pulsar pagoda]

there are but theres also constraints on libraries/modules/packages that can be used

[peak tide]

if you use c++ can you use the standard library?

[pulsar pagoda]

u cant use cpp

[peak tide]

seems like just a few lines if you can

[pulsar pagoda]

unfortunately

[peak tide]

wha??

[pulsar pagoda]

java or python

[peak tide]

that's a nonstarter then lol

[pulsar pagoda]

and u cant use collections

[peak tide]

can you just sort the arrays and walk through them

[pulsar pagoda]

so

heres the thing

the statement let it be explicit that u have A and B

and its either A contained in B

or the other way around

[peak tide]

so you can just check their lengths to know which case?

[pulsar pagoda]

and its only one of the elements

which is not in the other

yes

[peak tide]

that should be easy i think

[pulsar pagoda]

and then u go through the array

[peak tide]

if you can sort

if not then it's not so easy

[pulsar pagoda]

if one of the ones in the greater

goes to the end

of the array with a lower cardinality

then thats ur match

i guess you could change the order of the array now that i think about it

so that it matches the elements already searched to the order in the array with the array your going through to find the element

and then you can start from the index in which ur at

is that what u mean @peak tide ?

could be something like this

im gonna make it in js really quick

[peak tide]

offhand i think something like this

sort(A);
sort(B);
for idx = 0 to min(len(A), len(B))
    if (A[idx] != B[idx])
        if (idx + 1 < len(A) && A[idx+1] == B[idx])
            // A[idx] is in A but not in B: report and return
        else if (idx + 1 < len(B) && B[idx+1] == A[idx])
            // B[idx] is in B but not in A: report and return
        else
            // something wrong
// no mismatch found in loop, so the last element of whichever
// array is longer is the one we want

you can make the logic somewhat easier by swapping the arrays so that A is always the shorter one for example

[pulsar pagoda]

const someArr1 = ["data goes here, ints"];
const someArr2 = ["data goes here, ints"];

let found = false;
let output = 0;
let currentIndex = 0;
for(let i = 0; !found; i++){
  
  if(i===someArr2.length&&someArr2[i]!==someArr1[currentIndex]){
    output = someArr1[currentIndex];
    found = true;
  }
  if(someArr1[currentIndex]===someArr2[i]){
    i = currentIndex;
    let tempVal = someArr2[currentIndex];
    someArr2[currentIndex] = someArr2[i];
    someArr2[i] = tempVal;
    currentIndex++;
  }
}
console.log(output);

assuming someArr1 is greater than the other

also i could not make manipulations to the length of the array

@peak tide

im actually finding more problems with that than i thought

zzz

thats wrong

[neat lintel]

Pibopibopopibo

Popipopibopopipo

[solar hawk]

I knew it

I knew it all along

[pulsar pagoda]

@jagged forge

so idk if this is a wrapper

to a libc object

or their making this shit run recursively

i mean both are trash cause u should not be doing this stuff in python

but one is better than the other

[jagged forge]

seems like it's a wrapper

[pulsar pagoda]

@jagged forge context https://github.com/Xilinx/PYNQ/blob/de6b6fc3a803945d59f8f06523addfe0d9b60a1c/pynq/_3rdparty/xrt.py

im trying to find the original source to wich it maps

meaning the c code

so

this is the xilinx runtime

https://github.com/Xilinx/XRT/blob/master/src/python/xrt_binding.py

[jagged forge]

apparently it is part of the xilinx runtime core library

[pulsar pagoda]

yes

im trying to find that shit

the header file that generates the so

i think im gonna have to read god forsaken cmake files

welp

[jagged forge]

https://github.com/Xilinx/XRT/blob/a839622180dc413e4b8428a10c1b7a212dfbd437/src/runtime_src/core/include/deprecated/xrt.h#L541

[pulsar pagoda]

ill learn cmake

so

let me get this right?

[jagged forge]

i think i found your header file

[pulsar pagoda]

they use a call to a deprecated api

to make synchronization between buffers?

and this is actually in prod

like

im not crazy

this is bad right? @jagged forge

like no shitting on python

this is just bad SE

https://tenor.com/oYqq.gif

[jagged forge]

apparently the replacement apis are native c++ ones

https://github.com/Xilinx/XRT/pull/6836

[pulsar pagoda]

where are they though?

[jagged forge]

which is unfortunate for anyone who isn't doing c++

[pulsar pagoda]

idc

[jagged forge]

everything in runtime_src/core appears to be c++

[jagged forge]

i care because i don't want to write c++ but i am not using xilinx for anything so

oops responded to the wrong message

[pulsar pagoda]

this is actually nice

mm

wait

exceptions

mm

i might have to check with phd guy on this one

like hes the cpp expert

im just making grunt work

im the gun

he shoots

[jagged forge]

having a c++ expert seems like a good idea

[pulsar pagoda]

https://github.com/Xilinx/XRT/blob/a839622180dc413e4b8428a10c1b7a212dfbd437/src/runtime_src/core/include/xrt/xrt_device.h

i think this is the xrt_device source

but i need to find the xrtSyncBO thingy

BO stands for buffer object

[jagged forge]

maybe it's in xrt_bo.h

[pulsar pagoda]

https://github.com/Xilinx/XRT/blob/a839622180dc413e4b8428a10c1b7a212dfbd437/src/runtime_src/core/include/xrt/xrt_bo.h

yeah

was about to say that

this is going to be a fun weekend

[jagged forge]

this code reminds me of when i was looking at nvidia's smart nics

had to look at their "DOCA" library

lots of low level stuff about buffers and mappings and rdma

[visual breach]

RIIR

[jagged forge]

i did not actually get to run anything with it sadly

[visual breach]

Wait no

[pulsar pagoda]

wait

bit masks

[visual breach]

Direct to memory write

[pulsar pagoda]

and all the methods are implemented using templates

THIS IS BEAUTIFUL

https://tenor.com/X5JA.gif

[jagged forge]

maybe you'll get your dream of writing c++ and not python

not having a c api tho.... sadge

now i can't write my rust wrappers

[pulsar pagoda]

write c# wrappers using unsafe

[jagged forge]

well ideally you still need a c api to do that

[pulsar pagoda]

nope

unsafe turns off the runtime

ur on ur own

[jagged forge]

c is like, the lingua franca

[visual breach]

Name mangling

[jagged forge]

if you expose a c++ api that makes it way harder for other languages

most languages have a way to talk to c code

[visual breach]

If only name mangling was less obscure with C++

Our lives would be much, much easier

[pulsar pagoda]

thats why templates exist

i think

[jagged forge]

well there's that and then how do you interface with templates lol

from other languages

(you don't)

[pulsar pagoda]

generics are similar to templates in c#

the syntax is identical in terms of passing the runtime argument

thing is

in cpp u cant have anything thats not a integral type

as a type in your template

[jagged forge]

i am saying you can't have a generic function in another language that can call a template from c++

at least it is very very hard

[pulsar pagoda]

u can

[jagged forge]

how

[pulsar pagoda]

u just have to limit ur generic arguments to integral types

[jagged forge]

do you have an example of this being done

[pulsar pagoda]

https://learn.microsoft.com/en-us/cpp/cpp/fundamental-types-cpp?view=msvc-170

[jagged forge]

how does that answer my question... how would you invoke a c++ template from say c#

this is just docs on c++ types

[pulsar pagoda]

u invoke it through a unsafe

code block

and make it explicit that u can only use the generic types

in ur class

then wrap a exception if the generic class is instantiated with anything but integral types

[jagged forge]

do you have an example of this being done

[visual breach]

C# has a way of binding to C++??

Wow.

[pulsar pagoda]

let me go grab some from the dotnet runtime

really quick

[visual breach]

Guess MS really thought through with this.

[pulsar pagoda]

thats why im telling u

c# is really nice

https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/keywords/unsafe

[jagged forge]

that still doesn't show calling a c++ template from c#

[pulsar pagoda]

thats how it starts

im looking for the example

in the runtime

[neat lintel]

Yeah C# is just C++ with an extra ++

[jagged forge]

i would be willing to bet there is no way to call c++ templates from c#

[pulsar pagoda]

https://learn.microsoft.com/en-us/dotnet/framework/interop/marshalling-data-with-platform-invoke

[jagged forge]

yes i see c# code that calls c functions here

[pulsar pagoda]

ur right it does look like that

let me keep looking at dotnet runtime

so technically

it can be done

https://github.com/dotnet/runtime/blob/a72822891b5fa8430d564af9825d3914f90a14c2/src/coreclr/interop/inc/interoplib.h

i have not found examples though (people do despise cpp for some reason)

[jagged forge]

im not sure what im supposed to take away from this code

[pulsar pagoda]

interop services is the class that is used for making the wrapper

[visual breach]

I do not see the C++ wrapper.

How does this deal with name mangling?

[pulsar pagoda]

https://learn.microsoft.com/en-us/dotnet/framework/interop/creating-prototypes-in-managed-code

they give an example in visual basic

from a c++ dll being called

if it can be called from VB

it can be called from C#

cause its part of the same runtime

[jagged forge]

i am asking specifically about templates

[pulsar pagoda]

@jagged forge T_T https://stackoverflow.com/questions/6059838/calling-c-template-function-from-c-sharp

guy looks legit

[jagged forge]

yeah that is what i thought

[pulsar pagoda]

then how the fuck does carbon

enable cpp interop?

brb

[solar hawk]

why does it have a lil amd logo

oh thats his pfp

[visual breach]

If it does, I would call it black magic fckery

[pulsar pagoda]

@visual breach https://github.com/carbon-language/carbon-lang/blob/trunk/README.md

i mean its not like it has not been tried

[visual breach]

I suspect they are compiled together there, which lets them access the mangled names

Also I guess carbon also has templates

[pulsar pagoda]

they use llvm

so maybe they do it with IR?

[visual breach]

I guess so

[jagged forge]

i don't think it has anything to with llvm

by the time everything is lowered to llvm ir i assume templates would disappear right

cuz it all gets monomorphized

[visual breach]

Yes

But I think you can have some kind of source mapping

Idk how clang works tho

[pulsar pagoda]

https://github.com/carbon-language/carbon-lang/blob/trunk/docs/project/goals.md

the only thing that i see sus right now with it

is google

since u know their track record is either hit it out of the park

or abandon it completely

[jagged forge]

well they did a good job with golang

and it's not like their abandoned products, because it is something they will be using internally

isntead of just some idea someone came up with to get promotion

[pulsar pagoda]

golang had a clear application in mind

which is a plus

@visual breach by name mangling u mean namespace pollution?

[visual breach]

Nah, completely different matter

Basically when you compile it to machine code, it is hard to predict the resulted symbol of templated procedure.

So it is hard to call them

suremark could correct me

[pulsar pagoda]

yeah basically every compiler makes its own table of symbols

and trying to get one compilation that is a one to one map from a different compiler is next to impossible

at least thats what im understanding

[solar hawk]

yeah llvm doesnt have templates

i think carbon just mangles and stuff similarly to cpp

[visual breach]

..huh. How would they do that

[pulsar pagoda]

@visual breach @jagged forge https://github.com/nodejs/node-addon-examples/blob/main/object-template-demo/napi/proxy-template.h

code that Will haunt u at nights

so

i think the case for c# is people rather not do it

that it being imposible

i'll research more

[jagged forge]

this looks like a handler you register on the c++ side to be invoked by a proxy in node.js

anyway yeah i don’t think it is fundamentally impossible for any language, just impractical for a number of reasons

[pulsar pagoda]

@jagged forge https://github.com/dotnet/corert/blob/master/src/System.Private.CoreLib/shared/System/Span.cs not quite what i'm looking for

but it's the closest to having c/cpp directly in c#

could not find the implementation in the Main runtime

but i'm sure it has to be there since span is heavily used

check the unsafe methods

it's sort of c combined with generics

and some nicer syntax for handling value types

[jagged forge]

it looks like low level c# code

[pulsar pagoda]

the funny thing is

nobody likes to use unsafe

or ref's

[jagged forge]

i am told video game devs use unsafe c# a lot

also, just to be clear, this does not look like c#/c++ interop

[pulsar pagoda]

they also have to bind to the graphic rendering API

so there probably is some use of interop to do calls to directx, vulkan and OpenGL

unity must have code like that

c#'s ability to turn off it's runtime by having unsafe contexts makes it appealing

Ive heard rust has something similar

[jagged forge]

rust has no_std, which disables the parts of the standard library involving things like heap allocation as well as other os-related stuff

As mentioned before using libstd requires some sort of system integration, but this is not only because libstd is just providing a common way of accessing OS abstractions, it also provides a runtime. This runtime, among other things, takes care of setting up stack overflow protection, processing command line arguments, and spawning the main thread before a program's main function is invoked. This runtime also won't be available in a no_std environment.

but you don't need to use no_std to write unsafe code that does interop with the os, hardware, or ffi

it's basically for embedded programming

or other cases where you lack an os

[pulsar pagoda]

that is precisely why cpp is so powerful perfomance wise. There is no runtime

but that in itself

is also what contributes to it's complexity

[jagged forge]

i am pretty sure c++'s "runtime" is very similar to rust's

[pulsar pagoda]

thats dependent on the tooling

for example msvc (Microsoft cpp compiler) does come with what we would call a runtime

gcc is more barebones

theres no enforcement of a specific build system or linker. Those are the only things i can think of right now due my limited knowledge

but im sure more can be modified

in this regard there is more content and documentation for cpp by the fact of just being longer in the market

[jagged forge]

i feel like you are trying to tell me why c++ is better than rust

and uhhh i didn't mind c++ when i used it, but rust fulfills my low level needs just fine these days