The h Bar

Hehehehe

@BernardoMeurer did you hear drake OD'd on pot

Nope

apparently it's usually impossible

@BernardoMeurer Shankar is pretty good

12:33 AM

does anyone else randomly write $\hbar$ when writing words?

1:03 AM

@BernardoMeurer sup?

2 Chainz - Good Drank ft. Gucci Mane, Quavo

@BernardoMeurer

►

1:19 AM

@OBE Do you want to perform a quick but mildly boring task to help me on my programming project?

I'm coding 2048

Have you played it?

oh, 2048 is fun =)

never gotten very far though.

@heather It's a PITA to code in C

@Bernardo so I've heard - Python calls you =)

@BernardoMeurer yes

but I only work in blue

@heather Assignment must be delivered in C

@OBE I know, have you heard of the Solarized palette

1:22 AM

no

just tell me what I have to do

@Bernardo =/ that's unfortunate

I'm very busy this week but I'll do it for you.

no time to read documentations lol

@OBE I need a bunch of 200x200 squares with a large centralised number in the middle. The numbers range from 2 to 8388608 (2^23). The background must get darker as the number increase. Examples:

This is using the Futura LT Bold font at size 115 and 110 respectively

oh my god so I have to save 8388608 photoshop files to png?

how do I do that

No, just 23 :P

1:24 AM

oh

i see

2,4,8,16,32,...,8388608

is it okay if they are all shades of blue?

I'll be done in like 15 mins

what font do you want?

Sure, I think that will look cool

Have you got Futura?

let me see

i have the default windows fonts

I think Futura comes with Windows

1:27 AM

rgb colour and 72 pixels/inch right?

100ppi works better for my scaling if possible

okay

can you list all the numbers please

i'm doing it right now

yep, let me make a python script

got it

2
4
8
16
32
64
128
256
512
1024
2048
4096
8192
16384
32768
65536
131072
262144
524288
1048576
2097152
4194304
8388608

@heather Screw you :P

1:29 AM

2,4,8,16,32,64,128,256,512,1024,2048,4096

oh, sorry, and 2 at the beginning

AHA

I have bested you

no nvm

i got 2 as well =)

Dammit

haha

=P

1:29 AM

I screwed up the power syntax :P

lol

I tried 2^i instead of 2**i

lol, I mistyped the print statement

i did it python 2 syntax instead of python 3

Python 3 <3

Python <3

lol

what are you people doing?

why not do some math

1:30 AM

@0celouvsky github.com/ronzil/2048-ai-cpp

Figure out how this works for me, thanks

actually, got a better program now - prints it as a list instead.

[2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608]

no futura sorry

@heather I'll make it laser etch it on the moon, one sec

now it's not one huge column of numbers - is that better @OBE

yeah

1:31 AM

@BernardoMeurer i'll make the numbers into 3-d objects and then float them to @OBE's house using import antigravity

@OBE ufonts.com/fonts/futura-lt-bold.html

@heather import antigravity, lol, that's some proper Python

:)

yep

referencing that one xkcd comic, of course

ah here we go

I wrote 20 short programs in Python yesterday. It was wonderful. Perl, I'm leaving you.

@BernardoMeurer but it's not legal to download that :O

I'm on university wifi

@OBE It's not?

no because futura is not for free download

do you have any alternatives?

1:34 AM

oh, c'mon @BernardoMeurer, you should be using Comic Sans =P

lol

or Papyrus

@OBE Eh, Helvetica?

use computer modern

don't be a damn pleb

do you want to listen to 0celo7?

1:36 AM

@OBE Found an actual free version

ephifonts.com/free-fonts/download-free-futura-fonts/…

cmu sans serif is nice

no but it's not legal to download it

futura is licensed

@0celouvsky, see, I used to be able to pronounce your username, but now I can't.

how are you supposed to?

@heather not my problem

oh-sell-of-ski?

@BernardoMeurer one sec let me check if my desktop or mac has futura

1:37 AM

I HATE FONTS

oh-sell-you've-ski?

@heather the oh needs to be pronounced britishly

how do you pronounce an o britishly?

ask @JohnRennie

rob

"britishly-sell-you've-ski"?

1:38 AM

there we go @rob

the first 0 needs to be American tho

0celo-vesky? i like that - adding a random vowel

very important

Americancelovesky?

no

stop troling

1:39 AM

says you

what does that mean?

@BernardoMeurer I have it

but it will take a bit longer since it's slow

dude, you, a fantastic troll (I mean that in the good sense), are telling me to stop trolling.

@OBE You're da best

@OBE wow you illegally downloaded it?

1:40 AM

that's like a wizard telling a trainee to stop doing magic because it's bad.

@heather I'm not a trol, what the hell is wrong with you

notice i mean the good kind of trolling

that's a serious accusation and is actually again the Be Nice policy

um...you just accused me of trolling a bit ago

@0celouvsky no

1:41 AM

@heather you could call me the good kind of murderer and it would also be not allowed

my mac has it

default

@0celouvsky er...but you just said i was a troll - I'm losing track of whether or not you're joking.

unbelievable

what?

(i could do another sarcastic remark about trolls here, but I feel that wouldn't quite be appreciated.)

just stop while you're ahead

1:43 AM

i'll just stop then.

thank you

@heather I'm going to change my name to "Al-O'0ßelouvskyopolous-san (FFPMW)"

@0celouvsky Add GPL to it

Gangrene plug lisp?

1:59 AM

GNU Public License, it's the license Free Software uses

oh...no thanks

I think my name is good

@BernardoMeurer New Yachty prod. by Mike Will....

Quavo on the same record

Future

The bass is too much

it's silly honestly

2:24 AM

fml ihy bernardo

@BernardoMeurer

dropbox.com/s/3ikpn9z1m6ib685/bernardonumbers.zip?dl=0

Damn! These look great man!

Thanks!

dude that took longer than I thought

since they got displaced from centre every time I changed the number

so I had to resize it

and centre again

23 times

lol

did you dl it? because i'm deleting the link now

Yep I got it

okay :)

I hope you like the extra effect I added

hm, what is the frame bundle in french

Let's see

2:28 AM

@OBE Absolutely, thanks a lot man!

@BernardoMeurer zoom in to the edges of the numbers and they are blue as well.

it's clearer in the lighter ones.

blends in in the darker ones but yeah lol

can't find a translation for frame bundle

Hm, what GR book would contain it and be in French

there aren't a lot of good french GR books

@BernardoMeurer are all the numbers right?

I need to leave now

@OBE They are, yeah :)

Thanks again

np bye!

2:34 AM

amazon.fr/…

This book says that relativity is a scam

amazon.fr/…

This one might actually contain it, if it's not shit

@Slereah why do you want the French word?

look for a math paper/book from that time

from Cartan

yeah but which

Do you have a legal copy of Kobayashi-Nomizu?

I found only one french GR book that's even close to modern and it's very basic

nobody wants to write in french

That limits your market

Look, i found a paper by Cartan on principal connections

This is your only chance

2:39 AM

link plz

try any of these

[1] looks like your best bet

Bochner lived a good life. Famous in geometry, functional analysis, and PDE.

a real rockstar

that article does not contain "fibration", which is the french for bundle

what's he talking about then

who knows

Cartan is pretty old

Fiber bundles weren't really a thing until the 40's

@Slereah [8]?

2:47 AM

maybe

let's check

also no

I think I probably need to check the post-Steenrod era

why do you need to know this?

I am curious

ironically Yvonne wrote about it but in English

there's another GR lady

Cecile DeWitte-Morette

Sounds french.

IIRC that's DeWitt's wife

I guess they figured that since they were the only two GR ladies they'd do a book together

seems about right

@Slereah what about some of Berger's early work?

2:53 AM

I don't know who that is

the best of your countrymen after all the analysts

Marcel Berger

I know there's a french translation of Carroll on the internets

But he doesn't use fiber bundles

Would it be in a Bourbaki?

Isn't Bourbaki from like the 30's

60's, apparently

Let's check

they talk about sphere bundles, at least

@Slereah if you really need to maybe you can email Berger

he's alive

barely

Or I can ask my advisor, he speaks French.

3:05 AM

I think I found it

It might be "espace fibré principal des repères linéaires"

how does one pronounce espace?

or fibré de repère, for short

solder form is forme de soudure, quite literally

where did you find it?

semioweb.msh-paris.fr/corpus/aar/412/1384/…

I wonder if I could write a basic french GR book

what the hell, a physics thing using solder forms?

3:10 AM

solder forms pop up for like "gauge" gravity

I don't understand, do French physicists who don't know about principal bundles understand this mathy notation?

It seems to be a lecture thing

I assume the professor explains

I'm sure if I went up in my QM class and redpilled them about Hilbert spaces, they'd be confused by $||\cdot||:\mathscr H\to\Bbb R_+$

lol

oh wait, it's a seminar

shit hits the fan in section 4 lol

how many physicists on the street know what a unital algebra is?

or what a $\Bbb Z$-graded differential algebra is

3:14 AM

I know what a unital algebra is

I don't know bout Z grading tho

@Slereah basically one that decomposes as $\mathscr A=\bigoplus_{k\in\Bbb Z}\mathscr A_k$

example?

rational functions I believe?

the grading is easy. where do you guys see unital stuff in sec4?

never mind I see,

@Slereah I wish I knew french

3:20 AM

math in foreign language isn't usually too hard to read

I'd have to start with math I know already

@skillpatrol hello Mrs. Patrol

what?

nvm

How do I compute $\exp A$ where $A$ is a 2x2 with no diagonals?

Isn't there an identity for matrix exponential and their determinant

I need the full exponential

it's also a Hermitian matrix

3:26 AM

@0celouvsky "Talk to the hand"

so it's $$A=\begin{pmatrix} 0 & a\\ a^* & 0\end{pmatrix}$$

is that thing Nilpotent

it is in fact not

the square is something diagonal

I think I might be on to something there

I can compute the matrix exponential of $A^2$

Do you know what $A^n$ is?

For arbitrary powers

@0celouvsky is there reason why the usual exponentiation does not work?

I think $A^2=\mathrm{diag}(|a|^2,|a|^2)$, no?

@ZeroTheHero If one of you knows mathematica and attempt to compute it, no

I have to do it by hand tho

kind of tricky

en.m.wikipedia.org/wiki/…

3:31 AM

@ZeroTheHero It's not a Pauli matrix...

I'm not sure how to express it as a linear combination of those guys either

I think that $A^{2n}$ is diagonal and $A^{2n+1}$ is skew symmetric or something

Mb you can try checking what it converges to

@Slereah I do think that the even ones are just $A^{2k}=|a|^{2k}I$.

I think it's similar to Pauli

Cos+ sin something

What does the Taylor series for cosine converge to if all of the -s are +s

Hyperbolic cosine?

Indeed.

So I'd get $\cosh A$, for all the good that does me.

Or $\cosh |a|$?

Hmm, $a$ is supposed to be a pure phase

$A\cosh(|a|)$

3:37 AM

{{Cosh( |a|), a Sinh(|a|)/|a|},{a^* Sinh(|a|)/|a|,Cosh(|a|)}}

@ZeroTheHero yep

that's not at all what I need, so we'll see

I've got to get sleep, tons of work to do tomorrow

bye

4:39 AM

Bye Mrs. 0celouvsky.

user228700

5:01 AM

@JohnR:

user228700

("D Balaji" is my neighbor)

Ah, I remember you saying that happened to your water supply.

user228700

Yep! My neighbor has "connections" at the office of the Times of India and he's gotten this article published somehow to raise awareness because the problem hasn't been fully resolved in months.

user228700

They've been digging for days.

5:06 AM

I think in the UK they use a robot that crawls along the pipe looking for breaks.

Not that I know anything about sewage pipe repair :-)

user228700

What, really?!

user228700

That is so cool!

have a look at this

user228700

Man, humans are so good at solving problems (sometimes)!

I must admit that trying to find a break in a pipe without something like that seems an impossible task. Apart from digging up the whole pipe to check it how would you inspect the pipe?

user228700

5:14 AM

I have absolutely no idea how they plan on succeeding at this. I can only hope they somehow do because I don't want to continue bathing in water that smells like sewage.

yuggib

@0celouvsky The duality of a weighted $L^2$ space or of a Sobolev space can be seen in two ways. One is the standard isomorphism of the Hilbert space onto its own dual space given by Riesz's theorem.

The second is given by the "standard" inner product of the space $L^2$ (the usual one). If you restrict the inner product to a sesquilinear form on the Schwartz space, then it can be extended to a continuous sesquilinear form between the weighted space and the space with inverse weight (provided that the inversion makes sense almost everywhere).

Then it can usually be proved easily that such sesquilinear form provides a bijection of each of the two weighted spaces onto the continuous dual of the other.

5:42 AM

\o @yuggib

yuggib

6:04 AM

O/

user228700

@JohnR: Do u use Reddit?

No.

user228700

Why not?

That doesn't mean I disapprove of it. I've just never felt any need to use it.

I suppose occasionally a Google search will find a post on Reddit and I use it then.

user228700

I see. From where do u consume various types of content on the intertubes?

6:17 AM

I don't really.

user228700

So u only spend time on SE?

I have a few favourite blogs that I read once a week. Other than that I use the Internet as a resource that I query when I want to know something.

Yes, the Physics SE is the only place I routinely hang around.

user228700

I see. Do u not feel that consuming aforementioned "various types of content" will add value to your life?

Obviously not otherwise I'd be a member of all those sites

I guess my interests are pretty focussed these days.

user228700

@JohnRennie :-P Sorry.

user228700

6:21 AM

Right.

I'm not sure what you're apologising for ...

user228700

Eh, that was a dumb question :-P

user228700

Relatedly, where/how do u read the news?

No it wasn't, because the question wasn't a simple literal question was it? You were really asking Don't you think you should consider enriching your life with those sites? and that's a perfectly reasonable question :-)

user228700

:-) Yes, that was the question but your answer was clear enough.

6:24 AM

Once a week I work through the Guardian online. That gives me the more detailed perspective on what's happening. The headlines I get from the BBC Radio 4 news. Plus of course I'll do ad hoc searches for anything that catches my attention.

user228700

Ah, I see. OK.

I like the Guardian because it's a bit left wing and I'm naturally a bit right wing. So reading the Guardian forces me to think about my views rather than just reinforcing them.

Not something that troubles the Daily Mail readership in the UK.

user228700

Hmm, yes, OK.

user228700

At least one good thing has come of the disastrous times in the U.S in that I have become acutely aware of the importance of good journalism.

I'm probably falling into the old and grumpy stereotype now, but I think there is an analogy with the way television is consumed.

Some people just leave the TV on in case anything entertaining catches their eye. My approach is to turn it on only when there is something I specifically want to watch.

user228700

6:29 AM

You have a T.V?! (:-P)

user228700

I understand what you mean.

I do have a TV, but these days I only use it as a monitor for my media centre PC. In fact I no longer have a TV licence so I can't watch TV broadcasts any more.

user228700

x'D I suspected as much.

user228700

I want to explore reddit because of the aspect of community more than the content itself.

I agree it's nice to feel part of a like minded group. That is one reason, possibly the main reason, why I like the Physics SE.

user228700

6:32 AM

Gosh, connecting with people "in the real world" is proving to be more and more difficult for reasons unknown to me. Hopefully, this will change for the better in college but if it doesn't, I am going to try using reddit.

The thing about university is that you're forced into a confined space with several thousand other people all roughly your age and with similar interests.

user228700

...and as scary as that sounds, it's equally exciting!

Just by the statistical chance there will be a sizable populaton of people who you'll naturally be friends with.

What I found really hard was leaving university. I moved to Chester and suddenly found myself in a town where my age group and interests were a minority. For a few months I felt really lost.

user228700

Oh, did u move directly from Cambridge to Chester?

user228700

I know. I have heard, time and time again, that making friends as an "adult" is truly one of the most difficult of all the "adult-y" things to do.

6:35 AM

Yes. I did a three year degree then a three year PhD so when I left I had been there for six years. So I knew Cambridge intimately and knew lots of people.

user228700

Wow, six years...

It was an absolutely brilliant six years though. Especially the three years of my PhD.

user228700

:-) I can imagine.

The old cliche tells us that your schooldays are the best days of your life, but that's hopelessly wrong. The three years I spent doing a PhD were undoubtably the best time of my life (so far).

Anyway. Reluctantly I have to go check servers now. Back in half an hour or so ...

user228700

@JohnRennie I too hope that is hopelessly wrong :-P

user228700

6:40 AM

OK, have fun!

Balarka Sen

Communication is a messed up idea in the 21st century that I am not convinced if exists anymore

why?

Balarka Sen

For a number of reasons. Among them, internet and online communication changing various serious aspects of communication pre-internet era is one which I have already talked about before.

I also feel like in this new millenia, importance of words is dying out like those vorticists did in the face of the first world war