2025-06-29 Top Stories #

Các sĩ quan IDF ra lệnh nổ súng vào đám đông không vũ trang gần các địa điểm phân phát thực phẩm ở Gaza #

IDF officers ordered to fire at unarmed crowds near Gaza food distribution sites

1. Binh sĩ Israel bị cáo buộc cố ý nổ súng vào người Palestine không vũ trang gần điểm viện trợ nhân đạo ở Dải Gaza, khiến hàng trăm người thiệt mạng, gây ra cuộc điều tra về tội ác chiến tranh và sự chỉ trích quốc tế.
2. Tác giả xóa tất cả các ghi chú và ý tưởng, giải phóng bản thân khỏi xiềng xích của “bộ não thứ hai”, suy ngẫm về những hạn chế của phong trào quản lý kiến thức cá nhân.
3. Meta thử nghiệm sử dụng ảnh chưa công khai của người dùng để huấn luyện mô hình AI, gây lo ngại về quyền riêng tư, người dùng có thể chọn tắt chức năng này và xóa ảnh.
4. Giao thức MCP được coi là hệ thống plugin phổ quát nhờ tính đơn giản và khả năng mở rộng, thúc đẩy hệ sinh thái tương tác giữa các công cụ và mô hình.
5. Tòa án Tối cao Hoa Kỳ hạn chế quyền lực của thẩm phán liên bang, ủng hộ sắc lệnh hành pháp của Trump, làm suy yếu khả năng kiềm chế của tư pháp đối với chính sách của tổng thống.
6. Mạng xã hội được thiết kế gây nghiện thông qua các thuật toán và cấu trúc kinh tế, tác giả kêu gọi thay đổi mô hình kinh tế hiện tại để tạo ra một môi trường mạng xã hội lành mạnh hơn.
7. Kính viễn vọng không gian James Webb lần đầu tiên chụp ảnh trực tiếp một ngoại hành tinh, cung cấp manh mối quan trọng cho việc nghiên cứu sự hình thành của các hệ hành tinh.
8. Tác giả đã chuyển thành công hệ điều hành Xv6 giống Unix lên CPU tự chế, mô tả chi tiết những thách thức và quá trình giải quyết trong dự án.
9. Khung SymbolicAI kết hợp các đặc tính của lập trình truyền thống và các mô hình ngôn ngữ lớn, tăng cường khả năng thao tác và suy luận ngữ nghĩa.
10. Learn OCaml là một nền tảng học tập trực tuyến, cung cấp các bài tập lập trình tương tác, phù hợp để học và nâng cao kỹ năng lập trình OCaml.

https://www.haaretz.com/israel-news/2025-06-27/ty-article-magazine/.premium/idf-soldiers-ordered-to-shoot-deliberately-at-unarmed-gazans-waiting-for-humanitarian-aid/00000197-ad8e-de01-a39f-ffbe33780000

‘Đây là một bãi giết người’: Binh sĩ Lực lượng Phòng vệ Israel (IDF) được lệnh cố ý nổ súng vào người Palestine không vũ trang ở Dải Gaza đang chờ viện trợ nhân đạo

Binh sĩ Israel tiết lộ với tờ Haaretz rằng trong tháng qua, quân đội Israel đã cố ý nổ súng vào người Palestine gần các điểm phân phát viện trợ ở Dải Gaza, ngay cả khi những người này không gây ra mối đe dọa nào. Hành vi này đã khiến hàng trăm người Palestine thiệt mạng, thúc đẩy cơ quan công tố quân sự yêu cầu xem xét các tội ác chiến tranh có thể xảy ra.

Thủ tướng Israel Benjamin Netanyahu và Ngoại trưởng Katz bác bỏ những cáo buộc này và gọi chúng là “sự phỉ báng đẫm máu”.

Bài viết đề cập rằng có một sự tách biệt giữa sự căm ghét của người Israel đối với Netanyahu và sự tin tưởng mù quáng của họ đối với IDF. Họ vẫn tin rằng IDF là đội quân đạo đức nhất trên thế giới, và không có bằng chứng nào có thể thay đổi quan điểm của họ. Người Israel cho rằng sự sống còn của họ là nhờ IDF, bản thân họ, con cái của họ đều là một phần của IDF. Nhận ra rằng theo lệnh của chính phủ hiện tại, IDF đã đánh mất linh hồn của mình, đây là một cuộc khủng hoảng đạo đức sâu sắc đối với hầu hết người Israel, những người chưa sẵn sàng đối mặt với nó. Nhưng đây không phải là một ngày tồi tệ, mà là hơn 600 ngày tội ác chiến tranh, điều này sẽ không bị bỏ qua.

Đồng thời, người Israel che giấu tội ác của họ đằng sau tội ác của Hamas và sẽ phủ nhận những bài viết như thế này. Bài viết cũng đề cập đến một số bình luận, bao gồm cả những lời chỉ trích hành vi của Israel và những suy ngẫm về chính sách của Israel, cũng như những lo ngại về việc Israel mất tính hợp pháp trên trường quốc tế. Một số nhà bình luận bày tỏ sự phẫn nộ đối với hành vi của Israel và sự xấu hổ về sự ủng hộ mù quáng của chính phủ Hoa Kỳ đối với Israel. Một số nhà bình luận khác đề cập rằng hành vi của Israel đã khiến nhiều người Mỹ, đặc biệt là thế hệ trẻ, có thái độ thù địch với Israel.

Bài viết kết thúc bằng việc đề cập đến một số tranh luận giữa các nhà bình luận, bao gồm cả việc biện minh và chỉ trích các hành động của Israel ở Dải Gaza, cũng như các cuộc thảo luận về hành vi của Hamas. Một số nhà bình luận cho rằng hành vi của Israel là tội ác chiến tranh, không có lý do gì để bào chữa, trong khi những người khác cố gắng biện minh cho hành vi của Israel, tuyên bố rằng hành vi của Hamas còn tồi tệ hơn.

HN | Độ nóng: 1035 điểm | 762 bình luận | Tác giả: ahmetcadirci25 #

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

• Hành động của Israel là tội ác chiến tranh rõ ràng và nên bị xét xử theo kiểu xét xử Nuremberg.
• Hành động của Israel rất đáng lo ngại và cần phải điều tra những cáo buộc này, đồng thời xét xử công khai những người phạm tội ác chiến tranh.
• Có những vấn đề với viện trợ và việc chuyển giao viện trợ mới của Israel đến Dải Gaza, cần phải có câu trả lời.
• Quỹ Nhân đạo Gaza phủ nhận rằng những sự cố như vậy đã xảy ra trong các cơ sở của họ và kêu gọi Israel điều tra những cáo buộc này.
• Phần lớn thông tin chưa được xác minh và khó phân biệt sự thật với sai sự thật.
• Israel không cho phép các nhà báo vào Dải Gaza, dẫn đến việc không thể xác minh thông tin.
• Israel đã nhiều lần cho phép các nhà báo vào Dải Gaza trong chiến tranh, nhưng họ phải đi cùng Lực lượng Phòng vệ Israel và Lực lượng Phòng vệ Israel có quyền kiểm duyệt thông tin có thể gây nguy hiểm cho binh lính.
• Hamas đe dọa và khủng bố các nhà báo, và các phương tiện truyền thông phương Tây không thể tự do vào Dải Gaza ngay cả khi Israel cho phép.
• Israel tích cực giết hại các nhà báo, đây là cuộc chiến đẫm máu nhất trong lịch sử đưa tin của các nhà báo.
• Việc các nhà báo đi theo các hoạt động của Lực lượng Phòng vệ Israel không phải là đưa tin thực sự.
• Hamas kiểm soát việc đưa tin về Dải Gaza, việc Israel không đủ cởi mở không có nghĩa là tường thuật của Hamas là sự thật.
• Israel thông qua luật cơ bản: Israel là quốc gia của người Do Thái, được mô tả là một quốc gia dân tộc.
• Hamas phá hoại việc phân phối viện trợ vì đây là một cuộc tấn công vào nguồn thu nhập của họ, đề xuất thả viện trợ bằng máy bay không người lái.
• Israel trang bị vũ khí cho các băng đảng ở Dải Gaza.

Tôi đã xóa bộ não thứ hai của mình #

I deleted my second brain

https://www.joanwestenberg.com/p/i-deleted-my-second-brain

Bài viết này được Joan Westenberg đăng vào ngày 17 tháng 6 năm 2025, kể về trải nghiệm xóa tất cả các ghi chú và ý tưởng của mình. Dưới đây là bản tóm tắt tiếng Việt của bài viết:

Xóa “Bộ não thứ hai”

Joan Westenberg đã xóa tất cả các ghi chú của mình hai ngày trước, bao gồm mọi ý tưởng trong Obsidian, thẻ Zettelkasten, sơ đồ khái niệm và mọi Apple Note được đồng bộ hóa, mọi đoạn trích dẫn được đánh dấu và mọi danh sách việc cần làm kể từ năm 2015. Hành động này mang lại sự giải thoát và yên bình.

Xây dựng và vấn đề của “Bộ não thứ hai”

Trong nhiều năm, Joan đã xây dựng cái gọi là “bộ não thứ hai”, một khái niệm được những người đam mê công nghệ và “life hacker” (người hack cuộc sống) ưa chuộng, nhằm mục đích nắm bắt mọi thứ, không quên bất cứ điều gì, lưu trữ suy nghĩ trong một kho lưu trữ mạng khổng lồ, có thể tự hỏi và trả lời. Tuy nhiên, theo thời gian, “bộ não thứ hai” này đã trở thành một ngôi mộ, chứa đầy những bản ngã, sở thích và thôi thúc trong quá khứ. Nó không chỉ không tăng tốc tư duy mà còn thay thế tư duy; không giúp trí nhớ mà còn cố định sự tò mò thành các phân loại tĩnh.

Suy ngẫm sau sáu năm tỉnh táo

Joan đã cai rượu được sáu năm, một cột mốc quan trọng giúp anh có một nhận thức mới về thời gian, tạo ra “trước” và “sau”, đồng thời thúc đẩy anh suy ngẫm. Khi nhìn lại hành trình cai rượu, anh nhận thấy rằng kho lưu trữ của mình không có gì giúp anh vượt qua những năm đầu tiên. Anh nhận ra rằng những thứ đưa anh đến đây sẽ không đưa anh đến nơi cần đến tiếp theo.

Lời hứa về sự nắm bắt toàn diện

Gốc rễ của phong trào quản lý kiến thức cá nhân (PKM) hiện đại có thể bắt nguồn từ sự quan tâm học thuật đến lý thuyết hệ thống, Zettelkasten của Luhmann và thần thoại về năng suất của Thung lũng Silicon. Roam Research đã biến liên kết hai chiều thành một sự sùng bái, và Obsidian đã giải phóng sự sùng bái này khỏi web. Nhưng Borges đã hiểu cái giá của một hệ thống toàn diện trong “Thư viện Babel”, ông đã hình dung ra một thư viện vô tận chứa tất cả các cuốn sách có thể có, trong đó có cả sự thật hoàn hảo và những điều vô nghĩa hoàn hảo. Cư dân của thư viện mãi mãi lang thang trong đó, rơi vào tuyệt vọng, điên cuồng và hư vô chủ nghĩa.

Ẩn dụ về “Bộ não thứ hai”

Ẩn dụ về “bộ não thứ hai” vừa đầy tham vọng vừa có phần phi lý về mặt sinh học. Trí nhớ của con người không phải là một kho lưu trữ, nó mang tính liên kết, cụ thể, tình huống và cảm xúc. Chúng ta không suy nghĩ trong các thư mục và cũng không truy xuất ý nghĩa thông qua các liên kết ngược. Tư duy của chúng ta là ngẫu hứng, chúng cố tình quên.

Sự chuyên chế của công cụ

Mọi công cụ đều thay đổi hình dạng của bàn tay sử dụng nó. Obsidian là một phần mềm tuyệt vời, nhưng nếu không có sự điều độ, nó cũng có thể là một cái bẫy. Các tệp Markdown, các thư mục lồng nhau, các plugin theo dõi năng suất, các chế độ xem đồ thị ám chỉ sự toàn tri, tất cả đều có thể tạo ra ảo giác về sự làm chủ. Nhưng các chòm sao là hình chiếu, chúng kể những câu chuyện và không đảm bảo sự hiểu biết.

Nỗi lo lắng về những thứ chưa đọc

Có một cảm giác tội lỗi đi kèm với những cuốn sách, bài báo và bài đăng trên blog chưa đọc. Nhưng có một nỗi lo lắng đặc biệt dành cho những thứ chưa đọc trong danh sách chưa đọc. Danh sách đọc của Joan đã trở thành một vật tổ trí tuệ tưởng tượng, một ngôi đền thờ người mà anh ấy sẽ trở thành, chỉ cần anh ấy đọc tất cả những thứ trên đó.

Phá hủy như một thiết kế

Nietzsche đã đốt những bản nháp ban đầu, Michelangelo đã phá hủy các bản phác thảo, Leonardo da Vinci đã để lại hàng ngàn trang chưa hoàn thành. Hành động xóa không phải là ghi lại sự thất bại, mà là tái khẳng định quyền đại diện. Trong thiết kế, chúng ta nói về phép trừ như một sự tinh chế. Nhà điêu khắc đục bỏ mọi thứ không phải là hình ảnh. Nhạc sĩ cắt bỏ một dòng giai điệu lộn xộn. Nhưng trong công việc tri thức, chúng ta tích trữ. Chúng ta coi sự tích lũy là một đức tính.

Cảm giác bắt đầu lại

Cảm giác bắt đầu lại giống như bơi mà không mặc quần áo. Nhẹ nhàng, trần trụi, hơi mong manh, nhưng sạch sẽ hơn so với cảm giác trong nhiều năm. Joan viết khi biết rằng nó có thể biến mất, anh đánh dấu sách khi biết rằng các dấu sẽ phai. Anh tin rằng những điều quan trọng sẽ quay trở lại, sẽ tìm thấy con đường của chúng để nổi lên. Anh không còn tôn thờ tính vĩnh cửu của văn bản nữa.

Hệ thống mới

Hệ thống mới của Joan, nói một cách đơn giản, là không có hệ thống. Anh viết ra những suy nghĩ của mình, xóa bỏ những thứ không cần thiết. Anh không nắm bắt mọi thứ, và cũng không cố gắng làm như vậy. Anh đọc tùy thích, anh suy nghĩ trong các cuộc trò chuyện, anh suy nghĩ trong vận động, anh suy nghĩ trong các tình huống. Anh không xây dựng bộ não thứ hai, anh sống trong bộ não thứ nhất.

HN | Độ nóng: 483 điểm | 296 bình luận | Tác giả: MrVandemar #

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

• Tác giả đã xóa kho lưu trữ ghi chú của mình vì chúng chứa các hướng dẫn về các thao tác không thường xuyên thực hiện, trạng thái hiện tại của các dự án cá nhân, nhật ký bảo trì xe và các chi tiết nhận dạng tài khoản quan trọng, v.v.
• Có người cho rằng cái gọi là “bộ não thứ hai” giống danh sách việc cần làm hơn là nhật ký kỹ thuật, những ghi chú này gây ra sự lo lắng.
• Có người phản đối việc xóa ghi chú vì chúng ghi lại những suy nghĩ và bản thân trong quá khứ, giúp nhìn lại quá khứ và cảm nhận sự trưởng thành cá nhân.
• Có người đề cập rằng bộ não thứ hai cũng giống như một cuốn nhật ký, việc xem lại các ghi chú đã ghi lại trong quá khứ là một niềm vui.
• Có người nói rằng việc có thể xem lại các email từ nhiều năm trước là một nguồn tài nguyên quý giá, có thể hiểu được cuộc sống của mình trong quá khứ.
• Có người khuyên nên lưu dữ liệu trên ổ cứng và xem lại sau nhiều năm để hồi tưởng lại những bức ảnh và ghi chú cũ.
• Có người đề cập đến độ tin cậy và hiệu quả chi phí của việc sử dụng băng từ để lưu trữ dữ liệu, cũng như tính ổn định vật lý của nó.
• Có người chỉ ra rằng việc lưu trữ bằng băng từ không phải là vĩnh cửu, các băng từ âm thanh cũ có thể bị phân hủy, tốt nhất nên lưu những thứ quan trọng bằng hai phương tiện khác nhau.

Facebook đang yêu cầu sử dụng Meta AI trên những bức ảnh bạn chưa chia sẻ #

Facebook is asking to use Meta AI on photos you haven’t yet shared

https://www.theverge.com/meta/694685/meta-ai-camera-roll

Bài viết này thảo luận về việc Meta (công ty mẹ của Facebook) bắt đầu sử dụng ảnh riêng tư chưa công khai của người dùng để huấn luyện các mô hình trí tuệ nhân tạo (AI) của mình. Bài viết chỉ ra rằng, mặc dù Meta hiện không sử dụng những ảnh chưa công khai này để huấn luyện các mô hình AI của mình, nhưng họ không trả lời liệu họ có làm như vậy trong tương lai hay không, và họ sẽ có quyền gì đối với ảnh của người dùng.

Bài viết đề cập rằng TechCrunch đã đưa tin về việc một số người dùng Facebook gặp phải thông báo bật lên khi cố gắng sử dụng tính năng “Story”, hỏi họ có muốn tham gia “xử lý đám mây” hay không, điều này sẽ cho phép Facebook “thường xuyên chọn phương tiện từ cuộn camera của bạn và tải lên đám mây của chúng tôi” để tạo ra “ảnh ghép, hồi tưởng, thiết kế lại bằng AI hoặc ý tưởng cho các chủ đề như sinh nhật, tốt nghiệp, v.v.”. Bằng cách cho phép tính năng này, người dùng đồng ý với các điều khoản Meta AI, cho phép AI của họ phân tích “phương tiện và đặc điểm khuôn mặt” của những ảnh chưa công khai này, cũng như ngày chụp ảnh và sự hiện diện của những người hoặc vật thể khác trong ảnh. Người dùng tiếp tục cấp cho Meta quyền “giữ lại và sử dụng” thông tin cá nhân này.

Meta gần đây đã thừa nhận rằng họ đã thu thập dữ liệu từ tất cả nội dung được đăng trên Facebook và Instagram kể từ năm 2007 để huấn luyện các mô hình AI tạo sinh của mình. Mặc dù công ty tuyên bố rằng họ chỉ sử dụng các bài đăng công khai được tải lên bởi người dùng trưởng thành trên 18 tuổi, nhưng họ vẫn mơ hồ về ý nghĩa của “công khai” và “người dùng trưởng thành” năm 2007 là gì. Meta nói với The Verge rằng hiện tại họ không sử dụng tính năng mới này để huấn luyện ảnh chưa công khai của bạn. Ryan Daniels, người quản lý các vấn đề công chúng của Meta, cho biết thử nghiệm này không sử dụng ảnh của mọi người để cải thiện hoặc huấn luyện các mô hình AI của chúng tôi.

Lập trường công khai của Meta là tính năng này “rất sớm”, vô hại và hoàn toàn là tùy chọn: “Chúng tôi đang khám phá những cách để giúp việc chia sẻ nội dung trên Facebook trở nên dễ dàng hơn, bằng cách thử nghiệm các đề xuất chia sẻ sẵn có và nội dung được tuyển chọn từ cuộn camera cá nhân. Những đề xuất này là tùy chọn và chỉ hiển thị cho bạn - trừ khi bạn quyết định chia sẻ chúng - và có thể tắt bất cứ lúc nào. Phương tiện từ cuộn camera có thể được sử dụng để cải thiện những đề xuất này, nhưng không được sử dụng để cải thiện các mô hình AI trong thử nghiệm này.” Maria Cubeta, người quản lý truyền thông của Meta, cho biết trong một tuyên bố.

Bài viết chỉ ra rằng, điều này có vẻ tương tự như Google Photos, nơi cũng có thể đề xuất AI điều chỉnh hình ảnh của bạn sau khi người dùng chọn tham gia Google Gemini. Nhưng không giống như Google, công ty tuyên bố rõ ràng rằng họ sẽ không sử dụng dữ liệu cá nhân thu được từ Google Photos để huấn luyện các mô hình AI tạo sinh, các điều khoản sử dụng AI hiện tại của Meta có hiệu lực từ ngày 23 tháng 6 năm 2024, không nêu rõ liệu ảnh chưa công khai được truy cập thông qua “xử lý đám mây” có bị loại trừ khỏi việc sử dụng làm dữ liệu huấn luyện hay không - Meta cũng không làm rõ điều này cho chúng tôi.

Mặc dù Daniels và Cubeta nói với The Verge rằng việc chọn tham gia chỉ cho phép Meta truy xuất cuộn camera chưa công khai của bạn trong vòng 30 ngày, nhưng có vẻ như Meta giữ lại một số dữ liệu lâu hơn thời gian đó. Meta viết: “Các đề xuất cuộn camera dựa trên chủ đề, chẳng hạn như thú cưng, đám cưới và tốt nghiệp, có thể bao gồm phương tiện truyền thông quá 30 ngày.”

May mắn thay, người dùng Facebook có một tùy chọn để tắt xử lý đám mây cuộn camera trong cài đặt của họ và sau khi kích hoạt, nó cũng sẽ bắt đầu xóa ảnh chưa công khai khỏi đám mây sau 30 ngày.

Tính năng này ám chỉ một sự xâm phạm mới đối với dữ liệu riêng tư trước đây của chúng ta, nó bỏ qua điểm khó khăn của việc quyết định công khai ảnh một cách có ý thức. Theo các bài đăng trên Reddit được TechCrunch tìm thấy, Meta đã cung cấp các đề xuất thiết kế lại bằng AI cho các ảnh đã tải lên trước đó, ngay cả khi người dùng không nhận ra tính năng này: một người dùng báo cáo rằng Facebook đã biến ảnh cưới của cô thành phong cách Miyazaki mà không có sự đồng ý của cô.

HN | Độ nóng: 474 điểm | 339 bình luận | Tác giả: pier25 #

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

• Hệ thống AI mà Facebook sử dụng có những sai sót rõ ràng trong việc gắn thẻ và phân loại ảnh.
• Một người đã chia sẻ trải nghiệm về việc trang mà họ quản lý bị gỡ xuống do AI nhận diện sai.
• Một số người bày tỏ sự thông cảm hài hước về những lỗi nhận diện của AI, chẳng hạn như nhầm lẫn sao Kim và sao Thổ với các bộ phận cơ thể người.
• Một số người chỉ trích việc lạm dụng AI trong các dịch vụ xã hội và hỗ trợ khách hàng.
• Một số người cho rằng AI chỉ nên là một công cụ hỗ trợ, không nên trở thành một phương tiện lọc không thể tránh khỏi.
• Một người đã chia sẻ kinh nghiệm sử dụng mô hình AI trong một dự án phê duyệt hóa đơn y tế, nhấn mạnh việc sử dụng AI một cách có đạo đức.
• Một số người chỉ ra rằng ngay cả khi có sự tham gia của con người, hệ thống vẫn có thể trở nên bất công do các cơ chế khuyến khích.
• Một số người thảo luận về cách cải thiện hiệu quả và độ chính xác của việc xử lý hóa đơn y tế thông qua đánh giá hỗ trợ bởi AI.
• Một số người lo ngại rằng việc sử dụng AI sẽ làm trầm trọng thêm những bất công hiện có và làm tăng độ tin cậy của tự động hóa.
• Một số người đề xuất để CEO chịu trách nhiệm trực tiếp về các quyết định do máy tính đưa ra, để cân bằng rủi ro và phần thưởng.

MCP: Một Hệ Thống Plugin (Vô Tình) Phổ Quát #

MCP: An (Accidentally) Universal Plugin System

https://worksonmymachine.substack.com/p/mcp-an-accidentally-universal-plugin

Bài viết này thảo luận về tiềm năng của MCP (Model Context Protocol - Giao thức Ngữ cảnh Mô hình) như một hệ thống plugin phổ quát ngoài ý muốn. Tác giả Scott Werner, thông qua một số phép ẩn dụ và ví dụ sinh động, đã minh họa tính linh hoạt và khả năng mở rộng của MCP.

Bài viết bắt đầu bằng việc đề cập đến tính đa năng của USB-C, ngụ ý rằng MCP cũng có tiềm năng tương tự. USB-C không chỉ là một giao diện để sạc và truyền dữ liệu, nó có thể kết nối nhiều loại thiết bị khác nhau, chẳng hạn như điện thoại, lò nướng bánh pizza cá nhân, thậm chí cả máy nướng bánh mì và màn hình của Rex. Phép ẩn dụ này giúp người đọc hiểu rằng MCP không chỉ giới hạn ở việc kết nối các mô hình AI mà còn có thể kết nối bất kỳ nguồn dữ liệu và công cụ nào.

Tác giả chỉ ra rằng, mặc dù MCP được coi là để nâng cao trí thông minh của trợ lý AI (ví dụ: cho phép AI hiểu các tệp và cảm xúc của người dùng), nhưng trên thực tế, nếu chúng ta loại bỏ phần AI, MCP sẽ trở thành một phương pháp tiêu chuẩn để kết nối các chức năng khác nhau. Điều này cho phép mọi thứ giao tiếp với nhau.

Bài viết tiếp tục giải thích rằng thiết kế của MCP cho phép ngày càng có nhiều người xây dựng máy chủ MCP, để mỗi ứng dụng có thể tận dụng các chức năng do người khác phát triển. Tác giả sử dụng phép ẩn dụ “bữa tiệc” để mô tả quá trình này: mỗi người mang đến món đặc sản của mình, và những món đặc sản này (chức năng) có thể được người khác sử dụng, tạo thành một hệ sinh thái cùng có lợi.

MCP được so sánh với USB-C, không chỉ vì nó là một điểm kết nối, mà còn vì nó là một không gian đầy tiềm năng, cho phép truy cập vào nhiều chức năng khác nhau. MCP thực sự là một giao thức cho phép giao tiếp hiệu quả giữa các hệ thống khác nhau, vượt xa mục đích ban đầu của nó.

Cuối cùng, tác giả đề cập rằng họ đang phát triển một ứng dụng quản lý tác vụ có tên là APM (Actions Per Minute - Hành động Mỗi Phút), chức năng thực tế sẽ thay đổi tùy thuộc vào máy chủ MCP mà người dùng kết nối, thể hiện tính linh hoạt và sáng tạo của MCP. Phần cuối bài viết khuyến khích người đọc mạnh dạn sáng tạo và phát huy tiềm năng của MCP.

Tóm lại, MCP là một giao thức mạnh mẽ, không chỉ cung cấp ngữ cảnh cho AI mà còn cung cấp khả năng kết nối cho nhiều chức năng khác nhau, trở thành một hệ thống plugin phổ quát ngoài ý muốn.

HN | Độ nóng: 460 điểm | 206 bình luận | Tác giả: Stwerner #

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

• Sự phổ biến của giao thức MCP không phải vì tính sáng tạo của nó, mà là vì nó đơn giản, dễ hiểu, dễ viết máy chủ, do đó nhanh chóng trở nên phổ biến.
• Sự trỗi dậy của AI Agent khiến khả năng tương tác trở nên hợp thời, còn việc khóa chặt nhà cung cấp trở nên lỗi thời.
• Một số người cho rằng LLM (mô hình ngôn ngữ lớn) tự thân nó và khả năng sử dụng các công cụ của nó là chìa khóa thành công của MCP, chứ không phải bản thân giao thức MCP.
• Lợi ích chính của MCP nằm ở việc nó được áp dụng rộng rãi, thúc đẩy khả năng tương tác và kết nối giữa các công cụ, API và mô hình.
• Có người lo ngại rằng những nỗ lực khóa chặt thiển cận như Slack có thể cản trở sự phát triển của MCP.
• Có người đề cập rằng MCP cho phép người dùng truy cập dữ liệu của riêng họ, chẳng hạn như cuộc trò chuyện Slack, phiếu Jira và cuộc hẹn trên lịch, những dữ liệu này sẽ không được sử dụng cho bộ dữ liệu huấn luyện AI.
• Có người cho rằng MCP được thiết kế để cung cấp “quyền đại diện”, chứ không chỉ đơn thuần là hiển thị dữ liệu và chức năng được tuyển chọn, điều này khác với API tiêu chuẩn.
• Cơn sốt AI đã phơi bày giá trị của dữ liệu, khiến những người vốn cung cấp dữ liệu miễn phí bắt đầu tính phí, còn những người vốn không bán dữ liệu bắt đầu bán dữ liệu.
• Có người đề cập rằng sự phổ biến của giao thức MCP có thể không kéo dài, nếu nó không đáp ứng được kỳ vọng của mọi người.
• Có người cho rằng sự phổ biến của MCP có thể chỉ là tạm thời, vì việc khóa chặt API đã bắt đầu từ trước khi huấn luyện AI.
• Có người cho rằng, thành công của MCP không phải vì tính mới lạ về mặt kỹ thuật, mà là vì nó phù hợp với nhu cầu hiện tại của AI Agent, khiến thiết kế API chuyển từ hướng đến GUI sang hướng đến AI Agent.

Tòa án Tối cao Hoa Kỳ hạn chế quyền lực của các thẩm phán liên bang trong việc ngăn chặn các sắc lệnh của Trump #

US Supreme Court limits federal judges’ power to block Trump orders

https://www.theguardian.com/us-news/2025/jun/27/trump-supreme-court-birthright-citizenship-scotus

Tòa án Tối cao Hoa Kỳ gần đây đã ủng hộ nỗ lực của Donald Trump nhằm hạn chế các lệnh của tòa án cấp dưới, vốn cho đến nay đã ngăn chặn sắc lệnh hành pháp của chính quyền ông về việc cấm quyền công dân theo nơi sinh. Phán quyết này có khả năng tước bỏ quyền lực mà các thẩm phán liên bang đã sử dụng để cản trở nhiều sắc lệnh mang tính quốc gia của Trump. Quyết định này thể hiện một sự thay đổi căn bản trong cách thức các tòa án liên bang Hoa Kỳ hạn chế quyền lực của tổng thống. Trước đây, bất kỳ một trong số hơn 1000 thẩm phán tại 94 tòa án quận của Hoa Kỳ (cấp thấp nhất của tòa án liên bang, chịu trách nhiệm xét xử và ra phán quyết sơ bộ) đều có thể ban hành lệnh cấm trên toàn quốc, ngay lập tức đình chỉ các chính sách của chính phủ ở cả 50 tiểu bang. Tuy nhiên, theo phán quyết của Tòa án Tối cao, các lệnh của tòa án này chỉ áp dụng cho các nguyên đơn cụ thể đã đệ đơn kiện – ví dụ: một nhóm các tiểu bang hoặc tổ chức phi lợi nhuận.

Ý kiến của Tòa án Tối cao về câu hỏi hiến pháp liệu trẻ em sinh ra ở Hoa Kỳ có thể bị tước quyền công dân hay không vẫn chưa được quyết định, và mặc dù Trump tuyên bố đây là một “chiến thắng lớn”, nhưng số phận của sắc lệnh lật ngược quyền công dân theo nơi sinh của tổng thống Hoa Kỳ vẫn chưa rõ ràng. Để giảm thiểu tác động của phán quyết, các nhóm hỗ trợ người nhập cư đã nhanh chóng điều chỉnh lại các chiến lược pháp lý của họ để ngăn chặn chính sách của Trump về việc chấm dứt quyền công dân theo nơi sinh. Các nhóm vận động cho người nhập cư, bao gồm Casa và Dự án Vận động cho Người xin tị nạn (Asap) – những người đã đệ trình một trong nhiều vụ kiện ban đầu thách thức sắc lệnh hành pháp của tổng thống – đang yêu cầu một thẩm phán liên bang ở Maryland khẩn cấp ngăn chặn sắc lệnh hành pháp về quyền công dân theo nơi sinh của Trump. Họ cũng đã đệ trình lại một vụ kiện rộng hơn, với tư cách là một vụ kiện tập thể, tìm cách bảo vệ mọi phụ nữ mang thai hoặc trẻ em sinh ra trong các gia đình không có tư cách pháp nhân thường trú, bất kể họ sống ở đâu.

George Escobar, người đứng đầu các chương trình và dịch vụ của Casa, cho biết: “Chúng tôi tin rằng điều này sẽ ngăn chặn chính quyền này cố gắng thực thi một cách có chọn lọc sắc lệnh hành pháp thái quá của họ. Đây là những thời điểm khủng khiếp, nhưng chúng tôi không bất lực, chúng tôi đã chứng minh điều đó trong quá khứ và chúng tôi tiếp tục chứng minh rằng khi chúng tôi chiến đấu, chúng tôi sẽ thắng.”

Phán quyết này được đưa ra bởi sáu trong số chín thẩm phán của Tòa án Tối cao với tỷ lệ ba phiếu thuận trên ba phiếu chống, ủng hộ chính quyền Trump trong một vụ án lịch sử kiểm tra quyền lực tổng thống và sự giám sát tư pháp. Đa số bảo thủ viết rằng “lệnh cấm phổ quát có thể vượt quá quyền lực công bằng mà Quốc hội đã trao cho các tòa án liên bang”, cho phép “chính phủ tạm đình chỉ một phần đơn kháng cáo đối với lệnh của tòa án cấp dưới, nhưng chỉ giới hạn ở phạm vi lệnh vượt quá mức cần thiết để cung cấp cứu trợ đầy đủ cho mỗi nguyên đơn có quyền khởi kiện.”

Phán quyết do thẩm phán bảo thủ Amy Coney Barrett viết không làm cho chính sách mà Trump tìm cách cấm quyền công dân theo nơi sinh có hiệu lực ngay lập tức, cũng như không đề cập đến tính hợp pháp của chính sách này. Số phận của chính sách vẫn chưa rõ ràng. Với việc phe bảo thủ chiếm đa số trong tòa án, phe tự do bất đồng, phán quyết quy định rằng sắc lệnh hành pháp của Trump không thể có hiệu lực trong vòng 30 ngày sau phán quyết hôm thứ Sáu. Trump coi phán quyết này là sự khẳng định cho chương trình nghị sự rộng lớn hơn của ông, đó là giảm bớt sự hạn chế của tư pháp đối với quyền hành pháp. Trump cho biết trong một cuộc họp báo tại Nhà Trắng hôm thứ Sáu: “Nhờ quyết định này, giờ đây chúng ta có thể nhanh chóng đưa ra các chính sách tiếp tục được thực thi mà nhiều chính sách đã bị cấm một cách sai trái trên toàn quốc.” Ông nói thêm: “Đây không phải là dành cho những người đang cố gắng lợi dụng hệ thống, vào đất nước khi đi nghỉ.”

Thẩm phán Ketanji Brown Jackson đã đưa ra một sự bất đồng gay gắt. Bà lập luận rằng quyết định của đa số nhằm hạn chế quyền lực của tòa án liên bang trong việc trao cứu trợ pháp lý trên toàn quốc trong các vụ án, cho phép Trump thực thi các chính sách vi hiến đối với những người chưa đệ đơn kiện, có nghĩa là chỉ những người có nguồn lực và tư cách pháp lý để thách thức lệnh trước tòa mới được bảo vệ. Jackson viết: “Quyết định của tòa án cho phép cơ quan hành pháp vi phạm hiến pháp đối với bất kỳ ai chưa khởi kiện là một mối đe dọa đối với pháp quyền. Với vai trò quan trọng của tư pháp trong việc duy trì pháp quyền… ít nhất có thể nói rằng, việc tòa án sẵn sàng trao cho cơ quan hành pháp quyền tự do khỏi các ràng buộc hiến pháp, bằng cách cấm các lệnh của tòa án quận tuân thủ hoàn toàn hiến pháp, là điều kỳ lạ.”

Thẩm phán tự do Sonia Sotomayor cho biết tại tòa rằng quyết định của đa số tòa án là một “bi kịch” đối với pháp quyền. Nguyên tắc quyền công dân theo nơi sinh đã tồn tại từ năm 1898, khi Tòa án Tối cao trao quyền công dân cho Wong Kim Ark, người sinh ra ở San Francisco, có cha mẹ là người nhập cư Trung Quốc và không thể nhập tịch. Phán quyết này chắc chắn sẽ làm gia tăng nỗi sợ hãi và sự không chắc chắn mà nhiều bà mẹ tương lai và các gia đình nhập cư trên khắp Hoa Kỳ đã cảm thấy kể từ khi chính phủ lần đầu tiên cố gắng chấm dứt quyền công dân theo nơi sinh. Liza, một trong số ít các bà mẹ tương lai được nêu tên là nguyên đơn trong vụ kiện thách thức chính sách quyền công dân theo nơi sinh của Trump, cho biết cô đã sinh một em bé “vui vẻ và khỏe mạnh”, và con cô là công dân Hoa Kỳ khi sinh ra nhờ lệnh cấm trên toàn quốc trước đó đã ngăn chặn sắc lệnh của Trump. Nhưng cô và chồng, cả hai đều là công dân Nga, lo sợ bị đàn áp ở quê hương của họ, vẫn cảm thấy bất an. Cô nói trong một cuộc họp báo hôm thứ Sáu: “Chúng tôi vẫn lo sợ rằng ngay cả bây giờ, chính phủ vẫn có thể cố gắng tước quyền công dân Hoa Kỳ của con chúng tôi. Tôi đã lo sợ rằng chính phủ có thể cố gắng giam giữ hoặc trục xuất con tôi. Vào một thời điểm nào đó, sắc lệnh hành pháp khiến chúng tôi cảm thấy con mình bị coi là vô danh.” Liên minh Tự do Dân sự Hoa Kỳ (ACLU) lên án phán quyết này là mở ra cánh cửa cho phép thực thi một phần lệnh cấm quyền công dân tự động theo nơi sinh, gần như đối với mọi người…

HN | Độ nóng: 390 điểm | 734 bình luận | Tác giả: leotravis10 #

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

• Chính phủ có thể cố ý không kháng cáo để tránh việc tòa án cấp cao hơn tạo ra tiền lệ ràng buộc, từ đó thực thi các chính sách bất hợp pháp đối với phần lớn những người không khởi kiện.
• Lệnh cấm trên toàn quốc có thể đạt được thông qua các vụ kiện tập thể, nhưng không phải mọi thách thức pháp lý đều phù hợp với kiện tập thể.
• Trong một số trường hợp, nhóm người bị ảnh hưởng không thể tạo thành một nhóm kiện tập thể phù hợp.
• ACLU đã mất lòng tin của công chúng do các vấn đề nội bộ, từ một chiến binh vì tự do trở thành đối tượng mà người ta mong muốn tổ chức của họ bị tiêu diệt.
• Sự nhượng bộ có nguyên tắc của ACLU trong việc xử lý các vấn đề COVID-19 bị coi là sự phản bội lại các nguyên tắc cốt lõi của họ.
• Chính phủ liên bang có thể chuyển những người bị giam giữ đến các khu vực có lợi hơn cho các phán quyết tư pháp.
• Ngay cả khi phán quyết của tòa án cấp thấp có tính ràng buộc trong khu vực đó, thì nó không áp dụng ở các khu vực khác, dẫn đến việc thực thi pháp luật kém hiệu quả.
• Không có pháp quyền thực sự, tất cả chỉ là trò chơi quyền lực.

Các Chứng Nghiện Đang Được Thiết Kế #

Addictions Are Being Engineered

https://masonyarbrough.substack.com/p/engineered-addictions

Bài viết “Nghiện được Thiết kế” này do Mason viết, khám phá cách Thung lũng Silicon thương mại hóa sự chú ý và các mối quan hệ giữa người với người của chúng ta, đồng thời giải thích những vấn đề cố hữu mà mạng xã hội phải đối mặt trong quá trình phát triển.

Bài viết mở đầu bằng việc đề cập rằng cứ vài tháng lại có một nền tảng xã hội mới hứa hẹn “sửa chữa” các vấn đề của các nền tảng hiện có, chẳng hạn như BeReal và Clubhouse. Tuy nhiên, kết quả của các nền tảng này thường tương tự nhau: ý định ban đầu thuần khiết, nhận vốn đầu tư mạo hiểm, đối mặt với áp lực tăng trưởng, thao túng thuật toán và cuối cùng không thể tránh khỏi sự suy đồi. Tác giả cũng đã từng cố gắng xây dựng một nền tảng xã hội Circliq nhằm thúc đẩy mọi người gặp gỡ ngoài đời thực, nhưng cuối cùng nhận ra rằng nỗ lực của mình chỉ là tham gia vào vòng tuần hoàn của vấn đề đã tồn tại này.

Tác giả chỉ ra rằng vấn đề thực sự của mạng xã hội không nằm ở khả năng tự kiểm soát của người dùng, mà là kết quả tất yếu do cấu trúc kinh tế sâu sắc gây ra. Sự phát triển của các nền tảng xã hội thường tuân theo các giai đoạn sau:

1. Ý định ban đầu thuần khiết: Người sáng lập muốn kết nối mọi người, chia sẻ những khoảnh khắc chân thực và xây dựng cộng đồng.
2. Sự thôi thúc tăng trưởng: Để có được vốn, phải có người dùng, và việc tăng số lượng người dùng đòi hỏi sự tăng trưởng theo cấp số nhân, cuối cùng khiến tăng trưởng trở thành mục tiêu chính.
3. Tối ưu hóa sự tham gia: Để đạt được tăng trưởng, phải tăng cường sự tham gia của người dùng, khiến thời gian người dùng ở lại trên nền tảng trở thành chỉ số cốt lõi, lúc này việc gây nghiện bắt đầu được thiết kế một cách có hệ thống.
4. Thao túng thuật toán: Để tối đa hóa thời gian ở lại, nền tảng sẽ hiển thị nội dung kích thích cảm xúc của người dùng, chẳng hạn như tức giận, ghen tị và sợ hãi, cuối cùng dẫn đến việc người dùng nghiện.
5. Hoàn toàn mất cân bằng: Lúc này, nền tảng đã thu được lợi nhuận khổng lồ, nhưng sứ mệnh kết nối ban đầu lại cô lập người dùng trước màn hình của họ.

Tác giả cho rằng, việc giải quyết những vấn đề này không chỉ dựa vào việc cai nghiện kỹ thuật số hoặc ý chí ở cấp độ cá nhân, mà cần các giải pháp mang tính hệ thống:

• Mô hình tài trợ khác: Chẳng hạn như thông qua đăng ký, hợp tác xã hoặc tài trợ công để hỗ trợ các nền tảng xã hội, thay vì dựa vào đầu tư mạo hiểm và tăng trưởng dựa trên quảng cáo.
• Giám sát thuật toán: Thực hiện giám sát minh bạch đối với các thuật toán, cho phép người dùng kiểm soát, duy trì tác động tích cực của nền tảng, đồng thời giảm thiết kế gây nghiện.
• Phân tách cấu trúc: Tách biệt quảng cáo sinh lợi và các chức năng xã hội để tránh tác động tiêu cực của các ưu đãi kinh tế đối với tương tác giữa các cá nhân.
• Các chỉ số thay thế: Chuyển đổi các tiêu chuẩn đánh giá nền tảng từ số lượng người dùng hoạt động hàng ngày và thời gian ở lại, sang phúc lợi của người dùng, chất lượng mối quan hệ hoặc kết nối thực tế được thúc đẩy, v.v.

Bài viết nhấn mạnh rằng, sự kết nối thực sự thường xảy ra ở những ranh giới không thể thương mại hóa, và các mối liên hệ thực sự của con người không nên hoàn toàn phụ thuộc vào các hệ thống được thiết kế để kiếm lợi nhuận. Mặc dù các nền tảng xã hội đã kết nối mọi người trên toàn cầu, thúc đẩy các phong trào xã hội và khuếch đại những tiếng nói bị bỏ qua, nhưng trong quá trình tối ưu hóa sự tham gia, thời gian ở lại của người dùng và khai thác giá trị, chúng ta đã đánh mất sứ mệnh kết nối ban đầu.

Phần kết thúc kêu gọi thay đổi mô hình kinh tế hiện tại để tạo ra một môi trường truyền thông xã hội lành mạnh hơn, nhấn mạnh rằng giải pháp không phải là một ứng dụng khác, mà là thay đổi hoàn toàn luật chơi.

HN | Độ nóng: 336 điểm | 211 bình luận | Tác giả: echollama #

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

• Đầu tư bên ngoài là nguyên nhân lớn nhất khiến công ty đánh mất đạo đức, bởi vì trách nhiệm pháp lý đối với cổ đông xói mòn đạo đức.
• Công ty thực chất là một sản phẩm, và sản phẩm thực sự chỉ là thức ăn để nuôi “sản phẩm” này.
• Sự tồn tại của kế hoạch rút lui báo hiệu sự diệt vong của người dùng, bởi vì không ai thực sự quan tâm đến người dùng.
• Cần có một chiến lược rút lui, nhưng đồng thời phải giả vờ rằng đó không phải là trọng tâm, đây là một động thái kỳ lạ.
• Quan điểm “công ty là sản phẩm” cũng áp dụng cho nhiều công ty niêm yết, đặc biệt là ngành công nghệ.
• Sự tồn tại của bộ phận quan hệ nhà đầu tư khiến quan điểm “công ty là sản phẩm” trở nên rất rõ ràng.
• Công ty không thể thành công nếu không xây dựng được một câu chuyện hoặc lý thuyết độc đáo.
• Trong ngắn hạn, thị trường là một máy bỏ phiếu, về lâu dài là một máy cân, các yếu tố cơ bản mạnh mẽ cuối cùng sẽ lộ diện.
• Do sự phình to của ngành công nghệ, nhiều sản phẩm và câu chuyện AI hiện tại có tính cạnh tranh về chi phí.
• Bất kỳ hình thức thu hẹp nào cũng có thể dẫn đến sự sụp đổ của toàn bộ nền kinh tế, bởi vì nhiều công ty đang đầu tư quá nhiều vào “trí tuệ nhân tạo”.
• Xem công ty như một sản phẩm là một tác dụng phụ rõ ràng của sự bất bình đẳng về giàu có, bởi vì tiền ở trên đỉnh nhiều hơn tiền trong tay người tiêu dùng.
• Bất bình đẳng về giàu có có thể dẫn đến các vấn đề nghiện ngập phổ biến, bởi vì sự tuyệt vọng dẫn đến việc tìm kiếm sự kích thích cảm xúc hoặc giác quan ngắn hạn.
• Vấn đề nghiện ngập không chỉ tồn tại ở người nghèo, người giàu cũng phải đối mặt với vấn đề nghiện ngập.

JWST tiết lộ khám phá hình ảnh trực tiếp đầu tiên về một ngoại hành tinh #

JWST reveals its first direct image discovery of an exoplanet

https://www.smithsonianmag.com/smart-news/james-webb-space-telescope-reveals-its-first-direct-image-discovery-of-an-exoplanet-180986886/

Kính viễn vọng Không gian James Webb Tiết lộ Hình ảnh Trực tiếp Đầu tiên về Khám phá Ngoại hành tinh

Các nhà thiên văn học sử dụng Kính viễn vọng Không gian James Webb (JWST) đã xác định được một nguồn hồng ngoại mờ nhạt trong đĩa mảnh vụn xung quanh ngôi sao trẻ TWA 7, cách Trái đất khoảng 111 năm ánh sáng. Họ cho biết nguồn sáng này rất có thể là một ngoại hành tinh. Nếu được xác nhận, đây sẽ là lần đầu tiên kính viễn vọng trực tiếp phát hiện ra một hành tinh bên ngoài hệ mặt trời.

Các nhà nghiên cứu đã phát hiện ra gần như tất cả hàng nghìn ngoại hành tinh đã biết bằng các phương pháp gián tiếp, chẳng hạn như bằng cách phát hiện những bóng mờ nhỏ do các hành tinh tạo ra khi chúng đi qua phía trước ngôi sao chủ của chúng trên quỹ đạo. Nhưng trong một nghiên cứu mới được công bố trên tạp chí Nature vào thứ Tư, các nhà thiên văn học đã mô tả bức ảnh đầu tiên mà JWST chụp được về một ngoại hành tinh.

Vì các hành tinh dễ dàng bị lu mờ bởi ánh sáng chói lọi của ngôi sao chủ của chúng, nên việc chụp ảnh một hành tinh quay quanh một ngôi sao xa xôi là rất khó khăn. “Vấn đề cơ bản là các ngôi sao rất sáng, trong khi các hành tinh rất mờ,” Anne-Marie Lagrange, tác giả chính của nghiên cứu và là nhà vật lý thiên văn tại Trung tâm Nghiên cứu Khoa học Quốc gia Pháp, nói với Adam Mann của Science News.

Lagrange và các đồng nghiệp của cô đã giải quyết vấn đề ánh sáng sao bằng cách sử dụng coronagraph của JWST - một thiết bị có thể chặn ánh sáng sao mạnh để dễ dàng phát hiện các vật thể tối hơn ở gần. Sau khi loại bỏ ánh sáng chói vẫn cố gắng xuyên qua bằng các kỹ thuật xử lý ảnh tiên tiến, hình ảnh của JWST đã tiết lộ một nguồn hồng ngoại mờ nhạt gần ngôi sao TWA 7.

Mặc dù có một khả năng rất nhỏ (xác suất khoảng 0,34%) là nguồn hồng ngoại mới được phát hiện có thể là một thiên hà nền, nhưng các nhà nghiên cứu tin rằng hầu hết các bằng chứng đều cho thấy sự tồn tại của một ngoại hành tinh chưa được ghi nhận, được gọi là TWA 7 b, có khối lượng xấp xỉ Sao Thổ. Các quan sát sơ bộ xác định TWA 7 b là một hành tinh trẻ, gần 120 độ F, nằm trong một khoảng trống trong một trong ba vành đai bụi của đĩa mảnh vụn. Khoảng cách giữa hành tinh tiềm năng và ngôi sao lớn hơn khoảng 50 lần so với khoảng cách giữa Trái đất và Mặt trời của chúng ta.

Lagrange cho biết trong một tuyên bố: “Các quan sát của chúng tôi tiết lộ một ứng cử viên hành tinh mạnh mẽ đang định hình cấu trúc của đĩa mảnh vụn TWA 7, ở vị trí chính xác mà chúng tôi dự kiến sẽ tìm thấy một hành tinh có khối lượng như vậy.” Với khối lượng chỉ bằng khoảng một phần mười so với bất kỳ ngoại hành tinh nào được chụp ảnh trực tiếp, điều này khiến nó trở nên đặc biệt hơn, thể hiện khả năng của các thiết bị kính viễn vọng không gian.

Theo Robert Lea của Space.com, các nhà thiên văn học đã quan tâm đến TWA 7 từ lâu vì từ Trái đất, chúng ta có thể nhìn thấy mặt trước của đĩa mảnh vụn xung quanh ngôi sao, thay vì từ phía hẹp của nó. Góc nhìn này cho phép các nhà nghiên cứu trước đây xác định các khoảng trống trong đĩa, gián tiếp gợi ý sự tồn tại của các hành tinh chưa được phát hiện.

Nếu nguồn hồng ngoại do JWST phát hiện thực sự là một ngoại hành tinh, thì đây cũng sẽ là khám phá trực tiếp đầu tiên liên quan đến một hành tinh đang định hình đĩa mảnh vụn xung quanh một ngôi sao.

Để hỗ trợ thêm cho các quan sát của họ, Lagrange và các đồng nghiệp của cô đã chạy các mô hình máy tính mô phỏng hệ hành tinh tiềm năng. Các hình ảnh do mô phỏng tạo ra phù hợp với các hình ảnh mà kính viễn vọng đã chụp được. Lagrange nói với Science News: “Đó thực sự là lý do tại sao chúng tôi tin chắc rằng có một hành tinh.”

Cuối cùng, việc JWST chụp ảnh một ngoại hành tinh có khối lượng tương tự như Sao Thổ có ý nghĩa quan trọng đối với việc tìm hiểu các hệ hành tinh, bao gồm cả hệ hành tinh của chúng ta, Mathilde Marín, nhà vật lý thiên văn tại Viện Khoa học Kính viễn vọng Không gian, cho biết trong một tuyên bố.

Lagrange giải thích với Will Dunham của Reuters: “Webb mở ra một cửa sổ mới - về khối lượng của các hành tinh và khoảng cách của các hành tinh so với các ngôi sao của chúng - đối với các ngoại hành tinh mà trước đây không thể quan sát được.” “Điều này rất quan trọng để khám phá sự đa dạng của các hệ ngoại hành tinh và để hiểu cách chúng hình thành và tiến hóa.”

HN | Độ nóng: 321 điểm | 141 bình luận | Tác giả: divbzero #

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

• Hiện tại chúng ta không thể thu được hình ảnh hành tinh ngoài hệ mặt trời lớn hơn 1 pixel.
• Sử dụng Mặt Trời như một thấu kính hấp dẫn có thể thu được độ phân giải bề mặt ở quy mô 25 km trên một hành tinh cách xa 98 năm ánh sáng.
• Tận dụng sự khúc xạ của khí quyển Trái Đất để hội tụ có thể là một phương án khả thi hơn so với việc sử dụng thấu kính hấp dẫn Mặt Trời.
• Sử dụng Sao Thổ hoặc Sao Mộc làm thấu kính có thể cải thiện chất lượng hình ảnh.
• Một nguồn điện không cần bảo trì có khả năng hoạt động liên tục trong 200 năm hiện nằm ngoài khả năng công nghệ của con người.
• Ngay cả khi tàu thăm dò mất một thế kỷ để đến được khoảng cách 542 AU, thì cũng không cần thiết phải giảm tốc, có thể gửi các kính viễn vọng nâng cấp mới.
• Giả định rằng kính viễn vọng ở khoảng cách đó cần gấp đôi công suất của Hubble có thể là quá bảo thủ.
• Lò phản ứng hạt nhân có thể được sử dụng làm nguồn điện cho kính viễn vọng ở khoảng cách xa hơn.
• Việc tăng khả năng sản xuất plutoni-238 hàng năm của ORNL, không cần 200 năm để sản xuất 600 kg plutoni-238.
• Việc giữ cho các thiết bị phức tạp hoạt động trong một thế kỷ trong không gian hiện có vẻ bất khả thi.
• Việc tập hợp một lượng lớn plutoni-238 có thể dẫn đến các vấn đề siêu tới hạn.
• Có thể tránh được trạng thái tới hạn bằng cách phân tán plutoni-238 trong nhiều đơn vị.
• Nhiều đơn vị nguồn điện song song có thể không bền bằng một đơn vị duy nhất.
• Thiết bị bán dẫn có thể không tồn tại được hơn 100 năm.
• Máy tính trên tàu Voyager 2, đã hoạt động gần 50 năm, cho thấy các thiết bị điện tử có thể bền hơn dự kiến.
• Bọc các thiết bị điện tử bằng chì có thể giúp chống lại các tia vũ trụ năng lượng cao.
• Tàu vũ trụ kiểu Orion có thể đạt tốc độ 1000 km/giây, đến được khoảng cách 542 AU trong vòng 3 năm.

Chúng tôi đã chạy một hệ điều hành giống Unix là OS Xv6 trên CPU tự chế với trình biên dịch C tự chế (2020) #

We ran a Unix-like OS Xv6 on our home-built CPU with a home-built C compiler (2020)

https://fuel.edby.coffee/posts/how-we-ported-xv6-os-to-a-home-built-cpu-with-a-home-built-c-compiler/

Bài viết này kể về một dự án mà tác giả tham gia khi còn là sinh viên đại học, đó là chạy một hệ điều hành giống Unix (Xv6) trên một CPU tự chế. Bài viết bắt đầu với kinh nghiệm làm việc của tác giả với tư cách là một kỹ sư phần mềm, dẫn đến một dự án sinh viên mà anh ấy thực hiện khi còn học đại học. Dự án này đã được các đồng nghiệp của anh ấy đánh giá cao, vì vậy anh ấy quyết định viết bài này để chia sẻ kinh nghiệm.

Bối cảnh của dự án là một dự án thí nghiệm sinh viên tại Khoa Khoa học Thông tin của Đại học Tokyo, có tên là Thí nghiệm CPU. Trong thí nghiệm này, sinh viên được chia thành các nhóm từ bốn đến năm người, mỗi nhóm thiết kế kiến trúc CPU của riêng mình, triển khai nó trên FPGA, xây dựng một trình biên dịch tập hợp con OCaml cho CPU đó và chạy một chương trình dò tia (ray tracing) nhất định trên CPU. Tác giả chịu trách nhiệm phần CPU trong nhóm.

Thí nghiệm này nổi tiếng với yêu cầu tự học cao. Giáo viên hướng dẫn chỉ yêu cầu sinh viên “viết chương trình dò tia bằng OCaml và chạy nó trên CPU được triển khai trên FPGA”, sau đó khóa học kết thúc. Giáo viên sẽ không giải thích chi tiết các bước cụ thể để viết CPU và trình biên dịch, sinh viên cần tự học cách áp dụng kiến thức chung về CPU và trình biên dịch đã học trong các khóa học trước vào các mạch và mã thực tế.

Bài viết tiếp tục đề cập rằng, ngoài việc hoàn thành các yêu cầu cơ bản của thí nghiệm, sinh viên có thời gian rảnh để tăng tốc CPU của họ hơn nữa. Trong các thí nghiệm trước, sinh viên đã tạo ra CPU thực thi ngoài thứ tự (out-of-order CPU), CPU VLIW, CPU đa nhân (multi-core CPU) và thậm chí cả CPU siêu vô hướng (superscalar CPU). Tuy nhiên, nhóm của tác giả (Nhóm 6) có xu hướng giải trí hơn, họ quyết định chạy một hệ điều hành như một mục tiêu của nhóm. Ý tưởng này cũng nhận được sự quan tâm từ các nhóm khác, vì vậy một nhóm chung khoảng 8 người, Nhóm X, được thành lập với mục tiêu “Hãy chạy một hệ điều hành trên CPU của riêng chúng ta!”.

Họ đã chọn Xv6 làm hệ điều hành để chuyển (port), đây là một hệ điều hành đơn giản theo phong cách Unix v6 do MIT tạo ra cho mục đích giáo dục. Xv6 được viết bằng ANSI C và không giống như Unix v6, nó chạy trên x86. Mặc dù Xv6 có chức năng tương đối đơn giản như một hệ điều hành giáo dục, nhưng nó đủ dùng như một hệ điều hành giống Unix đơn giản.

Trong quá trình chuyển Xv6, tác giả và nhóm của anh ấy đã phải đối mặt với nhiều thách thức, bao gồm xây dựng trình biên dịch C và chuỗi công cụ (toolchain) cho Xv6, xác định các tính năng CPU cần thiết cho hệ điều hành, các vấn đề về trình mô phỏng và khả năng di động thấp của Xv6. Mặc dù phải đối mặt với nhiều vấn đề, nhưng họ vẫn bắt đầu dự án chuyển hệ điều hành của Nhóm X vào tháng 12.

Bài viết cuối cùng đề cập rằng tác giả sẽ trình bày chi tiết những gì họ đã làm theo trình tự thời gian. Nếu độc giả muốn xem nhanh sản phẩm cuối cùng của họ, họ có thể chuyển đến phần tháng 3 của bài viết. Vào cuối tháng 11, họ bắt đầu xây dựng trình biên dịch, quyết định xây dựng một trình biên dịch C89 từ đầu. Đến giữa tháng 12, nhóm hệ điều hành bắt đầu làm việc, tác giả và Shohei từ Nhóm 6 bắt đầu làm việc trong Nhóm X, trở thành nhóm hệ điều hành. Họ bắt đầu đọc mã nguồn Xv6 và bắt đầu chuyển Xv6 sang MIPS để hiểu cách hệ điều hành hoạt động.

HN | Độ nóng: 218 điểm | 18 bình luận | Tác giả: AlexeyBrin #

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

• Trong thời gian học đại học, một dự án nhóm đã chọn port MINIX3 lên Raspberry Pi, gặp phải nhiều khó khăn kỹ thuật, bao gồm Raspberry Pi 3 khởi động vào chế độ máy ảo thay vì chế độ giám sát, và độ chính xác mô phỏng Raspberry Pi của QEMU cực kỳ thấp.
• Gỡ lỗi phần cứng Raspberry Pi một cách khó khăn thông qua đầu ra nối tiếp, lúc đó không có trình gỡ lỗi JTAG và tài liệu cũng rất kém.
• Có người đề cập đến việc chọn SoC của AllWinner, Rockchip hoặc Mediatek thay vì Broadcom, vì tài liệu của Broadcom thường rất tệ.
• Có người sử dụng chân đoản mạch dao để điều khiển trình diễn, tương tự như việc đoản mạch hai chân nguồn trên bo mạch chủ ATX để khởi động máy tính khi không có công tắc.
• 25-30 năm trước đã có một thí nghiệm tương tự tại SFU, nhưng không chạy hệ điều hành và trình biên dịch, giới thiệu trò chơi Turing Complete, có thể xây dựng từ một vài cổng logic đến một máy tính hoàn chỉnh.
• Có người đề cập đến trò chơi nand2tetris, cũng là một dự án học thuật tương tự.
• Khi xây dựng CPU, trình biên dịch và hệ điều hành của riêng bạn, không có hỗ trợ nền tảng, mỗi lỗi đều là một phần của quy tắc hệ thống, bạn cần tự mình gỡ lỗi.
• Có người đề cập đến kinh nghiệm sử dụng máy hiện sóng để gỡ lỗi đầu ra in của kernel.
• Trong khóa học khái niệm hệ điều hành nâng cao, sinh viên đã viết một hệ điều hành x86 đồ chơi từ đầu và thêm rất nhiều printf vào QEMU để kết xuất trạng thái CPU.
• Có người khuyên nên có một UART hoạt động trước.
• Có người khuyên nên có một hoặc hai chân GPIO để chuyển đổi trước, có thể nhấp nháy ra nhiều chế độ gỡ lỗi.
• Đề cập đến Magic-1 và BMOW cũng đã thực hiện các dự án tương tự.
• Có người đề cập đến việc bây giờ cần phải đến phòng thí nghiệm bán dẫn để sản xuất CPU, thay vì cấu hình FPGA để chạy nó.

SymbolicAI: Góc nhìn neuro-symbolic về LLMs #

SymbolicAI: A neuro-symbolic perspective on LLMs

https://github.com/ExtensityAI/symbolicai

SymbolicAI là một framework thần kinh-ký hiệu (neural-symbolic), kết hợp lập trình Python truyền thống với các đặc tính khả vi (differentiable), khả trình (programmable) của LLMs (Large Language Models - Mô hình ngôn ngữ lớn), giúp việc sử dụng trong Python trở nên tự nhiên. Framework này được thiết kế để không cản trở những tham vọng lớn của bạn, thông qua thiết kế dạng module, dễ dàng mở rộng và tùy chỉnh để đáp ứng nhu cầu của bạn. Nó cho phép bạn dễ dàng viết các engine của riêng mình, tự lưu trữ (host) engine bạn chọn cục bộ, hoặc giao tiếp với các công cụ như tìm kiếm trên web hoặc tạo ảnh.

Trong file README này, chúng ta sẽ giới thiệu hai khái niệm quan trọng định nghĩa SymbolicAI: nguyên thủy (primitives) và hợp đồng (contracts).

Nguyên thủy (Primitives) Trọng tâm của SymbolicAI là đối tượng Symbol, mỗi đối tượng đi kèm với một tập hợp các thao tác nhỏ, có thể kết hợp, mang lại cảm giác như Python gốc. Symbol có hai loại:

• Cú pháp (Syntactic): Hoạt động giống như các giá trị Python thông thường (chuỗi, danh sách, số nguyên, v.v.).
• Ngữ nghĩa (Semantic): Kết nối với một engine thần kinh-ký hiệu, do đó hiểu được ý nghĩa và ngữ cảnh.

Tại sao cú pháp là mặc định? Bởi vì trong symai, các toán tử Python (==, ~, &, …) được nạp chồng (overload). Nếu chúng ta kích hoạt engine ngay lập tức cho mọi phép dịch bit hoặc so sánh, code sẽ chạy chậm và có thể tạo ra các tác dụng phụ đáng ngạc nhiên. Bắt đầu với cú pháp giúp mọi thứ an toàn và nhanh chóng; chỉ chọn ngữ nghĩa khi cần thiết.

Cách chuyển sang chế độ xem ngữ nghĩa:

• Khi tạo: S = Symbol("Cats are adorable", semantic=True) (đã là ngữ nghĩa)
• Sử dụng phép chiếu .sem theo yêu cầu - .syn song sinh sẽ đưa bạn trở lại: S = Symbol("Cats are adorable") (mặc định = cú pháp)
• Tự động chuyển đổi symbol sang chế độ ngữ nghĩa thông qua ký hiệu dấu chấm (dot notation) (ví dụ: .map() hoặc bất kỳ hàm ngữ nghĩa nào khác): S = Symbol(['apple', 'banana', 'cherry', 'cat', 'dog']) in S.map('convert all fruits to vegetables') kết quả là ['carrot', 'broccoli', 'spinach', 'cat', 'dog'].

Vì phép chiếu trả về cùng một đối tượng cơ bản với một lớp vỏ hành vi khác nhau, bạn có thể kết hợp các chuỗi thao tác cú pháp và ngữ nghĩa phức tạp trên một symbol duy nhất. Hãy coi chúng như những khối xây dựng bạn sử dụng để suy luận ngữ nghĩa. Hiện tại, chúng tôi hỗ trợ một loạt các nguyên thủy; bạn có thể xem tài liệu, nhưng đây là một món ăn nhanh:

HN | Độ nóng: 215 điểm | 55 bình luận | Tác giả: futurisold #

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

• SymbolicAI tăng cường khả năng của các mô hình ngôn ngữ lớn (LLMs) thông qua các phương pháp thần kinh-biểu tượng, bao gồm ánh xạ ngữ nghĩa, so sánh ngữ cảnh và phép toán bit.
• Ánh xạ ngữ nghĩa có thể chuyển đổi trái cây thành rau, nhưng kết quả chuyển đổi có thể không tìm kiếm loại rau tương tự nhất, mà chỉ đơn giản là thay thế.
• So sánh ngữ cảnh có thể đánh giá mức độ tương đồng hoặc lịch sự của các câu dựa trên ngữ cảnh cụ thể.
• Phép toán bit có thể được sử dụng để suy luận logic, kết hợp các sự kiện và quy tắc.
• Chức năng interpret() mạnh mẽ, có thể thực hiện các thao tác ngữ nghĩa phức tạp dựa trên ngữ cảnh.
• Dự án Lotus cung cấp một phương pháp chuyển đổi các thao tác cơ sở dữ liệu quan hệ thành các thao tác ngữ nghĩa.
• Thông qua AI notebook/dashboard/APIs để tương tác với dữ liệu, có thể tự động xác định các thao tác biểu tượng và ngữ nghĩa dựa trên ngữ cảnh.
• Ánh xạ ngữ nghĩa và đơn giản hóa ngữ nghĩa có thể được sử dụng để tạo ra các khung dữ liệu phong phú và mô tả văn bản tự nhiên.
• Cà rốt là kết quả “rau hóa” của táo, vì mô hình diễn giải chỉ thị là “thay thế mỗi loại trái cây bằng một loại rau”, thay vì tìm kiếm loại rau tương tự nhất.
• Đầu ra của mô hình bị ảnh hưởng bởi tính ngẫu nhiên, nhưng có thể kiểm soát tính xác định của đầu ra bằng cách điều chỉnh các siêu tham số.
• Bằng cách xác định cú pháp và sử dụng ngữ pháp hình thức, có thể đạt được sự kiểm soát chính xác hơn trong LLMs.
• Có thể xác minh tính đúng đắn của mã thông qua bộ kiểm thử, dựa trên các gợi ý đúng trong quá khứ để xác minh.

Học OCaml #

Learn OCaml

https://ocaml-sf.org/learn-ocaml-public/#activity=exercises

Chào mừng đến với Learn OCaml

Trang web này là trang chủ của Learn OCaml, nó cung cấp một nền tảng trực tuyến để học ngôn ngữ lập trình OCaml. Người dùng có thể thực hiện các bài tập lập trình trên trang web này, sử dụng môi trường cấp cao tương tác (Toplevel) và tham gia vào nhiều bài tập lập trình khác nhau.

Kết nối lần đầu Khi người dùng truy cập Learn OCaml lần đầu tiên, họ cần chọn một biệt danh và tạo một mã thông báo bí mật. Sau khi tạo mã thông báo, người dùng có thể chọn “Tạo mã thông báo mới” để tạo mã truy cập duy nhất. Nếu người dùng là người dùng cũ, họ có thể nhập trực tiếp mã thông báo của mình để kết nối.

Người dùng quay lại Đối với những người dùng đã đăng ký, họ có thể nhập trực tiếp mã thông báo của mình để kết nối với nền tảng Learn OCaml. Nếu người dùng quên mã thông báo của mình, họ có thể nhấp vào liên kết để tạo mã thông báo mới.

Tải bài tập Trang web cũng đề cập đến chức năng tải bài tập, điều này có thể có nghĩa là người dùng có thể tải các bài tập đã lưu trước đó của họ hoặc bắt đầu các bài tập mới.

Tóm lại, trang web này cung cấp một môi trường trực tuyến để học ngôn ngữ lập trình OCaml, cho phép người dùng tạo tài khoản cá nhân, lưu và tải bài tập, cũng như cải thiện kỹ năng lập trình của họ một cách tương tác.

HN | Độ nóng: 191 điểm | 76 bình luận | Tác giả: smartmic #

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

• Phần giới thiệu về OCaml không đủ thân thiện với người mới bắt đầu, giống như một bài tập cho những người đã học OCaml hơn.
• Tiêu đề trang web “Learn OCaml” gây hiểu lầm, thực tế không phải là tài nguyên giúp người mới bắt đầu học OCaml.
• Learn-ocaml là một framework để xây dựng các trang web bài tập trực tuyến, phù hợp hơn cho giáo viên hơn là học sinh.
• Phong cách của “A Tour of Elm” và “A Tour of Go” được một số người dùng yêu thích hơn, chúng cung cấp mã và giải thích rõ ràng.
• Các bài tập có cảm giác giống như bài toán hơn là bài tập giảng dạy các khái niệm lập trình.
• Các bài tập về ràng buộc biến trong OCaml có thể không thực tế trong ứng dụng thực tế.
• Một số người dùng khuyên dùng “OCaml from the very beginning” và “Real World OCaml” làm tài nguyên học tập tốt hơn.
• So sánh trải nghiệm lập trình giữa Rust và OCaml, Rust có các quy tắc nghiêm ngặt, trong khi OCaml linh hoạt hơn nhưng đôi khi có những vấn đề không thể đoán trước.
• Một số người dùng hiểu OCaml bằng cách hiểu Monads.
• F# là phiên bản .NET của OCaml, mặc dù thiếu một số tính năng, nhưng lại được một số người dùng yêu thích hơn ở một số khía cạnh.
• Tích hợp và cập nhật cú pháp của F# là những tính năng được một số người dùng yêu thích.
• Có người khuyên dùng “OCaml Programming: Correct + Efficient + Beautiful” làm tài nguyên học tập.
• Loạt video “Software Foundations” của Michael Ryan là một nguồn tài nguyên tốt để học OCaml.
• Một số người cảm thấy chuỗi công cụ của OCaml tương đối thô sơ.