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

Theo đại diện nhóm phát triển của Angular vừa tung ra 1 bản cập nhật dành cho web development framework, dành riêng cho desktop và mobile apps, đây chính là phiên bản Angular 6.1. Phiên bản này sẽ thay thế cho Angular 6.0 và đi kèm với các tính năng mới cũng như những cải tiến hỗ trợ quá trình Fix Bug. 

Xem thêm: Angular 6.1 đã chính thức phát hành

Tại sao Nodejs chạy rất nhanh, nhanh hơn Apache tới mấy lần, và không cần thiết phải dùng nginx với nodejs, sử dụng cache dữ liệu trực tiếp như redis chứ đừng cache request, thì có 2 ý chính sau:

Xem thêm: Tại sao Nodejs chạy nhanh hơn Apache?

Ở bài Part 1 lần trước mình đã giới thiệu về Model và Dictionary trong ObjC. Mình có nêu ra một số ý tưởng về Model như:

• Model tự init data dựa trên JSON mà không phải tự viết hàm initWithDictionary cho mỗi model mới khai báo dựa trên thư viện objc-runtime.
• Model cho phép add các target cũng như cài đặt callback để tự động trigger events mỗi khi một thuộc tính của Model thay đổi giá trị bằng cách viết thư viện key-value observing. Vấn đề ở đây là nó sẽ không crash và tối ưu hoá hơn khi sử dụng cái mặc định của Apple.
• Model lấy ý tưởng tương tự như một ActiveRecord trong Ruby on Rails.

Xem thêm: Làm việc với Model và Dictionary trong ObjC và Swift (phần 2)

Bạn cần một thiết bị tiêu thụ ít năng lượng để chạy trang web? Bạn muốn lấy lại không gian mà web server đang chiếm? Bạn muốn chia sẻ một số thông tin với mọi người, cho dù là bạn bè hay bất kỳ ai, nhưng không có tài chính để chạy một web server quy mô đầy đủ?

Tin vui là bạn có thể host trang web của mình bằng điện thoại thông minh hoặc máy tính bảng Android. Dưới đây, cách build một web server Android đơn giản.

Xem thêm: Cách biến thiết bị Android thành web server

Việc nghiên cứu ITS đã được thực hiện trong một thời gian và đạt được những thành tựu nhất định, góp phần quan trọng vào quá trình triển khai thực hiện ITS. Các Viện nghiên cứu, trường đại học, các công ty lớn đều có những nghiên cứu về vấn đề này. Năm 1999, Viện Khoa học và Công nghệ GTVT đã thực hiện đề tài nghiên cứu cấp Bộ: “Nghiên cứu áp dụng giao thông trí tuệ trong GTVT” với mục tiêu nghiên cứu hệ thống ITS trên thế giới và khả năng ứng dụng tại Việt Nam, đề xuất những ứng dụng ban đầu; đến năm 2009 Viện tiếp tục thực hiện đề tài “Nghiên cứu ứng dụng ITS trong quản lý khai thác, điều hành giao thông và thu phí trên hệ thống đường ô tô cao tốc Việt Nam”.

Xem thêm: Hiện trạng triển khai hệ thống giao thông thông minh tại Việt Nam

Hướng dẫn dùng fastlane để build, up test tự động

Fastlane là 1 công cụ hỗ trợ cho iOS, Android developer trong việc release, build test cực kỳ tốt. Các tính năng chính của nó các bạn có thể tham khảo trên trang chủ: https://fastlane.tools/. Trong khuôn khổ bài viết này, mình sẽ hướng dẫn các bạn dùng Fastlane để build, up file ipa test lên TestFlight hoặc Crashlytics, giúp cho việc test dễ dàng hơn.

Xem thêm: Hướng dẫn dùng fastlane để build, up test tự độngsudo gem install fastlane –verbose

Tại sự kiện đình đám WWDC, Apple cho biết họ đã trả cho các developer với khoảng tiền cực khủng, lên tới 70 tỉ đô (tiền chi cho nằm ngoái chiếm khoảng 30%). Đó là mức tăng rất lớn khiến chúng tôi vô cùng ngạc nhiên bởi người dùng đâu có chi nhiều cho ứng dụng đến vậy. Bản thân tò mò muốn biết được thu nhập khủng đó đến từ đâu, tôi đã vào App Store để kiểm tra các top ứng dụng.

Xem thêm: Bí quyết kiếm $80,000 hàng tháng từ ứng dụng trên Apple Store

Trên iPhone có chức năng chia sẻ bản đồ đường đi rất hay.

Ví dụ: Bạn đang ở một vị trí nào đó mà người thân của bạn chưa biết, bạn muốn chỉ đường cho người thân đến, hãy làm như sau: Mở ứng dụng Apple Maps hoặc Google Maps, định vị vị trí hiện tại của bạn, sau đó chia sẻ lên Mesenger cho người thân của bạn.

Xem thêm: Cách chia sẻ bản đồ đường đi Google Maps và Apple Maps trên iPhone

Xem thêm: Người thông minh thường bừa bộn, thức khuya và chửi thề nhiều! [Nghiên cứu]

Bỏ smartphone, máy tính hỏng ra bãi rác hoặc bán đồ cũ mà không xóa dữ liệu có thể tạo điều kiện cho kẻ gian đánh cắp thông tin.

"Những thứ tìm thấy trên các thiết bị số bỏ đi kinh khủng hơn những gì bạn có thể tưởng tượng", Kurt Gruber, nhà sáng lập và CEO công ty an toàn mạng WV Technologies ở Australia, nói.

Xem thêm: Mối nguy từ việc vứt smartphone hỏng vào sọt rác

Đề án về kinh tế chia sẻ đã được ban hành. Tuy nhiên không thể phủ nhận rằng, vẫn còn nhiều rào cản để đề án này đi vào cuộc sống, trong đó lớn nhất là nhận thức.

Sử dụng những công cụ tuyệt vời này để cải thiện CLI và web admin, SQL queries, schema migration, sao chép và phục hồi môi trường MySQL của bạn.

Đối với các database administrators (DBA), việc giữ cho cơ sở dữ liệu chạy ở tốc độ tối đa có thể giống như con quay: tốc độ, tập trung, phản ứng nhanh với cái đầu lạnh và thỉnh thoảng hãy nhờ vả từ người xem hữu ích.

Xem thêm: Top 5 công cụ mã nguồn mở dành cho MySQL administrator

DFU được viết tắt từ cụm từ Device Firmware Update, cập nhật lại Firmware cho iPhone, đưa iPhone về trạng thái như mới vừa khui hộp. Đây là phương pháp cứu cánh cuối cùng để đưa iPhone về trạng thái hoạt động bình thường do lỗi phần mềm gây ra.

Xem thêm: Đưa iPhone về chế độ recovery (DFU) để Restore: Theo cách của Apple

Bạn đang nghĩ cách để kiếm hàng triệu USD từ việc tạo một ứng dụng di động? Bài viết này sẽ chỉ cho bạn nơi để bắt đầu. Mình không đảm bảo rằng bạn sẽ có thể tạo ra tiền, nhưng với từng bước trong hướng dẫn này, ít nhất bạn sẽ biết bạn nên bắt đầu từ đâu.

Xem thêm: Làm thế nào để kiếm tiền từ ứng dụng di động trong khi bạn chỉ có một ít tiền và không có kỹ năng...

Sử dụng data attribute trong HTML

Hôm nay trong lúc làm chức năng mới cho hệ thống Color ME, mình có dùng lại Data attribute trong HTML, tiện thể mình làm bài blog chia sẻ về sử dụng thuộc tính này

Xem thêm: Sử dụng Data attribute trong HTML

Vì lý do cá nhân, bạn muốn xoá vĩnh viễn tài khoản Apple ID (iCloud) khỏi iPhone, iPad, Máy tính Mac, làm sao để thực hiện? bài hôm nay sẽ hướng dẫn bạn từng bước thực hiện việc này.

Xem thêm: Cách xoá vĩnh viễn tài khoản Apple ID (tài khoản iCloud)

Cải tiến qui trình phần mềm

Hỏi: Thầy có thể cho lời khuyên về làm sao để thành công trong cải tiến qui trình phần mềm?

Đáp: Bước đầu tiên trong cải tiến qui trình hiệu quả là thay đổi hành vi của người quản lí và người phát triển. Là người kĩ sư phần mềm, bạn có thể hỗ trợ cho thay đổi nhưng thay đổi thực sự chỉ xảy ra khi người quản lí chấp nhận thái độ mới đối với cải tiến.

Xem thêm: Cải tiến qui trình phần mềm?

Hướng dẫn viết module và webservice cho Magento

Xem thêm: Hướng dẫn viết module và webservice cho Magento

SPA – Single Page (Web) Application là một design pattern hướng đến việc đem lại trải nghiệm người dùng trên web giống như trên desktop bằng việc gói toàn bộ nội dung của website hay một web application chỉ trong một trang duy nhất.

Xem thêm: Tạo một javascript SPA framework đơn giản với phong cách chính mình

RSS ( viết tắt từ Really Simple Syndication ) là một tiêu chuẩn định dạng tài liệu dựa trên XML nhằm giúp người sử dụng dễ dàng cập nhật và tra cứu thông tin. RSS là một định dạng tập tin thuộc họ XML dùng trong việc chia sẻ tin tức Web được dùng bởi nhiều website tin tức và weblog. Công nghệ của RSS cho phép người dùng Internet có thể đặt mua thông tin từ các websites có cung cấp khả năng RSS; chúng thường là các site có nội dung thay đổi và được thêm vào thường xuyên.

Xem thêm: Cách lấy link RSS feed trang blogger của bạn, dạng blog và khi dùng tên miền riêng