Tag: note-taking

All the articles with the tag "note-taking".

• Emacs's Org - The Good, The Bad and The Ugly

  Published:Mar 12, 2024 |  at 12:00 AM

  It's the details that count...

• About Link Integrity

  Published:Feb 6, 2024 |  at 06:05 PM

  How type theory can solve a very annoying note-taking problem...

• Type Systems in Note Taking Apps

  Published:Feb 6, 2024 |  at 06:00 PM

  Type systems in notes - stupid, or a stroke of genius?