Ngày mới chập chững bước vào nghề System Engineer , được sếp hướng dẫn và giao cho task : compile HTTPD, PHP lên Server. Lúc đầu làm khoái lắm, viết script compile 2 cái kia từ source như đúng rồi. Mới viết thì script cũng lỗi tè le, cũng ngồi hỏi rồi fix, dần dần thì script cũng ngon hẳn ?
Xem thêm: Sử dụng Docker thiết lập môi trường tạo Package RPM cho CentOS
Mỗi lần đọc source code, chắc hẳn các bạn đều phải đối mặt với những biểu thức logic phức tạp. Nhiều khi nó phức tạp tới mức làm ta tốn cả ngày tìm hiểu để biết xem biểu thức đó kiểm tra điều kiện gì. Ngay cả khi có comment đi kèm thì lúc ta bắt tay vào sửa logic cũng phải vô cùng đau đầu mới đảm bảo được source code sau khi đã sửa đổi đáp ứng được yêu cầu mới, nhưng vẫn đảm bảo chạy đúng với các yêu cầu spec trước đó.

Xem thêm: Nghệ thuật viết code đẹp: Đơn giản, dễ đọc hoá biểu thức
Trong quá trình tìm hiểu về Free Monad, khi đọc các paper tôi gặp một số vấn đề để hiểu về phương pháp chứng minh các giả thuyết. Tìm hiểu kỹ hơn là do bản thân tôi chưa hiểu rõ phương pháp suy luận trong lập trình hàm.

Xem thêm: Phương pháp suy luận trong lập trình hàm
Xin bắt đầu bằng câu chuyện rùa và thỏ.
Phiên bản 1: Như mọi người đã biết, rùa thắng thỏ vì rùa rất chăm chỉ, chậm và chắn chắn.
Sau khi thua rùa, thỏ ta rất cay cú nói với thỏ con: “Đời cha đã thua rùa vì không chăm chỉ, đời con, con nhất định phải lấy lại danh dự cho nhà Thỏ, không được lười biếng tích cực luyện tập để phục thù”. Và khi thỏ con trưởng thành, thỏ con thách đấu với rùa con.

Xem thêm: Xin đừng đánh nhau với Framework
Trong một số trường hợp ví dụ như truy cập Facebook, tăng tốc truy cập website... thì bạn cần phải đổi DNS trên máy tính, nhưng để làm điều này trên smartphone và tablet chạy hệ điều hành Android thì không phải ai cũng biết cách đổi DNS. Để làm được điều này thì bạn có thể tham khảo nội dung hướng dẫn sau của DVMS.
Bước 1: Chọn mục Settings (Cài đặt nếu bạn sử dụng giao diện tiếng Việt).
Bước 2: Nhấn chọn mục nhỏ Wi-Fi.

Xem thêm: Đổi DNS cho điện thoại và tablet Android
Mô hình xoắn ốc (tiếng Anh: spiral model) là quy trình phát triển định hướng rủi ro cho các dự án phần mềm. Kết hợp của thế mạnh của các mô hình khác và giải quyết khó khăn của các mô hình trước còn tồn tại. Dựa trên các mô hình rủi ro riêng biệt của mỗi dự án, mô hình xoắn ốc đưa ra cách áp dụng các yếu tố của một hoặc nhiều mô hình xử lý, chẳng hạn như mô hình gia tốc, mô hình thác nước hoặc mô hình tạo mẫu tiến hóa.

Xem thêm: Mô hình spiral (Mô hình xoắn ốc) trong phát triển và kiểm thử phầm mềm