π²
/
ππ Β·
I've been enjoying Python's tremendous flexibility but am converging, with support from a preprocessor, on a consistent style. Once things are stable enough to focus
β°
on performance, I'll use my preprocessor to target a mix of C or C++ and a more performant runtime than the standard Python interpreter.
π΅
/
ππΒ·
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
π
ππΒ·
For my symbolic logic projects, I'm organizing my code around a division between the abstract for logic and concrete programmer-centric domains.
β
ππΒ·
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.
β
π»
β
ππΒ·
While I use Unicode extensively and appreciate its near universal adoption and support, I object to any description of it as a "character set". It is a partial
π
β
encoding for semantically based typesetting of all human-readable text that includes representations for historic character sets. Ideally, a "character set" provides
π
β
an abstract, finite set of symbols for computation and a visual representation that allows human beings to readily identify symbols in a sequence - a simple alphabet.
π
β
If we remove codepoints that are control values (modifiers and typesetting indicators) and, for groups of characters which are (subjectively) visually similar,
π
β
discard all but one, we are left with a workable character set. But it's a major bonus if human beings can naturally associate meaning with sequences to form a human
π
β
readable language. This character set requires knowledge of every alphabet included in Unicode and fluency in at least one language that uses each alphabet. I encode
π
β
formal languages and strings using my own (still evolving) βZy Logical Character Set" or "Zylch" (the "zy" is vestigial, but still makes for entertaining acronyms).
π£
β
It's a single byte encoding starting with the digits 0β―9, followed by the 26 uppercase then 26 lowercase letters of English. Then a bunch of symbols that change from
β
week to week...
β
β
ππΒ·
I'm using βββ for dot product and βββ for cross product. My preprocessor translates these from binary operators into calls to βdotβ and βcrossβ, which are native in
β°
GLSL and implemented in Python to work on number sequences of equal length (dot) or only 3-tuples of numbers (cross).