Assuming China has spent 50 years already on jet engines, yeah. All these article just write off China.

Rote learning, no democracy. Proper jet engines WILL come out of China soon. lol. Just watch this space.

xiaodai

·w zeszłym miesiącu·discuss

so basically dockers

xiaodai

·2 miesiące temu·discuss

should this article be renamed "How to count your chickens before the eggs even hatch?"

xiaodai

·2 miesiące temu·discuss

What a beautifully written article. It's extremely that I favourite an article but this is one.

xiaodai

·5 miesięcy temu·discuss

i am a mathematician wanna-be. I have an undergrad honours degree in maths. As a retirement or pre-retirement project, I want to learn LEAN and contribute to it either via development or via developing the Mathlib or both!

Pointers welcome. As long as they are not null. Btw, I am also interested in compilers.

xiaodai

·6 miesięcy temu·discuss

we have a tendency to look thousands of years in the past for wisdom. weird.

xiaodai

·5 lat temu·discuss

upwork should borne the losses