Closed awodey closed 11 years ago
Is uploading the book on the arXiv part of step 4?
no, that's step 5!
On Jun 19, 2013, at 6:10 PM, Guillaume Brunerie notifications@github.com wrote:
Is uploading the book on the arXiv part of step 4?
— Reply to this email directly or view it on GitHub.
I am not sure we will succeed in uploading the book to the arXiv. Do they accept PDFs?
I think they do not accept PDFs generated from LaTeX. Do you think the book would not compile on their servers?
We shall see.
They have been helpful in the past. If it does not compile, we may just ask for their help. We have tested the laTeX source on many machines already.
On Thu, Jun 20, 2013 at 12:35 AM, Andrej Bauer notifications@github.comwrote:
We shall see.
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/278#issuecomment-19719927 .
Go!
nCafe post is up; still waiting on Andrej it looks like.
Now how about mailing lists? I think categories and FOM were mentioned. What about constructivenews? algtop-l? Are there appropriate CSy lists?
I agree. For CS: coqclub, agda, types-announce
Will you post the announcement? On Thu, Jun 20, 2013 at 9:02 PM, Mike Shulman notifications@github.comwrote:
Now how about mailing lists? I think categories and FOM were mentioned. What about constructivenews? algtop-l? Are there appropriate CSy lists?
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/278#issuecomment-19775765 .
I've just sent it to FOM. Mike, would you like to do the honors for Categories?
On Jun 20, 2013, at 3:13 PM, Bas Spitters notifications@github.com wrote:
I agree. For CS: coqclub, agda, types-announce
Will you post the announcement? On Thu, Jun 20, 2013 at 9:02 PM, Mike Shulman notifications@github.comwrote:
Now how about mailing lists? I think categories and FOM were mentioned. What about constructivenews? algtop-l? Are there appropriate CSy lists?
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/278#issuecomment-19775765 .
— Reply to this email directly or view it on GitHub.
May I do constructivenews?
My G+ page looks like this:
by all means!
On Jun 20, 2013, at 3:35 PM, Andrej Bauer notifications@github.com wrote:
May I do constructivenews?
— Reply to this email directly or view it on GitHub.
Hahaha!
hmm, I suppose we should technically also email the hott list... (-:O
Sure, will you include: coqclub, agda, types-announce
or shall I do it?
On Thu, Jun 20, 2013 at 9:35 PM, Andrej Bauer notifications@github.comwrote:
May I do constructivenews?
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/278#issuecomment-19777831 .
Mine is very similar. Will we have stats for the downloads of the book?
On Thu, Jun 20, 2013 at 9:38 PM, Andrej Bauer notifications@github.comwrote:
My G+ page looks like this:
[image: hottg]https://f.cloud.github.com/assets/646599/683509/edf4520e-d9e0-11e2-804c-a8a47f85ef6b.png
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/278#issuecomment-19778000 .
You should do that!
On Thu, Jun 20, 2013 at 9:42 PM, Mike Shulman notifications@github.comwrote:
Hahaha!
hmm, I suppose we should technically also email the hott list... (-:O
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/278#issuecomment-19778210 .
please link my blog post this post.
bob
On Jun 20, 2013, at 2:56 PM, Mike Shulman wrote:
nCafe post is up; still waiting on Andrej it looks like.
— Reply to this email directly or view it on GitHub.
Ok, sent to categories. What do people think about the algebraic topology list?
I think wordpress keeps some stats on link clicks, at least. It looks like so far we have 80 downloads.
alg top = yes!
On Jun 20, 2013, at 3:50 PM, Mike Shulman notifications@github.com wrote:
Ok, sent to categories. What do people think about the algebraic topology list?
I think wordpress keeps some stats on link clicks, at least. It looks like so far we have 80 downloads.
— Reply to this email directly or view it on GitHub.
Hmm, somehow I forgot to include a subject line on my email to categories. Oh well. Algtop is done now too.
My site is experiencing heavy load! I am getting about three requests per second. Where is this comming from?
Hacker News says hi: https://news.ycombinator.com/item?id=5914395
Yeah, it seems like that's where it's comming from. I can't even get to the dashboard to check whether page caching is turned on.
your site seems to be frozen …
On Jun 20, 2013, at 4:21 PM, Andrej Bauer notifications@github.com wrote:
My site is experiencing heavy load! I am getting about three requests per second. Where is this comming from?
— Reply to this email directly or view it on GitHub.
For what it's worth, I've also written a "more elaborate" blog post at http://www.carloangiuli.com/blog/homotopy-type-theory-univalent-foundations-of-mathematics/
nicely done!
On Jun 20, 2013, at 5:04 PM, Carlo Angiuli notifications@github.com wrote:
For what it's worth, I've also written a "more elaborate" blog post at http://www.carloangiuli.com/blog/homotopy-type-theory-univalent-foundations-of-mathematics/
— Reply to this email directly or view it on GitHub.
Guys I am getting several visits per second on my blog post. That's thousands and thousands of people.
Scary! But are you sure it's not a robot or something?
Sent from my iPhone
On Jun 20, 2013, at 6:50 PM, Andrej Bauer notifications@github.com wrote:
Guys I am getting several visits per second on my blog post. That's thousands and thousands of people.
— Reply to this email directly or view it on GitHub.
5,000+ views on HoTT in just a few hours.
On Jun 20, 2013, at 6:50 PM, Andrej Bauer notifications@github.com wrote:
Guys I am getting several visits per second on my blog post. That's thousands and thousands of people.
— Reply to this email directly or view it on GitHub.
It's called the slashdot effect. I was listed in a popular social bookmarking site Hacker News, here.
a useful comment from that source:
Quibble: I downloaded the pdf, which defaults to a file called 'hott-online.pdf'. Why not Homotopy Type Theory - 1st Edition.pdf'? I download a lot of pdfs (mainly because of being a law nerd), and I am sick to the back teeth of having to rename virtually everything that I download so that I'll be able to find the filename again later. I do use Mendeley to keep my documents more-or-less organized, but what have people got against human-readable filenames? Really I ought to be able to get semantic metadata for everything I download.
On Jun 20, 2013, at 7:10 PM, Andrej Bauer notifications@github.com wrote:
It's called the slashdot effect. I was listed in a popular social bookmarking site Hacker News, here.
— Reply to this email directly or view it on GitHub.
The perils of fame, this in my inbox (I redacted the personal info):
Hello,
My name is [name redacted].
I developed an interest in you.
If you have the opportunity then please send me information material or souvenirs.
I would be very grateful.
> My adress
> Ukraine
> Zhytomirs'ka oblast (Zhytomir region )
> Ovruch area
> Pidruddya
> [street redacted]
> 11116
> [name redacted]
Should I be flattered?
31 books sold so far, about half-half split between hardcover and paperback.
Sent from my iPhone
On Jun 20, 2013, at 7:29 PM, Andrej Bauer notifications@github.com wrote:
The perils of fame, this in my inbox (I redacted the personal info):
Hello, My name is [name redacted]. I developed an interest in you. If you have the opportunity then please send me information material or souvenirs. I would be very grateful.
My adress Ukraine Zhytomirs'ka oblast (Zhytomir region ) Ovruch area Pidruddya [street redacted] 11116 [name redacted] Should I be flattered?
Or worried? — Reply to this email directly or view it on GitHub.
Huh. It never occurred to me that I might not have to rename every PDF file that I download, because I have a system for naming my PDFs, and the chances are virtually nil that whoever posted a file is going to have named it in conformance with my system, regardless of how human-readable their chosen name may be.
good point. and really, come to think of it, hott-online, hott-letter, and hott-ebook are pretty sensible names. I think this guy just has a thing about file names in general.
On Jun 20, 2013, at 7:52 PM, Mike Shulman notifications@github.com wrote:
Huh. It never occurred to me that I might not have to rename every PDF file that I download, because I have a system for naming my PDFs, and the chances are virtually nil that whoever posted a file is going to have named it in conformance with my system, regardless of how human-readable their chosen name may be.
— Reply to this email directly or view it on GitHub.
I think we're done with Step 4.
@Steve: Do we want to put a note on the http://homotopytypetheory.org/frontpage? Perhaps it is time to update it a bit.
On Thu, Jun 20, 2013 at 9:26 PM, Steve Awodey notifications@github.comwrote:
I've just sent it to FOM. Mike, would you like to do the honors for Categories?
On Jun 20, 2013, at 3:13 PM, Bas Spitters notifications@github.com wrote:
I agree. For CS: coqclub, agda, types-announce
Will you post the announcement? On Thu, Jun 20, 2013 at 9:02 PM, Mike Shulman notifications@github.comwrote:
Now how about mailing lists? I think categories and FOM were mentioned. What about constructivenews? algtop-l? Are there appropriate CSy lists?
— Reply to this email directly or view it on GitHub< https://github.com/HoTT/book/issues/278#issuecomment-19775765> .
— Reply to this email directly or view it on GitHub.
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/278#issuecomment-19777303 .
Hi - I bet you meant to send this to someone other than me!
Good luck with your book.
He meant @awodey.
good idea!
On Jun 21, 2013, at 3:17 AM, Bas Spitters notifications@github.com wrote:
@Steve: Do we want to put a note on the http://homotopytypetheory.org/frontpage? Perhaps it is time to update it a bit.
On Thu, Jun 20, 2013 at 9:26 PM, Steve Awodey notifications@github.comwrote:
I've just sent it to FOM. Mike, would you like to do the honors for Categories?
On Jun 20, 2013, at 3:13 PM, Bas Spitters notifications@github.com wrote:
I agree. For CS: coqclub, agda, types-announce
Will you post the announcement? On Thu, Jun 20, 2013 at 9:02 PM, Mike Shulman notifications@github.comwrote:
Now how about mailing lists? I think categories and FOM were mentioned. What about constructivenews? algtop-l? Are there appropriate CSy lists?
— Reply to this email directly or view it on GitHub< https://github.com/HoTT/book/issues/278#issuecomment-19775765> .
— Reply to this email directly or view it on GitHub.
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/278#issuecomment-19777303 .
— Reply to this email directly or view it on GitHub.
Write blog posts, publish on G+, Facebook, etc.