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

Trong bài viết nay tôi sẽ hướng dẫn mọi người làm một game nhỏ nhỏ dùng CreateJS – một thư viện Javascript vô cùng thú vị.

Xem thêm: Làm HTML canvas game bằng Create JS

Theo định nghĩa của Wikipedia Blockchain là: Một cơ sở dữ liệu phân cấp, lưu trữ thông tin trong các khối thông tin được liên kết với nhau bằng mã hóa và mở rộng theo thời gian. Mỗi khối thông tin đều chứa thông tin về thời gian khởi tạo và được liên kết tới khối trước đó, kèm một mã thời gian và dữ liệu giao dịch.

Xem thêm: Blockchain thực sự hoạt động như thế nào?

Có lẽ một số bạn sẽ có thắc mắc như tiêu đề khi mới tìm hiểu về Rust. Hẳn là các bạn đã biết, hoặc nghe đâu đó là: Trong Rust không có NULL. Bài viết này sẽ giúp cho các bạn hiểu rõ hơn về vấn đề này.

Xem thêm: Rust không có NULL thì code kiểu gì?

iRedMail là hệ thống email server đang được dùng nhiều nhất, cả các công ty cho thuê email server cũng đang dùng hệ thống này, ưu điểm là dễ cài đặt, dễ cấu hình, dễ thao tác và bảo mật tốt, lại là open source. Trong bối cảnh các hệ thống như Google, Microsoft, Zoho, Yandex... thu phí thì việc tự tạo cho doanh nghiệp bạn một email server riêng với iRedMail là một lựa chọn.

Xem thêm: Hướng dẫn cài đặt và cấu hình iRedMail toàn tập, iRedMail là server được dùng nhiều nhất cả cho...

Microsoft tiếp tục thể hiện sự cam kết của mình với Python khi cho phát hành ra Python Language Server. Nó hiện đang có sẵn như là một phần của phiên bản dùng thử dành cho extension của Visual Studio Code, và sẽ được phát hành như một standalone component trong tương lai gần.

Xem thêm: Microsoft trình làng Python Language Server dành cho Visual Studio Code

Các nhà khoa học ở Viện Thí nghiệm KH&CN quốc phòng (Defence Science and Technology Laboratory, DSTL) và Phòng Thí nghiệm Vật lý Quốc gia (National Physical Laboratory, NPL) Anh Quốc tin rằng từ ba đến năm năm nữa họ sẽ nghiên cứu chế tạo thành công một loại "La bàn lượng tử" - thiết bị có khả năng sử dụng hiệu ứng hạ nguyên tử của địa từ trường để định vị bản thân.

Xem thêm: Hệ thống định vị toàn cầu không dùng vệ tinh

Trong Tam Quốc, các bậc quân sư tài năng có tài điều binh khiển tưởng, ngồi trong trướng bồng quyết thắng cách đó hàng ngàn dặm.

Trong Tu Chân, các cao thủ có chiêu “Cách Không Thủ Vật” điều khiển đồ vật từ xa, hoặc “Ngự Kiếm Phi Hành”, dùng chân khí để điều động phi kiếm hay pháp bảo.

Xem thêm: Series Bảo Mật Nhập Môn – CSRF – Những cú lừa ngoạn mục

Không nên dùng tiếng lóng

Nếu những cái tên là quá đặc trưng, thường chúng sẽ được ghi nhớ với người chia sẻ cảm nhận vui vẻ và chỉ những người này mới nhớ những câu chuyện đó. Liệu chúng ta có biết hàm được đặt tên HolyHandGrenade hỗ trợ làm gì không?

Xem thêm: Mã sạch: Tên có ý nghĩa (P.2)

Xem thêm: Hack khách hàng của Facebook Fanpage

Điều thú vị nhất của một chiếc smartphone đó là việc chúng ta có thể cài thêm rất nhiều ứng dụng từ hãng thứ ba, từ đó cá nhân hóa chiếc điện thoại cũng như khiến cuộc sống dễ dàng hơn. Với người dùng mới sử dụng hệ điều hành Android, không ít người sẽ cảm thấy khó khăn khi cài đặt các phần mềm cũng như băn khoăn vì các lỗi có thể gặp trong quá trình thực hiện. Đừng lo, bài viết này sẽ giúp bạn.

Cũng như trên PC hay MacOS, chúng ta có thể cài đặt ứng dụng bằng các tập tin cài đặt. Trên Android, định dạng của tập tin cài đặt là *.APK. Muốn làm theo cách này, trước hết bạn cần phải có tập tin APK. Bạn có thể copy tập tin này vào thẻ nhớ như hướng dẫn sau.

Xem thêm: Hướng dẫn cài ứng dụng, phần mềm cho Android trực tiếp bằng tập tin APK

Từ thời điểm bùng nổ cách đây năm năm, cơn sốt ứng dụng di động đến nay chưa hề có dấu hiệu hạ nhiệt. Các ứng dụng ngoại chen chân vào thị trường nội tạo nên sự cạnh tranh quyết liệt. Tuy nhiên, các doanh nghiệp kinh doanh ứng dụng di động, nhất là các công ty khởi nghiệp (startup), cần nghiên cứu thị trường kỹ lưỡng cũng như có các chiến lược kinh doanh bài bản, mới có thể tồn tại lâu dài trong cuộc chiến này.

Xem thêm: Ứng dụng di động - Miếng bánh thị phần còn lớn?

cảnh báo gọi điện lừa đảo, yêu cầu chủ website đăng ký với Bộ Công Thương

Xem thêm: Gọi điện lừa đảo, yêu cầu chủ website đăng ký với Bộ Công Thương

Danh sách API của Facebook hay dùng cho dân lập trình

Bạn cần chạy nhiều website với version PHP khách nhau trên cùng một máy, cách thông thường nhất là cài nhiều xampp tưng ứng với từng version ở các thư mục khác nhau. Khi chạy website thì mở xampp tương ứng với version PHP đó lên và tắt những cái còn lại. Bài này mình hướng dẫn các bạn chạy đồng thời nhiều version PHP khác nhau và không cần nhân bản xampp cũng không cần tắt version khác.

Xem thêm: Cách sử dụng nhiều version php với xampp

Template Magento

Xem thêm: Template Magento

Bạn đang sở hữu một chú dâu đen ( Blackberry hay Blackberry 10 ), tuy nhiên việc truy cập rất khó truy cập facebook hoặc truy cập website khá chậm. Nếu việc này xẩy ra trên laptop hay máy tính của bạn thì chắc bạn sẽ nghĩ tới việc đổi DNS mạng, tuy nhiên để làm việc này trên BB thì sao? Để 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.

Đối với BB 10:

Bước 1: Bạn vào Settings của máy => chọn vào mục Wi-Fi.

Xem thêm: Đổi DNS trên Blackberry

Xem thêm: Vì sao tôi quyết định bỏ Thung Lũng Silicon để khởi nghiệp tại Việt Nam?

Hướng dẫn cài đặt và sử dụng SugarCRM 5 bản gốc

Xem thêm: Hướng dẫn cài đặt và sử dụng SugarCRM 5

Các trường hợp xuất khẩu không phải mở tờ khai hải quan.Theo quy định của pháp luật, khi xuất khẩu hàng hóa doanh nghiệp phải mở tờ khai hải quan. Tờ khai hải quan cũng là một trong 4 loại chứng từ là điều kiện áp dụng thuế suất thuế GTGT 0% với đầu ra, và khấu trừ thuế đầu vào.

Xem thêm: Xuất khẩu phần mềm có phải mở tờ khai hải quan không?

Đã đứng đầu trong bảng xếp hạng IEEE và PyPL, Python được dự đoán sẽ sớm chinh phục cả chỉ số Tiobe lừng danh.

Tại sao NodeJS lại nhanh?

Đây là câu hỏi của khá nhiều newbie – những người không chịu dành nổi 5′ để tìm thông tin. Và là câu hỏi của khá nhiều người KHÔNG PHẢI LÀ NEWBIE, hay đại để là những người cứ hùng hục code mà ko hiểu cái gì thực sự diễn ra ở mức thấp hơn.Có 2 thứ theo mình khiến Node nhanh:

Xem thêm: Bàn về Nodejs, hiệu năng (performance) và những hiểu nhầm thường gặp phải

Với IPTV, khách hàng không chỉ dừng lại ở việc xem truyền hình đơn thuần mà có thể xem bất cứ chương trình nào mình yêu thích vào bất kỳ thời điểm nào và sử dụng nhiều dịch vụ khác qua màn hình tivi như: xem phim theo yêu cầu, xem trực tiếp, xem lại các giải thể thao lớn, hát karaoke, chơi game, nghe nhạc…

Xem thêm: IPTV Một số thuật ngữ liên quan tới dịch vụ truyền hình qua internet

Gần đây mình có độc một cuốn sách về bảo mật của tác giả Phạm Huy Hoàng, sau khi đọc cuốn sách này mình thấy nó khá hay và hữu ích đối với bất kỳ developer nào. Vì vậy hôm nay mình muốn chia sẻ với các bạn những gì mình thu được từ cuốn sách này.

Xem thêm: Những lỗ hổng bảo mật thường gặp trong website và cách phòng tránh

Trong quá trình nhắn tin hoặc gõ chữ trên iPhone, thỉnh thoảng bạn sẽ thấy một số từ bạn không muốn viết hoa nhưng iPhone tự động viết hoa, bạn phải chỉnh sửa lại, làm mất rất nhiều thời gian cho việc không đáng này, vậy có cách nào tắt đi không?

Xem thêm: Tắt chức năng tự động viết hoa trên iPhone và iPad

Ý tưởng tạo ứng dụng chỉ sử dụng một kiểu mẫu cho tất cả các nền tảng có vẻ không thực tế chút nào. Tuy nhiên, React Native, mặc dù chưa thật sự hoàn thiện, nhưng cho phép đẩy nhanh quá trình xây dựng các ứng dụng trên các nền tảng khác nhau, nhờ khả năng sử dụng lại hầu hết các code giữa chúng.

Xem thêm: 9 ứng dụng tuyệt vời được viết bằng React Native

Ngôn ngữ Google Go (còn gọi là Golang) đã trở thành một trong những lựa chọn hàng đầu để viết các dịch vụ web và API. Nó có khả năng compile thành các code gốc chạy nhanh và các tính năng hữu ích khác cho dịch vụ web, đồng thời ngôn ngữ còn có lượng người dùng rộng lớn.

Xem thêm: 6 web frameworks dành cho Golang mà bạn cần phải biết

Nhiều người dùng cho rằng sử dụng iPhone thì có độ bảo mật cao và không bị tấn công bởi các website độc hại. Điều này có đúng như bạn nghĩ?

Sự thật là các website độc hại đã tấn công hàng rào bảo mật của iPhone hơn 2 năm nay.

Xem thêm: iPhone và iPad có bị tấn công bởi các website độc hại?

Bán hàng trên Facebook có phải đăng ký với Bộ Công Thương không?

Bạn đang kinh doanh online trên Facebook, bán hàng live stream facebook, bán hàng trên fanpage, bán hàng trên group facebook,... ? Vậy bạn có phải đăng ký với bộ Công Thương như các kênh thương mại điện tử khác không?

Xem thêm: Bán hàng trên Facebook có cần đăng ký với Bộ Công Thương không?

Bạn đang sử dụng framework nào? Bạn đang sử dụng Bootstrap, Materialize, hay Foundation? Vue, Angular 1, hay Angular 2 ?…

Framework thật sự là rất khủng khiếp. Tất cả luôn đấy! Nếu bạn đang dựa dẫm vào chúng thì đó là dấu hiệu của một nhà phát triển tồi. Vì vậy, xin hãy ngừng sử dụng chúng ngay bây giờ!

Xem thêm: Đừng dựa vào Framework nữa nếu muốn trở thành 1 lập trình viên giỏi?

Khi toàn bộ quá trình phát triển ứng dụng kết thúc và ứng dụng của bạn về cơ bản đã hoàn thành, bạn sẽ phải đối mặt với một thử thách nữa – đó là “Quảng bá” cho nó. Có lẽ bạn đã biết đến việc được “featured” (đặt trưng) trên App Store hoặc Google Play Store sẽ mang đến nhiều lợi ích, nhưng nó cũng là một điều rất khó để đạt được - vì độ cạnh tranh cho những vị trí này là rất khốc liệt.

Xem thêm: Làm thế nào để ứng dụng của bạn được “featured” trên App Store và Google Play Store?

Kinh tế chia sẻ (sharing economy) - mô hình kết nối để những người tiêu dùng có thể tận dụng nguồn lực dư thừa của nhau - được đánh giá là mô hình đem lại giá trị kinh tế cao, tác động không nhỏ đến người tiêu dùng cũng như những doanh nghiệp kinh doanh kiểu truyền thống. Việt Nam được xem là một trong những thị trường tiềm năng của mô hình này.

Xem thêm: Kinh tế chia sẻ và tiềm năng cho Việt Nam

Xin chào các bạn , hôm nay mình sẽ giới thiệu đến các bạn 2 framework khá phố biến của Nodejs là Express và Sails. Thằng nào ngon hơn , nên sài thằng nào bây giờ?

Express

Xem thêm: Express và Sails? Cái nào tốt hơn (Phần 1)

Bạn đã biết thủ thuật sử dụng nút volume trên iPhone để chụp ảnh chưa? Nếu chưa từng nghe thấy thì đây là cơ hội giúp bạn hiểu thêm một thủ thuật thú vị nữa trên iPhone., khi chụp ảnh trên iPhone thay vì chạm vào nút tròn màu trắng trên màn hình, bạn hãy thử nhấn vào nút volume, bức ảnh sẽ được chụp ngay lập tức, nút volume tăng hoặc giảm đều chụp được nhé.

Xem thêm: Cách sử dụng nút volume để chụp hình trên iPhone và iPad

Điện thoại di động đã trở thành công cụ liên lạc cơ bản và hết sức phổ biến- ngày nay nó không những được sử dụng để gọi điện, mà còn để truy cập internet, gửi tin nhắn, và ghi chép lại mọi thứ.

Thật không may, điện thoại di động không được thiết kế cho mục tiêu bảo mật và riêng tư. Nó không chỉ kém trong việc bảo vệ thông tin liên lạc của bạn, mà còn đặt bạn vào những rủi ro theo dõi khác- đặc biệt là truy tìm vị trí. Hầu hết điện thoại di động cho quyền kiểm soát ít hơn so với máy tính bàn hoặc máy tính xách tay; rất khó để thay đổi hệ điều hành, rất khó để điều tra tấn công bởi mã độc, rất khó để gỡ bỏ hay thay thế các phần mềm cài sẵn mà bạn không thích, và rất khó để ngăn ngừa các bên như công ty điện thoại giám sát việc sử dụng thiết bị của bạn. Hơn thế nữa, công ty thiết bị có thể tuyên bố thiết bị hết thời và ngừng cung cấp cập nhật phần mềm, luôn cả cái gói vá lỗi bảo mật; nếu điều này xảy ra, bạn sẽ không có cách chi để sửa.

Xem thêm: Vấn đề với điện thoại di động

Chính phủ sẽ mở rộng đối tượng ưu đãi đầu tư trong một số lĩnh vực để giúp cộng đồng khởi nghiệp tiếp cận vốn đầu tư thuận lợi hơn.

Nghị định 118 của Chính phủ vừa ban hành hướng dẫn thi hành một số điều của Luật Đầu tư đã chỉ rõ những ngành nghề đặc biệt ưu đãi đầu tư giai đoạn tới, đáng chú ý là các dự án khởi nghiệp công nghệ cao thuộc đối tượng mở rộng đầu tư.

Xem thêm: Khởi nghiệp công nghệ được đặc biệt ưu đãi

Để đánh giá khả năng thông minh, ưu tú của một con người không thể chỉ dựa trên tiêu chí IQ, EQ mà còn dựa trên nhiều chỉ số khác như CQ, AQ, MQ, SQ,PQ, STQ,…Tuy nhiên không phải cũng hiểu và giải thích được khái niệm EQ là gì? IQ là gì?,…Vậy nên trong bài viết này, chúng tôi sẽ giải đáp tất cả các thắc mắc đó của bạn.
Các chỉ số IQ, EQ, CQ, AQ, MQ, SQ,PQ, STQ nghĩa là gì?

Xem thêm: Các Chỉ số đánh giá một người thành công IQ, EQ, CQ, AQ, MQ, SQ,PQ, STQ... nghĩa là gì?

Tài liệu hướng dẫn qui trình kết nối Ngân Lượng với Magento, flow with NganLuong Magento

Xem thêm: Tài liệu hướng dẫn qui trình kết nối Ngân Lượng với Magento, flow with NganLuong Magento

Uber Engineering

Với nhiệm vụ truân chuyển hành khách nhanh và tiện lợi nhất, Uber cần xây dựng và làm việc với nhiều dữ liệu phức tạp. Bới thế, một nền tảng cho phép tài xế tìm “mối làm ăn” và đi lại cho hợp lý đã ra đời.

Xem thêm: [Chuyên sâu] Uber Engineering Tech Stack, Phần I: Nền Tảng

Nhiều người luôn cho rằng các lập trình viên luôn là những người nhàm chán và khô khan, là những thiên tài toán học ở trường luôn dành hàng chục tiếng trước màn hình máy tính để viết code.

Xem thêm: Từng bước trở thành lập trình viên chuyên nghiệp

Adhere Ad Server là một hệ thống quản lý quảng cáo, đặc biệt là nó hỗ trợ quản lý quảng cáo trên mobile, hỗ trợ cả các dòng điện thoại cũ. Ngoài ra hệ thống này có tính năng và giao diện tương đối đơn giản, dễ quản lý.

Xem thêm: Adhere Ad Server - opensource quản lý quảng cáo

Lập trình viên là một trong những nghề hot nhất hiện nay tại thị trường Việt Nam. Tuy vậy, không như nhiều người nghĩ, để trở thành một nhà phát triển tài giỏi, (tất nhiên đi kèm với đó lương cũng sẽ được cải thiện) là thì bạn không chỉ có biết code mà còn phải có nhiều kĩ năng khác nhau.

Xem thêm: Lập trình viên đi làm 2,3 năm mà chưa được tăng lương thì phải xem lại bản thân mình đã có những...

Proxy là gì?

Proxy dịch ra thì nó có nghĩa là “ủy quyền” hay “đại diện”. Mục đích xây dựng Proxy pattern cũng chính vì muốn tạo ra một đối tượng sẽ ủy quyền, thay thế cho một đối tượng khác.

Xem thêm: Design Pattern – Proxy

Một trong những thách thức lớn nhất đối với Java developer khi tìm hiểu và áp dụng Javascript chính là sự khác biệt giữa việc cách giải thích khác nhau về object giữa hai ngôn ngữ.

Xem thêm: Javascript object dưới con mắt của Java developer

Cách đây 1 năm, phần lớn team Android hiện tại của tôi đã bắt tay làm ứng dụng upday – 1 ứng dụng không mạnh mẽ, cũng không ổn định như mong đợi. Chúng tôi đã cố gắng tìm hiểu lý do tại sao kết quả các dòng code của mình lại ra như thế và đã tìm ra được 2 nguyên nhân chính: do UI thay đổi liên tục và thiếu 1 architecture hỗ trợ linh hoạt.

Xem thêm: Android Architecture Patterns (phần 1): Model-View-Controller

Hiện nay Windows phone đang ngưng phát triển và ứng dụng trên chợ Windows phone store cũng ngày một ít. Tuy nhiên các tín đồ Windows Phone vẫn có thể yên tâm với việc sử dụng ứng dụng APK ( ứng dụng của Android) trên smartphone Windows Phone. Xem bài này để biết cách cài đặt ứng dụng Android trên smartphone Windows phone nhé.

Xem thêm: Làm thế nào để cài ứng dụng Android lên smartphone chạy Windows Phone?

Hệ thống định vị Galileo là một hệ thống vệ tinh định vị toàn cầu (GNSS) được xây dựng bởi Liên minh châu Âu. Galileo khác với GPS của Hoa Kỳ và GLONASS của Liên bang Nga ở chỗ nó là một hệ thống định vị được điều hành và quản lý bởi các tổ chức dân dụng, phi quân sự. Galileo theo kế hoạch sẽ chính thức hoạt động vào năm 2011-12, muộn 3-4 năm so với kế hoạch ban đầu.

Xem thêm: Hệ thống định vị Galileo của Châu Âu

Hãng Nielsen vừa công bố danh sách 10 thương hiệu web phổ biến nhất năm 2013 của Mỹ, dựa trên số lượng người truy cập mỗi tháng, và 10 website video nổi tiếng nhất. Thống kê của Nielsen có chỉ rõ số % thay đổi so với cùng kỳ năm trước nên đã cho chúng ta thấy một xu hướng đang nổi lên đó là người ta đang ít dùng web để truy cập các dịch vụ trực tuyến hơn, thay vào đó họ dùng app trên smartphone, ví dụ như app YouTube, app Facebook.

Xem thêm: Thống kê của Nielsen: top 10 thương hiệu công nghệ của Mỹ và xu hướng dùng app thay cho web

Bạn đang tìm kiếm các ứng dụng trên điện thoại giúp bạn chỉnh màu video một cách nhanh nhất và hiệu quả nhất. Bài viết dưới đây sẽ tổng hợp cho các bạn TOP 5 app, phần mềm chỉnh màu video cực đẹp trên Android, iOS.

Xem thêm: TOP 5 app, ứng dụng chỉnh màu video cực đẹp trên Android, iOS