Lưu trữ | GeekNews

◀ Năm trước | ◁ Tháng trước | << Tuần trước | < Ngày trước | 2025-11-25 | Ngày sau > | Tuần sau >> | Tháng sau ▷

21

Zorin OS 18 đạt 1 triệu lượt tải chỉ sau một tháng phát hành

(blog.zorin.com)

Zorin OS 18 đã vượt mốc 1 triệu lượt tải chỉ sau một tháng, với 78% đến từ người dùng Windows đang tìm kiếm một lựa chọn Linux dễ chuyển đổi hơn.

12 điểm bởi GN⁺ 2025-11-25 | 1 bình luận

22

Hỗ trợ AI đang dần trở thành chuyện thường ngày trên website Bài toán Erdős

(mathstodon.xyz)

Một chuỗi cộng tác giữa con người và AI quanh Bài toán Erdős #367 cho thấy AI đang nhanh chóng trở thành công cụ tiêu chuẩn trong nghiên cứu toán học và hình thức hóa bằng Lean.

1 điểm bởi GN⁺ 2025-11-25 | 1 bình luận

23

µcad: Ngôn ngữ lập trình mã nguồn mở mới có thể tạo phác thảo 2D và đối tượng 3D

(microcad.xyz)

µcad là ngôn ngữ lập trình CAD mã nguồn mở viết bằng Rust, cho phép tạo phác thảo 2D và đối tượng 3D bằng mã rồi xuất sang STL hoặc SVG.

2 điểm bởi GN⁺ 2025-11-25 | 1 bình luận