#serious-discussion
1 messages · Page 159 of 1
yes, that's very true
and they are not hesitant to fire you based on performance. There's always some genius waiting to be hired
it depends. I heard that hardware engineers, dealing with FPGA and whatnot, actually get paid an insane amount
because it's actually hard to come across good experts in that area, compared to software or math models
Googled what that is but it seems even the guys over there struggle to explain it very simply
From what I've understood it's a configurable circuit designed to perform a task out of a specific set of processes?
(Very poor analogy) Like a computer where you can't add new programs?
fpga = field programmable gate array, from what i understand it's like you can reprogram the circuits themselves
they're not as fast as ASICs (application-specific integrated circuits) which are set in stone once you manufacture them
but they're a lot faster than cpus
usually in an area like finance you have an fpga network card which is doing processing on incoming packets as fast and as early as possible
since you're getting market data over the network
An ASIC would essentially be a circuit only designed for a specific piece of code, right? Like a ROM chip?
i'm not sure what a rom chip is but yeah, asics are usually special purpose
Sorry, the BIOS chip
some of the fancier enterprise network cards have asics for common tasks in the data center like compression and packet filtering
so they can read data off the network and compress it at line rate (up to 400 gigabits/second)
for the top of the line cards anyway
400 gigabits is so stupidly fast and you can put like 8 of those cards in one server 
Makes sense, that isn't gonna do anything else so you might as well optimize the shit out of it
right
for these cloud companies, they spend a considerable amount of resources just shoveling data around and decompressing it from storage
so it makes sense to optimize that
So an FPGA is kind of an inbetween of a normal cpu and an ASCI?
yeah, that's my understanding
yes, that's correct
and not only for data tranmission, for everything actually
because you need to be able to crunch numbers very fast, and there's a lot of them
you can even reprogram the gates
so it's not limited to AND, OR, and NOT gates
how? well, a gate is just a truth table, and you can configure the truth table of a single gate
just a few bits of info to save
this makes the circuit stupidly fast
we have an fpga network card at work that we use to capture data, but i'm like 99% sure we're using like 0.01% of its capability
the only thing we use the fpga part for is to set up a packet filter lmao
Now imagine what those wizards in quant firms can do with FPGA
indeed
remember that for these guys, 20 nanoseconds faster can earn them millions more
lol
True
my company consults with a network engineer who's worked in the finance industry for awhile and he has some crazy stories
i don't remember the details, but he said one time juniper had to design a new switch because all of the traders figured out how to abuse the network switch to place themselves at the top of the routing tree or whatever it was called
idk
But doesn't the transmission of data to the building take a lot longer than that?
I remember my ex-roommate, who now is working in a quant firm in London, told me that back in the day, one guy was doing field trip to see the signal path. Wires are always faster and more reliable than radio wave
And he found a mountain, around which the cable went. He calculate that if he dug through the mountain, that'd make the signal arrive faster a few nanoseconds
And so he went back to the firm, told the tale, and they agreed. Costed them a few millions to dig through the mountain and reroute the cable, but they earned so much more because of it
I'm assuming that all what these nanoseconds are about is the company's stock market shenanigans
not only stock market
That's a wordy sentence
the financial world is much, much bigger than stocks
Derivatives and what not?
there are all kinds of financial instruments, and they all have their own market
what these guys do is usually market making, i.e. matching supply and demand, and getting the commission fee
Ah
And for market making, you gotta be fast
i wish i could remember the name of it but i think radio is in use today
Also they keep their portofolio stable and stuff. So what they do is like, say, try to win 1 cent for every trade
but they do it thousands of time in a second
You are also not supposed to hold a portfolio at the end of the day. When the market closes, your position must be 0
But then again, there are also all kinds of quant firms, and they all slightly differ
which makes it a finite time horizon optimization problem 
So Bellman and his gang comes to rescue, yeah
Although I think I read in Derman's autobiography, at Goldman they had division looking at infnite time problems
I'm not sure, it's been a while
yeah i have an optimization book and they touched on both cases
The word 'problem' always gets my attention
hey maybe someone can help me here
!help
To ask for mathematics help on this server, please open your own help channel or help thread. See #❓how-to-get-help for instructions.
Although, I think we have someone in the server working in quant, no?
@long matrix ?
That is not the type of profile I expected
oh i didn't realize shuri was a quant, cool
listen dude, results are results

ill try in math discusion
who dareth summonth mineself to this lowly dimension
megumi and i are rambling about quants for the nth time

cough, i wouldnt really consider myself to be a professional quant or anything really
or like
a
one who deals with stats at least
like a different kind to your usual one 
Shuri, comfortably typing from Bahamas
ive had to involve myself with more infra than id like 
infra?
infrastructure
huh
is it like a small company where you wear many hats or smth
yeah we're small, thats why
so i havent really had a chance to be involved with deep research
aw
are you getting equity or smth at least
maybe the small company will become big one day
if we kick off big 
to be seen
still at the startline, about to sprint
not now

If I had to say, I'm more interested in the modelling side of things
rather than stats
well, I'll graduate in 2 years
let me know
like there are so many nice models/systems that come out very basic math
highschool level kinda math
I will certainly get disownned by everyone in my current uni
those are the things I like looking into
but i don't care
I heard that in quant one doesn't actually use fancy math
if you know linear regression, you are good to go
well depends what kinda quant really
plz dont tell me u use technical indicators
but in practice, most math is done for you by a bot or lib or whatever
you know, this is a very interesting topic for me
that ive thought about for a while
how much of it is sorcery
how much is not
i am also told it's not entirely sorcery
My experience so far - theres a lot of crankery and sorcery here, but at the same time, theres some truth to be had
theres a lot of things.
one of them is game theory aspect
if everyone uses the indicators, they self fulfil
if u get me
hmm
thats one element that makes them more reliable than guessing around
Seems pretty logic-heavy compared to what I expected it to be ngl
so with stuff like options modelling
you usually consider the price to be brownian motion
lognormally distributed
but that goes against the whole idea of technical indicators
its like 2 different worlds
and I think a better model does something in between, so that interests me
INVERSE indicators
the price isnt truly random - its skewed in ways, and if you can figure how, you can price your options better
better than just assuming its a stochastic process that doesnt care about what happened before
i know there are some volatility models with like, mean reversion
which vaguely sounds like a few technical indicators
yh but even just mean reversion doesnt capture some of the 'events' that you can see coming
everyone knows its coming up, but dont know the outcome
like FOMC, or some announcement or whatever
elections
hmm
so yh, this kindof stuff interests me 
i literally have access to market data for free and i still can't be bothered to start studying it 
maybe it would give me a push if i just like, put a small pile of money in an account and tried to trade lol
great minds 
expensive lecture fee
but u know what they say, gotta have skin in the game
sure just don't do it with my money
ser im looking for a small loan
just a few digits will do 😔
💀
i wish i was into crypto
50% of jobs for the programming languages i use are crypto 
if only crypto wasn't useless..
well its not hard to get in
an internet connection and ur in 
can i use my discord account as collateral
looking for some ponzis? come come 
blockchain tech is interesting tho. cryptology behind some ideas
oh no its ryc
one time this recruiter called me about this job opportunity at some crypto company making their own cool blockchain
Time to pay up 🔨
i pay in hugs
we talked for 30 minutes and at the end he's like "oh by the way i'm not affiliated with them, you'll have to send your resume to them yourself"

bro why did u call me then
too late, all your loans liquidated
Each hug incurs a processing fee
ill pay


well actually, i was recently stuck thinking about how a decentralized borrowing/lending system could work, in general
decentralized CREDIT
like centralized, the rates are set by banks/gov
CBDC but it's debt token
but decentralized, variable rate, no fixed duration loans, was curious. didnt look into it, just a thought experiment
like i couldnt think of way where it 'makes sense'
with proper market competition to control rates
im probably missing something idk
It's not sufficient that you validate your address payables
like my thought process was variable rate market can only come from a fixed rate market
you cant have the 1st without the 2nd
You should actually make an effort so people won't drain all your liquidity or value out of your defi
and somehow make people believe you won't rug
but this is just general defi protocol stuff
nah i mean more theoretically
fixed rate, you have a bunch of makers (banks irl) who offer loans or want to borrow at certain rates
and thats like an orderbook
orderbook doesn't work well on most chains i think, frontrunning risks for example
no no, im not concerned about that yet
lets just say they can work
but the problem is how can you get variable rate loans
on an orderbook
i wanted to figure this
lets say our book is of 1-week loans.
Then I can have a bid of 1% (im paying 1% to borrow), and an ask of 2% (im being paid 2% to lend)
i just dont see how you can have a similar 'book' with variable rate
variable rate seem to be a bit like perpetuals that would track the fixed rate book

surely it's not variable rate as in some fixed function of time and principal price
wel
if you just have a variable rate book on its own. Say everyone's open loans are charged at the rate of the midprice on the book
theres nothing to stop price manipulation happening and liquidate all loans
the price on the book doesnt mean anything in a sense with such a design
stepping aside, unlimited term loans are desirable over fixed term, but to enable unlimited term, you need variable rates. is why i was considering this problem
(and I dont think ive seen any solutions that use an orderbook, so maybe theres none)
https://consensys.io/blog/serum-a-decentralized-on-chain-central-limit-order-book what was consensys cookin
embed fail
meh most protocols are copycats of another
with a few improvements(?)
there arent that many novel ideas in the space, really
so if one gets rekt due to a bug, all of them get rekt as well
well, they're not necessarily forked
often they're reimplementations
"we'll do it our way, its a new product", but just copy a lot of ideas
so you invent a novel market design and fail to notice a flaw and you get rekt
well all of the widespread ones will have gone through audits, but yeah, plenty of exploits have and will happen
so anyway idk if consensys actually has a working orderbook model
a lot of them occur cus of flash loans existing
there are plenty of DEX's running an orderbook model yeah
some are completely decentralized, so stop losses, liquidation prices are visible for all to see
and get hunted
I think protocols are looking towards zero knowledge proofs to solve this problem
and get...regulated?
oof
yh idk there's got to be a way
im just a bit of pessimist
the saga continues
profit < 0 is the usual equation
4 years of a business degree distilled down to its pureist form
I blame Nash and the French for that
Mostly the French
They get orgasm over mathematize everything with extreme rigour
I lost brain cells reading this
Hello discussion 2

how do you make the cool graphics that you’ve posted here before?
uhh what is the formula for sin-cos
,tex .sine law
K²en [𝔸𝔨𝔦𝔯𝔞]
,tex .cosine law
K²en [𝔸𝔨𝔦𝔯𝔞]
uhh no..
is it okay if it just put the problem in
put it in a help channel sure
Wait these formulas are wrong
Damn who coded these bots
I forgor
You artist?
ye
sometimes
nah
Thats huge
no
when I make art I sometimes don't like them
I think that happens to most of us
Nah that's actually pretty good
thanks
I like bruce lee
,tex .cosine law
Mistav
you need preamble for that
Does that mean you wrote the formulas?
I don't think so
Okay
it was written by bunch people iirc
Coding is fun
latex is a typesetting language
I just know python
cool cool
ok dicussy derailed
Hello
🤨
 isn't Japanese
i believe it is turing complete
Ukraine isnt real and neither is russia
wdym
Theres no such countries
the world map says smth else...
American propaganda tool
Everyone knows europe isnt real
it very definitely is
not a difficult condition to fulfil
Why doesnt the cats channel have mp4s
Still images from ai is kinda lame
someone please answer, what happened to voice channels?
agreed
pretty please with a cherry on top?
I believe I never came across any in this server.
I used to be on here a year or two back, they definitely had voice channels.
I have joined just 2 weeks ago, so I have no idea what you talking about.
thank you!
I was wondering...does anyone know an easy method to converting bases?
Like...in chemistry?
Mathematics
Is there any big server like this one for chemistry?
Ok thanks
is anyone here a women who achieves high in highschool my gf needs some advice
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/
Discussion 1 is moving too fast so I'll leave this here, made a cool graph to visualize a problem I helped someone solve and wanted to share it, it's to find the radius for which the sum area of the small circles will be minimal
ok my gf is a higher achiever and she tries her best but she has period cramps and during those times I try to comfort her by buying her some food and massaging her but this prevents her from being her best for an example 2 days ago she got it and she had an exam the next day but she couldn’t study for it because she was in pain - does anyone know any medication i can buy for her that’s safe
advil
Probably best if she talks to her doctor about it, the doctor will know her situation best, giving advice on medicine without her medical history could be unsafe
thank you I will try talking to her parents
it is only one day that gives you a pain
if she gets pain more than one day then definitely go with advil
what should she do on that day
I think it’s better to get a doctor first
I don’t want to make her more sick
advil is like no risk for most people
how old she is? if it is not for the first time then she will be fine
you need just to get used it
She is 16
hmm if she has a lot pain then ya definitely see a doctor
Yea I try to support her but even one time I came back from the store and I saw her crying
I will ask her parents
okie
Why is bro asking the discord math server
guys, raise your hand if you know chemistry
Which chapter?
No sorry
my course is called "IB Chemistry 121" in New Brunswick, Canada, for those who need more details.
i was looking for a dedicated chemistry server but it's all paid homeworks.
Have u tried Znotes
"Znotes"?
Yea
@latent edge might help
does it even exist
ye but its shit sometimes
thank you @neat lintel
sees Canada
no thanks
U don't need to pay for anything
LMFAOO
@eager veldt let the homie in that ohs server
@oak talon if u need the link of Znotes, I can give it
i figured it out myself
but it doesn't seem to have what i need
maybe i pressed wrong buttons
Let me check
@oak talon IB Middle years program or Diploma programme
??
idk I don’t have any other servers i’m apart of
this is the most active one
my bad
ok but more my style really is https://open.spotify.com/track/08URh7JqDdBWIhOD7gYSBV?si=8QOO3S8SQmCs79ESSUCTGQ
when does math actually start caring more about isomorphism?
Isomorphisms were mentioned once in my LA book and never again, why?
algebra
which LA book
might not be as focused on theory
Chat, do you think she has a 4.0 GPA?
to be fair, every stat here is inconclusive
book is p good tbh.
but the PROGRAM.
💀
hf -runs-
nvm preview doesnt work here
Hello discussion 2 aka cold side of pillow
😂
What is the differenece between Differentiation and Integrate?
differentiation is like find the derivative
and integrate is integration of something
They are inverse to each other. If you take the indefinite integral of a function and then take the derivative of that answer, you get back your original function
Definite integrals are related to the areas under a graph between some endpoints, indefinite integrals are running the process of taking derivatives in reverse, the two are related by the fundamental theorem of calculus
Aren't there some conditions to this
I feel like I've heard of pathologies with like antidifferentiable functions whose derivative doesn't exist or isn't equal to the function you initially antidifferentiated
stomke's theerom
I almost thought you meant Stokes' for a second and was like what
Let me look at that 🤔
uh
I cannot find any Stomke's theorem on Google
LOL
remove the m
I mean the fundamental theorem of calculus does and stokes theorem is a generalisation of that
In some sense anyway, it feels weird to say that, but the FTC is a special case of generalised stokes
Show me your favourite desmos graph
Don’t tell me what to do
Incredible
Sorry 😭
A friend of mine told me another had invited everyone but me to a 4/20 getting high party
who needs friends
play flashgames and do buzzfeed quizzes with me
wait the ricci flow book does fit into my purse wtf was i hallucinating before
how does desmos accept t and u as variables?
it just does
the same way any language since the start of programming languages does
lissajous
similarly to orbits in a non coulumbic/hookean central force, or a geodesic on the torus, it's closed iff some parameter is rational
Did you go anyways?
could anyone help me with expected values, I have no experience in probability. https://discord.com/channels/268882317391429632/1232038846791684127
no because i didn't know about it and because i'm not an asshole that shows up uninvited
Wouldn't the asshole be the one not inviting their friends?
I wasn't invited because I'm too much for him apparently
I mean, mathematics and drugs do go well together.
Not sure about weed in particular though
well that one time
once on the devil's lettuce
i was indeed completely capable of mathing
and it gave me energy and extroversion and motivation
Does topology have any other pre-requisites than some analysis?
just go with it
Are you saying real analysis is enough as a pre-req or can you even go at it without that?
point-set 
Even analysis isn’t strictly required
I would recommend it, but it is possible without it
what's up with people that went through a topology class saying every class or every topic they give a talk about doesn't have much prereqs
and when you listen to it it's like nearly graduate class
I mean topology is a final year course at my uni, it does take some comfortability with maths, but it doesn’t directly require you know to know analysis really
Like if you know set theory you can get pretty far with topology
But I agree it’s going to be rough if all you’ve done is like calc, it’s just low in formal prereqs, higher in maturity
guys, I hope nobody takes it the wrong way, but why do people straight up post pictures of all their homework problems directly into the help forum?
mfw walking into a rep theory seminar having no idea what's going on and when someone asks me what I understand I just talk about langlands
because they want help?
My math blog
you're right, but it does seem like sometimes people just screenshot/take a picture of their entire PSET and just wait for someone else to do it and thne write it down
just do !nosols
and they will understand
i get sometimes ppl giving them free answers
Just wanted to let you know that I've started working on something new. It's in the early stages
My blog
nice
better than giving ~0 information and expecting help
wait did I do that? if did I'm sorry lol.
gotcha. I assumed I did it because I actually posted a question, someone answered it adequately and then I closed it. My title was need help with " X ".
a question .
Because there are authors who define an Orbifold space as an idea of understanding in a product of symmetry. For example, if a curve C has an orbifold it is C-> Sym^d, this is because every curve C has a corresponding product-symmetry. The question is what connection does the orbifolds have for a given product-symmetry?
best habits to incorporate to your routine?
sleep and fun activities
like?
whatever you like doing
Weight lifting, running and hanging out with the important people in your life
gotchu
walks
hello 👋
I average 3 a day
and yes
I go on many a wander through the day
Usually when I feel myself getting distracted or stuck on a problem, I’ll just take a little walk and it usually helps
Should I take a harder sciency math class (Fourier analysis) or an easier engineer review math class covering Lin alg, ODE and complex variable?
I’ve never taken a Lin alg or complex variable focused class, but my Fourier skills are weak and a lot of the topics interest me.
Is it Fourier analysis for mathematicians or Fourier analsysis for engineers?
These are wildly different courses and you will have no chance in maths Fourier analysis if you aren’t already quite comfortable with analysis and pure maths (it also won’t be all that helpful to you)
Like if you just need to know how to use Fourier methods to solve DEs and stuff definitely go for the engineering class, you don’t need to know about Schwartz spaces or any sort of harmonic analysis if you’re more on an engineering path
The Fourier analysis is taught by the ECE and its applied to signal analysis. The math course is taught by the math dept but targeted toward engineers
If it’s targeted towards engineers it could be good, I assumed it would’ve been more harmonic analysis if it’s a school of maths course
I would just pick Fourier but I’ve never had more than a lecture or two on linear algebra and just kinda guessing along the way to get through courses that require it
Fair I should have made that distinction
I think i have one of the best teachers for people who dont like doing a lot of work
4 homework assignments and only two tests, final is optional
Unfortunately, we barely learnt anything
that's what you get for not doing a lot of work
I swear I learned more math in my self study shenanigans than I did in school/university
it's not just that, even if I learn something at school, it seems useless and not really "natural" where as if I learn something at home I feel like I get a better understanding
I have similar experiences as well
Why is the server icon a gay flag
Its for general nonbinary+
It's a cosmic torus 
Look closer lol
They ate it at the start of the month but we got it back
Its right there tho
Yea we got it back
It's a sacred torus now
There must be a discussier keeping watch on it at all times
But its a gay torus right
do you have a problem with it or something?
Did you guys know there is a hole that goes from your eyes to your nose
Did you know there's a hole that goes from your mouth to your ass
You can opt out of these changes by sending an email
when i use the vector projection does it still have i and j components
Hello
Im here
i am also barging in here
Ok
Anyway
Shyshu did you know about my date
Idk if you want to hear about that
I dont remember
i do wanna hear!
Ok well, it was great and he was perfect and my suspicions that he was a serial killer were unfounded
im sorry what
Uhh
why did you suspect that 😭
He wanted our first date to be at six flags, which i thought was cute but then my dad was like "how do you know hes going to drive you to six flags"
Which is a valid point
So i said maybe on a second date, and then on the day of our original date he "lost his phone in a sewer grate" and couldnt contact me and missed it
Sounds promising so far
Which i was mad about, but then we just scheduled it for the next day and it was like
Surprisingly normal

And also amazing
thats really nice to hear
Yeah it was so funny
Definitely not a turn of events I was expecting
Right??? I think hes just kind of scatterbrained
very well suited for you then
No!
yes!
why do you have to disagree just to agree at the end smh smh
But its not a good match because im scatterbrained
Its a good match because I need to be made to go with the flow a little more
Im not scatterbrained!
Thats what im saying
huh, thats interesting
lol
Idk, most people I feel like i need to control the narrative and conversation around and stuff
But i just felt normal and non performative talking
So that was nice
thats so cute aww
Honestly it wasnt an instant click or anything and when I say hes perfect I just mean hes really hot. But I am pretty certain wed make good friends
its a win win regardless
hi hi hi
Yes i agree
hallo
Hello ally
hehehehehello
i need to go out with someone i will lose it otherwise
Finally this awful lecture is almost over
lose what
lose my mind
I havent paid any attention
Soon!!!
What's the lecchair on
you are using your phone in the middle of class? how awful of you ryc!
Wavelets and holder continuity
Yes
aren't you a phd student why do you have mandatory lectures
Its not mandatory. I didnt know it would be so boring
holder continuity? like the uniform continitity alpha>0 type?
what do you mean ryc tell me!!
You will find a date soon
how do you know, please tell me
interesting
i once went through my dads book on wavelets, and it was pretty cool
Youre less and less active online, which means youre finding more and more friends in person!
i mean i guess
im in a weird situation atm, where i ended up catching feelings for someone who i should not have caught for
and now i am writhing in pain
😭
Discussion 1 is going crazy
Isn't it always? That's why I'm hanging out in here
I've heard of it, why?
please tell me should I learn Trigonometric rations for it ?
I don't know what trigonometric rations are, but generally having some familiarity with trigonometric functions and various identities is helpful.
Ohh , btw do you think learning things is good instead of just understanding them ?
Because we learn them automatically if we keep doing and doing
Understanding how things work and being able to do them routinely without much thinking are both useful (to various extent in various contexts). I understand quadratic functions and I could derive the solutions to 5x^2-13x+2 = 0 from first principles, but I've also had some practice with quadratic equations so I can write out the formulas and the solutions without much mental effort.
Hmm
Btw i also know quadratic polynomial and equations
But i don't Know what are functions
Btw Outsider, would you consider it "informal" to write $\lim_{x \to 0^+} \frac 1 x = \infty$? I'm asking about the $= \infty$ notation.
You can define the statement $\lim_{x\to a} f(x) =\infty$ formally.
Outsider
And in fact you should if you're doing proper analysis.
And then you can use that statement without worrying that you might be informal
Ah, makes sense, thanks
Uh oh
I understand
I do that a lot
What this sentence means is "as x gets closer to 0 from the right, 1/x becomes a very big number".
Which is also not formal, but gives an insight into how to formalize it
Sure.
It's not technically formal, but it's what I remember and then I reinvent the formal definition each time I need it
yeah, the girl i ended up liking is a good friend who is also not into men and kinda aroace
😭
kms
Aww :(
I know, I was really more asking if you'd be allowed to write this if you wanted to be very formal
yeah, this makes the guilt i have about liking her worse
im just hoping these feelings go away
Its just like what I do with straight guys! It sucks but you also get to like them without worrying about ever having to act on it
not acting on it is making me go insane
If you wanted to be very formal you'd have defined the meaning of this beforehand, but also the formal definition is very standard and often included in textbooks/courses.
I guess a slightly modified epsilon-delta definition
For example see Abbott here:
Seems like that's exactly it
Rudin as usual does it in a less clear way:
If a, b, and c are not equal to zero, what is the difference between the maximum and minimum value of S?
S=1+|a|a+2|b|b+3|ab|ab−4|c|c
!help
To ask for mathematics help on this server, please open your own help channel or help thread. See #❓how-to-get-help for instructions.
I'm still really lost
With respect to my grades this year
Still can't process it
I had no motivation before Now i somehow have less
i just recovered from this, sleep as much as you want and fast for a few days (eat nothing or very little and no junk), also meditate & exercise a bit, maybe able to salvage some motivation for finals
its almost never as bad as u think, just don't gain weight, good luck
anybody know anything about coq?
Avoid it at all cost
i really wish i could but i cant
for some reason its what we use at my uni for algo and data structures
this will probably be the reason i drop out of cs
Fight on
You will make it
Yeah, that's the thing about Coq
You kinda have to find your own way
One crucial tip I can give
Is that you have to make the lemmata stupidly simple
Then combine a lot of them together
Big proofs don't work well with Coq
ik i am cooked when i dont even know what lemmata is
i am cooked
You can make it
why would a data structures and algos class use Coq???
huh?
what why?
I see 0 connection
yo is your pc running
I genuinely do not know
Our prof is a fossil that doesn’t wanna let go of his old ways i guess
In our lecture we use java but when it comes to practice it’s somehow coq
minecraft java
the fossil is a man of culture
does he like janteloven to or
WHAT IS JANTELOVEN
its jante and law
Ik law but whats jante
jante is a man
Jante is the man
nvm jante is not a man
Is he the dude that made law?
no😔
Nvm jante is not the man
i spread false info
Type shii
YESSS
🙏🙏🙏🙏
Il jante is looking down at me rn with a smile on his face
you bet he is
I am either passing this subject by actually studying coq (if i find a way) or murdering my prof which is the easier option ngl
hmmm red pill or blue pill energy
wait.
is coq python.
Its a french interactive proof system
dang.
that means its really bad
😭 🙏
weell coq is not a general purpose language, as python is
that can be disscused
Even if you are struggling with python you got blackbox and chatgpt but coq just nah
they are meant for very different purposes
rød.
hei hei
if i use chat gtp on my exam ill fail😭 🙏
💀💀💀
then why are you interacting with it at all
I have to there is no way around it
vel
We use it for algo and data structures

u can red pill ur way around it🥰 🙏
wack*
oh!
YES YES YES
Yeah😔
whats wack is math exam on thursday😔
it calls itself a proof assistant; it is a system for constructing and checking formal proofs
Not as bad as numerical methods on a Wednesday
What's that
Yeah but idk how to operate it , like ik the basics and everything but that man is asking for too much
edward edward....
dw bout it
Aight nvm then. Guess I'll learn about it once I get good enough at math
real
for sureee💯
janteloven in math is next level
HE HAS SOMETHING TO DO WITH MATH?
I thought he was the law dude for all laws
Like jaywalking and stuff
janteloven works in any field🥰 🙏
He is the man frl frl
close
jante jante
who would’ve thought gaslighting people about janteloven would be so fun
erm you’re a genius
RIGHTT
ive become addicted😔 🙏
valid
he is😔 🙏
Vsauce needs friends 😔
I FEEL LIKE I AM BEING LIED TO
u r
study

that sounds cursed
how to reset our nickname here
Jasmine spends exactly £120 on three types of plants.
Poison ivy plants cost £2 each.
Deadly nightshade plants cost £9 each.
Triffid plants cost £12 each.
She buys twenty plants in total, including at least one of each type. How many triffids did she buy?
Shut up
I'm having trouble understanding what to write for this paper lol
This is the prompt
Down below he mentions
So like
Do I just look up the latest research in my chosen topic and figure out the most generally applicable findings 
And talk about those papers
you need to get active or postgraduate role or dm @polar panther
yeah I mean presumably you're just being asked to do a bit of literature review to get a sense of what recent big results look like
Hello
is it me who ur looking for
What's your reasoning
bruh u failed
Im still curious tho
Would you not need a 3rd piece if information to find that out?
Is anyone interested in joining my new STEM non profit dedicated to helping youth from grades 6-12 research topics they are passionate about without breaking the bank. DM me if you want more info, have any questions, or would like to join.
Hey guys I have to do calculus to understand quantum physics.
So should I go with this playlist?
Please tell asap
up to you
Hmm
arguably you're still a long way to go to actual quantum mechanics even if you learn calculus, by that point you could've watched 10 or more series on calculus/real analysis because they cover different material in different ways
lmao flat earthers slowly getting there
They surely came a long way to the starting point
@iceball
my room is a mess
do i have energy to clean it ?
no
but do i have to clean it ?
yes
because i’m a responsible adult
i do things because i have to not because i want to
he has perma studying
so real
meh. calculus + shankar teaching linear algebra was enough for me to understand the hydrogen atom to a level sufficient to create a partially working program to find at least the first energy level given only the schrodinger equation
Is this a good career goal?
https://www.governmentjobs.com/jobs/4129464-0/firefighter-paramedic
I might forget all the linear algebra i learnt
The hell is that? 😭
These guys must get out of twitter and study something useful, maybe they can help us with their immesurable creativity
Yes
Mm
That is very poggers
it’s one of these days for me:
> sleep until 2 pm
> check discord
> feels a desperate need to touch grass
> sit downs at a cafe with a paper
> spends half an hour trying to remember how to multiply two 2x2 matrices
> gives up

do you know how to multiply a matrix by a vector?
fire in the hole
I don't get it
Anyways hello cool side of pillow
on qatar tv some time back they were showing some kind of social experiment where basically they just set up like a stand for medicinal herbs in a mall
and asked people a bunch of questions like "what do you usually take when you get sick" etc
then while the other people are answering like idk "yeah i take advil" this absolute chad comes on
"what do you take when you have a headache?" "i go to sleep" "you don't take any medicine?" "no, i'll survive"
"and what do you do when you have a stomachache?" "same thing" "and if you get a fever?" "i ask my mom and she gives me something"
lmao i guessed the chad react was by nG before i even saw it
My parents dumped their dog on me 3 days ago without warning, and I am really uncomfortable around dogs so I have not been having a good time
But I finally managed to get a boarding place worked out, so in 3 hours he's not going to be my problem anymore! 😄
Mm
I suggest, calculus I,II,III, linear algebra, special relativity(the basics), Some little functional analysis (just fourier transform), PDE's and this should be enough for understanding the basics of QM, but I suggest taking a look at lagrangian mechanics and EM. There's a QM I course on youtube; mit QM 2013, a series of 23 videos
i was confident on my math skills for my test until i saw logs on financial education 😭 😭
i didn't know how to do it algebraically since i never saw this specific problem and i just.. 
Are you a jittleyang or a fuhulutoogan
yo can anyone help me with ma algebra work il dead ahh pay😭
sometimes activity is low, just gotta be patient bc every helper is a volunteer
logs are kinda confusing, but they're not too complicated once you get the hang of them
It just takes practice, and there ain't nothing wrong with needing more practice
The question on itself was so confusing i needed to read it about 4 times to understand it wasn't missing informations
I got a 100 on my discrete math final
Now that I have the credits, its time to never use what I've learnt
Imo the worst part of algebraic calculations isn't getting the complex part right but the basics wrong
anyone down to vc?
only when we do it in this server
Yeah it do be like that sometimes
we don't have vcs here
Okay ring homomorphism
lol
have you ever realized that when is 23:41 at the clock happens that 23 is prime , 41 is prime and 2341 is prime
what about when the clock strikes 37:82
nice try
but 3782 is not a prime number
since it's clearly divisible by 2
37 is prime
but 82 is not a prime number
ya okay wise guy
but what about when the clock strikes -23.4! : π/e
🗿
Hello
wait the kardashian family is american-armenian? (I'm armenian myself and I never knew, though I guess it makes sense with the ian in the end kardashyan > kardashian smh smh)
I was watching this and I just realised lol
https://www.youtube.com/watch?v=Vl7YkrLMzqI&ab_channel=Boris
i’m sorry to hear that
@cold needle HAPPY BIRTHDAY TO YOU
HAPPY BIRTHDAY TO YOU
HAPPY BIRTHDAY TO METALNINJA
HAPPY BIRTHDAY TO YOU
Wait for real this time?
Sully
skull emoji is actually metal af if you think about it
After my recent hospitalization, I decided to try to take a break from doing math until the end of May. I'm three days out. I have an overwhelming urge to do math - not even the math for my courses that I'm taking incompletes in, but just math that I want to study for fun.




