The race of search engine between 2 giants has never been this fun. Bing is preparing for the new Bing with reinforced ChatGPT integration.
You can join their mailing list to get informed when it’s ready for testing.
Probably in 2023, they coin new terms like ChatGPT optimization, ChatGPT ads.. lol.
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
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
Chẹp, mất laptop nên giờ ảnh đi chơi còn cái nào quý cái đó 🙁
