Bài toán Erdős #728 được AI giải gần như tự động

(mathstodon.xyz)

AI đã gần như tự động giải bài toán Erdős #728, cho thấy tiềm năng thay đổi cách viết và chỉnh sửa các bài báo nghiên cứu toán học.

2 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Flock Safety hardcode mật khẩu của hạ tầng giám sát Mỹ tới 53 lần

(nexanet.ai)

Flock Safety đã làm lộ khóa ArcGIS API trong 53 gói JavaScript công khai, mở ra quyền truy cập vào dữ liệu giám sát nhạy cảm trên quy mô toàn nước Mỹ.

2 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Từ Mypy sang Ty: Hướng dẫn áp dụng trình kiểm tra kiểu Python siêu nhanh nền tảng Rust do công ty đứng sau ...

(blog.pythonlibrary.org)

Hướng dẫn chuyển từ Mypy sang `ty`, trình kiểm tra kiểu Python siêu nhanh viết bằng Rust của Astral, với cách cài đặt qua `uv`, cấu hình và tích hợp CI/pre-commit.

12 điểm bởi darjeeling 2026-01-10 | Bình luận và thảo luận

Ra mắt bản alpha của Orion cho Linux

(help.kagi.com)

Orion của Kagi đã ra mắt bản alpha cho Linux với UI cơ bản, quản lý tab, dấu trang và mật khẩu đã hoạt động, còn hỗ trợ WebKit Extension và Sync sẽ được bổ sung sau.

1 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Kỹ thuật của Anthropic: Hướng dẫn thực tiễn và phương pháp luận cho đánh giá (Evals) AI agent

(anthropic.com)

Anthropic đề xuất cách đánh giá AI agent bằng cách kết hợp kiểm thử phần mềm, chấm điểm bằng mã và LLM, cùng các chỉ số như pass@k và pass^k.

16 điểm bởi darjeeling 2026-01-10 | 1 bình luận

Toán học cho Khoa học Máy tính (2018) [PDF]

(courses.csail.mit.edu)

Giáo trình mở của MIT về toán học cho khoa học máy tính bao quát logic, chứng minh, tổ hợp, xác suất và truy hồi với nhiều ví dụ ứng dụng thực tế.

5 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Lập trường của CEO Cloudflare về khoản phạt tại Ý

(twitter.com/eastdakota)

CEO Cloudflare đã phản hồi ngắn gọn về khoản phạt từ cơ quan chức năng Ý, nhưng tweet không nêu chi tiết nguyên nhân, số tiền hay căn cứ pháp lý.

1 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Trò chơi ghi nhớ luyện piano bằng tai ‘Lend Me Your Ears’

(lend-me-your-ears.specr.net)

‘Lend Me Your Ears’ là trò chơi tương tác chạy ngay trong trình duyệt, giúp người dùng luyện tai nghe bằng cách nghe giai điệu rồi chơi lại trên piano.

5 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Chính phủ Việt Nam cấm dùng "mọi ứng dụng ngân hàng" trên smartphone đã root

(xdaforums.com)

Việt Nam sẽ chặn ứng dụng ngân hàng di động trên thiết bị root, mở khóa bootloader hoặc bật ADB theo quy định bảo mật mới có hiệu lực từ ngày 1/3.

1 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Ủy ban Châu Âu công bố thông báo kêu gọi thu thập bằng chứng liên quan đến mã nguồn mở

(lwn.net)

Ủy ban Châu Âu đã mở quy trình Call for Evidence về mã nguồn mở để xây dựng chiến lược tăng cường chủ quyền số, an ninh chuỗi cung ứng và năng lực tự chủ công nghệ của EU.

1 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Anthropic chặn việc dùng gói Claude Code thuê bao qua bên thứ ba

(github.com/anomalyco)

Nhiều người dùng cho biết Claude Max ngừng hoạt động trên OpenCode, làm dấy lên tranh cãi về chính sách chặn bên thứ ba của Anthropic và các phương án thay thế.

4 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

metacode - ngôn ngữ chú thích khai báo và trình phân tích cú pháp để chuẩn hóa action comment

(github.com/pomponchik)

Thư viện này đề xuất một chuẩn thống nhất cho action comment trong hệ sinh thái Python, kèm ngôn ngữ chú thích khai báo và trình phân tích cú pháp chính thức.

1 điểm bởi xguru 2026-01-10 | Bình luận và thảo luận

Tính hữu dụng vượt trội đến mức khó tin của biến đổi Fourier

(joshuawise.com)

Biến đổi Fourier cho phép tách và hiệu chỉnh các vấn đề truyền thông theo từng tần số, và OFDM là kiến trúc đặt công cụ đó vào trung tâm của truyền thông vô tuyến hiện đại.

11 điểm bởi GN⁺ 2026-01-10 | 7 bình luận

Hãy gọi một vụ giết người là giết người

(daringfireball.net)

Bài viết kêu gọi gọi đúng tên vụ Renee Good bị đặc vụ ICE Jonathan Ross bắn chết là giết người, đồng thời nhấn mạnh sức mạnh của bằng chứng do công dân ghi lại và lòng can đảm đối diện sự thật.

1 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Embassy - Framework nhúng hiện đại dựa trên Rust và async

(github.com/embassy-rs)

Embassy là framework nhúng hiện đại dựa trên Rust và async, cung cấp đa nhiệm an toàn, tiết kiệm điện và nhiều thành phần tích hợp cho vi điều khiển.

4 điểm bởi GN⁺ 2026-01-10 | 2 bình luận

Sopro TTS: Mô hình TTS 169 triệu tham số hỗ trợ sao chép giọng nói zero-shot, chạy trên CPU

(github.com/samuel-vitorino)

Sopro TTS là mô hình TTS tiếng Anh gọn nhẹ 169 triệu tham số, hỗ trợ sao chép giọng nói zero-shot, streaming và chạy được trên CPU.

3 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Giới chức Minnesota không thể tiếp cận bằng chứng trong vụ nổ súng chết người của ICE… FBI từ chối điều tra...

(pbs.org)

Giới chức Minnesota nói họ bị loại khỏi cuộc điều tra vụ nổ súng chết người của ICE, trong khi FBI từ chối điều tra chung với bang.

1 điểm bởi GN⁺ 2026-01-10 | 1 bình luận

Công cụ hỗ trợ lập trình AI đang ngày càng tệ đi?

(spectrum.ieee.org)

Các công cụ hỗ trợ lập trình AI đang cho thấy dấu hiệu suy giảm chất lượng, khi các mô hình mới tạo ra nhiều “lỗi im lặng” hơn và có nguy cơ học lại chính các đầu ra sai của mình.

10 điểm bởi GN⁺ 2026-01-10 | 1 bình luận