as nice as this is, and as much as I'd enjoy seeing some MO people chat

I think you might as well use IRC for this

oh

haha, yea, i don't even know what IRC chat is

but see, you can do LaTeX in here right? with ChatJax?

$\mathbb{Z}$

is anyone so careful when chatting as to use latex

oh, but i guess i could use chatjax anywhere

i try to, like when we chat on gchat

can you do colors with this LaTeX?

because if so I think someone might find some good uses for the LaTeX

hm i dunno

Yes.

this chatjax thing just... loops and revises the page all the time, i think

Colors can be used.

i'll really be impressed when we can do commutative diagrams

$\color{red}{ch}\color{yellow}{ro}\color{green}{ma}\color{blue}{tic}$

nice

that's about the only valid used of colour in LaTeX

can i see the underlying latex in some way? by scrolling over or something?

@JonBeardsley math.ucla.edu/~robjohn/math/mathjax.html

@JonBeardsley Try refreshing your browser.

(removed)

um what

oh i see

cool

:D

well that's nice

thx

It shows that the number of representations of a number by $4$ squares is equal to

$$8\sigma(n)+16\sum_{d\mid n}\frac{n}{d}\cos(\frac{\pi}{4}d)-2r_2(n)-8\sum_{d\mid n} d\cos(\frac{\pi}{4}d)$$

It would have been nicer if you gave the explanation before.

oh i see, and this is MO

cool

Good. I put homotopy theory, you got a better name?

so.... another such room has been created, associated to MO rather than MSE

chat.stackexchange.com/rooms/9418/homotopy-theory

oh no

that's fine

cool^

i'm currently struggling with a split identity

between MO and MSE

and i'm not sure how to bring them together. but once i do, I dunno, I guess I'll delete this room? or it will delete itself, or, whatever.

whatever, lol

hmmmm good question. i guess we're still ultimately kind of into spheres

@JonBeardsley Be careful these chat rooms are notorious for becoming "black holes" of productivity.

yeah

i can see that

EricP, is it true that topological automorphic forms should account for all of the chromatic tower?

I heard that somewhere and it would blow my mind if true

Not to mention how addictive they are ...

Spheres, good, good. What are some names of people you would like to see in this room, starting with known MO folk?

i don't think so. TAF isn't limited to a particular chromatic height but rather relies on whatever abelian varieties the underlying shimura variety happens to parametrize

yeah. the whole gui is just so nice, the sounds are so nice

but that's different from saying it captures everything

well I'm very happy that Eric is here

yeah ok thanks that's what I would expect really

Eric is the tallest homotopy theorist alive

clark barwick may have me beat, we haven't stood back to back

ohh really?

yeah i've never been close to him

i've only admired him at a distance

let's put that on our to-do list, after we work out this n-orientations thing

well he's tall

peterson-barwick "stand"-off

literally

I think it'd be a great time to have Tom Goodwillie in here to talk math with

i think he knows everything there is to know

at least... in the general orbit of htpy thry

i can't imagine suckering any non-graduate-student in homotopy theory into here

but i guess we'll see

yeah who knows

i mean, goodwillie was really active on the don davis mailing list

then left for MO

maybe he will leave MO for the allure of the chat

but even so... there are plenty of graduate students who know plenty of interesting things

and the fact that I can write $R[x]/(x^n)$ in here and it looks nice makes it even better

next step is having it execute Mathematica code, eh?

totally

that'd be awesome

hey do people need a certain rep to join here

Or Coq

@JonBeardsley, I posted this as a Meta question. Maybe you could post an Answer with whatever advertising you have in mind for now. meta.mathoverflow.net/questions/221/homotopy-chat-room

well then we'd be able to get all the HOTT guys in here

i.e. homotopy type theory

Yes, this chatroom needs more hot guys!

not as in... attractive

but

either way, you know, whatever

I was surprised how completely readable the HOTT book was

I don't know what to write as an answer

to your meta question @Will

oops... i guess that should be the other Will

@JonBeardsley, I also posted on Google+, which is where many HOTT people hang out.

oh really? who knew

yeah, this chat room is already ruining my life. i set out to do some really basic things in mathematica like at least an hour ago.

I AM CHATTING.

Wow, you guys really know how to advertise :D

mathematica as a programming language makes me want to cry

mathematica is a mixed bag

I can never make it do what I want, I just don't understand how it works as a language

syntax leaves a lot to be desired, language itself is fine

it has useful built in stuff though

i dunno, i just... have it already on my computer, and i'm kind of dumb, so now that i've got it doing some basic things, i'm not about to learn sage or something

I finally learned a bit of Mathematica by trying to implement some of the prime gap algorithms. It was unreasonably slow.

Not until someone replies, until then you are talking to yourself ;-)

Although that could be my fault.

though if i keep up doing this stuff, there's a good chance i'll have to find some better way to do it. at the moment I haven't even codified what i'm doing into a little function or anything, which would be the first step in the right direction

probably only partially. it's not exceptionally fast

i thought steven wolfram used cellular automata to make everything faster

does mathematica use cellular automata

probably the other way around

that would be amazing

meaning what? cellular automata make everything slower?

you try to compute a matrix multiplication

behind the scenes there's a cellular automaton running

and there's a button on the side to "reveal" the inner workings

or the other way around means "cellular automata use mathematica"

and you just see a massive cellular automaton at play

In that mathematicians are just very complicated cellular automata, and we use Mathematica?

that'd be pretty cool

a 12 dimensional cellular automata

or

well, loads of colours to encode that

you know, i mean, just use cowrie shells to compute spectral sequences, or something

@ManishEarth, is this really on SciComp? What did I do wrong?

yeah what is going on

wait is that a real question or a reference to the topic of discussion?

hey @Eric ... do you ever think about $\mathbb{A}^1$ as being a steak sauce?

it does appear to be on scicomp, that must be what the SC is about

then what is $\mathbb{P}^1$?

a different kind of sauce

an awful sauce

@JonBeardsley :S

:(

we've gone over to the other homotopy room

i am rapidly switching between chatrooms, like a mad man

@JonBeardsley welcome to the addicting part...

:-)

...also known as "thinking on your feet."

how do the people that run this stuff make any money?

how meta meta.stackoverflow.com/questions/79435/…

lol

NOW I AM REALLY CHATTING

YES

i'm a bad homotopy theorist, what's the name of the generator in pi_8 kO

@MatthewPancia YES :D

oh you mean $\pi_8(ko)$?

do y'all know about this chatjax dillyo? so that latex get's instantly rendered?

how does that dillyo

how to dillyo

i don't have chatjax installed (yet?)

also: lambda

agh, i cannot find the link

or like

you don't have to install anything it's just a javascript script

how do i do it

yeah, it's some kind of thing

math.ucla.edu/~robjohn/math/mathjax.html

activated then

beardsley i love you but you're bringing me down

idk basically i mean that i don't want my laptop to get hot

oh cool

thx @Will

my laptop's fan is broken

it's always really really hot

although this thing is making my window bounce

presumably it's rendering some of the LaTeX from higher up

oh

right

there you go

now you can see when I type $\mathbb{POOPOO}$

crass

sorry

the band?

this is not a place for crass chats, please

lol

See starred message on the upper right, click on the ucla lnk, follow directions.

good, Arnav is here

oh, hey arnav

Yes, please avoid crassness. Otherwise we won't be able to attract hot guys with Coq.

math.ucla.edu/~robjohn/math/mathjax.html

hahahah

no but seriously i did lol

oh wait so the HOTT guys use Coq all the time right?

like, every day?

beardsley, why is this chatroom all CAPS

Some use Agda.

oh, dern it

matt, i have no idea what you're talking about

these chats are yelling at me

maybe it's some weird filter they have in Texas

HOMOTOPY THEORY

oh that one

ahhhh calm down!!!

it's just the stylesheet, it's not actually in caps

you can blame @WillJ

jesus

that startled me

not so good with tagging yet

well okay

arnav can't talk

because he doesn't have enough reputation