Personal Notes

These are some notes in the result of my daily web searching and time wasting.

• Logic
  • Stanford Introduction to Logic, an online course on symbolic logic
  • Teach Yourself Logic, a study guide provided by Peter Smith on his Logic Matters blog
• Math
  • Math books
  • Math Notes
• Computer
  • Computer Science
  • Computer Usage
  • macOS Usage
  • Software Usage
  • Website Usage
• (La)TeX
  • Guideline to docs and other resources
    • recommended LaTeX packages (TODO)
    • valuable documents on CTAN (TODO)
    • other online resources
  • Cheatsheet
    • geometry
    • xparse
    • ctex, under construction
  • Default settings of packages/classes
  • Tips
• Font
  • Fonts included with OS
    • Windows 11 Windows 10
    • macOS 14 (Sonoma) macOS 13 (Ventura) macOS 12 (Monterey) more historic versions
  • Modern Fonts
  • Font Stories
    • Shanghai Type Project, Digital Archive: Xuecheng Xu （上海活字项目数字档案：徐学成）
• PDF
  • PDF Reference
    • v1.7 (with errata) is freely downloadable from adobe.com.
    • v2.0 charges 198 Swiss francs on iso.org.
    • ISO 32000-2:2020 (PDF 2.0) and PDF/UA (ISO 14289) & ISO TS 32005, available at no cost https://pdfa.org/sponsored-standards/
  • Cheatsheet for PDF Reference v1.7
  • Helpful links
    • Adobe documents referenced from ISO 32000-2:2017 | pdfa.org
• Typography
  • Examples
    • The MagPi, the official Raspberry (monthly) Pi magazine, started from May, 2012 and provides free downloads.
  • Online Resource
    • Fontology on fonts.com
    • Practical Typography, 2nd Edition by Matthew Butterick
  • Citation Styles
    • General Guidelines from library of Harvard
    • Author-date style (aka. Harvard style): Introduction from UWA
• Unicode
  • http://www.fileformat.info/index.htm
  • https://www.compart.com/en/unicode
  • Converter: https://r12a.github.io/app-conversion/
  • Unicode names https://w3c.github.io/xml-entities/unicode-names.html first seen in latex3/latex3#1477 (comment)