C

Bằng chứng (20)

• 5Hacker News·9/10/2026research
  Giảm hành vi không xác định trong C

  Martin Uecker trao đổi về cách hành vi không xác định trong C xuất phát từ nhu cầu lịch sử phải hỗ trợ nhiều loại phần cứng khác nhau và mô hình máy trừu tượng của ngôn ngữ. Ông cho rằng dù hành vi không xác định giúp trình biên dịch tối ưu hóa và duy trì tính di động, nó cũng tạo ra sự mơ hồ và tranh cãi về những gì chương trình thực sự được phép làm.

• 7InfoQ·27/9/2026security
  Google dùng AI và differential fuzzing để viết lại các phụ thuộc C sang Rust

  Nhóm bảo mật của Google đã áp dụng quy trình di chuyển tự động để thay thế mã C cũ trong giflib bằng Rust, nhằm giảm rủi ro an toàn bộ nhớ. Dự án vẫn giữ được hiệu năng chạy, đồng thời cho thấy các bản chuyển đổi có hỗ trợ AI vẫn cần con người kiểm tra và xác thực.

• 7The New Stack·23/9/2026open_source
  Q.ANT phát hành phần mềm mã nguồn mở cho chip AI quang tử

  Q.ANT đã phát hành Q.ANT Native Computing Toolkit trên GitHub, cung cấp bộ mô phỏng và công cụ phần mềm để lập trình, thử nghiệm chip AI dùng ánh sáng trên máy tính thông thường. Bộ công cụ hỗ trợ Python và C, nhưng quyền truy cập phần cứng thực tế hiện vẫn chỉ giới hạn ở một số trung tâm nghiên cứu, còn truy cập qua đám mây dự kiến sẽ có trong vài tháng tới.

• 7Hacker News·22/9/2026breakthrough
  OpenAI GPT-6 Astra được cho là đã giải được thông điệp Enigma tồn đọng lâu năm

  Một bài đăng trên Hacker News cho biết GPT-6 Astra của OpenAI đã tự mình giải được một thông điệp Enigma của quân đội Đức từ năm 1941 vốn chưa phá được từ năm 2005. Bài viết nói rằng mô hình đã xác định khóa và bản rõ, tự xây dựng phần mềm mô phỏng Enigma và Bombe, rồi dùng một crib lặp lại để hoàn tất quá trình giải mã.

• 5Hacker News·15/9/2026open_source
  Rheinmetall mã nguồn mở giao thức hệ thống vũ khí kết nối Battlesuite

  Rheinmetall đã công bố tài liệu cho middleware và thư viện giao diện onboardapi 9.10.0, nền tảng cho giao tiếp trong hệ thống vũ khí kết nối Battlesuite. Thư viện này được xây dựng trên DDS, hỗ trợ tích hợp đa ngôn ngữ qua C++, Java, C#/.NET và Python, đồng thời nhấn mạnh khả năng tương thích và tương thích ngược.

• 7InfoQ·15/9/2026framework_update
  .NET 11 RC1 phát hành với hỗ trợ go-live

  Microsoft đã phát hành .NET 11 Release Candidate 1, là bản RC đầu tiên của chu kỳ, kèm giấy phép hỗ trợ go-live cho môi trường production. Bản cập nhật này đặt C# 15 và F# 11 làm phiên bản ngôn ngữ mặc định, mở rộng dotnet test sang các mục tiêu mobile và desktop, hoàn thiện các API làm mới xác thực của SignalR và cải thiện thời gian build Android trong .NET MAUI.

• 3Hacker News·12/9/2026research
  Bài viết về kiệt sức và lập trình với trợ lý AI

  Bài viết là một chia sẻ cá nhân về tình trạng kiệt sức và sự thất vọng trước AI tạo sinh trong công việc sáng tạo, đặc biệt là lập trình. Tác giả cho rằng trợ lý viết mã có thể làm giảm niềm vui và cảm giác sở hữu sản phẩm, đồng thời ghi nhận rằng bản thân và đồng nghiệp vẫn đang tiếp tục xây dựng phần mềm và công cụ theo cách không dùng AI trong một số dự án.

• 3Hacker News·6/9/2026open_source
  Trình thông dịch Python được viết gọn trong 1024 byte C

  Austin Z. Henley mô tả việc xây dựng một trình thông dịch Python nhỏ gọn trong 1024 byte mã C như một thử thách code-golf. Dự án hỗ trợ cú pháp kiểu Python như hàm, vòng lặp, thụt dòng và biểu thức đơn giản, nhưng bị giới hạn mạnh và không có cơ chế xử lý lỗi.

• 3Hacker News·4/9/2026research
  Bài hồi tưởng về những thất bại của Project Xanadu

  Bài viết nhìn lại cho rằng tầm nhìn hypertext và transclusion của Project Xanadu đã không thể trưởng thành do thiếu lặp lại thiết kế, thiếu các use case thực tế và chưa tập trung đủ vào tính dễ sử dụng. Bài cũng đối chiếu những hạn chế lịch sử đó với điều kiện phát triển hiện đại, bao gồm công cụ nhanh hơn và tài nguyên lưu trữ, tính toán lớn hơn nhiều.

• 7The New Stack·19/8/2026research
  Canonical thử nghiệm chuyển đổi C sang Rust bằng AI trên mã nguồn trọng yếu về bảo mật

  Canonical đang tài trợ cho nhóm nghiên cứu tại Đại học Bristol để đánh giá liệu các công cụ tự động có thể chuyển đổi các codebase C lớn sang Rust mà không làm thay đổi hành vi hay không. Dự án tập trung vào các thành phần nhạy cảm về bảo mật như AppArmor và snap-confine, đồng thời kết hợp sinh mã bằng mô hình ngôn ngữ với fuzzing, phân tích hình thức và sửa lỗi bằng symbolic repair để kiểm chứng tương đương và giảm phụ thuộc vào unsafe.

• 5InfoQ·19/8/2026framework_update
  .NET 11 Preview 7 bổ sung cập nhật cho C#, ASP.NET Core, EF Core và Windows Forms

  Microsoft đã phát hành .NET 11 Preview 7 với các thay đổi trải rộng trên C#, ASP.NET Core, .NET MAUI, Entity Framework Core, Windows Forms và F#. Một số điểm đáng chú ý gồm lệnh break và continue có nhãn trong C#, Blazor circuit pausing, CacheView, hỗ trợ bản địa hóa xác thực tích hợp trong ASP.NET Core, pipeline render hiện đại cho Windows Forms và hỗ trợ kiểu Half trên SQLite trong EF Core.

• 6InfoQ·12/8/2026research
  CHERI áp dụng an toàn bộ nhớ và phân vùng chi tiết

  David Chisnall trình bày cách kiến trúc phần cứng CHERI tăng cường an toàn con trỏ để giải quyết các vấn đề cô lập và chia sẻ trong C/C++. Bài nói cũng nhấn mạnh CHERIoT cho vi điều khiển và cho thấy CHERI có thể thay thế các cơ chế RPC tốn kém ở tầng hệ điều hành bằng phân vùng nhẹ, dễ kiểm tra mà không cần viết lại lớn.

• 4Hacker News·10/8/2026research
  Tối ưu đệ quy đuôi trong C nay đã khả thi trên GCC và Clang

  Bài viết cho rằng tối ưu đệ quy đuôi trong C trước đây bị hạn chế bởi quy ước gọi hàm và chưa được hỗ trợ rộng rãi trong các trình biên dịch cũ. Bài viết nêu rằng GCC và Clang hiện nay có thể thực hiện kiểu tail call cần cho cơ chế dispatch của bộ thông dịch, giúp các kỹ thuật như direct-threaded code và tạo nhiều đoạn mã nhỏ trở nên khả thi. Gforth và các bộ thông dịch WebAssembly được nhắc đến như những ví dụ cho thấy tầm quan trọng của điều này.

• 6Hacker News·4/8/2026funding
  Thành phố Munich tài trợ bảo trì libexpat trong tối đa sáu tháng

  libexpat, trình phân tích XML viết bằng C và được sử dụng rộng rãi, đã nhận được tài trợ bảo trì tối đa sáu tháng từ Thành phố Munich thông qua chương trình Open Source Sabbatical. Người bảo trì cho biết các ưu tiên gồm sửa năm lỗ hổng đã biết, bổ sung hỗ trợ XML 1.0r5 và cải thiện độ bền cũng như khả năng bảo trì của dự án.

• 4Hacker News·3/8/2026open_source
  Bản phát hành C-Kermit mới đầu tiên sau 15 năm, nhân dịp 45 năm Kermit

  Bài viết thông báo về bản phát hành C-Kermit mới đầu tiên sau 15 năm, đồng thời đánh dấu chặng đường 45 năm của dự án. Nội dung nhấn mạnh vai trò bền bỉ của Kermit như một công cụ truyền tệp và giao tiếp lâu đời trong hệ sinh thái phần mềm.

• 3Hacker News·29/7/2026product_launch
  Tự chế bộ điều khiển máy lạnh thông minh bằng ESP32 và động cơ bước

  Bài viết mô tả một dự án tự chế chi phí thấp nhằm tự động hóa máy lạnh căn hộ có núm xoay analog bằng cách điều khiển núm bằng động cơ bước gắn với ESP32. Hệ thống tích hợp với Home Assistant qua MQTT và dùng cảm biến nhiệt độ để bật/tắt máy lạnh, đồng thời tránh can thiệp có thể ảnh hưởng đến tiền đặt cọc thuê nhà.

• 6InfoQ·27/7/2026framework_update
  .NET 11 Preview 6 bổ sung cập nhật cho C#, ASP.NET Core, MAUI và EF Core

  Microsoft đã phát hành .NET 11 Preview 6 với các cập nhật trải rộng trên C#, ASP.NET Core, .NET MAUI và Entity Framework Core. Bản xem trước này bổ sung extension indexers và kiểu hỗ trợ union trong C#, xác thực bất đồng bộ cùng bảo vệ CSRF tự động trong ASP.NET Core, hỗ trợ CollectionView trên Windows trong MAUI và dịch FULL OUTER JOIN trong EF Core.

• 3Hacker News·26/7/2026open_source
  Bản dựng radar máy bay cho bàn làm việc dùng ESP32 được nâng cấp firmware

  Một bài đăng trên Hacker News giới thiệu dự án mã nguồn mở dùng ESP32-C3 và màn hình tròn 1,28 inch để hiển thị radar máy bay ADS-B trực tiếp. Tác giả cũng nêu các nâng cấp firmware như thông tin chuyến bay chi tiết hơn, dữ liệu thời tiết và thời gian, tùy chỉnh hiển thị, cùng cập nhật OTA có xác thực qua trình duyệt.

• 4Hacker News·25/7/2026research
  Tranh luận về an toàn bộ nhớ và Fil-C

  Bài viết cho rằng tranh luận về an toàn bộ nhớ trong lập trình hệ thống đang trở nên gay gắt hơn, đặc biệt khi Fil-C đưa ra một cách để các chương trình C và C++ phát hiện truy cập bộ nhớ không hợp lệ khi chạy. Bài viết cũng phản đối các quan điểm cho rằng Rust vốn không an toàn về bộ nhớ, đồng thời nhấn mạnh rằng Fil-C và các hướng tiếp cận tương tự vẫn có đánh đổi như hiệu năng chậm hơn, dùng GC và không tương thích ABI.

• 3Hacker News·23/7/2026research
  Hướng dẫn C++ thuần để xây dựng bộ kết xuất phần mềm

  Bài viết giới thiệu một chuỗi hướng dẫn từng bước về cách các API đồ họa 3D hiện đại hoạt động bằng cách tự xây dựng một bộ kết xuất phần mềm đơn giản chỉ với khoảng 500 dòng C++ thuần. Nội dung không dùng thư viện đồ họa bên thứ ba, bắt đầu từ việc vẽ từng pixel và xử lý ảnh TGA để kết xuất mô hình 3D tam giác hóa. Mục tiêu là phục vụ học tập, giúp người đọc hiểu nền tảng của OpenGL, Vulkan, Metal và DirectX.