AMD đang mua lại Silo AI với giá 665 triệu đô la để tăng cường khả năng phần mềm trong lĩnh vực AI và học máy, những lĩnh vực mà CUDA của NVIDIA đã chiếm ưu thế.
Sự chuyên môn của Silo AI với các mô hình ngôn ngữ lớn (LLM) trên phần cứng của AMD được kỳ vọng sẽ nâng cao ngăn xếp phần mềm và vị thế cạnh tranh của AMD.
Việc mua lại đã tạo ra các cuộc thảo luận về tác động tiềm năng của nó đối với hệ sinh thái khởi nghiệp châu Âu và tương lai của AMD trong thị trường AI.
Chiếc tên lửa hạng nặng mới của châu Âu, Ariane 6, đã được phóng thành công từ Guiana thuộc Pháp vào ngày 9 tháng 7 năm 2024, đánh dấu chuyến bay đầu tiên của nó, VA262.
Buổi phóng đã chứng minh khả năng của Ariane 6, bao gồm việc đưa các vệ tinh vào quỹ đạo và trình diễn bệ phóng mới được xây dựng bởi CNES.
Ariane 6, được chế tạo bởi ArianeGroup, đánh dấu một kỷ nguyên mới cho ngành công nghiệp không gian châu Âu, với tầng trên của nó thể hiện khả năng khởi động lại động cơ và hạ cánh an toàn.
Chiếc tên lửa hạng nặng mới của châu Âu, Ariane 6, đã hoàn thành chuyến bay đầu tiên thành công, nhằm cung cấp quyền truy cập không gian độc lập cho các quốc gia châu Âu cho đến những năm 2030.
Mặc dù đắt gần gấp đôi so với Falcon 9 của SpaceX, cả hai tên lửa đều có khả năng nâng 22 tấn lên quỹ đạo thấp của Trái Đất.
Những kế hoạch tương lai cho Ariane Next/SALTO nhằm đạt được hiệu quả tương tự như Falcon 9 với thiết kế tái sử dụng, mặc dù các nhà phê b ình lưu ý rằng SpaceX được hưởng lợi từ sự hỗ trợ của người nộp thuế và các cơ sở quân sự/NASA, làm phức tạp việc so sánh chi phí trực tiếp.
Zed, một sản phẩm phần mềm, hiện đã có sẵn để cài đặt trên các hệ thống Linux.
Người dùng có thể cài đặt Zed bằng cách chạy một script shell được cung cấp thông qua lệnh: curl https://zed.dev/install.sh.
Việc phát hành này có ý nghĩa quan trọng vì nó mở rộng khả năng sử dụng Zed cho người dùng Linux, có thể tăng cường số lượng người dùng và sự tham gia của cộng đồng.
Zed, một trình soạn thảo văn bản mới cho Linux, đã bắt đầu được so sánh với các trình soạn thảo phổ biến như VSCode, Neovim và Sublime Text.
Người dùng khen ngợi Zed vì tốc độ, cảm giác ứng dụng gốc, các tính năng hợp tác và thiết kế giao diện người dùng nhưng lưu ý các vấn đề với tích hợp Typescript và kiểm soát phiên bản.
Những lo ngại về phương pháp cài đặt của Zed và khả năng kiếm tiền trong tương lai đã được nêu ra, dẫn đến một cộng đồng bị chia rẽ, với nhiều người dùng theo dõi sự phát triển của nó trong khi vẫn tiếp tục sử dụng các công cụ hiện tại của họ.
Bài báo đi sâu vào các vấn đề tương thích và những phức tạp liên quan đến hiện tượng bài hát ẩn trên đĩa CD âm thanh, được biết đến như là khoảng trống trước album.
Điều này khám phá cách mà pregap, một bản nhạc ẩn trước bản nhạc đầu tiên của một album, có thể gây ra các vấn đề phát lại trên các định dạng và đầu phát CD khác nhau.
Cuộc thảo luận này có liên quan đến những người quan tâm đến các khía cạnh kỹ thuật của CD, bao gồm CD, CD-i, CD-ROM và CD nâng cao, và tuân thủ tiêu chuẩn Red Book cho đĩa CD âm thanh.
Khoảng trống trước bài hát trên đĩa CD đã được sử dụng một cách sáng tạo cho các bản nhạc ẩn và các bản ghi âm trực tiếp, thường chứa tiếng ồn của đám đông giữa các bài hát, chỉ có thể nghe thấy khi phát album liên tục.
CD có thể hỗ trợ lên đến 9.801 đoạn âm thanh thông qua 99 bản nhạc và 99 điểm đánh dấu chỉ mục, nhưng ít đầu đĩa CD hỗ trợ điều hướng chỉ mục.
Trong khi một số người dùng sao chép CD giữ nguyên các khoảng trống để phát lại liền mạch, mong muốn có một định dạng album thống nhất với siêu dữ liệu vẫn tồn tại, vì các giải pháp hiện tại như FLAC/cue thiếu sự hỗ trợ rộng rãi từ phần cứng.
RouteLLM là một khung làm việc được thiết kế để phục vụ và đánh giá các bộ định tuyến Mô hình Ngôn ngữ Lớn (LLM), cung cấp một giải pháp thay thế tiết kiệm chi phí cho khách hàng của OpenAI bằng cách định tuyến các truy vấn đơn giản hơn đến các mô hình rẻ hơn.
Những tính năng chính bao gồm các bộ định tuyến đã được huấn luyện trước có thể giảm chi phí lên đến 85% trong khi vẫn duy trì 95% hiệu suất của GPT-4, và một khung mở rộng để thêm các bộ định tuyến mới và so sánh hiệu suất trên các tiêu chuẩn đánh giá.
Khung làm việc hỗ trợ các mô hình và nhà cung cấp khác nhau, yêu cầu một OPENAI_API_KEY để tạo các embeddings, và cho phép hiệu chỉnh ngưỡng để cân bằng chi phí và chất lượng.
RouteLLM là một khung làm việc mới được thiết kế để phục vụ và đánh giá các bộ định tuyến LLM (Mô hình Ngôn ngữ Lớn), với trọng tâm là tối ưu hóa chi phí.
Chúng cung cấp các bộ định tuyến được đào tạo có thể giảm chi phí lên đến 85%, giải quyết các thách thức như giới hạn tốc độ, chi phí mỗi token và lựa chọn mô hình, làm cho nó trở nên có giá trị đối với các công ty quan tâm đến ngân sách.
Khung làm việc cho phép người dùng chuyển sang các mô hình khác nhau và quản lý giới hạn tốc độ tự động, làm cho nó trở thành một công cụ quan trọng để xây dựng các đường dẫn LLM mạnh mẽ và tiết kiệm chi phí.
Deep-ML cung cấp nhiều thử thách mã hóa trong các danh mục khác nhau như đại số tuyến tính, học máy và học sâu, phù hợp với các mức độ khó khác nhau từ dễ đến khó.
Những thách thức bao gồm các triển khai thực tế như Hồi quy tuyến tính, Phân cụm K-Means và Phân tích thành phần chính (PCA), cung cấp kinh nghiệm thực hành cho người học.
Đây là tài liệu đặc biệt hữu ích cho sinh viên và các kỹ sư mới vào nghề muốn củng cố hiểu biết và kỹ năng của mình trong các khái niệm cơ bản và nâng cao về học máy.
Trang web mới, deep-ml.com, cung cấp các bài tập mã học máy (ML) lấy cảm hứng từ các video của Andrej Karpathy, nhằm mục đích như một công cụ học tập hơn là chuẩn bị phỏng vấn.
Việc này đã gây ra tranh luận về sự liên quan của các bài tập như vậy đối với các buổi phỏng vấn công việc ML, với một số người cho rằng chúng tập trung quá nhiều vào các phép tính cơ bản thay vì các kỹ năng thực tế.
Người tạo ra, mchab, nhấn mạnh rằng trang web này nhằm mục đích giáo dục, không phải để bắt chước các câu hỏi phỏng vấn kiểu Leetcode, và sẵn sàng đón nhận phản hồi và cải tiến thông qua một kênh Discord chuyên dụng.
GamesBeat đang hợp tác với Lil Snack để cung cấp các trò chơi tùy chỉnh, nhằm tăng cường sự tương tác của khán giả.
Girls in Tech, một tổ chức phi lợi nhuận, sẽ đóng cửa sau 17 năm hoạt động, theo thông báo của người sáng lập Adriana Gascoigne, người đã nhấn mạnh vai trò quan trọng của tổ chức trong việc trao quyền cho phụ nữ trong lĩnh vực công nghệ.
Được thành lập tại Thung lũng Silicon và sau đó chuyển đến Nashville, Girls in Tech đã ảnh hưởng đến hơn 250.000 cá nhân qua 35 chi nhánh tại 30 quốc gia thông qua các chương trình như cố vấn, hackathon và hội nghị.
Girls in Tech, một tổ chức phi lợi nhuận, đang đóng cửa sau 17 năm do thiếu kinh phí, gây ra các cuộc thảo luận về sự đa dạng giới tính trong ngành công nghệ.
Việc đóng cửa đã dẫn đến những suy ngẫm về tác động của tổ chức và các cuộc tranh luận về hiệu quả của các sáng kiến đa dạng và những tác động rộng lớn hơn của chúng đối với phụ nữ trong lĩnh vực công nghệ.
Điều này nhấn mạnh những thách thức dai dẳng trong việc tài trợ và duy trì các tổ chức phi lợi nhuận tập trung vào đa dạng và hòa nhập.
SimSig là phần mềm mô phỏng tín hiệu đường sắt tái tạo hoạt động của các Trung tâm Điều khiển Điện tử Tích hợp (IECC) của Anh trên máy tính cá nhân tại nhà.
Chương trình cung cấp nhiều mô phỏng từ Vương quốc Anh, Mỹ và Úc, với giá từ miễn phí đến dưới £10, và hỗ trợ chơi nhiều người và tạo lịch trình.
SimSig chạy trên Windows 8.1 và 10, và có thể được sử dụng trên Linux và Mac thông qua các trình giả lập như Wine và Crossover.
SimSig là một trình mô phỏng tín hiệu đư ờng sắt phổ biến, với các cuộc thảo luận so sánh nó với các trình mô phỏng khác như NXSYS, Rail Route và Factorio.
Cuộc trò chuyện làm nổi bật sự phức tạp và tính hiện thực của các hệ thống tín hiệu đường sắt khác nhau, bao gồm cả những tiến bộ lịch sử và hiện đại.
Hiện đang có một cuộc tranh luận về độ an toàn và hiệu quả của việc đặt các đoàn tàu gần nhau, với các tham chiếu đến các công nghệ tín hiệu khác nhau và các ví dụ thực tế như vụ tai nạn đường sắt Clapham Junction.
Awsviz.dev đơn giản hóa các chính sách AWS IAM bằng cách trực quan hóa chúng, giải quyết vấn đề phổ biến về sự phức tạp của IAM.
Người dùng chia sẻ trải nghiệm về đường cong học tập dốc của IAM, với một số người phải sử dụng các thực hành không an toàn như sử dụng thông tin đăng nhập gốc, nhấn mạnh nhu cầu về các công cụ tốt hơn.
Công cụ này chuyển đổi các chính sách IAM thành các biểu đồ, giúp chúng dễ hiểu hơn, và kho lưu trữ GitHub của nó có sẵn cho những ai quan tâm đến vấn đề bảo mật.
Strflow, ban đầu là một ứng dụng ghi chú trên macOS, hiện đã có sẵn cho iOS, với giao diện dòng thời gian theo thứ tự thời gian.
Những tính năng chính bao gồm hệ thống thẻ, trình soạn thảo phong phú, phím tắt toàn cầu, tiện ích chia sẻ, và sao lưu iCloud được mã hóa với mã hóa đầu cuối.
Strflow được triển khai nguyên bản bằng Swift, sử dụng AppKit cho macOS, UIKit cho iOS, và một phần SwiftUI, với một động cơ đồng bộ tùy chỉnh sử dụng CloudKit.
Strflow là một ứng dụng ghi chú mới được thiết kế cho những người dùng thường tự nhắn tin ghi chú cho mình, cung cấp một giải pháp thay thế chuyên dụng cho các ứng dụng trò chuyện như Slack hoặc iMessage.
Ban đầu được ra mắt cho macOS, Strflow hiện đã có mặt trên iOS, với hệ thống thẻ, trình soạn thảo phong phú, phím tắt toàn cầu, tiện ích chia sẻ và sao lưu iCloud được mã hóa.
Ứng dụng được xây dựng bằng Swift, với AppKit cho macOS và UIKit cho iOS, và nhà phát triển sẵn sàng trả lời các câu hỏi và nhận phản hồi.
Những mô hình ngôn ngữ lớn có khả năng thị giác (VLMs) như GPT-4o và Gemini-1.5 Pro xuất sắc trong nhiều nhiệm vụ hình ảnh-văn bản nhưng gặp khó khăn với các nhiệm vụ thị giác đơn giản mà con người dễ dàng thực hiện.
Những nhiệm vụ này bao gồm xác định các vòng tròn chồng chéo, các đường giao nhau, các chữ cái được khoanh tròn, đếm các hình dạng trong logo, các hình vuông lồng nhau, các hàng và cột trong lưới, và theo dõi các tuyến đường trong bản đồ tàu điện ngầm.
Những hạn chế trong các nhiệm vụ thị giác cơ bản cho thấy khả năng thị giác của các mô hình ngôn ngữ thị giác hiện tại vẫn chưa ph át triển đầy đủ, nhấn mạnh các lĩnh vực cần cải thiện trong tương lai.
Trong một bài báo gần đây, có ý kiến cho rằng các mô hình ngôn ngữ thị giác (VLMs) như GPT-4 và Sonnet 3.5 gặp khó khăn với các nhiệm vụ thị giác cơ bản, cho thấy chúng "mù."
Những người phê bình cho rằng mặc dù các mô hình ngôn ngữ lớn (VLM) có thể thất bại ở một số nhiệm vụ cụ thể, nhưng chúng lại xuất sắc ở những nhiệm vụ khác, đặc biệt khi được huấn luyện trên dữ liệu liên quan, và cảnh báo chống lại các tiêu đề cường điệu và gây hiểu lầm.
Cuộc thảo luận nhấn mạnh sự phức tạp của việc đánh giá các mô hình ngôn ngữ lớn (VLMs) và tầm quan trọng của việc hiểu rõ những hạn chế và điểm mạnh của chúng.
Trò chơi mã nguồn mở mới có tên "AI Alibis" cho phép người chơi giải quyết một vụ án mạng bằng cách thẩm vấn các nghi phạm do AI tạo ra, mỗi người đều che giấu những bí mật về vụ án.
Trò chơi sử dụng một hệ thống tinh chỉnh lời nhắc phức tạp để đảm bảo các nghi phạm không vô tình thú nhận, bao gồm một "bot vi phạm" và một "bot tinh chỉnh" để kiểm tra và điều chỉnh các phản hồi.
Đề án được lưu trữ miễn phí bằng cách sử dụng API của Anthropic và có sẵn trên GitHub, nhưng đã gặp phải các vấn đề về hiệu suất do lưu lượng truy cập cao từ Hacker News.
Phần bài viết khám phá các khía cạnh độc đáo và ít được biết đến của việc viết một trình giả lập x86 và amd64 cho Gỡ lỗi Du hành Thời gian (TTD), tập trung vào việc chuyển đổi từ assembly sang C++ để dễ bảo trì hơn.
Những hiểu biết chính bao gồm các đặc điểm riêng của mã hóa x86, chẳng hạn như nhiều cách để mã hóa cùng một lệnh, và những điểm kỳ quặc của các cờ CPU và các lệnh dịch chuyển.
Việc ghi đè đoạn trong mã 32-bit và 64-bit, đặc biệt là đối với bộ nhớ cục bộ của luồng, nhấn mạnh sự liên quan tiếp tục của các đoạn trong các hoạt động CPU hiện đại.
Bắt đầu viết một trình giả lập x86 sẽ tiết lộ nhiều điểm kỳ quặc và phức tạp, chẳng hạn như hành vi không xác định của các lệnh BSF/BSR khi đầu vào là số không và hành vi khác nhau của TZCNT/LZCNT trên các CPU khác nhau.
Việc mã hóa các lệnh trong x86, bao gồm việc xử lý các tiền tố REX/VEX/EVEX và tiền tố APX mới, làm tăng thêm các lớp phức tạp, khiến cho kiến trúc này trở nên khó khăn để mô phỏng chính xác.
Đoạn viết nêu bật các hiện vật lịch sử và những điểm bất thường trong kiến trúc x86, so sánh nó với các kiến trúc nhất quán hơn như RISC-V và ARMv8, vốn dễ làm việc hơn.
Analytics Plausible đã ra mắt Phiên bản Cộng đồng Plausible (CE) tự lưu trữ, được cấp phép AGPL, nhằm bảo vệ tốt hơn dự án mã nguồn mở của họ khỏi việc lạm dụng từ các tập đoàn.
Những thay đổi chính bao gồm đổi tên phiên bản tự lưu trữ thành Plausible CE, loại trừ một số tính năng cho dịch vụ lưu trữ được quản lý, và yêu cầu các cộng tác viên bên ngoài ký Thỏa thuận Giấy phép Cộng tác viên (CLA).
Những thay đổi này nhằm đảm bảo tính bền vững của Plausible Analytics trong khi duy trì giấy phép AGPL và bảo vệ thương hiệu của họ thông qua các nhãn hiệu đã đăng ký.
Phiên bản Cộng đồng Plausible đang bị xem xét về vấn đề cấp phép, tình trạng mã nguồn mở, và sự tách biệt giữa mã nguồn sở hữu độc quyền và mã nguồn mở.
Người dùng lo ngại rằng phiên bản cộng đồng có thể thiếu các tính năng so với phiên bản được quản lý, có thể đẩy họ về các gói trả phí.
Cuộc tranh luận nhấn mạnh sự căng thẳng giữa việc duy trì các nguyên tắc mã nguồn mở và đảm bảo tính bền vững của doanh nghiệp, với một số người coi hành động của Plausible là cần thiết và những người khác coi đó là sự phản bội.
Ủy ban Truyền thông Liên bang (FCC) quy định rằng các thiết bị điện tử phải hoàn thành việc kiểm tra và phê duyệt trước khi được tiếp thị tại Mỹ, bao gồm bán, cho thuê, quảng cáo và nhập khẩu.
Việc không rõ ràng về việc cung cấp thiết bị trên các trang web gọi vốn cộng đồng có được coi là tiếp thị hay không đặt ra một rủi ro, đặc biệt là đối với các công ty khởi nghiệp phải đối mặt với chi phí thử nghiệm cao và các phòng thí nghiệm không phản hồi.
Giải pháp thay thế tiết kiệm chi phí bao gồm việc sử dụng các chip phổ biến và cài đặt sẵn hệ điều hành và phần mềm trên thẻ SD, chuyển trách nhiệm cho nhà sản xuất và cho phép xác nhận thị trường với chi phí tối thiểu.
Hiểu biết về bối cảnh quy định và kiểm tra tuân thủ là rất quan trọng để xác thực một thị trường với các bảng phát triển và thẻ SD.
Chứng nhận, chẳng hạn như từ FCC, là cần thiết để tránh các vấn đề pháp lý và đảm bảo an toàn sản phẩm, đặc biệt đối với các thiết bị phát ra nhiễu RF.
Chi phí kiểm tra dao động từ $3000 đến $5000, và việc kiểm tra trước được khuyến nghị để xác định các vấn đề sớm.