#serious-discussion
1 messages · Page 111 of 1
apply them to ur brain
You just made a pineapple whoops
But like only 0.2% of it gets used in the real world and only with a ton of other assumptions
That’s what I do on my exams
STEM really be like that

If I become an practicing engineer I'm not gonna use any of this shit I'm pretty sure
ALl the practical engineering I've done so far hasn't used it
according to annoying people in highschool who went into engineering "for the money," working engineers "fuck bitches and do drugs all day"
so you're probably not going to use much theory
i should clarify my highschool
🔥
i am also fucking bitches and doing drugs every day, and i did a math major, so i guess it worked out
@mint patio 😄
90% of the engineers I know smell bad and don't know how to talk to any woman besides their mother
yeah exactly and that's why I'm sadge :sadge:
are the 10% of engineers that do know how to talk to women, women?
women in engineering?
what kind of fantasy land do you live in
yeah ig it's women and men
Change of heart then. Log cabin life no longer for you?
i can't fuck bitches and do drugs everyday in a log cabin?
Itd be a bit difficult get said bitches and drugs shipped out to the log cabin
the forest is full of bears, and i could just make my own drugs
🤨
anybody who can help me with my casio cg50
anybody at all
what’s going on gayness
GAYMERS
i was going to join the other discussion …
But i decided to Revive Chat
or attempt to in the very least
someone was looking for u earlier
something something ex boyfriend
idk
didnt pay much attention
yes i know i saw i was like what the what
maybe long lost soul mate from another life time

Most normal math major
you are the least normal
Any advice for destressing about work? It's a disproportionate amount for me. For example I have a graph theory quiz tomorrow that I need a 50% on to maintain a high grade (class is curved) and I have homework due next Wednesday
and I'm still stressing
for no reason
errrr, minor reason, I have to do research + grad school apps
but like still
it's disproportionate
My brain knows I'm fine (hence me typing this message) and yet my stress is elevated
Wish I knew. Is it debilitating?
center yourself.
Quick tip for the moment. breathing is always PHENOMENAL if you do it right.
not really like I'm able to keep doing my work and cook and eat and whatever
Try the square breathing method 4 - 6 - 5 - 5. 4 seconds in 6 seconds hold, 5 seconds out 5 seconds hold.
Long term, you got a schedule made?
If you don't, you should make one. make it a checkmark list. Even if you can't get it done, having some of the checkboxes checked off will help you feel better. Other thing I would recommend is
talk to your professors and let them know how you're feeling. Singlehandedly best move I'd ever done. They've been there and get it (although some of them kinda ridiculous). Just having that conversation a lot of times does a lot to re-energize you and relieve some stress.
square breathing good
My feelings exactly
The way vectors are being taught in the context of my calc 3 class with dot and cross products is so much uglier compared to geometric product
wedge product moment
Compare $\star(u \wedge v \wedge w)$ and $u \cdot (v \times w)$
wraithlord_kovariant
Is it impossible to solve a quadractic equation at the form of ax² + bx + c = 0 by extarcting roots?
Wat
Lol
Yes
solve for mod p 
God trying to learn how to use proof assistants is a ride
Half the time it's like, "Oh I just plug this into this into this into this and I'm done!"
And the other half it's like "How the FUCK do I tell this stupid program to multiply both sides by 2"
If you want to learn more: https://math.libretexts.org/Bookshelves/Algebra/Advanced_Algebra/06%3A_Solving_Equations_and_Inequalities/601%3A_Extracting_Square_Roots_and_Completing_the_Square
@zealous garden WHAT WILL IT TAKE FOR GEOMETRIC ALGEBRA TO BE THE WAY PHYSICS IS DONE BY DEFAULT
oops caps lock
lol
is it just tradition holding it back?
i feel you can dumb it down the same way the dot product and cross product can so that people can use it, without having to focus on all the abstract machinery running in the background
with the added benefit that it's actually just better
Yes

Someone certainly could, I can't
I'm not capable of dumbing things down
the videos i've seen on it i think have achieved a mix of that
specifically sudgylacmoe's "a swift introduction to goemetric algebra" and his "addenum" video
Yes
His addendum was needed
He pays every day for the sin of saying ab = a.b + a^b

I distinctly remember the warning of “never define the geometric product that way”
Now I pay attention to books’ development as a must
the thing about ga and me is that i don't think im interested enough in physics to ever justify delving super deep into it
but i do like vector stuff so idk
Well it wasn't about physics for me
It was about quaternions
I just really cared about figuring out quaternions
And those guys says "it's right here, super easy, look"
And after shrugging it off like, 5 times
I actually listened
I watch u guys talk 👍
And then while I was there, I saw physics and everything else
So I decided to dig deeper
i feel that way moreso with geometry as a whole lmao
i put off caring about geometric properties of stuff until vector calculus caught my eye a bit more and i realized "oh shit, geometry is important and actually cool in this context"
Lmfao
I didn't encounter vector calculus in earnest until I had already become acquainted with GA
Now I hate vector calculus because it inevitably reminds me of geometric calculus and my dissatisfaction with the vector manifold
Thanks
So, extracting roots ONLY WORK if b = 0?
Otherwise, you have to use other techniques?
what?
I have no idea what extracting roots mean
Its a method we were taught in math class...
Do you mean completing the square?
No, thats the 3rd method
Extracting roots makes it sound like you're cutting down a tree
1.)Extracting Roots
2.)Factoring
3.)Completing Square
4.)Quad Formula
?
By extarcting roots i mean by rooting both sides
What should I do: Physics
Someone motivate me 😂 I don’t wanna study
Yeah that example
You root both sides
But apparantley, you cant just root both sides if b is not 0?
There are people with no legs, no arms, deaf and blind who wish they could study.
I wish I was like them so I don’t study 😂
We can make that happen
No please
also stop saying extracting roots
just say solving for x or something
I mean, its a method FOR solving x
Solving x has many methods
And extracting is just one of em
extracting isn't a thing
you don't need a name for everything, that's insane
ITS NOT REAL?!?!?!
Coding in C++ feels like a crime ngl
I'm just ignoring types because I can
passing a unsigned long into a function that only takes size_t because why not
How is it a crime lol?
Doesn't C++ enforce strong type checking or am I getting confused with something else
Doesn't seem like it
Hahahahahaha
C++ cares about your typing yes
But if you tell it to treat this std::string like a struct{ long double a; char b : 4; char c :4;} politely enough it'll try
It'll be, fucking confused
But it'll try
i mean if u do something like
#include <bitset>
#include <cstddef>
const int byteSize = 42;
using DataType std::byte chunkOfMemory{byteSize};
that is fine
But what if I’m harvesting dandelions?
for use in salad
Fun thought.
$\nabla$ is the gradient. $\nabla\cdot$ is the divergence, then certainly, $\nabla\nabla^T$ is the Hessian...
Right...?
Cute Pink Unicorn
RIGHT?!
no
You would need type system for most programming languages that actually does heavy things.
Because computer are so stupid, that storing all the context and scopes for code, is so intensive that it slows down.
Challenge me.
\nabla means nothing by itself
That is because you won't used to absusing notation.
If you take the outer product of the vector $[\partial {x_1},\cdots, \partial {x_n}]$, you actually have like a matrix with $\partial_{x_i}\partial_{x_j}$ as its element.
Cute Pink Unicorn
Yep yep yep.
now prove that the vector with partial derivatives as components actually exists
augh come on...
I mean, it's just funny and interesting to see things this way. It's just the observation that, operators such as differential operators, acts like a ring, and putting it under the frameworks of linear algebra is not totally... stupid... yet.
it's not linear algebra because you aren't working with different bases
in fact to prove \nabla is a vector you'd have to choose a basis and show that it's components change in one specific way after a change of basis
Well, partial derivative maps from, the space of linear functionals on $\mathbb R^n$ to, another linear functionals. Say are in Hilbert Spaces, then we would have a $\partial $ as a linear mapping.
Then, a vector of these operator, works on $\mathcal H^n$, that is as much as I want think about it.
The composition of these operator, will be like "the product" of linear algbera, which is not too far fetched, because structural submatrices has rings in then and I am sure pure math people can extend this in their coffee break.
-goes back to coffee break-
Cute Pink Unicorn
Yeah, we might actually have basis Huuuuuuuh.
I will come up with more cursed ideas for this lovely server.

If you need somethin to do, here: Apply Hessian matrices to representations of adinkras and see what you get. Just for funsies.
-goes to bed-
holy shit I never head of that in my whole life, up until now.
Pls help
I’m trying to use lua and I don’t know what’s wrong with my script
Can someone help me?
Script here
local myTable = {1, 2, 3, name="John"}
return 1 or 2
end
If you haven’t received help for this yet, it’d likely be best to open your own help channel. Instructions for doing so can be found in #❓how-to-get-help
Thank you
Please go to a lua server and ask for lua help this is not a debugging server
I don’t think that’s necessarily an abuse of notation, as long as you get a linear map
If notation is a function N, you’re just defining N to have different types for different types of input
Looks like its happening to everyone on pc rn
yoo it works again!!
all i did was clear the cookies, but im not sure if that's what got me back
Same I'm too blocked
@mental stratus @neat lintel go to cloudflare and white list you IP
Or circulate it if you have a dynamic IP
It works again just quitted dc and restarted it
You pirated minecraft
I wondering about my online course said the limit is the advanced version of f(x) idk
But i have similar
f(x) = (2x²+4x)/x
So if
f(3) = (18+12)/3
So the result
f(3) = 30/3
f(3) = 10
Correct me if im wrong
18+12/3 = 22
How? @long matrix
!help
To ask for mathematics help on this server, please open your own help channel or help thread. See #❓how-to-get-help for instructions.
Result:
22
,calc (dc/dx)c=x²/(a+b=c/dx) dx/dy=C/(c+c/dx)
The following error occured while calculating:
Error: Invalid left hand side of assignment operator = (char 9)
Is there a scientific name for silly maths errors. I want to be fast but doing calculation in my brain is dumb, sometimes it refuses to give up the idea that -(2)+2(-1)+2(-1)=-8 and doing vector calculation is dumb^3
calculation is an algorithm
learn the algorithm and write it down
you first put the correct brackets there, and then apply the binary operations in succession
don't worry, if you ever remember anything wrong you can blame it on the mandela effect
,w mandela effect
,calc $/-n$ -1
The following error occured while calculating:
Error: Undefined symbol $
hello, can anyone suggest any website or yt channel that easy to learn math ?, I need to learn math again since I'm pretty bad at it.

,calc $/n$ -1
The following error occured while calculating:
Error: Undefined symbol $
The following error occured while calculating:
Error: Undefined symbol n
pistolgunman
$n$ - -1
pistolgunman
@little rock this one mune fightt ne ma pics amwe so ka
Welp, I've just suffered the worst stress/panic attack on a math test that I've ever had
The self-loathing of the aftermath is immesurable!
u ok?
I don't know. This is the last year of highschool for me and I need to have a certain average to be able to get into a university I've selected. Over the last few years I've began doubting my mathematical and physics skills more and more and I just feel like I don't have what it takes.
it is now!
The stakes are as high as they'll ever be. This is a turning point in my life and I feel like I'm about to utterly ruin it
feel better. breathe. you got this but don't stress. live and enjoy the little things too. don't forget they exist.
That's good advice, I presume. Every time after enjoying my free time, I feel guilty about not doing enough which is reinforced even more when I fail tests such as today.
Either way, thanks for hearing me out. 👍
Needed to get these things at least partially off my chest by screaming into the void of the internet
we need that sometimes 🙂
Started learning about rings and fields and I was wondering if there’s a generalized notion of primes for operations in rings
Kind of like being able to construct every element of a ring using a subset of it with either addition or multiplication
Lol this quiz was braindead
ez money
Fr
Can someone help me
math debate
wtf bro
I can’t bake 😭
am so sad bro
:(
let him cook
It looks good, tastes terrible
Does this look gross
Ignore the knife scrapes at the bottom
Actually
I’ll crop it
Nvm it looks gross in the picture
Is it a good idea to join internships on LinkedIn from small tech companies provided for free with small projects to showgirl? Mostly these small tech companies are Indian
E.g
Meriskill
Info aid tech
Code samurai
Bharat intern
Etc
Send it 
I got a 100 on my government test
How do you guys remember the binomial coefficient?
n k n-k
^
the way i think about it. its the number of way to choose k items from n right.
so we decide we will pick the first k, to make life easier.
we can reshuffle the whole list to get a new selection of k items(there are n! reshufflings)
but two things leave our selected items unchanged:
- reshuffle the first k items. this means we pick the same items in a diff order, which we dint care about (there are k! such reshufflings)
- reshuffle the other n-k items we didnt pick. this doesnt change our items at all but still counts as a reshuffling (there are (n-k)! such reshufflings
so theres a total of n!/(k!(n-k)!) ways to pick our k items from the n total
I see. Thank you
I remember nPk as choosing k things from n things without replacement, i.e. n(n-1)(n-2)...(n-k+1) and then I just remember nCk as nPk / k! (to account for the fact that order doesn't matter)
we knew that already tho. you verified that the solution to your baking skills was some burnt food (much like you verified that ae^(rx) is a soln to y''+ay'+by=0, but yet still didn't believe it to be true 😄 )
math debate
rofl I'm surprised I didn't get a retort tbh
💀
nvm
Your toes are prolly more brunt than my bakings
wtf
don't get mad cuz you burn up some brownies 🤣
Damn
There is pizza in the freezer
the microwave is calling your n ame
I’m learning graph theory rn
LMAO
Do you know graff thekry jay

I'm jus sayin man, that seems like an appropriate function here. that oven function smh... oven(x) = null space
if I do I don't know it
what is a graph
A set of nodes and a set of edges connecting the nodes
The edges are tuples only
The max number of edges in a graph with n nodes is n!/2!(n-2)!
Or like basically
hmm I guess nodes makes sense
does permutations matter there?
They matter everywhere
I used them here
I'm wondering if they're still considered connected if they're in different orders
Wdym
from how it's defined, it seems like it doesnt
Well there is types of graphs
If a graph is not directed
Then if a is connected to b, b is connected to a
If it is directed, no more is that the case
Then the edges have arrows on them
I see. so for directed graphs, reading your graph on the right from top to bottom, {3,2,1,5} does not equal {3,1,2,5}
Ye sure
But not really how you would do that
You can flip and thrn and re arrange ur graff all you want
It’s the edges that describe them
{(1,2), (1,3),(3,1)}
Now there is an arrow 1->2, and an arrow 1<->3
Wherever they might ve
i c
Yes
sounds boring so far
now differentiable structures tho 
I could use graff theory to get to your house in the quickest manor
Rather than taking time making extra turns
it's not gonna matter if I'm not there 
Also solving suduku puzzles
*manner
😭
I'm trying coconut curry for the first time... it's kinda bomb 👀
yummy
at first I wasn't really impressed, but it grew on me quick!
-first time eating curry-
Yay
What
For a simple graph (no loops and no multiple edges) yeah that's the most edges you can have on n vertices.
u wat
Loops?
And multiple edges is bs
Like an edge (a,a)
to self
What the hell is that used for
Ohhh
Then it would be nC2 + n
graph theory is nice because it's easy to pick up
not if you suck at geometry
By December
like jay
I suck at geometry
and everything else
We should be teaching the children categories so they can learn (co)homology
Ofc. They also should learn topology in kindergarten
chmalter
Helped me learn more group cohomology
tag-out. @neat lintel
and methinks that if tangent bundle of S^2 was trivial, the unit tangent bundle would be trivial too
but pi_1(RP^3) = Z/2 while pi_1(S^2 x S^1) = Z
maybe this is different way of showing tangent bundle of S^2 is non-trivial?
i can answer that in a few years 👀
just a walterthought
Bro
Brandon
Muhammad
My college game me a programming assignment
It is three two lines of if statements
Wtf is this college even doing
@neat lintel whats ur major?
Computer science and finance
hey guys got you a proposition, modulo 64 127 results in .5(-)-.5(+), modulo 127 64 results in .5(+)-.5(-) thus painting can be made MOD 127 8+16 MOD 1+16 127, the formal series of my city painting here: (0-0-(-)-X-MOD 127 8 MOD 1 MOD 127-1-(-)-0)+(2-0-(-)-Y-MOD 127 (3n) 22+5 MOD 127 16-3-(-)-0)+(4-(0-6)-Z-MOD 127 50 MOD 64 127-5-(-)-0)-(6-0-(-)-A-MOD 127 77 MOD 111 127-7-(-)-0) where AXYZ denotes the vector displacement of the line, how many times the modulo is repeated by its integer depth... this has applications for stock graphs and 3D graphics like a nintendo headset!
What is this
yeah dont expect to get applicable knowledge (most collleges dont give a crap)
that is this picture i have writ with envelope follower
*mathematical description of its modulo therein
yea i have drawn a little roof there with the 22+5
i tend to ignore him
hey i can link the drawing if it is more intuitive #chill message
that shows how you might show some basic perspective with envelope follower
💬
.oO("What is this guy talking about?")
anyway my advice would be to develop project outside of the curriculum
i do play minecraft and am a miner
that is probably why, too much minecraft
i mine trees with stone adzes
I'll try but it's gonna be hard. Haven't really done much programming since I started college
its about finding the right people
at least thats how it was with me
i hanged around with electronic and electrical engineers enough
you can spot when i started college 😭
march?
i dont do much leetcode
i guess i could do those exercises if i used python though
Yeah, been trying to find the right people but it's hard...
Leetcode is fun
it's like math
just pattern recognition
most people that do leetcode this days try to brute force it with chat gpt
theres more to software than fixing stuff to fit a certain problem
knowing how to design your own solutions is what gives u perspective
ChatGPT for LeetCode problems seems dumb and smart at the same time
based on what i saw of the leetcode community during my short time on it
those people are fucking idiots
doesn't surprise me they'd try to chatgpt up the problems
there’s a leetcode community?
yeah they're all bootlickers
There are a couple discord servers
leetcode problems are fun to do casually
I imagine not so fun to like, have to interview prep for
interviewing is stressful, personally i do not think leetcode makes it much worse than it already is
I hate how some textbooks aren't written in a way so that concepts build on each other
You can read something in chapter 2 and never see it again
Not all topics are linear.
Sometimes things are important but don't build so heavily off of prior topics or are not used heavily to build later things.
yeah you especially learn to appreciate this
because math research isn't a linear development and you often read papers from different sources to get a whole picture of a linear narrative
is this about maths or coding?
i would say programming too, but im biased
because all of my knowledge programming has been through reading random topics and trial and error
when i know that colleges teach in a traditionally linear pattern
yeah that sucks
i dont know if it sucked, it was frustrating at first but then you get used to it
The current time for kensukeken is 05:18 AM (EDT) on Sat, 30/09/2023.
pikapikapikapikachu is 3 hours behind, at 02:18 AM (MST) on Sat, 30/09/2023.
,ti
The current time for kensukeken is 06:04 AM (EDT) on Sat, 30/09/2023.
pog
Wake up. There's no one here to talk to me. Now you do
,ti
You haven't set your timezone! Set it using the interactive timezone picker with ,ti --set.
,ti --set
Please select your country
Page 2/3
========
21. Kuwait
22. Lebanon
23. Myanmar
24. Mongolia
25. Maldives
26. Malaysia
27. Nepal
28. Oman
29. Philippines
30. Pakistan
31. Qatar
32. Saudi Arabia
33. Singapore
34. Syria
35. Thailand
36. Tajikistan
37. Turkmenistan
38. Turkey
39. Uzbekistan
40. Vietnam```
Please type the number corresponding to your selection, or type `c` now to cancel.
Selector timed out waiting for a response.
To people who self-taught math: When solving proof exercises, how much formality do you require for you to consider a question "done?" (My immediate interest is in machine learning and cryptography, but I don't rule out the possibility of academic/researcher career)
It already takes quite a few minutes to tackle one question and come up with a idea, and the process easily lengthens to hours as you specify everything and admit no logical leaps. However, since I have no instructors available, it's not easy to check if what you did was correct without going step-by-step through the proof yourself. (I can't ask people to check every question of my answer, and enrolling to college would mean I would have to drop my full-time job :)
Right now I'm thinking of an iterative approach of gradually increasing formality: just assume questions done with an approximate proof sketch and move on to next question, and come up with a formal proof later when you have time or get stuck with some ideas.
Example: https://cdn.discordapp.com/attachments/992048169946988615/1157681707818963074/dim-theorem-0-01.png
everyone's probably busy with their life or study
also I just feel asleep at 8am for me lol
Who pinged me
Why did you
I didn't gave you a ghost ping
I admit I'm pretty sloppy if I know no one is going to see it
The point is to understand not to write a beautiful proof at least for me
Yeah I gave up with elegant proofs lol. Just wanted to make sure I got the ideas correct and can argue stuff if I were to ever e.g. author a paper (field of interest is infosec, which is relatively new field and admittedly doesn't require as much formality if you peek into their top tier journals; I have experience co-authoring a paper)
Yeah if I was writing for a paper I'd make sure my proof is beautiful as possible
fr bruhh i be needin help with stupid vscode quirks and they closed 😭
stackoverflow never provides solutions for my bugs anyway though
i disable intellisense in vscode
cause when doing cpp stuff
intellisense is just dumb
ehh
most problems people have with java and c#
is they have no previous experience compiling and using build systems
and then they go
setting up vscode for OOP is pain
python and nodejs are lit
vscode and js are made for each otjer
there's visual studio
u better not rely on it too much

yeah but like
the big thing about compiled languages is the
it's great for c#
before-time errors
like "a" - 3
except like
its giving me errors sometimes where im not making any
yes but thats cause their made for each other
like i have 2 vscode env and 1 of them has no errors, one of them does, and GCC has none
😭
and the env are exactly the same too 😭
nah i dont like vs
I never heard of this
i dont like big IDE in general
good
i dont see how people do
@neat lintel https://learn.microsoft.com/en-us/dotnet/core/tools/
i use nano for C, especially on the go
it's 10gb :(
vim
every time i want to edit a file i insticively type "nano x.ext"
the reason i use VS
code?
ic
otherwise i would not use it
what would you use
forcing people to use a tool to do their job
lmao
dotnet cli
the bot was slow
i forget vs has a whole tool system too sometimes
what is it used for tho
besides c#
thats literally the only thing
oh hii
hi
anyone able to help with excel ??
hi
Whats the proble,m?
hru
not quite bad hbu
good
good
nice to hear that.
math
you mean MAF
ask here for proof verifications
I'd like to talk about comments of some logician on philosophy/philosophers and see if you agree with him or not.
Firstly, he says philosophy doesn't inform everything else. Then, after I had said about talking with philosophers on the subject, I got the following: "(Some) Philosophers in particular aren't even convinced that objective reality exists, and at that point I ain't gonna bother telling them what to believe in. Especially if they demand that I argue from within their system. Philosophical argumentation is too weak to even "convincingly" refute that." What do you think? Isn't he showing ignorance and arrogance?
personally, though not having heard any more details, i would be suspicious of a philosopher proclaiming that philosophy “informs everything else”
Well, he said, "it's everything else that informs philosophy, not the other way around". It's about sciences, including math.
sounds like he has had some bad experiences with philosophers
yeah that's what i suspect
I got very upset about it because I asked a question on some math concept that probably needs some philosophy, and I value all academic disciplines. He said, "philosophy doesn't get us anywhere".
its very rare a math question is philosophical
yeah i am not sure if philosophy would help you with math much
Okay, it was about accepting 0.
ah

well math doesn’t care if you do or don’t accept 0, so i guess that is more philosophy than math?
yes, if theres any discussion to be had on that onez its philosophical
I think that one is pretty timewasting to try entertaining a mathematician with
well there are semigroups and things of that sort i suppose
Its not wrong to say "philosophy gets you nowhere" with respect to the math
like nothing is going to break down from whether you accept 0 or choice or whatever due to philosophical concerns
Yeah, it was my bad as well. Probably I thought I might get some other non-mathematical reasoning and kept going. He gave me some physical scenario but he mixed it with some math. Then he blamed me for not getting his arguments. I blamed him for aggressively pushing his view with a tunnel vision. After that, I said conciliatory words and it seemed I could get out of there peacefully. But then when I said "Math is grounded on philosophy to some extent", he got triggered. I wasn't trying to devalue math. I just meant there is an important connection between math and philosophy.
i think hes kinda right here
tldr? Honestly the logician is not very logical for even talking about it. Philosphy = dumb. no reason to elaborate
This is true 
Philosophy is like music theory: it doesn’t actually build anything, all it does is give arguments to inform or justify particular reasonings
Math does not depend on philosophy either tbh
“Do you accept 0” as a philosophical question is irrelevant to math, because we can just as easily suppose it exists as if we supposed it didn’t, similarly to choice, determinacy, CH, forcing axioms (particularly Martin’s maximum)
it does when choosing foundations
but I can certainly begin from a standpoint of music theory when deciding how I will create this peace
Choosing a foundation would use philosophy but you can prove stuff in a foundation wholly independently
yes, peace
Philosophy just justifies why you’d want that foundation, doesn’t really have any substance to it though
"Do you accept 0" is more a psychology question:
if your answer is no then you're insane
no
I've publicly rebuked and rejected 0 many times
and I'll do it again
both replies track
Numbers aren't realy anyways
I like whatever Pennrose said
I'm mad he thought of it first
real is a question for philosophers
Exactly
as a philosopher, I say all math is real
“Does XYZ really exist” who cares, doesn’t change anything regardless of what the philosopher concludes
so the scientists need to get with the program
I want to find the quantum field responsible for category theory~~
Quantum field responsible for langlands
wait wtf this actually happened
I thought it was just an example

it's not obvious that we should accept 0
it's not a matter of philosophy though, just a matter of whether you're a bad person or not
Based
Just started watching “Traitors” on peacock
This just sounds like TOS

Town of Salem: the show
YES
i havent seen it yet
but there's a bunch of people on it that i love
i know how it goes unfortunately
It's like illuminator is right here with us still 
they're making a season 2 of the traitors, its filming currently
(which also has more people i love)
I see the concept already because I’m an avid TOS fan
Depending on exactly how they determine the ancillary rules ofc
i go back to it every 6 months or so
But this player count seems very townie favored
Then again, it seems more classical Mafia
And determining the win state etc
Proving axioms?
enjoy! i'll definitely get around to watching it
ZF+Zorn's Lemma
i know the end but nothing about how it gets there
I don’t play it for formal reasons but
Based game
very fun
TOS 2 has daytime actions
but i played an obscene amount of SH during the pandemic
Like a daytime killing role
online
I prefer TOS1 style social deduction atm, but TOS2 is still cool
I also find “-$10” hilarious
I don’t know SH unfortunately
Aren't axioms just assumptions/premises and by definition they can't be proved or disproved?
you can possibly prove stuff about (in)consistency
Or in(ter)depedence
But not disprove
and sometimes theorems are proven in other systems and then used as axioms to do smth more general
it's a similar game, with a politics theme (and different mechanics)
ryc 
Well I assumed it was similar social deduction game lol
it's a lot simpler in execution, only 3 types of roles. but the mechanics are a little more mathematically interesting i would say
oh no
not complicated at all
but like
conflicts are more concrete and have different probabilities of resolving one way or the other, depending on how the players set them up
Isn't that the point? How is that not substantial?
I liked how TOS is essentially deterministic, excluding pirate
and maybe psy depending on your interpretation
i like the art too
yeah a bit. but in a way you can track and use as information
Oh secret hitler!
It’s insubstantial because I will want to justify the same thing regardless, it’s just a sort of ex posto facto justification
I've played that actually
Are there any dice rolls kinda probabilistic, or is it just imperfect info type of probabilistic is what I mean
that's neat
Yeah it's an interesting game. We played it at some of our DRP get-togethers
But then you would be already doing philosophy.
No because I just assume axioms for generalizations
Why exactly those axioms?
Because A -> B, so what if B (which does not have B->A)
Didn't get it
It involves draws from a shuffled deck consisting of 2 kinds of cards
This show already has stuff with vibes like “nice try exe”
monkey sub 
WoW proposition, (5)AND+=5ANDA+ exiles reach ship... A+=(7)AND+,7ANDB+ gnolls! -AND=(5)ANDC+=C+2ADDER=6ANDD+ shadow plains! SET2,D+=(5)2ADDER=5ANDE+,VUE+ lair!
that is AND with depth n at no parenthesis and AND number of AND with parenthesis
for example 7J&7U=7AND
while J&U=AND, we have 7(J&U) for (7)AND
naw that is an amperstand not an algebraic equation, you can't distribute it haha
they're not the same! 7(J&U) goes 1,2,1,2,1,2,1,2,1,2,1,2,1,2 while 7J&7U goes 1,2,3,4,5,6,7,1,2,3,4,5,6,7
Bro are you ok
hey i got u world of warcraft trial quests in 555kb with this method
there is a really High tolerance for trolling here
*super lightweight
he is not trolling as far as i can tell
that is 10Second/56K modem for the quest, and like instant even with dsl
he is doing a puzzle to give away a wow key?
He’s like actually schizo I think
ahh
hey calm down buddy i am just offering propositions
Like there was some obscure indirect speak of antipsychotics by him once, is my basis for this?
hey actually this was in reference to all the chlorine and corrosive gas on my planet i set up on in starfield
Anyhow it looks like nonsense to me
naw um, i cannot link this specific proof because i have had problems with malware

are you saying you encoded the wow trial quests in 555kb with this method

i do not understand
yea suremark it is just the quests though, not any text of the quest or menu just the existence of the quest on the system
I do not think this is proposition in that sense
if it's not in that sense then idc about the propósition
what is the size before encoding
well, technically my proposition is a partial truth because you will need to write somebody the text of the NPC as well, which takes a large deal of processing power...
this is only quests, size before encoding is like 555kb then if you encode it is 493kb
*so fits in L1 cache of most pc
I am highly concerned by this statement tbh
hey i have had problems with malware so i dont want you guys to get the same malware my pc has by loading my exes i did the proofs with
uhhhhh 555kb does not fit in l1 cache for most processors as far as i know
encoded is 493 and that is what is actually loaded
I feel vindicated for my skepticism of the Dropbox links
plus actually it is 110kb and 413kb 2 L1 components
even like a pi has a couple L1 cache to it, so it is no problem to load it
naw it is instanced, you goto an instance for the final section which makes it fit
i actually have instanced the demonweb pits, and the initial lair at end is naturally instanced because that seemed better
i am pretty sure l1 cache is typically on the order of 64kb per core
huh i got a hella pc then cause my L1 cache is 512kb
That is rather smaller
what cpu do you have
um some kind of i7
that makes it hella easy to go over spec, on the build, yea, but idk, it might be my cpu power or malware causing breakage i think maybe either
or maybe he has a server cpu
i mean i looked it up and eg an amd epyc has 96kb per core
huh well anyways you probably can load 3MB L3 which is what matters on my pc, who cares about l1 specs

i know that u are getting at least 3MB effective performance of assembly libraries out of my i7
Jimmy are you splitting up your data across multiple threads

then he is not using all that cache
haha
did you say you’re programming in assembly?
huh actually modular not assembly sorry
mmm
modular?
modula lang
modular is like assembly but hella slow and more beautiful to the ears
for example like i try to have a buffer and it is perfectly declared it is all FUZZY in modular
i got a blockchain, it forms a lazer even if you have it programed right, modular is real hard
is this that digital synth thing you were talking about
huh well actually this is more like the silicon of the CPU but at the level of like 1HZ maybe, not 4GHZ
huh, well i am self taught
modula lang?
huh i got you a book on modular lang i wrote
idk what that is either
it's an old language
and doesnt have anything to do with hardware synthesis
wait modula influenced go?
idk
it's multi threading it's ez
go is nice but i hate zero values
coroutines right?
yo there is that book that i wrote, it tries to explain in science terms the things i am doing
i got modulo influenced 3D graphics not go, but it only writes one frame of video, need to make more paintings to animate with
nope, they are called goroutines and they are not really coroutines
they are basically lightweight user space threads
i am not sure about the implementation at that level of detail, but they do not map 1-1 to threads
😦
it is called M:N threading or something
multiple goroutines are multiplexed onto many machine threads
ahh
usually a lot more goroutines than threads
do u know protothreads?
protothreads? nope
Ive used them in the past
they don't change the PC
so u can fool the runtime into doing no blocking polling
cool stuff
a pain on the ass though since i had to use it on a arduino
not blocking*
are you saying you can write regular code and it will do non-blocking operations?
yes but it's whacky
polling is when u have a while true kind of thing
and ur waiting for something in the while
normally thats blocking exec
the thing is the Arduino needed to use more than 2 hardware interrupts at the same time
cause the sensors required data
sensors had to activate to get the data i mean
and theres was a lora radio that had to constantly listen for messaged
messages*
the radio used interrupts also
huh, you got a whole wiki on this here https://github.com/TREBLEADGOFFICIAL/Personal-Computer/wiki
that is some real old usage of the code outside of a blockchain where it goes together
that is where u are actually using code not blockchain to code
why are this guys sentences making more sense than mine
What does blockchain mean here
i usually understand blockchain as a distributed db with eventual consistency
i am not that familiar with interrupts, are you saying like, you needed to wait on 2 things at the same time
yes
i thought interrupts trigger code whether or not you’re waiting for it
well the thing is interrupts incur in context switching
and i needed the radio to keep listening
cause i was implementing a three way handshake with a raspberry pi
that was 5 kilometers away
fun stude
fun stuff*
basically if there was no message to stop the Arduino from doing what it was doing
what do you mean incur in context switching, are you saying you couldn’t use interrupts because of the cost of context switching?
it resulted in a swamp on the potato field
context switching would take away the memory of the call of the radio
cause it would save it and move it out of the stack
so You could be lets Say spending a message from the pi and it would not get it
cause the memory block which was containing the instructions to run the radio
had been removed from the Stack
sending isntead of spending
i hate auto complete
ok, so that means you can’t use multiple threads right
yed
Hi
but can you still set up 2 different interrupts
with a single thread
can you even use a single thread for this app?
Yes
at the SIDE of the arduino
yes
but i had to force it to reestart itself
so i had to be fine with either storing the data in the Arduino and retrying
or losing it entirely
this would have been easier if múltiple raspberry pi we're used
but i didnt make that decision
if it sounds whacky and ugly
it's cause it was
hey i have only experimented around with SIDE usage in one effect, i think that side usage is definitely super SPIRITUAL because stereo is added by mask and i had reserved the SIDE usage exclusively for religious purposes and made everything else not forced but implied MID, so that the SPIRITUAL effect of having double the power is preserved for JESUS
what is SIDE
SIDE is the mode added by forced double channel DXD for the aurdrinos control board
i meant side
it is not necessary to use, but you can hold two control signals with SIDE, i had reserved this usage just for SPIRITUAL usage because it causes bilingual appearance in both spanish and english
fucking auto complete
teachers, or also the religious, can use SIDE to hold your two separate signal for two separate audience
@fringe summit this is another Level of schizo
Can I use SIDE to hold my signal for my gay friends and another signal for my christian parents?
hey babes
hi ig
no it only works for people who agree to it, most people get both signals
how u doing?
what does the physical side of the arduino have to do with interrupts or multithreading
I actually also got called schizo last week because i was talking about simulated universe and then also cameras watching me everywhere and how everyone else isn’t real 😭😭😭
ur sweet
forgive me pretty ps
Yeah those are common schizo things
always
Real
I don’t think we’re simulated anymore (i think. also for now)
i take meds for a bunch of stuff
Brain pills are good for you
the simulation made you think that
I’ll probably think we’re simulated again at some point but yk until next time :3
Maybe probably
hey i can explain what SIDE and MID mean, most people are MID so they will hear both of the SIDE channel, however the baptized and people who take communion hear a SIDE channel which it is this SIDE channel compatibility which saved jesus from death and saves generally the Christian from death because they are SIDE compatible not like a nonreligious person who is MID compatibile, thus hears both situation of the SIDE each of them, whereas the religious only hear one of the SIDE - this is because actually there are infinite SIDE, which are all the lives you might have been - multiverse in other words - the relgious see a different universe because of SIDE compatibility
religious just have 2 SIDE, which are equality
Is this how i sounded
naw that is how I sounded
did u just call me mid
multiverse
i’m going to destroy you
hawt dang no we are all saved from eternal sin intrinsiclly
is that something Bad?
i still believe in the multiverse
if im religious but not christian am i still mid
abrahamic religious
yes i am genuinely angry /s
i am a robot so I am R
oh oh oh
the best boy
haw i guess, as long as he doesnt get into the garbage
my old labrador kept getting into the garbage!
he does not look to pleased to be in the photo
he's always like that
he looks worried lol
thats him when he's not grumpy
when he's grumpy he Will bite
like Will Smith
throw a punch out of nowhere
my campus has this therapy dog that is always around campus for students to pet etc and this is when i met him last year on the first day of classes 😁






