Blog Khoa Học Máy Tính
Tầm nhìn ta thật ngắn mà đã thấy bao thứ để làm -- Alan Turing
2009-01-06T09:33:35Z
WordPress
Updated: 4 hours 1 min ago
Vài ấn tượng về mấy hội thảo KHMT ở VN năm nay (TQKhoat, Nguyễn Hùng Sơn)
Anh TQKhoat có gửi vài cảm nhận thú vị bên mục gỡ rối tơ lòng. Thiết nghĩ đây là một đề tài quan trọng, tôi copy lại dưới đây để các bạn đọc bình luận thêm.
Chào anh Hưng và các anh chị. Hôm nay cũng là một ngày rảnh nên em lên tâm sự với [...]
Categories: Interesting Blogs
Website lãnh sự quán Brazil ở NY
Tôi vừa ghé thăm website lãnh sự quán Brazil ở New York: http://en.brazilny.org/ (định xem thủ tục xin visa đi báo cáo cái này ở INFOCOM 2009). Trang đầu hỏi tiếng Anh hay tiếng Bồ. Click vào tiếng Anh thì thấy thông tiệp sau đây:
j0rge 0wn3d y3r s1t3
hey admin, you probably have a backup of [...]
Categories: Interesting Blogs
Tổn thọ
Tôi chở bà xã đi bão đêm 28. Lần đầu tiên trong đời đi bão và biết đến cụm từ “đi bão“.
Đi một chốc thấy mình đang ở giữa, bốn phương tám hướng đều có cờ và xe và các tiếng hét hò. Sau khoảng 15 phút kẹt cứng, chẳng hiểu thế nào lại chui [...]
Categories: Interesting Blogs
(Lại) machine learning và statistics
Có một bài blog gần đây khá thú vị so sánh về machine learning và statistics (của Brendan O’Connor). Những nhận xét về sự khác nhau về culture giữa hai cộng đồng nghiên cứu khá chính xác. Xem ở đây.
Tôi cũng có quan điểm khá rõ ràng về vị trí của hai chuyên ngành [...]
Categories: Interesting Blogs
Danh Ngôn
Đọc được mấy câu này từ EWD1036 hay quá:
1. The effort of using machines to mimic the human mind has always struck me as rather silly: I’d rather use them to mimic something better.
…
2. Do the universities provide for society the intellectual leadership it needs or only the training it asks for?
…
3. The subculture of [...]
Categories: Interesting Blogs
Bổ đề Sauer
Bài học máy qua góc nhìn của lý thuyết tính toán số 4 có chứng minh bổ đề Sauer (bổ đề 5.2) bằng quy nạp. Tuy nhiên, một chứng minh bằng quy nạp không hay lắm vì nó “giấu” trực quan của chứng minh. Trong bài này, chúng ta sẽ chứng minh bổ đề Sauer [...]
Categories: Interesting Blogs
Đại bàng con
Năm ngoái kỷ niệm CMT10 bằng Улыбка, năm nay kỷ niệm CMT10 bằng Орлёнок.
Орлёнок, орлёнок, взлети выше солнца
И степи с высот огляди.
Навеки умолкли весёлые хлопцы,
В живых я остался один.
Орлёнок, орлёнок, блесни опереньем,
Собою затми белый свет.
Не хочется думать о смерти, поверь мне,
В шестнадцать мальчишеских лет.
Орлёнок, орлёнок, гремучей гранатой
От сопки врагов отмело.
Меня называли орлёнком в отряде,
Враги называли [...]
Categories: Interesting Blogs
Tại sao Obama thắng?
Đối với dân máy tính thì câu trả lời đã rõ ràng qua cuộc phỏng vấn sau đây ở Google:
Categories: Interesting Blogs
Vượt định kiến bằng Lăng Ba Vi Bộ
Mục lục.
1. Hội xu ngửa
2. Từ ngữ dùng để phỉ báng, xưa và nay
3. Đập đầu vào tường mãi, một trong hai thứ sẽ vỡ
4. Đồng hồ nguyên tử ở bệnh viện phụ sản
5. Bọn cướp biển và hiện tượng ấm toàn cầu
6. Shakespeare và một triệu con khỉ
7. Khi những con giun đất hiển [...]
Categories: Interesting Blogs
Busy busy busy
Năm nay hơi tham, ở trong nhiều TPC quá. (Hình như năm sau cũng vậy.) Đành khất các bạn nhiều câu hỏi chưa trả lời kịp.
Tôi đọc các bài báo tồi nhiều đến nỗi muốn bệnh luôn.
Cái môi trường “nghiên cứu” trong đa phần các đại học trên thế giới hiện nay tạo incentives [...]
Categories: Interesting Blogs
Loại DoS Mới
Theo Tin
SEPTEMBER 30, 2008 | 2:45 PM — Things are a-brewin’ in Sweden. Sweden is not just home of the infamous bikini team, it is also the home of Outpost 24, an equally sexy software-as-a-service network scanning service, and the employer of my friend Robert E. Lee and his colleague Jack C. Louis. These guys are [...]
Categories: Interesting Blogs
Trắng trợn
Trang a còng có phải thuộc báo Người Lao Động, “tiếng nói của liên đoàn lao động TPHCM” không nhỉ?
Ai đó đăng lại bài của tôi ở trang a còng, không hỏi han gì hết.
Đây không phải là lần đầu tiên và chắc không phải lần cuối cùng tôi … được đạo văn.
Categories: Interesting Blogs
Định trị một đại lượng bằng hai cách [6]
Hôm qua một phần bài giảng lớp randomized algorithms đẫn đến chứng minh đẳng thức sau đây:
Có thể chứng minh đẳng thức này bằng cách viết lại vế trái thành
Sau đó, chú ý rằng , ta khai triển tiếp thành:
Đẳng thức cuối cùng có được là do . Có cách nào chứng mình đẳng thức [...]
Categories: Interesting Blogs

Recent comments
7 weeks 5 days ago
7 weeks 5 days ago
7 weeks 5 days ago
1 year 9 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago