Posts

Showing posts from September, 2013

Kiểm duyệt

Thật thú vị khi một người luôn nhắc đến văn minh, văn hóa như ông Trần Ngọc Thịnh lại chọn giải pháp kém văn minh và thiếu văn hóa nhất: kiểm duyệt. Điều này cho thấy khó có thể gột rửa những góc tối tâm nhất, những định kiến nặng nề nhất trong tư duy của một con người, nhất là những thứ đã ăn sâu vào tiềm thức. Một nền giáo dục hiện đại và hướng đến tự do như Mỹ vẫn phải bó tay, có lẽ vì đã quá muộn. Kêu gọi thu hồi sách của Huyền cũng tương tự như là ủng hộ việc chính quyền chặn Facebook hay những trang web khác. Tại sao chính quyền muốn chặn Facebook? Vì trên đó có những thông tin "xấu", bọn con nít ranh không nên đọc. Vì sao thu hồi sách của Huyền? Vì trong đó có những thông tin "xấu", bọn con nít ranh không nên đọc. Y chang. Ai là con nít ranh? Ai? Tất cả người Việt Nam chứ ai. Già trẻ lớn bé, đều là con nít ranh, không đủ khả năng suy nghĩ nên phải nhờ ông Thịnh lựa sách cho đọc. Thử tưởng tượng giáo sư Ngô Bảo Châu quyết định mua sách của Huyền. Ông ấ

Thử nghiệm MathJax

Tôi mới tìm thấy một cách để viết công thức toán trên web: MathJax . Tôi thử nghiệm với Chrome trên Linux thì trông rất đẹp, không biết các trình duyệt khác thì thế nào. Cập nhật: có vẻ như không chạy được trên Chrome trên Android. Không biết các platform khác thì thế nào. Bạn nào rảnh thử nghiệm rồi báo lại giùm nhen. Bất đẳng thức Cauchy-Schwarz \[ \left( \sum_{k=1}^n a_k b_k \right)^2 \leq \left( \sum_{k=1}^n a_k^2 \right) \left( \sum_{k=1}^n b_k^2 \right) \] Định lý Fermat nhỏ phát biểu rằng \(a^p\equiv a \pmod p\) với mọi số nguyên \(a\). Đẳng thức tuyệt đẹp của Euler $latex e^{\pi i} + 1 = 0$.

Phải nâng giá gạo

Mùa hè vừa qua và có lẽ mùa thu sắp tới tôi phải "cày" hết sức cho một dự án quan trọng của nhóm. Có rất nhiều lý do khiến chúng tôi tập trung nhiều sức lực cho dự án này, nhưng hôm nay tôi chỉ muốn nói về một lý do: các sản phẩm có sẵn quá tệ. Anh trưởng nhóm nói, "We must raise the bar!". Nói như cách của dân Xóm Đẻ thì phải nâng giá gạo, phải cấm trẻ em ra đường phố! Hồi nhỏ tôi hay chơi đánh bài với bọn con nít Xóm Đẻ. Đánh bài tiến lên chỉ được 4 tụ thôi, mà nhiều lúc có tới 6-7 đứa. Cách giải quyết dễ nhất là nâng tiền lên, đứa nào không đủ tiền thì nghỉ chơi. Sau này đánh bi da cũng vậy. Mới đầu chơi nhỏ, sau đông quá thì nâng giá gạo, thằng nào ít tiền hoặc sợ thua thì nghỉ để thằng nhiều tiền và liều vô thế chỗ. Con nít không được ra đường chơi là vậy đó :-). "They suck. We can do better. Let's do it!". Đó là cách chúng tôi bắt đầu, rất ngạo nghễ, rất tự tin và cũng rất đúng tinh thần Làm-Được của người kỹ sư. -- Câu chuyện c

Phép chia dài

Image
Vì một số trục trặc trong việc xác nhận tài khoản với bên hosting nên tới giờ tôi vẫn chưa khôi phục lại được trang Tin Sáng. Đầu tuần tôi sẽ gọi điện để nói chuyện với họ xem có cách nào giải quyết nhanh được hay không. Cập nhật: Tin Sáng đã trở lại :-). Một hai tuần trước tôi có đố thế này trên Tin Sáng: chia 778990657124673576 cho 999489 với số phép tính ít nhất. Có rất nhiều câu trả lời thú vị và đây là đáp án của tôi. Tôi phải nghĩ về vấn đề này khi phải thiết kế một thư viện để làm các phép toán số học trên số nguyên lớn (thường gọi là Big Integer). Trong các phép toán số học này thì phép chia lấy số dư là quan trọng nhất (vì nó là phép tính được dùng nhiều nhất trong các thuật toán mã hóa). Để lập trình phép tính này, tôi tham khảo thuật toán Long Division mà Knuth mô tả trong chương 4, cuốn The Art of Computer Programming II. Nếu muốn chia 1736 cho 27, việc đầu tiên bạn cần làm là ước lượng chữ số thứ nhất của thương sao cho khi nhân nó với 20 thì nhỏ hơn 173. Bạn ước

Tự do và pháp luật

Hôm nay tôi tình cờ đọc được một bài viết rất hay của Trịnh Hữu Long : Trong bài viết “Đoan Trang – tuổi nhỏ nhưng sai lầm không nhỏ”, tác giả Đông La cho rằng: “...nhóm Đoan Trang đã sai và chống lại luật pháp Việt Nam, bởi Trương Duy Nhất, Phạm Viết Đào và Đinh Nhật Uy bị bắt vì phạm pháp chứ không phải vì họ ‘đã thực hiện quyền tự do biểu đạt bằng các đăng tải các bài viết ôn hoà lên blog của họ’”.  Đến đây chúng ta cần phải xem xét lại khái niệm “bị bắt vì phạm pháp”. Hồ Chí Minh đã từng bị bắt ít nhất hai lần vào năm 1931 ở Hồng Kông và năm 1942 ở Quảng Châu – Trung Quốc, đều với lý do “phạm pháp”. Các nhà lãnh đạo Lê Duẩn, Trường Chinh, Võ Văn Kiệt đều từng bị bắt và tống giam với lý do tương tự. Đông La không phải là người đầu tiên đưa ra luận điểm những blogger hay những sinh viên như Phương Uyên "bị bắt, bị xử tù là đáng vì họ vi phạm pháp luật". Một sự thật đáng buồn là có rất nhiều người trên mảnh đất hình chữ S đồng ý với quan điểm này. Họ không phải là quan

Trung thu

Image

Security engineer

Image

Thời gian chạy nhanh như bị chó rượt

Cuối tháng 9 này là tôi làm ở Google được hai năm rồi. Công việc ở đây không phải lúc nào cũng toàn màu hồng. Cũng có những lúc tôi thấy chán vì phải làm những dự án mà bắt tay vô rồi mới thấy không thích. Hay cũng có khi tôi thấy mệt vì nhiều việc dồn dập cùng một lúc, nhất là những lúc cuối quý, khi mà nhiều nhóm chuẩn bị ra sản phẩm mới cùng một lúc. Dẫu vậy có rất nhiều buổi sáng thức dậy tôi muốn đạp xe thật nhanh đến văn phòng, mở máy tính lên, bắt đầu làm việc ngay tức thì. Tôi không muốn phí phạm bất kỳ giây phút nào vì có quá nhiều vấn đề thú vị đang chờ đợi, mà nếu tôi không cố gắng hết sức thì sẽ không làm được. Tôi cũng từng có một giai đoạn như thế khi làm ở ngân hàng Đông Á. Hai ba năm đầu tiên ở đó là quãng thời gian học và làm việc say mê, quên ngày quên tháng, quên ăn quên ngủ. Tôi vẫn nhớ mãi những phiên làm việc bắt đầu lúc 8h đêm, mấy anh em cùng nhau chiến đấu cho đến 6-7h sáng hôm sau. Trong 6 tháng liền. Những lúc căng mình ra như thế, như bây giờ đây, làm ch

Tin Sáng

Chắc chỉ có vài người quan tâm nhưng tôi cũng muốn thông báo: do có trục trặc trong việc thanh toán tiền hosting nên Tin Sáng bị gián đoạn cho đến giữa tuần tới. Có người hỏi tôi là có phải do bị cấm đoán mà không tổ chức TetCon 2014. Ngoại trừ việc chính quyền cấm không cho anh Hoàng Ngọc Diêu làm diễn giả ở TetCon 2012, cho đến giờ không có bất kỳ ai gây phiền hà gì khác cho tôi cũng như những người đứng ra tổ chức TetCon. Năm nay tôi có nhiều việc cá nhân phải hoàn thành, nên ban đầu tôi tính là không tổ chức, nhưng sau đó mới nhớ ra có thể dời lại vào xuân - hè 2014 cũng được. Tôi chưa có lịch cụ thể, nên chưa thông báo được, nhưng tôi nghĩ tôi sẽ tổ chức vào tháng 3 hoặc tháng 6.

Không có TetCon 2014

Năm nay tôi có vài việc cá nhân cần phải hoàn thành vào quãng thời gian cuối năm 2013 và đầu năm 2014, nên không thể tổ chức TetCon như hai năm vừa rồi. Tôi có nghe nói một số anh em VNSECURITY có dự kiến tổ chức một hội thảo, nhưng không biết là bao giờ. Tôi nghĩ đó sẽ là một hội thảo tốt và thích hợp cho những ai thích TetCon.