Well, you already have java formal verification tool named Bandera http://bandera.projects.cs.ksu.edu/people.shtml (which name is obviously choosen by Oksana Tkachuk, one of the tool authors)
As a native Spanish speaker I'm not aware of any negative connotations of the word bandera. In Spanish it just means "flag", so any other meaning is hard to google for. What am I missing? Just curious.
If you want to piss off a clinical... eww, not a russian, but a post-soviet russian-speaking citizen of Russian Federation (with a little putin in his head), you may place a Stepan Bandera photo on your userpic and name youself as ukrainian nationalist.
If you want to piss off a real ukrainian nationalist, you may use a Stalin phono, or any other communist leaders.
From the point of sight of normal people, both of these sides is braindead. "A plague on both your houses".
rbonvall|8 years ago
t917910|8 years ago
two (Wikipedia): https://en.wikipedia.org/wiki/Stepan_Bandera
If you want to piss off a clinical... eww, not a russian, but a post-soviet russian-speaking citizen of Russian Federation (with a little putin in his head), you may place a Stepan Bandera photo on your userpic and name youself as ukrainian nationalist.
If you want to piss off a real ukrainian nationalist, you may use a Stalin phono, or any other communist leaders.
From the point of sight of normal people, both of these sides is braindead. "A plague on both your houses".