serious-discussion

[jagged forge]

that said i am not sure what your point is, i’m just saying swapping stuff in and out of memory is very doable and commonly done in databases

[pulsar pagoda]

my point is people that advertise themselves as node developers are plummers with a hammer and they see nails everywhere

then again ive been doing that for the past 2 years

so i should change my linkedin

[jagged forge]

ah, prisma was the javascript orm i heard horror stories about

it implemented relational semantics on top of mongodb by just doing client side joins or something stupid

[pulsar pagoda]

best orm in node for mongo is mongoose

and for sql i used sequelize

but i only used it for the models

[jagged forge]

apparently prisma is like over 100 mb too

[pulsar pagoda]

its written in ts?

[jagged forge]

no idea, but i wager even if it were written in javascript it would be massive

[pulsar pagoda]

98.1 percent is typescript code

[jagged forge]

based on what i heard

[pulsar pagoda]

i rest my case

https://github.com/prisma/prisma

[jagged forge]

bro the problem is not typescript

the problem is they implemented a query engine client side

[pulsar pagoda]

the problem is not the language

the problem is the users

[jagged forge]

anyway go programmers do not like orm’s very much

[pulsar pagoda]

what, like rest has been a thing for the past 20 years

[jagged forge]

so i have never used one

[jagged forge]

by query i do not mean simple restful api calls

[pulsar pagoda]

so stateful calls that use aggregations and probably transactions to keep consistency?

[jagged forge]

maybe, it could be arbitrarily complicated

[pulsar pagoda]

i mean theres also the fact that people want acid properties out of mongo

[tame egret]

acid

?

[jagged forge]

no r word here

[pulsar pagoda]

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

[jagged forge]

atomic, consistent, isolated, durable

i think

[tame egret]

thx

[tame egret]

thx

[sonic sentinel]

its crazy to think that every single root in every language was made up by someone at some point

[pulsar pagoda]

@tame egret you want software engineering teachers to be afraid of u, take a databases book a really formal one and do the proofs

[tame egret]

ok 👌

[little vine]

https://www.smithsonianmag.com/science-nature/everybody-almost-every-language-says-huh-huh-180949822/

Reminded me of this interesting read

[tame egret]

huh

[sonic sentinel]

???

[tame egret]

huh

[solar hawk]

Talking about JS???

[tame egret]

no

[solar hawk]

:(

[tame egret]

idk how to do or in js

[solar hawk]

Wats or

[tame egret]

^_^

[tame egret]

and, or, not ...

nand

nor

[solar hawk]

lor

It’s lor

[tame egret]

...

[solar hawk]

I thought OR was a swe thing

Like agile idk

In JavaScript lor is “||”

Land is “&&”

Not is “!”

From those you can make the rest

For example nor a, b is “!(a || b)”

Xor a,b is “!(a && b) && (a || b)” iirc

xnor should be self explanatory from that.

[tame egret]

[tame egret]

thanks 😃

[neat lintel]

Bro It's joever

I made a shit trade

Lost $100

then my bank deposit bounced

Now i'm in margin call for $100 and I can't cover it because they want let me deposit from my bank account

What do

I was about to make the best trade ever

[tame egret]

[tame egret]

[jagged forge]

read this article: https://codedamn.com/news/product/dont-use-prisma

[pearl moth]

why are people afraid of sql

[solar hawk]

cuz it a language

[sonic field]

u sure?

[solar hawk]

yah

i prety scared to learn a language JUST for database stuff

smh that too much work

mongodeb exist.

[sonic field]

bruh wtf is that word

[solar hawk]

its

mongodb

[fringe summit]

Dont

[solar hawk]

its a company

[sonic field]

... mongolian debra cakes!

[solar hawk]

i dont care

[sonic field]

k

[solar hawk]

NO

I WAS A JOKE

IM SORY JAY

DONT BE LIKE THAT I WAS PLAYIN BRUH

[fringe summit]

[solar hawk]

❤️ 🫂

[sonic field]

-runs to math discussy-

[solar hawk]

😭

[fringe summit]

Anti amukh zone

[solar hawk]

you know i cant be talkin in there 😭

[solar hawk]

frr bruh

[fringe summit]

Talk about math then L

[solar hawk]

i have much bigger stuffs to do

than maffmaffics

[sonic field]

oh no

see

that's why you can't talk in there now

[solar hawk]

i almost failed my geo test today 💀

somehow i got points outa noware

[sonic field]

geo...metry?

[solar hawk]

yah

the last 2 questions was a simple 2x2 system of equations and a quadratic

but i got a fraction as an answer

but dw i got a 96

[sonic field]

then you didn't fail??

[solar hawk]

yah

[sonic field]

[solar hawk]

das wat im sayin

[sonic field]

shat yo

u no wut

[solar hawk]

one time in 7th grade

my calculator was spittin wrong answers

and i noticed

but like

if i didnt

[sonic field]

u alright bro?

[solar hawk]

yah

[sonic field]

looks like u havin a moment

[solar hawk]

i have geometry tutoring session in like 3 minutes tho

or maube its alg 2

maybe they will let me do whatever i want today

ware jay go

[solar hawk]

what moment

[solar hawk]

yah

[sonic field]

you jus stopped

[solar hawk]

the memory was full

[solar hawk]

oh

i make silly mistakes

[sonic field]

mis...take??

[solar hawk]

like 6 + 3 = 18

[sonic field]

but it does mod 9

[solar hawk]

ok.

[sonic field]

wut

[solar hawk]

i said ok

how do i find the kernel of like

this

p(x) -> p(i)

with integer coefficients

like

[sonic field]

what is p(i)?

[solar hawk]

p(x) is a polynomial with integer coefficients

p(i) is that polynomial at i

[sonic field]

i forgot what kernel is. ain't it like the roots that sends the polynomial to 0?

[solar hawk]

bruh

stop playing with me

so like yk how?

[sonic field]

???

[solar hawk]

arent u a grad jay

[sonic field]

-tag out- 😄

[solar hawk]

and arent u topo kid

[sonic field]

we have already talked about this 🤣

twice

LOL

[solar hawk]

abt what

u went to collge no?

[sonic field]

i am not talkin bout it again -sigh-

[solar hawk]

you ont have to

i literally already kno everything

but wasnt u doing munkres

[sonic field]

I talked about that too

but you know everything

🤣 🤣

[jagged forge]

bruh sql is like one of the most valuable skills you can learn

[solar hawk]

ok and

i can just

cook ppl my liquid cookies

make a living off dat

[sonic field]

guess i'll go learn some sql

[solar hawk]

but mongo?

[sonic field]

just because it's data base stuff

🙂

[solar hawk]

if i intern at one of those small

startups

they prolly be using prizma

[fringe summit]

This isn’t topology

[solar hawk]

prisma?

[jagged forge]

🧢

[solar hawk]

ye

but topo kid already usually knows

[jagged forge]

startups use Postgres and SQLite all the time

[solar hawk]

set theory

[sonic field]

and I am not a topo kid 🙂

[solar hawk]

ye but not all the time

[solar hawk]

topo old man

some startups use python too

[fringe summit]

The MH frontier server emulation runs on Postgres

[solar hawk]

ill stay away from them

[fringe summit]

This isn’t a joke also it can run a whole mmo

[trail sand]

The what

[solar hawk]

ok

[fringe summit]

Monster hunter frontier

[jagged forge]

but Postgres isn’t web scale like mongodb!!1!

[trail sand]

Oh is that a video game

[fringe summit]

Literal mmo that people made a server emulator for since official servers died

[jagged forge]

https://youtu.be/b2F-DItXtZs?si=__BCv3Fw99K3cbP7

[fringe summit]

Handles large scale servers too

[sonic field]

did they really? That's p wild

[fringe summit]

Yeah some polish guy

[solar hawk]

LMAO

i watched this

[fringe summit]

Basically rewrote the whole server

[sonic field]

dang

[fringe summit]

Including implementing of a lot of serverside stuff

Like Ravi

I forget if they got Diva yet

[solar hawk]

dawg 🐶

but why

is it bad to microwave cheese?

[sonic field]

ain't you supposed to be at tutoring?

[solar hawk]

i am.

its online tho

[sonic field]

i'ma tell on you

[solar hawk]

nah

ill capture ur dog

[sonic field]

and get bit

[solar hawk]

ok

try me dog

we're doing isomorphisms in class today

[sonic field]

what's an isomorphism?

[solar hawk]

same strucutre

ik ur messin w me now

[sonic field]

what that mean?

[solar hawk]

bro

stop doing that

[sonic field]

i can't ask questions? 👀

gawdang i wanna larn too

[solar hawk]

ask a qualified person tho

plus u literally know what it is.

[sonic field]

you jus said you learning it wym

[solar hawk]

exactly

i learnin it

u learnin it

i aint qualified tutor

[sonic field]

y i can't learn it from u

[solar hawk]

the AP spanish kids tutor the 8th grade spanish kids

[solar hawk]

cuZz i aint kno it enuf to teach it

is an invertible homomorphism whos inverse is a homomorphism @sonic field

it preserves intracit structures

happy

[sonic field]

can you give me an example?

[solar hawk]

ye

take R^2 and like.

C over R

they r isomorphic

[fringe summit]

Thinking about how fun it will be to castrate a bull

[solar hawk]

cuz they have isomorphism

[solar hawk]

cut off its balls?

[fringe summit]

Yes, very good one

[solar hawk]

whats castrate mean

[jagged forge]

what u said

[sonic field]

what C over R mean

[solar hawk]

ok tanks

[solar hawk]

idk

C being vector space over R means

its scalars cum from R

or whatever it is over.

like V over F means

when u scale the

vectors in V

u use scalars in F

like v \in V, 2v

2 is in F

dont ask me what \in is jay

[sonic field]

no no i know what that mean 🙂

[solar hawk]

ok good

[sonic field]

so what's a homomorphism?

[solar hawk]

its a map that preserves some structure

specifically like

operatiosn n stuff

[sonic field]

so

[fringe summit]

https://tenor.com/view/mmm-orage-juice-mmm-orage-jucie-jucie-gif-21385052

[sonic field]

f(a*b)=f(a+b)?

[sonic field]

LOLOL

[fringe summit]

This is how it feels

[solar hawk]

no

that aint how it be workin

so basicaly like

[sonic field]

ohhhhh i get it it's

[solar hawk]

ye

[sonic field]

f(a*b)= f(a)*f(b)

[solar hawk]

but

[sonic field]

ok gimme an example plz jay dumb

[solar hawk]

use ⭐ instead

cuz like

its easier to see

cuz otherwise it look like multiplication

yukiwm

[sonic field]

f(a ⭐ b)= f(a) ⭐ f(b)

[solar hawk]

mhm

but

also like

🚌 too

like if u have 2 operations

ykwim

[fringe summit]

Amukh have you shown a bijective hom has its inverse be a homomorphism

[solar hawk]

no

im only a kid

[fringe summit]

This is ez

[sonic field]

f(a ⭐ b)= f(a) 🚌 f(b)

[solar hawk]

no

no jay

the bus will kill the star if it hit it

u dont wan that to happen right

[sonic field]

dawg i'm jus tryin to understand these gruop things

and these homomorphism things

[trail sand]

So

[solar hawk]

f(a⭐ b) = f(a)⭐ f(b)
f(a 🚌 b) = f(a) 🚌 f(b)

[trail sand]

What am I witnessing here

[solar hawk]

right @fringe summit

[solar hawk]

jay forgets his memory again

i cuda swore jay explained this 2 me onc

[sonic field]

when LOL

[solar hawk]

when u were good at math

[sonic field]

when was that 👀

[solar hawk]

that wanst a hit at u jay

ur old

[sonic field]

how u know

[solar hawk]

its okay to froget

[sonic field]

so

according to what you said

[solar hawk]

ok good job jay

gold star

now pls go back to old jay

[fringe summit]

Brain damage moment, spent too long in discussy

[solar hawk]

lmao

[sonic field]

If a,b \in Z, and we have f: Z ->Z then f(a+b) = f(a) + f(b)

[solar hawk]

my english has become significantly worse too after spending time in mathcord

LIAR

I KNEW IT

I KNEW IT

[sonic field]

???

[solar hawk]

fkin bich

u didnt forget nthn

[sonic field]

WUT U MEAN

you showed me

[solar hawk]

"ughuh amuk show me hom morfish"

proceed to type math like a gorwn up

[fringe summit]

Trolled and gaslit

[sonic field]

ain't that what you just said tho LOL

[fringe summit]

Possibly even goaded into explaining things

[peak tide]

amukh!

[sonic field]

I jus need my algebr and stuff and he said isomorphisms

[peak tide]

did you master ring theory yet

[sonic field]

and i got excited and wanted to learn

[solar hawk]

nah

jay STOP LYINGH

[sonic field]

booli

[trail sand]

An isomorphism is effectively the correct notion of equality in most of mathematics

[sonic field]

tellem cat I'm bad at math

just trash, teach me wat u learnin

[trail sand]

Isomorphisms give equivalences between structures

[solar hawk]

stop lyyyying

[sonic field]

LOL

[solar hawk]

where did the old jay go

[fringe summit]

So long as it’s a good isomorphism

[solar hawk]

i miss the old jay

I HATE YOU

[trail sand]

Are you really nerd reacting that

[fringe summit]

Yes

[trail sand]

I am not wanting to explain naturality here

[fringe summit]

[sonic field]

wtf is naturality

[trail sand]

But I think this is a good introduction to isomorphisms if the person does not know categories

[fringe summit]

Amukh does not need categories in the slightest

[trail sand]

An isomorphism is a general term for a structure preserving map with a structure preserving inverse

[solar hawk]

bro

we know

[sonic field]

OK so let A and B be sets. Then they isomorphic if they have the same shape.

[trail sand]

For example, homeomorphisms

[solar hawk]

im dumbing it down for jays acting.

everyone here knows about isomorphisms

[fringe summit]

Weak equivalences

[solar hawk]

jay STOOP

[trail sand]

I'd doubt this to be honest

[solar hawk]

STOOOOOOOP

[solar hawk]

y

its only me, u, sharp, and jay

and suremark

[trail sand]

This discord tends young

[solar hawk]

sharp and suremark are pros

[trail sand]

Ahh you mean in chat

[solar hawk]

ye

[fringe summit]

Amukh is definitely young

[solar hawk]

sharp and suremark could solve RH

[solar hawk]

im liek 15

[fringe summit]

So is moth, who is like 3

[solar hawk]

whos moth

[fringe summit]

[trail sand]

I'm curious as to your stance on whether these are really isos or not

[sonic field]

dat monster

[solar hawk]

ware

JAY

omg ru back

[sonic field]

who up in there learnin them knots and junk

back from wat

[solar hawk]

ok can u explain me open sets jay

[trail sand]

And just "it depends on setting" is boring give me something meatier

[fringe summit]

Yeah obviously, in hoTop

[sonic field]

I can try

[solar hawk]

ok

wait.

if there is an operation

[sonic field]

think about a door that isn't closed.

[fringe summit]

Also I’m not a geometer so weaker equivalence is good

[solar hawk]

and an open set has 0

and 1

what operation makes it closed?

[fringe summit]

$A \equiv_0 B$

[fathom swallow]

Dragonslayer Sharp

[fringe summit]

Lesssss gooooooo

[trail sand]

As a geometer [citation needed] it is still good.

[solar hawk]

jaaaaaaaay

[fringe summit]

Real

[sonic field]

wut

[fringe summit]

If it’s not preserved up to homotopy it’s got nastiness

[solar hawk]

geometer?

whats a geometer study

[sonic field]

geometry

[solar hawk]

no shit

[sonic field]

y u ask then lol

[fringe summit]

There’s some model theoretic geometry you can do

[solar hawk]

a mathematician studys math in undergrad?

yes? but specifically

[sonic field]

they don't have to?

[solar hawk]

usually some set theory, some algebra, some anal

[solar hawk]

ok fine

a math major

pedantic old man

[sonic field]

rofl

[trail sand]

o-minimality?

[sonic field]

you asked what a geometer was i told ya

[solar hawk]

ok fine

[sonic field]

what you want a fancy pants answer?

[solar hawk]

ill just answer ur questiosn with stupid answers

"wats an isomorfishism amuk"
"its an isomorfishism."

[fringe summit]

Worse

o minimality is similar, but uh

[sonic field]

A geometer is a mathematician that studies geometry. This could be anywhere from Euclidean geometry to hyperbolic and elliptic geometry. Mathematicians are currently interested in other fields that have been "recently" developed such as algebraic geometry, tropical geometry and differential geometry. Each in their own right carries prerequisites to understand the material, such as basic set theory, analysis, some algebra, and topology and perhaps some form of types and category theory.

[fringe summit]

You can do stuff with like, algebraic closures, algebraic bases, strong minimality

[sonic field]

There, happy?

[fringe summit]

Or stability stuff

[solar hawk]

😠

[sonic field]

wut do u want LOL

[trail sand]

I don't have the slightest clue what this means sharp

Is this done using model theory on the ground field?

[solar hawk]

i want jay who helped me with amth again

[mental stratus]

uwu

[solar hawk]

stop acrting like me jay

[sonic field]

LOL

[sonic field]

[solar hawk]

im bad at math, ur good at math. thats nature

dont be changin that

[sonic field]

nature?

[solar hawk]

yea

okay bro

🔫

[sonic field]

Thanks! I'll take that

and go do somethin fancy with it. like idk calculate the trajectory of the water or somethin

add in some windspeed vectors

lil bit of air resistance to spice things up

[solar hawk]

ur welcome

now we back

[sonic field]

maybe some continuum mechanics. we'll keep things incompressible tho

[solar hawk]

physics jay!

[sonic field]

wym

smh

[solar hawk]

wym smh

like wat dat mean huh

[sonic field]

I still wanna know

is Z isomorphic to Z

[solar hawk]

bruh

wat u think

[fringe summit]

Model theory, not even on a field

[solar hawk]

cuz idk

[sonic field]

idk dawg you said it preserves structure

[solar hawk]

prolly

ok and

[sonic field]

like what if they different Zs

[solar hawk]

Z has same struct as Z???????????????????

i hate you

what happened

[sonic field]

like Z_4 and Z_7

[solar hawk]

u had more heart atack?

[sonic field]

LOL

[solar hawk]

gave urself away huh

[sonic field]

how u prove they isomorphic

wym

[solar hawk]

but they literally arent

[sonic field]

they're not?

[fringe summit]

I need to learn more model shenanigans, so that I can meme about it more

[solar hawk]

bro

[fringe summit]

Horrible

[sonic field]

here my dumb self was thinkin endomorphisms were new

[solar hawk]

wdym new

[sonic field]

idk

i barely understand a isomorphism wym

[solar hawk]

prolly new for you after your apparent drive reset.

[trail sand]

I would like to learn model theoretic techniques at some point

Not soon though

[solar hawk]

idek what an endomorphism is anymore

like a hom with same domain as codomain

or smthn

[trail sand]

Yes

[sonic field]

and what's an automorphisM?

[solar hawk]

the same thing

except

isomorphism

[sonic field]

??

[solar hawk]

not homo

[fringe summit]

I only know babby model stuff still

[solar hawk]

teppa?????

[sonic field]

NAH TORTERRA

[solar hawk]

what was dat

[sonic field]

I SAW THAT

LOL

[solar hawk]

I SAW THAT TOOO

LMAO

[mental stratus]

teppuh

[fringe summit]

https://tenor.com/view/i-saw-w-gus-fring-gus-gustavo-deleted-gif-25440636

[mental stratus]

don't shout

[solar hawk]

ok minimod

[trail sand]

Automorphism is an isomorphism from the object to itself

[sonic field]

[mental stratus]

patience is key

[sonic field]

-stares at torterra-

[solar hawk]

bro tteppa sweating rn.

[fringe summit]

Strongly homogenous models

[solar hawk]

didnt think we'd see

jay

why did u so true that?

did you understand

i knew u was lying

[fringe summit]

Why salad

[solar hawk]

i knew it

[trail sand]

For the time being I will pretend this is not real and go on with my day

[solar hawk]

stop asking me questions

[sonic field]

dawg LOL u trippin

[solar hawk]

no U trippin

trippin over ur shoes

over ur laces

[trail sand]

As in word salad, teasingly

[sonic field]

-sigh-. well one day I'll prove that Z_4 isnt isomorphic to Z_7 since amukh said it's not

[fringe summit]

Ah it’s not that bad, λ-strongly homogenous means that for any pair of length < lambda list of elements s.t. (A, bar a) \equiv (A, bar b), then there’s an automorphism sending bar a to bar b

[neat lintel]

?

[sonic field]

u know wut u did.

-grabs the automorphism back and pats on head-

[fringe summit]

And strongly homogenous (no lambda) is |A|-strongly hom.

[trail sand]

Isomorphisms of groups are bijective

[trail sand]

I believe I've seen something like this in terms of model theory games

[solar hawk]

its cuz

it aint

[sonic field]

but WHY

I need to know.

[trail sand]

I think continuing to engage with this is not in my best interests

[solar hawk]

cuz

they dont

have the same numnber OF ELEMENTS

[sonic field]

why you ain't just say that earlier

[solar hawk]

becuz

ik

yk

wk

that yk,

[sonic field]

wait why does that matter

[solar hawk]

isomorfishisms

[sonic field]

like we can just do like

f(0)=0, f(1)=1, f(2)=2, f(3)=3, f(4)=0, f(5)=1, f(6)=2 then it's ok right?

[trail sand]

what's the inverse of this

[solar hawk]

bro no

its a bijection

one to one

ok

[trail sand]

Jay, can you make an inverse map

[sonic field]

OHHHHHHHHHHH

[solar hawk]

like

if ur gonna set them up on dates..

u dont want 1 messin around w 2 of them after bruh 😭

its one to one

i could properly explain it

with effort

but i will not

cuz ik jay already knows it

[sonic field]

you must think I know everything huh

jay don't know nothin

[solar hawk]

fr

[trail sand]

uh

[solar hawk]

cuz u do kno everthing??

u teached me all sorts of maths

[sonic field]

not even a lil

df i teach u

LOL

[solar hawk]

idk wat u even doing this week bruh

whats df

WHY U ALWAYS TAKING ABOUT DF

[sonic field]

🤣

[solar hawk]

WHATS DFFF

😭

:knfie:

[sonic field]

wtf* my gawd

[solar hawk]

🔪

🐟 tell me

[sonic field]

see you got a knife in discussy that's y u can't cook now

[solar hawk]

LMAO

how u remember i cant/can cook

but u cant remember isomorphisms

[sonic field]

cuz we talked about it? LOL

look man don't try to stop my desire to learn

[solar hawk]

YEAH HOW COME U FORGOT EVERYTHING ELS

bro learn smthn that u dont already know

like differential topology

[sonic field]

I am, isomorphisms

[solar hawk]

ur mean

[sonic field]

oh diff teo? let's go

aight teach me some diff teo then let's get this

we'll start here

[solar hawk]

leave me alone

im not talking to u unless u stop

[sonic field]

._.

[solar hawk]

ur mean

[mental stratus]

Smoothy

[fringe summit]

But uhhh the watchamacallit

[sonic field]

we like smooth maps 😄

[fringe summit]

It’s not Ehrenfrucht-Fraisse games quite but it’s related

I can’t remember the name

Scott-Karp?

Idk

[trail sand]

Ahh yes I believe it was these EF games

[fringe summit]

EF do it for finite lists

[trail sand]

they formalized aspects of it in terms of lenses

[fringe summit]

Except EF_\omega

That one is screwy and rather strong

But you can do arbitrary A ~_\alpha B for ordinal \alpha via induction

A ~_0 B iff A \equiv_0 B iirc, then for t+1 start asking if you can pick an element on either side to have (A, a) ~_t (B, b) regardless of which you pick first

This is gonna be bounded above as far as when it stabilizes for obvious reasons

[trail sand]

So transfinite induction

[fringe summit]

Since |A| kinda is an upper bound on just asking it to be the same

[solid snow]

higher dimensions are making my brain hurt

[fringe summit]

And that’s the uhhh Scott Rank

[trail sand]

If I remember correctly for finite models indistinguishability under EF is akin to inexpressibility in FOL?

[fringe summit]

Then you can get a formula in like, L_{\omega_1, \omega} such that uhh

[trail sand]

If there's a winning strategy for the interrogator then it is FOL-expressible?

I am likely misremembering this statement

[fringe summit]

B models the formula associated to A iff B \equiv_\infty,omega A or smth?

Uhh idk the finite model statement there

For countable ones, the second player winning means isomorphic for the EF_omega game

iirc

[trail sand]

ah

[trail sand]

This is a little much for me right now

[fringe summit]

The latter corollaries are how this stuff characterizes countable (or smaller) models?

[fringe summit]

But stuff not being definable or being indiscernible by some manner usually stops FOL from seeing it

FOL is pretty weak in that regard

Considering you’ll notice you get all kinds of wacky things with infinite models, since this only guarantees unique countable ones

Shelah (as usual) has some cursed results in that direction

[fringe summit]

Same tho fr, would be nice if they had a model and/or logic reading course here at least

[trail sand]

By here you mean your university, correct?

[fringe summit]

Ye

Though online things would be helpful all the same

I need to remember to toss the idea at a professor or two that I’m at least amicable with

.remindme 150m print out the pde article

[quasi jetty]

Created reminder print out the pde article (#serious-discussion message) for <t:1695347576:F>

[meager sonnet]

the pde article

[fringe summit]

If nothing else, I’m bringing leverage to fuel a reason for it

[fringe summit]

Yeah something something nonstandard methods for pdes

Which also applies essentially immediately to stochastic-y ones with an appropriate interpretation iirc

Which, if necessary, can be used for a pitch on a potential model-y reading course focused on continuous stuff or nonstandard stuff

mm yum

[neat lintel]

My math questions are too advanced for this server

[pulsar pagoda]

@fringe summit once upon a time i was a first year math mejor, i asked my seniors for an application of galois theory, they answered galois theory

[fringe summit]

Not a chance

[raven plaza]

How does one prove the Riemann hypothesis

[pulsar pagoda]

i can finally say it lads i have coauthorship of My first paper

[jagged forge]

compute BB(20)

[pulsar pagoda]

not math though

[jagged forge]

and then run the turing machine that halts iff RH is true for BB(20) steps

[raven plaza]

I have co-authored many papers

Where co is dual

[pulsar pagoda]

is this a math logic joke i aint getting?

[jagged forge]

it's just a category theory meme

co<thing> is just <thing> but with the arrows reversed

[jagged forge]

also congrats, what is it on

[pulsar pagoda]

approximate computing

more specifically benchmarking the perfomance of different HLS solutions in fpgas

with a Focus on quantized neural network layers

the models we're provided by the phd student i worked at the Synthesis of the solutions in fpgas

[pulsar pagoda]

i'm still doing real analysis

after that i have the proofs on My linear álgebra book to work on

[jagged forge]

i think people usually learn categories in abstract algebra first

[pulsar pagoda]

mm, inst that where You study sets based on the algebraic properties of the operations of those sets?

like a ring should have 2 operations

and operations have to satisfy this properties

maybe a ring doesnt have 2 ops

[jagged forge]

yeah, stuff like groups, rings, and fields

[pulsar pagoda]

i'm guessing

[jagged forge]

you have the additive and multiplicative inverse operations which are like unary operators, so 4 i guess?

but yeah ik what you mean

that’s just pedantry i suppose

[pulsar pagoda]

like i have the intuition

i just have not gone through a proofs book of the topic

right now i'm spending My free time in analysis

[jagged forge]

i never took anything above linear algebra in school (i was not a math major or even a stem major for the majority of my education)

so i will probably have to revisit analysis at some point

i have done 3 chapters from baby rudin

[pulsar pagoda]

i'm on chapter 3 from sherbert

and i do exercises from other books

mostly abbot

[fringe summit]

Additive inverse is there, but you can get away with it being a universal statement, whereas multiplicative inverse isn’t one

[jagged forge]

ohhhh okay, that makes sense

[pulsar pagoda]

so the integers are a ring

?

[jagged forge]

yep

they are a pretty important ring

[pulsar pagoda]

i would get on top of that ring if i could

ngl

[jagged forge]

https://tenor.com/view/what-do-you-mean-by-that-druski-gif-20560325

[long matrix]

dividing 0 needs to be allowed

[marble delta]

I just realised why do we say yoo-clid instead of oy-clid

[jagged forge]

cuz euclid is greek and not swiss

nor german

[long matrix]

oyrup

[quasi jetty]

@fringe summit asked to be reminded <t:1695338576:R>: print out the pde article

[long matrix]

.remindme 100days end the world

[solar hawk]

Woaaah

.remindme 30 minutes go to sleep bitch this is why your sleep schedule is shit and your grades are shit go drink a lemon

No way that works

Why does the bot do so many random things

[long matrix]

@solar hawk

[solar hawk]

I said it didn’t feel like one

[long matrix]

u will bow to slurp

[solar hawk]

Tex isn’t programming \neq Tex isn’t a programming language

especially given the context

Of note taking in class at the speed of speaking

[long matrix]

maybe its just u whos not programming tho

[solar hawk]

Yea no he isn’t doing programming shenanigans

Press X for doubt

Like

[long matrix]

\def\repeated#1#2#3{\ifnum #1 > 0 #2{\expandafter\repeated\expandafter{\the\numexpr #1-1}{#2}{#3}} \else #3\fi}
\def\test#1{{{#1}_{#1}^{#1}}}
$\repeated{7}{\test}{\blacksquare}$

[solar hawk]

Is writing HTML in a string inside JavaScript and then appending it to the DOM really programming

I mean technically it is

JavaScript is a programming language

No?

[solar hawk]

That’s cool shuri

I’m sure that’s what the dude was doing

In the context

In his classroom speed typing trying to keep up with the professor

That is perfectly sensible

[rapid briar]

Did you draw that

[solar hawk]

Draw what

[rapid briar]

That

[rapid briar]

This

[little vine]

If you replace w with t in what, where, and when you get the answer to those questions

[solar hawk]

No

[neat lintel]

Are there any good websites for practicing calculus 2 topics?

Like something I can use to solve 10-20 problems every day so i don't forget anything I have learnt

I'm on track to complete my college's calculus 2 course in a week, so i need something that'll help me not forget everything for the final exam which is in 3 months

[fringe summit]

Idk khan academy

[little vine]

My best advice would be to pick up an old edition of Stewart

If it needs be online libretexts or Paul online notes or something

[fringe summit]

PDE paper printed

All 54 pages

[white spindle]

for example we are having 2 factor verification and so forth...

you will need live to demo this, we have 2 factor verification in the 84kb of the sha solutions

[jagged forge]

uhhhh what exactly is this and what is it supposed to do

[white spindle]

huh it is some encryption in electrical engineering/modular

you for example could use the SHA to secure a door or a chest

[jagged forge]

this is an encryption algorithm?

[white spindle]

there also are some blockchain solutions, these hold a specific signal for some time, but yea it is mainly some encryption and other solution

[jagged forge]

why is it on dropbox and not github

[white spindle]

huh it is 33mb, too big for github

github only allows 25mb

[jagged forge]

i definitely have repos with >25mb files

[white spindle]

huh well my github is really cluttered i don't want to link it

[jagged forge]

haven't you heard it's not good practice to roll your own encryption either.....

much less one that is on dropbox with very little exposure

are you actually using this

[white spindle]

huh i just was using some other stuff of this theme today, a pong game

i have been brainstorming and have some idea of accumulator now which can cause 2d

most of this is 1d so that by introducing a polyphonic accumulator i might have 2d to some of these games but they are not linked

for example i had thought if we have a polyphonic accumulator signal 1 we start at accumulator 4 and a 1,2 accumulator 5 and 1,2,3 accumulator 6 and accumulate 5,6-6,7-7,8...

this gives 3 degrees of magnitude to the velocity vector and the end of accumulator signal may signal the blip to erase in progression in scan 1 and goto line 2...

thus introduce ultra frequency, the effect can be layered with two sets of accumulators at each step of the sequence and then the effect even wobbles the blip...

furthermore the DC frequency bound can be wired with a direct variac or DC control to the level of delay sequencer delay downward so that the puck has a velocity which tracks

[jagged forge]

idk what this is but it doesn't sound like encryption

[white spindle]

huh i am sorry, the encryption is different, that is what i was working on today which is therm based physics as for pong, the encryption uses affinity...

by allowing the signal only when the encryption stressor is given, the effect allows for the encryption method (a typical audio effect) to be detected as the sole input

for example with a 1,2 substitution & a -18dB test we see that the effect only yields a signal when a very loud stressor is given so variously the encryption is similar to affinity

[jagged forge]

so how can i use this to encrypt my sensitive data

[white spindle]

well, get somebody to write down the sensitive data then apply the not-provided encryption method (only decryption solutions are given)

[jagged forge]

[white spindle]

this will mean that you only can access the data if you have the decryption method

[jagged forge]

so how is this supposed to be of any use exactly

[white spindle]

ha sorry this is a modular not a computer process

[wild flower]

Hello

[jagged forge]

what is a modular

[wild flower]

Are you good at math

[white spindle]

modular synthesizer good sir

[jagged forge]

so this is for making music?

[white spindle]

huh, no it is done a different style than music, this is meant to demonstrate how you can put a use to a specific item that is just very small, the individual iota...

basically by using the set of solution of iota, the use itself of the iota can be measured so that you for example add an iota and the system responds dynamically...

[jagged forge]

so this is like some kind of controller that responds to input..... in the form of a synthesizer

and uhhhhh.. what is this supposed to be used for

[white spindle]

yes very apt, you got effectively with a superset of all solutions a rig which lets you use any of ableton's effects simply by dropping in between and modifying, as a controller, which every effect does something different

um anything engineering can be used for

[jagged forge]

also if this isn't encryption why were you mentioning SHA and 2-factor verification earlier

[pulsar pagoda]

i think hes trolling

tbh

[white spindle]

huh, that is different method of encryption, the delayed amplitude phase integral

that is totally separate page of text, this is the SHA versus the medicine which i had more labeled akin to affinity than encryption

that delayed phase, that means we are waiting a specific time and getting a specific portion, so we are able to sense for a particular input

too long, invalid, not correct phase of amplitude, invalid - this means that we can generate valid if we have detected valid and generate invalid if we did not detect valid

thus, you are locked out if you do not have the correct measurement, but can distribute it if you have the valid measurement

[fringe summit]

Is this a crypto miner

[white spindle]

nope

[wild flower]

What are y’all talking about here

[neat lintel]

ym theory

[white spindle]

huh just my modular synthesizer i was working on

[fringe summit]

Why is it “SHA-Style”

Ransomware?

[wild flower]

What’s ym

[white spindle]

i am not sure, just trying to market it well haha

[fringe summit]

Yang Mills

[fringe summit]

Sounds very suspicious

Surely nobody would use buzzwords they have no idea of the meaning of

If they were peddling sussy programs

From Dropbox

[white spindle]

yo this is just a patch notes for modular not a program, it runs in standard environment not like an exe or anything

[fringe summit]

not a program
runs in a standard environment

If it runs it can do stuff

[white spindle]

well, this is very similar to a electronic door control for what its worth

[pulsar pagoda]

hes trolling

definitely

[white spindle]

well i am not trolling but i guess maybe this is more a pure maths discord

[jagged forge]

there are people here into applied math, like me

but i have no idea wtf you are talking about to be honest

[fringe summit]

Why tf is it called SHA Style

[pulsar pagoda]

his sentences make no sense

to me either

[fringe summit]

That’s because it’s GPT prob

[pulsar pagoda]

yeah

[white spindle]

SHA style because SHA is just measuring the correct SHA key to be the correct key

[pulsar pagoda]

have u tried making gpt proof the existence of square root of 2

its hilarious

[fringe summit]

Bro have you ever looked at the SHA algorithm

[pulsar pagoda]

like do you even know whats public key criptography?

[white spindle]

all that algorithm is the rungler, not what is actually lurking which is that valid SHA = valid key

[jagged forge]

the rungler?

[fringe summit]

[jagged forge]

responded to the wrong post oops

[fringe summit]

The R U N G L E R

https://tenor.com/view/onceler-illumination-hes-so-hot-slash-hj-once-ler-the-lorax-gif-10899120683476473829

[white spindle]

yea what u are looking at when u look at a white paper is totally surface detail, specifically if i go look at wiki on SHA it is going to tell me about how it is cooking the signal not how SHA is vurnerable where one loose SHA unlocks whatever space it secured to everybody

[pulsar pagoda]

@fringe summit this is more schizo than that paper i passed u the other day

tbh

[white spindle]

all that is just the accumulator of the problem, there is no like, flow chart of operational security on wiki about SHA

[fringe summit]

[jagged forge]

what does operational security have to do with sha

to be clear it's just a hash function right

[pulsar pagoda]

yes

but depends on the version ur using

u know if the encryption is considered secure or not

[jagged forge]

SHA-256 and SHA-512 are prone to length extension attacks. By guessing the hidden part of the state, length extension attacks on SHA-224 and SHA-384 succeed with probability 2^−(256−224) = 2^−32 > 2^−224 and 2−(512−384) = 2^−128 > 2^−384 respectively.
why did they say 2^-32 > 2^-224 and 2^-128 > 2^-384

also 2^-32 seems bad but 2^-128 seems...... not that bad?

i guess you can make specialized hardware to crack these things tho

[white spindle]

see but that metric of bits implies that you are having the function i described in my initial post, valid key = access, that was fulfilled by some of the initial post's assets

[jagged forge]

still 2^-128 is like, 10^-38 lmao

[white spindle]

by having to increase more and more bits you are just doing the same thing, valid key equals access, which my initial post does fulfill - i guess that the problem is that my SHA is just 1 bit

[jagged forge]

1-bit SHA

[white spindle]

yes, that is what it was!

[jagged forge]

is it even sha at that point lol

[white spindle]

no, it is just a door lock!

[jagged forge]

then y talk nonsense about sha and 2-factor auth

[white spindle]

but sha style

door lock is sha style, uses a valid and invalid response - similar to a key based encryption like SHA

[jagged forge]

i mean

that's similar to SHA in the sense that it has 1 and 0

[white spindle]

hey uh lemme get some snackaroos i will be right back, so hungry

hey sorry so parched just needed to get some coffee

soo, the reason i said it was SHA style that as well as the 0 and 1 you have with the whole system a trend which extends to arbitrary bits, and is extended to 0 1 2 in the product

[faint meteor]

pew pew

pew

pew

[white spindle]

this was inspired by the use of fleecia in the original asset build which was similar to the original shark register but required to have a valid medical purpose at the 2 output, before the 0 1 2 was not possible, only 1 2 or 0 1, with the use of fleecia you have the ability to translate between 1, valid 0 1, and 2

[faint meteor]

pew?

[white spindle]

thus you have pay grades which are there which the SHA ultimiately does imply pay grades and even premium access

[faint meteor]

BRRRRT

[white spindle]

anyways guys i will go ahead and get back to work, i am not trolling you the technology is good in there original post

[jagged forge]

ok

[white spindle]

haha cool small cat i actually am something similar moon cow pig

[white spindle]

yo guys i got you an update on the pong i am doing, we had taken that idea of a polyphonic accumulator to a monophonic accumulator and finished most of the pong v2 where it bounces off the walls, however it appears so to speak i have confused some vectors direction/positive negative, so it is not quite behaving as it should. for example the ball loops back at the player immediately and it requires a smash hit to make the ball volley requiring two inputs... definitely the former one dimensional version works easier but there is at least some evidence of the blip bouncing off the walls on what i have been working on

[sonic field]

wat 👀

[neat lintel]

Today I joined several groupchat around Yau's free course. I met lots of chinese math studier there. Including ones from Tsinghua. Just out of curiosity. Is it possible that Chinese students in china are smarter than average american top school student and therefore leading chinese maths research to be better than US few years after?

[echo tundra]

How are you generalising something when you have just met a very particular set of people?

Also who is Yau? Some mathematician, never heard of the name before

[slow rose]

I think he refers to Shing-Tung Yau. He is a professor at Tsinghua. The Calabi-Yau manifold is named after him.

[raven plaza]

Guy got fields medal

[solar hawk]

Jay!

Ru drink coffe today

Hmmmmmm

[mild hill]

hii

guys

[trail sand]

China's grade school mathematics curriculum is generally considered to be better than the US, and mathematical literacy is also generally higher. However, this, as stated, is a stretch.

[jolly trout]

Imagining solving the hard part of the question easily and then not being able to solve the easy part

[zealous garden]

I am

[sonic field]

I am brewing it now

mixed 2 of them together, hazelnut and vanilla grounds, got my stevia ready and just a pinch of oatmilk creamer

bout to be bomb

[solar hawk]

Damn

[neat lintel]

ew

[solar hawk]

Sthu don’t ew jay

[neat lintel]

ew

[split pawn]

Hi d2

@trail sand

'The earth is flat"

[burnt warren]

hey guysss

[smoky lodge]

age is just a vector when your gf imaginary

is this joke mathematically correct?

[meager sonnet]

nope

[smoky lodge]

rip

[sonic field]

@solar hawk fool

y u complaining about wantin to be a ug if you already got that role

[tame egret]

[solar hawk]

Cuz it ain’t real 😭

I’m ain’t a real UG

I only hs the role :(

[sonic field]

smh in thinking your role ain't real

must suck having an imaginary role

[solar hawk]

Fr.

:(

I don’t like

Dot product

Jays what’s that called?

Invariant space?

Idk

[sonic field]

.

[solar hawk]

Tell me llssss jaaaay

Jay Eric is gonna mute me 😭😭😭

[sonic field]

but did you deserve it?

[solar hawk]

Hmm

Sorta

[sonic field]

ok then

[solar hawk]

Not really

[sonic field]

take yo punishment like a real ug

[solar hawk]

I didn’t realize I was in math discussion

[sonic field]

but did you say that?

[solar hawk]

I don’t even shitpost in there anymore

[solar hawk]

Say what

No I sent a massive picture of a lion

[sonic field]

u didn realize it was math discussy

[solar hawk]

Ye I didn’t

[sonic field]

ok then take yo punishment like a real ug

[solar hawk]

That’s not fair

[sonic field]

mathematicians learn to be careful, gotta learn sometime

[solar hawk]

I’m not a real ug

So

[sonic field]

good practice

[solar hawk]

Until I am

I ain’t doing no practice

[sonic field]

then u gonna get muted 🤣

[solar hawk]

😭

Ur mean

[sonic field]

man if I said that to all my professors that nitpicked my proofs during ug

I would not even bother doing topology now

you'll be ok

[solar hawk]

No I won’t

[sonic field]

u will. -sips coffee-

[flint basin]

[meager sonnet]

during ug
are you saying you are a grad student?

[flint basin]

Jay is just Jay