This is where I will upload my various notes (or resources) related to different topics.
For the notes I will publish here, I aim to use a formal tone, organized with a logical structure. I believe this is usually not the best approach when it comes to learning, so you may want to use these materials for revision purposes rather than as a learning material.
Served via GitHub Pages on notes.howion.com, adjusted for printing or saving as PDF. Please note that none of the notes are complete yet and being actively developed.
Other than Abstract Algebra notes (especially Group Theory) I'm not really proud with those notes yet. Beware that I have not yet abandoned them but they shall be subject to major changes later on.
- Abstract Algebra
- Type Theory HTML
- Universal Algebra HTML
Probability Theory HTMLLogic and Computation HTML
In order to convert these notes to PDF, just try to print the page and save as PDF after the page is loaded. It will automatically, at least in Chrome-based browsers, convert to light theme and adjust the layout for printing.
This was previously done automatically in my bash build pipeline via chromium driver but every build really bloats git tracking. Hence, I have disabled automatic PDF generation.
Some of those will be compiled via custom bash pipeline with the use of pandoc, html-minifier-terser and chromium. For now, there is no git hook or action to automate this. I plan to compile as I see fit noting none of these notes are complete yet.
- 🚧 Abstract Algebra \ Groups, Rings and Modules
- 🚧 Logic and Computation \ Fundamentals
- 🚧 Probability Theory \ Fundamentals
- 🚧 Universal Algebra \ Fundamentals
Ordered by activeness. Other notes in
/noteswhich are not mentioned here are abandoned.
My handwritten poems, in no particular order.
You can check out my bookshelf for books or articles on various subjects which are mostly related to Mathematics, Computer Science or Philosophy.
For readability of source code, especially for the mathematical ones, you should consider switching to a custom markdown previewer with a light theme due to possibly transparent figures and KaTeX expressions. For now to edit notes, I personally use Visual Studio Code with:
Markdown Preview Githubby Matt Bierner to preview markdown files,Markdown Emojiby Matt Bierner to add Github emoji support to VSCode, make sure you also have an emoji font installed in your system, andmarkdownlintby David Anson to lint markdown files.
I'm still figuring out how to license this content. Some of it is distilled or adapted from commercial texts. For now, consider this (especially the notes) a personal archive, not an open-source resource.