coherent_domain

Sorry but what does "highest use of our military" even mean?! Are they pretending to be stupid to gain attention, or are they really not able to speak their own language.

w

I am a Chinese guy, I do have thin eyes (they are not terribly wide either), I eat a lot of rice and msg, I played instrument when I was a kid.

Tell me a Chinese stereotype and I will tell if I fit.

(no need to Twist), Lick, and Dunk.

#NoNutNovemberGoneWild

I haven't used or read about PHP after college, and I am quite interesred in what are the good stuffs that you like now.

It is cool to see how languages evolve.

Years of training, finally become useful.

Comprehension is functional programming too, they arise from list monad https://www.schoolofhaskell.com/school/starting-with-haskell/basics-of-haskell/13-the-list-monad And Haskell do notation indeed reads top-down, unlike Python, but I find both quite readable.

The name "bool expression" is rather unfortunate, since it is usually reserved for "an expression of type Bool". What is discribed here is really propositions, i.e. "Prop".

Prop is fundamentally different from Bool in Lean and all the language I know. For lean in particular, Prop is defined as a complete lattice, yet Bool is only inhabited by True and False (ignoring incomputable etc). More intuitively, Bool require all the true (or false) statements to be collapsed into a single value true (or false); yet for Prop, provable statements are not necessarily equal to each other.

But I really enjoyed the analogy between expressions that returns bool in other languages and leans prop, seem like a great starting point for people.

Linus have stated multiple times that he does not break user space, thus this quiet clearly cannot be real.

I heard in many large companies, they would create short artificial downtime for internal services, so that user-facing system never rely on a single internal system for resources and data. This prevents large downtime in user facing system when any internal service is down for a large amount of time.

I think a great use of interns is to make these downtime more organic.