https://news.dhphong.com/tags/programming-languages/ Recent content in Programming-Languages on Tech News Feed Hugo -- 0.131.0 vi Tue, 14 Apr 2026 14:58:07 +0700 https://news.dhphong.com/posts/2026-04-14-nimconf-2026-dates-announced-registrations-open/ Tue, 14 Apr 2026 14:58:07 +0700 https://news.dhphong.com/posts/2026-04-14-nimconf-2026-dates-announced-registrations-open/ Nguồn: Nim Blog Tóm tắt NimConf 2026 được thông báo sẽ diễn ra vào ngày 16-17 tháng 5 năm 2026 — đây là hội nghị trực tuyến lần thứ 4 dành riêng cho ngôn ngữ lập trình Nim, tiếp nối các phiên bản NimConf 2020, 2021 và 2023. Hội nghị sẽ được livestream trên YouTube và mở đăng ký tham dự miễn phí. Nim là ngôn ngữ lập trình compiled với syntax tương tự Python nhưng hiệu năng tiệm cận C/C++. https://news.dhphong.com/posts/2026-04-14-lean-proved-this-program-correct-then-i-found-a-bug/ Tue, 14 Apr 2026 01:45:20 +0700 https://news.dhphong.com/posts/2026-04-14-lean-proved-this-program-correct-then-i-found-a-bug/ Nguồn: Kiran Gopinathan’s blog Tóm tắt Formal verification được coi là công cụ mạnh nhất để đảm bảo tính đúng đắn của phần mềm — nếu một chương trình được Lean4 chứng minh là correct, về lý thuyết nó không thể có bug. Tuy nhiên, tác giả Kiran Gopinathan đã phát hiện ra một bug trong một stack implementation được formally verified, và bài viết này kể lại quá trình tìm bug đó.