serious-discussion

[pulsar pagoda]

honestly

u didnt share specs

[jagged forge]

uhh quad core at 3.4ghz…. that’s it because i bought it barebones

lol

[pulsar pagoda]

4 logical cores 4 physical?

[jagged forge]

it has a pci x8 slot that is really x4

[visual breach]

I mean F# still did not manage

[jagged forge]

i believe so

[pulsar pagoda]

[untold sapphire]

have you heard of coq

like unironically

have you heard of coq

[pulsar pagoda]

yes

[visual breach]

I used it a lot earlier

[jagged forge]

hey I’m still getting 32 gigabit/s

[visual breach]

It's just, many mathematicians would simply go for lean nowadays

[untold sapphire]

have you heard of like, the proof of the four color theorem, the proof of the Feit-Thompson odd-order theorem

[pulsar pagoda]

we should setup project

right now im working on integrating fpga

[untold sapphire]

I don't care about hype

[pulsar pagoda]

to a HPC clusters

[untold sapphire]

you're reinforcing the hype

[pulsar pagoda]

thats funded by the gov

[visual breach]

I am simply stating that lots of resources are focused on lean.

[pulsar pagoda]

like im documenting how the stuff works and its supposed to be used

in the HACC cluster from eth

[visual breach]

After all, ecosystem is quite important.

[jagged forge]

how much do u think that fpga costs

[pulsar pagoda]

so that a pepeg with a salary can replicate it

[pulsar pagoda]

9000

[small dust]

@ moderators

[pulsar pagoda]

wait

actualy the alveo u250

is like 11000

[visual breach]

Not really, I am nowhere near convincing enough to 'reinforce' the hype.

[jagged forge]

bro i looked up 40 gigabit Ethernet switches and the first one i saw was $15,000

[visual breach]

It will keep rolling on by itself..

[jagged forge]

what if i just don’t buy a switch

and get quad port network cards

and then wire up 5 machines directly to each other

20 cables

[pulsar pagoda]

bad idea

latency

would kill u

[jagged forge]

why

they are all directly connected to every other

[pulsar pagoda]

theres a lot of networking involved on getting those 4 pcs working as one

like a cluster

[jagged forge]

hmm

[pulsar pagoda]

u would be better off taking old fpgas and buying an old server rack

[untold sapphire]

bro how big do yo think the ecosystem of a 30 year old language is compared to a language fueled purely by hype is
Lean 4 is completely not reverse compatible with Lean 3 so there's not any ecosystem for Lean that's older than like 2 years

[pulsar pagoda]

this is true

and its also the reason cpp > rust

anyday

[visual breach]

Do you know ecosystem status of lean vs coq?

[pulsar pagoda]

its about time on the market

[untold sapphire]

There is so much more coq code out there than lean code for obvious reasons

You cannot possibly pretend that a language which has only existed for 2 years has a better ecosystem this is what i mean by feeding into the hype

[visual breach]

Well,

As a mathematician I found few Coq learning resources which were suitable for me; the resources all seemed to be focussed on people with a computer science or type theory background.

I just found this ^

[untold sapphire]

YOU FELL RIGHT INTO MY TRAP

You posted a Kevin Buzzard post

[visual breach]

I do not mean Lean 4 exclusively, tho it is just migration thing.

Yes.

[untold sapphire]

which I fucking KNEW YOU WOULD DO

HE LIES

HE LIES CONSTANTLY

HE IS ATTACHED TO LEAN AT THE HIP AND HE CAN'T HELP BUT SHILL IT EVERYWHERE ELSE

[visual breach]

Yes.

Sadly world cannot move without this kind of hype

[untold sapphire]

Anybody who thinks Kevin Buzzard should be taken seriously does not know what they're talking about. He has said more easily disprovable/false things about other theorem provers than i can count because he wants to sabotage them to promote lean

[visual breach]

Isabelle/HOL, which uses simple type theory, is currently the leader in late 19th and early 20th century analysis.
Nvm, I forgot this one

[pulsar pagoda]

sounds like microsoft kool aid

tbh

[visual breach]

Anyway idk if Coq is used by mathematicians to formalize math nowadays

Like where is the mathematical formalizations, other than working with finite stuffs?

[untold sapphire]

https://math-comp.github.io/

[gritty totem]

Wtf does that mean

[untold sapphire]

Do you think this is all "finite"

[untold sapphire]

you're talking about shit you don't understand https://github.com/jwiegley/category-theory

[visual breach]

Yea I know and used precisely that one.

[untold sapphire]

https://github.com/UniMath/UniMath

https://github.com/HoTT/Coq-HoTT

[visual breach]

It is still in the works, I felt, when I used it.

..Are you seriously going to refer to HoTT

I guess Category stuffs makes sense but

[untold sapphire]

https://github.com/math-comp/analysis

[visual breach]

Wdym 'non-mathematician'?

I mean I am just a grad student but

[pulsar pagoda]

i think hes saying this cause ryc called me a crank as a joke the other day for mentioning HoTT

[visual breach]

I know profs around this area.

Yes.

[untold sapphire]

In what field

[visual breach]

Well just beginning research, but digging through algebraic geometry and knot theory

Got in as an assistant in a knot theory lab

[untold sapphire]

I realize i'm coming on pretty strong in attacking you but I really don't like what you're doing by assuming at every point that Lean by de facto has the upper hand over competing proof assistants. I don't think it's a scientific way to have a conversation

[visual breach]

Not really, I mean I think HoTT is meaningful and great. But that's not what e.g. my prof would admit importance.

[untold sapphire]

Like I take it pretty personally that people just dismiss other software projets out of hand because Lean has all the hype

[pulsar pagoda]

i think i convinced u the other day

python is a cult

[visual breach]

Well, I mean, part of this is from dissatisfaction about that exact library

mathcomp-analysis

[static loom]

[visual breach]

So yea, maybe lean is not up to par with even this

[untold sapphire]

I have written a lot of Coq code that I put work into and I really don't like the idea that we should just trash coq because kevin buzzard said so. i'm not going to buy that argument and i'm going to call out anybody who says this

[visual breach]

That's.. stupid indeed

[untold sapphire]

Like i'm not going to let my code become consigned to the dustbin of history because kevin buzzard is a hype beast who relentlessly shills lean

[visual breach]

I kind of do not like how coq devs are not making any kind of compromises tho.

[untold sapphire]

Ok. what compromises do you think coq devs should make

Also do you understand what subject reduction is

[visual breach]

Nah, I would rather just use stuffs than understand the inner workings.

[untold sapphire]

Ok, that's fine. What compromises do you think coq devs should make.

[visual breach]

Not compromises per se

Subject reduction is nice to have, from what I recall.

So if quotient types can be managed ergonomically with it, it will be great

It was a few years ago, but I had hard time trying to implement a quotient type..

Maybe it is much better now?

[untold sapphire]

First of all. subject reduction refers to the property that an expression like "2 * 3" can be well-typed (it's of type N) and after you simplify it to "6", it's still well-typed and its type is still N. Lean fucks this up so that you can have an expression which passes the type checker as being well formed but after you simplify it, it converges to something which is not well-typed. This is really hard to debug as you literally didn't do anything wrong, the type checker told you your proof or definition was fine, but then after you let the simplification tool normalize it to the simplest form, the type checker suddenly complains that it's not well typed anymore. And you're supposed to be able to treat definitionally equal terms interchangeably in any context, and there are lots of things that automatically simplify and normalize expressions, so the fact that these commands can suddenly break your proof for no clear reason is bad, and that's why the Coq developers didn't want to compromise on that. If 2 * 3 is well typed of type Nat, then 6 should also be well typed of type Nat.

Another thing that is helpful here to understand is that part of the research subject of homotopy type theory is about how to incorporate quotient types into type theory without breaking subject reduction. The concept of "higher inductive type" is exactly about this. I understand you don't think homotopy type theory itself is relevant to you, but normal mathematicians can use homotopy type theory without understanding it just like you can use Lean or Coq without understanding its inner workings.

[visual breach]

I mean, how do you use quotient type with this homotopy type theory stuffs?

(Quotient set would be nicer, even)

[untold sapphire]

Basically you would enhance the way of defining inductive types so that you can not just explain what the generators are of the type itself (like 0 and S for Nat) but also explain what the "generators" are of the equality type between two points (so, for example, you could have a generator of 0 = SSSS0 if you wanted to make the cyclic group Z/4Z)

[untold sapphire]

Sure you can assume it's a set.

Homotopy type theory is also compatible with the law of excluded middle and the axiom of choice

[visual breach]

Can you give a concrete example of defining quotient type?

[untold sapphire]

Inductive quotient (A : Type) (R : A -> A -> Type) : Type :=
| proj : A -> quotient A R
| relate : forall (x y : A), R x y -> proj x == proj y

This is Coq-like syntax

The Coq-HoTT library includes something like this to let you axiomatize a quotient type

[visual breach]

Hmmm, interesting that this works

Does it mesh well with mathcomp?

[chrome heath]

hey were you in maths olympiad server

I remember you

[untold sapphire]

No. math-comp uses all features of Coq but the Coq-HoTT library restricts itself to the features of Coq that are compatible with homotopy type theory. There is a lot of interesting mathematics in the Coq-HoTT library but like, realistically Coq is mature and we don't want to break existing features so Coq adapting to homotopy type theory will be slow. I mean, it is happening in some minor ways. For example Coq added a feature called SProp recently which is similar to Lean's proposition type, and it is compatible with the univalence axiom, but it will take time for things to grow to support that, there's not really any code in the Coq-HoTT library right now that uses SProp (although i have written some personal code, I haven't merged it with the repository.)

Agda is a lot smaller language and they are fine with adding experimental features that can be turned on with a compiler flag. Agda supports something called "cubical homotopy type theory" which in particular has good support for quotient types.

[visual breach]

Sorry, but no

[untold sapphire]

@visual breach Sorry i'm being nasty to you, I apologize for my words earlier

[chrome heath]

oh then I met you from other server

[visual breach]

Likely not, our only mutual server is this one.

[untold sapphire]

There's agda-unimath

[visual breach]

Yea, I think SProp is a move onto a good direction. Incorporating it is kind of a slow process though, which seemed problematic for me.

Well, not problematic, but in 'I cannot wait' kind of way.

[visual breach]

It's fine, I am often argumentative for no reason time to time.

[untold sapphire]

Are you talking about the community at large incorporating it or incorporating it into your own work

[visual breach]

So I am worse in some sense

[visual breach]

Well, both I guess

I am not skilled enough to incorporate it into my work without much guidance.

[untold sapphire]

Yeah I see. It's hard

I had difficulty with it too at first.

[jagged forge]

oh i misunderstood what you meant here, the point is to have a cluster so i don’t mind, plus with these network cards and kernel bypass i can get latency down to a few microseconds

but yeah the point is to have a cluster even if it’s worse than a bigger server machine

[pulsar pagoda]

u want to set up a home lab?

[jagged forge]

no i just want to test out kernel bypass and rdma and that stuff

home lab would be cool but I don’t have a use for one

[pulsar pagoda]

yet

[neat lintel]

Where is the language that is strictly finitist in terms of memory & storage, also lenght of computation (i.e. always forcedly halts)?

[jagged forge]

what makes a language finitist in terms of memory and storage?

guaranteed a finite amount of memory used?

well, that ought to be true if every program halts

[neat lintel]

i also don’t understand what you mean by this

there are programming languages that have been designed with the goal of being memory-safe and predictable, like Rust

[jagged forge]

and definitely not free from memory leaks

[neat lintel]

not strictly finitist in terms of computation length

Idris?

[jagged forge]

Lean also has a “total” fragment that terminates

apparently necessary for languages with theorem provers

[neat lintel]

turing proved the halting problem undecidable

virtually all programming languages are turing complete

@untold sapphire You should check out assembly language step by step programming with linux. Best book on learning asm programming and the author is awesome

[untold sapphire]

Oh, cool. Thank you.
I don't know much systems programming. It's always something i wanted to learn about. I have a copy of the bryant o'holloran book

[untold sapphire]

I think most Lean programs are written in a Turing-incomplete fragment. This is true of most languages that double as theorem provers such as Coq and Agda.

Probably there's a switch you can flip that lets you write infinite loops but otherwise the compiler tries to check that all your computations halt

As far as I know there's no interesting logics which are both consistent and Turing complete.

[neat lintel]

One could have a programming language which always halts higher level programs on top of Turing complete hardware. The higher level programming would not be Turing complete except in sense that it might be possible to always increase the time before halting manually.

In a strictly finitist language there might be always an m, the highest possible number or longest possible string. There's an information limit for maximum program size, maximum size of the process a program can generate (for example recursion takes space because all the previous calls are stored in memory), and other such limits.

I have not yet grappled with this to be technical. The point seems to be as obsessive about making things finite as possible. Kolmogorov complexity & such things may be useful.

A good finitist system would also not have common (set theoretic) paradoxes and would have way to prove its finitism (possibly allowing the same proof assistant to be used for something else too). Typing is how this would be achieved.

[ocean harbor]

[tepid marlin]

[rocky shuttle]

[pulsar pagoda]

sounds Nice if we ignore theres no such thing as turing complete hardware (since theres no infinite memory)

[neat lintel]

The idea is that the language, built on top of lower level of abstraction, can prove it will force its programs to halt.

[vernal token]

Apparently, Erdös only filled 10 notebooks during his lifetime

I really wonder what type of large notebooks he used

Those must've been 10.000 pages each

[raven plaza]

Bro headsolved

[river moon]

he kept the rest in his memory🧠

[vernal token]

Well ok, but alone writing down all his conjectures and theorems takes more pages than that

[river moon]

indeed I figured notebooks stop working after you fill out 4-5 A4 notebooks 80 pages each

[vernal token]

stop working?

[vernal token]

Hm, I think he wrote down a lot

It was reported that he would most of the time be seen with his notebook under his hand

[river moon]

you spend more time writing down stuff than it takes effort to understand it

[vernal token]

But when proving stuff, you need to write something down or not? Lmao

[fair mural]

sounds like he filled more than 10 notebooks

[prisma plinth]

i don’t use notebooks

Lol

or when I do i don’t write down much, mostly exercises or basic shit the rest I do in my head

[vernal token]

well, Hofmann wrote this

I think he's a pretty reputable source

[vernal token]

Ah, this could be the reason, yep

He might've right away written his stuff up as papers, not counting into his notebooks

Also yeah, he might've used plain paper too

[last creek]

He may have only kept the essentials in his notebooks. I remember from that biography that he was always writing on napkins or on blackboards, etc.

[prisma plinth]

i do that

Not notebooks, i usually scribble down ideas on paper, napkins and shit and they are strewn about my room lmao

[vernal token]

I think he used a lot of loose paper

On many of his pictures he writes on loose paper

[neat lintel]

Reading a textbook like that is good but that assembly language book is superior imo. C in a Nutshell is the bible for C, there is the classic K&R book but it’s a bit outdated. I think the first 1/3 or so of the assembly book is about the underlying hardware.

One of the cool uses of assembly is in software reverse engineering

You decompile a binary back into assembly instructions and then can make sense of how it works

I took a class on that in undergrad and it was a lot of fun.

[untold sapphire]

@neat lintel That makes sense. I have a bachelors degree in electrical engineering and I took several classes in computer organization and design and computer architecture. So I understand how assembly code works, and how a CPU works. I just don't really know systems programming proper, like, how to roll my own malloc or write an operating system.

[neat lintel]

ah, ok I felt like you knew too much about computers for a math major

writing an operating system is a big task

from scratch, get an OS to boot would be like a very difficult graduate level class

the dinosaur book is the most iconic operating systems text book. If you want to write OSes start there, and then just read every other book you can get your hands on. There is an awesome website dedicated to what you’re trying to learn

https://wiki.osdev.org/Main_Page

[neat lintel]

That textbook you’re reading is on computer organization and design. If you have a background in EE and want to start writing systems level code then it’s probably not the right book.

Really, you want to start writing code

[untold sapphire]

https://www.powells.com/book/computer-systems-a-programmers-perspective-2nd-edition-9780136108047
I agree that it covers computer organization and design but I do think it is an adequate text for learning about systems programming. I can name at least two undergraduate curriculums that use this as the course textbook for a course on systems programming, although the coursework and assignments may diverge from the book.
I just googled "systems programming textbooks" and this was the first hit.
https://www.reddit.com/r/rust/comments/j7p7or/best_bookmaterial_for_people_who_want_to_level_up/

I think maybe if you look at the exercises which are traditionally given with the course you will see why people consider it a systems programming course

[untold sapphire]

I have not heard of the dinosaur book but i'll write that down so i have a note of it.

[neat lintel]

It’s just got a picture of a dinosaur on it

[untold sapphire]

Yeah, I found it from a google search.

Similar to "The dragon book" in compilers

[neat lintel]

yep

I’m sure it’s adequate

OS books will be similar

[untold sapphire]

Ok, cool.

I don't need to learn systems programming urgently right now for a project at hand or something lol it would just be nice to know.

[neat lintel]

Similar in terms of in the book projects. I still think for writing assembly nothing compares to that assembly book. C in a Nutshell is more a desk reference, not something you read cover to cover.

In my OS class I wrote parts of an operating system

like a file system, scheduler, some other little things

[untold sapphire]

That's really cool. Before I really know much computer science I read a book for a general audience called "The Elements of Computing Systems" which walks you through a lot of aspects of the stack of abstractions involved in a computer

it contains some exercises where you implement some fragments of a basic os but like

it doesn't presume a lot of background konwledge and it's meant to be bite sized glimpses of everything

[neat lintel]

Operating systems is one of the most deeply technical topics in computer science

Having a math and EE background is pretty perfect for that

[untold sapphire]

It seems really interesting. It's definitely a gap in my knowledge it would be good to fill

[main mantle]

systems programming is fun

not that i know much about it haha

[glass peak]

Need to get a new gaming mouse but I’m faced with a tough choice

Do I get the gpro super light which is currently cheaper and better but white or the more expensive normal gpro which is black and will match the rest of my setup lol

True dilemma

[bright hill]

balck for sure

marginal performance benefits would never out match "sticking out like a sore thumb"

[glass peak]

This is a good point, I also don’t no life CS anymore so I guess that I don’t need every bit of performance I can get

It is also £10 more for the worse version which is just meh

[glass peak]

Decided to just bite the bullet and spend £30 more than the white one to get the better version in black

I don’t even really know why, my current mouse is kinda broke but I hardly have time to play games anymore anyway

[pulsar pagoda]

use tanenbaums and three easy pieces instead

i have it

i dont like it

[neat lintel]

three easy pieces is free too

[loud snow]

Distributed systems is very cool

The world still has a lot of technological development ahead

The field of IT is yet to be standardized and perfected in its final form

Distributed systems goes beyond IT though

[neat lintel]

@reef carbon

Evaluating the double series: $I = \sum_{j=0}^{\infty} \sum_{k=0}^{\infty} 2^{-3k - j - (k+j)^2}$\
\raggedright let's use a change of variables : $m = k+j$\
\centering $I = \sum_{k=0}^{\infty} \sum_{j=0}^{\infty} 2^{-3k - j - (k+j)^2}$\
\raggedright we can switch between the sums freely:\
\centering $I = \sum_{k=0}^{\infty} \sum_{m=k}^{\infty} 2^{-2k - m - m^2}$ = \sum_{m=0}^{\infty} \sum_{k=0}^{m} 2^{-2k}. 2^{ - m - m^2} $\
\centering $I = \sum_{m=0}^{\infty} 2^{ - m - m^2} \sum_{k=0}^{m} 2^{-2k} $ \
\raggedright We simpilfy the geometric series to ease dealing with the rest:\
\centering $\sum_{k=0}^{m} 2^{-2k} = \frac{1 - \left(\frac{1}{4}\right)^{m+1}}{1 - \frac{1}{4}} = \frac{4}{3}(1 - \left(\frac{1}{4}\right)^{m+1}).$\
\raggedright By substituing the sum into $I$ we get:\
\centering $I = \frac{4}{3} \sum_{m=0}^{\infty}(1-2^{-2(m+1)}) 2^{ - m - m^2}.$ \
\centering $I = \frac{4}{3} \sum_{m=0}^{\infty}(2^{- m - m^2}-2^{- m^2 - 3m - 2}) .$ \
\centering $I = \frac{4}{3} \sum_{m=0}^{\infty}(2^{- m ( m + 1)}-2^{- (m+1)(m+2)}) .$ \
\raggedright let's view this as a telescopic sum of a sequence:\
\centering ${w_n} = 2^{-n(n+1)}$ and ${w_{n+1}} = 2^{-(n+1)(n+2)}$\
\raggedright Thus: $I = \frac{4}{3} \sum_{m=0}^{\infty}({w_m} - {w_{m+1}}) = \frac{4}{3} .({w_0} -\lim_{m\to\infty}{w_m})
$\
\raggedright and so we get : \
\centering $I = \sum_{j=0}^{\infty} \sum_{k=0}^{\infty} 2^{-3k - j - (k+j)^2} = \frac{4}{3}$\
\hfill$ \blacksquare$ \

[fathom swallow]

Nebula ✨
Compile Error! Click the reaction for more information.
(You may edit your message to recompile.)

[reef carbon]

hm

so there is some trickery that does it, i guess.

[neat lintel]

Yeee

[onyx ridge]

hi can someone help with an integration question

[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.

[tropic mica]

I’d like to ask y’all about the ceremonial ritual I need to do to pass calculus exam

[hidden isle]

ε

[long matrix]

<@&268886789983436800>

[gentle granite]

Which calc?

[median sentinel]

If U and V are two open sets in Euclidean space, U and V are homeomorphic to each other, how can I prove that there're an open ball A⊂U and an open ball B⊂V, such that A and B are homeomorphic to each other?

In short, homeomorphic open sets in Eclidean space contain homeomorphic open balls

[median sentinel]

the ambient euclidean spaces may be different

[raven plaza]

If they be different dimension, then they not be homeo

[plain owl]

that's what they're setting out to prove

[raven plaza]

?

Oh

[vapid ridge]

hi everyone

is rubbing alcohol better than water and handsoap?

[gentle granite]

Better in what regard?

[vapid ridge]

cleaning

[gentle granite]

The difference is marginal and there’s a better option

[vapid ridge]

which is?

[gentle granite]

Rubbing alcohol and hand soap (hold the water)

This is not medical advice.

[vapid ridge]

have u done this 😭

[vivid halo]

no definitely not

[vapid ridge]

why so

[vivid halo]

there are certain germs that hand sanitizers don't kill but soap and water does kill them

also any actual dirt/heavy metals/whatever gets removed by soap and water and not by hand sanitizer

[raven plaza]

Wash your hands with bacteriophages

[glass peak]

There’s also the fact that like soap is easier to spread around everywhere, rubbing alcohol would only kill germs where you get it exactly. Soap kinda flows all around

[vapid ridge]

rubbing alcohol, 70% isopropyl not hand sanitizer

[tired briar]

can i ask in here???

[vapid ridge]

abour?

[surreal wave]

Are these the same thing?

SCIENTIFIC COMPUTING
Machine numbers and arithmetic, error analysis. Nonlinear equations. Review of linear algebra: norms of vectors and matrices, scalar product. Solving linear systems of equations with direct methods. Approximation of data and functions: polynomial, piecewise polynomial, trigonometric and FFT interpolation, spline functions; Parametric splines and Bezier curves and B-splines. Solution of overdetermined linear systems and least squares: the normal equations, the QR method and the SVD singular value decomposition. Some applications of SVD.

NUMERICAL ANALYSIS
Analysis of errors in computational processes: inherent and algorithmic error, conditioning of computational problems, machine numbers and operations, algorithmic error analysis, forward stable, backward stable, unstable algorithms.
Numerical linear algebra: vector and matrix norms, matrix calculus.
Notable algorithms for solving linear systems. Remarkable matrix factorizations. Spectral and singular value decomposition. Iterative methods based on stationary linear iterations. Least squares problems.
Numerical resolution of nonlinear equations and systems.

I'll be studying scientific computing next year (computer science major), I was thinking about taking numerical analysis as an elective as I want to study data science & AI next. But I'm not sure if the two courses are on the same topics or not

[deep mango]

they're pretty similar, there's a lot in the overlap but some differences

you could definitely learn the differences on your own relatively quickly

[surreal wave]

if there's overlap then i'll choose another course as an elective, thank you

[vernal token]

Erdös found a grapefruit. He looked at it and looked at it and got a butter knife. "It can't be by chance," Graham explained, "that he so often used the dull side of the knife, trying to force his way through. It'll be squirting like mad, all over himself and the kitchen. I'd say, "Paul, don't you think you should use a sharper knife?' He'd say, `It doesn't matter," as the juice shoots across the room. At that point I give up and cut it for him."
-Hofmann

[vapid ridge]

hi everyone, who has used excel here

and knows the ins and outs of it

[vocal vessel]

Just ask

[vapid ridge]

so uh

essentially, i wanna use 5 cells to rng, but the whatever the sum of that rng will still be 100 all the time

=PRODUCT(RANDBETWEEN(0,100) * 1/5)

here is what i have so far

[vapid ridge]

All solved thanks

[light needle]

@tranquil zodiac lets talk here

so you dont need a lot of physics to do quantum computin

fact is we kinda abstract it all away

essentially all you need is comfort with linear algebra

[tranquil zodiac]

Right, I don't want to waste time studying classical physics if it's not really necessary.

I just don't know if it is a requirement for understanding quantum mechanics(and do I need to go through that?)

[light needle]

https://cleve.iqc.uwaterloo.ca/resources/QIC-710-F23/Qic710Primer2023.pdf

I do think its something you should eventually understand

but the answer is no, you dont really need to understand quantum info

mechanics*

you can kind of black box it, and consider it a new set of rules under which you do computing

[tranquil zodiac]

Cool.

[light needle]

this is a quick primer on quantum info

see if you are comfortable with this

[tranquil zodiac]

Thanks for the link, I downloaded it.

I'll definitely go over it

Do you think we're going to see quantum computing explode soon?

I have a feeling like quantum computing is going to take over and I sorta want in on it. Plus, it's super interesting.

[light needle]

eh I dont really work on hardware and stuff, it seems promising for sure

Its definitely a good investment to learn this stuff

[tranquil zodiac]

What would be the next step after mastering this?

What's sort of the 'next level'?

[light needle]

https://cleve.iqc.uwaterloo.ca/qic710/lecture-notes/index.html

theres some other notes here, i'd recommend reading all of them

and actually maybe just check out the course at large

next, you pick whatever you found interesting here and research more on it

this is specifically quantum info btw, doesnt touch on hardware, physical implementation etc

[tranquil zodiac]

Nice. If I don't understand some of the math components I can fill the gaps like so.

Yeah

I mean, I don't do hardware stuff in CS either

I mostly focus on AI.

[light needle]

right makes sense

[tranquil zodiac]

It's honeslty just super shrouded for me

I just don't know what the potential is

thanks a lot @light needle

[light needle]

mhm

[tranquil zodiac]

is it OK if I hit you up sometime in the future?

I'll probably go into it in a few months once I'm done with my Masters thesis

[light needle]

eh if you have questions you should just ask in the appriopriate channels, but im also free to chat

[tranquil zodiac]

Thanks!

[sonic sentinel]

microwaves sound like something a child made up

"my food takes too long to get ready what if I could have a machine that heated the food like really fast but then also you can't put aluminum foil"

there's no way microwaves are real

[vernal token]

Aren't they kinda bad anyways?

Like it's more healthy to heat food on the stove than with a microwave

Or atleast so I've been told

[leaden torrent]

theres nothing wrong with microwaves as long as your food is actually fully cooked

its just easy to be lazy with them and not fully cook your food

[vernal token]

What's bad about cooking your food in the microwave?

[leaden torrent]

.

[loud snow]

Physics potentials?

[loud snow]

Its a great way to eat bacteria if you defrost with them

[alpine comet]

According to some conspiracists, microwave causes cancer

[vernal token]

Only if you don't cook what you defrosted afterwards, I guess

[loud snow]

Naah

Bacteria still develops on cooked food

Its everywhere lol

[vernal token]

Cooking kills them though

[loud snow]

Thawing doesnt

[vernal token]

Yeah, that's why I said, if you just thaw with the microwave and then cook, it should be fine

[loud snow]

Have you ever recooked your food ?

[vernal token]

I don't really cook, looking at this from a very theoretical viewpoint

[loud snow]

Lol nerd

But yeah you can attempt to recook food

It really depends on what it is

But most times its gonna taste like shit or be inedible, there isnt too much room for error between recooking and reheating

[vernal token]

Rebaking old bread apparently makes it soft again

[loud snow]

Yea

Reheating does that too

[vernal token]

Thawing deepfrozen bread in the microwave and eating it right away afterwards makes it taste very muddy and weird (not bad)

[loud snow]

I never froze bread

[alpine comet]

Maybe it depends on the bread?

It works well with baguette

[velvet dagger]

French bread I find quite painful to eat somehow

I know I know

Heathen

But still

@alpine comet especially Parisian, you get what I mean right?

[loud snow]

Actual baby wth

No teeth?

[uncut trail]

Is there a convention you should use when splitting multiple lines of equations in latex, with a comma or something?

For example, you have something like this image which uses nothing to split the equations (no comma)

But then, you could do something like this and add the commas

to me it is kinda jarring when separating multiple lines in say an align* environment is not consistent (the two images are a part of one solution), so I was wondering what people mostly use to separate multiple lines

[neat lintel]

That is very interesting

[cinder zephyr]

IMO in that first pic there should be a comma after the pr

I view equalities, even when chained, as single objects that are not separated by a comma

[uncut trail]

yeah I'd agree with that

riiiiiiiiippppppppppp

gotta change so many equations now

[strong elm]

hi

[rain plume]

do any of you believe in god?

[warped venture]

yes

[rain plume]

Why?

[warped venture]

kai cenat is my god

he has so much skibbidi rizz

[rain plume]

okay are you 12

and also whats skibbidi

[visual breach]

What did you expect

[rain plume]

I have no idea

[vast surge]

Why do you ask?

[rain plume]

well i used to belive in god but now that i think about it i dont anymore

[tribal jetty]

Didn't know it was possible to draw on desmos

[rain plume]

it is

[tribal jetty]

I'm about to go troll a religous server

[rain plume]

cool

[fair mural]

[tribal jetty]

I failed

[rain plume]

well then

what server

im real good at this kind of thing

[visual breach]

why are you guys doing this

[rain plume]

for fun

what other reason is ther

[fair mural]

do something productive

instead of annoying random people on the internet

[vast surge]

Why?

[ionic star]

trolling is a hobby, it's like asking why collect comic books or something

"do something productive instead of taking ownership of printed copies of illustrated stories"

[tribal jetty]

But tbh I was gonna do it cause I'm Atheist and wanted to see their reactions

[vast surge]

Christ that's obnoxious.

I'm not particularly religious, but live and let live. If they're not bothering anyone, leave them alone.

If they are bothering people, then there's better ways to deal with it than trolling.

[visual breach]

Like I would see the point if they are knocking into your door and try to convert you rn

But well, why visit them voluntarily and do that?

[vast surge]

Sure. I'm also fully in favour of fucking shit up if they're a homophobic church or something (the gay house next to the Westboro baptist church is amazing). But if they're just a religious server not bothering anyone, that's just ridiculous.

[visual breach]

Does US church really harass lgbtq+ people

I just, cannot believe it

[vast surge]

Some do! Christianity in America is split across about a hundred or so denominations that all have differing opinions on queer rights.

[visual breach]

Ah, so there are just too many

Still, I can only imagine up to being against same-sex marriage

[vast surge]

Some are more than willing to perform gay marriage and ordain gay ministers. Some actively want me dead! And just about any stance in between is held by some church or another.

[visual breach]

I see

[vast surge]

(I should clarify, I am a gay)

[visual breach]

No offense, but tbh I see the point of being against same-sex marriage, its tradition is connected with child birth

[visual breach]

Not that I agree with this but anyway

[vast surge]

I'm opposed to same-sex marriage too. But that's more a side effect of my opposition to all marriage, straight or gay.

[visual breach]

Now we are talking, that's the spirit!

[vast surge]

Like it's not the same-sex part I take issue with

[visual breach]

Yeah, these days marriage takes way too much e.g. money (and sth else i forgot)

Why do people still marry?

[vast surge]

It's also a heteronormative, misogynistic institution that dates from an era where women were the property of their husbands.

[visual breach]

<- In great danger of offending lots of typical people

Misogynistic? Welp I did not delve in that one, would be great if you elaborate!

[vast surge]

If you want to be traditional about it (i.e., get married the way people our grandparents' age did!), there were very well-defined gender roles within marriage. The husband was the primary source of income and in charge of the household

One sec

<@&268886789983436800> fuck this guy

[last creek]

....

[vast surge]

Opposition to marriage was a fairly mainstream stance within queer rights activism right up until about a decade ago

[visual breach]

Hmm, gender roles yeah

[visual breach]

Oh no, what happened

[last creek]

Marriage is legally advantageous

[vast surge]

Gay marriage won out over the desire for people to abolish the traditional institutions of power

[last creek]

And it wasn't going to go away

[plain island]

that's not really appropriate language, please be respectful and courteous at least

[visual breach]

Ouch. Excuse me wh

[last creek]

So it essentially becomes a right denied to the gay subset of the population. I would have pivoted to gay marriage instead of marriage elimination too

[vast surge]

Yeah. All well and good for those able to fit into a homonormative paradigm, but shitty for just about anyone who doesn't want a white-picket fence and two-and-a-half kids.

[vast surge]

I mean don't get me wrong I'd much rather live in the world with legal gay marriage than a world with only straight marriage

But I wish we'd done away with it altogether

[visual breach]

Yeah, it is just drawing another line, but this time between just homosexuals and queer people

Also true, now thinking about it, marriage has been one of the "tools" that still gives strength to the segregational ideas.

[vast surge]

In particular, as a result of the traditional gender roles in marriage, it forces queer people into fulfilling the same traditional roles. It's not husband-goes-to-work and wife-stays-at-home-and-raises-kids anymore, but it does still force people to fill some of these roles in similar ways.

[plain island]

i remember thinking that marriage should be split into secular and religious (which it kind of already is) but idk if that really solves any of the problems

[vast surge]

Oh also fuck poly people I guess

[last creek]

Getting rid of marriage as a legal institution is like "lol, no" levels of politically impossible

[visual breach]

I am witnessing the issues from these gender roles lol

[vast surge]

Like, I'm not personally poly myself, but shitty that we're still actively discriminating people who are

[visual breach]

Encouraging people to work, yet someone still has to grow the children

[last creek]

I wish we had a more rational way to form legal families with the protections and advantages of marriage

It shouldn't have any thing to do with romantic relationships necessarily

[visual breach]

There is this makeshift system that is daycare service for kids, but.. still not working imho

[vast surge]

Not to mention, marriage has the fun side effect of forcing people to be together. If a relationship lasts forever, that's wonderful! But a relationship can be beautiful and also run its course, and marriage as an institution doesn't reflect that reality - instead it forces people to remain together long after they should have broken up, and what could have been salvaged to at least friendly terms necessarily becomes hatred.

[visual breach]

I heard this was a thing as well, sounded like a great proposal. Was not accepted* iirc, tho

[vast surge]

Also maybe I'm just a bit paranoid, but I'd rather avoid being gay married on an official government marriage registry in case things go sideways for gay rights again. Even in America, Lawrence v Texas was within our lifetimes.

[plain island]

marriage, tax breaks, that sort of thing are to an extent an expression of the government trying to make it easier / encourage people to actually have kids

consciously or otherwise

[vast surge]

I'm a shitty person and a coward; I'd like the plausible deniability to at least say "wait wait you have no proof I'm gay!" if the fascists kick down my doors and try to kill me.

[plain island]

yeppp i've thought about this

[visual breach]

Uh, is it

I think at least marriage isn't, for now.

[vast surge]

They're not encouraging people to have kids, they're encouraging people to have kids within a certain pre-approved familial structure. Fuck you if you want to raise a kid with your two best friends that none of you are into eachother sexually, for example.

[visual breach]

Also you are free to not give birth to a child when you are married

Yep, imho it is more for preservation of the traditional structure

[vast surge]

If the government actually cared about the wellbeing of children, they would make it easier for single/unmarried people to adopt.

[visual breach]

..which also carries the mysogynistic notions, yk

Imho any group of mentally fine people could grow children (idk, maybe not?)

[vast surge]

Anyway yeah this is a fairly "sus" stance that I'm taking!

[vast surge]

Au contraire - I don't think two people is enough to adequately raise children in a healthy, functioning manner.

[visual breach]

Oh, right

Even traditionally, I heard entire large family was involved in raising child

[vast surge]

(Also, the nuclear family structure is basically designed to maximize dysfunction)

[visual breach]

(Or do you mean one person is better?)

[visual breach]

Wh.. wait

[vast surge]

Nah. My ideal child-raising strategy would involve multiple families working together.

[visual breach]

True, that's mine as well

[vast surge]

Have you ever met a nuclear family that's not grotesquely dysfunctional?

[visual breach]

I mean, I do not get the 'maximizing dysfunction' bit.

Is it designed for that?

[vast surge]

Force a group of 3-5 people to live together for 20 years in a high-pressure environment without options to interact with other people and I'd be shocked if they didn't hate eachother at the end of it

[visual breach]

Ah, I see what you mean. Then I agree

Increased isolation did not help

[vast surge]

Not like, some guy literally sat down and designed it to maximize dysfunction. But the dysfunction is an inevitable consequence of the nuclear family structure.

[fervent flame]

??

[visual breach]

Indeed, it is hard for people to stay together like this, fairly isolated from others

Need something analogous with extended family, but better

[vast surge]

From the kids perspective, allowing kids to interact with more than just the two people they're forced to live with because they had the same parents would be nice. Let people become close friends with those they're raised alongside! Sure, people will be closer to some than to others, but that's fine! The Wright Brothers were the best of friends, but were 2 out of 7 kids, for instance.

[plain island]

what's that old saying, it takes a village?

[vast surge]

From the parents' perspective, more potential caretakers is a great idea! It makes it easy to take a day off, to allow people to fill certain niches in raising kids, etc.

[visual breach]

What do you think is the main obstacle to this

[vast surge]

The existence and perpetuation of the nuclear family structure

The model that I'm proposing also works best with sedentary communites, whereas I think modern American society would be better described as semi-nomadic.

[fervent flame]

does your definition of a nuclear family mean that they are completely isolated?

[visual breach]

I mean, idk what makes nuclear family structure so persistent

It's not ideal in any sense.

[fervent flame]

i strongly disagree that the majority (source needed) of families hate eachother

[vast surge]

Not literally isolated from the outside world. But it supposes that the mom, dad and siblings are the core, most important group, and everyone else is secondary. After curfew at 8PM, or when you're home after school as a kid, that's who your options are to spend time with except for special occasions (play dates, for instance)

A larger, more dynamic family unit would be more accommodating to allowing people to just... interact with more people in a positive manner.

[visual breach]

Not that a family hate other family, more about how family constituents get into conflict so frequently.

[fervent flame]

i meant hate within, in reply to this

[vast surge]

Also if you're pissed off at your two designated adults, you don't have an easy recourse in the current popular model. A more dynamic family structure would allow me to leave my parents and live with my uncle or grandmother or next-door-neighbour relatively safely and easily as a kid.

[visual breach]

This shall be necessary imho

Abusive parents are the worst.

[vast surge]

Hate is not necessarily a permanent state. The majority of families don't all hate eachother at the same time. The majority of families have all gone through phases where kid A hates kid B, where the parents can't stand eachother, where the rebellious teenager hates their parents.

In particular, a lot of these tensions go away once the kids move out and renegotiate their relationships with eachother and their parents on more equal terms, without seeing eachother every day. My relationship with my dad and one of my brothers is stronger now than it's ever been, and I haven't seen them in close to 2 years by this point.

[visual breach]

Yea, isn't it so magical?

[vast surge]

Also, cousins argue less than siblings (at least stereotypically), kids get along better with their grandparents than their parents, etc. under the nuclear family model.

[plain island]

i think that's mostly because they spend less time together

[vast surge]

Exactly!

[plain island]

arguing and conflict is how growth happens

maybe it's not the only way for that to happen

[vast surge]

I'm not sure if I agree with that. I argued a lot with my brother and mother as a kid, but I was fairly static as a person while that was ongoing. I grew and matured significantly more when I left home and didn't get into fights as frequently.

(In this case, I "left home" at like 16 - I was not an adult. I was a runaway for a bit, and moved in with my dad)

With the brother I get along with, even just a few weeks apart was enough time for us to decompress and actually get along.

[plain island]

i guess i was fortunate to have parents that encouraged introspection

[visual breach]

I think that much good parents are very rare

[vast surge]

Making it easier and safer and more acceptable for kids to up-and-leave instead of being forced to fight and argue I think would just make things healthier for everyone.

[vast surge]

I mean, my parents certainly never encouraged introspection.

[visual breach]

Indeed

[vast surge]

My dad did to an extent

[visual breach]

Mine somewhat encourages introspection, but was not done well

[vast surge]

But he's not particularly intelligent, so it wasn't great and also there were definitely topics where introspection was a bad idea due to other surrounding factors

[visual breach]

Also what helped is that there was remnant of extended family for me, so I was able to get along with cousins

[vast surge]

(for instance, introspecting about sexual orientation and gender is a really bad idea if you live in a country where gay sex is actively punished with jail time)

[visual breach]

Oh no

[vast surge]

Yeah if I grew up in America closer to my extended family I think I would have had a happier childhood. It wouldn't have been perfect, but several of the worse aspects of my childhood could have been avoided.

[visual breach]

Indeed.

[tranquil eagle]

hi

this may be off the topic

but i hate mixed numbers

[cold needle]

damn

[tranquil eagle]

how can we distinguish them from multiplication

[cold needle]

when you grow up

you will no longer see them

[tranquil eagle]

how can i know if 2⅖ means 2 times ⅖ or 2 and ⅖

[tiny forge]

No one uses them past like age 10 so you'll be fine

[tranquil eagle]

I am 18

[cold needle]

they become improper fractions

Ok what the fuck

[tranquil eagle]

I mean

this is a random thought i got

[cold needle]

this is in school?

ohh

i see

Sure

[tranquil eagle]

Why the hell do children have to learn them

[cold needle]

i also dont like mixed fractions its confusing notation

[tranquil eagle]

if they are useless

[tranquil eagle]

see thats what i am talkin abt

[cold needle]

im not sure, maybe it is used irl? i dont recall having to use it recently though

[tranquil eagle]

lets invent new notation guys

[tiny forge]

Feels imperially

[cold needle]

Oh right

when doing anything with inches and feet

Definitely

its been a few years since ive worked with wood but yes

[static juniper]

i usually see stuff with mixed numbers, like in a bottle they say 1 and 1/2 litters

[tranquil eagle]

why not just a fucking +

[neat lintel]

hey guys, I have a graduation project that is to be FULLY done next year however I need to get a first prototype ready in 5 weeks. I'm struggling to find an idea thats unique and good. So I wanted to ask if anyone has any ideas that can help me I'd prefer if it includes some STEM subjects and some programmng but as long as its a unique and useful idea it would be great. Btw preferably the project should have a purpose or a goal to achieve so yeah ok thanks

[tiny forge]

But do they write it as 1½?

[cold needle]

ok a plus is sort of obnoxious there imo

[static juniper]

ye

[cold needle]

But also a 3/2 is also kind of dumb

[tiny forge]

I can't remember if I never see this anywhere or if I do see it often and am just used to it

[static juniper]

i’d take it

[cold needle]

Its sort of the middle ground between decimal and fraction

[neat lintel]

I see 1.5 L

[tranquil eagle]

1+½ is way better than 1½

[cold needle]

Because you can see the number of whole quantities and deduce quickly the excess

[cold needle]

idk abt that for me personally

[tiny forge]

I would think at some point people got tired of writing the + everywhere

[cold needle]

I think in practice its totally fine to use mixed fractions in labeling things

[long matrix]

we never concatenate literals to denote multiplication do we.

[cold needle]

but for actual mathematics its not worth

[long matrix]

as a general convention at least

11 is not 1 times 1

[tiny forge]

Yeah I would probs use a dot if I was doing like 5 • 1/2

[static juniper]

yea you only use multiplication with more complex numbers, like 5x or 2i

[storm sage]

In the US, zoning laws play a big factor in ensuring the only types of houses that are ever made are for nuclear families

Besides that there are societal stigmas, familial expectations, etc that can hurt you if you don't conform to the norm

Plus the nuclear family assumption is basically written into the law/tax structure

[reef carbon]

#help-8 message @neat lintel would you mind telling me what you meant when you said "KFC type language" here?

i'm curious to know

[ocean harbor]

Russia

[modest wolf]

Seems like a joke lol

[reef carbon]

no, Bulgaria

[reef carbon]

i don't understand the joke then

[long matrix]

england?

do you england?

[reef carbon]

no, i don't england

[fair mural]

shuri do you england

[long matrix]

i meow

[reef carbon]

🐱

[rocky shuttle]

i cat and deer

[dire glen]

hey i'm studying diff equations and i'm not sure about something about frequency

in the formula
ae^-rt cos(wt-phi)

[long matrix]

[dire glen]

they call w pseudo frequency

[long matrix]

<@&268886789983436800> likely racism

It might be if you refuse to elaborate on your intent.

[dire glen]

so i undertand that if i want to check 2pi later i should add 2pi to what's inside cos()

so
cos(wt + phi + 2pi)

but this tells me nothing. If i rewrite this way
cos(w(t+2pi/w) - phi)

it's the same thing but the 2pi/w now represents the ... period?

forget about the minus or plus before the phi, i messed up should be minus.

[storm sage]

banned

[long matrix]

💀

[reef carbon]

ok but tell me: what's the correct interpretation?

if it's a joke, can you explain the joke and why it's funny? if it's something else, what is it?

[rocky shuttle]

they're not in the server anymore

[long matrix]

they won't be telling anything

[rocky shuttle]

[reef carbon]

oh lmfao

[long matrix]

for the record, I had absolutely no clue what they could have meant

[dire glen]

kfc type language?

[long matrix]

yh
also if u wanted to discuss math, the discussion channels rnt the best place for the best reception

[ocean harbor]

I think they meant fried chicken

[plain island]

but this is the math server smh

[ocean harbor]

[long matrix]

when was the last time u talked maf

[plain island]

i proved a whole theorem in the lounge yesterday

[long matrix]

[reef carbon]

yeah tbh if they were trying to be racist the offense got completely lost on me

[dire glen]

i'm out of the loop but i see a connection with racism here

a quick google search will reveal a connection between black people and chicken.
Where can i ask for math help anyway?

[long matrix]

help channels

u can talk in #math-discussion

also the topic channels

[dire glen]

so this is misc chat?

[long matrix]

well if thats what they meant, then they would have been terribly misinformed

no surprise

[ocean harbor]

No

[long matrix]

i mean - the alphabet is cyryllic looking

[ocean harbor]

We don't need a music chat cuz I can sing

[dire glen]

misc = miscellanous

[ocean harbor]

ah

you got me there

[honest badge]

Да ну

[loud snow]

What theorem

[vague ferry]

wait did i miss an epic racism moment?

[tranquil garnet]

Yeah check the comments about Belgians being stinky. (Just kidding).

[plain island]

something about the adjunct of xA where A is a matrix

[long matrix]

im disintegrating

disintegrating so hard omg

[rocky shuttle]

adjunct of xA?

[fresh comet]

random question: how do fields of math get named?

[long matrix]

i did

[fresh comet]

what's the etymology behind the names?

[vague ferry]

Isaac Newton and Gottfried Leibniz are both credited with the invention of modern calculus in the 17th century. In Latin, calculus means “pebble.” Because the Romans used pebbles to do addition and subtraction on a counting board, the word became associated with computation.

got it from a google search

[fresh comet]

what about the etymology behind real/complex analysis, or abstract/modern algebra?

[vague ferry]

dawg just use google 😭

[fresh comet]

it doesnt tell me where the names came from :/

[dense hornet]

Oof Kayo

[vague ferry]

literally

also saving this for later

[pallid minnow]

Can anyone refer me to an Economic Discord server where I can ask questions related to it?

[loud snow]

O

What is xA supposed to be

[plain island]

x times A

x being a real number

[loud snow]

Ok lol

[plain island]

linear algebra stuff :D

[loud snow]

Not gonna use the typical letters tho

[plain island]

the typical letters?

[loud snow]

People usually reserve end of alphabet for vectors

im just thinking of usual notation

[plain island]

what would you use instead?

[loud snow]

a,b,c usually used for constants sometimes k.
m,n used for integer constants.
x,y,z,v,w used for vectors.
Capital letters are matricies

[plain island]

well I feel like xA is probably more clear than aA

[loud snow]

Yeah thats why you use kA as an example

xA can give impression that you might have meant x^TA

Thats what I first thought atleast

[tiny forge]

Yeah xA does make me uncomfy

[last creek]

mA or cA is better than aA

[rocky shuttle]

αA

[dreamy cloak]

can anyone help with proofs

[ocean harbor]

!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.

[dreamy cloak]

bro

ive waited 2 hours

i even reuploaded it

[ocean harbor]

be patient more

ik some people wait like days

[zealous garden]

v,w instead of u,v,w huh

Noted

[tiny forge]

You can use u

I mean you can use whatever but in the convention cofe is talking about u is often used for a vector

[zealous garden]

Yes, cofe did not mention u

Which is why I did

Because it's common

[tiny forge]

Common w

[zealous garden]

common u,v,w

[eager quail]

Hey guys. I'm doing online school with shot hour classes, with only about 2-3 everyday. With additional homework. But I have extra goals and subjects I self study: Spanish, Guitar, Math, Neuroscience.

I can make time for this all with a good schedule and time management, right? But I might have to work harder?

[vast surge]

My recommendation - pick up one extra thing at a time. Go a week and see if you're on top of your online school. If you have plenty of free time, add Spanish guitar. Go another week or so. Still have free time? Start self-studying math as well, go a while, see if you're still feeling good.

That way you avoid burning yourself out immediately, and can build up the work ethic to do all these things.

It goes without saying, if you add something and then don't feel like you can add more into your schedule, that's a good place to stop adding stuff to your schedule.

[honest badge]

Prioritize. Which of this 4 thing is more needed

[plain owl]

you will not be able to study anything to a good level if you do it all

it's just too much

[onyx ridge]

hi can someone help with an integral

[opal mesa]

if its not that hard, maybe, but if its even slightly normal level im screwed

[solar hawk]

How ru so wise ??

Shit yall adults r doing some crazy shit

[vast surge]

https://www.youtube.com/watch?v=FtHZn5X5bXM

[stuck cloud]

hiello

[honest badge]

who is ello

[sonic sentinel]

what if when you die there is nothing except a floor and everything is white but then there's a buttonm on a raised structure and it says below it "don't ever push this button" and the button is bright and red and when you pressed the red button all it does is you would forget that you pressed the button

that would be moderately funny i think

[drifting cliff]

I dare anybody to prove me wrong

If a = b

then b = a

[sonic sentinel]

let a be me (who is a man) and let b be my friend (who is also a man). because i don't like myself, and friends must like each other, we can logically conclude that a neq b; however, this contradicts the u.s. declaration of independence that says that all men are created equal, so by the principle of explosion we can now deduce anything, including the fact that you are wrong.

[waxen vapor]

Hey guys are any of you in the Chemistry discord server linked in the network channel?

[sonic sentinel]

I'm inside it yes, but I don't do much

why

[wary lava]

Hey guys, good evening

[honest badge]

Damn, how it can be wrong

[daring coral]

HI

im new here

[thick zealot]

Guys, do you know how to get springer to cancel an order that I didn't request, I have sent 3 emails and they don't answer me.

[loud snow]

Call

[clear parcel]

have you called your bank?

take springers money and they will do something XD

[jagged forge]

@pulsar pagoda my shitty mini pc and network cards are arriving today

will post pics

it’s gonna be so jank with the naked network card just sticking out of the mini pc in the open air

[pulsar pagoda]

u could buy a cheap fpga put it on the m2 slot

and we could do some shit

idk

[thick zealot]

I ordered two books, thamba linear algebra and sheldon linear algebra, and then I got a notification that I had bought the same sheldon book again without having done anything, I thought it was strange, and I am working on it but they take 2 3 or 4 days to get back to me.

[vernal token]

Can you call Springer?

Yeah, you can

That's probably the fastest way

[clear parcel]

good luck 🫡

lol i remember i bought a ton of parts to build a pc the case was coming a week late i wanted to play so bad i just stuck everything on the motherboard and powered it XD

[jagged forge]

how much does a cheap fpga go for?

need one that fits on a x8 slot too

[pulsar pagoda]

200-300 dollar

[cinder zephyr]

Is there a word for division analogous to multiplicative?

[storm sage]

I think multiplicative implies this, no?

assuming you mean f(xy^-1) = f(x) f(y)^-1

[cinder zephyr]

I literally just mean the word

I am writing something and I am saying "we can think of this in a multiplicative manner"

and I want to make analogy using division and am now wondering if such a word exists

Googling hasn't given anything

[clear parcel]

divisive

@cinder zephyr

[cinder zephyr]

oh that works

ty

[uneven hound]

Gusy

For linear algebra is 3b1b too superficial?
or Brilliant? idk what would you recommend? I know almost nothing about the maths related

[solid snow]

yes to both

pick up a textbook

[uneven hound]

Danm

Thanks

[bronze wedge]

you cant learn any serious math by watching 3b1b (although he is good at building intuition)

[tranquil garnet]

Mathematics is a thing that you do, not a thing that is told to you.

[clear parcel]

The two textbooks I have learned from are Shaum’s linear algebra (more application based) and Hoffman and Kunze (more theory based)

[old oak]

or it's a thing that's done to you

[pearl cave]

after these months i now have 23,735 pings from this server

[fervent flame]

interesting

[jagged forge]

update: turns out mellanox nic's need active cooling

[pulsar pagoda]

😆

[jagged forge]

it's running at like 65 degrees idle lmao

im not even sure how to install a fan onto this mini pc

[pulsar pagoda]

i would need to see that case

or maybe just remove it entirely

[jagged forge]

let me send pic

[pulsar pagoda]

and use it open

[peak tide]

what the hell speed is this nic running at, that it needs active cooling?

[jagged forge]

well it's a 25 gigabit nic and i put it on a mini pc

[peak tide]

ahh

[jagged forge]

it's not really even a case....

one sec

the mini pc is fanless by design

and it has an external pcie slot

[peak tide]

funky

and that's able to heat the mini pc to 65C??

[visual breach]

Woah

[jagged forge]

no, the card is 65C

[peak tide]

ohh ok

[visual breach]

You made your own micro pc?

[jagged forge]

according to.... this command i installed

[jagged forge]

no i bought it

[visual breach]

Ah.

Judging by how it is exposed, I thought you made it from some parts

[peak tide]

well 65c is 149f, does it feel hot when you touch it haha

[jagged forge]

yes it does lol

can't touch it for very long

[peak tide]

maybe a little desktop fan blowing across it will do the trick

[jagged forge]

yeah..... im just not sure what to plug in the fan to

[peak tide]

like a person-cooling fan as opposed to a pc-cooling fan

[jagged forge]

oh, like a regular fan haha

[peak tide]

yea, i mean if it's external to the case it seems that could work

why the hell does it run so hot when idle, i wonder

[jagged forge]

do you see anywhere on this motherboard that i can connect a fan? cuz i don't

the amazon description says it does

[jagged forge]

https://www.amazon.com/dp/B0CQVJ7Q8C

i found it from a youtube review https://www.youtube.com/watch?v=mZBmgRgY2bc

yeah i'm just using the mini pc for convenience, i want to test these enterprise grade network cards

desktops are nice because they're upgradeable, but also a pain to lug around when you move

[neat lintel]

Many here take the education system so seriously that the whole thing damages their intellectual development. I only feel disgust when someone speaks of "courses" and "hardness" or "difficulty" of books.

[vivid halo]

Some books are genuinely more difficult to learn from than others

Also water is wet

[neat lintel]

In sense of "level", EG beginner books, "advanced books."

[vivid halo]

I mean yea

[merry swallow]

baby rudin is hard bro/broetee

broette*

[neat lintel]

You know from experience it has parts that take longer for you. You take other works & use them to continue learning.

Is this method of studying texts analogous to path finding algorithms? How?

[thorny flume]

Your name is a half life reference

[neat lintel]

It's nickname—Xen, Xenia.

Also

[thorny flume]

I see, heh

[alpine copper]

Are there any REUs or other summer research opportunities for the field of Mathematical Physics available to undergrads?

I am hoping for an intersection of Geometry, Topology, and Gravitation

[unborn trellis]

Doesn't exist as far as I can tell

Best bet is doing geometric analysis

[wooden falcon]

Mathematical Physics REUs definitely exist. I did one on lattice models. But you might not find the exact topic you wanna research.

[unborn trellis]

In geometry topology and gravitation? no lol

I've been in this exact situation last year

[oblique sluice]

hey can i ask quicq question on here?

[wooden falcon]

They weren’t gravity. But some people I knew at my university did mathematical physics REU’s on topology and geometry.

At any rate the question was about the existence of mathematical physics REUs period. Not necessarily only those focused on topology, geometry, and gravity. The answer is a definite yes.

[oblique sluice]

?

[wooden falcon]

Yes.

[oblique sluice]

waht is arbitrary set or what does is mean what should i understand

[wooden falcon]

Are you asking what a set is?

[oblique sluice]

"undetermined; not assigned a specific value" says on internet but

no arbitrary set

[wooden falcon]

I would think that’s just some set but you haven’t specified which one it is. This way you can prove a result which is true for any set.

[oblique sluice]

any senumerable set contains finite set or arbitrary size

ok it is contains finite but

what do i learn from containing arbitrary size

or what should i understand

[wooden falcon]

By enumerable set do you mean a countable set?

I ask because enumerable is also commonly used to mean a computably enumerable (or recursively enumerable) set and these are different things.

You may be interested in the von neumann ordinals. https://en.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers

natural numbers are implemented as finite sets and N just contains all these finite sets.

[oblique sluice]

yes it written under countable sets

[oblique sluice]

i mean denumerable btw

[oblique sluice]

thank you anyway @wooden falcon

[sonic sentinel]

is there a word for nostalgia that feels more disgusting and empty than sad or moving

[last creek]

idk, but I get this feeling

regret maybe

[alpine copper]

Do you know where to look for these math phys reu's?

Specifically anything involving topology/geometry

[wooden falcon]

They were on my university’s math department website. Internal REUs. Maybe your university will have some on its math department website.

[clear parcel]

What is that feeling when you remember something really cringe you did in like middle school or highschool 😂

[alpine copper]

Unfortunately it does not on my end.

[neat lintel]

@neat lintel yo random but what note taking app do you use

the default apple one

the one that comes installed w every ipad and iphone

i see

[hollow jackal]

define an iterative function

[tranquil garnet]

How many iterative functions are there?

Non-yes/no questions are hard to come up with.

Do you mean, recursive?

Otherwise this just sounds like series.

[tranquil garnet]

Did this person get banned?

Why is that?

[uneven hound]

how do you check (add 1)

[meager sonnet]

what is up armadillo being

[wooden falcon]

Not much. Currently wondering if an index free approach to tensors is worth it.

What’s up fionaToday?

[meager sonnet]

I woke up at 5 pm

me and Dani have made breakfast

[wooden falcon]

Ah I see. Hope the breakfast was a good one

[meager sonnet]

it was!

[wooden falcon]

excellent

[plain owl]

I would always try to learn index free versions

to understand how stuff works on a more conceptual and abstract level

can make many arguments shorter

[loud snow]

Index free version of what?

Oh

[alpine copper]

The one thing index free version doesn't do as well as more traditional approaches is contractions

Penrose talks about this in his Spinors book

It's part of his motivation for his abstract index notation

[zealous garden]

Contractions huh

Why are those somehow especially index needy

[alpine copper]

Indices make it clear what parts of the tensor are being contracted with the other tensor. There is more ambiguity about how you contract tensors of rank >= 3 without specifying some part of it

Ah, I can't send images here

[pulsar pagoda]

@jagged forge https://www.youtube.com/watch?v=YyRVOGxRKLg&ab_channel=Masterylearning

[neat lintel]

we love crab

[wooden falcon]

My main hesitations with going index free is that index (especially abstract index) automatically makes many expressions manifestly equivalent and expressible. For instance a fundamental thing with vector spaces is they with the tensor product form a closed symmetric monoidal category.

Index notation has basically modded out by the associatiator natural transformation and curried things already. And it is seamless to express swaps because the slots are labeled.

By contrast, the naive method of index free has incredible redundancy. The expressions are not manifestly associative. They are not curried. swapping takes way more symbols to express than with the indices.

I think some of these difficulties can be overcome by doing index free differently. For instance I really think I should curry everything by default to take care of associativity and the currying. But the fact remains it’s still much less practical for calculations. But I think index free is likely worth formulating, if at least as a starting theory and perhaps as a final presentation of an equation even if it’s not used for calculations.

[jagged forge]

i am an abstract index notation enjoyer myself

[neat lintel]

why is programming hard extremely time consuming?

[charred burrow]

Everything requires hardwork and time. Holds the same for programming

[jagged forge]

computers do not think like humans

reasoning about a computer’s behavior can be quite difficult

[teal sage]

https://tenor.com/view/as-gif-27009126

[charred burrow]

your new what

[vapid ridge]

guys help

how is cos 0 = 1 and sin 1 = 0?

ik i have to use unit circle but i only get it if its angles (ie. sin 90 degrees or cos 90 degrees)

[small dust]

sin(1) is not 0

[vapid ridge]

what

oh

[vapid ridge]

but how is cos 0 = 1

[small dust]

cos(0) is the x value in the pair (1,0)

[vapid ridge]

yes

wait

ohh waitt

0 degrees

okok thanks

[plain owl]

what is this

[muted totem]

Hello chat

If I can get through three chapters of analysis today, then I will have finished my analysis book before the class it's for has started

🙂

[dense hornet]

I heard it's fairly common for people to get a bachelors in 2 years and now I feel confuse

[lament stirrup]

Hello,I have been studying abstract algebra for a period of time and I have build a good knowledge on Group Theory,Ring Theory,Field and Galois Theory using HungerfordAlgebra.As I noticed I can’t learn any new things using this book,I use Serge Lang’Algebra instead.Could anyone advices me on using this book?

[river yew]

You have built a good knowledge but you canät learn new things? dont undestand the question sorry

[clear parcel]

how the flip would someone get a bachelors degree in 2 years??

[drowsy talon]

I got mine in 2 years, but I went to a CC first

[clear parcel]

oh yeah, same, but in total I have never heard of anyone getting a bachelor's in two years

maybe like Terence Tao or Stephen Wolfram or those type of people

3 years total is doable for sure, with college credit in highschool

2 years is probably doable to, but would be close, idk if I could do it with the requirements they have in my state

i guess the point is @dense hornet dont feel bad if it takes u longer than 2 XD

[exotic sedge]

why Biochemical Engineering is so underrate

[dense hornet]

To me CC counts as college if it's not done during your highschool years

[clear parcel]

i met a biochemical engineer on my flight to Ohio he does some pretty cool stuff they genetically engineer bacteria to produce different chemicals and vitamins @exotic sedge

[drowsy talon]

I agree. Do you have a Bachelors too?

[dense hornet]

Anyways it took me 6 yr plus 1 unintentional gap year cuz I'm fucking stupid

[clear parcel]

in Puerto Rico its like 6-7 years to get a bachelor's ???

[clear parcel]

haha same I am on year 7 XD

[dense hornet]

I'm one semester away from completing this BS 💩

[drowsy talon]

Oh nice. What major?

[dense hornet]

Aerospace with a minor in Applied Math

[drowsy talon]

Very cool

[exotic sedge]

i can said Biochemical Engineering its like chemistry with cell atcg code rule adenine thymine cytosine guanine its just ez chemical compound

[stuck zinc]

all numbers are equal to zero
becuas eall numbers over infinite are ewaul
then you multiply them byy infiniti and there still the same
so all numbers are equal

[vale plover]

i'm assuming you mean profile picture?

we normally abbreviate this as pfp rather than pp, as pp is more commonly used to refer to a penis

[fair mural]

wow

[gritty totem]

the entire thing is just 3 years here, it can be very conceivably be done in two (by most people even). If you mean US bachelors which take like iirc 4 years that starts to sound more like a logistical limit

[neat lintel]

not a lot of jobs, poor earning potential compared to other engineering

good major for premed

[daring coral]

hi

just new

[neat lintel]

its very common for engineering degrees to take 5 years in the US, 5 is actually pretty typical

ive never heard of someone completing one in two years

unless they mean they already had an associates dehree

they wouldnt even let you try to schdule ten classes per semester

[clear parcel]

There are a lot of 5 year bachelors + masters engineering programs, like Cal Poly San Luis Obispo

They are even trying to add that to the physics department at the school I am studying at rn

[neat lintel]

could always attend two different colleges to get around that

[ocean harbor]

https://tenor.com/view/thinking-space-epic-mbed-fail-gif-21266064

[static juniper]

how can i study geometry in uni

like what should i take

[neat lintel]

hard drugs

maybe take calculus, it taught me geometry

[prime raven]

Take college geometry?

[static juniper]

yea that makes sense

thanks

[alpine copper]

Differential Geometry

[mental stratus]

std::linalg in C++

[pulsar pagoda]

eigen ?

[burnt ledge]

They're adding std::linalg

[pulsar pagoda]

https://youtu.be/-UXHMlAMXNk?si=1-zCwXNghWDNXwU8

omfg

it's happening

[blazing ocean]

hi guys am new

[neat lintel]

cristopher ronaldo sewye

[icy dew]

Heyo gaiz?

[mental stratus]