serious-discussion

[echo tundra]

Oh, I mean I did first and then asked, my bad

[static loom]

#advanced-lounge message

[split island]

Why did you direct to advanced lounge😭

[neat lintel]

@lunar palm $$8^{log_{10}(x)}$$
$$10^x=8$$
$$x=log_{10}(8)$$
$$10^{log_{10}(x) log_{10}(8)}$$
$$(10^{log_{10}(x)})^{log_{10}(8)}$$
$$x^{log_{10}(8)}$$

[fathom swallow]

brandon_hu

[neat lintel]

$$log_{10}(2) \approx 0.301$$

[fathom swallow]

brandon_hu

[neat lintel]

$$log_{10}(8) = log_{10}(2) + log_{10}(2) + log_{10}(2) \approx 0.903$$

[fathom swallow]

brandon_hu

[neat lintel]

$$8^{log_{10}(x)} \approx x^{0.903}$$

[fathom swallow]

brandon_hu

[neat lintel]

@lunar palm is this how you simplify it ?

[prime trellis]

ok

[quiet geode]

how long before im eligible for @/dishonorable?

[torn sedge]

not soon with that attitude

[quiet geode]

determined*

[meager axle]

Part 1 of story of finding a scammer :https://www.reddit.com/r/ScammerPayback/comments/149bg3x/scammer_found/?utm_source=share&utm_medium=web2x&context=3

PArt 2 :
https://www.reddit.com/r/ScammerPayback/comments/149bso2/scammer_found_part2/?utm_source=share&utm_medium=web2x&context=3
PLease check it out and share the post to spread awareness about this type of scams which are becoming more and more common on Instagram and other social media platforms.

[quiet geode]

DELETE

@cursive token YOOO

a fellow funeral fan

[meager flame]

anyone here know logic? i have a logic question

[solid yarrow]

#proofs-and-logic

[late shore]

hi

[neat lintel]

.help

[quasi jetty]

Commands:
clopen: .close, .reopen, .solved, .unsolved
consensus: .poll
factoids: .tag
help: .help

Type .help <command name> for more info on a command.

[neat lintel]

.open

[mental stratus]

#bots

[neat lintel]

I got it

dw

[quiet geode]

why do we no longer have VCs?

[neat lintel]

#changelog message

[quiet geode]

woah

they really do take this stuff very seriously

you can program a bot that record VCs for reactive moderations though

[jovial ember]

This is addressed in the note

[quiet geode]

may / may not require extensive resources

oh

[jovial ember]

They didn’t want to do this because it’s too much of a privacy thing

It feels far too big brother 1984

[quiet geode]

can be end to end encrypted to begin with

[jovial ember]

[quiet geode]

anywho

[cursive token]

yup

[quiet geode]

sup

[solar hawk]

make it a vote

vote to add the feature, and people buthurt about their privacy wont use VC's, as it is now.

Atleast the rest of us will get back our vcs

[limber shore]

After how many "zooms" could you call a function and say its continous

[fair mural]

you can’t call a function continuous just because you zoomed in on it

[limber shore]

im trying to write some code that checks if a function is continous over an interval, and the max is Y + x/9999 for each point (Y being the closest whole number rounded down, and x being a looped through integer from 0 - 9999)

zoom isnt the right word sorry

like im checking 1.00010001 then 1.00020002, onwards till 2 to find if its continous from 1-2

[fair mural]

it could be discontinuous at the average of those two numbers

i don’t know how you would really write code to check since i don’t know much about coding anywasy

but you can’t call it continuous just because you checked some examples

[limber shore]

got it, ty for the help

[river moon]

this would already fail at f(x) = x^2 for x != 0 and f(x) = 1 for x = 0 or any function that has removeable discontinuity

[neat lintel]

ain't clickin that one buddy

<@&268886789983436800> strange links

[cunning grail]

Snitch

[leaden torrent]

theyre just videos of football games but idk why youre posting them here

pls dont

[neat lintel]

he clicked them

oh no

it's so over

[cunning grail]

Nah I would've deleted them

I'm just downloading the vids

[leaden torrent]

??

[cunning grail]

It's a link of a soccer game

And I am downloading it

On my computer

[leaden torrent]

and why does this involve posting them to #serious-discussion

[alpine kindle]

just make a personal server

[cunning grail]

I'm too lazy

[leaden torrent]

if you really need to use discord as a clipboard, dm yourself or something

[cunning grail]

This was easiest option rn

Lol

[neat lintel]

then why did you tell everyone to click

[cunning grail]

Cuz it's funny

[neat lintel]

[cunning grail]

U wanna click?

[neat lintel]

man

[cunning grail]

I was in this match

[neat lintel]

namington's got a hard job

[cunning grail]

U can watch me

I'm number 9 on the red team

[leaden torrent]

i thought my "idk why youre posting them ehre, pls dont" was clear

this server is not the place for you to advertise your football skills

[balmy ravine]

namington blud

how u got 432k messages

[neat lintel]

namington doesn't go outside that's why

[jovial ember]

Hmm

Nami only has like 60k messages in channels you can’t see

I have like 120k, meanwhile

I guess I can’t see mod channels

MYbe he has 100k messages in mod channels

[neat lintel]

24k messages of mine are in the funny channel and i have 137k total

[balmy ravine]

i had no clue 432k was possible

[neat lintel]

send 4320 messages a day for 100 days

[jovial ember]

t! Top

[fair mural]

i don’t see why it wouldn’t be

[jovial ember]

t! top

Hmmm

What was the command

[neat lintel]

t! help

[fair mural]

t!top

oh no

[neat lintel]

t!terra

[jovial ember]

We broke tatsu

t! Top10

[fair mural]

does it only work in #bots?

[mental stratus]

Ann, nami ryc it is

[balmy ravine]

😭

[languid marten]

do the messages in help channels count ?

[mental stratus]

yes they do

[languid marten]

hmm sadly I'm not good enough to help anyone rather I need help all the time

[neat lintel]

hi

[leaden torrent]

seems to be more on the order of ~7k

[shut furnace]

hi

can someone help me

please

algebra 2

final tomorrow

[neat lintel]

#❓how-to-get-help

[jovial ember]

Chmonkey

[neat lintel]

https://www.youtube.com/watch?v=kkfIXUjkYqE wow

[thorn lance]

[quiet geode]

https://youtu.be/ZSSNFkEMv24

[regal scaffold]

watched this the other day actually

[neat lintel]

hello anyone know if with the point A(3;4) B(1;-1) is the Cartesian equation : -8x + 2y - 34 =0 ?

[tawny iris]

me trying not to use proof by contradiction

[mental stratus]

,w hurted

[cyan goblet]

hurted ☹️

[fathom swallow]

Results provided by WolframAlpha

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

Requested by pikachupikachu#6598

[cyan goblet]

oh i know that guy we go way back

[mental stratus]

see #math-discussion

[cyan goblet]

i was the nurse when he was born

[mental stratus]

chmonket?

[cyan goblet]

oh nah don hurter

(idk who don hurter is)

[mental stratus]

i know don hurter we go way back
oh i dont know don hurter

[cyan goblet]

yeah

yk what im saying?

u picking up what im putting down?

[mental stratus]

NOOO??

absolutely Not?

[cyan goblet]

ok i’ll let u think about it for a while

let it sink in

[mental stratus]

You literally jsut constradisted youself

[cyan goblet]

no i didnt

[mental stratus]

YOU LITERALLY DID

[cyan goblet]

no ur wrong

have u considered that youre making up scenarios in ur head?

maybe u should see a professional

[mental stratus]

wiat really?

[cyan goblet]

yea

i am the arbiter of truth

the obelisk of objectivity

the vindicator of veracity

the bane of blasphemy

[mental stratus]

,w veracity

[fathom swallow]

Results provided by WolframAlpha

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

Requested by pikachupikachu#6598

[cyan goblet]

the enforcer of exactitude

[mental stratus]

,w obelisk

[fathom swallow]

Results provided by WolframAlpha

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

Requested by pikachupikachu#6598

[cyan goblet]

the whole of the story

the fact of the matter

[mental stratus]

youre a stone pillar?

Damn i thought you were just anamono

[cyan goblet]

yeah obelisks were kinda big in ancient egypt

something important idr why

[cyan goblet]

the integrator of infalliability

the vanguard of verisimilitude

[jovial ember]

Hi

[cyan goblet]

the receiver of righteousness

[cyan goblet]

the functor of faithfulness

the dean of dependability

the lighthouse of legitimacy

[jovial ember]

The anamono of anamono

[cyan goblet]

the irrigation of impartiality

[languid marten]

Are you differentiable though ?

[cyan goblet]

the enforcer of equity

the normalizer of nonpartisanship

the nightmare of nepotism

oh shit i used enforcer twice

it’s joever

[fair mural]

skill issue

[mental stratus]

chmonkey just to let you know hurted isn't a real word

[cyan goblet]

wrong

again

[jovial ember]

That shit hurted

[bright hill]

if know you know
-ange, circa mathcord 2023

[fair mural]

[mental stratus]

think it's a class they took

[woven whale]

No

[fair mural]

[woven whale]

Yes

[fair mural]

i can’t imagine many people care as long as you don’t force anyone into anything and you’re not hurting anyone

[velvet dagger]

So those two sentiments are different I should say. The former can be thought of as a question about utility

[fervent pebble]

i dont think we ever needed religion

[velvet dagger]

Does organized religion, independent of its truth or falsehood, play some role in our society that's beneficial or necessary or whatever it may be

[fair mural]

am i remembering wrong or did we get stuck in the dark ages exactly because of religion

[velvet dagger]

Or you can ask on the level of a person, do individuals need religion? This is probably closer to no, unless you think that the lives that current non-religious people live isn't worth living

[cursive token]

we need a religion format liberated from the shackles of human values

an eldritch god

god emancipated

[quiet geode]

we need #rules

And replace politicians w Discord moderators

fuck them

[cursive token]

value system rules are petty small minded self help guides designed to screw over some while being used as control mechanisms by others

my god hovers around in the outer space, lurks in the shadows

they dont care about this shit

historically religion has been a feeble attempt at a cosmic imagination that failed in execution

admit it

[quiet geode]

Burial vibes

[cursive token]

its one of many proofs of the misery of human condition

[quiet geode]

Religion was a stop gap

[cursive token]

who cares

human suffering is a human experience, why should we make a god that delivers us from suffering

or one who cares at all

too boring

[velvet dagger]

Why do you think of the notion of God as something we should or shouldn't make?

[cursive token]

because all of it is an is an attempt at imagining

[quiet geode]

the concept and theories around it is really creative though

[velvet dagger]

Like if you don't believe that an actual God exists and is doing this stuff

[quiet geode]

makes up for great movies

[cursive token]

well what does that mean? “an actual god exists” is a statement which is primarily attempting at imagining something

before you even start believing it

gotta imagine what it means before you believe it

belief is secondary here, one must create the myth or the mental image

because it was mostly a tool to gain power

[quiet geode]

Kratos best god imo

[cursive token]

very narrow and effective thing

[velvet dagger]

Is it? I guess my thing is, I could see that being a case where if you're trying to sorta "reason your way to the existence of a God or lack thereof"

Then yeah you first ask yourself, hmm well I'm trying to ask if God exists, first question what kind of entity am I postulating exactly?

But even the types of entities that you aren't connecting to the idea of God are still types of entities you can ask about the existence of

So if my God is benevolent while that of another person is simply a sentient entity who created the universe

[cursive token]

i think i get what you mean but let me correct the records, im not going into the speculation with a skeptical attitude, my central question is not whether or not god exists but “how can i trick myself into believing it?”. currently im havin a hard time understanding how to believe something i do not have a mental map for. my premise is “i believe there is or are things which are beyond my mental capacity, things i will not understand”

how do i proceed from here

need a consolidation of this floating feeling that there are transcendent things

[velvet dagger]

My question becomes, if you have to trick yourself, should you?

Or can you keep it vague?

[quiet geode]

me, my universe

[cursive token]

this is fair

but agreeing to this settles the discussion and thats a bit of a letdown 🙂

[velvet dagger]

Fair enough lol

But yeah I guess as someone who is religious I tend to think about religion much more in terms of truth and falsehood

Like once the religion is given I guess

The imaginative element is less in the picture

[cursive token]

yeah its easier when you already have a foundational picture, be it culturally imbued or otherwise

[quiet geode]

theres more chances for the theory of reincarnation to be true than that of the supreme being

[velvet dagger]

So eg if Christianity is actually correct in some incarnation, then the truths of it were not imagined by man in the first place

Rather these are just statements of fact that a subset of us know

[quiet geode]

embrace Monke, use sign language

[velvet dagger]

And thus I guess when comparing religions in particular

Or to be more pointed when you imagine a debate between two

[cursive token]

reading literature helps

[neat lintel]

talk to people in english

[cursive token]

basically how i learnt my english

[neat lintel]

read eragon

[cursive token]

read the classics, by people who wrote good english

[neat lintel]

you're on discord

[quiet geode]

Eragon

[cursive token]

i remember i first really “got” english as a language when i read Edgar Allan Poe lol

before it was whatever

[quiet geode]

isnt Eragon a PC game?

[cursive token]

i just knew how grammar works, couldnt really write anything

[neat lintel]

you're speaking to me right now

[neat lintel]

Eragon is a 3 part book series, movie, video game and tv show

[quiet geode]

nice

i liked the game

[cursive token]

its not just that. vocab in vacuum is hard to ingest for me

i cant pin it down because im obviously not an expert, but just the general flow of well written prose helps a lot

you get how thoughts are to be expressed

i dont think i understood half the words when i read Poe

[glossy sedge]

That is a very interesting discussion that I’d like to join. However, I already know I am biased and the only way to discuss is as in a philosophical view that would weigh heavily on my points of view that I don’t think you will find objective, hence it isn’t philosophy. Although you are a very interesting group to discuss this. Can you please comment on the Gödel's ontological proof?

[cursive token]

but still it made some internal sense

[glossy sedge]

I am sorry it took me a bit of time to write this 😝

[quiet geode]

its really insane for me how words map to same chemical reactions among individuals

establishing a common language wouldve been soo hard

[cursive token]

chomskys deep structure lol

extremely disputed theory but

[quiet geode]

incompleteness theorem guy

[glossy sedge]

He is a very prestigious mathematician / logician of the 20th century

[quiet geode]

https://youtu.be/HeQX2HjkcNo

[glossy sedge]

Great video btw! Very insightful and well explained

[quiet geode]

is a decent video on his history and how things panned out for him, the explanations like everytime for videos of this nature are very hand wavy though

[glossy sedge]

Hand wavy?

[quiet geode]

yeah

[glossy sedge]

Meaning?

[quiet geode]

not satisfactory in a way

"take him at his word"

[glossy sedge]

Well it is for entertainment and story telling events of maths. To satisfy yourself you must go beyond I guess

[quiet geode]

i feel like its better to not speak about something if you have limited knowledge

coz what mostly you end up doing is creating misconsceptions

Learning in itself is a humongous task

unlearning is an entirely different beast

as its often difficult to anticipate its extents

[glossy sedge]

What is the point of discussing about anything, in the first place? I believe that I learned lots of things through deep conversations, questions and reasoning. I already know I am wrong and I am aware that some of the things I’ve learned are entirely wrong but I am open to change them to a closer version to truth.

[modest rune]

Oh god that veritasium video

So bad

The title is incredibly cringe

There’s a difference between chatting about things you don’t know much about and posting “educational” videos about it

[bright hill]

the p-adic video had a cringer title

[obsidian ore]

Has math helped you in any other way ? Have you been able to understand things that you probably wouldn't be able to understand without knowing math ? You know, like having an extra sense "Math vision" or some shit like that idk.

[river moon]

yes now I can navigate through 7 dimensional space

[neat lintel]

Anyone have math sources to help me learn everything from the basics upto A- level maths

I will pray for the person to get a big tiddy goth gf if they help me out

[obsidian ore]

I'm no math genius or anything but one example from my experience is a simple one : Programming Balls to bounce in a box, whenever they hit the sides of the box you'll just like multiply the x or y velocities by -1 to get them to move in the opposite direction ( bounce ). It's a simple example, but without knowing about negative numbers - no balls bouncing. Idk math is weird. Most mathematicians are physicists or scientists or engineers who make important discoveries and stuff. It's sorta like an extra sense or some shit.

[obsidian ore]

Yes you can find a free playlist by a dude named Professor Dave on YT - He teaches all of math in 165 videos ( well at least most of the important stuff ) now give me my big tiddy goth gf

[neat lintel]

What about practice problems

[obsidian ore]

https://youtu.be/JbhBdOfMEPs

He only gives some practice problems at the end

[neat lintel]

I send u a pic

Also may allah/Jesus get u a big tiddy goth gf

[obsidian ore]

I don't believe in God

but thank you

[river moon]

there's a much higher chance of a mathematician not knowing any physics than a physicist not knowing any math though

[obsidian ore]

yeah but they could probably learn it and it would probably be easy af for them. Take away the math and physics is basically natural philosophy

[bright hill]

may allah never give the sullyers a big tiddy goth gf ever

✊ 😔

[vapid elk]

guys i have a questino

Is it possible to self-study math or get a degree?

[river moon]

yes

[obsidian ore]

The internet is flippin awesome, just dive in and you can learn a shit ton of shit

Anyone wanna do an experiment with me ? Like do math for the whole day for a few years or the rest of your life and see what happens ? Like Erdos. Maybe you become an immortal god lol. I'm taking a gap year after school and have yet to pick a major but it's between math or EE. I've been decent at math but no genius, just pure rote and repetition. Life is weird af, I just wanna do an experiment. I might document the process or some shit like YT.

[vapid elk]

I'm thinking of doing that

But i'm doing it for computer science for 5 years before i go on to math

It had me thinking if i would learn more if i did a degree in math or learn on the internet

[obsidian ore]

I mean the internet is awesome but people just think you're a loser if you don't have a fancy degree or don't perform well in school, at least from my observations. I've had the idea for quite some time. I talk to my dad about it, he's an ME. He thinks it's a cool idea, just doing math the whole day. The internet is also pretty cool, like the new printing press, the second renaissance or some shit.

[vapid elk]

Yeah i'm doing a degree online in computer science right now but

[obsidian ore]

People just don't see how cool the internet is

[vapid elk]

Not seen anything special yet

[obsidian ore]

At least the people who run the education system in my country

[vapid elk]

I guess one could just see the syllabus for a typical degree in a specific subject and then research about the topic on the internet and acquire the same knowledge

I kind of want to study math, and the sciences

But then idk if getting a degree in each of them is the right way of thinking

[sudden mortar]

Guys...my math is weak rn so i wanna start w thr basics

Can u tell me about some basic topics i should start with (like root basics of math which are used commonly in further topics)?

[mental stratus]

what grade you in rush?

[sudden mortar]

11th...have opted maths

[obsidian ore]

Yeah, but the main problem is finding good material. There is a lot of good free stuff but If you want really good shit, you'll have to pay for a course or obtain the resources through other means ( u know ). Getting a degree may be the safer route tho career wise. People will generally hire people with degrees, and that isn't going away any time soon ( maybe for comp sci or programming jobs it is )

[mental stratus]

what kinds of topics do you want to learn about? trigonometry? calculus? coordinate geometry? vectors? discrete math (combinatorics etc)?

[obsidian ore]

This is my fav playlist ( Gives a really good intro ) : https://youtube.com/playlist?list=PLybg94GvOJ9FoGQeUMFZ4SWZsr30jlUYK

[vapid elk]

@obsidian ore Idk about that, i think once i finished my computer science degree, i could really say. So far, it's just been doing random assignments

[sudden mortar]

I think half of this i learnt in 10th and half in 11th, though I'm still weak in them i can practice them 😅
I just get stuck on very basics like in rules and stuff so yeah i want to learn ultimate basics first i hope this doesn't take much time...i just want to grasp the extremely basics very properly

[sudden mortar]

Thanks! I'll check it out
There are 165 videos though 💀

[obsidian ore]

They're 10 mins on average

with a few practice exercises at the end of each video

[sudden mortar]

Were they good?

[mental stratus]

think khan academy has courses with problems you can practice on these, if you're interestd in calculus maybe pick up Stewart's calculus textbook, for discrete mathematics maybe a book like rosen (if you want to eventually get into computer science) or scheinermann's discrete text (if you wanna continue on with just maths)

[sudden mortar]

Yoo you're mentioning high level things 😭

I want introductory information

[mental stratus]

then you nedd to be more clear

[obsidian ore]

Yeah, decent. He gives the topics a good intro and explains them well. DOn't expect to be a math god by the end lol, you'll need loads of practice but the series is a good foundation

[mental stratus]

what exactly are you looking for?

advice on how to get better at math? resource recommendations?

[sudden mortar]

I did tell u i want to learn the root basics of math, like all rules

[mental stratus]

so like adding numbers? factoring quadratics?

[sudden mortar]

You see the basics i was taught in grade 4, 5, 6, 7, 8, they're all scattered in different books so i don't have a source

[sudden mortar]

Yeah that's what I asked

[mental stratus]

that just about entirely falls under the precalc umbrella i would think, if you're looking for a book recommendation, stewart has a precalc textbook

[obsidian ore]

https://youtu.be/OmJ-4B-mS-Y Watch this

Sub to THe Math Sorcerer on YT as well, he has road map videos for studying math

[mental stratus]

plus Khan academy has courses for all of that level math

[sudden mortar]

I think the only source I'll use is YouTube

[sudden mortar]

Oh i see

[mental stratus]

yea no youtube ain't making you any better at maths

pick a book and do problems or maybe follow a course that has assignments and stuff

[sudden mortar]

Talking bout basics 💀

[sudden mortar]

Alright

[obsidian ore]

https://youtu.be/H6XejQOsfBY

This is a guide to learning math, the dude has shit loads of books and he's awesome

[sudden mortar]

Can't watch too many videos too cuz i have to cover my lectures too of my current grade

Or I'll be left behind

[mental stratus]

so you don't wanna watch videos and also don't wanna do a book, but wanna get better at maths, if you only wanna watch few videos you're probably not planning to do any exercises

[obsidian ore]

Just solve problems. You learn math by doing math, that works for me

[mental stratus]

like should i learn all the maths for you?

[vapid elk]

I'm going for the path of self-studying i think

I don't think you get good by having a degree to be honest

Although i guess having classes would be a good supplement ahhh

[obsidian ore]

And also doing a math degree will just give me a good excuse to just do math all day lol

[vapid elk]

Truee

There is udemy courses which can be not too badly priced, i think Krista King is popular for Math

And the Math sorcerer

[obsidian ore]

Yeah, The Math Sorcerer is awesome !

[vapid elk]

Yea

[obsidian reef]

anyone know how long r/math is planning to stay closed

[neat lintel]

@kindred jolt why didn't you just ask your question in a help channel?

[neat lintel]

hopefully forever

[solar hawk]

its just a variable

it can mean anything

[haughty apex]

oh ok thanks

[solar hawk]

just like x

but like some variables have meaning in different fields of math ig

lambda in linear algebra is almost always a scalar (non-vector number)

[quiet geode]

thats a good attitude but sometimes its better to avoid

Especially if its a one way conversation

It is important to not kill the math while trying to comercialise(?) it

otherwise whats even the point

meh my brain is not working enough at the moment to be able to draw a differently (not your regular 'avoid it because its bad' but in a million words) satisfactory remark that buries this argument leaving no loopholes

[quiet geode]

Lets say if someone did the hard yards and manage to make a breakthrough in some field. They tell their colleagues about it ((lets take it to the extent where theyre almost at the same level of understanding of things) who were working independently on the same project) but the colleagues themselves didnt spend the same amount of time doing the thing the main man did so theres clearly gonna be a gap in knowledge. The colleagues tell the world about the breakthrough and after some point they are bound to become sort of like an echo chamber to logics thrown at them. You cannot account for that gap without doing it youself (sort of?), you cannot account for that inexperience. All other methods are shortcuts.

AGHHHH im still not satisfied with this

see this is also a great example

i have tried to put my experiences together but there are soo many logical gaps in it

but the colleagues themselves didnt spend the same amount of time doing the thing the main man did so theres clearly gonna be a gap in knowledge

Theres better (more correct?) way to put this but for some reason i have decided to make time as a threshold which is obviously not the most general answer

[fallow scaffold]

Which app or web is this?

[fallow scaffold]

Serious question. Why so much hate with reddit math?

[obsidian ore]

because reddit

[south kelp]

not answering ur question just wanna comment that /r/math is fighting a losing battle 🙃

99.999% of people who use reddit won't quit it cus r/math is down

[neat lintel]

Anyone in need of help in mathematics physics and chemistry homework can inbox me

[craggy gust]

Kind of frustrating that some subreddits I use are private because there is lots of information I used to look up when I needed something (such as when I'm experiencing a bug with kde, I would check r/kde). Reddit really is the first result very often. Back to using shitty forums I guess or random articles horribly written and designed that keep pleading for me to turn off ad block

I don't have a reddit account so I couldn't really have subscribed to all these information sources to keep accessing them. Thankfully google cache crawled like very common questions about something so I can still read

[static loom]

it's morally good to have reminders that things we take for granted are really temporary

[craggy gust]

It's a call for me to start downloading every webpage I visit

[static loom]

lol

cute

[bright hill]

that's a terrible arguement

[south kelp]

I mean the whole point is to make revenue loss cus that's the only thing reddit the company cares about

[bright hill]

no?

the whole point is to let reddit know that the community is against that decision

[south kelp]

well spez said as much in his internal letter

[bright hill]

and just how much power the community holds

[static loom]

this is also a great argument for why no one should vote

[south kelp]

yeah and reddit the company doesn't care about the community lol

[bright hill]

maybe

but it has to

coz if the community leaves reddit just dies lol

[south kelp]

but that's why I'm saying most people wont

[bright hill]

the platform is based on user generated content

[bright hill]

won't they?

I mean

[static loom]

nah, network effect and addiction is too strong, doesn't matter tbh

[bright hill]

tumblr died just coz the banned porn

[static loom]

onlyfans almost banned porn remember that

[bright hill]

what if 50% of the top subs died

[craggy gust]

How can you ban porn on your porn service

[bright hill]

yea that was fucking hilarious

that was actually nuts

imagine if pornhub banned porn

[static loom]

dare I ask, how many porn subreddits participated in the shutdown

[bright hill]

quite a few

I don't know exactly

r/tits was one em

[static loom]

I feel like that would be a real deal breaker at least

[bright hill]

I mean, if the admin don't succumb after that one

[static loom]

ok let's not get into specifics here

[bright hill]

I dunno what would

[mental stratus]

what even is this conversation

[south kelp]

just went to check /r/tits to gather data

[bright hill]

It's the only one I knew of for sure

so i just mentioned it lol

[static loom]

we were discussing the effectiveness of the subreddits shutting down and what would be effective towards making reddit die

lets keep it on that topic yeah

[craggy gust]

kill threats

[static loom]

I think according to r/dataisbeautiful the percentage of reddit that's nsfw is 22%

[bright hill]

lemme bring up an infographic

[bright hill]

I was going to that exact place lel

[static loom]

so it's not really the largest part, what else is a popular section

probably tech stuff

and videogames

[south kelp]

All the meme subs

[static loom]

yeah true

[craggy gust]

Are they using total subscriber count or like posts in popular

[bright hill]

holy shit

all the top nsfw subs are all down

[south kelp]

[bright hill]

https://reddark.untone.uk/

half the subs are down in total

[craggy gust]

Reddit has less than 9000 subreddits?

[south kelp]

as I was browsing that link forbiddensnacks went private

at least r/tits is back up and running for now

[neat frost]

...

How can one be both a top and a sub

[mental stratus]

ever heard of a switch

[long matrix]

[mental stratus]

[midnight kayak]

E

[jovial ember]

E

[neat frost]

LMFAOOOO

[mental stratus]

explain it to me

the person posting this only wrote 'interrupts' in the caption

[torn willow]

Skill issue

[neat frost]

A keyboard stroke sends a hardware interrupt

[torn willow]

I/O is expensive af

[neat frost]

So your CPU be doing its instructions

Then BANG INTERRUPT, keyboard sends E

[torn willow]

Ok million is overkill

But it does interrupt the process flow for a significant amount of time

[neat frost]

Oh I didn't know it was that long lol

[river moon]

all of that because somebody thinks his E is more important than running system services and managing memory

[neat frost]

Press F to delay process

[torn willow]

(And that's why it's called an interrupt, I am not doing a pun here)

[torn willow]

Well ig it's like the window for the user to enter E

[mental stratus]

i had a hunch it was something like this

didn't attend the os class in college

[midnight kayak]

I remember 1 year ago, my friend send one "E" to me everyday

[torn willow]

Well it's definitely not a million

More like 200-300, I suppose

[neat frost]

[river moon]

why must signal processing be so complicated

[torn willow]

I thought I needed signal processing for emulating Audio for Gameboy

Apparently it's 100% analog, lmao => No DSP

[velvet dagger]

Ugh putting dstuff at the beginning

[bronze pelican]

Its mostly fourier analysis, no?

Never seen that T_wl notation

[neat frost]

Widetilde is ugly goddamn

Towel

[river moon]

T_wl here stands for wavelet transform

[mental stratus]

iswear the tilde is disgusting

[bronze pelican]

Ah

[neat frost]

I have package with better widetilde

Def 100% better...

Oh also, good morning Dami!!!

[velvet dagger]

You're not even studying design and I'm still gonna fail you out from design for posting that

Good morning slurp!

[midnight kayak]

🫃

Wth is pregnant man

[coral plume]

💀

[neat lintel]

A based trans-inclusive emoji

[alpine kindle]

a man who is pregnant

what's the problem

[midnight kayak]

No problem

[neat lintel]

It's too based for them

[midnight kayak]

It's totally normal

[alpine kindle]

you know trans people exist right...

[midnight kayak]

And I know it's pride month

[alpine kindle]

that's irrelevant

[midnight kayak]

Idk

If you look like a man but you actually

[mint canopy]

I think you should be careful what you say next, Mocha.

[midnight kayak]

I respect everyone

[alpine kindle]

i mean there can be pregnant women who dress stereotypically like men

[mint canopy]

Glad to hear it

[alpine kindle]

that is not an actual man who is pregnant

[midnight kayak]

I'm nervous

[alpine kindle]

a "pregnant man" is referring to someone with female reproductive organs but of the male gender

[alpine kindle]

why

[midnight kayak]

Cuz it's too dangerous to talk about this kind of things in this server

[alpine kindle]

wdym dangerous

[midnight kayak]

Like

If you say something wrong ppl fk up you

[proven knoll]

True

[alpine kindle]

why would you say something wrong

like if you are uninformed and willing to become informed then there is no issue

[rugged blade]

[midnight kayak]

Ok

[rugged blade]

this is the worst thing i've ever seen

[alpine kindle]

why are you sullying me

[rugged blade]

I'm ignoring whatever conversation you are having

[alpine kindle]

oh

[rugged blade]

the dude with the signals and systems equation

that's who i'm responding to

[latent edge]

I hate whoever puts dx's in the beginning

[rugged blade]

it's useful in multivar calc when the equation is 12324914 1289041 terms long

[latent edge]

Use substitution it's not a problem really but you have to account for it when you want to turn back

[rugged blade]

also what the hell is $T_{wl}$

[fathom swallow]

zouni.

[latent edge]

I'm guessing tensor but I might be wrong

[rugged blade]

yeah I was thinking that but who writes T to be tensor lmao

[latent edge]

ikr

[river moon]

wavelet transform

[latent edge]

Wavelet? Why use T when you can use W 😭

[lunar oak]

How to use LaTex?

[rugged blade]

use dollar signs

so .$ .$

[lunar oak]

$like this$

[fathom swallow]

N1x1T4

[rugged blade]

without the fullstops and put the latex inside of the dollar signs

[lunar oak]

okey dokey

[rugged blade]

actually yeah that was alot smarter

[lunar oak]

https://tenor.com/view/spasibo-thank-you-cheburashka-gif-11429424

[latent edge]

For text use \text{}

[rugged blade]

never seen it written like that. Also you're going to give me ptsd using the word wavelet like that

[river moon]

different parts of the world use different notation some even use F

[latent edge]

F is also acceptable

But T

[river moon]

at least T stands for transform

[latent edge]

Well you have a point ig

[formal marsh]

yo does anyone know some app or website I can use to train mental arithmetic for free?

like starting from simple addition/subtraction

i used my calculator for everything now i’m really bad even at simple stuff

[woven whale]

wolframalpha problem generator

[formal marsh]

ok that website is totally borked on mobile

wolframalpha really has everything

yeah it doesn’t work on safari at all for me

[torn willow]

A quant mock interview

https://rfqjobs.com/practice/math/optiver-test/

[haughty apex]

Discord; it’s a theme I have

[woven whale]

huh?

[haughty apex]

Huh

[neat lintel]

how do i deal with fact that i am average at math (college math) and i might not get success if i become a mathematician

is it worth continuing with a phd?

(anyone here who was average and still did a phd?)

[vivid halo]

I mean it depends on what your reason for doing a PhD is?

Do you enjoy what you're doing?

[neat lintel]

i like maths (a lot)

but what if i am just not good at it

[little vine]

If you enjoy it enough to work hard for it you can do

[river moon]

being average is a self-fulfilling prophecy

[neat lintel]

how?

[little vine]

Hard work beats talent any day

[river moon]

you think you're average all day instead of putting in effort learning math

[neat lintel]

it's disheartening to me when i see all the imo medalists and early starters, they just straight up seem smarter than me

[little vine]

Don't compare to them

[vivid halo]

one of the recent fields medalists was a high school dropout

[little vine]

Correct me if I'm wrong, but I don't think they're more likely to go on to do extraordinary things

[vivid halo]

for the IMO medalists especially there's kinda no point in comparing yourself to them

[little vine]

That's rad

[river moon]

and then these medalists, when they apply to university, feel like they don't know anything and have difficulty studying because they feel like they don't know/understand anything

[neat lintel]

june huh

[river moon]

because olympiads are kind of different from uni math and research math

[vivid halo]

like early starts can be an advantage but lots of really successful mathematicians don't start so early and don't have such a competition background

[neat lintel]

this has not been my experience

the imo medalists that i have interacted with

have outperformed me in everything

[little vine]

Just quit shooting yourself in the foot

You don't have to be the best to make an impact

[river moon]

no the point is that because you feel like they're smarter than you, doesn't imply that they feel like they're smart

[little vine]

What works for me is I just love math. I don't even think too much about my talent for it. It's just doing an activity I like

[neat lintel]

what scares me is that maybe maths was just meant to be a hobby of mine

[mighty pelican]

Math is very collaborative. It doesn't really matter how much better people are then you because you're all in it together

[neat lintel]

and professionally i am not meant to do this

[little vine]

I have my master's fwiw

[woven whale]

life isn't a sprint, it's a marathon. even if you didn't start learning graduate math in kindergarten you still have a chance

[vivid halo]

some people just think a lot faster on their feet, and this is something that is heavily selected for in IMO medalists, but this also isn't the only way to successfully think about mathematics

[mighty pelican]

Until you apply for a position I guess lol, but that's not so much in your control

[little vine]

And I don't think I'm super talented. But I feel good that I rose to the occasion and succeeded to get my degree

[vivid halo]

like I know some mathematicians who are scary fast but who are just not very deeply read

[neat lintel]

i see

[vivid halo]

conversely I know some pretty slow mathematicians who have read like, everything

[neat lintel]

but also

[neat lintel]

i am surrounded by people are who are so much smarter than me

and also study all day long

[woven whale]

you seem like both at the same time

[little vine]

I've felt this way but still achieved my goals

[little vine]

.

[vivid halo]

ehh I'm pretty slow

I read a ton

[woven whale]

yeah, I was saying you were slow and not well read

[vivid halo]

oh

[woven whale]

/s

[vivid halo]

lmfao

hahahaha

[chilly hull]

illum i am taking my algebra pills

[woven whale]

good bread

[neat lintel]

thanks for the encouragement (sorry for a mildly depressing convo)

[woven whale]

[vivid halo]

yeah I mean the main thing is interest goes a long way

[neat lintel]

hmm

[vivid halo]

it's normal to be discouraged especially by people around you who look more impressive in certain ways

but as long as you're still interested in what you're doing and it's not making you miserable, keep going if you want

[neat lintel]

yeah i believe this

thanks

[mighty pelican]

Soo, with r/math gone, does anyone know any other places for general math discussion?

Besides here I suppose

[cursive token]

the shadow people

theyre always there for me

[woven whale]

other discord servers

[mighty pelican]

Hi shadow people 👋

[neat lintel]

i used to frequent physicsforums.com at some point

nice people there

but that was back in high school idk how it is now

[neat lintel]

this https://www.physicsforums.com/

[mighty pelican]

Thanks

Never was much into physics though

Too many numbers

[neat lintel]

lol

[fair mural]

it’s for stem

it looks like at least

[neat lintel]

there is a general math there and also monthly math challenge (which were fun)

[woven whale]

real

[mighty pelican]

Hmm the challenges seem fun

[eager reef]

do lin alg

[chilly hull]

algebra study group does

linalg

in 3 weeks

[eager reef]

That's not enough time

[mighty pelican]

What would be the appropriate section for geometric group theory

[cyan goblet]

#groups-rings-fields or #algebraic-geometry

[alpine kindle]

@mighty pelican see above

[mighty pelican]

Thanks

Seems like awkward channels for talking about eg. quasi-isometry though

Theoretically, I have no actualy questions atm

[alpine kindle]

i mean you could maybe try #diff-geo-diff-top

[twilit pendant]

I need help, I understand how to solve for x in porportions using cross multiplication. However, I dont understand how it works and why it is correct

[little vine]

So if I solve a/b=x/y, "cross multiplying" is just multiplying both sides by b and y@twilit pendant

[storm sage]

It's not, but I'm at least putting lots of interesting lin alg on the problem sets ^_^

[mighty pelican]

🤔

[neat lintel]

AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA

[neat lintel]

Guys

quick qeustion

which millenium problem do you think would be the hardest to solve?

[static loom]

idk what are my choices

[neat lintel]

the millenium puzzle

https://tenor.com/view/yugioh-gif-18792578

[lavish scaffold]

How many have been solved btw?

[fervent pebble]

1

[neat frost]

I solved them all actually

Just an fyi

[solar hawk]

lol

[neat lintel]

1

And the person who solved it was an absolute legend

he rejected the fields medal

which is like the nobel prize of physics

and also 1 million dollars

[solar hawk]

@lavish scaffold https://www.claymath.org/millennium-problems/

[solar hawk]

lmfao bro sounds like an absolute fcking badass from ur description

[neat lintel]

he does

and he is

[lavish scaffold]

He probably values maths more than prestige or money

[solar hawk]

looks like a topology problem from the description

[midnight iron]

quick question what's the difference between a transcendental number and an irrational number?

[river moon]

you can just look it up

[midnight iron]

yeah, already did

[static loom]

what does it say a transcendental number is

[cursive token]

a number which isnt immanent

oh wait i looked up in Critique of Pure Reason

let me try google instead

[fading zealot]

A transcendental number is an irrational number that is not a solution to a finite equation

[cursive token]

well id say polynomial equation instead of a finite equation

[fading zealot]

That would be more accurate, yes

[static loom]

yeah someone might say sin(x)=0 is a finite equation haha

but that's still not accurate enough

x-pi is a polynomial

[cursive token]

integer coeff

[static loom]

constructible numbers are more constrained, those are quadratic extensions of Q basically

repeated quadratic extensions I guess is more accurate

[cursive token]

true

origami allows repeated cubics and quadratics

[sonic prairie]

Guys I have a math emergency

[neat lintel]

What does that mean? Math emergency?

[neat lintel]

somebody that needs help really quickly

[neat lintel]

Can you explain what is your math emergency? Why is it an emergency?

[static loom]

lol if it were an emergency they wouldn't have just ran away

[fair mural]

‘math emergency’

[neat lintel]

A math emergency can refer to a situation where someone needs immediate assistance with a mathematical problem or concept. This could be in a classroom setting, where a student is struggling with a math problem and needs help right away to understand the concept. It could also refer to a situation where a person needs to use math to solve a real-life problem, such as calculating the correct dose of medication for a patient, and needs immediate assistance to ensure the calculations are correct. In general, a math emergency is any situation where a person needs immediate help with a math-related issue to prevent negative consequences or ensure accuracy.

[neat lintel]

lol thats a good one, also true

[static loom]

is this a gpt response lmao

like why would you do that

[woven whale]

Introduction:
ChatGPT, an advanced language model, has made significant strides in generating human-like text. However, despite its capabilities, there are instances where ChatGPT might not generate a specific message. In this essay, we will explore the reasons why the provided message on the topic of "math emergencies" would not be generated by ChatGPT.

Limited Contextual Understanding:
While ChatGPT possesses an impressive ability to generate coherent responses, its knowledge is limited to the information available up until September 2021. As a result, it lacks access to real-time updates or recent developments. The message in question refers to the concept of a "math emergency," a term not commonly used in academic or professional contexts. Since the model's knowledge is outdated, it is unlikely to generate a response that uses this specific terminology.

Lack of Training Data:
ChatGPT's training process involves exposing the model to vast amounts of text from various sources available on the internet. However, not all pieces of information are equally represented in the training data. While mathematics is undoubtedly a subject covered during training, the notion of a "math emergency" as a distinct phrase or concept might not have been prevalent enough to be adequately learned and understood by the model.

Contextual Interpretation Challenges:
Generating a message that precisely captures the meaning and nuance of the term "math emergency" necessitates a thorough understanding of the broader context. Despite its vast training dataset, ChatGPT may struggle to grasp the specific intricacies of a term or concept without clear contextual cues. Without further clarification, the model might not possess the necessary information to produce a response that accurately describes the term "math emergency" in the intended manner.

Linguistic Ambiguity and Complexity:
The message in question involves the interpretation and explanation of a mathematical concept in different contexts. Math-related queries can often be nuanced, requiring precise language and comprehensive knowledge to address adequately. While ChatGPT can provide general explanations about mathematical concepts, understanding the context-dependent urgency and immediacy associated with a "math emergency" can be challenging. The lack of contextual cues or specific instructions makes it difficult for ChatGPT to generate an appropriate response for such a specialized topic.

Conclusion:
While ChatGPT is a highly advanced language model capable of generating coherent and contextually appropriate responses, it has certain limitations. In the case of the provided message about "math emergencies," the use of a term not commonly found in academic or professional literature, outdated training data, lack of contextual cues, and linguistic complexity contribute to the model's inability to generate the specific message. As language models continue to evolve, addressing these limitations will likely improve their performance in generating responses to specialized topics like math emergencies.

[jagged sluice]

heres another one

[static loom]

very cool

[neat lintel]

because its funny using gpt for stupid things

[jagged sluice]

ik cause when i used it and asked its limitations it gave me that exact message

[neat lintel]

lol

[neat lintel]

https://tenor.com/view/el-risitas-juan-joya-borja-ratones-coloraos-laugh-meme-laughing-man-gif-24899295

gotta be kiding be those fis

[woven whale]

https://tenor.com/view/embed-no-no-embed-megamind-megamind-meme-gif-25261934

[neat lintel]

gifs

[halcyon lichen]

NO.

[neat lintel]

hiiiii

by the way

[halcyon lichen]

Hllo

[neat lintel]

good evening

even

[fading zealot]

odd

[oak rock]

Hello there

I have a weird question tbh

why is queen Elizabeth is in the second lesson of "get ready for algebra 1" in the first video?

Khan academy tho

Oh

nvm

I have just known that it was her birthday when they uploaded the video

[tribal slate]

Yalls

do u think i should lie on my cv?

like what the hell are u supposed to put for soft skills

[naive grail]

my lawyer has advised me to say yes

[quiet geode]

howdy oupoid

[quiet geode]

its neither

[burnt dune]

who is this

[south kelp]

[neat lintel]

AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA

[south kelp]

eloquently put

[quiet geode]

[neat lintel]

Is it better to learn calculus or linear algebra first please? or doesn't it matter...

Linear algebra

Is linear algebra involved in calculus I take it?

is that why?

No

it's because i learned algebra in the 7th grade and i think you should learn calculus later

Alright, thanks 👍

You can also learn them both at the same time

[velvet dagger]

Linear algebra isn't the same as algebra

[neat lintel]

You might get bored of studying one and want to study the other when it's more interesting to you

[velvet dagger]

Calculus and linear algebra are in principle independent

Now it is often the case that linear algebra classes come after calculus classes, and as a result linear algebra professors use calculus examples

For instance, you might think of the set of cubic polynomials in linear algebra, and write down the matrix corresponding to taking a derivative

[cyan goblet]

i think knowing linear algebra helps a bit with calc 3 if you look into the geometric intuition

[velvet dagger]

Oh yeah no imo calc 3 should hard need linear algebra first

[cyan goblet]

since you’ll do stuff like using determinants for change of variables, cross products, etc

yea

idk why most schools have lin alg after calc 3

it’s no wonder students are like “this makes no sense”

[velvet dagger]

Skill issue among decision makers

[storm sage]

My school's multivariable class starts with an introduction to vectors and linear algebra

[neat lintel]

linear algebra is just infinitesimal multivariable calculus

[worn garnet]

Yo any good alternative for /r/math ?

[zealous lantern]

Calculus 1 then Linear Algebra then advanced calculus

[zealous garden]

Linear Algebra and its extensions are wonderful things

Some more than others

[neat lintel]

The discord you are currently in

[zealous garden]

What's /r/math

[worn garnet]

The place went private and I sent a message to moderators asking to let me in was in there for at least 7 years

[worn garnet]

The best forum for mathematics

[zealous garden]

Lmfao

[neat lintel]

Don't ask

Better if less people know about that website

[zealous garden]

I prefer this answer

Based Brandon H

[worn garnet]

Really how come I hung out in there for years and learned a lot

[lavish hull]

real life?

[sharp hearth]

Speaking of /r/math, how much does that community overlap with the community here?

[runic nest]

hey

isn't that because of the reddit protest

[neat lintel]

never

it will ruin your life if somebody discover that you lied

and no company want a lier

they will tell all there colleges, companies he's a lier and you won't find a job, maybe MCDonalds

[tight comet]

,w Donald Trump

[fathom swallow]

Results provided by WolframAlpha

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

Requested by 草w#3875

[tight comet]

Life wasn't ruined for 76 years

Pretty good trial run for lying, I'd say

Also being a general asshole such as not paying workers

[torn willow]

Trump ran for president in the 90s, I think

[fervent pebble]

poor liars get caught rich liars make millions

[fair mural]

i know he did at least sometime in the 2000s

[torn willow]

Or they are forced to roll up a boulder up an hill every day

[neat lintel]

Whats the matter with r/math, why do people dislike it

[craggy gust]

I keep seeing this discussion yet it never gets anywhere

[south kelp]

cus reddit

U either hate reddit or ur addicted 24/7

no in-between

the reasons people hate it make their own divides also

some ppl just hate it cus it's popular

Others hate it cus spez

And yet others hate it cus spez

[surreal sapphire]

uh

r/math also just has mostly bad content

[bright hill]

I'm in between 🖐️

Reddit is great for really nice stuff

Like manga/book/anime discussion

You can find what people think about almost anything no matter how specific

I love it for that reason

And I wouldn't say I'm addicted, I use it for like 10min max a day lel

The front page is regularly mildly entertaining

¯_(ツ)_/¯

[neat frost]

Stfu dark you don't need to be a contrarian all the fucking time

You're not "in between"

You're a LOSER

[bright hill]

I'm not contrarian all the time

that'd be ryc

[neat frost]

Yes you're obviously trying to be him

[bright hill]

????

no??

[neat frost]

Okay mr

[mighty pelican]

I'm here from /r/math

It's not the same, but hey, maybe the protest will wean me off my Reddit addiction

[sharp cave]

Facebook math communities are somewhat much better than Reddit's; especially the meme pages like Well-typed constructivist memes or Computational Trinitarianism memes for ... (god the names are too long). But they are rarely as active as Reddit

[cinder zephyr]

I never check my FB

Might delete it tbh

[cyan goblet]

twitter math is nice

[cinder zephyr]

This protest is also weening me off of reddit

[cinder zephyr]

It used to be better

[cyan goblet]

twitter physics is just sabine holfstadter saying stupid shit and everyone dogging on her

[mental stratus]

what's mathstodon like?

[torn willow]

Probably blame Elon for that

[cyan goblet]

dead afaik

actually i think mathstodon is like

kind of active

but also kinda dead

it was made as a reaction to the whole “twitter is gonna shut down” thing

[sharp hearth]

I have a Mathstodon account, but the few times I read my feed, I find very little math there.

[cinder zephyr]

mathstodon is mostly dead

I think all that happened is that some people who posted a decent amount on Twitter have stopped

and barely post on Mathstodon now

[neat lintel]

what "stupid shit" did they say?

[neat lintel]

string theory is a scam

which may or may not be true who knows

not investing in a phd in physics to find out

[mental stratus]

scam theory is a string

[hearty berry]

Anyone good with using microsoft access?

[quiet geode]

can this be any good? https://www.masterclass.com/classes/terence-tao-teaches-mathematical-thinking

[icy locust]

Are there any effective method of self-teaching mathematics with proof exercises? The problem is that I can't get an instructor that can verify my answers (for various reasons). I've succeeded proving a few theorems in Coq myself, but it takes too much time (mostly bookkeeping) and I'm not really confident that I've not committed circular reasoning (i.e., using an already proved theorem to prove itself).

I'm not talking about calculation problems that have closed-form solutions--they are trivial to verify. Propositions however usually has more than one way to prove than can be mutually highly distinct

[blazing pawn]

Im not sure what you are asking tbh

[icy locust]

Yeah I'm not sure I know what I'm doing either

[blazing pawn]

you say that generally there is more than one way to prove something which is true

why is that an issue

[icy locust]

I need someone (or something) to check my (free-form) proof answers. I feel that "fill-in-the-blank" type of problems aren't very effective. I tried using Coq, and it works, but it takes too long.

I'm wondering if my approach is completely infeasible, or if there are alt. ways for studying these stuffs w/o fully getting into academia (I have a job)

(For proof assistant approach: maybe Isabelle or Agda could be easier?)

[blazing pawn]

I do not think using a proof assistant to verify that your proofs are correct is necessary lol

[woven whale]

[blazing pawn]

Making sure you arent making leaps in logic is something that just comes with time

[icy locust]

I tend to make way too many mistakes, esp. with calculations

So basically I can't just believe myself fully without someone else (like an instructor or, well, a proof assistant) to cross check my claims

Maybe I'm a bit paranoid or something

[woven whale]

you can ask on this server

"is my solution correct"

[icy locust]

bait people with incorrect solutions

[neat lintel]

[storm sage]

Using Coq is not the approach here lol, as you said it's way too long and not the way professional mathematicians work and think

Asking ppl on this server as illum said is good!

[icy locust]

thanks, hope I could answer questions from others too

[chilly hull]

whats Coq

[neat lintel]

yes what's that

,ask Coq

[fathom swallow]

Results provided by WolframAlpha

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

Requested by Hin#4679

[river moon]

programming language for like computer verified proofs

[neat lintel]

I see

[river moon]

I learned about it recently and saw what things people in compiler development do, realized that I don't understand a single thing they're saying even though it's all math

[neat lintel]

oop

[icy locust]

logic and type theory memes

[raven plaza]

Hm can chatgpt convert proof to coq

[storm sage]

I would be really impressed if it could

(If the proof is like, a normal mathematical proof that leaves a lot of details to the reader)

[modest rune]

chatgpt can't write correct english proofs I doubt it can write correct coq proofs for things that are not already in the corpus

[candid sun]

what bag should i get for a level

[bright hill]

coq
LOLOLOLOL

what genius thought of this name?

[neat lintel]

no

[storm sage]

Stop being weird

[olive geyser]

hello poeple

what is going on in this server

[open aspen]

<@&268886789983436800>

[bright hill]

dude, no chance I'm the one being weird here

[woven whale]

@bright hill did you know there's a book on toric geometry written by little cox

[bright hill]

nice

[mental stratus]

little, cox?

[woven whale]

Yes, little cox

[sharp hearth]

There is also https://en.wikipedia.org/wiki/Cox–Zucker_machine

But that aside, Cox et al's book “Toric Varities” is pretty great.

[cold needle]

This book is kind of pain

For one they dont really explain what you should do when your polytopes arent full dimensional till way later on and its still not super explored well lol

[cinder zephyr]

Cox and Zucker were undergrads together

and wanted to write a paper together solely because of that combination of their names

[cinder zephyr]

rly? I've heard good things

idk what a toric variety is tho so I never looked at it

[cold needle]

its fine its just

some things need coverage

[sharp hearth]

If your polytopes aren't full-dimensional, then it is clear that your toric variety has a torus factor. My first instinct would be to pass to the vector space spanned by your polytope, which has the effect of removing the torus factor.

[woven whale]

variety with an algebraic torus acting on it and an open embedding blabla

[cinder zephyr]

idk what an algebraic torus nor an open embedding is

oh wait open embedding is just open homeomorphism onto image?

ok idk what an algebraic torus is lol

but meh this is a later issue

[sharp hearth]

An algebraic torus is an algebraic group isomorphic to (C^*)^n. Here, “algebraic group” means “algebraic variety with group structure, such that the group operations are maps of algebraic varieties”, similar to how “Lie group” means “differentiable manifold with group structure, such that the group operations are smooth maps”. Also, I'm assuming that our varieties are defined over C, rather than over an arbitrary field.

[cinder zephyr]

I see

this will probably make more sense after next semester

and maybe the semester after that also

[sharp hearth]

It's okay. These things take time to learn.

[jovial ember]

It’s just a torus

(C^*)^n = S^1 x S^1 x … x S^1

Except complex

And it has a group structure by just, multiplying. Which on the torus itself is like going “weeeeeeeee” spinning on various meridians

[neat lintel]

Anyone know some master's programs that combine business with CS in the US?

[neat lintel]

God

I want to block these people from my psycology class

Our written assignment is due tomorrow and they haven't finished yet

slackers

I'll be taking psych next sem. What're you studying?

[neat lintel]

I just realized

I have never seen the colour blue on my computer screen

Blue for me has always been dark green

how is that relevant in any way

[woven whale]

regular maps, not just morphisms, no?

[surreal sapphire]

what do you think the morphisms of algebraic varieties are...

[quiet geode]

why is James Grime soo hot

[bright hill]

[quiet geode]

👉👈

[woven whale]

oh lmao I didn't know that those two definitions coincide

[neat lintel]

[coarse saffron]

f(x)= x3 +5x2 −8x−12
is this a dicciult math? how long will it take me to learn this if I am at highschool level?

[south kelp]

Very difficult you can only find the roots through algebraic geometry

[coarse saffron]

Hmm

[south kelp]

OK but for real

I'm trolling there's a general solution to cubic polynomials for one

[coarse saffron]

This is in the exam of the math course I am thinking of applying to. I am kind of stupid so I am scared of failing. I only done highschool math even thou I am in my early 20s