serious-discussion

[tight comet]

They aren't really similar

The former has stats and the latter mostly does not

I think both are a bit too elementary to be really useful

I mean the even basic stats could be useful, but I think if you want to use elementary things, you should be a master at it then

[topaz sage]

the best learning software is geogebra

[maiden creek]

guys please solve this one this is getting in my head for awhile

[brittle socket]

!help

[quasi jetty]

Please read #❓how-to-get-help

[long matrix]

imagine spamming it in all channels

[haughty lintel]

Is there any difference in modern algebra and abstract? Is modern just the undergrad level?

[storm sage]

I think it's just an arbitrary naming convention

I would go by the syllabus to see what it covers

[haughty lintel]

I see. The description says theory of groups, rings, integral domains, field, and modules, so it seems pretty similar to abstract at least (though I don’t know much about it)

[tough hawk]

How do I learn Math as fast as possible

[gritty plank]

Go to a top 50 school for undergrad and then a top 20 for a phd

[alpine kindle]

that's an abstract algebra course

"modern algebra" is just another term for abstract algebra

[eager reef]

I keep seeing "modern" tied to approaches with infty categories

[torn willow]

So you are telling me "modern" is just a synonym for "needless abstraction"

[eager reef]

[torn willow]

Ok fair, idk why but I assumed it's like teaching algebra by starting with infty categories before groups,rings,fields,etc

[gritty plank]

different topologies. The intersection of the two sets converge but not the boundaries

[alpine kindle]

ok now prove the limit of the perimeters is equal to the perimeter of the limit

[formal cipher]

doesnt make sense

[blazing pawn]

the girlies discovering discontinuous functions for real

[alpine kindle]

is this a reference to something

[blazing pawn]

other than the original post naur

[lavish kayak]

math is so fun!
im geeking out

so if a root a of a polynomial f has multicipity r (f is divisible by (x-a)^r), not only f(a) = 0, but f'(a)=0 all the way to deriving it r times

https://tenor.com/view/surprise-chris-pratt-parks-and-recreation-parks-and-rec-shocked-gif-5571450

also taylor's formula can be proved directly on polynomials and is a way to recieve the unique representation of polynom p by 1, x-c, (x-c)^2, ...

doesn't even need continuity just a char 0 field

i mean

😐

if p = (x-c1)^k1*...

then taking the derivative means removing one from each ki. so the result is kinda obvious.

weird i guess the textbook wanted to prove that before proving prime factorization stuff?

[amber orbit]

well done

[neat lintel]

It's so over

Circles are Broken

[hollow ginkgo]

Where’d the factorial come from?

[inland grove]

lmao

[brittle socket]

Oooh moth in mathcord

Haven't seen them in a while

[bold ingot]

is it just me or is there quite a bit more memorization in math than people like to admit?

at a low level, I definitely need to know a good amount of trig identities to be any useful at integrating even semi complicated functions

and I read a bit of abstract algebra for fun, its full of a lot of definitions you gotta know

how much would you guys say you remember stuff vs figure it out on the fly?

[south kelp]

not just you, honestly with some classes' pace at some point you just gotta memorize some theorems because it's much easier than memorizing the proof given the allotted time. If you do it at your own leisure though then it can be a bit easier to get a fuller understanding and take in the proofs imo, which serve as decent mnemonics.

but even then there's also some proofs you're just never gonna memorize

like the 4 color theorem proof

so you just gotta memorize the statement sometimes no matter what 🤷‍♂️

and yeah i didn't even get started on all the definitions

as far as trig identities go though...a lot of them can be simply derived from sin(a +- b), cos(a +- b), and cos^2x + sin^2x = 1 i feel like

or complex numbers if ur feeling slightly fancy

[gritty plank]

I attended a talk once given by a very smart guy, he made a side comment that always stuck with me. He said there's a diagram of mathematics that looks something like this: Meaning that in some fields there's a few definitions and you need to work to build proofs (combinatorics, analysis), while in other fields getting the definitions right is the hard part but as soon as you do then the proofs are super straightforward (logic, algebra).

[bold ingot]

heh, how straightforward are we talking here?

for algebra

[gritty plank]

well, note this guy was a logician and myself an analysist, so if you're an hardcore algebraicist and hate this idea feel free to modify it. but at least in his discussion his point was that the hard part of doing the topics on the right side of this spectrum is coming up with the right definitions, or checking that something satisfies the definitions, and then after that the rest is straightforward.

[bold ingot]

checks out

tho I wouldn't know

all that stuff is over my head

[gritty plank]

something like a conservation of work, either you put a ton of work into your definitions and less into the rest of the proof, or vice versa

[neat lintel]

Happy pi day

[lofty sequoia]

Happy Pi Day!

[raven peak]

Happy pi day guys

[bright hill]

omg

it's math itself

holyshitholyshitholysshit

@bold ingot hello

happy birthday

[brittle socket]

Hi Darkill

[bright hill]

sup grass :3

[brittle socket]

Supremum

[bright hill]

mfw grass became a set

what set theory does to a mofo

[brittle socket]

Are you gonna attend ricey's talk later?

[bright hill]

yeaa

[brittle socket]

what?

[bright hill]

sup grass = supremem of grass

allegedly

[brittle socket]

Grass is supreme

[bright hill]

you take supremums of sets

[brittle socket]

[bright hill]

[long matrix]

ITS NOT PI DAY TODAY

[hasty leaf]

Eats pie

[tall minnow]

this is probably the same distinction that Tim Gowers spoke of between problem solving and theory building
https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf

also some trends may hold when we talk about average but in practice there is a lot of overlapping
for instance when you go into geometric microlocal analysis in PDE (especially for analyzing black holes in GR) that's a big tower of theory to climb

[surreal sapphire]

frogs vs birds

[gritty plank]

it's a distinction but I don't think it's the same distinction. Tim Gowers, dichotomy is probably a cycle all mathematicians go through in developing new problems and solving them. Jacob's chart above is more about how in some fields you get a few definitions you need to make constructions out of in order to prove things and other math fields by the time you've checked the definitions hold you've proven the theory (because the definitions are very involved)

[blazing pawn]

I'm not sure how much I believe in this chart on the definition heavy side

Like often times coming up with the right definitions is hard and requires work in e.g. AG but its not like the proofs are all trivial once you have them lol

[tall minnow]

Gowers discusses fields, not personal phases.
The gross reduction is that in combinatorics people solve problems and prove things. In algebra people create definitions and theories.

Of course all in relative terms

[deep mango]

this is so true

algebra = trivial, analysis = real math

[gritty plank]

this is absolutely not what he was saying, not sure if that's something you are claiming or not

[deep mango]

hmm, maybe i gave him too much credit

[bright hill]

[bright hill]

I mean eh

it goes both ways

the chart is true for intro stuff, I think

but if you look at, say, the proof for the generalized stokes theorem

that's analysis but most of the work towards that is finding the right definition

[tall minnow]

Stokes is the diff geo formulation of FTC

It's true as a theme that when analysis goes diff geo it goes to the side of theory

[deep mango]

Average advanced pde paper = define the right banach space, done

[silver plaza]

👏 👍

[velvet dagger]

Soooooo

I know Spivak Calc on Manifolds does kinda talk about how oh it's trivial once your definitions are right

But I worry that saying "but most of the work towards that is finding the right definition" kinda indicates that the main significance of shit like exterior derivative and def of a form is so that Stokes' theorem works out

Like you can arrive at both definitions without a priori thinking about Stokes' theorem at all

The point of what Spivak is saying is that, the content of Stokes' is basically FTC, Fubini, and then figuring out how to go from squares to manifolds

"How to go from squares to manifolds" implicitly involves, what exactly should we integrate on manifolds?

[long matrix]

Analysis: $<$ $\leq$ $\implies$\
Algebra: $=$ $\cong$ $\iff$

[river moon]

$\prec \preceq$

[fathom swallow]

Transparent_Elemental

[tall minnow]

$\lesssim$

[fathom swallow]

Delerik

[long matrix]

nani the heck is this

"oh, its probably less than but not always"

?

[river moon]

asymptotically less than

[tall minnow]

you either use it or keep track of 100 implied constants in your estimates

because analysis estimates always have implied constants

[long matrix]

i certainly saw that today.

[versed parrot]

Wtf the professor said: make a board of the variations of f(x) but delta<0 so it’s impossible 💀

[tall minnow]

basically the adult version of the big O notation

[long matrix]

the hell kindof reaction do u want

from posting this in multiple channels with no fucking context

[tall minnow]

another rando to the block list

[long matrix]

no never mind context, the text makes no sense

[tall minnow]

no one should ever give me mod powers. I would ban half the green leaf accounts on first day.

[versed parrot]

I have to make a variation board of f(x) but delta<0 so it’s impossible to have solutions and then impossible to get the variations of f(x)

[long matrix]

no i dont care.

[long matrix]

i would delete this category

[eager reef]

👀

[versed parrot]

Bruh nobody can help me

It’s for a test

[pseudo sleet]

when was there a religion debate 0-0

[tall minnow]

nami was there and someone was talking about buddhism or sth

[pseudo sleet]

Aw I cannot cross that, have to wait for the next time :c

😔

[long matrix]

theres been plenty of those

[pseudo sleet]

havent seen one

[cunning compass]

Eventually one would arise I reckon

[gritty plank]

that's a good counterexample

[neat lintel]

Upon solving the Planck's constant, what do we use as its value 6.626 x 10^-34 or 6.626^-34??

[haughty lintel]

What’s freshman’s dream lol

Nvm just googled

[pseudo sleet]

lol shut up

[solar hawk]

.coose

[neat lintel]

first one

[buoyant dove]

Hey, how do I change the color of the text of TeXit bot?

[neat lintel]

(a+b)^n = a^n + b ^n

oh NVM

just saw your nvm

:(

[hot tusk]

Do we get anything after completing this?

[tall minnow]

this is less of a bingo
more of a meme about how often certain things happen

[dim zodiac]

Guys can i send a meme in here? XD

Its homemade👀

[surreal sapphire]

try #chill

[dim zodiac]

ok

[neat lintel]

https://discord.com/channels/268882317391429632/1085517568653135944 anyone pls

hi

[brittle socket]

!help

[quasi jetty]

Please read #❓how-to-get-help

[brittle socket]

No self-advertising

[copper bough]

rate my notation guys
where this

evaluates to this

[cunning compass]

Not the worst honestly

[copper bough]

the normal one looks deceptively easy to simplify

[neat lintel]

Can someone that’s good at percentage change help me pls in dm

[long matrix]

The percentage change in the number of dms you will be getting due to this message is... 0%

[fading zealot]

This is your daily reminder that 1001 = 7x11x13

[vivid halo]

lmfao this rocks

[proud olive]

What does the delta integral mean?

Nvm i didn't see the last part

[copper bough]

integrating over a triangle

[proud olive]

It's kinda neat but it would maybe look better imo if you managed to replace ABC with just a figure of the area

And just keep the regular double integral

[copper bough]

abc are the triangle vertices

what do you mean by figure

[proud olive]

Yeah ik

[proud olive]

A right triangle in this case

[copper bough]

wym by right triangle

like integration bounds?

[proud olive]

The area that you're integrating over has the shape of a right triangle

Feel like ABC doesnt provide much useful info

But a fig of the area would

[copper bough]

the area im intefrating can be any triangle defined be vertices ABC in R3

[proud olive]

Oh

[copper bough]

though if you plot u,v as x,y its a triangle

[proud olive]

A right triangle

But yeah if that's what the symbol means it's not bad

[copper bough]

correct, but not too useful in the contexts i use it in

[halcyon inlet]

what is the name of a pattern like this? 0.000200040008...

[proud olive]

I thought the thing strictly meant the stuff you posted below

Had it confused

[copper bough]

Heres like what its used for, here is a nodel of a triangular point light at point p

[proud olive]

What's unit()?

Oh its the physical unit?

Nvm i got no clue

[copper bough]

like shorthand for unit ve tor

vector

like normalize

[proud olive]

Ah

And distance is just the length from one vector to another?

*dist

[copper bough]

yep

[proud olive]

Can also just write it as $|\vec{\phi} - \vec{p}|$

[fathom swallow]

edwardborn

[tight comet]

_>

Write a norm directly

[proud olive]

Heck u

I do what I want

[tight comet]

single bar is bad notation unless previously explained

[proud olive]

Double line is bad practice unless u state the norm

Heck u

[copper bough]

yeah prob shoulve used || lol

[proud olive]

There is a way to write unit() in a more mathematical way if you're wondering about that too

[fiery brook]

I've been watching bok choy grow for the past 3 days
Someone help me.

[halcyon inlet]

i just planted some toy choy.

[fresh stag]

ripping out your eyes should suffice

[copper bough]

boy toy

[zealous garden]

| should be norm so that || is absolute value of the norm

[copper bough]

i like || and | in theory but its just way to close to absolute value

i use unit() just be3cause idk unit vector i guess

and norm() is too close to normal() which is for like getting the normal vector of a plane

[long matrix]

[zealous garden]

As a csChad, stop this nonsense.

[long matrix]

multiply(x, y)

[zealous garden]

That said the normal vector of a plane is just its hodge dual

[long matrix]

fuck this reminds me of solidity code ive seen

[zealous garden]

You're reminding me of my shader code

[fast ivy]

@zealous garden

you are geometric algebra pilled, right?

[zealous garden]

Incredibly

[fast ivy]

Could you check some computation with the hodge star I tried to do some time ago?

[zealous garden]

Perhaps

[sweet yew]

Can someone who is proficient with university level linear algebra dm me?

[storm sage]

Wait it is an absolute value tho isn't it

[wide hatch]

hi

can u hlp me

[gilded sluice]

!help

[quasi jetty]

Please read #❓how-to-get-help

[neat lintel]

Can truth about the world always be achieved thorough the path of logic and mental modelling ?

[static loom]

probably for some tautological reason based on what "truth" is, would be my sad guess

[merry grove]

i will solve it sir

[prime arch]

I feel like you are Indian just by using the word sir

[merry grove]

yaaa

[prime arch]

Which grade?

[proud olive]

Actually no i don't want to get banned

[neat lintel]

Hello

And good morning

[hearty berry]

why are you calling people "sir"? Not judging just curious on why

[cunning compass]

Probably a respect thing

[sage prawn]

Henlo

[cunning compass]

Helo

[sage prawn]

What's up?

[cunning compass]

Nothing much

[hearty berry]

Oh okay

[cunning compass]

Or in a way it’s also part of their culture

To address someone they view as a higher standing simply as sir

[hearty berry]

Got it

[rocky shuttle]

Yes, sir! Moving out!

[spark gazelle]

You need to know the world before getting some truth about it, so I'm pretty sure some level of observation must be involved

We can confidently make claims of truth when the concepts involved are based on our abstractions/ideas (triangles have 3 sides, etc.) but it gets messier when it's about matters of fact (all swans are white, Mt. Everest is the highest mountain, etc.)

[neat lintel]

i am really mad because world at a fundamental level is unpredictable

i can't believe them

how do i trust them

[spark gazelle]

Why would you be mad

[neat lintel]

because i can't prove it myself , the fundamental nature of reality

[spark gazelle]

And

[neat lintel]

and i have to trust others

which can be not truth

[spark gazelle]

Just be a mathematician so you don't need to worry about matters of fact as much

If you want to study nature itself then you gotta bite the bullet

[neat lintel]

a mathematician with phd on this server really believes that adam and eve made humanity

[spark gazelle]

Huh

Who

[neat lintel]

yes

2 days ago he said that on main channel

lol

[spark gazelle]

Are you sure he isn't shitposting

[neat lintel]

i mean you guys shouldn't be so detached from reality

[neat lintel]

oh i hope that he was

[spark gazelle]

Wait don't include me

[hasty leaf]

Maybe it was ironic post

[spark gazelle]

I'm a physics major lmfao

[neat lintel]

lol

[hasty leaf]

Chem major here

We are empirical

[spark gazelle]

Empirical science gang

[neat lintel]

i am a pcm major

and i hate chemistry but i took it anyway

cuz only math and physics we'r

werent an option

[spark gazelle]

Anyway, "proving" isn't really something you can do with inductive reasoning

Which science is based on

[floral sand]

Can someone help me out ?

[deep mango]

Being a math PhD student has taught me that math is too beautiful to exist by accident. It must be the design of a higher being, probably a giant spaghetti monster

[spark gazelle]

The best you can do is "ah yes I'm 99.9999999% sure" and hopefully be satisfied for that time

[neat lintel]

can Schrodingers eqn not be proven ?

[spark gazelle]

[hasty leaf]

Tasty spag

[deep mango]

Schrodinger's equation is not true

[neat lintel]

ok

then disprove it

[deep mango]

It is a continuous domain linear approximation of an extremely complicated object

[deep mango]

It's a very good model

But we have better ones

[neat lintel]

then what is true

[deep mango]

Which are just a lot harder to analyze

[spark gazelle]

Depends on your account of truth

[hasty leaf]

Stick to facts

[deep mango]

Umm, it's true that our models have predicted reality within a certain amount of error

And we take that as evidence that they will continue to in the future

[neat lintel]

understanding how fundamental laws of universe give rise to emergent properties is my truth

[deep mango]

But there is no axiomatic physics

All the fundamental laws we have are models

And we keep finding more and more ways that they should be refined

[neat lintel]

for example what phenomenon explains transparency of water ?

[spark gazelle]

No I mean, what does it mean for a statement to be true

Correspondence theory would say "it's when it matches reality", but that opens another can of worms

[neat lintel]

better models require harder math tho doesn't it

[spark gazelle]

Not necessarily

[neat lintel]

special relativity and photoelectric effect are exceptions i suppose

[spark gazelle]

I mean, it sure tends to but there's no requirement to make the math harder

[deep mango]

Usually

[hasty leaf]

Because the easy math is low hanging fruit

So they discovered first ig

[neat lintel]

i don't wanna open another worm my definition seems to open no worms if it explains all phenomenon its truth

[spark gazelle]

Anyway if all these "what is true" shenanigans make you mald so much, take up epistemology

[hasty leaf]

Philosophy time

[spark gazelle]

Makes me vomit less than math

oh god so this is where that emote came from

[deep mango]

Many mathematicians do not care about the philosophy behind what they're doing, some do I guess

[hasty leaf]

Is there one truth or many?

[neat lintel]

.

whats wrong with this

[spark gazelle]

"The car outside my house is red"

[neat lintel]

ok

[spark gazelle]

Can this be a true statement

[deep mango]

I believe that truth is evil so I spread lies to combat it

[spark gazelle]

It doesn't explain the physical world, but does it say something

[neat lintel]

i am trying to not get philosophical

[hasty leaf]

We can test it

[deep mango]

Qualia

[hasty leaf]

Empirically go and check

[spark gazelle]

You are literally asking "what is true"

[neat lintel]

if a model explains every phenomenon in its domain it is truth Ok ???

[spark gazelle]

This is as philosophical as it can get

[hasty leaf]

But what is red

What if my definition of red differ from yours

[spark gazelle]

The point was that not all true statements need to be explanatory like Bert is defining

[hasty leaf]

Yeah true

[spark gazelle]

Pursuing knowledge was a mistake

Return to banging rocks together

[hasty leaf]

There are objective truths like in sciences and subjective ones like in art and religion ig

[spark gazelle]

God never meant us to figure these out

[neat lintel]

i believe all objective truths will have explanations and that should be part of truth

[hasty leaf]

Well we ate the apple that was a no no and the diety is still mad generations after...

[tall minnow]

pics or this didn't happen

[spark gazelle]

Is it the ryc lad

Honorable sure does look much yellower here

Drink more water

[tall minnow]

that's obviously a joke

[neat lintel]

i hope so

[spark gazelle]

To be fair there was an earth scientist who taught in my uni who thought the earth is flat

[tall minnow]

there's not hope it just is

[neat lintel]

he didn't specify it as a joke

ever

[hasty leaf]

People do joke a lot here tho

[tall minnow]

adam / eve wasn't jewish. there's no DNA for them.

[neat lintel]

tell him plz

his problem

[tall minnow]

it's your problem for ruining a joke

[neat lintel]

he didnt mentioned it as a joke

[spark gazelle]

I just got here and it's pretty obvious

[tall minnow]

a joke is like a frog. dead when dissected

[neat lintel]

you are assuming things

[tall minnow]

actually now I think he was right. not only are we all jewish we also walk naked on sundays

[neat lintel]

is this a joke ?

[rotund steppe]

No

[spark gazelle]

I thought we're naked everyday

Absolutely not

What's the difference between chill and the discussion channels

[hasty leaf]

Not much

[spark gazelle]

Are these like off-topics

[hasty leaf]

It's discussion

[spark gazelle]

Where does the math happen

So I can avoid it

Understandable

[neat lintel]

why would a person join math server and say he wants to avoid math

[spark gazelle]

Idk

I like vibing with the science network

Planning to do a tour around

See what it's like outside physics

[neat lintel]

do mathematicians allow strangers to enter the math lab ?

[spark gazelle]

A math lab or a meth lab

[neat lintel]

what does pre uni mean ?

[spark gazelle]

A physics undergrad, I'm absolute garbage in math

Oh alright then

[neat lintel]

yes

multivariable cal

[spark gazelle]

That is true

[neat lintel]

DEs

linear algebra

[spark gazelle]

My experience with math has been tainted

It's just that when I hear it, I hear along side it "fiber bundles"

[tall minnow]

my math lab is a top-secret environment hidden under a volcano run by a surface pro

[spark gazelle]

Or some weird phrases beyond my comprehension

[spark gazelle]

What Surface Pro

[neat lintel]

the thing i am using

microsoft

[spark gazelle]

But calculus and the like are okay to me I guess

[neat lintel]

surface

pro

[spark gazelle]

I mean what number

there's 9 of them

[tall minnow]

whatever version when I clicked buy on amazon

[neat lintel]

whatever i got gifted anyways

prolly 7 idk

[spark gazelle]

Woo 7 gang

[marble jasper]

Hello

[twin forum]

Hi

[sage prawn]

Hello

[rustic wyvern]

does anyone know what this triangle lookin thing is

[tall minnow]

Look up exterior algebra

[stray siren]

For a standard normal distribution, find:

P(z < -0.65)

Can someone help me with this?

[tight comet]

!help

[quasi jetty]

Please read #❓how-to-get-help

[alpine cloak]

How important are grades at uni to do research in academia?

[neat lintel]

better grades better grad school better opportunities

[cunning compass]

And credibility to an extent

[grizzled grove]

And more chances of getting publications

I think better grades is like butterfly effect

[fresh forum]

I saw it

dumbass

[old matrix]

LOL

How?

[fresh forum]

your mobile ass is slow at deleting

[old matrix]

Stfu imagine using discord on laptop

[fresh forum]

urm akshually I'm on pc

[old matrix]

Nerd

[fair mural]

oooo skirts and dresses

[flat harbor]

skirts and dresses... it should be more widespread

@vocal vessel 3am but tomorrows a government saturday so its fine

[vocal vessel]

But it’s raining so I might have to drive my husband to work at 8am 😱

[flat harbor]

sleep deprived driving can be solved by drinking alcohol

[vocal vessel]

Bad bad bad advice lol

[flat harbor]

like my ma always used to tell me

ever heard of "defense driving"

if u have a two lane road

then u drive straight down the middle

[vocal vessel]

Goodnight 😪

[flat harbor]

then cars wont dare to approach

sweet dreems

[fair mural]

blo drunk driver

[vocal vessel]

I thought that was a command

I was like “ok where is he?”

🫣

[flat harbor]

80% of drunk drivers dont cause accidents its the minority that screw it up that makes us look bad

i shuld sleep soon too ugrh gn

[vale plover]

https://kieranhealy.org/files/papers/fuck-nuance.pdf

thoughts?

[leaden torrent]

this server seems like a weird place to ask about a specific cultural trend in sociology academia

[burnt dune]

thats literally my jam here what are you talking about

[vale plover]

well, while it might be talking about what makes good theorizing in the context of sociology, i think the analysis can apply to theorizing in general.

[velvet dagger]

The tricky thing Sour Drop is that this, at a glance, is making an empirical claim

In some situations, a given analysis doesn't fully describe what's happening, and there is missing nuance which, once addressed, gives a better view

Other times, there isn't much to it, and sometimes people do try to inject nuance where there is none

Whether this paper makes a valid point depends on the current practices of the sociology community

[pure kestrel]

sociology? what’s going on here?

[teal lake]

Can anyone here help me with a physics problem

[tight comet]

!help

[quasi jetty]

Please read #❓how-to-get-help

[pure copper]

Do you think that if for 2 years we don't do math we forget our knowledge or not? Or all our knowledge is still present?

[neat lintel]

I dont think you will forget all about math but some you might not remember

[restive topaz]

greetings

can someone pls send help to #help-9 very urgent

thx

[molten crystal]

placement ho gyi kya

[restive topaz]

it's about differential equations

[woven whale]

"urgent"?

[restive topaz]

yah

and still unsolved

i have tried >100 times

[fathom tendon]

Why is there a 4th quartile but no 100th percentile?

[hot tusk]

Why should there be a 100th percentile?

[torn willow]

100th percentile is a thing yea

It refers to max elements in the set

[fathom tendon]

If you follow the logic of there being 4 quartiles, then shouldn't there be 100 percentiles going from 1 through 100

[fathom tendon]

I've always been told that there isn't a 100th percentile from all my teachers

[torn willow]

That's a lie

I have friends who have gotten 100 percentile on exams

[fathom tendon]

:0

[torn willow]

100th percentile means nothing else is higher than said data point

So in {2,2,3,3,3,3}>, 3 is in 100th percentile

[fathom tendon]

Oh so is it reserved just for "1st place"

[hot tusk]

I don't think it's actually 100 percentile as it does not make sense from a statistical definition POV. With regards to exams, it's completely possible that they round off values closer to that like 99.99 to 100.

[torn willow]

100 percentile is literally x such that x>=a for all a in set

[hot tusk]

If you define it like that, then yes.

[torn willow]

Isn't that the standard way of defining percentiles?

Or is > used in some places

[tight comet]

Almost no hope in 'defining' a quantile.
R has built in 9 ways.
https://stat.ethz.ch/R-manual/R-devel/library/stats/html/quantile.html

[hot tusk]

There is no standard as such as per my current knowledge level. I have seen both getting used in various contexts. In my line of work, it kind of depends on the use case and the type of problem statement we are handling. I have seen people use variants of these as well.

[uneven hound]

Guiz i wanna learn Fourier transform, i watched 3b1b's video but he doesn't do any calculations and since I'm stupid i can't understand it that way. You know any good videos for me?

[quartz nymph]

Are you good at basic algebra?@uneven hound

[river moon]

the fourier transform of f(x) is this function as a function of omega

there's really not much else to say

take f(x) and compute the integral

[rocky shuttle]

[vast surge]

I think I messed up somewhere in my calculations when I was explaining it so I deleted everything out of awkwardness

[ebon cave]

#1086850196522156153 help please

[obtuse fjord]

Are you learning more about it just for funsies? Do you like computational stuff?

[stable dirge]

4000BCE time (for me)

[neat lintel]

so relatable

[civic frost]

What year in school do people see stuff like derivatives, integrals & limits?

[cold needle]

At my school this happened for year 11 and 12 but many schools in the US don’t even touch calculus in high school

[cold palm]

Calculus right?

[cold palm]

I mean a lot of schools have programs where you can skip ahead

[cold needle]

i have no idea if this is changing; maybe college board AP calc is becoming more common

[cold palm]

for example in my school you can go ahead three grades by taking tests that they provide

[cold needle]

o wow

i see

[cold palm]

which a lot of people do

[cold needle]

thats cool

[alpine kindle]

in the uk you do it in year 12 and 13

[fresh patio]

I find it funny that at this point I can't tell if I'm good at math or dogshit because I can solve every single problem in these linalg practice exams without issue but I get stuck on shit like 42-28. I should get one of those elementary school arithmetic problem books.

[fresh patio]

I think I'm gonna ace this linear algebra exam..but I'm considering taking another one next year that's more advanced.

For some reason I really like linear algebra.

[shy talon]

Hello can someone solve this ? If A - 82762527292621 = 2375 and A+A+A = B and B - 938583938493849 - 2633 = what is value of A

[fresh patio]

dude

#❓how-to-get-help

[alpine kindle]

being good at mental arithmetic is not the same as being good at maths

[west kelp]

#old-network

[undone wren]

what!? i thought math was all about adding and subtracting big numbers !

[long matrix]

[full wadi]

https://docs.google.com/forms/d/e/1FAIpQLSdfngoqExHIGOvjO05E-cPWzepKFJ6f24NNw9_n8XnX2X2aYw/viewform
Help me fill this.. I'll appreciate

[hasty leaf]

Woof

[long matrix]

no dont ping woof me

[long matrix]

#rules You cannot self advertise without permission from @polar panther

[civic frost]

yes

I'm already exploring them on my own but I was tryna get an estimate of when to expect them @ school

[uneven hound]

Wtf is that

Omega

[rocky shuttle]

frequency variable

[uneven hound]

I'm studying Computer Science, i saw some dude created waves with it. I do graphics-shaders development and i think it'll be useful

[uneven hound]

Cool

[rocky shuttle]

You should look into discrete Fourier transform (DFT) and fast Fourier transform (FFT) if you're more interested in implementing it.

[uneven hound]

Okay, what do you think about this vioed?
https://youtu.be/yYEMxqreA10

[rocky shuttle]

I haven't seen it

(yet)

[uneven hound]

Where did you learn it

[rocky shuttle]

math lecture

[uneven hound]

Oh

[rocky shuttle]

Fourier analysis (with applications in image processing)

[uneven hound]

Cool

[vast surge]

Find a tetbook and read it. Or find a proper lecture series. It'll be more helpful than pop-math videos if you want to actually learn how to do Fourier stuff. A book like Folland's Applied Fourier Analysis might be a good first book in the theory for an undergrad background, though I don't think it covers the DFT

Or, if you have a specific application in mind, look for a book on that application. For instance, I have a book somewhere on signal processing, which is all about the math of signal processing.

[uneven hound]

I'll check that book, thanks.

[trim osprey]

guys i have a question that i solved but i'm confused about it ,if T is an exponential random variable with rate = 1 and Betta > 0 we define X = T^(1/betta)

any idea on how we can find the probability density function of X
?

guys

how can we

change the integration variable

any idea?

i want to make the boundaries a and b without the power Betta

[obtuse fjord]

I will give you the almost exact opposite advice 😂
A lot of books will discuss the math and give an indication of how the DFT/FFT (or DWT/FWT) were implemented 30 years ago, but you might find much better resources for learning this stuff from papers about implementation and algorithms. Start here: http://www.fftw.org, this is the reference implementation in C which many scientific libraries use (including Julia, not that I'm particularly fond of the language, but they're really good at their algorithms). There's also the Eigen implementation to check out.

Also I'm sure there's some excellent blog posts here, here is a light one in Python: https://jeremykun.com/2012/07/18/the-fast-fourier-transform/

I find that generally approaching things this way (as though you yourself are in charge of providing a quality implementation of the algorithm in a software package) gives a much deeper mental model for what's happening in the algorithm, a better idea of the general mathematical things you'll actually bump up against (ie. does the original signal lying in a certain function space really matter? Why?), and takes a lot less time.
Just my $0.02 though

[cold palm]

depends on how far you get ahead

if your school lets you go ahead 2 grades

then i believe you would do it in 11th grade

if they let u go ahead 3 grades you would do it in 10th

[neat lintel]

hi i'm looking for a vc tutor to help me with square roots.. can someone help me?

[cold rivet]

so guys

how would i go about learning another base number system

because it sounds cool

but a base number 9 or even 3 system seems so over complicated

i understand binary and stuff but like

anything higher than that is impossible

and the idea of a single character number system (like umary or whatever) is interesting, but hard to think about how it would work in context

is you just convert the number of characters to a normal number (like 57392) and it spits out a message

but there aren’t any breaks, so after some arbitrary number it would be another character i think

[woven whale]

base 10 is also higher than binary

is it also over complicated

[cold rivet]

for me to understand

[barren anchor]

it's likely that if you think any particular base makes it easier or harder you don't understand what a base or number system is, so I'd review those concepts and not worry about any specific number.

[long matrix]

a based discussion, I see.

[cold rivet]

i can

it’s just hard for me to use a base 12 number system when multiplying and stuff

i have difficulties because at every step of the way i have to put it into base 10

[long matrix]

you should be multiplying in exactly the same way you do it in base 10...

yes, knowing your base 12 times tables is uh 'necessary'

[cold rivet]

yea

but i’d prefer to use another base

you guys aren’t going to use linear algebra a lot

it’s just something you want to know

i mean ofc it has a lot of uses

but not everyone uses it , yknow?

i want to learn languages, and some don’t use base 10

[long matrix]

[cold rivet]

i want to learn another language

[cold rivet]

but i can’t wrap my mind around anything that isn’t base 10

[long matrix]

unless you're writing machine code, I fail to see how this will come up

[cold rivet]

no

not programming

also, knowing hexadecimal would be cool, but that’s not really a goal

the aztec system uses base 20

[cold rivet]

i’m not learning python or anything

[long matrix]

Literally how would their number system matter for learning languages

It would not impede you

[cold rivet]

dude

they use a different numbering system

[hexed gazelle]

pretty much the same way you work in base 10 like meow meow said but instead of 10 possible characters for a digit you have n possibilities for a digit in base n

[cold rivet]

what do you not understand

[cold rivet]

but it’s hard to use

like getting used to radians

[hexed gazelle]

well yes if youre trying to become fluent with base 16 or whatever then you do need to work with it enough

i have some amount of fluency in hexadecimal because i used to do reverse engineering of software

but realistically, the principles of arithmetic are the exact same for any base

[cold rivet]

that’s true

but how do i get used to it?

like if i do 8x3 in base 9 i get 24 and convert that back into base 9

which would be like 20 or something

or 22 actually

[hexed gazelle]

same way you learn to multiply numbers in base 10 but keeping in mind that youre in base 9

[hexed gazelle]

which is why meow meow said this

[woven whale]

lol meow meow

[cold rivet]

meow meow moment

it is necessary for me because i literally can’t understand it

[woven whale]

8 * 3 = 26

also technically every base is base 10

[cold rivet]

oh yes it would be backwards

[cold rivet]

shut up

we are speaking in base 10 so it won’t

[woven whale]

https://media.discordapp.net/attachments/597925805888372756/1054916862565167144/ezgif-5-43ee149553.gif

base 9 is base 10 in base 9

[cold rivet]

not in base 10

it’s still base 9

[woven whale]

it is base 10

[cold rivet]

on base 9 it’s base 10

[woven whale]

every number system is base 10

[cold rivet]

and base 10 would be base 11

[cold rivet]

well we use 10 as a standard

[woven whale]

yes but if the base 10 is in base 10 then how do you know which base that base 10 is in?

[woven whale]

but base 9 is base 10

so it's a standard?

[cold rivet]

because of hindu arabic numbers

they used base 10

[woven whale]

my point is

[cold rivet]

yes i understood

[woven whale]

you can't know what base something is in without specifying a base initially. this is recursive

[cold rivet]

yes

but since we use base 10 (ten)

we use that as an anchor

[woven whale]

what base is that base 10 in

[cold rivet]

1 1 1 1 1 1 1 1 1 1

there

¿estás feliz?

because if we were speaking it’s be base ten, right?

or actually

would we call it nine in base 9 when referring to 10?

[woven whale]

9 doesn't exist in base 9

[cold rivet]

so you skip it

i see

[long matrix]

Ask any alien civilization what base they work in and theyd be confused or it'd be '10'

[cold rivet]

well yes

but we are using 10 as like an anchor

because it’s what we use

not like the other 10s

[long matrix]

The name for 10 in base 9 is 'nine'

[cold rivet]

yes

but when i saw base “10” you understand what i mean

[long matrix]

illu was making a dumb joke

[cold rivet]

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

wiki calls it base 20

i understand the joke

[long matrix]

Anyways, who cares about being fluent in number systems of that language

[woven whale]

no, 11

[long matrix]

its irrelevant

[cold rivet]

it just causes problems

[cold rivet]

what no

[long matrix]

You can be fluent in a language without knowing how to count

[cold rivet]

me

[woven whale]

1, 2, 3, 4, 5, 6, 7, 8, 10, 11

[cold rivet]

no

[woven whale]

so base 10 would be base 11 in base 9

[cold rivet]

meow meow meant that base 9 would be base 10

[long matrix]

i clearly meant 10_9, but you do you.

[cold rivet]

this is me when i try to multiple in something that isn’t base 10

https://youtu.be/zNLk0quVMvQ

[plucky valley]

in terms of voltage, if you were to hook up a power supply to a voltmeter with two wires instead of one, would the voltage decrease by a factor of 2?

like say hooked up with one wire the voltmeter reads 10v
would using a second wire between both devices read 5v instead?

[untold sapphire]

this is ambiguous

i don't know what you're saying

can you draw a diagram or something

[daring surge]

if I understand you correctly, then no it wouldn't change.

Having the positive lead from the power supply to the multimeter being one big wire or two small wires is no different in terms of measuring voltage.

Some caveats I guess based on voltage drop over the wire, but in practice no it is the same

[gilded sluice]

(Not sure if this is the right place to ask, but the EE question makes me think it is)

Has anyone here gotten Z3 to work with C++?

Whenever I try, it goes through an 8-minute compilation Building CXX object before saying Export ordinal too large

[torn willow]

Are you on Windows

https://github.com/Z3Prover/z3/issues/2385

[gilded sluice]

I am.

[gilded sluice]

And, dang. I took "closed" to mean "fixed" (therefore my issue was something else) - or alternatively that the "closed" on msys2 would fix the problem (therefore my issue was something else)

... actually, the READMEs have instructions for Windows.

????

[gilded sluice]

Since this doesn't give me a fix am I to assume that the only fix is to run Linux instead?
Or figure out how to get my Docker Desktop to not hang on startup

[torn willow]

Well docker is better

Linux is a pain to setup

[river moon]

I'm wondering is there a program for windows that can bulk edit the music file's metadata? I certainly don't want to type (or even paste) the data from each music file individually, currently I want to look at what name the song has and add that to that file's metadata

[river moon]

ah I guess foobar has that feature built in

[neat lintel]

hai

[gilded sluice]

I don't know how but literally every time I try docker I run into the same issue, eventually fix it, and when I think "maybe uninstalling and reinstalling will fix it" I've forgotten how to fix this exact issue

I'm on either the third or fourth loop of this cycle now

Haven't gotten to the "eventually fix it" part though

[tight comet]

I can try to see if I can make a docker work

[torn willow]

docker is weird on Windows

[tight comet]

Oh, but my docker would be wsl-based, not Windows based

Not sure if that's your setup too

[gilded sluice]

I already have wsl from ... I think the first cycle

I think I'm near the end of this cycle, though?
If it helps, docker run -dit ubuntu

Problem is that I can't get it to mount correctly

And I can't remember if I fixed the problem by getting Docker Desktop to use -dit or getting the command line to mount correctly

[long matrix]

docker

meow

[neat lintel]

Can someone tell me for what are those chanels help???

[rocky shuttle]

!help

[quasi jetty]

Please read #❓how-to-get-help

[long matrix]

channel descriptions exist

nani the hell

[neat lintel]

Ooooh

[rocky shuttle]

what the

[neat lintel]

Ty

[long matrix]

@leaden torrent !help brings up @rapid valve msg for some reason

assume admins only can fix

[woven whale]

!help

[quasi jetty]

Please read #❓how-to-get-help

[rocky shuttle]

only in #serious-discussion it seems

[long matrix]

no, its everywhere

[rocky shuttle]

oh, didn't work in #latex-testing and #bots

[long matrix]

its one-time

[rocky shuttle]

ic

[hasty leaf]

Why the hate... cat opinion

[long matrix]

i use it and im sick of it

anyways

[hot tusk]

Switch to Kubernetes

[long matrix]

...

You use docker to make the images

and you can deploy on kube

how do u switch when they are used together

[hot tusk]

You don't need to , Kubernetes has native support for Docker

[long matrix]

I know little about the sht ive been messing around with for the last few months, but sick of it already

infra

[rain bronze]

i feel like the best way to deal with angry parents is to act like nothing happened.

[rotund steppe]

he's not the culprit

[mint patio]

Don't know much about quantum computing

From the popsci articles I'm skimming

Are qubits analogous to like a single-core processor vs multi-core? But each "processor" is a single bit

But bits are just ways to store information, processors actually do stuff

So each qubit stores multiple things at once, that makes sense

BUt how does that increase computational efficiency? Is it like having two separate brains at once? Or rather like two separate people and you can get them to calculate two different things at once, but collectively they take up the space of one person

[versed parrot]

Easy

[gilded sluice]

HAHA

[gilded sluice]

I FIXED DOCKER

I fixed docker in the dumbest way possible

So I looked it up; powershell command history goes back, by default, 4096 commands.

The Get-History and History commands reset when you restart your computer, but if you hit up-arrow it keeps showing you commands from previous docker runs

[gilded sluice]

And if I've run docker on this computer before, the only logical solution is to hold up arrow until I find the command I used last time I got docker to run

(It worked.)

Also, I saved the command, but if someone looks through chat history for any of the following words (Yes, I'm using them like tags) hopefully my command will appear and they'll have their solution

docker run command
docker run -dit
docker run stopping immediately
docker run container
how to use docker volume

docker run --env=PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin --volume="C:\Wherever\The\Actual\Folder\Is\In\Windows:/What/You/Want/Docker/To/Name/That/Folder" --volume=/What/You/Want/Docker/To/Name/That/Folder -p 222:22 --runtime=runc -dit CONTAINER_NAME

[long matrix]

[gilded sluice]

What do you think I should have done?

[barren anchor]

you might consider putting together a cookbook for utility scripting like this.

[gilded sluice]

also docker didn't fix the problem, so. well. idk what to do now

[true glade]

have a look at this: https://www.techtarget.com/searchdatacenter/tip/Classical-vs-quantum-computing-What-are-the-differences#:~:text=In classical computers%2C algorithms need,a large set of constraints.

[neat lintel]

hmmm

[gilded sluice]

trying the visual studio method for now
20 minute nmake command, let's go

[neat lintel]

hi

[finite vessel]

hi

[cobalt tide]

Could anyone point me to some results about stabilization of abelian sandpiles in the sink-free case? I haven't been able to find much results online.

Most results I found have sinks in their setup

Or is it just not interesting to not have sinks?

[deep blaze]

Done any searches on fluid dynamics in a closed system? seems like the two relate on the dispersion of energy portion of the frame-work. Hope this helps https://www.mdpi.com/2311-5521/1/2/14

[cobalt tide]

oh, thank you! Tbh I was only searching for math papers haha

and I know nothing about fluid dynamics

but I will take a look

[deep blaze]

was watching a video on the dispersion effects earlier this week on the bell curving of sand in a capsule.

interesting stuff.

[cobalt tide]

Sounds interesting, but maybe a little bit too advanced for me haha

[cobalt tide]

could you reference me to the video?

[deep blaze]

It's chaotic flow, into order at a distal container i can't remember now if i see it again i'll reference it for you.

[cobalt tide]

ok no problem, thanks

[cobalt tide]

and I don't understand this unfortunately

[native drift]

hi

any1 like signal processing fourier series?

[deep blaze]

it had to do with statistician finding patterns recurring ended up being the simple normal distribution model, bell curves, but there was a container that caused it continually. I know that has something to do with it anyways good luck. I'll check back later if i find the video. physics stack exchange has a similar page to it "what kind of fluid is sand?"

[deep blaze]

I'm interested. Have you seen the new Additive printing machines for feedhorns with cross-sectional tunability?

Did some Satellite Comms stuff for a bit had to understand the basice of Fast Fourier tranforms in data processes. Fun with OSCOPES and SpecAnalyzers.

[native drift]

nope just googled its like a cnc machine ? more prescise?

[deep blaze]

oh yea are you programming?

or operating>

[native drift]

im not as smartas you but i have an oscope i use to tyrn and understand sound signals

[deep blaze]

nobodies as smart as me nor am i as smart as them it's life people are their own younique form of geniuos

what are you using the cnc for?

[native drift]

yeah chatgpt is smarter than all of us anyway

[deep blaze]

parts wise

lol not so people made it

it can calculate but machine haven't learned our greatest skill qualifying

machines@

[native drift]

whats that greatest skill they havent lrarned?

[deep blaze]

a bit is a bit a qubit is a qubit limited.

To qualify it's a unique human and rational treat an aesethic that will take 1000s of years even for a super computer to learn.

[deep blaze]

probably spelled asthetic wrong

hey book nerd what cnc'ing parts wise and how did you want to use Fouriers for that?

that is interesting

[native drift]

they just formally anounced chatgpt4 it can take image input now

[deep blaze]

for sure and it can fake artistic value

really cool stuff programmed by humans.

[native drift]

thats a human concept that holds no real substance

artistic

[deep blaze]

lol really cause i read alot and speak with alot of humans and i'm not so sure about that anyways cnc fouriers?

how do they relate for you beside machine tuning?

[native drift]

cnc fourier must be cool because you can generate any image and it cuts it our ad a 3d and now you have sculpting crazy

[deep blaze]

yea that is pretty cool it's actually some good maths

have you read the history of the man?

[native drift]

which man

or is that an abreviation

[deep blaze]

Fourier

how he got to the knowledge of it all was super cool, i'm rereading that now as we speak

[native drift]

oh yeah i forgot .. most of it but he fell down some stairs and died and i think he traveled with napolean?

helped withe roseta stone?

[gilded sluice]

Mmmm

Somehow I've spent all day working on this and I am now farther from solving the error

If I run it normally, I get export ordinal too large

If I try to run it on Docker, it complains about FetchContent not being a thing in cmake (and for some reason if I give docker cmake v26, which has FetchContent, instead of v10 which doesn't, CLion still thinks cmake is on v10)

[torn willow]

At this point just get linux

[gilded sluice]

I would rather program my own SAT solver.

Or figure out how to get my GPU to run Python code

because, believe it or not

I got it working in Python on accident while trying to get it working on C++

[gilded sluice]

I mean, realistically speaking, the SAT solver will be the slowest part of the code, right...?

[torn willow]

Yes

[gilded sluice]

https://developer.nvidia.com/cuda-python

Hmm...

I was gonna use CUDA C++ but ...

if CUDA python works and I have Z3 python I could just do that lol

Worst case it turns out the SAT solver isn't the biggest problem (actually pretty realistic since I'm running this with a semi-small amount of variables, just running it a lot of times) and I figure out what parts of python are "closest to the C++ code", if you will

[torn willow]

Do you have to use Z3?

Something like prolog might be a lot better to use

[gilded sluice]

As a quick background, there's a video game that's basically minesweeper but you only have to solve each situation once

My idea was "what if I just... solved EVERY solution"

Their validation method for checking if an answer is correct is Z3 so my first thought was to use Z3

But if Z3 is being this much of a pain (and/or if there's another SAT solver that's optimized for integer only variables) I'll gladly take that

[gilded sluice]

(for the record, doing this for the 2-situations someone else did on Python already. There's something like 11^15 times 80^4 total 4-situations so that's not possible. But I have faith in the 3-situations being brute-force-able)

Well, you'll probably need to invoke dark magic to solve all of the 3-situations. It's about 11^7 times 80^3 of those... Hence why I want to run it on my graphics card.

[gilded sluice]

*2-situations were solved in a day by someone just using the terminal and plugging python commands in before leaving it overnight

[gilded sluice]

I might look into prolog.

[torn willow]

Graphics cards are not optimized to do this afaik

[gilded sluice]

Yeah but hopefully it won't matter lol

If it ends up mattering then whatever I can just run it on my PC or whatever

[tight comet]

throw it to an online VM and check in once in a while

[gilded sluice]

Oh yeah, thought I'd share this note from when I was messing around

https://media.discordapp.net/attachments/616663640103190543/1087502665619091456/image.png

[tight comet]

I think you'll have to check if there's a root cmake and a usr cmake

[gilded sluice]

perhaps

[gilded sluice]

Perhaps I could also try to get it working on Java if it's not too hard

The two main advantages of Java are that I trust my knowledge of multithreading in java better and my knowledge of arrays better

Apparently the method to get it working in java is literally the same as getting it working in python but with the Java flag

[long matrix]

mrow

[hasty leaf]

Woof

[long matrix]

woof

[hasty leaf]

Meow

[split pawn]

From what I think technotanuki.

You are just maintaining a localised balance between meow and woof

[long matrix]

its absolutely horrid

there is no such thing

this is a cat server

[split pawn]

However, I highly doubt that they are balanced in the server overall

[split pawn]

Well yeah his belief is to balance them out yk

[long matrix]

well i think its silly

[split pawn]

#chill message

[hasty leaf]

Meow Woof equilibrium

[split pawn]

I think the equilibrium has shifted to the left

[gilded sluice]

[gilded sluice]

(meows in disguise)

[hasty leaf]

Woof

Sneaky cats

[stark pelican]

Man I’ve got this book from my dad

I’m literally on page 3 and I already am getting lost lmao

[gilded sluice]

Realistically I should be asking these questions to the programming discord server, but whatever.

Anyone know how to get the x64 command prompt for visual studio?
For some reason whenever I get Visual Studio Build Tools it installs the 32-bit version

or rather it gives me the 32-bit command prompt (and installs in program files x86, so yeah i think this is 32 bit)

[zealous garden]

that's an interesting problem. I don't use windows or visual studio so I can't help you

[gilded sluice]

Running nmake again just to make sure this is the 32 bit command prompt

(if it's the 32 bit command prompt building 64bit crap it'll throw an error and complain)

... I've run it for a couple minutes and it normally complains by now but it's not...

[long matrix]

cute

i would help if i could but infra is just

why cant computers n systems just like work

smh

[zealous garden]

My system just works

[gilded sluice]

it complained!

but only after about 20 minutes so not ideal

and once again i am split between two errors and I don't know which one is easier to solve
Either figure out how to get Visual Studio Command Line x64 working, or figure out how to get nmake on a normal x64 (admin?) command line

[hasty leaf]

Maybe check https://learn.microsoft.com/en-us/cpp/build/how-to-enable-a-64-bit-visual-cpp-toolset-on-the-command-line?view=msvc-170

It defaults to 32 bit for historical reasons I think .... and compatibility there was a time when 32 bit was dominant

[bronze pelican]

#1055183210444763205

[long matrix]

waw

yuwu

your alter ego is in disc

[bronze pelican]

What

[long matrix]

:yamin:

[gilded sluice]

Ironically this article was the answer, even though its link was already purple from the past 3 times i clicked it

Running nmake... Now to wait 20 more minutes.

[calm folio]

Does anyone have any idea how to webcam stream a dslr camera to a url on a pi?

Just from terminal

[hasty leaf]

Wha glad I sent it then ... I had a feeling it could be out of date.... tell me if any other issues come

[gilded sluice]

In the end it didn't matter

I encountered another issue - something about java.library.path?

Before you send help,
https://github.com/Z3Prover/z3/issues/1885

I already checked, IntelliJ 64-bit, cmd was 64-bit, nmake was run at 64-bit using -x (64bit flag), java is 64-bit

few other things I checked that I can't remember

-Djava.library.path=/path/to/z3/libraries didn't work either

[exotic tendon]

ask chatgpt maybe he can help u

[gilded sluice]

You challenge me?

I DID

[exotic tendon]

lol

[gilded sluice]

by far the most despairing thing is this:

https://github.com/epfl-lara/ScalaZ3/issues/42

only just now noticing that's not for z3 - which is also another issue, i looked up z3 and kept getting non-z3 answers

But if you'll note,

opened this issue on Jul 10, 2014

no comments

closed this as completed on Jun 18, 2019

So I had a think for a bit

And I estimated that it would be less effort to just run it on Python (I got import z3 to work in python) than it would be to fix Java

[gilded sluice]

Hence, "It didn't matter"

[gilded sluice]

I was right, by the way. Proved de morgan's law with Z3, though that's not too hard.

(to prove De Morgan's law, you just have to prove that its negation is always untrue, which... I'm just now realizing might be a circular argument but whatever. it shows that it works on semi-complicated systems without much issue)

circular argument* not proof by contradiction

though it is proof by contradiction

[gilded sluice]

Hololive fan

[long matrix]

wth

[storm sage]

<@&268886789983436800> ?

[leaden torrent]

@versed hound could you not?

[jovial ember]

Wow ppl can’t post hololive content…

Literally 1984

[gilded sluice]

No the hololive stuff wasn't the issue, I just noticed their pfp was shirakami fubuki and decided to call them a hololive fan if they were gonna call us gay

Or whatever

[leaden torrent]

this is a nijisanji sever 😤

[gilded sluice]

Bold move saying this when nijisanji cancelled one of its April concerts while hololive festival is happening

[leaden torrent]

i do not watch vtubers nor am i invested in feuds about them

hence i will pour fuel on the fire

to watch the shitshow from afar

[gilded sluice]

[hasty leaf]

Yeah I worked with Java in the past just stick with Py

[jovial ember]

Oh

[long matrix]

@vast wraith is this server public
#math-discussion message

emoji

[placid robin]

Quick question: I have found something that represents a number X by doing the following:

[fathom swallow]

animeonfire

animeonfire

[placid robin]

How do i even start to find solutions for x?

[river moon]

it's already solved in the last line?

[placid robin]

I'm just confused

[gilded sluice]

y=x?

[gilded sluice]

x^2 = x * sqrt ( x * sqrt(...))

therefore x = sqrt(x * sqrt(...))