Learning Lean Prover

Today I start learning Lean Prover seriously. I’ll spend a couple of days to get familar with this language and join this very forum. Anyone has slightest interest in this language please

More +

My First ChatGPT use

I’m trying to test it in a normal way, ie. I’d use it unconsciously and pretend that it’s not something new. In other words, I’m not trying to try it but rather

More +

The New Bing

The race of search engine between 2 giants has never been this fun. Bing is preparing for the new Bing with reinforced ChatGPT integration. https://www.bing.com/new You can join their mailing list to

More +

ChatGPT & LeanProver

ChatGPT has been so hot latterly so I tried to search for some clue how good it is in formal math. Here’s a small topic in LeanProver forum if you’re interested in.

More +

So sánh Surface Pro vs Macbook

Câu chuyện muôn thưở :)) chủ đề này thì nhiều người viết rồi, từ Tây cho tới ta, so sánh chán rồi và còn làm bao nhiêu bài test nữa. Và họ

More +