Bend

Bằng chứng (3)

• 4Hacker News·18/9/2026research
  Phê bình cách tiếp cận vibe-coding của Bend 2

  Bài viết cho rằng Bend 2, một ngôn ngữ được quảng bá cho kỷ nguyên lập trình bằng AI, là ví dụ cho “bẫy” của vibe-coding: nhà phát triển có thể xây dựng hệ thống lớn trước khi hiểu đủ về bài toán để chọn hướng tiếp cận tốt hơn. Tác giả đối chiếu demo và phần chứng minh của Bend với một ví dụ tương tự viết bằng SPARK, ngôn ngữ kiểm chứng hình thức, nhằm cho thấy các phương pháp formal verification có thể đã giải quyết bài toán này trực tiếp hơn.

• 6Hacker News·17/9/2026open_source
  Ngôn ngữ Bend hứa hẹn kiểm chứng bằng chứng cho mã AI trên CPU và GPU

  Bend là một ngôn ngữ và runtime mới nhấn mạnh biên dịch nhanh, thực thi song song trên CPU và GPU, đồng thời dùng kiểm chứng bằng chứng để ngăn các thay đổi vi phạm quy tắc. Bài viết nêu quy trình với AGENTS.md, luật và bằng chứng, cùng mục tiêu ràng buộc mã do AI tạo ra phải thỏa các bất biến đã khai báo trước khi được commit.

• 8Hacker News·20/8/2026regulation
  Harvest tăng hóa đơn tới 1500% sau khi được Bending Spoons mua lại

  Harvest, ứng dụng chấm công và lập hóa đơn được nhiều doanh nghiệp sử dụng, đã thay đổi mô hình giá sau khi được Bending Spoons mua lại, khiến một số khách hàng cho biết hóa đơn tăng tới 1500%. Việc chuyển từ giá cố định theo người dùng sang tính phí theo mức sử dụng đã bị chỉ trích vì thiếu minh bạch và khiến một số công ty cân nhắc chuyển sang dịch vụ khác.