Những toilet không cửa hay là tại sao phải biết thiết kế

Tôi rất thích đoạn phim này. Có lẽ là do tôi đồng cảm với nhân vật. Không hẳn là tôi bị hội chứng sợ dơ, nhưng tôi rất ngán các nhà vệ sinh có cửa nắm thế này và hơn một lần tôi cũng đứng chờ có người mở cửa vào để đi ra mà không phải chạm tay :-).

Tôi bắt đầu chú ý đến thiết kế của các toilet công cộng từ cách đây vài năm. Tôi thấy thiết kế toilet không phải chuyện đơn giản. Có rất nhiều vấn đề, đôi khi rất nhỏ thôi, mà nếu làm không tốt sẽ có thể gây ảnh hưởng đến sức khỏe của nhiều người.

Đọc tiếp »

Chủ đề Chưa phân loại | Tagged | 2 phản hồi »

Tây tiến cùng Hiến pháp

Lấy cảm hứng từ Tây tiến:

Tây tiến cùng Hiến pháp

Hiến pháp đâu rồi Tây tiến ơi!
Nói về chính trị nói khơi khơi
Điều 4, đất đai hai tử huyệt
Lập hành tư pháp rối bời bời
Chủ nghĩa xã hội dốc thăm thẳm
Heo hút cồn mây chết bao đời
Nghị quyết lên cao nghị quyết xuống
Bầy sâu tham lam tít mù khơi
Ông tổng giãi lòng không kỷ luật
Gục trên bục gỗ mắt lưng tròng!
Oan khiên Tiên Lãng trời gầm thét
Chuyện “Bên thắng cuộc” chấn lòng người
Nhớ đồng chí X bị hun khói
“Tôi có làm sao Ðảng hiểu tôi!”

Ðất nước bừng lên chuyện sửa sang
Kìa em hiến pháp tự bao giờ
Khèn lên man dại tình giai cấp
Dân chủ pháp quyền ai hay mơ
Người vào Bô xít chiều sương ấy
Có thấy bẩy hai cụ trên hình
Có nhớ ký vào trang kiến nghị
Trôi dòng thác lũ hoa đong đưa

Tây tiến toàn dân muốn tự do
Biển Ðông xanh thẳm lắm sóng ngầm
Quân đội nhất định vì Dân tộc
Cho đảng suy thoái trong hòa bình
Các trí thức cùng viết Hiến pháp
Bloggers, facebooks thổi lửa xanh
Ðắc Kiên dõng dạc đòi dân chủ
Nhân sĩ gầm lên khúc độc hành

Tây tiến người đi không hẹn ước
Ðường lên thăm thẳm một chia phôi
Ai tìm Hiến pháp mùa xuân ấy
Hồn về Dân Nước chớ buông xuôi

CHI 6/3/2013
N.X.L.

Chép lại bài thơ Tây Tiến nổi tiếng của cụ Quang Dũng về một giai đoạn hào hùng của dân tộc:

Đọc tiếp »

Chủ đề Thơ | Phản hồi »

All the lonely people/ where do they all come from

Nhân đọc Nguyễn Đắc Kiên.
Phiên bản Ray Charles của Eleanor Rigby (the Beatles).

Chủ đề Âm Nhạc | Tagged | Phản hồi »

Thơ Nguyễn Đắc Kiên

Thấy bài này thơ này bên nhà Hoà Thượng hay quá

(Thơ Nguyễn Đắc Kiên)

tôi chưa thấy một đêm nào dài thế,
bốn ngàn năm, giờ lại ngót trăm năm.
hết phong kiến độc tài, đến lũ bạch tuộc thực dân,
hết quân, hết vương, đến lũ tượng thần chủ nghĩa.

bao thế hệ siết rên trong gọng kềm nô lệ.
chuyên chế dã man đục rỗng chí con người.
cha tôi, ông tôi, bao thế hệ ngủ vùi.
tôi chưa thấy một đêm nào dài thế.

không ánh mặt trời, bóng tối chí tôn,
lũ quỷ ám thừa cơ toàn trị,
khủng bố dã man, reo rắc những kinh hoàng,
biến lẽ sống thành châm ngôn “mày phải sợ”.

mày phải sợ mày ơi mày phải sợ,
sợ nữa đi có sợ mãi được không,
cốt tủy mục rỗng rồi trí óc cũng tối đen,
mày lại đẻ ra lũ cháu con “biết sợ”.

bao thế hệ đã ngậm ngùi mắc nợ,
lũ chúng ta lẽ nào lại mắc nợ mai sau,
còn chần chừ gì mà không tỉnh dậy mau,
sống cho xứng danh xưng con người trên mặt đất.

tôi chưa thấy một đêm nào dài thế,
cũng chưa thấy có ngày mai nào không thể.
vì người ta cần ánh mặt trời,
tỉnh dậy đi lũ chúng ta ơi!

hà nội, 25.2.2012

Đọc tiếp »

Chủ đề Lịch sử Việt Nam, Tin tức đó đây | Tagged | 21 phản hồi »

Bốn thế giới ảo và một thế giới thực…

Bốn thế giới ảo và một thế giới thực…
(Từ “P=NP” đến Mật mã hóa khóa công khai)

Gần 20 năm trước, Russell Impagliazzo đưa ra định nghĩa rất thú vị về 5 thế giới khác nhau (cseweb.ucsd.edu/~russell/average.ps). Chúng ta sống ở một trong 5 thế giới đó, nhưng không biết chắc mình sống trong thế giới nào. Gần 20 năm trôi qua, vẫn chưa có thế giới nào chia tay chúng ta. Hiện vẫn đang có 5 thế giới quanh ta, và ta không biết là mình đang ở đâu.

Đến một ngày, nếu có anh hùng nào may mắn chứng minh chúng ta đang thực sự sống ở đâu, thì cũng là ngày tận thế của 4 thế giới ảo còn lại, điều đó thật buồn và những người còn lại thật kém may… Chẳng hạn một chứng minh P=NP sẽ là ngày tận thế của 4 thế giới. Tuy nhiên, ta sẽ thấy rằng, một chứng minh P khác NP thì chỉ làm 1 thế giới suy tàn và vẫn còn lại 4 thế giới lung linh :) Vì vậy, nếu Bụt hiện xuống và cho chọn giữa “ P=NP” hay “P khác NP” thì mình sẽ chọn “P khác NP” ^_^

Impagliazzo minh họa 5 thế giới một cách rất xuất sắc để ai cũng hiểu được, thông qua câu chuyện tưởng tượng giữa thầy giáo Grouse và cậu học trò Gauss. Cậu trò Gauss thông minh nổi tiếng, trên lớp thầy giao bài nào cũng giải ngon ơ rồi rỗi rãi chọc phá các bạn làm thầy giáo rất là cay cú. Ông thầy Grouse quyết tâm tìm những bài toán siêu khó để nhằm mục đích làm cho Gauss bớt kiêu.

Và từ đó hình thành 5 thế giới theo định nghĩa của Impagliazzo:

Đọc tiếp »

Chủ đề Chưa phân loại | 2 phản hồi »

Kích thước tối đa của mảng 1 chiều dùng C/C++

Bạn Hoang Nguyen có câu hỏi thú vị:

em đã làm quen với lập trình vài năm gần đây nhưng chưa khi nào phải xử lý dữ liệu với kích thước lớn đến hàng triệu. Em muốn hỏi là có cách nào để tăng kích thước lưu trữ của mảng một chiều không? Em thử trong free-Pascal thì thấy mặc dù có thể khai báo kích thước mảng lên đến hàng trăm triệu nhưng khi chạy chương trình thì lại báo lỗi. Trong C/C++ thì em thấy chỉ khai báo kích thước tối đa của mảng là 500.000. Thanks mọi người.

Kích thước của mảng tuỳ vào vài yếu tố, quan trọng nhất là cấu hình máy (32 bits hay 64 bits), kích thước bộ nhớ/ổ cứng, và … tuỳ theo bạn lập trình thế nào nữa. Tại vì, nếu bạn khai báo mảng tĩnh dùng cú pháp int a[SIZE]; thì mảng a được đặt ở trên stack, và do đó nó bị giới hạn bởi kích thước tối đa của stack, thường mặc định là nhỏ; tuy nhiên bạn có thể tăng kích thước nó lên.

Lấy ví dụ, chương trình sau chạy sẽ bị lỗi segmentation fault

#include <iostream>
using namespace std;

#define S 5000000

int main() {
    int a[S];
    for (size_t i=0; i<S; i++) 
        a[i] = i;
}

Tại vì kích thước mảng này to hơn kích thước stack mặc định. Nhưng chương trình sau không bị lỗi vì cái heap chứa đủ (5 triệu) nhân 4 = 20 triệu bytes.

#include <iostream>
using namespace std;

#define S 5000000

int main() {
    int* a = new int[S];
    for (size_t i=0; i<S; i++)
        a[i] = i;
}
Chủ đề C++ | Tagged , , | 2 phản hồi »

I miss my Valentine’s Day

Xin giới thiệu đến quý khán giả một bài hát cho ngày lễ Tình Nhân. Chúc mọi người hạnh phúc và… ngủ ngon :-).
I miss my Valentine’s Day

Chủ đề Âm Nhạc, Vui - Giải Trí | 1 phản hồi »

Tập làm bánh chưng (và nghĩ về Hiến pháp)

Picture 2

Ngày hai ba tháng chạp. Tập tọe gói bánh chưng. Và nghĩ về Hiến pháp.

Giải thích cho con: Chiếc bánh chưng. Từ thuở vua Hùng. Tích Lang Liêu. Chuyện đất trời người Việt. Chiếc bánh xanh. Lung linh ảnh hình. Của nước mình rất xa. Nhạt nhòa. Giữa tuyết trời xứ người tím ngát.

Cứ hàng năm màu xanh bánh chưng này. Làm tôi bồi hồi về một thời đói khát. Nhưng nó cũng mang cho tôi một vài niềm vui và hy vọng. Có lẽ vì cái màu xanh thắm giữa tiết trời lạnh lẽo ấy. Có nếp trắng tinh khôi với ba chỉ, đậu xanh. Kết keo âm ỉ. Rộn lòng người bên bếp lửa hồng ấm áp …

Còn Hiến pháp?
Nó là thứ mà họ lại hô hào góp ý, sửa sang.
Cứ như thể đến ngày tàn cuối năm
Ta lại được lôi vài thứ ra lau chùi đánh bóng
Vôi ve một tí mái hiên, cánh cổng
Chờ đón tất niên.
Dẫu nó cho ta một cảm giác mới mẻ một cách tạm thời
Tôi sợ mọi chuyện sẽ lại xảy ra như kỳ tắm rửa vừa rồi.

Nghĩ rằng rồi sẽ chẳng có thay đổi thực sự gì cả
Hiến pháp chỉ có thể thay, khi trong xã hội hình thành những tầng lớp có thế lực.
Họ có một nhu cầu đổi thay thành thực:
Để giành chính danh, chính nghĩa, cả những lợi quyền.
Và họ phải đủ sức mạnh để làm nên thay đổi.
(Không phải ngẫu nhiên những thay đổi hiến pháp bản chất nhất
Chỉ có được khi một đất nước giành độc lập
Khi những người đặt bút viết nên hiến pháp
Họ nghĩ trước tiên đến quyền lợi của Dân rồi mới tới bản thân mình).

Dẫu thế nào, tôi vẫn mong một ngày đất nước này sẽ lại hồi sinh
Còn những kẻ có tâm có quyền có chức
Cắn miếng bánh chưng xanh ngày xuân
sẽ thử nghĩ một lần về gốc
Của dân tộc
Đất nước này
Của sự tích bánh chưng bánh giầy:

Vào thời dựng nước cách đây mấy nghìn năm, Hùng Vương thứ 6 trị vì nước Việt. Một ngày nọ vua cha thấy mình đã già, cần người khôn ngoan nối dõi cai trị đất nước tốt đẹp. Sau khi đã sát hạch các hoàng tử về văn tài cũng như võ công, nhà vua rất đẹp lòng về tài nghệ song toàn của các hoàng tử nhưng còn phân vân chưa biết chọn ai. Một ngày nọ vua cha cho vời các con đến và bảo rằng: “Ai trong các con có thể nấu món ăn nào ngon nhất, kẻ ấy sẽ được ta truyền ngôi cho”.

Bảo bối của Lang Liêu, xin nghi lại đây cho rõ:

Dưới Trời và trên Đất không có gì quí hơn hạt gạo mọc khắp đồng ruộng đất nước. Không cần phải sục sạo rừng rú hay biển sâu để tìm. Vậy con hãy chọn loại gạo tốt nhất, đó là thứ gạo nếp trên cánh đồng nhà, lấy thêm đậu xanh trong vườn nhà hay mua của vườn nhà hàng xóm, rất dễ gặt hái, sau đó mua thịt lợn nơi trại nuôi lợn trong làng và năm thứ gia vị ở sau vườn. Hãy vút gạo cho kỹ, đãi đỗ xanh sạch vỏ, gia vị tiêu hành muối nước mắm cho thịt heo, hái lá chuối hay lá dong sau vườn, rửa sạch và chẻ tre làm dây buộc. Cho gạo cùng thịt trên lá, lớp gạo bên dưới, đậu xanh và thịt heo ở giữa hai lớp gạo, gói lại thành hình vuông, biểu tượng của Đất, rồi gói đòn dài hình tròn, biểu tượng của Trời, lấy lạt buộc kỹ, sau đó bỏ vào nồi nước sôi, luộc chúng một đêm rồi lấy ra để ráo nước. Con sẽ thấy phép mầu hiện ra”.

Được cái,
Bây giờ đun bếp ga
Cũng khỏe hơn nhiều cái thời canh bếp than bếp củi….

A2, 3/2/2013

Chủ đề Thơ | 7 phản hồi »

Thuật toán Yannakakis

Bài trước nói về độ phức tạp của bài toán định trị truy vấn hội, trong đó ta thảo luận tầm quan trọng của việc phân biệt độ phức tạp biểu thức và độ phức tạp dữ liệu của một truy vấn. Một cách vắn tắt, nếu ta cố định kích thước của CSDL và xem bản thân truy vấn là input của bài toán thì độ phức tạp của bài toán định trị phép truy vấn hội được tính theo độ phức tạp biểu thức. Khi đó, từ bài báo kinh điển của Chandra và Merlin từ năm 1977 ta đã biết rằng bài toán định trị truy vấn hội là bài toán NP-khó. Còn nếu ta xem bản thân truy vấn là cố định còn CSDL là input thì ta đang xét độ phức tạp dữ liệu của bài toán. Độ phức tạp dữ liệu là số đo độ phức tạp “tốt” hơn một chút vì trên thực tế các CSDL có kích thước lớn hơn các phép truy vấn nhiều. Vardi đã chứng minh rằng bài toán {\mathsf{BCQ}} nằm trong lớp {\mathsf{LOGSPACE}} tính theo độ phức tạp dữ liệu; nghĩa là bài toán rất dễ. Rất tiếc rằng độ phức tạp dữ liệu vẫn chưa phải là số đo độ phức tạp tốt nhất vì thời gian chạy của thuật toán có thể là, ví dụ, {|\mathcal A|^{|q|}}, trong đó {\mathcal A} là CSDL còn {q} là truy vấn. Cuối cùng, hiện nay người ta dùng độ phức tạp tham số (parameterized complexity) của các truy vấn làm cái khung phân tích thuật toán định trị truy vấn. Papadimitrious và Yannakakis đã chứng minh rằng bài toán {\mathsf{BCQ}} là bài toán {\mathsf W[1]}-đầy đủ, và do đó rất khó có khả năng tồn tại thuật toán cho bài {\mathsf{BCQ}} với thời gian chạy là {O(f(|q|) \cdot |\mathcal A|^c)}, trong đó {f} là một hàm tính được và {c} là một hằng số. Nếu tồn tại thuật toán như vậy thì {\mathsf W[1] = \mathsf{FPT}}, và từ đó suy ra giả thiết thời gian mũ (Exponential Time Hypothesis) sẽ bị sai.

Trong bài này, ta xét hai lớp con quan trọng của các truy vấn hội:

  • lớp các truy vấn hội phi chu trình (acyclic conjunctive queries)
  • lớp các truy vấn hội có độ rộng cây bị chặn (bounded tree-width queries)

Ta sẽ chứng minh rằng cả hai lớp truy vấn này đều có thể định trị được trong thời gian đa thức. Để định nghĩa thế nào là truy vấn hội phi chu trình và truy vấn hội có độ rộng cây bị chặn thì ta cần đến khái niệm siêu đồ thị của truy vấn hội.

Đọc tiếp »

Chủ đề Cơ sở dữ liệu, Thuật Toán | Tagged , , , , | 1 phản hồi »

Mật mã trong bầu cử điện tử

Đây là bản nháp cho bài viết theo lời mời của báo Tia Sáng cho số báo Tết. Rất mong nhận được ý kiến đóng góp của các bạn để mình có thể chỉnh sửa bài viết tốt hơn. Mình phải gửi bài trước 20/1. Sau bài tổng quan về mật mã khóa công khai cũng đăng trên Tia Sáng trong số kỷ niệm 20 năm (tại đây và ở phiên bản đầy đủ hơn ở đây ), bài này giới thiệu một ứng dụng cụ thể của lý thuyết mật mã.

Cập nhật (09/1): Sửa một số phần theo góp ý của bạn HNTung; giải thích thêm phần chống bán phiếu bầu với chứng minh tương tác; bổ sung phần “Tài liệu tham khảo”; bổ sung mục “Ngoài lề” với ví dụ về một hệ mã xác suất khóa công khai và có tính chất đồng cấu (hệ mã Paillier).

——————–

Một sự vận hành các hệ thống bầu cử tốt là một điều kiện cần tất yếu của một chế độ dân chủ. Tuy nhiên, hiện tại các hệ thống bầu cử đều chưa đạt được đồng thời hai yêu cầu cần thiết sau đây của một hệ thống bầu cử dân chủ:

–       Tính kiểm tra được: việc kiểm phiếu được kiểm tra một cách công khai và mỗi cử tri đều có thể kiểm tra chắc chắn rằng lá phiếu của mình đã được tính.

–       Tính tự do trong lựa chọn: mỗi cử tri đều được đảm bảo tuyệt đối quyền lựa chọn lá phiếu của mình, không bị ai ép buộc và cũng không thể bán phiếu bầu của mình cho bất cứ bên nào.

Trong một số cuộc bầu cử, để đảm bảo yêu cầu thứ nhất thì người ta công khai danh sách ai đã bầu cho ai, và vì thế việc kiểm phiếu là hoàn toàn công khai và ai cũng có thể kiểm tra phiếu bầu của mình đã được tính. Tuy nhiên, điều đó lại không đảm bảo quyền hoàn toàn tự do lựa chọn của cử tri: người bầu có thể bị khống chế buộc phải bầu cho một ứng cử viên; hoặc người bầu có thể bán lá phiếu của mình vì chứng minh được cho người mua thấy mình đã bầu cho ai.

Để tránh những hạn chế của việc cử tri bị khống chế hoặc việc mua bán phiếu bầu, hầu hết các cuộc bầu cử chọn việc đảm bảo yêu cầu thứ hai bằng cách ẩn danh lá phiều bầu: cử tri đến trung tâm bầu cử, được phát một lá phiếu bầu, chọn ứng cử phiên và cho lá phiếu ẩn danh vào thùng phiếu. Cử tri do vậy hoàn toàn tự do lựa chọn và bản thân họ khi ra khỏi phòng bỏ phiếu cũng không thể chứng minh là mình đã bỏ cho ai và do vậy cũng không bán được phiếu bầu. Cách làm này tuy vậy lại không thể đảm bảo yêu cầu thứ nhất: một khi lá phiếu đã cho vào hòm phiếu, cử tri buộc phải đặt tin tưởng vào người kiểm phiếu và không có cách nào chắc chắn được liệu lá phiếu của mình sẽ được tính và cũng không thể kiểm tra liệu lá phiếu của mình có bị thay đổi. Việc buộc phải đặt sự tin tưởng tuyệt đối vào người kiểm phiếu đã đem đến những sai sót ở những mức độ lớn nhất: năm 2000, hơn 50000 phiếu ở quận Brown bị bỏ sót và việc Bush thắng AlGore ở Florida với 537 phiếu chênh lệch (và dẫn tới thắng cuộc bầu cử tổng thống)  đã gây ra những cuộc tranh luận nảy lửa ; mới đây năm 2012, trong cuộc bầu chủ tịch đảng cộng hòa Pháp, Jean-François Copé được tuyên bố thắng cử với chênh lệch sít sao so với François Fillon nhưng cuối cùng trưởng ban kiểm phiếu đã phải thừa nhận có đến hơn 300 phiếu của một số vùng bị bỏ sót mà nếu tính những phiếu này thì kết quả bị đảo ngược và François Fillon lại vượt hơn 26 phiếu.

Đọc tiếp »

Chủ đề Bảo mật và mật mã học | 4 phản hồi »

Một blog hay về thống kê và học máy

Giới thiệu với các bạn blog của Larry Wasserman. Với tôi đây là blog thú vị nhất về chuyên ngành này ở thời điểm hiện tại.

Wasserman là GS khoa Thống kê và khoa Học máy ở Carnegie Mellon University, có viết một số sách giáo khoa rất được ưa chuộng về thống kê (với những tên rất kêu: “All of Statistics”, “All of Nonparametrics”). Là một trong số ít các nhà thống kê hàng đầu tạo được dấu ấn trong cả hai cộng đồng làm về thống kê và học máy; cũng là một trong số ít người có những đóng góp giá trị trong cả thống kê Bayes và thống kê tần suất…. Một trong những nhà thống kê mà tôi yêu thích.

Chủ đề Chưa phân loại | Phản hồi »

Sách Bên Thắng Cuộc của Huy Đức

Vừa đọc xong Bên thắng cuộc, cuốn một, của nhà báo Huy Đức. Mấy ngày mùa đông cuối năm, còn bao nhiêu việc phải làm, báo phải review, bài phải nộp, thư phải viết. Nhưng không thể nào dứt ra được gần nghìn trang sách đầy ắp những dữ kiện, những thông tin mới và quen, những hồi ức Việt Nam chung và riêng, mà tôi tin hàng triệu người Việt đã mong đợi từ rất lâu. Có vài suy nghĩ không đầy đủ chép lại đây.

Đầu tiên là tựa đề “Bên thắng cuộc”. Thắng cuộc ở đây là thắng một cuộc binh đao huynh đệ tương tàn kết thúc vào ngày 30/4/1975. Thường thì câu chuyện hiển nhiên được viết bởi bên thắng cuộc, với một “chân lý” đã được đoán định sẵn. Nhưng nói theo Bertrand Russell, “War does not determine who is right — only who is left” (Chiến tranh không phân định được đúng sai, nó chỉ quyết định những ai còn sót lại). Cuốn sách là câu chuyện của những người còn lại từ cả hai phía của cuộc chiến, với nguồn tư liệu lấy từ ngay trong lòng bên thắng cuộc.

Tư liệu không phải là thông tin mật rút từ kho lưu trữ của CIA hay KGB hay Hoa Nam TB cục gì cả. Một số lượng lớn là tin chính thống, từ báo chí của chế độ (Sài Gòn Giải Phóng, Nhân Dân, v.v.), cùng với hồi ký, hồi tưởng của các tướng lĩnh, cán bộ cao cấp của nhà nước. Rất ấn tượng là nguồn thông tin lấy từ hàng ngàn cuộc phỏng vấn của chính tác giả, một nhà báo kỳ cựu, với các nhân chứng lịch sử, từ những lãnh đạo cao nhất, cho đến các thường dân. Huy Đức đã dày công, âm thầm thu thập những tư liệu quý giá này trong suốt mấy chục năm qua.

Đọc tiếp »

Chủ đề Giới thiệu sách | 14 phản hồi »

Code này làm gì?

Tham số đầu vào là một chuỗi ASCII 8-bit.

push ebp
mov ebp, esp
push ebx
mov ebx, [ebp + 8]
mov eax, ebx
_loop:
mov edx, [eax]
add eax, 4
lea ecx, [edx - 01010101h]
not edx
and ecx, edx
test ecx, 80808080h
jz _loop
test ecx, 8080h
jnz _label
shr ecx, 10h
add eax, 2
_label:
add cl, cl
sbb eax, 3
sub eax, ebx
pop ebx
leave
ret

Code ban đầu rất gọn (tìm thấy trong một mẫu virút), tôi sửa lại (và làm cho nó xấu đi) để có thể biên dịch với NASM. Câu hỏi phụ: tại sao lại viết như thế này mà không viết kiểu bình thường?

Chủ đề Chưa phân loại | 4 phản hồi »

Bún măng vịt chợ Cũ

Bữa rồi đi siêu thị, tui thấy có bán vịt đông lạnh. Thế là tui hào hứng quá, khệ nệ rinh về nhà 2 con. Chắc bà con thắc mắc: “Vịt thôi mà, có gì đâu mà hào hứng ghê dữ vậy?” Xin thưa là ở bên cái đất nước ngạo mạn này, tui hiếm khi thấy vịt bán trong siêu thị. Gà thì thôi ê hề, nhìn phát ngán, trong khi vịt năm thì mười họa mới thấy góp vui. Tui thì lại khoái ăn vịt, vì vịt có thể nấu thành nhiều món khoái khẩu của tui. Chợ người châu Á thì hay có bán vịt, cũng đông lạnh chứ không được tươi rói như ở nhà đâu, nhưng nhà tui xa chợ, mỗi lần đi phải lái xe cả tiếng đồng hồ. Bởi vậy mà khi thấy một bầy vịt đông lạnh trong siêu thị, tui mới hào hứng, rồi lùa về nhà luôn 2 con cho bõ ghét.

Đem vịt về, chưa kịp nấu gì, còn đang vứt trong tủ lạnh, thì tối hôm đó tui đã nằm mơ. Sáng ra nước dãi tui chảy đầy một bên má, chèm nhẹp thấy ớn. Tại vì tui nằm mơ thấy được đi ăn bún măng vịt ở chợ Cũ. Bún măng vịt này không bán trong quán, không bán trong sạp, mà chỉ là một gánh, đặt ở lề đường, ngay đầu mặt chợ đường Hàm Nghi. Theo nhận định của trợ lý ẩm thực cho tui, tức là cái miệng của tui, thì bún măng vịt của cái gánh này ngon nhứt thiên hạ. Ngon nhì thiên hạ dĩ nhiên là bún măng vịt được vợ tui nấu cho ăn rồi, và mặc dù có muốn nịnh vợ đến đâu đi chăng nữa, tui cũng không thể đưa bún măng vịt bả nấu lên ngôi thứ nhất để “dìm hàng” bún măng vịt chợ Cũ xuống vị trí thứ hai được.

Đọc tiếp »

Chủ đề Chưa phân loại | 6 phản hồi »

Hai tham luận “nặng ký” tại TetCon 2013

CFP của TetCon 2013 đã đi được nửa chặng đường. Tổng kết lại thì có một tin vui và một tin buồn.

Tin buồn là số lượng bài mà chúng tôi nhận được từ cộng đồng trong nước ít và chất lượng chưa cao. Đây không phải là một tin quá ngạc nhiên, bởi số lượng người làm an toàn thông tin ở Việt Nam vẫn rất ít. Chúng ta có Hiệp hội ATTT, nhưng trong đó có nhiều CISO hơn là chuyên gia kỹ thuật lành nghề. Chúng ta có giải thưởng ATTT hàng năm, nhưng giải này trao cho các CISO, chứ không phải dành cho các hacker. Đây cũng là tình trạng chung của ngành công nghệ thông tin ở Việt Nam: quá nhiều nhà quản lý và quá ít kỹ sư giỏi.

Một điểm mới trong hội thảo năm nay là sẽ có một số diễn giả người nước ngoài, trình bày bằng tiếng Anh -1-. Việc mở rộng TetCon cho các diễn giả nước ngoài vừa giúp giải quyết vấn đề thiếu bài, vừa đem đến cho TetCon những cập nhật mới nhất trong ngành an toàn thông tin trên thế giới. Dẫu vậy nếu “quốc tế hóa” TetCon quá sớm và quá nhanh, chúng tôi e rằng cộng đồng trong nước sẽ không theo kịp, dẫn dẫn đến tình trạng diễn giả nước ngoài nói những vấn đề mà người nghe không hiểu hoặc không quan tâm. Do đó chúng tôi vẫn ưu tiên cho các diễn giả người Việt với các đề tài thiết thực, gần gũi với cộng đồng trong nước. Với diễn giả nước ngoài chúng tôi hoặc là mời trực tiếp, không thông qua CFP; hoặc là “chọn mặt gửi CFP” – chỉ gửi CFP đến một nhóm nhỏ chọn lọc.

Tin vui là chúng tôi nhận được một số bài chất lượng cao từ nhóm diễn giả này, trong đó nổi bật là bài của Eduardo Vela và Bruce Dang đến từ Google và Microsoft.

Bruce Dang là lãnh đạo đội “penetration testing” tại Microsoft, chịu trách nhiệm về sự an toàn của tất cả những sản phẩm phần mềm và phần cứng mới. Trong những năm qua, anh ấy đã trình bày về kỹ thuật phân tích mã khai thác lỗi trong Microsoft Officedịch ngược mã nhân hệ điều hành và nghiên cứu về virút máy tính Stuxnet. Chuyên môn của anh là về nhân Windows và dịch ngược mã. Tại TetCon 2013, Bruce sẽ trình bày về những kỹ thuật chống khai thác lỗi (exploit mitigations) trên Windows 8. Đây là một đề tài chuyên sâu, dành cho những ai thích dịch ngược mã và khai thác lỗi. Điều thú vị là anh Bruce là người Mỹ gốc Việt, nêu rất có thể anh ấy sẽ trình bày bằng tiếng Việt ;-).

Eduardo Vela là đồng nghiệp của tôi ở Google và là chuyên gia hàng đầu thế giới về an toàn web. Ở đội của tôi anh ấy là một “go-to guy” mà nhiều người phải hỏi ý kiến khi “đụng” các vấn đề về an toàn trình duyệt (browser security) và ứng dụng web (web application security). Eduardo còn là một lập trình viên JavaScript siêu hạng và là đồng tác giả Web Application Obfuscation, cuốn sách được đánh giá là đã “đưa tấn công trình duyệt lên một tầm cao mới”. Thú thật là mỗi lần nói chuyện với Eduardo xong là tôi lại cảm thấy không an tâm duyệt web :-(. Tại TetCon 2013, Eduardo sẽ nói về những quyết định sai lầm (về mặt an toàn) khi người ta thiết kế WWW và những nỗ lực của anh ấy và đồng nghiệp để khắc phục những sai lầm đó. Tôi nghĩ đây là một đề tài vừa thiết thực vừa không quá khó nắm bắt, phù hợp với tất cả mọi người.

Ban tổ chức sẽ cập nhật thông tin mới nhất về chương trình TetCon 2013 tại đâyHạn chót để gửi bài đến TetCon 2013 là ngày 3/12/2012. Trong tuần tới chúng tôi sẽ có thông báo chính thức về thời gian, địa điểm và mở hệ thống để đăng ký tham dự.

Để tổ chức được TetCon với giá vé thấp nhưng vẫn đảm bảo được chất lượng của các tham luận, ban tổ chức rất hi vọng sẽ nhận được sự hỗ trợ về mặt tài chính của các cá nhân, doanh nghiệp, tổ chức trong và ngoài nước. Mời xem ở đây để biết thêm thông tin về quyền lợi của nhà tài trợ.

-1- Nếu điều kiện thuận lợi, ban tổ chức sẽ thuê người dịch cabin thông dịch trực tiếp những tham luận này.

Chủ đề Bảo mật và mật mã học, Thông báo | 1 phản hồi »