pathikrit
Joined 14 years ago
Joined 14 years ago
1. Can we reinvent notation and symbology? No superscripts or subscripts or greek letters and weird symbols? Just functions with input and output? Verifiable by type systems AND human readable
2. Also, make the symbology hyperlinked i.e. if it uses a theorem or axiom that's not on the paper - hyperlink to its proof and so on..
This would be amazing
Would be cool to have a color option too
After Tiananmen, the CCP planned many contingents next time something similar happened.
Cue, the [2019 Hong Kong Democracy Protests][1]. The MSS releases Covid19 at the peak of the protests (actually they do pick Wuhan so they can use lab leak as a plausibility if needed) in Sep 2019 and later they use the lockdown laws to completely clamp down the protests.
[1]: https://en.wikipedia.org/wiki/2019%E2%80%932020_Hong_Kong_pr...
That being said - some obvious stuff he could have done like grow a beard and shave it after and fly out of the country to somewhere cheap like Thailand with $10k
To get the last 3 characters, do `echo ${foo: -3}`. Are you trying to get the file extension though? What if the extension is not 3 characters e.g. `foo.jpeg`? You then want to do `${foo##*.}`