serious-discussion

[weary sable]

they’re not braids they’re locs!!

and yus

[pulsar pagoda]

ahh

[weary sable]

by my hands

[pulsar pagoda]

cool

[weary sable]

the dogs name is cooper and if ur feelin down u can make a therapy animal session to play w him

[pulsar pagoda]

more Bruno

mad bruno

[weary sable]

MORE COOPERz

[pulsar pagoda]

theres a bunch of cat lovers in this discord i'm alergic though

[weary sable]

cat

[pulsar pagoda]

ohh

cat grumpy at the ti calculator?

[jagged forge]

i am sure if the cat attacked the calculator it would be fine

those things are indestructible

[weary sable]

idk why cat was grumpy but

the cat actually went missing and then went unmissing

this cat will piss on your clothes if you leave them on your floor so this encourages cleanliness

like straight up will sit in a pile of your laundry and just start pissing

[jagged forge]

what a beautiful cat

[weary sable]

her name is mousey

[jagged forge]

if only she wasn’t such a menace

[weary sable]

she is a menace

and shes also obese

she’s adorable though

[jagged forge]

very

[fringe summit]

[white spindle]

yo guys a continuous matrix is implied by setX = J+MU=-1, but quantum gravity suggests the existence of quantum gravity loops where MU1=J(w) that sustain information on an otherwise lifeless manifold. Sucrose is implied by (1-2,J+MU=1)(2-1,2-2U-MU,3-U,U-MU), which the U, U is the correct elegant solution thus nuerons are implied by the solution for 2 Sucrose: 1-OR-3U-MU-2-AND-2J-MU-3-2AND-MU-4-AND-MU which is caramelization or thermic effect on sucrose (more nutrient). Further more then the solution for caramel body is 1-OR-7U-MU-2-AND-2J-6U-MU-3-2-AND-2J-5U-MU-4-3-AND-2J-4U-MU-5-4AND-3U-MU-6-3AND-2U-MU-7-2AND-U-MU-8-AND-MU where the order of substitution is 8@7,6,5,4,3,2,1 and 7@6,5,4,3,2,1 and 6@5,4,3,2,1 and so forth - this is two trends, the substitution trend and the solution trend which is simple (1+1to3&7U-1)&(4-1to4&3U-1)...

the problem, i have not continued this group to completeness!

[fringe summit]

https://media.discordapp.net/attachments/880962277619138614/1111201538262712370/ayo.gif

This is completely unintelligible currently

[weary sable]

im half thinking the math is too advanced for me to get

[white spindle]

huh, well this is relativity for limited vaccum solutions class of recreational relativity soutions, relatively advanced, it is for a singularity in a vacuum

[fringe summit]

It doesn’t seem to be coherent currently, so

[white spindle]

this specific sugar is citric acid so it is involved with the Calvin cycle! it is good info trust me, what is formed is your bodies blockchain and all component of the body are evidence of this calvin cycle

i have not completed the series, however, there is also three other series, 8,Q+J+MU+(-1) and 8,BAR+J+A+U(MID) where the trend is simply 0, unity, and 8,8J-1 where the trend is subtraction

what that complete solution means is that the chain tends towards high components because of the 5@4,3,2,1 and so forth substitution which is the special relativity solution of chemical substitution

for example unity component one is the bodies collagen and unity component 2 is the bodies toxin, it is real elegant the chi formations which form for example also 4 is cholesterol, fat

unity components above 5 are reserved for drugs and at the very high end (generally the unsonified region) lurk serial numbers to blockchain and other forms of scaleform which mediate 3d

[sonic field]

u sure u should be posting this in the math discord? 👀

[white spindle]

ha this is relativity hard maths

[sonic field]

relative to what?

[mental stratus]

this is rubbish

[white spindle]

Riemann matrix formed out of flangebending

[sonic field]

I mean I ain't shooing em away... but like

wtf is a continuous matrix

[white spindle]

yea that is the original proposition i made secretly in minecraft, heart+ is the limit of a continous matrix

[sonic field]

👀

[white spindle]

heart+ is the very lowest level MP3 that can be formed but is just about the highest secure level of comms

you are looking at no better than running Heart+ for a secure signals source even on the very best medical computer

[sonic field]

erm

I'm tryin to figure out why

[white spindle]

ha it is because you are applying 2 heart+

[sonic field]

there's a sentence that has both chi formations and cholesterol

[white spindle]

yea so what is important is that you aqquire cholesterol which feeds your aquaporin

flavors and fresh flavors especially feed your aquaporin from cholesterol, but water does not normalize aquaporin aquaporin is what regularizes water levels in the brain

*water boosts aquaporin, but only if it is fresh water and you already had cholesterol

*fresh water has other stuff in it

[fringe summit]

Don’t try to understand it, there’s nothing there to understand?

[white spindle]

acetalydehyde d/l ethanol mainly is what is in fresh water

*very small components, but this is what boosts your aquaporin is the fresh in the water

*not the water, which acts contrary, water lowers aquaporin, you need something to boost aquaporin in the water to make it fresh

aquaporin is just unity output 3 for any of the calvin cycles output, that unity output 3 indicates something is dissolved in the humor

*chi formations, those are different, chi formations are supposed to be filtered by input filters because they are ephemeral exhibits

they do contain cholesterol, and everything, but because they are chi formations they are filitered by artificial input filters that get rid of direct chi

*without a filter that disables chi force you are going to find that you are literally in a video game because it is video games that the chi formation implies

specifically, the formation of a librarian screep and bookstore keeps the blockchain of textual video game information going until infinity in silico but a finite time en modulo

this en modulo is what is purported as the root of the reimannian matrix and the riemannian matrix always follows the form of a symmetrical 0 order manifold with spatial distortion

[sonic field]

k.

[white spindle]

ha lemme get back to work i am real distracted

[neat lintel]

What is the significance of finite unions

and how can something be finite but not countable?

I probably need to find another book for this stuff

[white spindle]

yo guys i can explain chi force relatively easily: assume Q1toQ8=F1toF8 like usual, then AtoW is encoded PHS.999XDEL0-F1+1MOD8,PHS.666XDEL.333-F1,PHS.333XDEL.666-F1+8MOD8, this means the continuous series is an individual chi force for every input force and overlap at inverse square law according to the different chi forces formed, as well the mentioned CHI-KEY encryption method directly described is vurnerable to fuzzy output, however, it does result in an amicable display, this is because of finite union, and the afformentioned chi force inverse square law between different chi force is also a result of finite union because in a balanced display of all chi there are similar chi which appear as subset of greater chi and the union of discrete signals into higher formed discrete signals results in finite union of specific terms that result also in the appearance of inverse square in chi...

[neat lintel]

Wow, that's so interesting.

It's actuallly so simple when you put it that way

[jagged forge]

i am pretty sure something cannot be both finite and uncountable

[white spindle]

hey this is used in the apollo spacecraft to talk to ground control, finite union of forced naive signals due to the method of set series of one circuit versus a comprehensive circuit means the apollo spacecraft has to use human intelligence on the ground to decrypt because of finite union

nyquist limit makes it countable, technically if we had radio station behavior the set continues in myriad form for every radio station

[white spindle]

hey so we have RING(24) for our frontier

[sonic field]

I activate my trap card

[white spindle]

that is like 24 dxd channels that naturally lobby, forget about all that formal set theory because all sets are countable in reality

[neat lintel]

More confused now

[sonic field]

yeh that's usually what happens when you get hit by a trap 😄

[pulsar pagoda]

this is one of the things u learn in analysis and the story of cantor

[jagged forge]

so closed under complements and finite unions

i think “not countable” here does not mean uncountable

countable usually means countably infinite, and finite implies not countably infinite

[neat lintel]

My calculus professor is so weird

I send them a question abotu a problem in chapter 10 of my textbook. and they basically say "You will find out in chapter 9" 🧍‍♂️ As if they can''t see that I've already done chapter 9

This is your channel

[velvet dagger]

It's not about the joke so much as blowing up chat

This is your warning, don't do this again

[leaden torrent]

this reads less like a joke and more like schizophrenia

[velvet dagger]

What?

[leaden torrent]

anyway yeah they got muted for this already

escalating to a ban

[next schooner]

woah i was reading that

smh

[leaden torrent]

wait till i tell you about #〖logs〗

[next schooner]

i actually have no idea what was going on like

schizophrenia but with a lot of starfield references

new language model trained only on starfield in-game lore, chemistry textbooks, and the book of revelation

[pulsar pagoda]

@next schooner i thought we had a Terry Davis

took long enough

ehh

it's puré trash

postmodernism is an AI bestfriend

the irony

[jagged forge]

after multiple attempts at conversing with him and failing, i had a brief conversation with him about programming and cpus and cpu caches, so that was cool

sad he’s gone now

[neat lintel]

wtf?

NOOOOOOOOOOOOOOOOOO

WHY DID THEY BAN HIM

La Tragedía

[jagged forge]

he introduced me to the language called modula

so that was interesting

[burnt ledge]

did they ban him :(

[sonic field]

who got banned? 👀

[jagged forge]

stinky jimmy rustler

[sonic field]

long live rustler

thought he was still here, saw his chats above, thought all of those disappear if you ban someone

guess not

[mental stratus]

math!!!!

[split pawn]

Pika

[hardy lava]

i was never given the privilege of experiencing stinky jimmy rustler

[crimson stone]

he has legacy left intact

[azure matrix]

Could you explain?

[long matrix]

just because it "isnt real" by some philosophical definition does not invalidate any math.

If you want to be practical, it is a scientific fact that math models a lot of phenomena very well, and whether it actually exists in some alternate reality is neither here or there wrt this.

But theoretically - you can consider these models alone, and theyre consistent within themselves. We don't really care whether they're "real" to find them and the results mathematically interesting.

===
If we think having a model where some statements S is true is interesting and will lead to interesting results we pick axioms that make it true. The choice of model to make them true is not important (as long as its consistent), if we only care about consequences solely derived from S

[uneven steppe]

For me I don’t care if what I’m doing is real

Like I just don’t care if it has some application lmao

[long matrix]

You get people going "complex numbers are fake", but real or fake is philosophical, not mathematical. Whichever it is (or more likely, neither), wont stop it following a consistent set of rules that lead to nice results you can't achieve with just the reals.

Philosophical analogy - believing in god or not does not stop you from considering the philosophical implications of either result, and you can try to come to conclusions in ethics, for example, about the consequences. The first step is to pick your definition of god, and that's like choosing your axioms.
We're pretty much doing the same thing in math. As long as the definitions are mathematically consistent, we argue from there.

So really, we don't mathematically care about the existence of 0 or irrationals or i, etc. - we are able to reason about these objects regardless, independent from the philosophical concern of existence.

[azure matrix]

Well, I'm not talking about the existence of 0. I'm just mentioning the connection between math and philosophy. I just mean math doesn't come out of nowhere in the sense that we first think when we start. And as long as we think about some intellectual stuff we are automatically dealing with philosophy. The "consistency" thing seems to be a philosophical principle.

[long matrix]

To me they are disjoint in the sense that

You can (or a machine can) do the math without thinking about the philosophical implications

A math student doesn't need to think about the philosophical implications to understand the math they're doing either.
At most, they might need some in say foundations to understand the motivation of the subject

Yes there are connections in terms of the why, but your average mathematician isn't interested or doesn't need to be. I was also replying to this idea tbh - accepting 0 sounds like questioning its existence to me.

You don't need to accept 0 to do math.

[uneven steppe]

That’s a job for set theorists

[long matrix]

I don't think there's anything to "accept" to do math, except for the most baseline level of things in foundations (I dont know too much about this myself - it seems to boil down to symbols). How mathematical reasoning works.
Everything else can be seen as "if this set of axioms is true, then we have ..."

[neat lintel]

im in 7th grade rn can anyone help me to multiplication polynomials

[icy locust]

#❓how-to-get-help

[uneven steppe]

That’s way too hard

[mental stratus]

#help

[uneven steppe]

tf

[mental stratus]

multiplication polynomials

[uneven steppe]

y’all see that shit

[mental stratus]

what did you see?

[uneven steppe]

His reply 😭😭😭😭

[split pawn]

What are those polynomials, care defining

[icy locust]

can anyone help with polynomials over $\mathbb F_1$?

[mental stratus]

whose reply?

[fathom swallow]

luke1337

[mental stratus]

#❓how-to-get-help

[icy locust]

it was a JOKE

F_1 does NOT exist

ok sorry

[uneven steppe]

@mental stratus I joked about his problem and said “that’s way too hard” and he said “just like my __” BRO IS LIKE 12

[mental stratus]

[raven plaza]

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

[mental stratus]

7th grader so probably not very far from 12

think i was 13 in 7th

[icy locust]

In mathematics, the field with one element is a suggestive name for an object that should behave similarly to a finite field with a single element, if such a field could exist.

[uneven steppe]

In other words it’s FAKE

[long matrix]

thats what u think

[icy locust]

I'm getting conflicting information

[long matrix]

what do u think the F in ZF stands for

[icy locust]

to pay respect

[long matrix]

To F1

[mental stratus]

fraenkel

[icy locust]

Sorry. Online help is not available at this moment.

[raven plaza]

Fox

[long matrix]

[blissful verge]

who wants to be my gf

[burnt ledge]

[brittle sierra]

bro went straight to the point

[blissful verge]

yep thus what a man does

[alpine comet]

you srs? in a math server?

[blissful verge]

yep

[split pawn]

Does sending this message in two channels qualify as spam

[blissful verge]

no

[alpine comet]

you can try and see what the gods mods say

[split pawn]

Edited messages arent cool

But if you employ the edited glitch

Like

Hi ‫ this is an edited message ‫

[icy locust]

rtlo momento

[split pawn]

lol

[icy locust]

ok but the question is

do they not know https://developer.mozilla.org/en-US/docs/Web/HTML/Element/bdi exists

[burnt ledge]

how do u do that

[split pawn]

...

[icy locust]

This is not an [‫ [message.

[noble osprey]

hey guys the Gangster Mathematician here 🤙

[austere hatch]

Hey guys

Can anyone give me a simple example of a partial differential equation?

[uneven steppe]

for what

[burnt ledge]

$\pdv{u}{t}=-\kappa^2\pdv[2]{u}{x}$

[burnt ledge]

^ this one is known as the "heat equation"

[austere hatch]

What is u? The function?

[burnt ledge]

yeag

[austere hatch]

And what is t

[burnt ledge]

one of the two coordinates

u(x,t)

kappa is just a constant

[austere hatch]

Got it, thanks

[deep mango]

(this is the backwards heat equation btw)

(unless kappa is imaginary :p)

[burnt ledge]

Oh is it

[austere hatch]

The number 2 in front of the derivative sign indicates the order of the derivative, if I’m not wrong

[long matrix]

:p

[burnt ledge]

ahaha no wonder i was getting confused as hell trying to come up with the usual example

[uneven steppe]

now add white noise 🤨

[burnt ledge]

yep

[cloud wraith]

my help post got deleted lmao

[deep mango]

The way i remember is via the fourier transform. It turns d^2 u / dx^2 into -k^2 uhat, so then the resulting sign tells me if I get exponential growth or exponential decay.

[steady kettle]

someone in my help post is saying nword being racist

[cloud wraith]

😭😭

[steady kettle]

i just joined this server

and someone called me n word already

[long matrix]

please ping the moderators in that channel

sorry about the bad experience 🙏 doesnt ... usually... happen

[spare oasis]

This is defo a burner account loooool

[zealous garden]

Example of a PDE?

[long matrix]

all odes are pdes

[icy locust]

^

[zealous cedar]

is there someone have any suggestion about learning number theory?like how to start or suggested books,such things

[mental stratus]

#book-recommendations #elementary-number-theory

[brittle sierra]

hey i dont know if this is the right place to ask but im looking for a math tutor (grade 11) and im willing to pay

dm me if interested

[hasty trench]

Could i have course or book recommendations for learning about fourier series and the fft algorithm?
And what kind of background knowledge do i need? Multi variable calculus, partial differential equations, etc?

Struggling to fill in the gaps from my own high school maths curriculum

[long matrix]

this is not the right server re: paid services #rules

[brittle sierra]

oh i see

mustve not reaf throughly enough 😭

[small geyser]

hellloooo

i know someone who rlly wants some new friends

if u want to add him here's his disc

itzmaximus

dw he's aware of me doing this

[loud snow]

tell them to play roblox

[small geyser]

he plays minecraft-

[tame egret]

[tame egret]

tell him to discuss on discord communities

[small geyser]

alr alr

[tame egret]

👍

[neat lintel]

Can someone look at my C++ code and tell me what i'm doing wrong?

😞

[pulsar pagoda]

ez

u cant instantiate and abstract class

u have to derive a class out of it

then make a instance of that class

https://en.cppreference.com/w/cpp/language/abstract_class

@neat lintel

anything else?

also that looks like visual studio

eww

[neat lintel]

I think i did dervive a class

SelectionSort is derived from AbstractSort

[pulsar pagoda]

wait till u do operator overloading of ur classes

then it gets fun

[river moon]

you may not have overridden some method or something

[neat lintel]

I've already have

not fun

[pulsar pagoda]

my advice drop visual studio

use wsl

and use gcc

[neat lintel]

the sub system?

[pulsar pagoda]

yes

i mean i have a linux machine running with no wsl

but thats different

[neat lintel]

I could

[pulsar pagoda]

im dealing with hardware stuff

it depends on what ur doing

[neat lintel]

Just ssh into my server and do this

[pulsar pagoda]

yeah

thats good

[river moon]

https://www.reddit.com/media?url=https%3A%2F%2Fi.redd.it%2Fs37s0gowdbd61.png

[neat lintel]

but lazy

[pulsar pagoda]

not really @neat lintel

[neat lintel]

don't feel like turning on my server after the power went out

[pulsar pagoda]

just remember its cause of lazy people that we have things like python

one of my old teachers used to say

mathematicians are good at applying laziness

but dont let laziness carry u too far

also use vscode and disable intellisense

at least thats what i do

or i use vim

[crimson stone]

no no, only ed is the true editor

[pulsar pagoda]

@crimson stone are u a emacs user?

[crimson stone]

no, neovim

[pulsar pagoda]

ahh

neovim is fine too

if u know how to use it

i just think setting up vim its less complicated

at least for me

[echo goblet]

Helloz

[pulsar pagoda]

@neat lintel you should also search for stuff in cpp reference first

only thing i have against that is there is no Dark Mode

but content is good

[crimson stone]

eh, get you dotfiles with all the plugs, mappings and sets done once and you dont need any setting up

[neat lintel]

TY

I figured it out :(

The types of one of my functions was not the same

[crimson stone]

neo is backward compat with vim

[pulsar pagoda]

https://tenor.com/e2H2KgNCDPm.gif

stop being edgy

[crimson stone]

and has parallel stuff

[pulsar pagoda]

i dont wanna use it

[crimson stone]

so is faster 😄

and get alacritty so even faster

[solar hawk]

nano

[pulsar pagoda]

[solar hawk]

whats wrong with nano?

[pulsar pagoda]

its fine, if u dont have vim installed

and u cant install it for some reason

[crimson stone]

vi > nano

[solar hawk]

i like nano

[pulsar pagoda]

the thing is i have to use multiple environments, im not just in linux and just in windows

sometimes im even using bsd

so marrying myself to something like alacritty is a pain on the ass

[solar hawk]

i used to use a raspberry pi as my linux env before wsl and i had nano on there so i got used to it

so why get used to vim

i already like nano

[crimson stone]

there are ports if you are not on risk/arm/mips

[pulsar pagoda]

my child see

i program on fpgas

sometimes im even on a nvidia jetson nano

u think i have not tried neovim?

i have

it just doesnt fit my workflow

and that is fine

[solar hawk]

do u use cpp

[pulsar pagoda]

yes

https://tenor.com/bTDNI.gif

[solar hawk]

thank you

[crimson stone]

autologin and ssh?

[pulsar pagoda]

ssh through a vpn

cause i have to access a cluster in zurich

[crimson stone]

i mean... did you map the whole stack up to vim to logic gates?

[pulsar pagoda]

bro

[crimson stone]

must be a lot of hdl

[pulsar pagoda]

ur being edgy

no

i use high level synthesis

like ils

idk whats ur issue

im telling u

if it works for u great

but it doesnt for me

so i use other tools

[crimson stone]

prob still gets transcompiled to hdl

im not saying you must, im saying you can

[pulsar pagoda]

yeah but this is for research purposes

HLS is what is being benchmarked

and researched

@crimson stone

[tender cobalt]

@deft latch I mean I agree but I won't be able to sadly

[deft latch]

yeah sad

but is good at the same time

[tender cobalt]

I only have enough time left for college algebra so I gotta take calc in my freshman year of college

[deft latch]

damn you are a junior

[tender cobalt]

Yeah

[deft latch]

i'm a sophomore

[tender cobalt]

yeah I've made some oopsies in my first two years of hs

Made some mistakes that Ive learned from

[deft latch]

same

my gpa is horrible

have to say something tho high school english is cancer

[tender cobalt]

Same but it's going good now that I'm on meds (legally ofc)

[deft latch]

[tender cobalt]

Yeah, if you have poor reading comprehension you're basically doomed

[deft latch]

i'm planing to take economics and financing next year

[tender cobalt]

For me economy is mandatory for all seniors

If I meet cis course requirements I essentially start college freshman year next year (not not really but kinda too)

[deft latch]

I’m not sure

[tender cobalt]

I basically get a preordered freshman year

But I'm still prolly doing undergrad for 4-5 years

[deft latch]

Let’s just say English 1 grammar was cancer

Not just the class but the teacher

She just throws us work without teaching it

[deft latch]

Damn

I’m not sure tbh

Some people take calculus bc in hs

[tender cobalt]

Like AP?

My hs only offers AP English and AP us history, and only offers calculus through a CIS program

[deft latch]

Yeah AP

I mean freshman taking AP calculus bc

[crimson stone]

khm, so you optimising some frontend?

[pulsar pagoda]

no

i'm using it in custom accelerators for ML in deep learning

[crimson stone]

isnt ml a superset of deep?
anw kewl, kick that dla ass

[pulsar pagoda]

yes

but theres distinctions between supervised and unsupervised models

and deep learning is when u mix the two

[deft latch]

damn

[burnt ledge]

@mental stratus i just got this on my news feed literally a minute ago

im so gassed

[jagged forge]

optimized python is basically wrapper code around c/c++

[pulsar pagoda]

this is the set of optimized python code {}

[jagged forge]

well we already had this discussion so i'm not going to have it again

[velvet dagger]

tfw no 🍿 (Daybroken about to neutralize the chat)

[icy locust]

You forgot ε

oh, startup costs, nvm

at least faster than jvm startup tho

[pulsar pagoda]

https://tenor.com/view/damn-damn-damn-damn-damn-right-dame-time-gif-18029769

[peak tide]

meet numpy...

[tight comet]

who jvm

what jvm

write once ruin everything

[pastel agate]

[icy locust]

I can write C and Fortran and call it from Python code too

:D

[solar hawk]

LOL YOU HAVE A POOP SOCK

[icy locust]

Every source code ends with an EOF epsilon poop sock

[solar hawk]

😭

[rapid briar]

I poop in the shower and then stomp it down the drain with water

[solar hawk]

Fire

[rapid briar]

Isn't that normal? You use the sock to clean up after

[solar hawk]

What the actual fuck

Ik ur joking

But

[rapid briar]

Am I?

[solar hawk]

Idk anymore

[jagged forge]

it's a reference to an infamous reddit thread

[solar hawk]

HI SUREMARK

[icy locust]

are you joking?

[jagged forge]

...... hi

[solar hawk]

Okay

[icy locust]

Not okay

[solar hawk]

Based on that reaction

I will just

[icy locust]

Not based

[solar hawk]

Chalk that up to caps log error

LOL

[icy locust]

Cringe

[jagged forge]

am i that exciting

[solar hawk]

Ye

[icy locust]

Excited state

peak energy

[solar hawk]

I bet instead of using a database instead you like to have a global JavaScript object as your database.

How about that

How’s cringe for that

[icy locust]

W based take

[solar hawk]

Iv said this joke 100 times

But

Still

[jagged forge]

well if your data is immutable and only has a few hundreds rows.....

[solar hawk]

Based to it being cringe or

[icy locust]

how about you use shared memory and persist it to the swap file

[solar hawk]

Well I mean

Database

[jagged forge]

we actually have an endpoint at my company that is just an in-memory list

[solar hawk]

Not set of variables

[icy locust]

What's the difference

A set of data variables

[solar hawk]

Idk

What’s the difference between toes and fingers

Are you gonna cut and glue your toes to your hand?

[icy locust]

cut and paste*

[solar hawk]

lol

LOL

[icy locust]

Are you gonna cut your thumbs and swap them and glue them to the other hand?

[solar hawk]

Idk

I’m fishy 🐟🐟

[icy locust]

So you save everything into an object bound to a global name

And you use V8 serialize to dump to file

Database.

You can make it ACID if you use file lock

[solar hawk]

O_O

[icy locust]

Atomic: File replace (write, fsync, hardlink, dir fsync)
Consistency: lol just put it in 9pfs idk
Isolation: Just work in a tmp file
Durability: see point 1 above

[solar hawk]

CS collatz crank equiv found

[icy locust]

You might not like it but this is peak dumb engineering

[solar hawk]

Ykw

As script kiddies say

If it works it works

[jagged forge]

i don't think writes to files are atomic

[icy locust]

no

That's where rename/hardlinks kick in

[jagged forge]

idk what that is

[icy locust]

https://docs.rs/atomicwrites/latest/atomicwrites/

[jagged forge]

well

[icy locust]

https://github.com/untitaker/rust-atomicwrites

[jagged forge]

can you do transactions, e.g. read this data and then write based on the result of the read, atomically

[icy locust]

no embed F

[icy locust]

That's why I mentioned file lock

You don't have to care about shared nonblocking access, you just put everything under POSIX advisory lock

[jagged forge]

just use tmp files

durability

[icy locust]

If you're not trolling this is a technique used by RPM/deb to ensure file durability, please please just read the link above

The idea is that you write to temp file, place a FS sync barrier (so that prior writes do not get reordered), and then rename that tmp file to actual destination path

[solar hawk]

hhh

[icy locust]

(Of course the temp file and the target dir shall have same dev/inode for this whole scheme to work)

[jagged forge]

isn't that just a scheme for writing atomically

what does that have to do with durability

[icy locust]

The durability part is the fsync barrier

fsync() works as a commit command

without it you only get atomicity guarantees

[jagged forge]

right, once you call fsync your data is committed to disk and not residing in the page cache or something

but tmpfiles are temporary...

[icy locust]

and it has to be placed after last write but before FS-level manipulation

[jagged forge]

so to be clear you are not actually saying just work exclusively from a tmpfile

[icy locust]

If your machine crashes before the rename happens the tmpfile will just get thrown away, so it's more or less temporary

[icy locust]

right

[jagged forge]

ok

[icy locust]

Ok I was just memeing why did this turn into serious talk

This was a meme

You don't save the entire DB into a js object

In the first place

Well unless under certain circumstances it might make sense

[jagged forge]

i still think it is confusing to say that tmpfiles provide durability

[icy locust]

tmpfiles dont provide durability

Let's just not talk about tmpfiles

[jagged forge]

like, you could just not have atomic writes, and it would still be true that if you use fsync, once a write is completed it is committed

[icy locust]

Let's just say a file with a temporary unique name

[jagged forge]

which is not very usefull..... but durable

[icy locust]

But incomplete data can be committed too

So durable but not atomic ye

[jagged forge]

are you a software engineer, or still in school

or both

[icy locust]

that's a personal question but yeah the former

[jagged forge]

nice

i dropped out after getting promoted out of an internship

[icy locust]

I think this scheme is generalizable to non-POSIX semantics

[icy locust]

from your own choice? nice

[jagged forge]

yeah, i had been in school for 5 years after a couple of change of majors, and i couldn't stand to stay any longer

how would you adapt this scheme, to, say s3

[icy locust]

I bet S3 already does more or less all of above

[jagged forge]

actually i guess s3 is atomic

you either replace the whole object or it fails

[cloud wraith]

What pattern is it when you go from 1 to 8 to 25

[cloud wraith]

Like the number of squares that a king can be at at n moves starting from 0

In an infinite chessboard

[mental stratus]

julia community malding and seething rn

[jagged forge]

numpy may be fast, but you can write those oh-so-exotic for loops in julia without having terrible performance

[opaque hill]

is it considered piracy of some sort if i want to discuss a proof from an actual text ? via a screenshot from the pdf

[long matrix]

piracy

[opaque hill]

as in like its against the server rules?

[neat lintel]

no

[opaque hill]

do i do it here or help?

[neat lintel]

you're just not supposed to discuss how to pirate books

the usual rules for questions apply

#❓how-to-get-help

[opaque hill]

gotcha

[cloud wraith]

Only in math server

smh

[pastel agate]

@split pawn

[split pawn]

Oh boy

[pastel agate]

please continue

where can i get good course

[split pawn]

@neat lintel @trim mauve <@&268886789983436800>

[pastel agate]

[split pawn]

@compact tartan

[storm sage]

@split pawn

[split pawn]

What

[storm sage]

Nothing lol just pinging you back

Looks like the problem was dealt with though?

I hope

[icy locust]

the ping density is amazing

[ionic merlin]

another group is kinda messy

I only asked is it doable to go from algebra honors to AP calculus via self study and some outside help.

[split pawn]

Yes

[pulsar pagoda]

yes, but as in anything in life that is worth it. Its hard so be strong boy

[ionic merlin]

Alright thank you

[ionic merlin]

HS In class stuff can no longer satisfy my curiosity tbh

[pulsar pagoda]

my advice

go at it at ur own pace

do some exercises

if u get stuck ask

by stuck i mean if u have more than 30 min in a problem take a break

ur still young

so chill, just keep the attitude and be consistent

[icy locust]

oh in my case i was stuck for 4 hours in a single problem until i got a solution

i wonder when it's time to ask tbh :(((

[ionic merlin]

Will do. Btw is it also something worth doing to learn about millennium questions conceptually and from like historical perspectives ?

[pulsar pagoda]

yes this can happen, just learn how to set up priorities

like

if ur doing this for something that has a deadline

[ionic merlin]

Four hours I think I will ask someone like my math teacher tho

[pulsar pagoda]

cant criticize u there

[icy locust]

tbh i don't have set deadline and it's a proof exercise

i should force myself deadlines to keep going though

[icy locust]

I don't think "historical perspective" is worth it imho

conceptually, yes

historical, idk

[ionic merlin]

Mostly conceptually I guess. Cuz from pure technical ways it’s too hard at this point

[icy locust]

you mean formal methods? not sure i understand

[ionic merlin]

Btw is Luke a university math graduate. Yea all the formal proofs and concepts and methods theories involved

[icy locust]

i'm afraid i don't have a maths degree

[ionic merlin]

Oh it’s okay neither do I

[icy locust]

when you do proofs, you think from concepts first, line out a proof sketch, and flesh out into a complete proof

[ionic merlin]

I just find some questions conceptually interesting

[icy locust]

you don't just "manipulate the symbols"

manipulating symbols can make you get easily stuck in some local maxima

and automated theorem prover softwares are good at it anyway

so yeah best to get concepts right first

[ionic merlin]

okay

[icy locust]

https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/

[ionic merlin]

he is a genius

[weak vector]

3

[ocean harbor]

no spamming!!!

‼️‼️

[weak vector]

incuria

[old raven]

I am a teacher and today I am soooo over it 😫😫😫

[neat lintel]

teach this

That was very random lmao

[ancient kiln]

i dont like

math

bc i am

super star

[thorn bridge]

3.141592653589793238462643383279502884197169399375105820974944592307816406286 208998628034825342117067982148086513282306647093844609550582231725359408128481 117450284102701938521105559644622948954930381964428810975665933446128475648233 786783165271201909145648566923460348610454326648213393607260249141273724587006 606315588174881520920962829254091715364367892590360011330530548820466521384146 951941511609433057270365759591953092186117381932611793105118548074462379962749 567351885752724891227938183011949129833673362440656643086021394946395224737190 702179860943702770539217176293176752384674818467669405132000568127145263560827 785771342757789609173637178721468440901224953430146549585371050792279689258923 542019956112129021960864034418159813629774771309960518707211349999998372978049 951059731732816096318595024459455346908302642522308253344685035261931188171010 003137838752886587533208381420617177669147303598253490428755468731159562863882 353787593751957781857780532171226806613001927876611195909216420198938095257201 065485863278865936153381827968230301952035301852968995773622599413891249721775 283479131515574857242454150695950829533116861727855889075098381754637464939319 255060400927701671139009848824012858361603563707660104710181942955596198946767 837449448255379774726847104047534646208046684259069491293313677028989152104752 162056966024058038150193511253382430035587640247496473263914199272604269922796 782354781636009341721641219924586315030286182974555706749838505494588586926995 690927210797509302955321165344987202755960236480665499119881834797753566369807 426542527862551818417574672890977772793800081647060016145249192173217214772350 141441973568548161361157352552133475741849468438523323907394143334547762416862 518983569485562099219222184272550254256887671790494601653466804988627232791786

[neat lintel]

Try playing this on google doodle

[thorn bridge]

lmao bet

[weak vector]

n>n

x<x

6 is in the set of the digits of π

Ηam

[neat lintel]

Yo

[solid yarrow]

is this even allowed on the server?

[wild lantern]

Nope

[solid yarrow]

so mod ping?

oh

[wild lantern]

Already been done

[solid yarrow]

where did he go

[wild lantern]

Mods

[solid yarrow]

true

[old raven]

I teach 8th graders and the amount of knowledge they lack or care they lack or whatever it is that makes them not be able to do a translation on a grid hurts my soul

[pulsar pagoda]

u won't find many that care

but when u find one that does

it Will be the world to him/her

[neat lintel]

colleges students can't do that either. Don't get too sad

[pulsar pagoda]

true

[cloud wraith]

Guys should I do problems on my textbook then read a book on the topic?

[brave shell]

Translation? It's all Greek to me!

[old raven]

Like move the shape three units left…..

[neat lintel]

too hard!

I think people who struggle with that just don't know what they're looking for

To solve stuff like that you need to :
Know the parent function of the graph you're looking at
Know the general equation for the parent function.
Know how to identify the vertex
Know how to plug in information into the genral equation to solve for all of the variables in something like

$f(x) = a(bx-h) +k$

[fathom swallow]

please request a new nickname

[neat lintel]

If i was the teacher, I would try to figure out if they're able to identify parents functions first then move down the requirements

[burnt ledge]

when she said shape i was thinking triangle

not parabola

[old raven]

I am doing triangles

My 8th grade students cannot move a triangle 3 units left

[burnt ledge]

Can they move points

[old raven]

Well…I think? But tbh I’m not sure. But we’re on dilations right now… and they kind of get the point of dilating points but even if I SAY what to do they’re like “huh…?” And it’s not like I can slow down. District wants their book and their standards and if I reduce the grade level, I’m not teaching enough rigor and shit

[neat lintel]

fuck the district

[pulsar pagoda]

in costa rica their called

juntas de educacion

and they suck

[old raven]

I wanna help students so bad. And I can’t. And I don’t where to go or what to do

[solid snow]

Have you checked out #math-pedagogy ?

This is where other teachers of the server congregate

[rapid cradle]

Anyone know anything about viruses/malware and how to remove?

[mint canopy]

Thank you for your message. This is the funniest thing I have ever read. You have brought immense joy to my day

Asking for help with malware on a public discord is a bad idea. I suggest installing antivirus.

[zealous garden]

The best antivirus is common sense, but while you wait on that to install, I like AVG

[jagged forge]

i use kaspersky

[zealous garden]

importantly, make sure you only install one

[rapid cradle]

turns out it was just a phishing windows notification scam. but it was so random and i visited a sketchy site before so i didnt know. guy in another discord actually helped me. and im pretty sure all the good antiviruses cost most and i dont really care about my PC that much since im usually smart.

[zealous garden]

multiple antivirus programs interfere with eachother

LMFAO

[zealous garden]

there's so much wrong with this message

but you do you King

[rapid cradle]

what?

[mint canopy]

cursed

[digital galleon]

Download this program called Ccleaner and run it

I think it's free

[zealous garden]

you should run

sudo rm -rf /

that will remove the virus

[rapid cradle]

@mint canopy^^ is this the bad advice you were talking about

not to be rude but idk what that does so im good

[digital galleon]

Yes don't do that unless you know what you're doing...

[zealous garden]

dd if=/dev/urand of=/dev/sda

[mint canopy]

trueeeeeeeeeeee

you should do it NOW and just input your password it's a FANTASTIC idea

[zealous garden]

it has fixed literally every problem I have

[mint canopy]

all viruses will be removed

wiped clean

good as new

[zealous garden]

My PC is like new

[mint canopy]

[zealous garden]

sniped

[mint canopy]

great minds

[digital galleon]

That is a command to wipe all data?

[rapid cradle]

i saw some video talking about kernel level access to a computer and he wrote some simple code and was able to type letters and it sent those letters to a server for him to access. is that what that is?

oh it wipes my computer and ssd

[mint canopy]

sweaty I don't know why you keep summoning me, but no that's not what this is

[digital galleon]

No this wipes your hardrive beyond recoverable...

[mint canopy]

indeed it does just format your hd

[rapid cradle]

damn

@zealous garden thats cruel

[mint canopy]

It is the most standard joke ever

[zealous garden]

rm ReMove
-rf idfk actually, recursive, force I think.
/ root (everything)

[digital galleon]

Well it does get rid of the virus

🙂

[rapid cradle]

^

[zealous garden]

also on the list was the dd command

which then fills your harddrive with random data

so it's a proper clobber

data will be difficult if not impossible to recover

you realistically only need to scramble the top 1% of a disc to make it unusuable to the average Joe anyways

[digital galleon]

@rapid cradle If you are that concerned just reset your pc to a previous date, and if you still don't feel liek you have solved the problem, replace the harddrive...

[zealous garden]

and data recovery tools can be of questionable utility, depending on what exactly you have and how much you're willing to pay

[digital galleon]

They're cheap anyway

atleast for a windows pc

[zealous garden]

You won't need to replace the drive

at most you'll need a reformat and reinstall

[rapid cradle]

nah i fixed the problem i just had to go into google and delete the notification setting the site made

[digital galleon]

Ye tbf reinstalling windows

[zealous garden]

unless you get the real bed bugs

some viruses can get into your motherboard

then you're fucked

[digital galleon]

I have mac, which makes me less open to attack

[zealous garden]

just a less common target for attacks

I usually run Linux or FreeBSD

so I'm even safer

linux is better than mac

[digital galleon]

Then you will really be in the basic era

The 1990's style of linux is depressing

[zealous garden]

I originally got into linux as a kid because I could rice it to make it look like Mac which is awesome

[zealous garden]

uneducated take

the style is up to the user or distributor

[digital galleon]

Maybe I am confusing it with a thingy machine

[zealous garden]

there is no "linux" style

[digital galleon]

what is it called...

[zealous garden]

anyways, I no longer idealize MacOS

having had enough encounters with it to hate it

it looks nice

but Linux looks nicer

It's also not even a proper Unix anymore

[digital galleon]

It is clean which is why I like it. However it is uncompatible with some needed software, like origin.

[zealous garden]

but FreeBSD is

a Distro like KDE probably has some good themes you can download to make it look very similar to MacOS

how similar is a matter of preference and settings

[digital galleon]

It just seems like too much effort 🤣

[zealous garden]

it's not any more effort than creating a character in a video game

[digital galleon]

Ye but Idk enough about it to feel comfortable using it

[zealous garden]

you can choose a default and move on, and there are some pretty good defaults, or you can spend hours customizing just about every facet

and anywhere in between

[digital galleon]

I got Mac because it is compatitable with my ipad

[zealous garden]

you could also spend even more time just making your own from scratch

I use Linux because it makes development easier

[digital galleon]

I can't code so no way

[zealous garden]

I switched to Artix Linux because I was testing out Manjaro and noticed that it pulled development headers with every library it installed by default, instead of making them separate packages to install like other distros I'd dealt with

so I was like, fuck yeah

[digital galleon]

Can you even get linux on a mac>?

[zealous garden]

and Unix-like OSes in general are better for programming than Windows

that is MacOS, Linux, FreeBSD

development is just easier and cleaner

[zealous garden]

depends on the mac

[digital galleon]

eh this years macbook pro?

[zealous garden]

Macs after a certain generation have some hardware that is designed to prevent booting Linux

In general there are work arounds

but I wouldn't know

[digital galleon]

I think tbf in future if I get a none mac, I will try linux

[zealous garden]

you can always run linux on a virtual machine

and test it out

that's probably how you'd want to start anyways

makes it easy to try different versions

makes it easy to look up help if something goes oddly wrong

[digital galleon]

a virtual machine that is what I was on about before... I forgot how to set it up

[zealous garden]

something like Oracle Virtualbox is pretty easy

[digital galleon]

Is it true if you open a virus in a virtual machine it can't spread to your actual OS?

I remember way back when, when I used to online game, people would say about opening things in a virtual machine to check for viruses..

[zealous garden]

in a perfect world yes that is true

[digital galleon]

a perfect world

[zealous garden]

it's possible but difficult to break out of a virtual machine and infect the host

but virtual machines are generally extremely safe

[digital galleon]

'break out' 🤣 it's like you're refering to the matrix...

[zealous garden]

and still much better than opening the program on your base system

[digital galleon]

I see

[zealous garden]

kinda, but also the idea of running a program in a dedicated virtual machine for security reasons is called a jail

at least I think

I might have bullshitted that definition into fake memory. But jail is a word for a concept like this

I just might have fucked up the specifics

[digital galleon]

it's ok, i have no idea anyway

I'm off anyways, cya 🙂

[pulsar pagoda]

kind of

there is a thing called bsd jails

[topaz trout]

Has anyone taken an online calculus class, if so was transitioning to an in person calculus 2 class difficult

[zealous garden]

love me some jails

[solar hawk]

wraith linux conusiour

[zealous garden]

https://tenor.com/view/car-engine-gif-7197622

Engines!

Hydrogen is cool

hydrogen powered cars are lame!

hydrogen powered ICE vehicles are cool as fuck!

but a modern hydrogen vehicle is most likely to be a hydrogen fuel cell vehicle

and those suck!

so remember, get a hydrogen powered dune buggy!

thanks for coming to my talk

[topaz trout]

Why's it floating in mid air

[zealous garden]

I don't know, I haven't gotten to General Relativity yet

[uncut socket]

#help-19 message
@stiff bane

[quasi jetty]

As a helper, please do not give out answers that could be copied as a homework solution. Have the student work through the problem themselves and guide them along the way.

[uncut socket]

Don't do the work for people like that

[split pawn]

Oh boy.

[harsh trench]

hello #serious-discussion please describe integrals

to me

(my knowledge ends at sum and prod)

[south kelp]

Oh boi is it my turn

Looks like it is

[south kelp]

!help

[quasi jetty]

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

[harsh trench]

shat

my bad lmfao

[south kelp]

np :p

[harsh trench]

[split pawn]

Just pull out the big guns.

[neat lintel]

Chat lets do this problem

[vast surge]

Brute force it there's only 216 possibilities

Okay so realistically I think the only triples that work are (1,2,4), (2,3,5) and (3,4,6).

And permutations of those

Because 1+2+3=6

We can't have 4+1+1 because there's no three numbers that differ in that way and we can't have 2+2+2 because there's no three numbers that differ in that way

[neat lintel]

so smart

[vast surge]

Oh also those are the only 3-partitions of 6 up to reordering. If you take 1+1 then you need 4, and if you take 1+4 you need one. Likewise if you take 1+2 you need 3 and if you take 1+3 you need 4. You can't have 1+5 because you have a third number. And the only partition involving all numbers bigger than 1 is 2+2+2

[jagged forge]

can you like, assume without loss of generality that a1 >= a2 >= a3

[vast surge]

Wait hold on

(6,6,3) works

[jagged forge]

hmmm maybe the counting isn’t the same though, nvm

[vast surge]

You need the 2-partitions to be included as well

[nocturne tusk]

https://tenor.com/view/fire-explosion-meme-fishing-gif-23044892

[vast surge]

You get (1,1,4), (1,4,4), (2,2,5), (2,5,5), (3,3,6), (3,6,6) as well.

Which is 3+3+0

It requires two numbers to be equal, so the differences are the same, so you don't get the 2+4+0 partition for instance

Anyway the probability is 1/4

Well that took me 10 minutes it would have just been faster to brute force it

[nocturne tusk]

ok i figured out how to solve it in my head thats enough for me

[jagged forge]

assume WOLOG a1 >= a2 >= a3, then 2*(a1-a3) = 6

then do some extra counting for each permutation

(each permutation of a1,a2,a3)

[nocturne tusk]

katie

[uneven steppe]

Yay a probability question

[nocturne tusk]

idk what a permutation js i just know dice are freaky

[uneven steppe]

There’s about 3 ways to do this

[neat lintel]

I was thinking about sample spaces

[nocturne tusk]

544333222211111000000

qed

[jagged forge]

yeah it’s 1/4

[uneven steppe]

A tricky way is to look at it as differences of uniform distributions

[jagged forge]

WOLOG assume a1 >= a2 >= a3, then 2(a1-a3) = 6, or a1 - a3
take a1=4, a3=1, either a2=2 or 3, and there are 6 distinct permutations of a1,a2,a3, or a2=1 or 4, and there are only 3 distinct permutations
each case has 2 canonical solutions, then after counting permutations you get 2 * 6 + 2 * 3 = 18.
now repeat this with a1=5 and a1=6, so you have 18 + 18 + 18 = 54 = 1/4 * 6^3

[uneven steppe]

Let me give y’all a fun one

Since I’m doing my PhD in probability I have really fun questions I’ve gathered throughout the years

[jagged forge]

please i have had enough pain from going through grimmett and stirzaker so far

1300 problems of pain

(i have not done all 1300)

[uneven steppe]

I don’t like grimmets problems

[jagged forge]

oh really? what don’t you like about them

[uneven steppe]

Are you talking about that “1000 exercises in probability” book?

[jagged forge]

yeah

[uneven steppe]

yeah it’s alright I used it to study for quals so I think I just have PTSD from it lol

[jagged forge]

i think i have ptsd too

but i hope it makes me good at probability theory

[uneven steppe]

it’s a beautiful subject 🥹🥹🥹🥹

[jagged forge]

i study it not for its beauty but for its power

[uneven steppe]

This one’s not too hard, but it’s really fun

[jagged forge]

oh i misunderstood somehow

why did i think each segment is contained in the previous one

wtf

i am thinking IEP might be the easiest way to tackle this

hmmmm maybe not

i hate probability theory

[neat lintel]

I got grimmett and stirzaker

They're asking me to prove things

[jagged forge]

i have done up to chapter 4, as well as most of chapter 4 itself

i was going to say you could get by in the first 3 chapters if you’ve taken an intro to proofs class, eg discrete math, but i am not sure, looking at it again

at least from those first 3 chapters, the problems are very diverse and sometimes involve linear algebra or even references to differential equations, in the random walk sections

[warm fossil]

hey i need help

can anyone please jump ona a call with me ?

it will only take 5 mins

[narrow mantle]

why are there so many books titled Calculus with Analytic Geometry

[soft heart]

Can someone help me@on my forum

[cunning wigeon]

Bc that's what you study in the first year I guess

[narrow mantle]

whilst separate books on analytic Geometry are less common in the US it seems

[fair mural]

Can anyone suggest me books on ring theory which have good problems. I'm just starting ring theory so a book covers the basics will be helpful

[echo tundra]

Dnf has good ring theory problems

[fair mural]

uh can you write the full name, I can't find any book named dnf

nvm got it

[long matrix]

do not duck

[echo tundra]

[south kelp]

do not friend

[mental stratus]

just found the mice thread

[open aspen]

I forgot what channel that's in

Foundations maybe?

Have it hidden

[long matrix]

squeek

[wet mortar]

I see

[lament frost]

whats 9 + 10

[rapid briar]

#❓how-to-get-help

[neat lintel]

Skill issue

[robust elbow]

gender equality

[alpine comet]

this sounds like a problem coming up in quant interview, lol

I think the trick is || it doesn't matter where the points lie, only the relative order. And there's one such interval iff there's a point that all intervals contain, i.e. relatively, all intervals have their first endpoint smaller than any interval's endpoint||

[long matrix]

the final question fails to parse for me

you have n random intervals

probability one of these has a non-empty intersection with the rest?

[deep mango]

Yes

[long matrix]

||To add to this, it becomes a combinatorics problem - of the number of ways to pair 2n numbers, how many satisfy the constraint||

[uneven steppe]

Yessir

[proper jackal]

Where are other channels for combinatorics, statistics, etc.?

Nvm found them

[raven plaza]

What if ([){]}

Then [] intersects () and {}

[sleek pebble]

This is totally random but do u guys know if theres like a website that lets us watch the ICC Cricket WC matches for free

Plss lmk if there is 🙏🙏 i need to watch some of the matches

[split pawn]

Disney Hotstar was streamin it for free

Wasn't it

Although Im not interested a bit

[mental stratus]

crickets

[robust elbow]

basedball

[hardy lava]

cringeball 😱

[cloud ledge]

Suppose there existed an alien civilization that didn't have sight or eyes. Will they come up with formula of a circle? How about orthogonality? Are there some sensory abilities that we lack that forbids us from exploring some mathematical ideas?

[ionic star]

they will come up with it later

[robust elbow]

yes, for example, we know little in stuff of higher dimensions

[ionic star]

we came up with something later than if we had some senses

[robust elbow]

because we don't live in higher dimensions

[visual breach]

I heard 4-dimension is the most complex

So maybe math is simpler on even higher dimension.

[robust elbow]

and it wasn't before all those very cool equipments got invented that we are able to "see" IR and UV lights

and x ray and stuff

[long matrix]

yes my eyes.

my eyes are very cool equipments.

[robust elbow]

and iirc some birds can actually see them with their naked eyes, which we can't

[long matrix]

caw caw

[robust elbow]

no yu are not cool

you are hot

🥵

[long matrix]

[visual breach]

[long matrix]

uh oh

[surreal sapphire]

how so

[surreal sapphire]

4 dimensions are often kinda weird, the prime example being that R^n has an exotic smooth structure only for n=4

[visual breach]

Indeed

[long matrix]

unfunny

very.

[visual breach]

A structure which is not diffeomorphic to the usual one 💀

[wet mortar]

what it mean

[robust elbow]

wait so you actually googled it?? 💀

[long matrix]

id advise deleting that

😒

[wet mortar]

I don't speak french

[visual breach]

Oh so mniip is a mod here

[latent edge]

More than a mod

[visual breach]

Interesting to see them here

Ohh?

[long matrix]

modnt

[icy locust]

I see another mutual server: https://discord.gg/K6XHBSh

[long matrix]

[visual breach]

Oh, you there too?

[icy locust]

yeah but i don't talk much there

[visual breach]

Interesting

Well, tbf mniip does not talk much there, too.

[storm sage]

mniip likes functional programming? impossible

[icy locust]

point free proofs

F-algebra

[weary sable]

hey nerds

[ocean harbor]

hey nerdy

[jagged forge]

monads are but monad transformers are

[latent edge]

https://tenor.com/view/monad-monoid-category-theory-endofunctor-monkey-gif-27672880

[neat lintel]

Does anyone know what the variables $n$ and $m$ are called in the ackerman_function?

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

[storm sage]

I don't think they have specific names, they are just the two inputs

[jagged forge]

they're called m and n obviously

[neat lintel]

CONDITIONAL EXPECTATION

[jagged forge]

mfw E[Cov(X, Y | Z)] =/= Cov(X, Y)

[neat lintel]

Where are all the math twitch streamers at?

only two people in the entire world like math

[brave shell]

No audience for it. Maths is more of a solo thing. It's like tuning in to watch someone daydream.

Watching someone try to prove collatz would be funny. Actually, it might be good content to get a random streamer to try it and make no progress.

The problem would be the 12 hour complex analysis hellstream where the host blankly stares at a page of inequalities and starts crying 2 hours in.

[neat lintel]

"watch someone daydream"
Thousand of viewers

[torn crane]

that's everyone who does complex analysis, the only difference is there's a camera

[brave shell]

I mean without the hot tub.

[neat lintel]

This one channel has more viewers the the entirety of mathematics

[brave shell]

This is arguably a maths stream.