Software stack

This is the list of tools I used for this website:

Note organization

• Obsidian: text editing and organization
  • Advanced Tables plugin: better interaction with markdown tables
  • LanguageTool plugin: proofreading
  • Sliding Panes plugin: editing of multiple notes at the same time
• Kate: bulk or precision text editing
• Git: history checkpoints, file integrity and eventual rollback
• Syncthing: cross-device synchronization and backup

Website backend

• GitHub Pages: static file hosting

Website frontend

• MkDocs: website generation from Markdown files
  • Material for MkDocs theme: website look
  • PyMdown Extensions plugin: markup improvements
  • ezlinks plugin: hyperlink improvements
  • git-revision-date-localized plugin: adding "last update" date from git logs
  • exclude-search plugin: exclude pages from search results
  • htmlproofer plugin: validate URLs
• \(\KaTeX\): math equations
• Mermaid: flowcharts
• Tablesort: sortable tables

Other tools

• Bing Chat: provide and motivate answers to some questions
• Google Recorder: real-time lecture audio recording and transcription
• OBS Studio: recording Zoom lectures
• OCRFeeder: turning screenshots into text
• Languagetool: proofreading program
• Tableconvert: quickly converting tables between various formats
• Tabula: extracting tables from PDF files
• LibreOffice Calc: spreadsheet editing
• ImageMagick: CLI image editing
• Krop: automatically crop PDF pages into multiple pages
• Simplescreenrecorder: recording Zoom lectures
• LibreOffice Calc: edit spreadsheets

---

Authors: Giacomo