311 karma · joined August 1, 2012
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##*.}`
[1]: https://en.wikipedia.org/wiki/Mercedes-Benz_W125_Rekordwagen
Let C<A> be a higher-kinded type e.g. in List<Animal>, List is C and Animal is A.
Let S be a subtype of T e.g. in class Cat extends Animal, Cat is S and Animal is T
If C<S> is a subtype of C<T>, then C is covaraint on T e.g. List<Cat> is a subtype of List<Animal>
If C<T> is a subtype of C<S>, then C is contravariant on T e.g. Predicate<Animal> is a subtype of Predicate<Cat>
If neither C<T> and nor C<S> are subtypes of the other, thenC is invariant on T
Some buffalo jumps were used for thousands of years and had CRUSHED BONES from millions of animals falling over compressed into walls tens of feet high.
1. Yes, it is O(n!) - it says so in the description but not on the title of the post on HN.
2. It is 4 lines of code for `nQueen` function. I did not include the printing code in the line count.
3. And no, I did not cheat by using semicolons in same lines - these are 4 legit lines IMO. You can put the `&` clause in 1 line to reduce it further.
Here's a Java article describing its internals: http://www.javaadvent.com/2015/12/reactive-file-system-monit...