The h Bar

@0celo7 They occur in the computation of gauge-gravitational anomalies, which we did in my string course (of course we did not derive why the heck they occur there exactly :/)

Bernard Meurer

@ChrisWhite Why? Leaving Princeton?

user54412

@BernardMeurer Yes, one way or another.

0celo7

@ACuriousMind I remember that calculation in BBS

I believe it was like

"Witten showed"

That's a good sketch, I think.

Bernard Meurer

@ChrisWhite Why did you give up? I thought you had found a nice one near a PokèStop!

@ChrisWhite Also OpenMP is magic

Slereah

"There exist unitarily inequivalent Hilbert space constructions of free quantum fields in spacetimes with a noncompact Cauchy surface and (in the absence of symmetries of the spacetime) none appears “preferred”."

Bladdy hell

Bernard Meurer

12:29 AM

Clopen

user54412

@BernardMeurer So it turns out not only is housing outrageously expensive there, but you have to compete to get it. As in, one or two dozen people show up to the open house, and the landlord decides who he likes best. It's basically the Hunger Games.

Bernard Meurer

@ChrisWhite What the fuck

Are you kidding me?

user54412

So everyone shows up and eyes each other suspiciously, and we all have thoughts about how to off the others in order to secure the lease.

Bernard Meurer

@ChrisWhite Who do you need dead? Just tell me I'll help you out

user54412

Well for starters the "tech bros" -- the early 30s silicon valley types who make 6 figures but who are regressing to their college days and think "wouldn't it be great if I lived next to a large university"

Bernard Meurer

12:34 AM

@ChrisWhite Can you give me cascade files for their faces? My killer potato army is functional

0celo7

@ACuriousMind Let $e=e(t)dt$ be a compactly supported form with $\int e=1$. Let $e_\ast:\Omega_c(M)\to\Omega^{+1}_c(M\times\Bbb R)$ given by $\phi\mapsto (\pi^\ast\phi)\wedge e$, where $\pi:M\times\Bbb R\to M$ is the projection. I'm trying to show that $[d,e_*]=0$. I get $e_\ast d\phi=d(\pi^\ast \phi)\wedge e$. On the other hand, $de_\ast\phi=d(\pi^\ast\phi)\wedge e-(\pi^\ast\phi)\wedge de$. Oh, is it that $d$ only has $M$ derivatives?

@ACuriousMind The Poincare lemma seems really nonobvious...what's the motivation?

Also, how are these Poincare lemmas related to the "usual" one?

(the one that says closed implies locally exact)

ACuriousMind

You're reading this book, not I

0celo7

@ACuriousMind Which of my messages is that a response to?

ACuriousMind

All of them. I have no idea what you are talking about

0celo7

@ACuriousMind Ignore the first one.

ACuriousMind

12:40 AM

Well then I still don't know what you're talking about

0celo7

@ACuriousMind The "Poincare lemma" in this book is $H^*(M)\cong H^*(M\times \Bbb R)$

dmckee

@BernardMeurer All the Berkeley grad-students and post-docs I knew while I was living that life were either in unbelievable rat-traps, sharing with multiple room mates, or sometimes both.

The whole bay area is outrageous, places near public transport are worse, and near the university is gob stopping.

Bernard Meurer

@dmckee That's a real shame :/

0celo7

@ACuriousMind (i) Why "should" this be true

Bernard Meurer

What about living further away?

ACuriousMind

12:41 AM

@0celo7 Set $M=\mathbb{R}^n$ to get the usual one.

0celo7

@ACuriousMind That's the one they prove first, I don't see how that relates.

ACuriousMind

And it clearly should be true because you can just contract the R to a point

0celo7

And the one I know works on any manifold, not just $\Bbb R^n$

dmckee

@BernardMeurer It's still pretty bad and it plays merry hell with your attempts to schedule a life. But a lot of people do it.

0celo7

@ACuriousMind Uh, they use this theorem to prove homotopy invariance.

ACuriousMind

12:42 AM

@0celo7 "locally" means "on a set that's diffeomorphic to $\mathbb{R}^n$", essentially...

0celo7

@ACuriousMind So?

Oh...we look at the cohomology of that open set?

Bernard Meurer

@dmckee That sucks

dmckee

Part of the problem is that bay area voters want to have nice housing for everybody, and don't want historic buildings and neighborhoods to have their character changed by tearing down existing structure to put up more commodious ones.

Only they live in an area tightly hemmed in by oceans, bays, rivers, and cute little mountains that are none-the-less enough to really mess with transportation.

The result is an perfectly predictable housing shortage.

Bernard Meurer

@dmckee Why don't we cut out the bay area and paste it on Texas? Plenty of space there

I'm sure the Liberals would go really well with the average Texan

dmckee

Cultural matter/anti-matter apocalypse.

Bernard Meurer

12:47 AM

Right? That's be fun to watch!

user54412

Bay area prices, underreported by a factor of 2 in my experience. Bay area incomes. Note the anticorrelation near e.g. Berkeley.

dmckee

I grew up in south Texas where I am considered a Damn Liberal only one step short of a commie.

And I sometimes have a hard time stomaching some of the folks in the Bay area.

Bernard Meurer

Tbh college kids in the US are all commies for all I care

0celo7

@ACuriousMind Ah, so the compactly supported one is not homotopy invariant because you get a isomorphism between $H^k_c(M\times\Bbb R)$ and $H^{k-1}_c(M)$?

It's not between the same dimension?

user54412

@BernardMeurer Especially @0celo7

Bernard Meurer

12:49 AM

@dmckee In fact, there's something I'd like to share with you that happened to me this week

0celo7

@ChrisWhite Gimme your money

Bernard Meurer

@ChrisWhite Oh yeah, he's basically Stalin, but feminist

dmckee

@BernardMeurer That's always an ominous opening.

Bernard Meurer

@dmckee I went to this selection process for some very nice brazilian companies yesterday, and it was me and some 5 other candidates since this was the last phase of selection. There was me, three girls and one other guy. One girl was doing idk what at Stanford, the guy was going for Business at UCLA, and here's what I'm about to talk about: Two girls one going to Yale another to GA Tech who were going for CS

dmckee

Georgia Tech is a great deal. A first class engineering school and very reasonable public school prices.

Bernard Meurer

12:52 AM

Rollback to when I had first met them a few hours prior to that, and I had to clue where they were going. They mentioned they were going for CS and, hey, since I like CS I started talking about it with them. A few minutes later I realized they had no bloody clue. They had just a ridiculously basic knowledge of CS at most.

dmckee

I've been trying to convince my nephew who is considering engineering to go there as long as they live in Georgia.

0celo7

Wait, are there two Morses??

Bernard Meurer

Come the interview (which everyone does at the same room) they all had a bunch of feminism projects and stuff like that, and one even went to a hackathon once (!!!), but barely any actual projects to do with CS or heck even computers

0celo7

what is a feminism project

dmckee

@BernardMeurer Well, universities take in a surprising number of people who sign up for majors without really understanding what they mean. A few semesters of class and they either get it or change majors.

Bernard Meurer

12:55 AM

Now here I stand, I spent most of my teenage years studying my ass off to learn about CS and CEng, I feel like I know a fair amount of stuff in my area. I had a bunch of extracurriculars and voluteer stuff

I didn't get in anywhere

dmckee

@0celo7 The best ones of psychology experiment designed to measure prejudice in a way that shows the subject how they are thinking without getting them on edge. Others are ... pointless, regurgitation of dogma.

Bernard Meurer

And two girls who, as far as I could see, were as fit for CS as they were for veterinary got in awesome schools full scholarship because of their woman empowering whatever

It really makes me feel stupid

0celo7

The image of a proper map is closed. Huh, time for some point set...

user54412

The myth of modern meritocracy.

ACuriousMind

I'll just reiterate that I understand other countries' education systems even less than I understand the German one :P

dmckee

12:57 AM

@BernardMeurer Peak female enrollment in Computer Science in the US was in the mid 1990's and now it's back around the level of the late 1970s. And people are looking over the department's shoulder's about that. So they'll put a lot of weight on having innie coupling gear at admissions time.

0celo7

@ACuriousMind Er, do I need Hausdorff for that?

ACuriousMind

@0celo7 I think education systems don't have much to do with Hausdorffness

Bernard Meurer

Like why should I care about writing my own bootloader in C and assembly if no one gives a fuck about that in CS? Heck, I'll just empower someone and get in a good school because that's engineering!

0celo7

@ACuriousMind No, silly, for "image of a proper map is closed."

dmckee

None of which does any good if the young ladies switch to industrial psychology after the first year. But they keep trying.

0celo7

12:58 AM

Oh

I don't know why I responded to that message specifically.

user54412

@ACuriousMind And compare the number of people around the world trying to go to Germany vs. the US for college. I guess that says something about human nature, probably not something good.

Bernard Meurer

@dmckee It's so frustrating. Everytime I face situations like this my brain freezes and all I can think about is "Am I stupid? I must be stupid, what the hell happened."

@ChrisWhite German is harder to learn than English

and less useful to a degree

ACuriousMind

@ChrisWhite I actually have no idea how non-EU citizens are treated in application processes here

Bernard Meurer

Barely any German Unis offer Bach degrees in English

dmckee

@BernardMeurer It's not you. The system is full of perverse incentives that are untouchable for political reasons.

0celo7

1:00 AM

No one can pronounce "bjö", for starters.

Bernard Meurer

@ChrisWhite Regarding your earlier "Learn C" Aren't you being a bit biased? I mean, isn't the LHC Python-based?

@dmckee Sucks. Balls.

dmckee

In all seriousness, my place would admit you in a heartbeat. But we're not a great school and not a great match for you.

ACuriousMind

@0celo7 Take the two-point space with the indiscrete topology and map a single point into it. The map is proper, but the image is not closed.

dmckee

@BernardMeurer On the surface or underneath? It's c++ underneath.

0celo7

@ACuriousMind Indiscrete topology?

Bernard Meurer

1:02 AM

@dmckee I wouldn't know, that's why I'm asking, I feel like I heard it was Python

user54412

@BernardMeurer Sure, there's more pre-existing, ready-to-use stuff in Python, and everyone should know it. But I maintain that learning a low-level, imperative language first puts one at an enormous advantage.

Bernard Meurer

@dmckee Nothing made me hate CEng so much as trying to get to university

dmckee

Our CS program is good enough to turn out some web monkeys and database admins, and we don't have a real engineering program. Of course, you'd be welcome to major in physics, but you're a bit out of our usual league.

ACuriousMind

@0celo7 Even if there wasn't Google, there are not that many topologies on the two-point space that you can't figure out what I meant :P

Bernard Meurer

@dmckee I wish, but I suck at physics :v

I just hang here because you guys are nice and weird

0celo7

1:04 AM

@ACuriousMind You mean the topology with the open sets being the whole space and the empty set?

user54412

It's a shame, because by the time I tell people this they've already learned Python and Java and Julia. But C-first people never say "list comprehension doesn't make sense," whereas Python-first people are always saying "pointers ahhasfd afwefsf ref!"

2

ACuriousMind

@0celo7 yes

0celo7

@ACuriousMind That's the "trivial topology".

Bernard Meurer

@ChrisWhite Even C-first people say "pointers ahhasfd afwefsf ref!", let's be honest here

dmckee

@ChrisWhite It's a bit like driving a standard. People who can do it, can drive anything. People who learned on an automatic have an uphill battle to get up to speed.

ACuriousMind

1:05 AM

I think I said "pointers lgötht ökerölw röälrtzwerz"

Bernard Meurer

I still change an & for an * sometimes and C murders my family for it

dmckee

@BernardMeurer Only for the first hundred thousand lines or so.

0celo7

@ACuriousMind I didn't know you speak Norwegian

user54412

TIL Germans can keyboard-mash umlauts

ACuriousMind

@BernardMeurer at least you still have your potatos

Bernard Meurer

1:06 AM

@ACuriousMind My children protect me

dmckee

After that you get inured to it. Here is where I implemented a linked list in c just for a code golf.

0celo7

Maybe you even need a metric space for this to work

Use sequential compactness

Bernard Meurer

::sprinkles holy water at the screen::

That code, oh my god

0celo7

you need locally compact and Hausdorff, according to Google

ACuriousMind

@BernardMeurer I wonder, did you try every SE chatroom till you found one you liked, or did you go in thnking "I bet the people in the physics chat ar enice and weird"?

Bernard Meurer

1:09 AM

@ACuriousMind I asked a dumb question about QM once at PSE

dmckee

And this includes some truly indefensible bit twiddling.

0celo7

I came here because of compact sets.

Bernard Meurer

DS told me to come to the h-bar

You and him were very nice to me and explained why it was a weird question

Curiousone was super rude

After that I sticked around because you guys were nice

dmckee

@BernardMeurer Come on. The un-golfed version isn't much worse than a K&R exercise.

0celo7

@BernardMeurer -A

ACuriousMind

1:10 AM

@BernardMeurer I swear, when Chtulhu will be summoned by the internet, the code for that will come from Programming Puzzles & Code Golf

4

Bernard Meurer

@0celo7 thx

@dmckee I don't like C

I prefer assembly to C

There, said it

dmckee

@BernardMeurer In what architecture.

Bernard Meurer

@ACuriousMind CodeGolf makes literally the ugliest monstrosities I've seen

dmckee

If you say x86, I'll know you are lying. No one likes x86.

Now, m68k on the other hand is heaven.

Bernard Meurer

@dmckee ARM is nice (only used armv7)

I like x86_64

dmckee

1:11 AM

That's fair. Arm is slick.

Bernard Meurer

Arm is an amazing architecture

I hope one day we'll just ditch xwhatevers entirely

user54412

"Extract the four bits of the character that matter in determining vowelness"

Bernard Meurer

and use ARM

dmckee

@BernardMeurer I did one in fortran77 using computed gotos. Just because I'd never actually used them before

Bernard Meurer

@ChrisWhite Hum?

@dmckee Fortran is yucky

it's better than COBOL at least

ACuriousMind

1:13 AM

Please tell me there's a whole lot of acronyms based around body parts. Like, can I run LEG with ARM?

Bernard Meurer

@ACuriousMind I wish!

0celo7

1:24 AM

@ACuriousMind Let $f:\Bbb R^n\to\Bbb R^n$ be proper. The result is immediate if $f(\Bbb R^n)=\Bbb R^n$, so suppose this is not the case. Let $x\in\Bbb R^n-f(\Bbb R^n)$. Let $B\ne x$ be a closed ball. Then $f^{-1}(B)$ is compact, and $f(f^{-1}(B))$ is closed. Thus $\Bbb R^n-f(f^{-1}(B))$ is open.

This set contains $x$, and is disjoint from $f(\Bbb R^n)$. QED.

0celo7

1:43 AM

@dmckee you around?

@ACuriousMind I don't think that proof is correct.

dmckee

2:39 AM

@0celo7 Briefly. Why?

0celo7

@dmckee Never mind.

vzn

3:43 AM

lol "innie coupling gear" o_O

@BernardMeuer quite an experience re the feminism prjs etc. reminds me of some stuff. theres very heightened gender awareness in CS right now, maybe verging on hyperawareness, lots of "incidents" that demonstrate this, some kinda "viral". there is some crossover with gamer culture which can have a misogynistic component. its a complex/ continuing topic. anyway didnt you get into U portugal? sounds like a decent school... very elite schools are kind of darwinian sometimes anyway yaknow?

re US college gender balance, even outside CS there are some major trends, havent heard them remarked on in here so far, see eg this bostonglobe.com/metro/2016/03/28/…

Secret

https://www.facebook.com/TrolleyProblemMemes/

The famous trolley problem in its many forms

http://images.huffingtonpost.com/2016-06-02-1464853975-8597803-Screenshot20160602at00.51.56.png

Simple solution: Decohere the entangled state so that the lever subsystems are no longer correlated

Bernard Meurer

4:01 AM

@vzn I'm not happy about the school I'm going to

vzn

4:11 AM

@BernardMeurer U portugal? why not?

Bernard Meurer

@vzn ULisbon, they barely have any research

or do anything in CEng

or CS

vzn

huh? nearly all schools (universities) have CS...

have you looked at their dept web pgs etc? have you visited?

Bernard Meurer

@vzn They have CS. I mean they don't do anything. Events, hackathons, projects, research, innovation,...

Same with CEng

Visited: No. Researched: Yes

vzn

do they teach in spanish?

web site seems to be spanish

Bernard Meurer

@vzn Portuguese

0celo7

4:19 AM

>spanish

Bernard Meurer

It's Portugal

0celo7

@BernardMeurer To be fair, maybe the Mexicans are invading there

I think Portugal needs a wall

user54412

I wonder how many coffee beans one can eat before detrimental effects kick in?

Bernard Meurer

@ChrisWhite A lot. I've been trying that myself

vzn

oops ahem not up on my languages. but anyway BM do they have a cs pg? what dept is it?

0celo7

4:25 AM

@ChrisWhite Why are you doing that

Bernard Meurer

@vzn Yep

user54412

I started with a kilo of coffee beans, and it was a race to see if I could finish my thesis before they ran out.

0celo7

@ACuriousMind Does Künneth hold for all de Rham groups or just those on compact manifolds?

BT uses a geometric argument that only works when there's a finite good cover.

Bernard Meurer

@ChrisWhite Did you?

0celo7

@ACuriousMind Maybe there's a sophisticated algebraic argument that works for all manifolds?

user54412

4:29 AM

@BernardMeurer :)

Bernard Meurer

@ChrisWhite No?

0celo7

He doesn't have a thesis

He's milking that sweet Princeton money for as long as possible

vzn

BM hm this seems to be 2 3r sections dont quite follow...? fenix.tecnico.ulisboa.pt/cursos/leic-t/paginas-de-disciplinas

0celo7

That's why he's so defensive about it

Bernard Meurer

@vzn Hm?

vzn

4:30 AM

hmmm

aka "thinking"...

Bernard Meurer

@vzn Ah, top one is 2nd semester of each year, bottom one is first

vzn

@BernardMeurer strange organization.

Bernard Meurer

@vzn Their website is bad

vzn

ie diffeq/ calc I is 2 semesters?

@BernardMeurer sounds like youre being kind of hard on them, surely theres some kinds of events/ clubs/ prjs etc... they do masters degrees, so thats nearly research

Bernard Meurer

@vzn "nearly research" lol

Secret

4:34 AM

pas.rochester.edu/~jschneel/JamesSchneeloch_Thesis.pdf

Position momentum entanglement...?

vzn

do you want to do research? it does sound like it at times

Bernard Meurer

@vzn Yes

vzn

research in CS or hardware engr?

Bernard Meurer

Well, actually, I want to be a trophy wife

but that's not happening, so research

0celo7

@BernardMeurer oh god me too

Bernard Meurer

4:35 AM

Hardware engineering I think

vzn

@BernardMeurer lol yeah werent you bragging about your legs once? :P

Bernard Meurer

@0celo7 Right?

@vzn Thighs

vzn

in your case its more called boytoy :P

Bernard Meurer

@vzn Do I get money?

vzn

@0celo7 fyi spanish is spoken many places other than mexico :P

0celo7

4:38 AM

@vzn like Portugal?

vzn

@BernardMeurer uh, do you like cougars? :P

Bernard Meurer

@vzn I like money

vzn

@0celo7 so what are you mr international? will check with you 1st next time

@BernardMeurer yeah me too. maybe research is not for you :P

0celo7

How often do you guys wash sheets?

Bernard Meurer

@0celo7 Ask my maid

0celo7

4:40 AM

@BernardMeurer thought you were poor

vzn

since 0celo7 continues to ding me on this, having to investigate/ research... wikipedia says portuguese/ spanish "relatively close sister languages" en.wikipedia.org/wiki/Comparison_of_Portuguese_and_Spanish

Bernard Meurer

@0celo7 I'm not rich

@vzn So you guys speak German in the US?

vzn

@BernardMeurer huh?

Bernard Meurer

@vzn German and English are both of similar origins, that doesn't mean they're interchangeable

That's my point

0celo7

homological algebra is the worst

vzn

4:43 AM

nearly 10% spk spanish in portugual. you guys arent out to discriminate against a minority are you? anyway go ahead and ding me over a throwaway chat line :( en.wikipedia.org/wiki/Languages_of_Portugal

0celo7

@ChrisWhite didn't you do a lot of algebra back in the day

Bernard Meurer

@vzn And 32% English and 24% French. Don't be dramatic

0celo7

Portugal is basically a Spanish colony

vzn

only 35% portuguese (speaking) surprising to me. whos being dramatic?

Bernard Meurer

@vzn Because they speak Spanish/French/English doesn't mean they don't speak Portuguese dude

vzn

4:46 AM

@BernardMeurer nobody claimed they dont speak portuguese in portugual dude

Bernard Meurer

> only 35% portuguese (speaking) surprising to me

vzn

drama ≠ surprise :P

0celo7

@ChrisWhite I have an exact sequence of (possibly infinite-dimensional) vector spaces $$\cdots\to H^{q-1}\to H^q\stackrel{r}{\to} U\oplus V\to\cdots$$

I need that $H^q\cong im\,r\oplus ker\,r$.

vzn

@0celo7 huh?

0celo7

Skrillex & Rick Ross - Purple Lamborghini [AUDIO]

►

vzn

4:51 AM

ahem anyway was trying to cheer you up BM and then you started talking about being a trophy wife. not sure if that is a good sign or not, and now not so sure it was a good idea to try :|

Bernard Meurer

@vzn I appreciate that. Thank you.

vzn

since both you guys seem a bit fascinated with the subj ("trophy wives"), highly recommend this movie for edu purposes, hey its got nicole kidman stepford wives :)

0celo7

oh god I'd be Nicole Kidman's trophy wife in a heartbeat

vzn

@0celo7 lol tbh me2

BM maybe try to date one of those girls doing "feminism prjs" & going to the elite schools and it might all work out :P

0celo7

my gf would be upset if I did that

She'd understand the Nicole thing tho

vzn

5:04 AM

@0celo7 did what? hey show her the movie & tell me what she thinks am sure it will lead to some "interesting" conversations :) :P

0celo7

@vzn dated some feminist ivy league girl

vzn

@0celo7 lol yeah girls have this strong monogamy thing, aka "all or nothing", it can be a real drag sometimes :( :P

0celo7

some girls

Bernard Meurer

@vzn I have enough trouble in my life already to want a girlfriend

0celo7

generally, the good ones :P

vzn

5:06 AM

@BernardMeurer lol confused, so then whose "trophy wife" are you gonna be? :P

Bernard Meurer

@vzn You're starting to understand why I'm going for research

0celo7

He's gay :o

vzn

@BernardMeurer girls take a lot of research :P

Bernard Meurer

@vzn Research takes money

vzn

@0celo7 ?!?

Bernard Meurer

5:07 AM

@0celo7 I'd be in a better school if I was

vzn

@BernardMeurer ↑ makes no sense

Bernard Meurer

@vzn I'd be a minority

vzn

oh lol ok o_O

uh, guys who wanna be trophy wives are surely a pretty big minority...

0celo7

bob wouldn't like you

no, @vzn

vzn

"bob"?

0celo7

5:10 AM

@vzn he knows

Bernard Meurer

@0celo7 Bob already doesn't like me

0celo7

bob is an agent of doom

Bernard Meurer

@vzn Bob is his uncle

vzn

a gay uncle?

0celo7

...

Bernard Meurer

5:11 AM

...

0celo7

@vzn that's racist.

vzn

@0celo7 knows what?

← ?!? confused

good

foo

bar

5:14 AM

Rick Ross feat. Future "Neighborhood Drug Dealer Remix" (WSHH Premiere - Official Music Video)

►

Literally no clue what Future is saying here

vzn

so @0celo7 (re lenghty transcripts in here) youre so into proofs/ thms/ (advanced) math rigor one might suspect math physics is your thing... similar to yuggib, last guest spkr

0celo7

no, I don't like physics

vzn

@0celo7 lol so maybe its all S&M then

which reminds me, what does your gf think of 50 shades of gray? :P

0celo7

@vzn she thinks it's weird, doesn't understand it

vzn

@0celo7 yeah... did she see movie? you?

0celo7

5:22 AM

no she didn't, I watched the cinema sins