obua
Re:How to read research paper, textbook, long text content?
on Sunday January 09, 2022 @05:06PM (#29867799)
I know you don't believe in formal logic, but maybe give this paper a chance: https://obua.com/publications/philosophy-of-abstraction-logi...
Re:5% of 666 Python repos had comma typo bugs (inc V8, TensorFlow and ...
on Friday January 07, 2022 @01:05PM (#29842442)
You seem to also not know what "not statically typed" means. It certainly does not mean "not properly scoped".
Re:Unicode Normalization Forms: When ö ≠ ö
on Saturday January 01, 2022 @02:29AM (#29756341)
I am trying to formalise this with Cosmopolitan Identifiers (https://obua.com/publications/cosmo-id/3/). These identifiers consist of words and symbols. Symbols are normalised based on how they look like, and so Latin / Cyrillic / Greek symbols that look alike are mapped to the same symbol. Words are normalised differently, so that "Tree" and "tree" map to the same normal form. As a symbol, "T" and "t" are obviously different. I am not totally happy with the concept yet, I have implemented a fourth, simpler iteration of that concept as a Typescript package: https://www.npmjs.com/package/cosmo-id .
One of the problems is, how do you distinguish symbols and words? A simple way to do this is to classify something as a symbol if it is just a single character, and as a word otherwise. For example, "α-β" would consist of two symbols, separated by a hyphen, but "αβ" is a word and normalised to "av" based on some convention on how to "latinise" greek words.