« first day (2729 days earlier)      last day (2293 days later) » 

6:34 AM
@Narcissus kek, so we are
 
6:45 AM
:GWChadThonkery:
 
Okay so I've really started getting into this new meme format where they take some post that's completely stupid "skepticism" and is somehow deep
And then the illuminati texts like "Stay right where you are"
 
I have seen these memes
 
Dizziness isn't natural, it was invented by the illuminati to prevent us from turning
 
Hi @Ted
@Akiva lol
The illuminati memes are too oldschool
 
 
3 hours later…
10:17 AM
Hello!! We consider the exponential distribution. I want to show that $$\mathbb{P}\left (\left |X-\frac{1}{\lambda}\right |\leq \lambda \right )\geq \frac{\lambda^4-1}{\lambda^4}$$
I have shown so far that $$\mathbb{P}\left (\left |X-\frac{1}{\lambda}\right |\leq \lambda \right )=F\left (\frac{1+\lambda^2}{\lambda}\right )-F\left (\frac{1-\lambda^2}{\lambda}\right )=e^{-1+\lambda^2}-e^{-1-\lambda^2}$$ Is this correct? How could we continue?
 
10:49 AM
Intriguing
Marystar: Maybe try taylor expanding the two exps, I suspect the odd terms will cancel out, leaving behind the even terms of the series, which can then be compared to $1 - \frac{1}{\lambda^4}$
Another thing can be tried is wrote $e^{-1} (e^{\lambda^2}-e^{-\lambda^2}) = \frac{2}{e}\sinh (\lambda^2)$
actually no, the other method is wrong, misread the sinh formula
 
11:16 AM
Using the Taylo expansion we get $$\sum_{n=0}^{\infty}\frac{(-1+\lambda^2)^n-(-1-\lambda^2)^n}{n!}$$ or not? @Secret
 
yes, but that looks nasty...
 
hi
 
well, while the powers of n can be expanded further using binomials which will finally allow the terms to pair up (and some of them to cancel out), it seems a bit too brute force
ok I have no idea, I felt like I need something from probability theory that I don't know
 
Ok, no problem
 
“theorem”: if f:[0,1]x[0,1]->X is such that $s \mapsto f(s,t)$ is continuous for every t and that $t \mapsto f(s,t)$ is continuous for every s, then f is continuous
 
11:40 AM
[[[]]]][[][[[[]]]][][[[[[]]]]][[[[[[[[[]]]]]]]]][[]][[[[[[]]]]]][[[[[]]]]][[[]]]‌​[[[[[]]]]][[[[[[[[]]]]]]]][[[[[[[[[]]]]]]]]][[[[[[[]]]]]]][[[[[[[[[]]]]]]]]][[[]]‌​][[]][[[]]][[[[[[[[]]]]]]]][[[[]]]]
[[[[[[[[[[[[[[[[[[]]]]]]]]]]]]]]]]]][[[[[[[[]]]]]]]][[[[[[[[[]]]]]]]]][[[[[[[[[[‌​[[[[[[[[[]]]]]]]]]]]]]]]]]]][[[]]][[[[[[[[]]]]]]]][][[[[[[[[[[[[[[[[[[[[]]]]]]]]]‌​]]]]]]]]]]][[[[[[[[[]]]]]]]]][[[[[[[[[[[[[[[[[[[]]]]]]]]]]]]]]]]]]]]][[[[[[[[[[[[‌​[[[[[[[]]]]]]]]]]]]]]]]]]][[[[[[[[[[[[[[[]]]]]]]]]]]]]]][[[[[[[[[[[[[[[[]]]]]]]]]‌​]]]]]]][[[[[[[[[[[[[[[[[[[[[]]]]]]]]]]]]]]]]]]]]][[[[[[[[[]]]]]]]]][[[[[]]]]][[[[‌​[[[[[[[[[[[[[[[[]]]]]]]]]]]]]]]]]]]]
7uc 0ud7 m1ii pc 8cz70jvc8#
 
Hello
Can a function have a zero at some point $c$ if it is continuous and strictly greater zero around it, i.e. $f(x) \gt 0$ for alle $x \in (a,c) \cup (c,b)$. Can $f(c)=0$?
 
@philmcole Yes
 
$y=x^2$?
 
Just consider a parabola
 
SNIPED
 
11:52 AM
Ok thanks! :)
 
The most general case is when $\exists ! c : \lim_{x \to c}f(x) = f(c) = 0$?
 
What do you mean?
 
There exists a unique c such that its limit is equal to f(c)=0
and f(x) > 0 for all x =/= c
All such f s will satisfy the given requirement?
 
Okay I understand
I was trying to argue why the newton method converges
for convex functions
1
Q: Proof of convergence of newton method for convex function

philmcoleI want to prove the convergence of the newton method for a convex function. Let $f: [a,b] \to \mathbb R$ be a differentiable, convex function with $f(a) \gt 0$ and $f(b) \lt 0$. Let $(x_n)_n$ be the sequence $$x_0 = a, \quad x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}$$ Show that $(x_n)_...

I struggle to show that $(x_n)_n$ is indeed bounded.
Geometrically it makes sense to say the function can not overshoot since the tangent is the steepest at the zero of the function $c$. I wanted to argue a bit more formally though
I think I got it though by arguying that $f \gt 0$ on all of $[a,c]$ including $c$ which means $c$ can not be a zero.
 
@Secret @philmcole try my exercise?
39 mins ago, by Leaky Nun
“theorem”: if f:[0,1]x[0,1]->X is such that $s \mapsto f(s,t)$ is continuous for every t and that $t \mapsto f(s,t)$ is continuous for every s, then f is continuous
 
12:05 PM
what topology?
 
let’s say R^2
 
Consider an open set U (e.g. an e open ball) centered on $f(s,t)$. The first clause said that the projection to s of the preimage of U is open for all t, and the 2nd said that the projection to t of the preimage of U is open for all s. Therefore we have the open intervals R x (t-e,t+e) and (s-e,s+e) x R for all s,t in R2. Since the arbitrary union of any open set is open, it follows the preimage of f(s,t) is open for all s,t in R2 hence f is continuous
NB: I have not read to the chapter on continuity in munkres yet
 
the interval is not open in R^2
 
12:24 PM
I can go on forever $\hbar$ it is not my problem that there are so many instabilities recently
 
12:40 PM
As long the neutrino is not solved don't expect that we can ever zoom all the way down to the planck's constant
I do not care how much you care or not care about what you don't know what to care, but since this world is going to die anyway, might as well make haste of it
Our kind will settle this once and for all 3 years later. Until then, go ahead and continue to do what you are doing right now
Meanwhile, we are happy to said that math chat has passed the test, and with Balarka partially decoupled from the Lockdown Trio, The Plan should be able to proceed more smoothly along with the increase in stabilisation of the maths chat
Anyway, enough rambling, now to think about some maths
$$f : [0,1]^3 \to \mathcal{C}^3$$
I wonder what kinda of topology can ensure all such $f$s are continuous. Can we reverse the proof of continuity and instead ask about the topologies that is needed to have a given subset of continous functions to exist...
but this will be dealt with later, cause I still have not read that relevant section of Munkres yet
 
There's this problem I'm working on which says "Let $M$ be a compact (topological) manifold of positive dimension and let $p \in M$. Show that $M$ is homeomorphic to the one-point compactification of $M \setminus \{p\}$"
I was thinking to define $f$ to be the obvious bijection sending $x$ to $x$ for $x \in M \setminus \{p\}$ and $p$ to $\infty$
But just showing that $f$ is continuous is proving hard
Am I on the right track?
 
 
1 hour later…
2:09 PM
We have 20000 Euros. If we find the box out of 7 that contains the number 10, we increase the money tenfold. We can open 2 boxes. If we don't find the box with "10" then we loose also the 20000 Euros. It is possible not to participate at this game and leave with the 20000 Euros.

The expected value that we get if we participate at that game is $\frac{2}{7}\cdot 200000+\frac{5}{7}\cdot 0 57000>20000$. So it is better to participate at the game, right?

What happens if we can participate every year?
Do you maybe have an idea @Secret ?
 
Sam
Hi guys, can anybody recommend a basic calculus course on a site such as Khan Academy/Coursera please? I've been learning linear algebra but would also like to start learning the basics of calculus concurrently.
 
@MaryStar so uh, given 7 boxes and then open 2 boxes each time for each game?
 
@Secret Yes
 
I don't quite remember how to solve problems of this category, but what you are having here is something like an infinite game, because you can think about the number of times you get a 10 from every round of the game after opening 2 boxes, and you might end up with an infinite tree where you have n consecutive rounds being able to get the box of 10 for all integers n
All I remember is it involve an infinite sum, but I cannot quite wrap that decision tree in my head today
 
2:28 PM
hello
hi
is there any to proof that those can't be proofed can be proofed that they can't be proofed?
heheh XD
need help
those things which can't be proofed, those things are needed to proof that they can't be proofed?
 
I think you might be looking for the notion of provability, which is something related to proof theory

  Logic

This room is meant for discussion about logic, including found...
Ask here
 
okay
thanks @Secret
 
(On Marystar's question)
For each draw:
Pr(Get box of 10 on 1st draw)= $\frac{2}{7}$
 
@Secret what?
 
currently answering someone else's question
 
2:39 PM
okay
 
Pr (Get box of 10 on 2nd draw)= $\frac{5}{7}\frac{2}{6} = \frac{5}{21}$
Pr(Win n games)= $nPk \prod_{k=1}^n(\frac{2}{7})^k(\frac{5}{21})^{n-k}$
(I forgot the formula for the permutation of a string of length n with 2 letters...)
 
@Secret should i stackexchange it?
that question?
 
Well you can, but you definitely need to put more work on what it means to be "can't be proofed can be proofed that they can't be proofed". If this is a homework question, please show what you have tried and the concept you got stuck on
You need to make others to be clear on what your question is about, if you just wrote it as what you wrote above, it will likely be closed as unclear
 
heheheh XD, i'll post few examples and research which might be wrong agains few mathematical concept which is so called 'universal' thuth
 
$$\text{Pr} (\text{win n games}) = \prod_{k=0}^n \frac{n!}{k!(n-k)!}\left(( \frac{2}{7})^{k}(\frac{5}{7})^{n-k} + (\frac{5}{21})^{k}(\frac{16}{21})^{n-k}\right)$$
 
2:54 PM
hello
Does anyone understand epsilon-delta interpretation of limits?
 
I am trying to understand the logic behind it but failing
many links online but none of them make much sense to me and leave more questions than they answer
 
try math.stackexchange.com
 
$$\text{Pr} (\text{win n games}) = \prod_{k=0}^n \frac{n!}{k!(n-k)!}\left(( \frac{2}{7})^{k} + (\frac{5}{21})^{k}+(\frac{10}{21})^{n-k}\right)$$
ugh, this is too hard, will deal with it later
 
3:22 PM
this problem makes me gag, not because of the OP but because whoever decided to put it on an exam is a bit of an a**:
1
Q: Derivative of function $\ y=[e^{x^2}-\cot(\ln(\sqrt x+\frac 1x))]^{\sec(\frac1x)} $

Stefan TodorovskiThis is a problem from a college exam which i can't figure it out. First i add $\ln$ on both sides: $$\ \ln y=\ln [e^{x^2}-\cot(\ln(\sqrt x+\frac 1x))]^{\sec(\frac1x)} $$ Then when i simplify it i get this: $\ \ln y=\sec(\frac1x)\ln [e^{x^2}-\cot(\ln(\sqrt x+\frac 1x))] $ I think this isn't si...

 
3:36 PM
@Semiclassical are calculus that hard?
I thought you are Phd and know everything about maths
2
 
Just use the substition $u = \zeta (s)$
duh
 
4:00 PM
0
Q: Differential of a smooth map definition in differential geometry.

user8469759let $\mathcal{S},\mathcal{\tilde{S}}$ two surfaces, and let $f$ be a smooth map $$ f:\mathcal{S}\rightarrow\mathcal{\tilde{S}}. $$ If $p\in\mathcal{S}$ and $\tilde{p}\in\mathcal{\tilde{S}}$ then the derivative $D_p$ of $f$ is defined as a map $$ D_p f : T_p \mathcal{S} \to T_{f(p)}\mathcal{\tild...

 
Hi chat
Any good lecture series on Stochastic process?
or good notes?
 
@user8469759 i dont know what the difference is between the derivative and the differential to you
 
The definition of 'differential' in differential geometry is weird to me, since I'm so used to calling things like $dx$ 'differentials'
 
lol on my physics homework i had a really hard time avoiding using forms language
 
lol
for the solutions to today's discussion problems I cheated on two of the integrals
namely I only said "you can do them using these u-substitutions/integration by parts" rather than actually writing out the details
 
4:16 PM
@EricSilva , take a function $f$ in one variable, derivative of $f$ is denoted by $\frac{df}{dx}$ and the differential is denoted by $df$
 
like the differential form $df$?
 
that's the difference
I guess so, yes
 
Suppose that φ : M → N is a smooth map between smooth manifolds; then the differential of φ at a point x is, in some sense, the best linear approximation of φ near x. It can be viewed as a generalization of the total derivative of ordinary calculus. Explicitly, it is a linear map from the tangent space of M at x to the tangent space of N at φ(x). Hence it can be used to push tangent vectors on M forward to tangent vectors on N. The differential of a map φ is also called, by various authors, the derivative or total derivative of φ, and is sometimes itself called the pushforward. == Motivation... ==
vs.
In calculus, the differential represents the principal part of the change in a function y = f(x) with respect to changes in the independent variable. The differential dy is defined by d y = f ′ ( x ) d x , {\displaystyle dy=f'(x)\,dx,} where f ′ ( x ) {\displaystyle f'(x)} is the derivative of f with respect to x, and dx is an additional real variable...
 
But what does $df$ even mean?
 
differential = total differential ?
 
4:17 PM
the derivative in the sense you wrote is the direct generalization of the differential $df$.
 
or no ?
 
@Tuki, yes
 
@Semi the top one is just a bundle valued diff form
 
$df=f'(x)\,dx$ is the 'calc I' version
 
also I'm struggle to find some concrete examples of computation of derivative of smooth map
 
4:20 PM
for example differential of $d(f(x,y))=|\frac{\delta f}{\delta x}|\Delta x + |\frac{\delta f}{\delta y}|\Delta y$ ?
 
the pushforward as a generalization of the calc-I version of differentials only makes once you understand that, in diff-geo, $df$ is a form i.e. it acts on tangent vectors
w/o that it's pretty confusing
 
yeah $df$ is a form that takes vectors and spits numbers, $Df$ where $f:M \to N$ is a diff form that eats vector fields living on $TM$ and spits guys in $TN$
 
do you think there's a really simple example I can look at?
it's kind of weird to me that the derivative is actually a function in this case
 
maybe the identity from a surface to itself or smth
 
I'm confused now. I always though that you take pullbacks and not pushforwards of differential forms . (Differential forms are a contravariant thing) And the wiki article on the "differential" of a smooth map seems to me like a generalization of the total derivative, not of a differential
 
4:26 PM
Still I don't get how it is actually used
 
You have an isomorphism between vector fields and $1$-forms if you have a Riemannian metric, but they're not the same thing
 
The only thing I can come up with is the following
 
@MatheinBoulomenos right total derivative sorry
 
hmm riemann sum = riemann integral ?
 
i always call that guy the differential
 
4:27 PM
this is how riemann integral is defined right ?
 
given two surfaces $\mathcal{S}_1,\mathcal{S}_2$ i pick $p\in\mathcal{S}_1$ and compute $f(p) \in \mathcal{S}_2$
 
too many settings here
 
I pick any curve in $\gamma \in \mathcal{S}_1$, passing through $p$ I compute the image $f(\gamma)\in\mathcal{S}_2$ passing through $f(p)$
then the image of the tangent vector in $p$ in the curve $\gamma$, call this $w$ would be the tangent vector of $f(\gamma)$ in $f(p)$, call this $\tilde{w}$
this is by definition but there's actually no formula
for the derivative
but I still struggle to define a "differential"
 
@EricSilva I mean you can call it a differential if you want (I heard that terminology before), but I don't see how it relates to differential forms. The map induced $\Omega^1(N) \to \Omega^1(M)$ is the dual map of the derivative $TM \to TN$
 
i mean it is actually a form taking values in the pullback bundle of $TN$
so it's not really a lie at all
so really you can view the pushforward as actually being an honest $1$-form taking values in $f^{\ast}TN$
 
4:33 PM
okay, I can accept that, thanks
I think diff geo will always remain confusing to me
 
this is the way i think of it in my brain because $f_{\ast}X$ isn't necessarily a vector field and my brain thinks the derivative should take vector fields to vector fields
but it's totally ok if you imagine it's taking it's values in $f^{\ast}TN$ rather than $TN$
 
I just thought about it as a bundle map $TM \to TN$ with no direct connection to forms, but if you use the pullback bundle it makes sense as a form
 
@user8469759 the moral of the story is that everyone uses the word "differential" in diff geo to be a synonym to "derivative" in this case. it's a case of kind of overloaded terminology, but from the right perspective they actually are the same thing.
@MatheinBoulomenos i just dont like how the image is almost never a vector field cause that's the picture i keep in my minds eye
 
you mean by differential geometry. Study of planes, space curves etc... ? stuff related to three dimensional euclidean space ?
 
but it doesnt really matter
 
4:37 PM
study of spaces curves etc. is elementary differential geometry
i mean, a space curve is a trajectory embedded in R^3
differential geometry is addressed at far less restricted settings
 
you mean like $\mathbb{R}^n$ ?
 
nope. that's still easy
 
hmm
 
@Semiclassical surfaces in $\mathbb{R}^{n}$ tho
2stronk
 
i know too little about these things
 
4:40 PM
right
 
howdy
 
suppose someone gives you a trajectory on the earth's surface
that's basically like a space curve, but the trajectory is restricted to the surface of a sphere
 
variational geometry of surfaces becomes a crazy nightmare in high codimension
 
The extrinsic point of view would basically take that standpoint, that you've got a curve in R^3 restricted to the sphere S^2
but you can also view S^2 as being intrinsically geometric, i.e. without thinking of it as being embedded into R^3
and you'd like to still be able to do differential geometry without needing to worry about that
that's where things become 'fun'
hmm
 
questions about closed geodesics on guys diffeomorphic to $S^{2}$ was a pretty fascinating chapter of math
 
4:44 PM
how do I easily distinguish between a square loop and a square 'annulus'
 
@EricSilva was?
 
is lol
 
textually, I mean
 
i was specifically thinking about the 3 geodesics theorem as being a "chapter of math" @PVAL i guess
 
I guess 'square strip' works
 
4:46 PM
There's some really interesting research in inf. dimensional morse theory happening right now (by right now I mean a few years ago same thing).
 
very cool
 
I still didn't get a simple example =D
 
i need to learn more about morse theory when my life isnt full of constant shit to do
 
3 geodesics is inf dim morse theory right?
 
i think the idea of the proof (the only one ive seen anyway) is to study the curve shortening flow on the space of immersed curves
 
4:52 PM
Yeah and you study the fixed points of that flow and use a Morse homology computation to conclude there are at least 3 fixed points.
You don't necessairly compute the homology with morse theory, but the homology implying 3 fixed points should be a morse homology-esque argument.
 
I'm counting the number of three-of-a-kind hands in poker
the hands in which there are 3 cards of the same rank and are not simultaneously a full house
The true answer is 54912 hands
But if I'm counting like this: there are 13 ways to choose a rank for the triple, and 4 ways to choose suites for each rank of the triple
so there are 13*4=52 ways for the triples
and out of 49 cards left, we choose 2 cards
so the answer is 13*4*choose(49,2)- number of four of a kind - number of full house
but it's not true, I don't know where I am wrong
 
5:08 PM
@PVAL-inactive something morse-y definitely comes up yeah
 
Hello everyone!
 
yo @Daminark
 
Hi @Daminark
 
How's everything going?
 
i might die today but other than that pretty good
 
5:14 PM
F
But yeah what's wrong?
 
one day that will just make no sense
i have lab
 
Pretty good thanks. I'm reading a book right now on computional algebraic number theory, because I want to convince my CS prof to let me do my programming assignment on some application of the LLL algorithm to algebraic number theory. And you?
 
Hey @Mathei remember the relationship between AC and the Hausdorfness of the weak topology we discuss a couple of days ago?
 
yeah, I confused something in my initial answer
 
@Eric: oh that doesn't sound too fun. Hopefully the sun will be up by the time you leave
 
5:17 PM
I asked it on main, turns out that ZF+"The weak topology on every Hausdorff space is not indiscrete" is equivalent to "ZF+Hahn-Banach"
 
i leave at 6
 
@Mathein that sounds really cool! I'm just getting ready for CA a little
 
I have to decide what I want to do
 
Because apparently HB is equivalent to "every Banach space has a nontrivial continious functional"
 
5:18 PM
@Daminark what are you doing in CA right now?
 
so rip
 
Last class we started with isomorphism theorems for modules, then free modules, then chain complexes. Stated the snake lemma which he'll prove today using a spectral sequence thingy
 
i suppose he'll just use the first page of the spectral sequence
 
@AlessandroCodenotti huh, I didn't expect you can prove Hahn-Banach in full just by knowing the existence of at least one bdd lin functional
 
5:20 PM
thats where the homology long exact sequence lives
 
spectral sequence sounds overkill for snake lemma
 
@Daminark yeah that's weird
 
O-O-OVERKILL
 
Also the spectral sequences I've seen so far used the snake lemma in their construction
 
He said the book just used diagram chasing but that it's considered kinda bad to use that style of proof in a paper. Also he just felt it was interesting
 
5:23 PM
Yeah, you don't use diagram chasing in a paper, you just write "an easy diagram chase shows"
I'd be surprised to see how spectral sequences reduce the amount of diagram chasing though. The spectral sequences stuff we did in étale was basically never-ending diagram chasing
 
yeah to me it's just a big diagram chase
 
mouth noise vaguely similar-sounding to the word "Hello"
 
Anyway, it can't hurt to translate the snake lemma proof to spectral sequences, so you're exposed to them earlier than usual
Hi @Akiva
 
Hey Akiva!
 
Hey Akiva!
 
5:35 PM
Mathein: this is true
Oh this is something I've been wondering about after seeing a Facebook post (screenshot from another school) where someone addressed a prof by first name and got a really snide reply
How many of your profs go by first name?
 
hello all
 
Some post-docs and PhD candidates go by first name, though
 
if i were a professor i would cringe if someone didnt call me by my first name
 
Do some students ever eventually start calling profs by first name as they begin to get familiar with them? Or do they always say Prof. Lastname
 
5:41 PM
how do you call in english a subspace that satisfies: if T:V -> V, and w is a subsspace, then how do you call W if t(W) is contained in W?
 
i only want me to be addressed by my rapper name
A$AP Senpai
 
I call André by his first name @Daminark
 
t-kept? t-safe? something like that
 
@BalarkaSen i go by E-Rock
 
@BeginningMath t-invariant
 
5:42 PM
thank you very much
 
@Eric dope
 
@Daminark most prof find "Prof. Lastname" to formal, we usually use the [German equivalent of] "Mr[s]. Lastname". But this is not really related to university, in Germany you don't usually adress people by their first name unless you know them a bit better and/or their on the same "level" as you in some sense
 
@EricSilva he's someone I feel would be absolutely chill either way but maybe because I've heard about him quite a lot before actually interacting with him, he registers as Neves to me
 
:fire emoji:
 
5:43 PM
@Daminark he answers all his emails as -a
 
Hey @mike
 
@Daminark I sometimes call my teachers by their last name without the Mr./Ms./Dr. title in front
 
Hi @Mike
 
Lol rap names. "A-specc"
 
5:44 PM
Keevz @Daminark
Like Keanu Reeves but Reanu Keeves
 
Nice
 
Hey Mike!
 
I'd be a shit rapper
 
@Akiva That is innovative
 
5:45 PM
Lol, this comic book title sounds like a paper on homological algebra or homotopy theory: amazon.de/Inversion-Sequences-Spectral-Maelstrom/dp/1466476117
 
@EricSilva kek, that's something I've noticed from Schlag when he signs off as -WS
 
@AkivaWeinberger Which country is this? Would be quite rude in mine
 
@MatheinBoulomenos lol
 
@AkivaWeinberger shitrap new genre
 
@Krijn US
 
5:46 PM
@Eric also known as death grips
 
@MatheinBoulomenos that is gold
 
@Daminark andré only uses lower case for every email and it's p funny
@BalarkaSen i think death grips is unironically kinda fine
 
I mean I think it's probably still technically rude but if your tone of voice is not rude sounding I think it probably doesn't sound that bad
 
Also I love how he signs off as "cheers"
 
5:47 PM
Also, everyone calls Dr. Milowitz (an English teacher) "Milo"
 
@EricSilv I like 'em
 
You english people are lucky that there is no formal second person
 
@Eric yo did you get the email about the new dorm? 1200 people
 
wait wtf there's gonna be another new dorm
 
Trying to figure out who to call "u" is difficult :(
 
5:48 PM
Yeah it'll be between Woodlawn and University, just north of 61st street
 
@Krijn portuguese has this but my dialect threw out the informal second person and we only use the formal for everyone lol
 
@Krijn yeah I'm rather happy to not have to deal with that tbh
 
@Krijn In Spanish, certain countries are more "casual" than others just culturally, so whether or not you can refer to your boss with the informal pronoun depends on where you are
 
@Daminark i want it to be north but photo negative and upside down
then ill be happy
 
Well, at least we don't have all these different types of naming things as Russian has
 
5:50 PM
Japanese apparently doesn't have actual pronouns, just a billion different words that mean "I" with slightly different connotations
 
Reading Tolstoy at the moment, and all of someone Pierre, who has been Pierre the whole fucking book, is addressed by Pjotr
 
But yeah it'll be finished right after we graduate, it seems
 
@AkivaWeinberger funny thing: in european portuguese the word for "miss" is like suuuuuuuuuuuuuuuuper dirty in brazilian portuguese
 
French guy who got Russified? Is what it sounds like @Krijn
 
Oh that is amusing
 
5:51 PM
@EricSilva See: "coger" (Spain: to grab, Latin America; to fuck)
Like, innocuously, you'd coger a cup of coffee
 
@AkivaWeinberger No actually Russian guy in a french-fetish society
 
similar to molestar then lol
 
@Krijn Love when that happens
 
in european portuguese it's to annoy
 
That just means "to bug or annoy" in Spanish, I think
 
5:52 PM
but in brazilian portuguese it means to molest in the english sense
like in the way we usually use it here
 
Good Lord
 
I mean, technically, "molest" has both meanings in English
 
sure
 
Doesn't everything sound dirty in Portuguese
 
Just… one has kinda disappeared?
 
5:53 PM
but we dont really use it to say to annoy anymore
 
I don't think British vs actual English have this level of variation
 
@Krijn i mean... no?
in brazil we use incomodar instead of molestar
 
(Yes I said American English is actual English, take that Britain)
 
Britain has way too many varieties of English. In parts of Scotland, you can say amn't for am not.
Which… I mean, it seems perfectly logical, why isn't that a thing elsewhere?
 
Arabic though... The dialects are mutually unintelligible
 
5:55 PM
@Daminark I've heard that "knock up" means "wake up" in one and "impregnate" in the other
don't remember which one was which
 
Similarly, there's that weird thing where in parts of England you'll hear "the team are happy" rather than "the team is happy"
 
knock up means to impregnate here
 
but that's probably the largest grammatical difference
 
Well, usually that's gonna be preceded by "I", and then you'd say "I'm not"
Wait knock up means impregnate?
 
yes lol
 
5:56 PM
the more you learn
 
"she got knocked up"
"he knocked her up"
 
Are you suddenly regretting something specific? @Daminark
 
:thonk:
 
what if I say "I knocked up myself" in the former sense Mathein wrote
that sounds uncomfortable
 
that sounds like you got AIed
 
5:57 PM
Sounds like you've just punched yourself?
Nah, that'd be "I knocked myself upside the head"
 
See I'd probably infer from just the words that knock up would mean something like beat up
 
@Akiva that would be knocked out, no
 
Balarka: eh, that'd be if you actually passed out from it, you might just be punched
 
fair
I WAS MAKING A 12YO JOKE GODDAMIT
 
But yeah good Lord do we not have any words in this language that aren't converging to lewdness?
 
5:59 PM
I do like how you can verb anything
 
when correctly viewed, everything is lewd
 
@BalarkaSen r/im14andthisisntdeepanymore
 
fanny in america vs britain
is v different
 
I don't know what that word means in either
 

« first day (2729 days earlier)      last day (2293 days later) »