2025-07-30 Top Stories #

Một sĩ quan quân đội đã nghỉ hưu của Hoa Kỳ cáo buộc quân đội Israel phạm tội ác chiến tranh ở Gaza, gây ra phản ứng mạnh mẽ và áp lực chính trị từ cộng đồng quốc tế.
Một trang web đã trưng bày các mẫu bằng lái xe của các nghị sĩ Anh để phản đối “Đạo luật An toàn Trực tuyến”, gây ra các cuộc thảo luận về tính minh bạch và quyền riêng tư.
Người chơi gây áp lực lên Visa và Mastercard vì nền tảng trò chơi hạn chế nội dung người lớn, phản đối hành vi kiểm duyệt thanh toán.
Google ưu ái tính năng “Đăng nhập bằng một chạm” trong Chrome, gây ra tranh cãi về xâm phạm quyền riêng tư và thành kiến trình duyệt.
Mô hình mã nguồn mở GLM-4.5 Air hoạt động xuất sắc trên các thiết bị thông thường, thể hiện sự tiến bộ vượt bậc trong các nhiệm vụ mã hóa.
Tác giả đã thiết kế một codec truyền phát trò chơi nhanh có tên là PyroWave, tập trung vào độ trễ thấp và truyền tải hiệu quả.
Wikimedia Foundation đã đưa ra thách thức pháp lý đối với “Đạo luật An toàn Trực tuyến” của Vương quốc Anh, cho rằng nó gây ra mối đe dọa cho Wikipedia.
Các công ty AI thu hút người dùng bằng các dịch vụ “không giới hạn”, sau đó hạn chế sử dụng, gây ra tranh cãi, phản ánh chiến lược định giá mồi nhử.
Nghiên cứu cho thấy rằng việc thêm thông tin không liên quan (chẳng hạn như sự thật liên quan đến mèo) sẽ làm tăng tỷ lệ lỗi của các mô hình ngôn ngữ lớn trong các bài toán toán học lên 300%.
Pony là một ngôn ngữ lập trình mới, dựa trên mô hình actor và bảo mật khả năng, được thiết kế để xây dựng các chương trình đồng thời trong môi trường hiệu năng cao.

“Tôi đã chứng kiến tội ác chiến tranh” ở Gaza - cựu nhân viên tại địa điểm viện trợ GHF [video] # #

‘I witnessed war crimes’ in Gaza – former worker at GHF aid site [video] #

https://www.bbc.com/news/videos/cy8k8045nx9o

Anthony Aguilar, một sĩ quan đã nghỉ hưu của Lực lượng Đặc biệt Hoa Kỳ, đã tiết lộ với BBC lý do ông từ chức công việc tại trung tâm phân phối viện trợ của Quỹ Nhân đạo Gaza (GHF) do Hoa Kỳ và Israel hỗ trợ. Aguilar nói: “Tôi đã tận mắt chứng kiến Lực lượng Phòng vệ Israel nổ súng vào đám đông người Palestine.” Ông nói thêm rằng trong suốt sự nghiệp của mình, ông chưa từng thấy mức độ “sử dụng vũ lực bừa bãi và không cần thiết đối với dân thường, dân thường không vũ trang, dân thường đang đói khát” như vậy.

Thủ tướng Anh Keir Starmer cho biết Anh sẽ công nhận nhà nước Palestine trừ khi chính phủ Israel thực hiện “các bước quan trọng để chấm dứt tình hình tồi tệ ở Gaza”. Lyse Doucet của BBC đưa tin từ đường phố ở Iran rằng tình hình đang bắt đầu trở lại bình thường.

Tổng thống Hoa Kỳ Donald Trump bày tỏ sự tức giận về hành động của Israel và Iran. Một bộ trưởng Israel nói với BBC rằng thủ tướng của ông và tổng thống Hoa Kỳ đã hợp tác với nhau từ “ngày đầu tiên”. Các quan chức Israel cho biết ít nhất bốn người đã thiệt mạng khi tên lửa Iran đánh trúng một tòa nhà dân cư. Joe Inwood của BBC đã trả lời ba câu hỏi quan trọng về những gì có thể xảy ra sau các cuộc không kích của Hoa Kỳ ở Iran.

Lucy Williamson của BBC có mặt bên ngoài bệnh viện Soroka ở Beersheba, một thành phố ở miền nam Israel, nơi các nhân viên cứu hộ khẩn cấp đang đánh giá hiện trường. Thủ tướng Israel từ lâu đã cảnh báo rằng Iran đang tiến gần đến việc phát triển vũ khí hạt nhân. Ross Atkins của BBC Verify giải thích những gì chúng ta biết về kế hoạch của họ. Cơ sở hạt nhân Fordow của Iran là một trong những cơ sở được bảo vệ nghiêm ngặt nhất. Chỉ có một loại vũ khí thông thường có thể phá hủy nó - và chỉ Hoa Kỳ được biết là sở hữu loại vũ khí này.

Các video được đăng trên mạng xã hội cho thấy hàng dài xe chờ nhiên liệu và tắc nghẽn giao thông khi mọi người bỏ chạy khỏi Tehran. Hugo Bachega, phóng viên Trung Đông của BBC, có mặt ở Petah Tikva, nơi tên lửa Iran tấn công vào đêm qua. Iran đã phát động một cuộc không kích mới vào Israel, khiến 5 người thiệt mạng và hàng chục người bị thương. Các hoạt động cứu hộ đã được triển khai sau cuộc tấn công chết người của Iran vào Bat Yam. Các dịch vụ khẩn cấp đã khởi động công tác cứu hộ ở Bat Yam, Israel, sau một cuộc tấn công do Iran thực hiện.

HN | Độ nóng: 932 điểm | 1127 bình luận | Tác giả: nathanyz #

https://news.ycombinator.com/item?id=44714221

Có những chính trị gia ban đầu ủng hộ hành động của chính phủ Israel, nhưng khi tình hình trở nên tồi tệ hơn, đã bày tỏ sự phản đối mạnh mẽ đối với thương vong dân sự quy mô lớn.
Cho rằng nên hoan nghênh những người thay đổi lập trường, vì họ đã có được dữ liệu hoặc quan điểm mới khi tình hình thay đổi.
Có người không hài lòng với sự thay đổi thái độ của các chính trị gia, cho rằng trước đây họ đã bỏ qua sự chiếm đóng bất hợp pháp và tội ác chiến tranh của Israel.
Có người đặt câu hỏi rằng tình hình đã rõ ràng ngay từ đầu, cho rằng truyền thông phương Tây đã bỏ qua hành vi của Israel.
Có người khẳng định rằng tình hình không phải là trắng đen rõ ràng, hành động của Israel đối với Palestine là không chính đáng.
Có người chỉ ra rằng, mặc dù Palestine có vấn đề, nhưng hành vi của Israel cũng có vấn đề tương tự.
Có người nhấn mạnh sự thật về việc Israel chiếm đóng bất hợp pháp, thanh lọc sắc tộc và thực hiện chế độ phân biệt chủng tộc.
Có người đề cập đến việc Israel đã đưa ra giải pháp hai nhà nước, nhưng Palestine đã từ chối.
Có người phản bác rằng Israel chưa bao giờ thực sự đưa ra giải pháp hai nhà nước, và Hamas đã đề xuất giải pháp này kể từ năm 2017.
Có người chỉ trích hành vi thái quá của Israel, chẳng hạn như phá dỡ nhà cửa và các khu định cư bất hợp pháp.
Có người đặt câu hỏi về quyền tồn tại của Israel, cho rằng bản thân Israel là một hành vi thái quá cần được điều chỉnh.

Show HN: Sử dụng ID của Họ – Sử dụng ID của Nghị sĩ Quốc hội Vương quốc Anh tại địa phương của bạn cho Đạo luật An toàn Trực tuyến #

Show HN: Use Their ID – Use your local UK MP’s ID for the Online Safety Act

https://use-their-id.com/

Trang web này là một giao diện truy vấn, dùng để xem bằng lái xe của các nghị viên địa phương ở Anh có thể trông như thế nào. Trang có một biểu mẫu yêu cầu người dùng nhập mã bưu điện Anh của họ để gửi truy vấn.

Tiêu đề trang web: Xem bằng lái xe của nghị viên địa phương của bạn có thể trông như thế nào.
Nhập biểu mẫu: Trang có một biểu mẫu yêu cầu người dùng nhập mã bưu điện Anh của họ. Biểu mẫu có một hộp nhập liệu và một nút gửi. Hộp nhập liệu: Vui lòng nhập mã bưu điện Anh của bạn. Nút gửi: Gửi.
Thao tác sau khi gửi: Sau khi người dùng nhập mã bưu điện và nhấp vào nút gửi, trang web sẽ truy vấn và hiển thị thông tin bằng lái xe của nghị viên địa phương dựa trên mã bưu điện được cung cấp.

HN | Độ nóng: 814 điểm | 259 bình luận | Tác giả: timje1 #

https://news.ycombinator.com/item?id=44716106

Có người ca ngợi trang web này là một sự phản đối sự ngớ ngẩn của “Đạo luật An toàn Trực tuyến”
Có người đề cập rằng đây là một phần mở rộng của định dạng URL ngôi thứ ba cho một trang web giám sát chính phủ độc lập của Vương quốc Anh
Có người bày tỏ sự đánh giá cao đối với trang web “họ làm việc cho bạn”
Có người chỉ ra rằng Đảng Bảo thủ đã giới thiệu và thông qua “Đạo luật An toàn Trực tuyến” vào năm 2023, nhưng hiện đang bỏ phiếu chống lại nó
Có người đề cập rằng Đảng Bảo thủ lần đầu tiên đề xuất dự luật này vào tháng 3 năm 2022, khi họ không sụp đổ và không có dấu hiệu mất bầu cử
Có người cho rằng đây là một dự luật có thiện ý nhưng được lên kế hoạch và soạn thảo không tốt
Có người đặt câu hỏi tại sao Đảng Bảo thủ không gỡ bỏ nó nếu dự luật là một “quả bom hẹn giờ”
Có người chỉ ra rằng Đảng Lao động nghĩ rằng phiên bản của Đảng Bảo thủ là chưa đủ xa
Có người đề cập rằng Đảng Lao động dường như muốn bãi bỏ “Đạo luật An toàn Trực tuyến”
Có người chỉ ra rằng Vương quốc Anh “có lỗi từ cả hai phía” trong vấn đề này
Có người đề cập rằng các đảng phái chính phủ sẽ bị thúc ép, và điều thú vị là những người không thuộc Đảng Lao động/cựu Đảng Lao động đã bỏ phiếu “có”
Có người chỉ trích Đảng Lao động đã bỏ phiếu ủng hộ chính sách của Đảng Bảo thủ, trong khi Đảng Bảo thủ bỏ phiếu chống lại nó
Có người chỉ ra rằng tình huống chính phủ không hành động theo ý muốn của cử tri này rất thú vị, giống như một ngón tay giữa đối với nền dân chủ
Có người đề cập rằng ở Mỹ, không có mối tương quan nào giữa sở thích bỏ phiếu của tầng lớp trung lưu và phiếu bầu của các quan chức mà họ bầu ra
Có người chỉ ra rằng Vương quốc Anh hiện giống một chế độ quân chủ hơn bao giờ hết
Có người đề cập rằng điều này không đúng ở Anh vào những năm 1800
Có người cho rằng nhiều người Anh sẽ đồng ý với các quy tắc sắp tới, bất kể chúng có hiệu quả hay không

Visa và Mastercard đang bị áp đảo bởi cơn thịnh nộ của game thủ về kiểm duyệt #

Visa and Mastercard are getting overwhelmed by gamer fury over censorship

https://www.polygon.com/news/616835/visa-mastercard-steam-itchio-campaign-adult-games

Visa và Mastercard hứng chịu cơn giận dữ từ game thủ vì vấn đề kiểm duyệt game

Sau khi các cửa hàng game như Steam và itch.io hạn chế bán game người lớn, những game thủ giận dữ đã bắt đầu tổ chức các cuộc biểu tình nhắm vào các nhà xử lý thanh toán mà họ cho là chịu trách nhiệm cho hành động này. Mặc dù chiến dịch này vẫn còn ở giai đoạn đầu, nhưng mọi người đang vận động để liên hệ với Visa và Mastercard thông qua số lượng lớn email và cuộc gọi điện thoại, với mục tiêu khiến các công ty này không thể bỏ qua vấn đề.

Trên các trang mạng xã hội như Reddit và Bluesky, mọi người khuyến khích nhau liên hệ với Visa và Mastercard qua email và điện thoại. Visa và Mastercard trở thành mục tiêu chú ý vì các cửa hàng game bị ảnh hưởng đều cho biết quyết định của họ về game người lớn là do nguy cơ mất khả năng sử dụng các nhà xử lý thanh toán chính. Các nhà xử lý thanh toán này có các quy tắc sử dụng riêng, nhưng được định nghĩa mơ hồ. Người phát ngôn của Valve và itch.io cho biết việc mất cơ sở hạ tầng như vậy có thể ảnh hưởng đến không chỉ những người quan tâm đến game khiêu dâm.

Trong một bài đăng đã bị xóa trên Steam subreddit, có hơn 17.000 lượt thích, những người bình luận cho biết đại diện dịch vụ khách hàng của cả hai nhà xử lý thanh toán dường như đã nhận thức được vấn đề này. Đôi khi, các đại diện nói rằng họ đã nhận được nhiều cuộc gọi về việc kiểm duyệt game người lớn, nhưng họ không thể thực hiện bất kỳ hành động nào về vấn đề này.

Những người gây áp lực biết rằng những người ở trung tâm cuộc gọi có quyền hạn hạn chế trong những tình huống này; thông thường, các nhân viên chỉ có thể xử lý các vấn đề tiêu chuẩn của khách hàng, chẳng hạn như gian lận thanh toán hoặc mất thẻ tín dụng. Nhưng mục đích không phải là đạt được sự thay đổi thông qua một cuộc gọi điện thoại cụ thể: mà là tạo ra đủ sự hỗn loạn, về mặt lý thuyết, bắt đầu khiến các nhà xử lý thanh toán mất tiền.

Một bình luận hàng đầu trên một bài đăng trên Reddit viết: “Email có thể bị bỏ qua, nhưng một hàng đợi rất, rất dài khiến những khách hàng khác hầu như không thể truy cập cũng sẽ rất hữu ích.” Trong cùng một bài đăng, mọi người cho biết họ sẽ tiếp tục cuộc gọi ngay cả khi tổng đài viên nói rằng họ sẽ phải trải qua hàng giờ chờ đợi vì các cuộc gọi tương tự làm tắc nghẽn đường dây. Ngoài yếu tố ngoan cố, động cơ của chiến lược này là biết rằng hầu hết các hệ thống dịch vụ khách hàng sẽ đặt những người chọn gọi lại vào hàng đợi có mức độ ưu tiên thấp hơn, vì bất kỳ ai chọn tham gia có thể không gặp trường hợp khẩn cấp.

Mọi người cũng bày tỏ mối quan tâm của họ trực tiếp với các giám đốc điều hành của Visa và Mastercard thông qua email, hai nhà xử lý thanh toán này đã bị tổ chức hoạt động Collective Shout nêu tên trong thư ngỏ của họ, yêu cầu gỡ bỏ game người lớn. Email cũng được gửi đến dịch vụ khách hàng. Trong bối cảnh nỗ lực phối hợp, nhiều người đã nhận được các phản hồi được viết sẵn, nội dung như sau:

Cảm ơn bạn đã liên hệ và chia sẻ quan điểm của bạn. Là một công ty toàn cầu, chúng tôi tuân thủ luật pháp và quy định ở bất kỳ nơi nào chúng tôi hoạt động kinh doanh. Mặc dù chúng tôi cấm rõ ràng các hoạt động bất hợp pháp trên mạng lưới của mình, nhưng chúng tôi cũng cam kết bảo vệ thương mại hợp pháp. Nếu một giao dịch là hợp pháp, chính sách của chúng tôi là xử lý giao dịch đó. Chúng tôi không đưa ra phán xét đạo đức về các giao dịch mua hợp pháp mà người tiêu dùng thực hiện. Visa không điều chỉnh nội dung mà người bán cung cấp và cũng không biết hàng hóa hoặc dịch vụ cụ thể nào đang được bán khi chúng tôi xử lý giao dịch. Khi một người bán hoạt động hợp pháp phải đối mặt với nguy cơ gia tăng các hoạt động bất hợp pháp, chúng tôi yêu cầu các biện pháp bảo vệ tăng cường được cung cấp cho ngân hàng hỗ trợ những người bán đó. Để biết thêm thông tin về chính sách của Visa, vui lòng truy cập trang tính toàn vẹn mạng lưới của chúng tôi trên Visa.com. Cảm ơn bạn đã viết thư cho chúng tôi.

Trên các nền tảng như Bluesky, mọi người chia sẻ tài nguyên để giúp mọi người biết cách liên hệ với ai, bao gồm cả các kịch bản có thể sử dụng để nói chuyện với đại diện hoặc gửi email. Một trang web đã được thiết lập với mục đích rõ ràng là cung cấp cho những người ngoài cuộc quan tâm các công cụ và kiến thức để họ có thể đóng một vai trò trong phong trào.

Trong tất cả những điều này, người chơi nói với nhau phải lịch sự trong bất kỳ tương tác nào với các nhà xử lý thanh toán, đặc biệt là khi đối phó với các nhân viên cấp thấp chỉ đang cố gắng hoàn thành công việc của họ. Đối với các giám đốc điều hành, mục đích của việc giữ một giọng điệu chu đáo là để giúp những người có quyền lực coi trọng vấn đề này.

Chiến lược này rất ấn tượng về chiều sâu và phạm vi thực hiện. Một số người xông pha với khuynh hướng của một nhà hoạt động, trong khi những người khác cho biết họ giả vờ là những khách hàng bối rối, muốn biết tại sao họ không thể sử dụng Visa hoặc Mastercard để mua trò chơi yêu thích của họ.

Trong khi đó, Collective Shout, tổ chức ban đầu khiếu nại về game người lớn với Steam, Visa và Mastercard, cũng đã đưa ra tuyên bố và dòng thời gian sự kiện của riêng họ. “Chúng tôi đã phản đối các trò chơi hiếp dâm và loạn luân trên Steam trong nhiều tháng và họ đã phớt lờ chúng tôi trong nhiều tháng,” một bài đăng trên blog của Collective Shout viết. “Chúng tôi đã tiếp cận các nhà xử lý thanh toán vì Steam không phản hồi chúng tôi.”

Collective Shout tuyên bố rằng họ chỉ kiến nghị itch.io gỡ bỏ các trò chơi liên quan đến bạo lực tình dục hoặc tra tấn đối với phụ nữ, nhưng cửa hàng này được cho là đã tự quyết định kiểm duyệt toàn bộ nội dung NSFW. Hiện tại, itch.io đã bỏ chỉ mục các trò chơi có chủ đề người lớn, có nghĩa là các trò chơi này không còn hiển thị trên trang tìm kiếm của họ nữa. Cửa hàng độc lập này vẫn đang xây dựng và phác thảo các quy tắc về nội dung người lớn trên trang web của mình, nhưng mạng lưới đã được giăng ra rộng đến mức một số trò chơi liên quan đến chủ đề LGBT cũng bị ảnh hưởng.

Trong một bài đăng phổ biến khác trên Reddit, người dùng cho biết các đại diện dịch vụ khách hàng đã chuyển từ bối rối sang tái khẳng định rằng mối quan tâm của họ đang được “lắng nghe”. “Tôi sẽ gọi lại cho họ sau vài ngày nữa để xem có bất kỳ tiến triển nào trong việc thay đổi tình hình này không,” người đăng ban đầu cho biết.

Có lẽ một bình luận khác trong bài đăng đó tóm tắt sự kiện này một cách tốt nhất: “Hai điều thực sự có thể đoàn kết người chơi: chiến dịch thù hận và sự ngu ngốc.”

HN | Độ nóng: 579 điểm | 562 bình luận | Tác giả: mrzool #

https://news.ycombinator.com/item?id=44713414

Quan điểm kỳ lạ của một số người dẫn đến việc các bộ xử lý thanh toán gây áp lực buộc các cửa hàng gỡ trò chơi xuống, đây là sự kiểm duyệt đối với nội dung mà cá nhân không thích.
Cần gây áp lực lên các bộ xử lý thanh toán để thay đổi hiện trạng, đồng thời phản đối những người cho rằng họ có thể quyết định các hoạt động trong thời gian riêng tư của những người trưởng thành khác.
Thật vô lý khi một tổ chức nữ quyền nước ngoài quyết định người Mỹ có thể xem gì và không thể xem gì trong bối cảnh chính trị hiện tại.
Không có gì lạ khi ảnh hưởng kinh tế và quân sự của Hoa Kỳ khiến nước này có ảnh hưởng đến các đối tác thương mại và đồng minh quân sự.
Những người theo đạo Tin lành ở Mỹ gây ảnh hưởng đến Uganda để tái hình sự hóa hành vi đồng tính luyến ái.
Úc hành động dựa trên luật pháp quốc gia của mình đối với nội dung khiêu dâm bất hợp pháp.
Visa và Mastercard có thể thay đổi chính sách do phản đối tập thể, nhưng cũng có thể là quyết định của riêng họ.
Lệnh cấm nội dung khiêu dâm của Visa và Mastercard là một chính sách lâu dài và liên tục.
Úc không thể xử lý bộ phận sinh dục nam trên TV, nhưng có thể xử lý còng tay có lông, đồng phục nữ sinh hoặc cấu trúc giải phẫu đã cạo.

Đăng nhập bằng Google trong Chrome #

Sign in with Google in Chrome

https://underpassapp.com/news/2025/7/5.html

Bài viết này được Jeff Johnson của Underpass App Company đăng vào ngày 28 tháng 7 năm 2025, chủ yếu thảo luận về vấn đề trải nghiệm người dùng “Đăng nhập một chạm” (One Tap) của Google. Bài viết chỉ ra rằng nhiều trang web như Yelp hiển thị biểu ngữ “Đăng nhập bằng Google” gây phiền toái khi truy cập. May mắn thay, tiện ích mở rộng trình duyệt StopTheMadness Pro do tác giả phát triển có thể ẩn các biểu ngữ này.

Bài viết giải thích thêm rằng nếu bạn đang sử dụng trình duyệt Safari hoặc Firefox, bạn có thể không nhận ra rằng các biểu ngữ này chưa bao giờ hiển thị trong trình duyệt Google Chrome. Tác giả hướng dẫn người đọc cách xác minh điều này trong macOS Safari bằng cách giả mạo tiêu đề User-Agent của Chrome. Bật “Hiển thị tính năng cho nhà phát triển web” trong cài đặt nâng cao của Safari, điều này sẽ thêm một menu Phát triển vào thanh menu chính của Safari. Menu Phát triển có một menu con User-Agent liệt kê nhiều trình duyệt web. Khi bạn chọn Google Chrome từ danh sách và tải trang web Yelp, biểu ngữ “Đăng nhập bằng Google” sẽ không còn xuất hiện.

Mặc dù Chrome tránh được biểu ngữ “Đăng nhập bằng Google”, nhưng trình duyệt của Google vẫn có những phiền toái tùy chỉnh riêng. Nếu bạn đã đăng nhập vào tài khoản Google của mình khi truy cập các trang web tham gia như Yelp, Chrome sẽ hiển thị hộp thoại One Tap. Hộp thoại này có hai điểm khác biệt quan trọng so với biểu ngữ “Đăng nhập bằng Google” được thấy trong Safari và Firefox. Thứ nhất, hộp thoại Chrome không phải là một phần tử của trang web mà là một phần của giao diện người dùng ứng dụng gốc của Chrome. Do đó, StopTheMadness Pro không thể ẩn hộp thoại này. Trên thực tế, khi Chrome hiển thị hộp thoại, nó sẽ chặn tất cả các cửa sổ bật lên tiện ích mở rộng Chrome xuất hiện. Thứ hai, hộp thoại Chrome có thể bị tắt trong cài đặt của Chrome. Nhập chrome://settings/content/federatedIdentityApi vào thanh địa chỉ để truy cập trực tiếp cài đặt đó.

Cuối cùng, tác giả kêu gọi tòa án và các cơ quan quản lý chống độc quyền chú ý đến vấn đề này, cho rằng đây là một ví dụ khác về việc Google ưu ái trình duyệt Chrome của mình, mặc dù ông thừa nhận rằng họ có thể không đọc blog của ông.

HN | Độ nóng: 527 điểm | 271 bình luận | Tác giả: frizlab #

https://news.ycombinator.com/item?id=44715166

Tính năng Đăng nhập bằng một chạm của Google xâm phạm quyền riêng tư của người dùng, thu thập thông tin cá nhân.
Google One Tap có thể tăng đáng kể số lượng đăng ký của người dùng, có lợi cho việc quảng bá sản phẩm.
Người dùng thường chỉ nhấp vào “Tiếp tục” để đóng hộp thoại, chứ không thực sự muốn đăng ký.
Người dùng không quan tâm đến việc có đăng ký hay không, nhưng ghét các quy trình đăng ký phức tạp và xác minh email.
Người dùng sử dụng chức năng “Ẩn địa chỉ email của tôi” của Apple để đăng ký nhằm giảm thư rác.
Một số trang web chặn các email tạm thời, chẳng hạn như 10minutemail, v.v.
Chuyển tiếp email của Apple vẫn chưa bị chặn, vì người dùng thiết bị Apple là khách hàng có giá trị cao.
Khi đăng nhập thông qua các bên thứ ba như Google, Facebook, v.v., cũng phải cho phép sử dụng đăng nhập bằng Apple.
Một số trang web chưa bao giờ nói rằng họ cho rằng việc đăng ký của người dùng là có chủ ý.
Đăng nhập bằng một chạm có thể tăng doanh thu mà không cần thêm chi phí.
Một số trang web bật lên cửa sổ đăng nhập Google khi người dùng bắt đầu nhập truy vấn, ảnh hưởng đến trải nghiệm người dùng.
Người dùng chuyển sang trình duyệt Firefox vì các hành vi chống người dùng, chống quyền riêng tư của Google.
Người dùng cảm thấy khó chịu với việc bắt focus chậm trễ của cửa sổ đăng nhập bật lên.
Người dùng không coi thư rác được gửi qua email là “giao tiếp”.
Người dùng có thể mất quyền truy cập vào tài khoản Google, dẫn đến không thể xác minh qua email.
Người dùng sử dụng địa chỉ Gmail để đăng nhập vào trang web, nếu quên mật khẩu thì không thể đặt lại.
Người dùng không nên sử dụng địa chỉ Gmail mà nên có email tên miền riêng của mình.

Chiếc laptop 2.5 năm tuổi của tôi giờ có thể viết Space Invaders bằng JavaScript (GLM-4.5 Air) #

My 2.5 year old laptop can write Space Invaders in JavaScript now (GLM-4.5 Air)

https://simonwillison.net/2025/Jul/29/space-invaders/

Simon Willison đã chia sẻ một tiến bộ công nghệ ấn tượng trên blog của mình. Ông đề cập đến dòng mô hình GLM-4.5, một tập hợp các mô hình mã nguồn mở mới được phát hành bởi công ty Z.ai của Trung Quốc, đạt điểm số rất cao trong các nhiệm vụ mã hóa, thậm chí có thể so sánh với các mô hình như Claude Sonnet 4. Các mô hình này có quy mô khá lớn, ngay cả mô hình GLM-4.5 Air nhỏ hơn cũng có 106 tỷ tham số, chiếm 205.78GB dung lượng lưu trữ.

Để cho phép các máy có bộ nhớ 64GB chạy các mô hình này, Ivan Fioravanti đã tạo ra một phiên bản lượng tử hóa 3bit 44GB, được tối ưu hóa đặc biệt cho nền tảng MLX. Simon Willison đã thử phiên bản này và thấy nó chạy rất tốt. Ông đưa ra một gợi ý cho mô hình: “Viết một trang HTML và JavaScript để triển khai trò chơi Space Invaders”, và sau một thời gian xử lý, mô hình đã tạo ra mã thành công. Mặc dù đây không phải là một ví dụ đặc biệt mới lạ, nhưng Simon Willison tin rằng một mô hình chạy trên máy tính xách tay 2,5 năm tuổi của ông (64GB MacBook Pro M2) có thể tạo ra mã như vậy, đặc biệt là mã hoạt động ngay lần đầu tiên mà không cần chỉnh sửa thêm, là điều rất đáng chú ý.

Simon Willison mô tả chi tiết cách ông chạy mô hình này. Ông đã sử dụng nhánh chính hiện tại của thư viện mlx-lm để đảm bảo rằng ông có commit đã thêm hỗ trợ glm4_moe. Ông sử dụng uv để chạy thư viện và sử dụng phương pháp chạy mô hình MLX tiêu chuẩn trong trình thông dịch Python. Ông đã tải xuống trọng số mô hình 44GB vào thư mục cache của mình, sau đó sử dụng tokenizer và hàm generate để tạo phản hồi.

Phản hồi của mô hình bắt đầu bằng một quá trình suy nghĩ, mô hình nhận ra rằng người dùng muốn tạo một trò chơi Space Invaders sử dụng HTML, CSS và JavaScript, và cần có các chức năng sau: tàu vũ trụ của người chơi có thể di chuyển sang trái và phải và bắn, kẻ xâm lược di chuyển theo đội hình và phản công, theo dõi điểm số, hệ thống sinh mệnh/sức khỏe và các điều kiện kết thúc trò chơi, v.v. Sau đó, mô hình tạo ra mã HTML và gỡ lỗi đầu ra, hiển thị các gợi ý, thế hệ và mức sử dụng bộ nhớ cao nhất.

Ngoài ra, Simon Willison cũng đề cập đến việc ông đã sử dụng điểm chuẩn pelican để kiểm tra các mô hình kích thước đầy đủ và không thể cưỡng lại việc thử mô hình 3bit nhỏ hơn này. Ông nhận được kết quả “tạo một SVG về một con bồ nông đi xe đạp” và chia sẻ các bản ghi tương ứng.

Simon Willison chỉ ra rằng hầu hết mọi mô hình được phát hành vào năm 2025 đều đặc biệt nhắm mục tiêu vào các nhiệm vụ mã hóa, và sự tập trung này rõ ràng đã mang lại hiệu quả: các mô hình mã hóa này hiện thực sự trở nên rất tốt. Ông nhớ lại rằng khi ông thử LLaMA lần đầu tiên cách đây hai năm, ông chưa bao giờ mơ rằng cùng một máy tính xách tay mà ông đã sử dụng vào thời điểm đó một ngày nào đó có thể chạy một mô hình có khả năng mạnh mẽ như GLM 4.5 Air, cũng như các mô hình chất lượng cao khác như Mistral 3.2 Small, Gemma 3, Qwen 3, v.v., tất cả đều đã xuất hiện trong sáu tháng qua.

Cuối cùng, Simon Willison đề cập đến loạt blog của ông “LLMs trên thiết bị cá nhân” và liên kết đến các bài viết liên quan khác của ông.

HN | Độ nóng: 431 điểm | 313 bình luận | Tác giả: simonw #

https://news.ycombinator.com/item?id=44723316

Các mô hình nguồn mở đã vượt quá mong đợi về chất lượng và tốc độ phát hành, với những tiến bộ vượt bậc so với hai năm trước.
Việc rò rỉ mô hình LLama có thể là cố ý, mang lại sự phát triển nhanh chóng trong việc tối ưu hóa và tinh chỉnh mô hình.
Các mô hình nguồn mở отстают khoảng шесть месяцев so với các mô hình phòng thí nghiệm tiên tiến nhất, nhưng khoảng cách này đã rất nhỏ.
Thông qua tinh chỉnh, ngay cả các mô hình nhỏ cũng có thể vượt trội hơn đáng kể so với các mô hình SOTA lớn trên các nhiệm vụ cụ thể và chi phí vận hành thấp hơn.
Đối với tự lưu trữ, có các công ty cung cấp dịch vụ tinh chỉnh LoRA dựa trên giá theo token.
Tinh chỉnh có thể phá hủy khả năng của mô hình, cần phải rất cẩn thận.
Có thể đo lường xem khả năng của mô hình có bị phá hủy sau khi tinh chỉnh hay không bằng cách đặt một loạt các câu hỏi giống nhau cho mô hình.
Trong trường hợp có tài nguyên và các trường hợp sử dụng cụ thể, việc sử dụng các mô hình nhỏ để tinh chỉnh có thể có ý nghĩa hơn.
Tinh chỉnh không phổ biến hoặc có ý nghĩa đối với hầu hết các doanh nghiệp.
Sử dụng Axolotl và Unsloth để tinh chỉnh mô hình, tài liệu Axolotl cung cấp tài nguyên học tập.
Có các công ty cung cấp dịch vụ lưu trữ mô hình ở EU, chẳng hạn như DeepSeek, Qwen3, Kimi.
Đối với phần cứng của Apple, MLX là một lựa chọn phù hợp để tinh chỉnh.
Trong thư viện Hugging Face transformers, peft là thư viện được sử dụng để tinh chỉnh.
Unsloth là một cách đơn giản để tinh chỉnh do yêu cầu bộ nhớ thấp.
Một người dùng đã đề cập rằng Brev.dev đã từng cung cấp các hướng dẫn dễ làm theo, nhưng sau đó đã bị Nvidia gỡ xuống.

Tôi đã thiết kế codec video streaming game tốc độ cao của riêng mình – PyroWave #

I designed my own fast game streaming video codec – PyroWave

https://themaister.net/blog/2025/06/16/i-designed-my-own-ridiculously-fast-game-streaming-video-codec-pyrowave/

Bài viết này thảo luận về việc tác giả thiết kế một bộ giải mã video (codec) truyền phát trò chơi nhanh có tên là PyroWave. Bài viết bắt đầu bằng cách chỉ ra rằng việc truyền phát hình ảnh trò chơi từ một máy sang máy khác là một trường hợp sử dụng ngày càng phổ biến, đòi hỏi độ trễ cực thấp. Tác giả mô tả chi tiết các bước khác nhau trong quá trình truyền phát, bao gồm gửi đầu vào bộ điều khiển, kết xuất khung hình, mã hóa khung hình, gửi qua mạng, giải mã và hiển thị hình ảnh, đồng thời nhấn mạnh rằng mỗi bước đều làm tăng độ trễ, do đó cần phải giảm thiểu những độ trễ này.

Bài viết đề cập rằng, để đạt được độ trễ thấp, cần kiểm soát chặt chẽ bộ giải mã video, từ bỏ một số kỹ thuật thường được sử dụng trong các bộ giải mã video hiện đại, chẳng hạn như kiểm soát tốc độ linh hoạt và B-frame. Tác giả đề cập rằng, vì bộ giải mã không được làm tăng độ trễ và hoạt động trong một ngân sách bitrate cố định, nên cần phải áp dụng bitrate không đổi với giới hạn cứng và P-frame hoặc làm mới nội bộ GOP vô hạn.

Tác giả hồi tưởng lại bộ giải mã video đơn giản, độ phức tạp thấp mà mình đã thiết kế khi còn là sinh viên, và sau khi xử lý Vulkan video và PyroFling, tác giả lại có hứng thú thiết kế bộ giải mã. Anh ấy muốn kiểm tra xem điều gì sẽ xảy ra nếu thiết kế một bộ giải mã tập trung vào truyền phát cục bộ và có độ trễ thấp nhất có thể.

Bài viết tiếp tục thảo luận về việc tác giả từ bỏ dự đoán chuyển động, chỉ sử dụng khung hình nội bộ (intra-only). Mặc dù điều này sẽ dẫn đến sự tăng vọt về bitrate, nhưng có thể đạt được khả năng phục hồi lỗi tốt hơn, sự đơn giản và chất lượng nhất quán. Tác giả đề cập rằng, khung hình nội bộ có trường hợp sử dụng của nó trong phim kỹ thuật số (như Motion JPEG2000) và các ứng dụng chuyên nghiệp hơn, những ứng dụng này coi trọng những yếu tố này hơn là băng thông nén.

Tác giả cũng từ bỏ mã hóa entropy, vì mã hóa entropy là một cơn ác mộng đối với việc song song hóa, điều này có nghĩa là việc sử dụng shader tính toán trên GPU để mã hóa trở nên rất khó khăn. Tác giả đã chọn không sử dụng mã hóa entropy để tăng tốc độ.

Bài viết đề cập đến phép biến đổi wavelet rời rạc (DWT), một phương pháp thay thế đã cố gắng thay thế DCT vào những năm 90, nhưng cuối cùng đã thất bại. DWT vẫn có một vị trí trong một số lĩnh vực ngày nay, đặc biệt là trong nén video nội bộ. Tác giả giải thích nguyên lý hoạt động của DWT, đó là lấy mẫu hình ảnh xuống và tính toán “sai số” giữa hình ảnh độ phân giải cao và hình ảnh độ phân giải thấp. Tác giả đã chọn phân tích thành 5 cấp độ và thảo luận về độ phức tạp của việc lượng tử hóa wavelet, cũng như cách tận dụng hiệu ứng nhận thức thị giác của con người để kiểm soát tốc độ.

Bài viết cuối cùng thảo luận về quá trình đóng gói các hệ số thành các khối, đây là phần tốn thời gian nhất trong thiết kế bộ giải mã. Khối cơ bản là hệ số 32×32, tạo thành một đơn vị bitstream độc lập, có thể được giải mã độc lập. Nếu xảy ra mất gói dữ liệu, có thể thực hiện sửa lỗi bằng cách giả định tất cả các hệ số bằng không, điều này có thể dẫn đến một vị trí ngẫu nhiên nào đó trong khung hình bị mờ nhẹ, nhưng có thể không bị phát hiện. Khối 32×32 được chia nhỏ hơn nữa thành các khối 8×8, sau đó chia thành các khối 4×2, thiết kế này được tối ưu hóa cho cấu trúc phân cấp luồng GPU.

HN | Độ nóng: 415 điểm | 127 bình luận | Tác giả: Bogdanp #

https://news.ycombinator.com/item?id=44714914

VC-2 do BBC phát triển là một codec độ trễ cực thấp dựa trên wavelet. Hiện tại, chỉ có các triển khai CPU trong ffmpeg và kho lưu trữ chính thức của BBC. Có người đang lên kế hoạch phát triển phiên bản tăng tốc CUDA cho nó.
Hiệu năng của codec được triển khai bằng Vulkan không tốt, mức sử dụng GPU đạt 95% nhưng tốc độ chỉ gấp đôi codec/decoder SIMD tham khảo.
Có các API có thể bỏ qua phần “tải vào CPU RAM”, chẳng hạn như Desktop Duplication API và Windows.Graphics.Capture của Windows, GStreamer và dmabuf của Linux.
JPEG-XS là phiên bản kế thừa gần như trực tiếp của VC-2, sử dụng cùng một công nghệ, nhưng các hạn chế về bằng sáng chế đã hạn chế việc sử dụng nó.
Các vector chuyển động trong codec video tương đương với phép chiếu 2D của vector chuyển động 3D, có thể được sử dụng để hướng dẫn bù chuyển động của video.
Mạng nơ-ron không liên quan đến các vector chuyển động của codec video, việc tạo ra các khung hình mới là luồng quang học 2D, không có sự tham gia của 3D.
Việc tạo ra P-frame trong codec video không nhất thiết phải mã hóa một vector 2D thực tế để “di chuyển pixel”, đã có những cách triển khai phức tạp hơn.

Ngừng bán “không giới hạn”, khi bạn có nghĩa là “cho đến khi chúng tôi thay đổi ý định” #

Stop selling “unlimited”, when you mean “until we change our minds”

https://blog.kilocode.ai/p/ai-pricing-playbook-strikes-again

Bài viết này đến từ Kilo Code Blog, chủ đề là về thảo luận chiến lược định giá AI, đặc biệt nhắm vào những công ty lấy “vô hạn” làm điểm bán hàng, nhưng thực tế lại thay đổi ý định. Bài viết được Brendan O’Leary đăng vào ngày 29 tháng 7 năm 2025.

Quan điểm cốt lõi của bài viết là, công ty Anthropic gần đây đã thêm giới hạn sử dụng hàng tuần cho dịch vụ Claude Pro (20 đô la mỗi tháng) và Claude Max (200 đô la mỗi tháng), ảnh hưởng đến những người dùng Claude Code sử dụng nhiều nhất. Tác giả cho rằng đây là một chiến lược phổ biến của các công ty AI: đầu tiên dùng truy cập “vô hạn” để thu hút người dùng, sau đó hạn chế những người dùng nặng quan trọng nhất.

Bài viết đề cập rằng, các bước của chiến lược này bao gồm: khởi động với giới hạn hào phóng hoặc vô hạn, xây dựng sự phụ thuộc của người dùng, sau đó thêm giới hạn cho “dưới 5%” người dùng, và mô tả nó như là “tính bền vững” hoặc “tính công bằng”. Tác giả chỉ ra rằng, chiến lược này gây tổn hại cho cộng đồng nhà phát triển, bởi vì nó phá vỡ lòng tin của những người thúc đẩy tăng trưởng và áp dụng.

Bài viết cũng đề cập rằng, khi gặp vấn đề “vượt quá giới hạn tốc độ”, các nhà phát triển sẽ không xem xét chi phí cơ sở hạ tầng, mà sẽ tìm kiếm các giải pháp thay thế. Tác giả nhấn mạnh rằng, suy luận AI thực sự tốn kém, các nhà phát triển hiểu giới hạn tài nguyên, nhưng điều họ không chấp nhận là bị nói “vô hạn”, sau đó phát hiện ra các giới hạn ẩn sau khi xây dựng quy trình làm việc xung quanh công cụ.

Kilo Code đưa ra một phương pháp khác: cam kết “vô hạn” không có giới hạn ẩn, trả tiền theo mức sử dụng minh bạch ngay từ đầu, người dùng có thể kiểm soát chi tiêu và sử dụng, điểm không bao giờ hết hạn. Bài viết cũng đề cập đến một ưu đãi đặc biệt: trong tuần này, mỗi khoản tiền gửi sẽ nhận được thêm 300% điểm. Điều này có nghĩa là, khi Claude giới hạn người dùng 200 đô la mỗi tháng, người dùng chỉ cần trả 50 đô la để nhận được sự trợ giúp mã hóa AI trị giá 200 đô la, giới hạn duy nhất là phải sử dụng điểm thưởng trong vòng 30 ngày.

Cuối cùng, tác giả cho rằng AI sẽ không thay thế các nhà phát triển, nhưng các nhà phát triển sử dụng AI sẽ thay thế các nhà phát triển không sử dụng AI. Ông kêu gọi lĩnh vực AI trưởng thành hơn, người dùng ngày càng thông minh hơn về các trò chơi định giá. Đối với các công ty, nên trung thực về chi phí, cho phép người dùng kiểm soát giới hạn và làm cho giá cả có thể dự đoán được. Đối với các nhà phát triển, nên ngừng chấp nhận trò “mồi và đổi” “bình thường” này, tìm kiếm các giải pháp thay thế minh bạch. Bài viết khuyến khích độc giả dùng thử Kilo Code và nhận thêm 300% điểm trong tuần này.

HN | Độ nóng: 343 điểm | 315 bình luận | Tác giả: heymax054 #

https://news.ycombinator.com/item?id=44721003

Khi đăng ký dịch vụ, người dùng phải đối mặt với chi phí chuyển đổi nhà cung cấp, điều này trở thành một hào nhỏ bảo vệ nhà cung cấp hiện tại.
Thu hút người dùng bằng cách cung cấp dịch vụ “không giới hạn”, sau đó thay đổi điều khoản dịch vụ, là một chiến lược mồi nhử và chuyển đổi hiện đại.
Người dùng buộc phải đánh giá dịch vụ dựa trên giá trị thực tế được cung cấp, điều này có thể là một điều tốt.
Nếu xuất hiện một hào thực sự, người dùng có thể lún sâu hơn vào hệ sinh thái của một nhà cung cấp duy nhất, điều này sẽ rất tệ.
Nhà cung cấp có thể sử dụng chức năng bộ nhớ như một hào bảo vệ, không cho phép người dùng di chuyển bộ nhớ, vì bộ nhớ có thể là các vector không thể đọc được.
Đối với LLMs, bộ nhớ có thể không hữu ích lắm, vì chúng chủ yếu được sử dụng cho các tác vụ rời rạc.
Khó chuyển “ý tưởng” được mã hóa từ mô hình này sang mô hình khác, vì vậy các từ mà con người có thể đọc được có thể vẫn là một nút thắt cổ chai hẹp trong lĩnh vực này.
Thay đổi sản phẩm có thể bị coi là quảng cáo sai sự thật, gần như bất hợp pháp, nhưng luật pháp có thể đứng về phía người tiêu dùng.
Nếu sản phẩm thay đổi đáng kể, khiến người dùng không còn coi nó giống như khi đăng ký, có thể cấu thành mồi nhử và chuyển đổi, người dùng nên ngừng thanh toán.
Ngoài chi phí chuyển đổi, hiện tại vẫn thiếu các lựa chọn thay thế tốt như Claude Code.

Các sự thật không liên quan về mèo được thêm vào các bài toán làm tăng lỗi của LLM lên 300% #

Irrelevant facts about cats added to math problems increase LLM errors by 300%

https://www.science.org/content/article/scienceadviser-cats-confuse-ai

Bài viết này chủ yếu thảo luận về một số khám phá và tin tức mới nhất trong lĩnh vực khoa học, bao gồm những tiến bộ mới nhất trong vật lý học, chính sách và sinh học, cũng như những hạn chế của trí tuệ nhân tạo trong việc xử lý thông tin.

Trong lĩnh vực vật lý học, bài viết đưa tin về một khám phá liên quan đến lông công. Các nhà nghiên cứu đã phát hiện ra rằng lông đuôi đầy màu sắc của chim công ẩn chứa các cấu trúc phản xạ siêu nhỏ, có khả năng khuếch đại ánh sáng thành tia laser. Phát hiện này là ví dụ đầu tiên về khoang laser được tìm thấy trong giới động vật. Cấu trúc vi mô có trật tự trong lông công có khả năng phản xạ các tần số ánh sáng cụ thể, tạo ra màu xanh lam và xanh lục rực rỡ, cũng như ánh kim cầu vồng. Các nhà nghiên cứu đã phát hiện ra hai bước sóng laser khác nhau phát ra từ các đốm mắt trên lông bằng các thiết bị phòng thí nghiệm, mặc dù những tia laser này quá yếu để mắt thường có thể nhìn thấy. Các nhà nghiên cứu vẫn chưa xác định được cấu trúc vi mô cụ thể nào chịu trách nhiệm cho việc khuếch đại laser, nhưng họ suy đoán rằng đó có thể là các hạt protein trong lông. Phát hiện này không có nghĩa là chim có thể sử dụng khả năng này, nhưng nó cho thấy vật liệu sinh học có thể được sử dụng trong tương lai để chế tạo laser có thể cấy ghép an toàn vào cơ thể người và được sử dụng để cảm biến sinh học, chụp ảnh y tế và điều trị.

Trong lĩnh vực chính sách, bài viết thảo luận về kế hoạch của Quỹ Khoa học Quốc gia Hoa Kỳ (NSF) nhằm chấm dứt hỗ trợ cho tàu phá băng nghiên cứu khoa học Nam Cực duy nhất của Hoa Kỳ, RV Nathaniel B. Palmer. Điều này sẽ dẫn đến việc Hoa Kỳ lần đầu tiên kể từ những năm 1960 không có tàu nghiên cứu chuyên dụng nào ở khu vực này. Hơn 175 nhà khoa học đã cùng ký tên vào một lá thư gửi lãnh đạo NSF và Quốc hội, yêu cầu xem xét lại quyết định này. Tàu Palmer rất quan trọng đối với các nghiên cứu trong khu vực, bao gồm cả việc cung cấp lối đi cho sông băng “ngày tận thế” ở Tây Nam Cực. Con tàu có thể hoạt động thêm mười năm nữa hoặc lâu hơn, cho đến khi các tàu Nam Cực mới sẵn sàng. Nhưng những kế hoạch này cũng đang ở trạng thái không chắc chắn, vì chính quyền Trump cũng đã đề xuất cắt giảm tài trợ cho việc phát triển người kế nhiệm của tàu Palmer.

Trong lĩnh vực sinh học, bài viết giới thiệu một nghiên cứu về protein. Bộ gen người có gần 20.000 gen mã hóa protein, những phân tử này hỗ trợ hầu hết các chức năng của cơ thể. Các nhà nghiên cứu, thông qua nghiên cứu ba protein khác nhau ở người, lúa mạch và vi khuẩn E. coli, đã phát hiện ra rằng khi họ trao đổi ngẫu nhiên mã di truyền của bề mặt hoặc phần lõi của protein, thì độ phong phú của protein giảm một nửa trong hơn 93% mẫu. Tuy nhiên, khi phân tích những protein phát triển mạnh, các nhà nghiên cứu nhận thấy rằng cấu trúc di truyền cơ bản của protein rất đơn giản và dễ cấy ghép. Bằng cách theo dõi các trao đổi ngẫu nhiên nhỏ tương tự như các đột biến có thể xảy ra trong tự nhiên, họ có thể sử dụng mô hình để dự đoán cách các protein đột biến này có thể tiến hóa trong hàng triệu năm. Sau đó, khi họ trao đổi mã di truyền của lõi và bề mặt protein đã “tiến hóa” trong hàng trăm triệu năm, nhiều protein đã sống sót. Tuy nhiên, các nhà nghiên cứu phát hiện ra rằng nhiều trao đổi dẫn đến việc protein hoạt động kém hơn khi liên kết với các phân tử khác. Điều này dẫn đến việc các nhà nghiên cứu kết luận rằng sự thay đổi trình tự của lõi protein có thể bị phản đối một cách chọn lọc trong quá trình tiến hóa, không phải vì chúng làm protein không ổn định, mà vì chúng làm cho protein hoạt động kém hiệu quả hơn trong sinh vật. Các tác giả hy vọng rằng công trình của họ có thể được sử dụng để dự đoán sự ổn định và thành công của protein được thiết kế nhân tạo. Họ viết rằng nghiên cứu của họ đã bổ sung vào “ngày càng nhiều công trình gần đây cho thấy protein đơn giản và ít phức tạp hơn so với những gì được cho là rộng rãi.”

Cuối cùng, bài viết khám phá những hạn chế của trí tuệ nhân tạo trong việc xử lý thông tin. Các nhà nghiên cứu đã kiểm tra khả năng toán học của các mô hình ngôn ngữ lớn bằng cách thêm “các trình kích hoạt đối nghịch không phụ thuộc vào truy vấn” - các đoạn văn bản ngắn, không liên quan, khi được thêm vào các bài toán, sẽ có hệ thống đánh lừa mô hình đưa ra câu trả lời sai mà không làm thay đổi ý nghĩa của bài toán. Chiến lược này được gọi là CatAttack. Các nhà nghiên cứu cho biết, “các trình kích hoạt không phụ thuộc vào ngữ cảnh, do đó con người sẽ bỏ qua chúng khi được hướng dẫn giải quyết vấn đề” - nhưng trí tuệ nhân tạo thì không. Mặc dù họ không cung cấp dữ liệu trực tiếp để chứng minh điều này, nhưng phát hiện này cho thấy rằng ngay cả các mô hình ngôn ngữ lớn cũng có thể bị đánh lừa bởi thông tin không liên quan đơn giản, khiến chúng mắc lỗi khi giải quyết vấn đề.

HN | Độ nóng: 272 điểm | 130 bình luận | Tác giả: sxv #

https://news.ycombinator.com/item?id=44724238

Nghiên cứu này nhấn mạnh tác động của nhiễu đối kháng lên LLMs, đặc biệt là trong các lĩnh vực ứng dụng quan trọng như tài chính, pháp lý và y tế, đòi hỏi các cơ chế phòng thủ mạnh mẽ hơn.
Mọi người nên ngừng so sánh con người với AI, tập trung vào các vấn đề hiện tại của LLMs và nghiên cứu trong tương lai.
LLMs dễ bị thao túng khi đối mặt với thông tin không liên quan, đây là một vấn đề cần giải quyết.
Quá nhiều định nghĩa về công cụ MCP có thể phá hủy khả năng thiết kế và viết mã chính xác của LLMs.
Mọi người thường bỏ qua dữ liệu không liên quan khi sử dụng LLMs, nhưng kết quả của nghiên cứu này không phù hợp với kinh nghiệm cá nhân.
Khi triển khai AI, mọi người thường quá tập trung vào “trường hợp lý tưởng” mà bỏ qua những vấn đề có thể xảy ra.
Không phải ai cũng có ý định thay thế “người bình thường” khi sử dụng các công cụ này, vì vậy câu nói “con người cũng mắc lỗi này” không phải lúc nào cũng hữu ích.
Ưu điểm của hệ thống tự chủ là có thể mở rộng quy mô lớn, nhưng phải đảm bảo chúng không mắc phải những sai lầm của con người.
Việc ánh xạ LLM/LRMs vào các tác nhân phản xạ dựa trên mô hình, hành vi dự kiến này là điều dễ hiểu.
Con người không phải lúc nào cũng có thể bỏ qua thông tin không liên quan khi được hướng dẫn giải quyết vấn đề.
Con người có thể không hoạt động tốt hơn LLMs khi đối mặt với thông tin không liên quan.
Con người có thể không thông minh như LLMs trên bề mặt khi giải quyết một số vấn đề nhất định.
Bộ não con người có thể chỉ đơn giản là truy xuất các khái niệm từ hàm khớp thống kê đa chiều, thông tin bổ sung có thể gây nhiễu cho tính toán.
Con người sẽ nhận ra ngay đây là một cái bẫy.
Ngay cả khi mô hình “bỏ qua” thông tin không liên quan, sự tồn tại của thông tin này có thể thay đổi xác suất đầu ra theo một cách nào đó.
Nên nhắc mô hình bỏ qua thông tin không liên quan và kiểm tra xem mô hình có thể thực hiện tốt hơn và bỏ qua những tuyên bố này hay không.
Mọi người nên có tiêu chuẩn cao hơn đối với LLMs, thay vì chỉ so sánh với “những người có trí thông minh phi thường và kiến thức bách khoa”.

Pony: Một ngôn ngữ lập trình hiệu năng cao, bảo mật theo mô hình actor và khả năng #

Pony: An actor-model, capabilities-secure, high-performance programming language

https://www.ponylang.io/

Chào mừng đến với trang web chính thức của ngôn ngữ lập trình Pony. Pony là một ngôn ngữ lập trình hiệu năng cao, mã nguồn mở, hướng đối tượng, dựa trên mô hình actor và an toàn về khả năng.

Liên kết nhanh #

Pony là gì?
Các câu hỏi thường gặp
Thử Pony trong trình duyệt
Ứng dụng Pony mẫu
Cài đặt
Bắt đầu học Pony
Hướng dẫn
Tài liệu thư viện chuẩn
Nhận trợ giúp
Tham khảo dành cho người dùng hiện tại
Tài nguyên cộng đồng
Quy tắc ứng xử cộng đồng
Cách đóng góp
Thông tin phát hành

Pony là gì? #

Pony là một ngôn ngữ lập trình hiệu năng cao, kết hợp các đặc tính của lập trình hướng đối tượng và mô hình actor, đồng thời có tính an toàn về khả năng. Ngôn ngữ này được thiết kế để cung cấp một cách an toàn và hiệu quả để xây dựng các chương trình đồng thời.

Tại sao nên chọn Pony? #

Triết lý Pony có những nguyên tắc chỉ đạo cốt lõi, bao gồm:

An toàn năng lực (Capability-safe): Pony sử dụng hệ thống năng lực để đảm bảo an toàn bộ nhớ và an toàn đồng thời.
Hiệu năng cao: Pony được thiết kế để cung cấp hiệu năng cao cho việc thực thi đồng thời, không cần thu gom rác.
Tính đơn giản: Thiết kế của Pony chú trọng đến sự đơn giản, dễ học và dễ sử dụng.

Tại sao không chọn Pony? #

Mặc dù Pony có nhiều ưu điểm, nhưng cũng tồn tại một số tình huống có thể không phù hợp với tất cả các dự án, ví dụ:

Hệ sinh thái: So với các ngôn ngữ lập trình trưởng thành khác, hệ sinh thái của Pony có thể không đủ phong phú.
Đường cong học tập: Đối với các nhà phát triển quen với các mô hình lập trình khác, Pony có thể cần một khoảng thời gian học tập nhất định.

Học Pony #

Cài đặt Pony: Cung cấp hướng dẫn cài đặt, giúp người dùng bắt đầu sử dụng Pony.
Bắt đầu: Cung cấp hướng dẫn bắt đầu và các khả năng tham khảo cho người mới bắt đầu.
Bài báo: Cung cấp các bài báo khoa học về Pony, đi sâu vào các ý tưởng thiết kế và triển khai của nó.

Sử dụng Pony #

Gỡ lỗi: Cung cấp các công cụ và kỹ thuật để gỡ lỗi các chương trình Pony.
Quản lý phụ thuộc: Giới thiệu các công cụ và phương pháp quản lý phụ thuộc của Pony.
Hiệu năng: Cung cấp các kỹ thuật tối ưu hóa hiệu năng và phương pháp kiểm thử.

Đóng góp cho Pony #

Phân loại vấn đề: Cách phân loại và xử lý các vấn đề của Pony.
Tài liệu dự án: Cung cấp hướng dẫn viết và duy trì tài liệu dự án Pony.
CI: Giới thiệu quy trình và công cụ tích hợp liên tục (Continuous Integration) của Pony.

Cộng đồng #

Zulip: Nền tảng nhắn tin tức thời của cộng đồng Pony.
Giờ làm việc: Giờ làm việc định kỳ của cộng đồng, dành cho các nhà phát triển trao đổi và giải quyết vấn đề.
Tin tức: Các động thái và tin tức mới nhất về Pony.
Nhóm người dùng ảo: Một nhóm người dùng cộng đồng ảo, dành cho người dùng thảo luận và chia sẻ kinh nghiệm sử dụng Pony.

Blog #

Lưu trữ: Lưu trữ blog của Pony, bao gồm các bài viết và cập nhật cũ.
Phân loại: Các phân loại khác nhau của bài viết blog, chẳng hạn như Lịch sử, Trải nghiệm ban đầu về Pony, Trạng thái ổn định, v.v.

Câu hỏi thường gặp (FAQ) #

Về Pony: Cung cấp thông tin cơ bản và các câu hỏi thường gặp về Pony.
Mã: Thông tin về so sánh với các ngôn ngữ khác, biên dịch, hệ sinh thái, liên kết và thời gian chạy, v.v.

Nhà tài trợ #

Sự phát triển của Pony nhận được sự hỗ trợ từ một số nhà tài trợ, những nhà tài trợ này đã cung cấp vốn và tài nguyên cho cộng đồng Pony.

Tóm tắt trên cung cấp thông tin cơ bản về ngôn ngữ lập trình Pony, tài nguyên học tập, hướng dẫn sử dụng, tương tác cộng đồng và cách đóng góp, cũng như giải đáp các câu hỏi thường gặp. Thông qua những thông tin này, người dùng có thể hiểu toàn diện về Pony và quyết định xem có nên áp dụng nó vào dự án của mình hay không.

HN | Độ nóng: 267 điểm | 223 bình luận | Tác giả: RossBencina #

https://news.ycombinator.com/item?id=44719413

Ngôn ngữ Pony là một ngôn ngữ lập trình dựa trên mô hình actor, an toàn về khả năng và hiệu năng cao.
Sylvan Clebsch, nhà thiết kế ban đầu của Pony, hiện đang làm việc trong dự án Verona của Microsoft Research, dự án này hợp tác với Guido nhằm mục đích thêm chức năng vùng cho các ngôn ngữ động.
Microsoft có hai framework dựa trên mô hình actor: Orleans (dành cho .NET) và Dapr Actors (dành cho khối lượng công việc được chứa trong container).
Akka.NET là một framework dựa trên actor trưởng thành khác trong hệ sinh thái .NET, gần gũi nhất với phong cách giám sát của Erlang/Elixir.
Akka(.NET) là một framework đầy đủ chức năng và có khả năng mở rộng cao.
Tài liệu của ngôn ngữ Pony cần nhiều ví dụ hơn để minh họa các tính năng chính của nó.
Mô hình actor của ngôn ngữ Pony tương tự như các thread, nhưng được liên kết với cấu trúc dữ liệu và mỗi actor chỉ có một thread thực thi.
Ngôn ngữ Pony cung cấp các đảm bảo an toàn tương tự như Rust thông qua các kiểu tham chiếu và khả năng khác nhau mà không cần chạy trình kiểm tra mượn.
Tham chiếu iso của ngôn ngữ Pony tránh việc chia sẻ dữ liệu có thể thay đổi, đây là một trong những điểm đổi mới của nó.
Trình thu gom rác của ngôn ngữ Pony hoạt động tốt, điều này có được nhờ cách thức hoạt động của actor và tham chiếu.
Tài liệu và ví dụ của ngôn ngữ Pony cần được hoàn thiện hơn nữa để thể hiện tốt hơn các mô hình ứng dụng thực tế của nó.
Cú pháp của ngôn ngữ Pony rất ngắn gọn để kiểm tra các phép toán, cung cấp các toán tử khác nhau để xử lý tràn và các vấn đề về hiệu năng.
Ngôn ngữ Pony khác với Rust về hành vi cộng mặc định.
Ngôn ngữ Pony cho phép các vòng tham chiếu dễ dàng, đây là một đặc điểm của tham chiếu iso của nó.
Tham chiếu iso của ngôn ngữ Pony có nghĩa là biểu đồ đối tượng chỉ có thể được truy cập thông qua tham chiếu iso, điều này giúp tránh chia sẻ dữ liệu có thể thay đổi.
Tài liệu và ví dụ của ngôn ngữ Pony cần trình bày nhiều hơn về các mô hình ứng dụng thực tế, chẳng hạn như phân tách một chương trình tuần tự đơn giản thành nhiều actor hoặc triển khai một web server đơn giản, v.v.