Notices by ∑ XahLee (xahlee@noagendasocial.com), page 97

understand How Compiler Works in 10 minutes http://xahlee.info/parser/compiler_tutorial.html

formalism, is the FORM of formal, as in, formal proof, formula, formal language, and parser, string/term rewrite system

lambda calculus, and typed lambda calculus, are formalism. i.e. string rewrite. Or, think of it as find and replace text. #lisp #scheme

programing language grammar spec, is specifying the rules for string rewrite. (so that all valid “string” (source code) can be generated)

and “parsing” is, given a string (source code), determine which rewrite rules are used to gen it.

(btw, can think of lisp macros, except lispers are idiots. Mathematica's symbolic pattern matching, is the term rewriting system)

modern logic became pretty much “SYMBOLIC logic”, and that is easily converted to formalism.

logicisim and formalism, as practiced today, is pretty much type theory languages. e.g. #coq #agda #idris but not #haskell idiots

2 major branch of philosophy of math foundation are: ① logicism (reduce to logic). ② formalism (reduce string transformation).

i subscribe to both. In particular, formalism.

logicism tries to reduce math to logic. Russell + Whitehead's Principia Mathematica was the foundational work.

formalism is considering math to be merely manipulation of formulas, by some rules. Much like prog lang grammar or string rewrite.

2 major branch of philosophy of math foundation are: ① logicism (reduce to logic). ② formalism (reduce string transformation).

12 #emacs articles reviewed/updated, on line wrap and column edit
http://ergoemacs.org/emacs/blog.html

#Emacs Insert Alphabets A to Z vertically http://ergoemacs.org/emacs/emacs_insert-alphabets.html

learn #emacs lisp font lock in 10 minutes http://ergoemacs.org/emacs/elisp_font_lock_mode.html

#emacs Insert Alphabets A to Z http://ergoemacs.org/emacs/emacs_insert-alphabets.html

#emacs learn how to set font in 5 minutes http://ergoemacs.org/emacs/emacs_list_and_set_font.html

@itm108 i think it's great.

but i wouldn't use it. because it adds complexity.

for example, it shows !== as 3 bars with a slash.

basically, the ascii does not match very well the what's the intended appearance of the symbol.

so, there's a brain conversion step too.

i'd rather, have language support user defined unicode operators. And or, use unicode operators out of the box.

but there's a tremendous resistance of that among programers.

courier, courier new, and menlo, all have the same metric. Meaning, their width and line height don't change. #emacs

learn Pure CSS Table in 3 minutes http://xahlee.info/js/css_table.html

and today, i can't opine on these without getting more elaborate with my reasons. Somebody want to beat one up, i fear. Really.

on the other hand, bill cosby... did you know there are sjw with 100k followers defending him?

am going to delete my comment, pasting to mastodon instead. debate there if you wish. ^_^

Do you think Harvey Weinstein is being persecuted or what?

i heard on twitter but didn't read any article about detail (yet). did rape or beating actually happen?if not, harder to say.

I did read Kevin Space case (just 1 article), i think its nothing serious. that ralph guy, is scum.

In so many ways, #Trump wants the USA to be more like #China.
#TakeAKnee

lol. i honestly see the opposite. the sjw liberals, is installing totalitarian gov. i know we disagree on pol, still, i can't fathom this 1.

@xahlee emoji's ?
"
Our civilization is decadent and our language – so
the argument runs – must inevitably share in the general collapse. It follows
that any struggle against the abuse of language is a sentimental archaism, like
preferring candles to electric light or hansom cabs to aeroplanes. Underneath
this lies the half-conscious belief that language is a natural growth and not an
instrument which we shape for our own purposes.
"
- Orwell 1946
http://tinyurl.com/y9s7jnwh
.

unicode emoji should be ban'd. Extremely annoying to show a symbol it becomes a fucking emoji.

if you have ◀ ▶ ⏯, the latter becomes a fking emoji. adding U+FE0E does not always work. And in MacOS, it has a bug forcing emoji tiny

my #Emacs Tutorial is going strong. Click and BUY! http://ergoemacs.org/emacs/buy_xah_emacs_tutorial.html