Mấy ngày đi với Thảo và 2 bạn này vui quá. Lần đầu tiên mình dẫn tour cho ai đó chưa biết về Việt Nam tìm hiểu về Việt Nam. Cảm giác chính mình cũng biết nhiều hơn về Việt Nam vậy
Lần này đi Ninh Bình khác lần trước vì đông người hơn và đi Tràng An cái route này có vẻ đẹp hơn, lại còn qua cái đảo Kong nữa
Thấy các bạn rất vui mình cũng rất vui ^^
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
