On Creating this Blog

For some weeks I had the idea to create a personal website. Primarily, it should function as a place where I can share thoughts about the things I work with. For example, I tend to re-explain the MMT system numerous times to different people — having a unified blog post to point people to would be awesome!

Some ideals I have as of time of writing:

• 📃 Contents: mathematical knowledge management, formal systems such as MMT, general math and computer science.

• 💾 Open Science: I’d like to make all data and sources for this blog available under a very liberal license granting arbitrary usage under strong attribution requirements.

• 💬 Open Discussion: I’d like to provide a commenting service under each post for fearless feedback and discussion.