Lưu trữ | GeekNews

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

1

Lean companion cho Analysis I

(terrytao.wordpress.com)

Dự án mã nguồn mở này chuyển giáo trình Analysis I của Terence Tao sang Lean để người học vừa học giải tích thực vừa luyện cách hình thức hóa toán học với Mathlib.

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

2

Darwin Gödel Machine - AI tự sửa mã và tiến hóa

(sakana.ai)

Darwin Gödel Machine là một AI có thể tự sửa mã để tiến hóa, vượt trội trên các benchmark lập trình thực tế và quản lý toàn bộ quá trình tự cải tiến bằng cơ chế an toàn minh bạch.

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

3

Ask HN: Mô hình LLM tốt nhất có thể dùng trên phần cứng tiêu dùng là gì?

(news.ycombinator.com)

Các mô hình mới như Qwen3, DeepSeek-R1, Mistral và Gemma3 có thể hội thoại mượt trên môi trường 16GB VRAM, nhưng cần tối ưu quantization và tự thử nghiệm để chọn mô hình phù hợp.

13 điểm bởi GN⁺ 2025-06-01 | 1 bình luận

4

Buttplug MCP

(github.com/ConAcademy)

Máy chủ MCP mã nguồn mở này kết nối thiết bị Buttplug.io với các công cụ LLM như Claude Desktop, nhưng hiện vẫn còn ở giai đoạn thử nghiệm và thiếu ổn định.

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

5

Valkey tròn 1 năm: Nhánh fork cộng đồng đã vượt Redis như thế nào

(gomomento.com)

Valkey đang nổi lên như một lựa chọn thay thế Redis với hiệu năng cao hơn, độ trễ thấp hơn và mô hình phát triển cộng đồng minh bạch hơn chỉ sau một năm kể từ khi fork.

8 điểm bởi GN⁺ 2025-06-01 | 4 bình luận

6

Cửa hàng bán lẻ điện tử quy mô lớn trở lại Thung lũng Silicon: Micro Center khai trương

(microcenter.com)

Micro Center mở cửa hàng mới tại Thung lũng Silicon và cung cấp miễn phí chương trình Member Pricing đến hết năm 2026.

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

7

jjui - TUI cho hệ thống quản lý phiên bản Jujutsu

(github.com/idursun)

jjui là công cụ terminal UI cho Jujutsu, hỗ trợ hiệu quả các quy trình cốt lõi như duyệt cây commit, rebase, squash, diff và bookmark.

21 điểm bởi xguru 2025-06-01 | 4 bình luận

8

Công bố Angular v20

(blog.angular.dev)

Angular v20 ổn định các API reactivity dựa trên signals, giới thiệu bản xem trước Zoneless, nâng cấp SSR và cải thiện mạnh trải nghiệm phát triển với DevTools, vitest cùng hỗ trợ GenAI.

3 điểm bởi GN⁺ 2025-06-01 | Bình luận và thảo luận