2025-05-18 Top Stories

2025-05-18 Hacker News Top Stories #

  1. Dustin Curtis cho rằng việc quá phụ thuộc vào nội dung do AI tạo ra sẽ dẫn đến sự suy giảm khả năng sáng tạo của con người, chủ trương giữ lại giá trị của tư duy thủ công.
  2. Google ra mắt công nghệ chuyển đổi văn bản thành SQL dựa trên Gemini, nâng cao khả năng tương tác dữ liệu của những người không chuyên về kỹ thuật nhưng tồn tại những thách thức về quyền riêng tư và tính chính xác.
  3. Nguyên tắc tối ưu hóa lập trình đề xuất chuyển điều kiện lên trên, chuyển các thao tác lặp xuống dưới, để đơn giản hóa cấu trúc mã và nâng cao hiệu suất.
  4. JavaScript bổ sung cú pháp using/await using để thực hiện quản lý tài nguyên rõ ràng, nhưng có thể làm tăng độ phức tạp của mã.
  5. Moody’s hạ xếp hạng tín dụng của Mỹ xuống Aa1 do vấn đề nợ của nước này, dự kiến thâm hụt liên bang năm 2035 sẽ chiếm 9% GDP.
  6. KVSplit giảm 72% mức sử dụng bộ nhớ thông qua bộ nhớ cache KV định lượng khác biệt, một số cấu hình có thể cải thiện tốc độ suy luận LLM.
  7. Dự luật giám sát mới của Thụy Sĩ bị các công ty như Proton phản đối, có thể buộc các công ty bảo mật quyền riêng tư phải di dời để tránh yêu cầu lưu giữ dữ liệu.
  8. ClojureScript 1.12.42 nâng cấp Closure Compiler và tiếp quản việc bảo trì nó, tăng cường giải pháp JavaScript đa môi trường.
  9. XTool, một sự thay thế Xcode đa nền tảng, gây ra tranh cãi, cần phải dựa vào chuỗi công cụ Xcode và có rủi ro pháp lý tiềm ẩn.
  10. Dự án Wow@Home phát hiện tín hiệu ngoài hành tinh thông qua mạng lưới kính viễn vọng vô tuyến chi phí thấp, tiếp nối truyền thống nghiên cứu tín hiệu Wow.

Thoughts on thinking #

https://dcurt.is/thinking

Tác giả Dustin Curtis đã chia sẻ những suy nghĩ và cảm xúc gần đây của mình trên blog của anh ấy. Anh ấy đề cập rằng bản thân đã rơi vào bế tắc, mỗi khi anh ấy cố gắng viết một bài đăng trên blog, viết code hoặc bắt đầu một dự án mới, anh ấy đều nhận ra rằng trong bối cảnh trí tuệ nhân tạo (AI), những nỗ lực của anh ấy là vô ích. Trí tuệ nhân tạo có thể dễ dàng tạo ra nội dung chất lượng cao, khiến anh ấy cảm thấy mình không thể cạnh tranh.

Tác giả từng là một nhà văn năng suất, anh ấy sẽ dành hàng giờ để hoàn thiện những ý tưởng và bài viết của mình. Nhưng bây giờ, sự xuất hiện của trí tuệ nhân tạo cho phép anh ấy dễ dàng có được những ý tưởng và nội dung hoàn chỉnh, chỉ cần nhập một vài từ khóa. Cách dựa dẫm vào trí tuệ nhân tạo này khiến bộ não của anh ấy trở nên lười biếng, anh ấy cảm thấy trực giác, sự thông minh và tính nghiêm túc của mình đang suy giảm.

Tác giả cho rằng, việc sử dụng trí tuệ nhân tạo để khám phá ý tưởng tuy có vẻ hiệu quả, nhưng thực chất lại là sự lười biếng của bộ não. Anh ấy so sánh nó với việc xem các chương trình truyền hình, thay vì thực sự suy nghĩ và học hỏi. Anh ấy cảm thấy rằng mặc dù mình biết nhiều thứ hơn, nhưng thực tế lại trở nên ngu ngốc và chậm chạp hơn. Nội dung do trí tuệ nhân tạo cung cấp tuy hoàn thiện, nhưng lại thiếu đi quá trình suy nghĩ và học hỏi thực sự.

Tác giả cuối cùng bày tỏ rằng, anh ấy vẫn đang mắc kẹt trong bế tắc, nhưng anh ấy quyết định tiếp tục viết và chia sẻ những suy nghĩ của mình, ngay cả khi trí tuệ nhân tạo có thể hoàn thành những công việc này nhanh hơn và tốt hơn. Anh ấy tin rằng, quá trình viết và nội dung đầu ra của mình tuy không bằng trí tuệ nhân tạo, nhưng vẫn có giá trị và ý nghĩa riêng. Toàn bộ bài viết là suy nghĩ và phản ánh của tác giả về ảnh hưởng của trí tuệ nhân tạo đối với tư duy và khả năng sáng tạo của con người.

HN | Nóng: 622 điểm | 388 bình luận | Tác giả: bradgessler | 1 ngày trước #

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

  • Mọi người quá phụ thuộc vào các hệ thống tự động hóa, có thể mất đi khả năng suy nghĩ và ra quyết định độc lập
  • Quá phụ thuộc vào định vị GPS, có thể khiến người ta mất đi khả năng nhận thức không gian và điều hướng
  • Thuật toán truyền thông xã hội có thể kiểm soát nội dung mọi người nhìn thấy, hạn chế sự lựa chọn và quyền tự chủ của họ
  • Mọi người cần nhận thức lại tầm quan trọng của việc suy nghĩ và ra quyết định độc lập, tránh quá phụ thuộc vào các hệ thống tự động hóa
  • Các phương pháp trong quá khứ, chẳng hạn như sử dụng bản đồ và truyền miệng, có thể có lợi hơn cho việc hiểu sâu sắc và ghi nhớ
  • Công nghệ hiện đại có thể khiến mọi người mất đi cảm giác kiểm soát và quyền tự chủ đối với cuộc sống, trở nên thụ động hơn
  • Suy nghĩ và ra quyết định độc lập là những khả năng cơ bản của con người, cần được duy trì và phát triển thông qua thực hành và rèn luyện
  • Quá phụ thuộc vào công nghệ có thể dẫn đến việc mọi người mất đi khả năng sáng tạo và tư duy phản biện
  • Mọi người cần tìm ra sự cân bằng giữa việc sử dụng công nghệ và suy nghĩ độc lập, tránh quá phụ thuộc vào công nghệ
  • Khả năng suy nghĩ và ra quyết định độc lập là rất quan trọng đối với sự trưởng thành và phát triển cá nhân, cần được coi trọng và bồi dưỡng

Getting AI to write good SQL #

https://cloud.google.com/blog/products/databases/techniques-for-improving-text-to-sql

Bài viết này giới thiệu công nghệ text-to-SQL (chuyển văn bản thành SQL) của Google Cloud, công nghệ này có thể chuyển đổi trực tiếp ngôn ngữ tự nhiên thành truy vấn SQL. Công nghệ này có thể nâng cao năng suất của các nhà phát triển và nhà phân tích, đồng thời cho phép người dùng không chuyên về kỹ thuật tương tác trực tiếp với dữ liệu mong muốn. Công nghệ text-to-SQL được ứng dụng trong nhiều sản phẩm của Google Cloud, bao gồm BigQuery Studio, Cloud SQL Studio, AlloyDB Studio và Vertex AI.

Rz0ibi4rko92FZxedVwcFV4xnOd.png

Công nghệ text-to-SQL phải đối mặt với một số thách thức, bao gồm cung cấp ngữ cảnh cụ thể cho doanh nghiệp, hiểu ý định của người dùng và quản lý sự khác biệt giữa các phương ngữ SQL. Để giải quyết những thách thức này, Google Cloud sử dụng nhiều kỹ thuật, bao gồm mô hình ngôn ngữ lớn (LLM) và kỹ thuật gợi ý (prompt engineering). LLM có thể học dữ liệu và lược đồ, đồng thời tạo ra các truy vấn SQL chính xác. Tuy nhiên, LLM cũng có thể gặp phải một số vấn đề, chẳng hạn như tạo ra các truy vấn không chính xác hoặc không hiểu ý định của người dùng.

Để giải quyết những vấn đề này, Google Cloud sử dụng nhiều kỹ thuật, bao gồm cung cấp ngữ cảnh cụ thể cho doanh nghiệp, hiểu ý định của người dùng và quản lý sự khác biệt giữa các phương ngữ SQL. Ví dụ: Google Cloud sử dụng mô hình LLM có tên là Gemini, mô hình này có thể học dữ liệu và lược đồ, đồng thời tạo ra các truy vấn SQL chính xác. Mô hình Gemini có thể hiểu ý định của người dùng và tạo ra các truy vấn SQL đáp ứng nhu cầu của người dùng.

Công nghệ text-to-SQL được ứng dụng trong nhiều tình huống, bao gồm phân tích dữ liệu, nghiệp vụ thông minh (business intelligence) và máy học (machine learning). Công nghệ này có thể giúp người dùng nhanh chóng có được dữ liệu mong muốn, đồng thời thực hiện phân tích dữ liệu và ra quyết định. Đồng thời, công nghệ text-to-SQL cũng có thể giúp người dùng tự động hóa các quy trình xử lý và phân tích dữ liệu, nâng cao năng suất và hiệu quả.

Tóm lại, công nghệ text-to-SQL là một chức năng quan trọng của Google Cloud, có thể giúp người dùng nhanh chóng có được dữ liệu mong muốn, đồng thời thực hiện phân tích dữ liệu và ra quyết định. Công nghệ này có thể nâng cao năng suất và hiệu quả, đồng thời cho phép người dùng không chuyên về kỹ thuật tương tác trực tiếp với dữ liệu mong muốn. Tuy nhiên, công nghệ text-to-SQL cũng phải đối mặt với một số thách thức, bao gồm cung cấp ngữ cảnh cụ thể cho doanh nghiệp, hiểu ý định của người dùng và quản lý sự khác biệt giữa các phương ngữ SQL. Để giải quyết những thách thức này, Google Cloud sử dụng nhiều kỹ thuật, bao gồm mô hình ngôn ngữ lớn và kỹ thuật gợi ý.

HN | Nóng: 464 điểm | 326 bình luận | Tác giả: richards | 1 ngày trước #

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

  • Gemini của Google AI Studio là một công cụ mang tính cách mạng, có khả năng cải thiện đáng kể hiệu quả và chất lượng lập trình
  • Gemini vượt trội hơn các công cụ khác như Claude và ChatGPT trong việc xử lý các đoạn code dài và phức tạp
  • Sự phát triển của các công cụ AI đã bước vào một kỷ nguyên vàng, các công ty lớn đang thúc đẩy sự tiến bộ của công nghệ AI trong cạnh tranh
  • Một số người cho rằng các công cụ AI có thể thay thế các lập trình viên là con người, nhưng cũng có người cho rằng AI là một người bạn đồng hành hữu ích hơn là một sự thay thế
  • Các công cụ AI có thể dẫn đến việc mọi người quá phụ thuộc vào công nghệ, mất khả năng tư duy độc lập
  • Gemini thể hiện xuất sắc trong việc xem xét và gỡ lỗi code, có thể cung cấp các báo cáo và đề xuất chi tiết
  • Một số người sử dụng các công cụ AI để hỗ trợ viết lách, có thể nhanh chóng tạo ra bản nháp đầu tiên và các đề xuất sửa đổi
  • Sự phát triển của các công cụ AI có thể dẫn đến việc giảm chi phí phát triển phần mềm, nhưng cũng có thể dẫn đến sự xuất hiện của những vấn đề và thách thức mới

Push Ifs Up and Fors Down #

https://matklad.github.io/2023/11/15/push-ifs-up-and-fors-down.html

Bài viết này thảo luận về hai quy tắc lập trình: đẩy câu lệnh if lên trên và đẩy vòng lặp for xuống dưới. Tác giả cho rằng, nếu một hàm có câu lệnh if bên trong, nên cân nhắc di chuyển nó đến nơi gọi hàm. Phương pháp này có thể giảm số lượng kiểm tra điều kiện bên trong hàm, đơn giản hóa cấu trúc code. Đặc biệt khi xử lý các điều kiện tiên quyết, việc đẩy câu lệnh if lên trên có thể giảm số lần kiểm tra điều kiện trong toàn bộ chương trình.

Tác giả cũng chỉ ra rằng, luồng điều khiển và câu lệnh if là những phần phức tạp trong code, dễ gây ra lỗi. Bằng cách đẩy câu lệnh if lên trên, có thể tập trung luồng điều khiển vào một hàm, giúp code dễ hiểu và bảo trì hơn. Phương pháp này cũng có thể giúp phát hiện code chết và các điều kiện dư thừa. Tác giả đưa ra một ví dụ, cho thấy cách đơn giản hóa cấu trúc code bằng cách đẩy câu lệnh if lên trên.

Mặt khác, tác giả thảo luận về quy tắc đẩy vòng lặp for xuống dưới. Phương pháp này xuất phát từ tư tưởng lập trình hướng dữ liệu, cho rằng chương trình thường cần xử lý một lượng lớn các đối tượng. Bằng cách giới thiệu khái niệm xử lý hàng loạt, có thể áp dụng các thao tác cho một lô đối tượng, thay vì từng đối tượng riêng lẻ. Phương pháp này có thể cải thiện hiệu suất, đặc biệt khi xử lý lượng lớn dữ liệu. Tác giả đưa ra một ví dụ, cho thấy cách cải thiện hiệu suất bằng cách đẩy vòng lặp for xuống dưới.

Tác giả cũng chỉ ra rằng, hai quy tắc này có thể được sử dụng kết hợp. Bằng cách đẩy câu lệnh if lên trên và đẩy vòng lặp for xuống dưới, có thể đơn giản hóa cấu trúc code, cải thiện hiệu suất. Tác giả đưa ra một ví dụ, cho thấy cách đơn giản hóa cấu trúc code bằng cách sử dụng kết hợp hai quy tắc này. Cuối cùng, tác giả tổng kết tầm quan trọng của hai quy tắc này, cho rằng chúng có thể giúp lập trình viên viết code tốt hơn.

HN | Nóng: 356 điểm | 134 bình luận | Tác giả: goranmoomin | 15 giờ trước #

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

  • Các câu lệnh điều kiện nên cắt tỉa cây luồng chương trình càng sớm càng tốt để giảm công việc không cần thiết.
  • Hàm chỉ nên có một trách nhiệm duy nhất, hoặc là xử lý luồng chương trình, hoặc là thực hiện công việc cụ thể.
  • Tên của lớp và hàm nên tuân theo nguyên tắc “lớp là danh từ, hàm là động từ”.
  • Các câu lệnh điều kiện nên được đẩy càng gần nguồn đầu vào càng tốt để dễ hiểu và bảo trì logic chương trình.
  • Thiết kế của lớp và hàm nên tuân theo các quy tắc và mô hình của miền vấn đề cụ thể, thay vì tuân theo các quy tắc và nguyên tắc chung.
  • Lớp có thể được coi là phơi bày giao diện (interface), hàm có thể được coi là ẩn các chi tiết triển khai.
  • Logic cốt lõi của chương trình nên càng đơn giản và trực tiếp càng tốt, tránh các câu lệnh điều kiện và nhánh không cần thiết.
  • Hệ thống kiểu (type system) có thể được sử dụng để mã hóa các giả định và ràng buộc của chương trình, từ đó cải thiện độ tin cậy và khả năng bảo trì của chương trình.
  • Thiết kế của chương trình nên tuân theo nguyên tắc “cắt tỉa càng sớm càng tốt, ràng buộc càng muộn càng tốt” để nâng cao tính linh hoạt và khả năng bảo trì của chương trình.

JavaScript’s New Superpower: Explicit Resource Management #

https://v8.dev/features/explicit-resource-management

Explicit Resource Management (Quản lý tài nguyên tường minh) là một đề xuất JavaScript mới, nhằm cung cấp một cách thức xác định để quản lý vòng đời của tài nguyên một cách tường minh, ví dụ như các trình xử lý tệp, kết nối mạng, v.v. Đề xuất này giới thiệu một vài tính năng mới, bao gồm các khai báo using và await using, các khai báo này có thể tự động gọi phương thức dispose của tài nguyên khi tài nguyên ra khỏi phạm vi. Các khai báo using và await using là cốt lõi của Explicit Resource Management. Khai báo using được sử dụng cho các tài nguyên đồng bộ, đảm bảo phương thức dispose của tài nguyên được gọi khi thoát khỏi phạm vi. Khai báo await using được sử dụng cho các tài nguyên không đồng bộ, đảm bảo phương thức asyncDispose của tài nguyên được gọi và chờ cho nó hoàn thành. Các khai báo này có thể được sử dụng trong phạm vi khối, vòng lặp và thân hàm, nhưng không thể được sử dụng trong phạm vi cấp cao nhất.

Đề xuất Explicit Resource Management cũng giới thiệu DisposableStack và AsyncDisposableStack, chúng là các cấu trúc dạng ngăn xếp, cho phép nhà phát triển nhóm nhiều tài nguyên và giải phóng chúng một cách phối hợp. Các cấu trúc này cung cấp các phương thức use, adopt và defer để thêm tài nguyên hoặc các thao tác giải phóng, và cung cấp các phương thức dispose hoặc asyncDispose để kích hoạt giải phóng. Các cấu trúc này có thể được sử dụng cùng với các khai báo using và await using để đơn giản hóa quá trình giải phóng tài nguyên.

Ngoài ra, đề xuất Explicit Resource Management còn giới thiệu SuppressedError, một loại lỗi mới, được sử dụng để xử lý các lỗi xảy ra trong quá trình giải phóng tài nguyên. Loại lỗi này có thể chứa hai lỗi: lỗi được ném gần đây nhất và lỗi bị chặn. Cơ chế này có thể giúp các nhà phát triển xử lý tốt hơn các lỗi xảy ra trong quá trình giải phóng tài nguyên.

Mục tiêu của đề xuất Explicit Resource Management là giúp các nhà phát triển viết mã mạnh mẽ hơn, hiệu quả hơn và dễ bảo trì hơn. Bằng cách cung cấp một cách thức xác định để quản lý vòng đời của tài nguyên, các nhà phát triển có thể tránh rò rỉ tài nguyên và các vấn đề khác. Đề xuất này đã được triển khai trong Chromium 134 và V8 v13.8.

HN | Nóng: 289 điểm | 184 bình luận | Tác giả: olalonde | 19 giờ trước #

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

  • Tính năng mới của JavaScript, Explicit Resource Management (Quản lý Tài nguyên Rõ ràng), có thể khiến code trở nên khó hiểu và gỡ lỗi hơn, vì nó giới thiệu sự khác biệt giữa các hàm đồng bộ và bất đồng bộ.
  • Việc ẩn các thao tác bất đồng bộ có thể khiến code trở nên khó hiểu và gỡ lỗi hơn, trong khi việc hiển thị các thao tác bất đồng bộ có thể giúp các nhà phát triển hiểu rõ hơn về hành vi của code.
  • Tính năng virtual thread (luồng ảo) của Java có thể giúp các nhà phát triển dễ dàng viết code đồng thời hơn mà không cần lo lắng về vấn đề đồng bộ hóa luồng.
  • Sử dụng cú pháp async/await có thể giúp code dễ đọc và viết hơn, nhưng có thể gặp phải vấn đề khi xử lý các thao tác đồng thời phức tạp.
  • Tính năng Explicit Resource Management có thể khiến code dễ bị lỗi hơn, vì nó yêu cầu các nhà phát triển tự quản lý việc giải phóng tài nguyên.
  • Sử dụng DisposableStack và AsyncDisposableStack có thể giúp code dễ dàng quản lý việc giải phóng tài nguyên hơn, nhưng trong một số trường hợp có thể gặp phải vấn đề.
  • Tính năng Explicit Resource Management có thể nhận được sự hỗ trợ và ứng dụng rộng rãi hơn trong tương lai, nhưng hiện tại có thể vẫn còn một số vấn đề và hạn chế.

Moody’s strips U.S. of triple-A credit rating #

https://www.ft.com/content/e456ea34-c6ad-43fe-abe9-d4ce781c07b4

Moody’s hạ bậc xếp hạng tín dụng AAA cao nhất của Mỹ

  • Cơ quan cảnh báo: Nợ và chi tiêu thâm hụt gia tăng
  • Moody’s dự kiến: Đến năm 2035, thâm hụt liên bang của Mỹ sẽ mở rộng lên gần 9% GDP, so với 6,4% năm 2024 © Bloomberg

Mỹ bị Moody’s hạ bậc xếp hạng tín dụng AAA cao nhất do mức nợ chính phủ gia tăng.

Chiều thứ Sáu, cơ quan này đã hạ bậc xếp hạng tín dụng của Mỹ từ Aaa xuống Aa1, triển vọng xếp hạng thay đổi từ tiêu cực thành ổn định. Các cơ quan xếp hạng lớn khác là Fitch và Standard & Poor’s trước đó đã loại bỏ xếp hạng hoàn hảo của Mỹ.

Moody’s cho biết họ dự kiến đến năm 2035, thâm hụt liên bang của Mỹ sẽ mở rộng lên gần 9% GDP, so với 6,4% của năm ngoái, chủ yếu do chi phí lãi vay nợ tăng, chi tiêu phúc lợi và “khả năng tạo doanh thu tương đối thấp”.

Cơ quan này viết: “Việc hạ một bậc trong số 21 bậc xếp hạng của chúng tôi phản ánh tỷ lệ nợ chính phủ và thanh toán lãi vay tăng lên trong hơn một thập kỷ, những tỷ lệ này đã cao hơn đáng kể so với các quốc gia có chủ quyền được xếp hạng tương tự.”

Đây là một câu chuyện đang phát triển.

HN | Nóng: 273 điểm | 246 bình luận | Tác giả: Anon84 | 1 ngày trước #

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

  • Hệ thống an sinh xã hội của Mỹ có vấn đề và cần được cải cách, ví dụ như tăng giới hạn thuế, tăng thuế suất hoặc giảm bù đắp lạm phát.
  • Việc kiểm tra điều kiện (means-test) đối với người giàu sẽ làm tăng bộ máy quan liêu, làm suy yếu sự ủng hộ đối với an sinh xã hội và làm tăng sự phức tạp không cần thiết.
  • Tăng giới hạn thuế an sinh xã hội hợp lý hơn so với kiểm tra điều kiện và có thể giải quyết vấn đề tài chính của an sinh xã hội.
  • Chi tiêu quốc phòng của Mỹ quá lớn, nên cắt giảm ngân sách quốc phòng, ví dụ như sử dụng máy bay không người lái và tàu ngầm để thay thế các lực lượng quân sự truyền thống.
  • An sinh xã hội là một loại bảo hiểm, không phải lương hưu, nên được điều chỉnh và cải cách theo nhu cầu.
  • Việc cải cách an sinh xã hội nên xem xét đến nhu cầu và đóng góp của các nhóm thu nhập khác nhau, tránh sự phức tạp và bất công không cần thiết.

Show HN: KVSplit – Run 2-3x longer contexts on Apple Silicon #

https://github.com/dipampaul17/KVSplit

KVSplit là một kỹ thuật lượng tử hóa bộ nhớ cache KV khác biệt dành cho Apple Silicon, nhằm mục đích giảm mức sử dụng bộ nhớ và cải thiện hiệu quả hoạt động của các mô hình ngôn ngữ lớn (LLM) trên máy Mac. Bằng cách lượng tử hóa riêng biệt các khóa và giá trị thành 8-bit và 4-bit, KVSplit có thể giảm mức sử dụng bộ nhớ lên đến 72%, đồng thời duy trì hoặc cải thiện tốc độ suy luận.

Các tính năng chính của KVSplit bao gồm lượng tử hóa độc lập các khóa và giá trị, hỗ trợ Metal cho Apple Silicon, bộ công cụ benchmark toàn diện và các công cụ phân tích hiệu năng và mức sử dụng bộ nhớ. Dự án này cũng cung cấp các script cài đặt dễ sử dụng và các công cụ so sánh nhanh, cho phép người dùng nhanh chóng đánh giá hiệu suất của các cấu hình khác nhau.

Về giảm bộ nhớ, cấu hình của KVSplit có thể giảm mức sử dụng bộ nhớ từ 47% đến 72%, tùy thuộc vào độ chính xác lượng tử hóa của khóa và giá trị. Ví dụ: cấu hình K8V8 có thể giảm mức sử dụng bộ nhớ 47%, trong khi cấu hình K4V4 có thể giảm mức sử dụng bộ nhớ 72%. Đồng thời, tác động hiệu suất của KVSplit cũng rất đáng kể, một số cấu hình có thể cải thiện tốc độ suy luận từ 5-15%.

Cấu trúc của dự án KVSplit bao gồm bản dựng llama.cpp được tối ưu hóa, các tệp mô hình, script và thư mục kết quả. Dự án này cũng cung cấp những hiểu biết khoa học, tiết lộ sự khác biệt về độ nhạy của khóa và giá trị trong quá trình lượng tử hóa. Thông qua phương pháp lượng tử hóa khác biệt này, KVSplit có thể giảm mức sử dụng bộ nhớ và cải thiện tốc độ suy luận trong khi vẫn duy trì hoặc cải thiện chất lượng mô hình.

Về mặt sử dụng, KVSplit cung cấp các tùy chọn cài đặt linh hoạt, bao gồm môi trường ảo, Python hệ thống và bỏ qua thiết lập Python. Đồng thời, KVSplit cũng cung cấp các công cụ so sánh nhanh, cho phép người dùng nhanh chóng đánh giá hiệu suất của các cấu hình khác nhau. Ngoài ra, bộ công cụ benchmark của KVSplit có thể giúp người dùng đánh giá toàn diện hiệu suất và mức sử dụng bộ nhớ của mô hình.

HN | Nóng: 264 điểm | 40 bình luận | Tác giả: dipampaul17 | 1 ngày trước #

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

  • Phát hiện của tác giả bài đăng là trong suy luận LLM, khóa (key) và giá trị (value) có độ nhạy lượng tử hóa khác nhau trong bộ nhớ cache KV, khóa cần độ chính xác cao hơn giá trị để duy trì chất lượng.
  • Cách triển khai của tác giả là sửa đổi llama.cpp để cho phép độ rộng bit khác nhau cho khóa và giá trị, đồng thời xác minh kết quả sử dụng Metal để tăng tốc.
  • Có người chỉ ra rằng vai trò của khóa và giá trị không thực sự rõ ràng, mặc dù chúng được gọi là tensor truy vấn khóa-giá trị, nhưng ý nghĩa và chức năng thực tế của chúng không thực sự rõ ràng.
  • Giải thích của tác giả là khóa quyết định những token nào cần được chú ý, trong khi giá trị chỉ lưu trữ thông tin cần được truyền sau khi mô hình chú ý đã được quyết định.
  • Có người đặt câu hỏi về vấn đề trong tập lệnh cài đặt của tác giả, đề nghị tác giả nên fork llama.cpp và sử dụng nó như một git submodule, thay vì sử dụng tập lệnh cài đặt.
  • Có người chỉ ra rằng bản vá (patch) của tác giả thực sự là thừa, vì llama.cpp đã thêm chức năng liên quan vào năm 2023.
  • Có người đề nghị tác giả nên cho phép người dùng tách biệt mã llama.cpp và Python, thay vì mã hóa cứng các phụ thuộc Python vào tập lệnh cài đặt.
  • Có người hỏi tác giả liệu có thể áp dụng bản vá này cho MLX hay không và hy vọng có thể triển khai các cuộc hội thoại dài trên MLX.
  • Có người chỉ ra rằng MLX hiện chưa hoàn thiện, thiếu mã ví dụ và tài liệu.

Proton threatens to quit Switzerland over new surveillance law #

https://www.techradar.com/vpn/vpn-privacy-security/we-would-be-less-confidential-than-google-proton-threatens-to-quit-switzerland-over-new-surveillance-law

Thụy Sĩ đang xem xét sửa đổi luật giám sát của mình, các chuyên gia cảnh báo rằng điều này sẽ gây rủi ro cho mã hóa an toàn và tính ẩn danh trực tuyến của quốc gia. Cụ thể, sửa đổi có thể yêu cầu tất cả các dịch vụ VPN, ứng dụng nhắn tin và mạng xã hội xác định và lưu giữ dữ liệu người dùng, một nghĩa vụ hiện chỉ giới hạn ở các mạng di động và nhà cung cấp dịch vụ Internet.

NdSBbazdQoMBthxfrpNclD7Kn5v.png

Proton, một nhà cung cấp dịch vụ VPN và email mã hóa nổi tiếng, CEO Andy Yen trong một cuộc phỏng vấn với RTS đã chỉ trích sửa đổi được đề xuất, gọi nó là “một sự xâm phạm nghiêm trọng đến quyền riêng tư”, điều này cũng sẽ làm tổn hại đến danh tiếng và khả năng cạnh tranh quốc tế của đất nước. Yen nói rằng nếu sửa đổi được thông qua, Proton sẽ buộc phải sửa đổi các chính sách mã hóa và không ghi nhật ký của mình, điều mà công ty không sẵn lòng làm. Ông cũng nói rằng công ty sẽ buộc phải rời khỏi Thụy Sĩ, vì luật sẽ gần giống với luật hiện hành của Nga.

Proton không phải là công ty duy nhất có quan điểm này, nhà cung cấp dịch vụ VPN mới nổi NymVPN cũng công khai phản đối kế hoạch của chính phủ Thụy Sĩ. Đồng sáng lập và COO của Nym, Alexis Roussel xác nhận rằng Nym cũng sẽ rời khỏi Thụy Sĩ nếu các quy tắc giám sát mới được thực thi.

Hiện tại, chính phủ Thụy Sĩ vẫn chưa đưa ra quyết định, nhưng đã có sự phản đối mạnh mẽ từ các đảng phái chính trị và các công ty Thụy Sĩ. Một số bang, bao gồm cả Geneva, thậm chí còn phản đối các quy tắc này với lý do quyền toàn vẹn kỹ thuật số. Yen nói rằng nếu chính phủ Thụy Sĩ có thể đưa ra các quy tắc cân bằng, cho phép các công ty như Proton cạnh tranh ở Thụy Sĩ và trên toàn cầu, ông sẽ ở lại Thụy Sĩ và tiếp tục đầu tư.

HN | Nóng: 238 điểm | 134 bình luận | Tác giả: taubek | 10 giờ trước #

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

  • Nhà nước có thể ngăn chặn chế độ chuyên chế thông qua sửa đổi hiến pháp
  • Sửa đổi hiến pháp cần sự ủng hộ của siêu đa số, khó bị thay đổi dễ dàng
  • Chế độ dân chủ trực tiếp của Thụy Sĩ có thể quyết định hiệu lực của luật thông qua trưng cầu dân ý
  • Trưng cầu dân ý có thể ngăn chặn chính phủ lạm dụng quyền lực, bảo vệ quyền của công dân
  • Ngăn chặn chế độ chuyên chế cần cơ chế bảo vệ đa tầng
  • Sửa đổi hiến pháp có thể tăng cường giới hạn đối với quyền lực của chính phủ, ngăn chặn việc lạm dụng quyền lực
  • Chế độ của Thụy Sĩ tuy độc đáo, nhưng vẫn cần không ngừng cải tiến và hoàn thiện
  • Công dân cần không ngừng tham gia chính trị, ngăn chặn việc lạm dụng quyền lực của chính phủ
  • Ngăn chặn chế độ chuyên chế cần cơ quan tư pháp độc lập và hệ thống pháp luật hoàn thiện
  • Giới hạn quyền lực của chính phủ cần được thực hiện thông qua nhiều phương thức, bao gồm trưng cầu dân ý, giám sát tư pháp và giới hạn lập pháp

ClojureScript 1.12.42 #

https://clojurescript.org/news/2025-05-16-release

Trang web ClojureScript giới thiệu các động thái và cập nhật mới nhất của ngôn ngữ này. Phiên bản 1.12.42 được phát hành gần đây bao gồm hai thay đổi phụ thuộc quan trọng: cập nhật Google Closure Compiler lên phiên bản v20250402, điều này có nghĩa là ClojureScript hiện yêu cầu Java 21 để chạy; ngoài ra, ClojureScript hiện phụ thuộc vào nhánh Google Closure Library của Clojure.

Trang web đề cập rằng việc cập nhật Google Closure Compiler là do các yêu cầu nội bộ của Google, mặc dù đây có thể không phải là lựa chọn ưu tiên của nhóm ClojureScript, nhưng để duy trì đồng bộ với Google, họ đã chọn cập nhật. Đồng thời, nhóm ClojureScript cũng đã fork Google Closure Library và tiếp quản công việc bảo trì. Sự ổn định của Google Closure Library bắt đầu giảm từ năm 2019, Google đã ngừng đóng góp vào nó, vì vậy nhóm ClojureScript đã quyết định tiếp quản việc bảo trì.

Mục tiêu của ClojureScript là cung cấp một giải pháp JavaScript hoàn chỉnh, không chỉ giới hạn trong môi trường trình duyệt. Thông qua việc fork và duy trì Google Closure Library, ClojureScript hiện có thể cung cấp nhiều chức năng và công cụ hơn, bao gồm thao tác DOM, quốc tế hóa, xử lý ngày và giờ, thao tác giá trị màu, phép toán, hoạt ảnh theo chương trình, quản lý lịch sử trình duyệt, hỗ trợ khả năng truy cập, xử lý đồ họa, v.v. Ưu điểm của ClojureScript là nó có thể cung cấp một bộ công cụ JavaScript ổn định và đáng tin cậy, không cần phụ thuộc vào các framework hoặc thư viện khác.

Trang web cuối cùng kêu gọi người dùng dùng thử ClojureScript, cung cấp các liên kết tài liệu và tài nguyên liên quan, bao gồm tài liệu API, mã nguồn, nhật ký thay đổi, v.v. Đồng thời, nó cũng cung cấp thông tin về cộng đồng, sự kiện và công ty của ClojureScript. Nhìn chung, trang web ClojureScript giới thiệu các động thái và cập nhật mới nhất của ngôn ngữ này, nhấn mạnh những ưu điểm và đặc điểm của nó, đồng thời kêu gọi người dùng dùng thử.

HN | Nóng: 190 điểm | 41 bình luận | Tác giả: Borkdude | 1 ngày trước #

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

  • Tính ổn định của ClojureScript là một lợi thế lớn, nhiều thư viện cũ có thể tiếp tục sử dụng mà không cần cập nhật.
  • Việc chọn ClojureScript sẽ có ảnh hưởng lớn đến cách viết code, nhưng điều này phần lớn là do các yếu tố xã hội hơn là yếu tố kỹ thuật.
  • So với JavaScript/Bundler/NPM hoặc TypeScript/Bundler/NPM, ClojureScript có ảnh hưởng lớn hơn.
  • Môi trường runtime của ClojureScript phức tạp, cần hiểu môi trường runtime của ClojureScript và JavaScript cũng như các đặc tính khác nhau của chúng.
  • Sử dụng ClojureScript có thể thực hiện các chức năng của jQuery mà không cần sử dụng framework jQuery.
  • Hệ sinh thái của ClojureScript chú trọng đến tính ổn định, điều này rất có lợi cho phát triển thương mại.
  • Một số thư viện tuy cũ nhưng vẫn hoạt động bình thường vì chúng đã rất hoàn thiện và không cần cập nhật thường xuyên.
  • Closure Library đã được lưu trữ, nhưng các chức năng của nó vẫn có thể được thực hiện trong ClojureScript.
  • Một số nhà phát triển hy vọng ClojureScript có thể tách khỏi JVM và sử dụng backend nhẹ hơn, chẳng hạn như babashka và GraalVM.

XTool – Cross-platform Xcode replacement #

https://github.com/xtool-org/xtool

xtool là một công cụ đa nền tảng, có khả năng mô phỏng các chức năng của Xcode trên Linux, Windows và macOS, sử dụng các tiêu chuẩn mã nguồn mở. Nó có thể giúp người dùng xây dựng và triển khai các ứng dụng iOS, sử dụng trình quản lý gói SwiftPM. Các chức năng chính của xtool bao gồm xây dựng các gói SwiftPM thành ứng dụng iOS, ký và cài đặt ứng dụng iOS, và tương tác với các dịch vụ dành cho nhà phát triển của Apple.

Để bắt đầu sử dụng xtool, người dùng cần làm theo hướng dẫn cài đặt để cài đặt công cụ này trên Linux, Windows hoặc macOS. Sau khi cài đặt xong, người dùng có thể tạo và chạy ứng dụng xtool đầu tiên, thông qua các hướng dẫn để tìm hiểu thêm về xtool. xtool cung cấp một giao diện dòng lệnh, người dùng có thể sử dụng lệnh xtool --help để xem thông tin trợ giúp và các lệnh con có sẵn.

Các lệnh con của xtool bao gồm thiết lập, xác thực, quản lý SDK, tạo dự án mới, xây dựng và chạy dự án, tương tác với các dịch vụ dành cho nhà phát triển của Apple, quản lý thiết bị, v.v. Người dùng có thể sử dụng các lệnh con này để hoàn thành các tác vụ khác nhau, chẳng hạn như tạo dự án mới, xây dựng và chạy ứng dụng, cài đặt và gỡ cài đặt ứng dụng, v.v. xtool cũng cung cấp một thư viện, người dùng có thể thêm nó làm phần phụ thuộc SwiftPM vào ứng dụng của mình để tương tác với các dịch vụ dành cho nhà phát triển của Apple, thiết bị iOS, v.v.

Hoạt động phát triển của xtool rất tích cực, các commit gần đây bao gồm việc thêm thông tin chi tiết hơn vào mẫu báo cáo lỗi, sửa lỗi xây dựng Linux, v.v. Kho lưu trữ xtool có 2.2k sao, 44 fork và 16 vấn đề, cho thấy dự án này có mức độ quan tâm và hoạt động lớn. xtool có giấy phép MIT, tuân thủ các tiêu chuẩn mã nguồn mở. Nói chung, xtool là một công cụ rất hữu ích, có thể giúp các nhà phát triển xây dựng và triển khai các ứng dụng iOS trên các nền tảng khác nhau.

HN | Nóng: 184 điểm | 54 bình luận | Tác giả: TheWiggles | 23 giờ trước #

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

  • XTool không phải là sự thay thế hoàn toàn cho Xcode, vẫn cần cài đặt Xcode để có được iOS SDK và chuỗi công cụ (toolchain)
  • XTool có thể chạy trên Linux, sử dụng Swift và Clang toolchain mã nguồn mở, để thực hiện phát triển đa nền tảng
  • Thỏa thuận cấp phép SDK của Apple hạn chế khả năng chạy trên phần cứng không phải của Apple
  • Fleet là một dự án mới của JetBrains, có thể hỗ trợ xây dựng ứng dụng XCode, nhưng hiện tại vẫn chưa hoàn thiện
  • Sự xuất hiện của XTool có thể thách thức thỏa thuận nhà phát triển của Apple, gây ra các tranh chấp pháp lý tiềm ẩn
  • Vụ kiện giữa Epic Games và Apple cho thấy, Apple có thể không thực hiện các biện pháp cứng rắn đối với XTool
  • Các nhà phát triển của XTool tin rằng, công cụ của họ có thể cung cấp trải nghiệm phát triển tốt hơn, thoát khỏi những hạn chế của Xcode
  • Một số người cho rằng sự xuất hiện của XTool là một thách thức đối với vị thế độc quyền của Apple, có thể mang lại nhiều lựa chọn và tự do hơn
  • Cũng có người lo ngại về tính hợp pháp và rủi ro pháp lý tiềm ẩn của XTool, khuyên nên sử dụng thận trọng

Wow@Homemailto:Wow@Home – Network of Amateur Radio Telescopes #

https://phl.upr.edu/wow/outreach

Wow@Homemailto:Wow@Home là một dự án mạng lưới kính viễn vọng vô tuyến nhỏ, được thiết kế để dò tìm các hiện tượng vật lý thiên văn và các tín hiệu kỹ thuật tiềm năng. Dự án này được lấy cảm hứng từ dự án SETI của Đại học Bang Ohio vào những năm 1970, dự án này đã sử dụng kính viễn vọng vô tuyến Big Ear để phát hiện một tín hiệu bí ẩn, được gọi là tín hiệu Wow. Dự án Wow@Home sử dụng kính viễn vọng vô tuyến nhỏ và phần mềm mã nguồn mở để phân tích dữ liệu, tìm kiếm các tín hiệu có thời lượng dài.

Cấu hình phần cứng của dự án Wow@Homemailto:Wow@Home bao gồm một kính viễn vọng vô tuyến nhỏ và một hệ thống máy tính để thu thập và phân tích dữ liệu. Hệ thống này sử dụng độ rộng kênh 10 kHz và thời gian tích hợp 12 giây, tương tự như giao thức quan sát của kính viễn vọng vô tuyến Big Ear. Tuy nhiên, hệ thống của dự án Wow@Home có 256 kênh, thay vì 50, và có độ rộng chùm lớn hơn, nhưng độ nhạy thấp hơn.

Phần mềm của dự án Wow@Homemailto:Wow@Home được phát triển dựa trên ngôn ngữ IDL, dùng để phân tích và xử lý dữ liệu. Phần mềm này có thể phân tích dữ liệu theo thời gian thực và cung cấp nhiều cách để hiển thị dữ liệu, bao gồm công suất tương đối, tỷ lệ tín hiệu trên nhiễu và quang phổ động. Phần mềm này cũng có thể lọc và xử lý dữ liệu để loại bỏ nhiễu và tạp âm.

Mục tiêu của dự án Wow@Homemailto:Wow@Home là dò tìm các tín hiệu có thời lượng dài, bao gồm các hiện tượng vật lý thiên văn và các tín hiệu kỹ thuật tiềm năng. Dự án này cũng nhằm mục đích cung cấp một nền tảng cho giáo dục và khoa học công dân, cho phép mọi người tham gia vào nghiên cứu thiên văn vô tuyến và đóng góp vào khám phá khoa học. Các kế hoạch tương lai của dự án bao gồm mở rộng mạng lưới, tăng thêm nhiều kính viễn vọng vô tuyến và hệ thống máy tính, đồng thời phát triển phần mềm và thuật toán mới để phân tích dữ liệu.

Ý nghĩa của dự án Wow@Homemailto:Wow@Home nằm ở chỗ nó cung cấp một con đường mới cho nghiên cứu thiên văn vô tuyến, sử dụng kính viễn vọng vô tuyến nhỏ và phần mềm mã nguồn mở để phân tích dữ liệu. Dự án này cũng mang đến cho mọi người cơ hội tham gia vào khám phá và phát hiện khoa học, đồng thời đóng góp vào nghiên cứu vật lý thiên văn và tín hiệu kỹ thuật.

HN | Nóng: 184 điểm | 32 bình luận | Tác giả: visviva | 23 giờ trước #

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

  • Dự án này tương tự như Project Argus, nhưng chi phí thấp hơn, có thể sẽ phổ biến hơn
  • Bước tiếp theo của dự án nên là cải thiện thiết bị SDR và thêm nguồn xung clock ổn định hơn để thực hiện phép đo giao thoa cơ bản và tổng hợp khẩu độ
  • Dự án hiện chưa hoàn thiện, thiếu các bước tham gia và cổng đăng ký được cập nhật
  • Di sản của dự án đến từ truyền thống của Kính viễn vọng vô tuyến Arecibo, thật vui khi thấy một dự án từ Đại học Puerto Rico
  • Nội dung do trí tuệ nhân tạo tạo ra không nhất thiết là xấu, điều quan trọng là chất lượng nội dung và việc truyền tải thông tin
  • Chi phí phần cứng của dự án tương đối thấp, có thể thu hút nhiều người tham gia hơn
  • Việc phát triển phần mềm và giao diện người dùng của dự án cần nhiều hỗ trợ và đóng góp hơn
  • Sự phát triển trong tương lai của dự án có thể bao gồm việc lưu trữ thiết bị từ xa và các khía cạnh quan sát hợp tác, v.v.