# Useful Links

## Some of my favourite maths and computer science blogs

nLab: a wiki-lab for collaborative work on Mathematics, Physics and Philosophy heavily oriented toward discussions on category theory and higher category theory. I started using nLab since 2014 and since then it has literally become a place where I spent a good deal of time learning about category theory and higher category theory. I also have seen how beautifully the collaborative effort of many people has resulted in such a great database. Remarkably there has been a great expansion of pages since first time I was there. If your work involves (higher) category theory then chances are you already know nLab and use it frequently. However, If you are new to category theory then use nLab, but take this advice with a grain of salt. I remember my first experience of learning category theory back in 2014 using nLab among other sources and it was first a bit confusing. There are sometimes incomplete sources and sometimes self-referential , or even worse non-terminating cross-linking of pages.

*Not to mention that in order to learn category theory first you have to learn infinity categories.*The n-Category Café: called n-Cafe for short, it is a group blog where authors posts intriguing stuff on recent research work mostly on cateogry theory, higher category theory, categorical logic, diagrammatic reasoning, applied category theory. The posts are not too long and they tend to bring the core ideas to the front for general maths audience.

HoTT Blog: main blog for homotopy type theory (aka univalent foundation aka synthetic homotopy theory)

Mathematics without Apologies: An unapologetic guided tour of the mathematical life; a blog by Michael Harris. The posts and after-post discussions involve philosophy of mathematics, politics, science and ethics of academic activities, AI, etc. Some of the most heated intelligent debates I have ever seen online happened there.

Existential Type: blog of Bob Harper

Mathematics and Computation: a blog by Andrej Bauer on connections between mathematics and the theory of computation

Shtetl-Optimized: blog of Scott Aaronson

Physics Forum: ocassionally, I read the posts on mathematical physics on physics forum, particularly from Urs Schrieber and John Baez.

Terence Tao’s Blog: a must-see blog if you are into combinatorics, probability theory, or analayis.

Dan Ghica’s Lab Lunch: a blog on game semantics, an interactive approach to denotational semantic, and feometry of synthesis among many other things

Graphical Linear Algebra: learn linear algebra in a non-conventional diagrammatic way.

- Mathoverflow: one of the cool features of mathoverflow is that anybody can ask a research question about a paper/book and the author of that paper/book answers it! e.g.
Tricki A wiki of useful mathematical problem-solving techniques initiated by Tim Gowers. I came to know about this from a lecture by Michael Harris introducing his book

*The science of tricks*where he mentioned this website.- XOR’S HAMMER

## A reading list of philosophy of mathematics

Since 2013 I have started to study philosophy of mathematics and science more seriously, motivated by interest in the genealogy of different kinds of abstract mathematics I have been introduced to; different foundations (e.g. set theories vs type theories) and various foundational issues (e.g. predicativity, finite vs infinite, circularity, etc) as well as questions concerning ontological status of mathematical objects and their relations to “empirical” reality prompted me to read people who have thought about these issues before.

Here is a list of articles and books which I have found interesting and edifying.

## Some of online sources where I read philosophy/ politics/ etc

## Some other cool websites

## This Wesbite

This website is hosted on **GitHub pages**. GitHub pages is a free service in which websites are built and hosted from code and data stored in a GitHub repository, automatically updating when a new commit is made to the respository. Pages are created by Jekyll Now, a more user-friendly version of Jekyll and perfect for building minimal and static, yet beautiful, secure, and stable websites. A really quick and easy-to-follow guide is provided here. For a quick start, you can also find the source code for setting up your own website at barryclark/jekyll-now.

I used the front page of a website that is powered by the academicpages template. This template was forked from the Minimal Mistakes Jekyll Theme created by Michael Rose, and then extended to support the kinds of content that academics have: publications, talks, teaching, a portfolio, blog posts, and a dynamically-generated CV. You can fork this repository right now, modify the configuration and markdown files, add your own PDFs and other content, and have your own site for free, with no ads! An older version of this template powers my own personal website at stuartgeiger.com, which uses this Github repository.

Make sure you check this guide as well. Personally, I found it very useful and succinct.

### Why Jekyll at all?

You can do so much with Jekyll. Some of the best web developers use it for building their own websites. Here is a good examples: CSS Wizardy.

But if you are, like me, an academic and want to publish your website with the help of Jekyll as fast as possible and not necessarily concerned about how fancy your website should look like, you may be interested in reading Github for academics.

Also, a really cool maths blog on discrete geometry, graph theory, and other stuff built by Jekyll: 11011110

### How to write maths with Jekyll?

**MathJax** is an open source JavaScript display engine for mathematics that works in all browsers.

Kramdown comes with optional support for LaTeX to PNG rendering via MathJax within math blocks. This blogpost has a good tutorial on how to use MathJax with Jekyll. Also, you will probably find the official MathJax website useful.