Latest from Blog
Today I start learning Lean Prover seriously. I’ll spend a couple of days to get familar
I’m trying to test it in a normal way, ie. I’d use it unconsciously and pretend
The race of search engine between 2 giants has never been this fun. Bing is preparing
ChatGPT has been so hot latterly so I tried to search for some clue how good
Mỗi term sẽ cố gắng giải thích trong 1 dòng và mình sẽ đánh giá tầm