Nếu có gì đó tất cả ai học toán đều thấy hiển nhiên mà một người với toán học không phải chuyên môn mình thấy hay nhầm lẫn thì có thể là
More +Nếu có gì đó tất cả ai học toán đều thấy hiển nhiên mà một người với toán học không phải chuyên môn mình thấy hay nhầm lẫn thì có thể là
More +Lười ko viết nên recap lại bài của bạn ở Đà Nẽng của tôi :))) Nguồn: người bạn giấu tên ở Đà Nẽng Chú xe ôm điềm đạm ngồi trước cổng trường
More +Dạo gần đây mình đọc được cuốn sách khá hay, tên là Four Thousand Weeks. Mặc dù title cuốn sách nói về quản lý thời gian, tuy nhiên nó không hẳn là
More +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 +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 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 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 +Mỗi term sẽ cố gắng giải thích trong 1 dòng và mình sẽ đánh giá tầm quan trọng của nó theo chủ kiến cá nhân (developing & updated) Compound Effect: 10/10, hiệu
More +Chẹp, mất laptop nên giờ ảnh đi chơi còn cái nào quý cái đó 🙁
More +Việc làm 9 to 5 nó quen thuộc tới mức cụm từ “9 to 5” giờ không chỉ có nghĩa là làm từ 9h sáng tới 5h chiều mà còn có nghĩa
More +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 +Tổng hợp các phim truyền cảm hứng với mình thôi. Mình là 1 fan của các ông lớn và những người đã làm được điều kỳ diệu hoặc đang hướng tới nó.
More +Oddly Normal: Mặc dù không biết bao lâu lại ra một số cơ mà đây là 1 trong những kênh podcast tiếng Việt mình rất thích vì độ “nhiều chữ” của nó
More +@todo: bao giờ rảnh viết vậy, cơ mà cuốn này khá thực tế và hữu ích. đây là sách mình đọc và highlight. để đây thi thoảng đọc lại. Ai lười đọc
More +Minihabits: https://www.youtube.com/watch?v=L8SehiX7Bjc một cách tốt xây dựng thói quen. đại khái là don’t push it too hard each day. có nhiều level cho một habit, có easy, medium, elite (well-done) cơ mà nếu hôm
More +note lại kẻo quên. thực ra nhiều cái ko phải ko biết cơ mà cứ phải trải nghiệm qua mới “thấm” để mà nhớ
More +