∑ Xah Lee 李杀 @xahlee@mstdn.io

this problem, is a general problem of nesting. It happens with string escape sequence in langs. e.g. have you ever tried to grep a string that is from a code snippet's regex pattern? basically, it is impossible to figure out the backslash escape sequence.

using span tags to syntax color code on the web, now has a advantage. i.e. it's easy to determine the encoded/decoded state. (by simply checking existence of ≺span≻) So, not prone to error of encode/decode twice.

so, at this point, the advantage of using JavaScript to syntax color your code in your blog, is half gone. you still need to ampersand encode your code. and if it's web dev code (lots ≺ ≻ ＆), your code is unreadable without decoding. Same as using span tags to syntax color.

but why not just leave ≺ ≻ ＆ as is without encoding at all?
That's a problem, because suppose your code process html tags.
Code that process html are actually quite common.
so if are writing programing tutorial or blog, you may have lots code snippets containing lots html tags in string or regex.

note in html4 and #xml, all ＆ ≺ ≻ must be encoded.
in #html5, the rule is relaxed. if such char are surrounded by space, then it's ok, no need encoding to entities. (the rule is more complex than this)

why would it happen twice?
because when you put lots source code in html on the web, and you constantly edit
it, i.e. decode edit encode cycle,
it's very easy to make mistakes of encoding twice or decoding twice overtime.

the fact that there is no simple logical way to determine
if text is ampersand encoded or decoded, it's a problem.
because if ＆ gets encoded twice, the code is screwed. won't run correctly anymore.

Encoded version would be:
str.replace("＆amp;", "＆amp;amp;")

it's logically impossible to determine if a text is ampersand encoded or decoded.
you might say, if the text contains “＆amp;”, then it is encoded.
wrong!
e.g. if we have the code
str.replace("＆", "＆amp;")
that's actually not encoded.

thread. been stuck on a programing problem in last 2 days. recently i tried to experiment of using google code prettify instead of span tags to color code in html. see this video
https://www.youtube.com/watch?v=ml7V_OnBAOk
but now i realized a big subtle problem. not sure am going to use it anymore.

do you believe the story of supermicro spy chip used Apple Amazon server to be true?
twitter vote
https://twitter.com/xah_lee/status/1050148326622912513

#Java for beginner: understand the “super” Keyword http://xahlee.info/java-a-day/super.html
#xahcode

google censorship. it tries to explain its censorship as good censorship
https://www.breitbart.com/tech/2018/10/09/the-good-censor-google-document-suggests-web-must-be-controlled-because-users-are-behaving-badly/

learn TCP/IP in 1 hour http://xahlee.info/linux/tcp_ip_tutorial.html #linux

beat saber
https://www.youtube.com/watch?v=gV1sw4lfwFw

who's this guy
https://rachelbythebay.com/w/

quiz of the day. which work came first:
remove.
delete.

twitter vote
https://twitter.com/xah_lee/status/1049884184930607104
#xahwords

suppose joe has cow. u get milk from him. u r a comp whiz. He get his windows fixed from you. 1 day, u two had a fight. u no want joe milk anymore. Mary has milk, but mary lives far, and not as good. if u refuse joe's milk, it costs u more. he likely retaliates. hurt both ways.

in general, free trade is best. Nationalism or restrictions generally hurt both countries. but there are some details. you can understand it, by scale down the world to just your neighborhood. Who u you gonna get bread, meat, gas, employment, etc, for what you have or skill.