[logicprog]

Oh I didn't realize Niklas Luhmann as the Zettelkasten guy! I use an org mode Zettelkasten (currently migrating to https://iwe.md for reasons) every day for my thoughts and ideas!