Nhà vật lý đánh cược rằng lực hấp dẫn không thể bị lượng hóa
Đây là 1 bài viết khá hay hôm qua trên QuantaMagazine, 1 tạp chí mình cũng khá hay theo dõi. Đây là vài takeaways:
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.
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,
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.
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
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
