Lưu trữ | GeekNews

Lập trình như một quá trình xây dựng lý thuyết (1985)

(gwern.net)

Peter Naur cho rằng bản chất của lập trình nằm ở việc lập trình viên xây dựng và duy trì lý thuyết về hệ thống, chứ không chỉ viết ra mã nguồn hay tài liệu.

24 điểm bởi geesecross 2026-05-14 | 3 bình luận

Fairydust - Dịch vụ tự động ghi lại tin tài trợ từ Fairy vào README

(fairydust.kr)

Dịch vụ tự động ghi tên nhà tài trợ, số tiền và lời nhắn từ Fairy vào README hoặc tệp GitHub bạn chọn.

4 điểm bởi hshim 2026-05-14 | 1 bình luận

Anh em sinh đôi xóa 96 cơ sở dữ liệu chính phủ vài phút sau khi bị sa thải

(arstechnica.com)

Hai anh em sinh đôi bị cáo buộc đã xóa 96 cơ sở dữ liệu của chính phủ Mỹ chỉ vài phút sau khi bị sa thải do một tài khoản vẫn còn quyền truy cập.

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

legalQ – chatbot công khai để hỏi luật và án lệ Hàn Quốc bằng ngôn ngữ tự nhiên

(legalq.dnotitia.ai)

legalQ là chatbot công khai dùng RAG để hỏi luật và án lệ Hàn Quốc bằng ngôn ngữ tự nhiên, đồng thời cố gắng hiển thị các điều luật và án lệ làm căn cứ cho câu trả lời.

7 điểm bởi mssmss 2026-05-14 | 2 bình luận

Point là một đơn vị đo kỳ lạ và thiếu nhất quán

(buttondown.com)

LaTeX và Inkscape cùng dùng “point” nhưng lại dựa trên hai định nghĩa khác nhau: 72.27pt/in của TeX và 72pt/in của PostScript/SVG.

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

Claude chuyển cách sử dụng theo phương thức lập trình sang cấu trúc "tín dụng hàng tháng"

(twitter.com/i)

Claude sẽ tách mức sử dụng theo phương thức lập trình như Agent SDK và `claude -p` khỏi hạn mức đăng ký, chuyển sang cơ chế tín dụng hàng tháng riêng từ ngày 15/6.

9 điểm bởi GN⁺ 2026-05-14 | 10 bình luận

Tất cả những gì được công bố tại Code w/ Claude

(claude.com)

Tại hội nghị nhà phát triển của Anthropic, Claude cho thấy bước tiến theo hướng tác vụ dài hơn, bộ nhớ dài hạn, dùng nhiều công cụ hơn và khả năng kiểm chứng tốt hơn.

22 điểm bởi xguru 2026-05-14 | Bình luận và thảo luận

Kickstarter bị ép cấm nội dung người lớn bởi đơn vị xử lý thanh toán

(kotaku.com)

Kickstarter siết chặt quy định nội dung người lớn, được cho là dưới sức ép từ Stripe và các đối tác thanh toán.

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

Starship V3

(spacex.com/updates)

Starship V3 và Super Heavy V3 được thiết kế lại với Raptor 3, hạ tầng phóng mới và nhiều nâng cấp nhằm hướng tới tái sử dụng nhanh, đáng tin cậy hơn.

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

Plugin xuất PDF cho Figma

(figma.com)

Một plugin Figma miễn phí cho phép chọn nhiều frame và xuất chúng thành một file PDF duy nhất mà không bị giới hạn lượt dùng.

1 điểm bởi dohyeon5626 2026-05-14 | 1 bình luận

Các thành phần của nhà máy code

(article.keeban.io)

Một bài viết chia sẻ cách tổ chức “nhà máy code” cho lập trình viên độc lập với trọng tâm là harness, Agentic Coding và quy trình đảm bảo chất lượng đầu ra.

8 điểm bởi kivoloid 2026-05-14 | 5 bình luận

Những bài học rút ra từ bên trong các viện nghiên cứu AI Trung Quốc

(interconnects.ai)

Bài viết thực địa phân tích cách khác biệt văn hóa và cấu trúc hệ sinh thái đang định hình sự phát triển AI tại Trung Quốc theo hướng khác với Mỹ.

24 điểm bởi GN⁺ 2026-05-14 | 8 bình luận

Hào lũy lớn tiếp theo của lĩnh vực AI là “tổ chức”

(x.com/jayagup10)

Khi AI làm sản phẩm và tốc độ ban đầu ngày càng dễ sao chép, cấu trúc tổ chức đang nổi lên như hào lũy cạnh tranh mạnh nhất của doanh nghiệp.

31 điểm bởi GN⁺ 2026-05-14 | 4 bình luận

Rời GitHub sang Forgejo

(jorijn.com)

Lý do rời GitHub không phải sự cố ngừng dịch vụ mà là vấn đề quyền sở hữu mã nguồn, dữ liệu và quy trình làm việc, trong bối cảnh rủi ro AI, pháp lý và xu hướng tự chủ số khiến Forgejo trở thành lựa chọn thay thế.

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

Tôi đã chuyển toàn bộ digital stack của mình sang châu Âu

(monokai.com)

Một kỹ sư đã chuyển phần lớn digital stack sang hạ tầng châu Âu để tăng chủ quyền dữ liệu và quyền riêng tư, đồng thời ghi nhận rằng trở ngại lớn nhất là quán tính chứ không phải công nghệ.

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

Đánh giá MacBook Neo: chiếc laptop dành cho tất cả chúng ta

(fireborn.mataroa.blog)

MacBook Neo giá $599 được xem là chiếc laptop phù hợp nhất cho đa số người dùng, với khung nhôm, pin tốt và trải nghiệm Mac thực thụ, dù vẫn có một số cắt giảm rõ rệt.

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

Thiết lập tên miền khu vực *.city.state.us miễn phí

(fredchan.org)

Hướng dẫn đăng ký miễn phí tên miền khu vực *.city.state.us bằng cách chuẩn bị máy chủ tên, điền mẫu thủ công và chờ đơn vị phụ trách xử lý.

2 điểm bởi GN⁺ 2026-05-14 | 2 bình luận

Biên niên sử Bzr “đậm chất Emacs” nhất

(thanosapollo.org)

Emacs đã gắn bó với Bazaar nhiều năm vì lý do chính trị của GNU dù Git nhanh hơn rõ rệt, và cuối cùng chỉ chuyển sang Git sau khi Bazaar suy tàn.

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

Ruflo - Nền tảng điều phối AI đa tác tử cho Claude Code

(github.com/ruvnet)

Ruflo là nền tảng điều phối AI đa tác tử cho Claude Code với hơn 100 tác tử, bộ nhớ HNSW, hỗ trợ đa LLM và cơ chế liên kết tác tử zero-trust.

8 điểm bởi xguru 2026-05-14 | 1 bình luận

Sovereign Tech Fund đầu tư hơn 1 triệu euro vào phát triển phần mềm KDE

(kde.org)

Sovereign Tech Fund đầu tư hơn 1 triệu euro vào KDE để tăng cường độ tin cậy và bảo mật cho hạ tầng phần mềm cốt lõi.

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

Tải thêm chủ đề