« first day (1638 days earlier)      last day (3384 days later) » 

Huy
6:00 PM
@MikeMiller: That part in the beginning where they select some coworkers by crossword puzzle and subsequent live-challenge, has something remotely similar actually happened?
 
Yes.
 
Huy
@MikeMiller: What happened in real life? The exact thing in the movie?
 
Something like that. I know my grandmother worked in one of those farms of people decoding the messages once they got the machine working, and I'm pretty sure she got the job in a crosswordy manner.
 
Huy
Cool.
And did his ex-wife also get the job in that manner as shown in the film? The wikipedia entry doesn't suggest that, as far as I've read it.
 
@SayanChattopadhyay In reality do the others talk to you?
 
6:02 PM
I understand!! @DonLarynx I have also an other question...

We have that $x$ and $z$ are odd and $y$ is even and that $x^4+y^4=z^2 \Rightarrow y^4=(z-x^2)(z+x^2)$.

$(x, y, z)=1$

To show that $gcd(z-x^2, z+x^2)=2$, is the following the only way??

Let $(z-x^2, z+x^2)=d>1$. Then it has a prime divisor, let $p$.

$p \mid d , d \mid z-x^2 \Rightarrow p \mid z-x^2$

$p \mid d , d \mid z+x^2 \Rightarrow p \mid z+x^2$

So $p \mid 2x^2 \Rightarrow p \mid 2 \text{ OR } p \mid x$
and $p \mid 2z \Rightarrow p \mid 2 \text{ OR } p \mid z$
 
@Hippalectryon are you there?
 
@MikeMiller Did you watch the film ?
 
I hate those kinds of crossword.
 
Crossword?
 
Huy
6:05 PM
I see.
@MikeMiller: I don't want to study DG anymore today, but tomorrow is the exam. Any advice? I don't really feel any pressure anymore like when I was an undergrad, for some reason.
 
I dunno. I don't think i've had an exam coming up where the outcome wasn't predetermined long before for quite some time.
(I had quals, but there was nothing one could do the day or so before a qual that would change the outcome.)
 
Huy
@MikeMiller: How can the outcome of an exam be predetermined?
 
@MikeM I had a qual where I saw the night before some question, it was late and I said "I did enough...". Obviously it was on the test with very small changes.
 
@Huy It covered a year's worth of material. One more night of studying would change nothing, and in that sense it was predetermined.
 
Huy
@MikeMiller: I see.
@MikeMiller: I made the resolution to go to lectures, next semester.
 
6:15 PM
@Chris'ssis Now I am
 
6:28 PM
Blah.
 
@MaryStar It helps that you get your numbers in the form $2k, 2k+1 : k \in \Bbb{N} \cup \{0\}$
I have to eat. Ask again in 45 minutes. :)
 
@evinda You're asking us to prove Fermat's last theorem.
 
Huy
@BalarkaSen: Do it.
 
@BalarkaSen Could you give me a hint how we could do it?
 
@evinda Oh so you do realize you want to prove FLT?
OK, sure.
 
6:33 PM
@BalarkaSen Yes, I do
 
First show that any 2-dimensional representation of Gal(\bar Q/Q) is modular.
Then the rest follows quite smoothly.
Good luck.
 
Huy
@BalarkaSen: Is $0 \in \mathbb{R}P^n$? Is it a single equivalence class?
 
@BalarkaSen Is this the only way? :/
 
Recall the definition of RP^n.
@evinda As far as I know, yes.
 
Huy
@BalarkaSen: I have no idea which is the definition of it. We never defined it in our course and for every example we seem to be using a different definition.
 
6:37 PM
One way or another, FLT is equivalent to fiddling with modularity of 2 dimensional Galois representations.
How those two are related, I only vaguely know. One part of the story is very very analytic which comes from modular forms and whatnots which I am not familiar with.
 
Ok @DonLarynx !!
 
OK, @Huy.
 
What does the symbol $\mathbb{P}^1(\mathbb{Q})$ mean ?? @BalarkaSen do you have an idea??
 
RP^n is defined to be R^{n+1}\{0} with the equivalence relation x \sim ax where a is a nonzero real.
 
Huy
@BalarkaSen: Ok, and using that definition, it doesn't belong to the projective plane.
 
6:39 PM
@BalarkaSen why u write (x,y)?
 
Sort of. I don't know what you mean by 0 as it's just an element of R^{n+1}, not RP^n
 
Huy
@iwriteonbananas: Because it is shorter and suffices for me to understand what is meant.
 
@iwriteonbananas :P
I was thinking of the projective plane.
 
yeah i figured
 
@BalarkaSen You are a genius.
 
6:42 PM
If I were a little more of a genius, I'd have solved the problem I am working on for 12 hours straight.
 
Huy
@BalarkaSen: Have you tried turning it off and on again?
 
What problem? @BalarkaSen
 
@Huy Yeah well that's what I am doing right now.
Otherwise I wouldn't have been chatting.
@user159870 Eh, computing homology of projective spaces. Should be something very simple, but I am messing stuff up.
Just can't visualize CP^n well enough.
 
balarka, whats teh fundamental group of $S^1 \vee S^1$?
 
Z * Z
 
6:44 PM
what does that mean?
why arent u writing in mathajx btw?
 
free product of Z and Z. free group on two generators.
@iwriteonbananas bcs i am lzy
 
@BalarkaSen WOW. You should become a teacher.
 
lolol
u edited ur original msg to make it look lazy
i dont know what fere product of Z and Z is
is it easy to compute the fundamental grouP?
 
yeah.
you know van kampen?
 
what techniques are required?
no
 
6:46 PM
well, study van kampen
it's a powerful tool
 
ayte ayte
 
@iwriteonbananas you can prove something weaker with the tools you know though
 
and whats that
 
that the fundamental groups is nonabelian :)
 
6:48 PM
hint : use an appropriate covering space and think about lifts.
 
there are many coverings of S1 wedge S1
 
there are. but there is a simple one that suffices.
 
does it have a universal covering?
 
what, figure eight?
sure.
 
yea
which one?
 
6:50 PM
every space which is path connected, locally path connected and semilocally simply connected has a universal cover
 
hmm ok
yea i think i read that before
whats the universal cover of figure eight?
 
i won't tell you. think about it.
 
fuuu
im too tired for dis chit
 
well then get some rest and think about it later
:P
 
impossible to get rest before i resolve this
 
6:53 PM
anyway you don't need the universal cover to show that \pi_1 is nonabelian
 
Huy
@MikeMiller @BalarkaSen: Let $\mathbb{R}_0 := \mathbb{R} \setminus \{0\}$. Set $X_1 := \mathbb{R}_0 \cup \{0^+, 0^-\}, \, Y_1 := \mathbb{R}$, the latter with the usual topology. Define $f_1:X_1 \to Y_1$ by $$f_1(x) := \begin{cases} x & x \in \mathbb{R}_0\\ 0 & \text{otherwise}. \end{cases}$$ Let on $X_1$ the topology $\mathcal{T}_{X_1} = \{U \subseteq X_1| \, f_1(U) \text{ open in } Y_1 \}$ be given. I want to show this is a topological sheaf. How is this a local homeomorphism?
Any neighbourhood of $0^+$ will also be one of $0^-$, so it can't be injective, no?
 
don't ping me if you want to do anything with sheaves
 
Huy
Why =(
 
LOL
 
'cause i don't know what a sheaf is
 
Huy
6:55 PM
@TedShifrin: Can you help? Am I confusing something?
 
@TedShifrin Hi
 
Hi @Balarka. I dunno, @Huy. I have to figure out what you're talking about.
 
Huy
@TedShifrin: We defined a triple $(f,X,Y)$ to be a topological sheaf if $X,Y$ are top. spaces and $f:X\to Y$ is cont., $f$ is surjective and $f$ is a local homeomorphism. The first two are obviously satisfied.
 
@Huy: So you're talking about the non-Hausdorff space I usually call the real line with two origins.
Yeah, I know what a sheaf is :P
 
@Huy weird name
 
Huy
6:57 PM
I don't know whether definitions differ, which is why I wrote it up.
 
How is that a sheaf, @Ted?
 
i was thinking of ring theoretic sheaves
 
Nothing to do with you algebraic sorts.
It's what you would call un espace étalé
 
I'm not sure you're allowed to call me an algebraic sort.
 
@BalarkaSen math.stackexchange.com/questions/354056/… thats pretty kewl
is that covering space contractible?
 
6:59 PM
@TedShifrin etale?
 
@Huy: So do you have a picture of $X_1$ in your head? It's like two copies of the real line glued together everywhere except at the two origins.
 
momentary excitement, sorry
 
Huy
@TedShifrin: Yes, of course.
 
Mm, fair enough. I see it now.
 
So the mapping to $\Bbb R$ is indeed a local homeomorphism, @Huy.
 
7:00 PM
Hello @TedShifrin !! Do you know what the symbol $\mathbb{P}^1(\mathbb{Q})$ means ??
 
@iwriteonbananas it's not
it's the cayley graph of Z * Z, in fact
@iwriteonbananas yes
universal covers are always simply connected
 
@BalarkaSen its not cool?
 
Yes, @MaryStar. It's the projective line working over $\Bbb Q$. It's the set of equivalence classes of nonzero points $(x,y)\in\Bbb Q\times\Bbb Q$ where $(x,y)\sim (tx,ty)$ for any $t\in\Bbb Q-\{0\}$.
 
oh "kewl" is for "cool"
blah
 
@BalarkaSen wait
this may be a dumb question
but are simply connected spaces always contractible?
 
7:02 PM
oh wait you asked for contractible
no, no
hehe
 
bananas!!! Think about $S^2$!
 
what @Ted said
 
oh yeah good point ted
 
Huy
@TedShifrin: But let's just look at $x = 0^+$ for a moment. Let $U \subset X$ be a nbhd of it, i.e. $f_1(U)$ open in $Y_1$, i.e. $f_1$ contains an interval $(- \varepsilon, \varepsilon)$. But then, also $0^- \in U$, since $f_1(0^+) = f_1(0^-) = 0$, no?
 
balarka is confusing me
 
7:02 PM
another beautiful example is warsaw circle
 
he's just a massive douchebag
 
No, @Huy, $0^-\notin U$.
 
Huy
Why not?
 
no u @iwriteonbananas
 
never heard of warsaw circle
but i googled it
 
7:03 PM
@iwriteonbananas take the topologists sine curve and then paste the two ends
 
@Huy By definition.
 
If you take $U$ very large, it can be, @Huy, but just take the interval $(-\epsilon,\epsilon)$ with $0^+$ in it. That's $U$.
 
@BalarkaSen btw. so is that universal cover of S1 wedge S1 contractible?
 
bananas, if you think he's a douchebag now, you should have seen him 6 months ago :D
 
oh gosh
i dont even wanna imagine
 
Huy
7:04 PM
I'm confused.
 
@iwriteonbananas no. i don;t think so.
 
@TedShifrin I found now the following in my notes: $$\mathbb{P}^1(\mathbb{Q})=\mathbb{Q} \cup \{\infty\}$$

Is it the same as you mentionned??
 
Huy
I think it's my brain being restricted to Hausdorff-thinking.
 
If you think of it correctly, yes, @MaryStar.
Right, @Huy. This is the first obvious example of non-Hausdorff.
 
@TedShifrin narrows eyes
 
7:05 PM
@BalarkaSen hmmm
 
Huy
@TedShifrin: I find the one with a set of two elements more obvious.
 
but who cares if a stupid space is contractible or not
 
@Balarka: Now you can see how Sayan behaves and how he annoys even you :P
 
@TedShifrin Why are these definitions the same?? I got stuck right now...
 
go prove that \pi_1(S^1 \vee S^1) is nonabelian @iwriteonbananas
 
7:06 PM
Do you have any way to visualize that, @Huy? I don't really.
 
I don't like "discrete" examples like that, @Huy. To each his own.
 
Huy
@MikeMiller: What do you mean by that?
 
In my definition, @MaryStar, the equivalence class of $(1,x)$ corresponds to $x\in\Bbb Q$, and the equivalence class of $(0,1)$ is $\infty$.
 
@BalarkaSen dont tell me what to do
 
How do you visualize that topological space? Can you?
 
7:06 PM
@TedShifrin yeah i see that i have become more mature than i was 6 months ago
 
Huy
@MikeMiller: I have never tried, but it is very obvious from the definition it isn't Hausdorff, for anyone, I think.
 
@Mike, which topological space?
 
@iwriteonbananas then don't ask me questions. go away.
 
The value of a topological space to me is that it is something I can actually think of visually or geometrically or what have you. The line with 2 origins is a line with another point infinitely close to it. That's something I can visualize.
 
7:07 PM
I can't visualize 2-point, non-discrete stuff.
 
@BalarkaSen i kid, i kid...im already working on it
 
Huy
@MikeMiller: I wouldn't know, I don't like topology too much.
 
Then why do you care about that space?
 
Huy
Because it's the first example that comes to my mind when I want a non-Hausdorff space.
 
@TedShifrin Can you explain it further to me?? I haven't understood why it stands that the equivalence class of $(1,x)$ corresponds to $x\in\Bbb Q$, and the equivalence class of $(0,1)$ is $\infty$... :/
 
7:08 PM
@Huy (Mike already knows this): Non-Hausdorff shows up very naturally if you think about solution curves of differential equations, or what is called foliations of manifolds.
 
@iwriteonbananas when you are done, prove that \pi_1 of a double torus is nonabelian.
 
You just need to understand why I gave you a bijection between the two definitions, @MaryStar.
 
@BalarkaSen double torus?
 
take two torii, squash them to make a torii with two donut holes
 
Non-Hausdorff shows up very naturally when you do algebraic geometry!
 
7:09 PM
Have you heard of Reeb foliations or Reeb components, @Huy, @Mike?
 
Huy
@TedShifrin: I haven't.
 
Of course, @tetrapharmakon, but the Zariski topology is very contrived to someone not working in algebraic geometry.
 
non hausdorff sucks. zariski topology sucks as a topology of course.
 
Yes, @Ted.
 
but it's a nice language
 
7:10 PM
@BalarkaSen aka connected sum of two tori?
 
@iwriteonbananas yeah
 
@TedShifrin I don't agree that it's contrived, as long as one provides a little explanation. On a decent topological space, the closed sets are precisely the zero sets of continuous functions. (I think paracompact Hausdorff is all you need, but it's at least sufficient.)
So, you want to topologize your varieties so that the polynomials are your continuous functions... make your closed sets their zero sets.
 
whaa, @Ted, I am struggling with homology of CP^n
i am not asking for hints. just whining for no reason.
 
Here's a version of it, @Huy. Take the strip $-\pi/2\le x\le \pi/2$ in the plane. Call two points $(x,y)$ and $(x',y')$ equivalent if $x=x'=-\pi/2$ or if $x=x'=\pi/2$, or if $y=\tan x + c$ and $y'=\tan x' + c$ for some $c\in\Bbb R$. There's a natural quotient topology on those equivalence classes.
 
I agree, the Zariski topology sucks. :) but if you do functional analysis in a smart-enough way, Gel'fand duality pretty explains what's going on with Spec(-)-y things
(@Ted
 
7:12 PM
It sucks?
 
Huy
@TedShifrin: If we have two different charts $\varphi(x) = x$ and $\psi(x) = x^3$ on $\mathbb{R}$, it suffices that $\varphi \circ \psi^{-1}$ isn't $C^\infty$ to show the induced differentiable structures are different, right?
 
sucks as a topology, sure @Mike
 
I never said Zariski topology sucks. Those words came from someone else.
 
it's like a cofinite topology. huge, coarse, open sets.
 
Right, @Huy, but the structures are nevertheless diffeomorphic :P
 
7:13 PM
blah. no place to do enough geometry
 
Huy
Yes, that's the next exercise. :P
 
Draw a picture of my example, @Huy.
 
@TedShifrin wops!
 
@TedShifrin Is there a way to justify the swap $\int_0^1 \int_0^1 x^s \ ds \ dx=\int_0^1 \int_0^1 x^s \ dx \ ds$ without Fubini ? (i.e. using epsilons)
 
Huy
@TedShifrin: I'll do it later, when I've finished the pile of exercises here.
 
7:14 PM
@Hippalectryon tonelli
 
I'll be grading it tomorrow, @Huy :D
 
@iwriteonbananas -_________-
 
That's Fubini, bananas.
 
Huy
@TedShifrin: My DG exam is tomorrow, too.
 
i know, im just annoying him
 
7:14 PM
Excited to stop grading forever, @Ted?
@iwriteonbananas A noble goal.
 
In your case, you can do the integral directly, @Hippa, so I guess I don't know what you're asking.
 
@MikeMiller merci monsieur
 
my cointestines are writhing from coindigestion, a result of eating cofoods
 
@TedShifrin How ? The integral is improper. (I'm starting from $\int_0^1 \int_0^1 x^s \ ds \ dx$)
 
I was quite angry, @Mike. I graded from 5 PM to 11 PM last night, with a few breaks. About 7 or 8 of my 25 diff geo students had under 2.5/5 points on the homework. Some under 1/5. Even the very weak students, however, who bother to come to office hours, managed to write enough up well enough that they got 4/5 or better.
 
7:16 PM
@BalarkaSen : co-eating*
which I guess corresponds to...
 
Huy
@TedShifrin: I'll be teaching 11 instead of 14 high schoolers next semester. :(
 
@tetrapharmakon :P
not that
 
Well, make them proper (i.e., using $\epsilon$s), @Hippa. So are you telling me you know Fubini in the continuous setting or what?
That's a very small class, @Huy. Or is that for your advanced course?
 
Maybe I'll be teaching less than 73 students next quarter, @Huy.
 
Huy
@TedShifrin: No, that's the regular maths class.
 
7:18 PM
I'll be teaching 0 next term.
 
Huy
@MikeMiller: You can give me some of yours, if you like.
 
@TedShifrin I'm telling you I don't, which is why i'm looking for a way with $\epsilon$. I've tried, but that leads me to $\displaystyle\int_0^1\dfrac{(1-\eta)^{s+1}-\epsilon^{s+1}}{s+1}ds$. How do you do that one ?
 
heya, can someone help me find a duplicate for $\int_0^\infty \log x / (1+x^2) \,\mathrm{d}x$? this question, must have been asked countless times before..
 
I would, @Huy
 
I have enough trouble finding my own answers to questions I know I've answered, @N3B.
 
7:19 PM
I'm trying to be the honors linear algebra TA next quarter. Only one class of students, I meet with them twice a week instead of once per class...
 
@TedShifrin I finally concluded that our grad students have dung instead of brain after being in 7 or 8 classes with them.
 
Most every introductory graduate course I've taught, either at MIT or here, @Balarka, the good undergrads in the course were better than all but a handful of grad students.
 
Weird how that happens.
 
@Studentmath !!
 
@Ted!! @Balarka! long time no see, Bal
How are you both?
 
7:21 PM
Hi @Studentmath
 
I have been called both a genius and a douchebag in the same day.
 
@MikeM you ignored me before :(
 
Looks like I'm going to have a great day
Hi @Studentmath
Can't @Mike just unignore me now? I am not even active enough to annoy him :P
 
@TedShifrin I am collecting similar questions on meta ted
 
@Hippa: I'm confused. How is that the integral? $\int_a^b x^s\,ds = $?
 
7:23 PM
Not a chance, @Studentmath, I must have msised your message.
 
@Studentmath Haven't seen you here lately.
 
Probably. I just mentioned I had a chance to improve my result a day before the test, it wasn't really important.
 
Busy doing math?
 
@Balarka same same.
 
@TedShifrin Isn't it ? $\int_a^b x^s\,ds =\dfrac{b^{s+1}-a^{s+1}}{s+1}$ right ?
 
7:24 PM
@TedShifrin Ted, could you help me with something quick? What is the definition of the derivative (this sounds so basic). I would say that $$ \lim_{x \to a} f ' ( x ) = f ' ( a ) $$
 
@Balarka amongst others, had some other things to take care of, but that too
 
No, @Hippa. You're integrating dx.
 
So both the limit and the value at the point must exist.
 
@TedShifrin Ugh wait no you got it wrong
 
@Studentmath cool. so what kind of math are you doing right now?
 
7:25 PM
Definitely NOT, @N3B. That requires that the derivative be continuous.
 
^ that's the only question i can think of when i talk to someone
:P
 
Try $f(x)=x^2\sin(1/x)$, $x\ne 0$, $f(0)=0$, @N3B.
 
@TedShifrin So we only need the limit to exist?
 
@TedShifrin I have started with an integral that led me to $\int_0^1 \int_0^1 x^s \ ds \ dx$, and I want to swap it to $\int_0^1 \int_0^1 x^s \ dx \ ds$ because that last one is trivial.
 
Oh, @Studentmath, I remember that. I didn't respond 'cause I didn't have anything to say.
 
7:26 PM
Either you know Fubini or you don't, @Hippa. I don't understand how you can think of flipping.
 
@TedShifrin Because I need it for my integral q_q
 
@N3B. It is an exercise to prove that if $f$ is continuous at $a$ and $\lim\limits_{x\to a} f'(x)=L$, then $f$ is differentiable at $a$ and $f'(a)=L$. But this takes a proof.
 
Random Graphs, Logics, topology and group theory. Actually, I am practicing back my group theory, and I figured out I don't understand something very important. Given a finite abelian group $G$, $o(G)=p_1^{n_1}p_2^{n_2}\cdot \cdot \cdot p_k^{n_k}$, I know that it 'factorizes' to $P_1\times P_2 \times \dots \times P_k$ where $o(P_i)=p_i^{n_i}$. Right?
So basically, its sylow-subgroups.
 
@Hippa: I do not follow. What precisely do you know? Is this for your course or for one of Chris'ssis's problems?
 
@TedShifrin FOr my course. $\int_0^1\dfrac{x-1}{\ln x}dx$
 
7:27 PM
yes, @Studentmath
 
@TedShifrin Take $x(t) = t^3$ and $y(t) = t^3$ at origo, is it differentiable there?
 
So have you proved Fubini in your course, @Hippa?
 
@user112495 ?? How do I integrate the left one ?
@TedShifrin no. We won't see it this year.
 
it follows from the fundamental theorem of finitely generated abelian groups
 
Have you proved differentiation under the integral sign, @Hippa?
 
7:28 PM
And the number of different abelian groups of the same order, is therefore, the product of the partition number of $n_i$'s. Yes.
 
I don't know what you're asking, @N3B.
 
@TedShifrin Parametric
 
@TedShifrin Hello.
 
heya @Pedro ... salud.
 
@TedShifrin Yes, I'm still kinda ill.
 
7:29 PM
@TedShifrin No Dutis either.
 
At least with a cough.
AGH.
 
Darn, @Pedro, there's stuff going around here too. Get better.
 
@TedShifrin LOL
"salud"
 
So the point is that you can't use $dy/dx = \dfrac{dy/dt}{dx/dt}$ at $t=0$, @N3B.
The inverse function theorem fails because $x'(0)=0$. So you have to go back to the definition of the derivative.
 
@BalarkaSen Do you know what that means?
I was about to unping the last star... don't make me change my mind now.
 
7:32 PM
Okay, so I have it well. Just one last question, though - the difference between them actually comes from the different ways to cross product finite cyclic groups to get to the $P_i$'s, right?
 
Interestingly, @Hippa, I assigned that exact integral for homework last week in my multivariable analysis class. They did have Fubini/DUTI.
 
DUTI? What's that?
 
@PedroTamaroff OK, I'll just zip the lip
 
@TedShifrin It's much easier with Fubini -__-
 
differentiation under the integral
 
7:33 PM
@PedroTamaroff You're on duti today :P
 
@TedShifrin Can you give me a hint?
 
What sort of hint, @Balarka?
 
I want to show that CP^n is homeomorphic to D with identification x ~ ax where |a| = 1. Doing this for RP^n is easy because it's just identifying antipodal points in the two hemispheres.
But in case of CP^n... a lot of points are identified.
I can't visualize it.
 
@BalarkaSen What did you find funny?
 
"salud" sounds like someone with a mucus-filled nose saying salut.
 
7:40 PM
This doesn't seem correct, @Balarka. Your attaching map should map $S^{2n-1} = \partial D^{2n}\to \Bbb CP^{n-1}$.
 
I mean D^{2n} with identification x ~ ax
sorry
 
Yeah I think I have it right. Reread the chapter briefly. Seems like the different non-isomorphic groups comes from the different ways to cross-product cyclic groups to get to $P_i$.
 
But you want to attach the cell to the previous stuff, @Balarka.
 
Gah I mean identifications on the boundary
D^{2n} with identifications on the boundary S^{2n-1}
 
@TedShifrin nvm, solved with swap limit-integral
 
7:45 PM
One wave of exam over. About to get lunch. Anything interesting here?
 
We proved the Riemann hypothesis, nothing else though
 
We did, @Studentmath?
I.. I mean, yes. We did.
 
@hippa what's the latin way to say "CQFD" again please ?
 
@Ramanewbie Q.E.D.
quod erat demonstrandum
 
tks @hippa
 
7:48 PM
Canonical Quantum Field Dynamics?
 
Huy
wzzw
 
lol @BalarkaSen... not, really, it's the French for "QED"
 
Huy
Ok, I give up for today.
I hope the prof. won't mind me wasting 30 minutes of his day tomorrow.
 
@Huy Where are you stuck?
 
Huy
@PedroTamaroff: Just not really understanding anything I've learned. Got an exam on DG tomorrow morning.
 
7:53 PM
@Huy Anything?
 
Huy
@PedroTamaroff: I think so.
 
Sounds too dramatic.
 
Huy
@PedroTamaroff: If you were my prof, you would see it is just the truth, tomorrow.
I haven't failed an exam for ages. I really have to start attending lectures again.
 
I proved something today!
Something original, in my eyes.
 

« first day (1638 days earlier)      last day (3384 days later) »