As I'm throwing the stub artifacts from stuartpb On Security into the repo, I'm noticing how I should maybe have a thing for "I wrote half the text here, then had to commit it half-way."
On the other hand, that sounds like a smell within the context of Lean Notes (as I kind of note in the stuartpb On Security index page), since that kind of factorization should basically be solved by just not having large, monolithic essays - instead, there should be stubs on an index, and files for the written-out stubs.
I don't know, it's just an idea. Half the point of this issue is just to make sure I don't forget to come back around and finish writing these On Security pages.
As I'm throwing the stub artifacts from stuartpb On Security into the repo, I'm noticing how I should maybe have a thing for "I wrote half the text here, then had to commit it half-way."
On the other hand, that sounds like a smell within the context of Lean Notes (as I kind of note in the stuartpb On Security index page), since that kind of factorization should basically be solved by just not having large, monolithic essays - instead, there should be stubs on an index, and files for the written-out stubs.
I don't know, it's just an idea. Half the point of this issue is just to make sure I don't forget to come back around and finish writing these On Security pages.