π΅
/
ππΒ·
coding The git βindexβ is like a little mini-commit zone. I backup my bare git repositories regularly but by incrementally diffing and reviewing changes using the
β°
index feels lighter weight than a commit, and not atrisk of being pushed or fetched by accident on my test machines.
1
π
ππΒ·
coding For my symbolic logic projects, I'm organizing my code around a division between the abstract for logic and concrete programmer-centric domains.
β
ππΒ·
logic I now have a somewhat general "pigeonhole solver" which, given a set of equations of the form x_iΒ¬=x_j and for each x_i, one equation of the form x_iβ{c_j
π»
β
c_(j+1) c_(j+2) ... c_(j+k)}. This can directly be solved with a search, but I've been trying to avoid that in my pretense toward symbolic manipulation. In the end,
π
β
I'm not sure my approach is all that different than a search - if I can write my approach up in a sensible form, I'll post a doc someplace and hope to learn more.
π
β
β
ππΒ·
coding I updated my color text routines that I use in all my Python tools to proceess faster when read into Emacs. One day, I may create an IDE for my βneo-retroβ
β°
logic-puzzle computing environment, but Emacs is still the best tool for me.