Cấm issue, chỉ dùng PR
Tuần trước, Laravel, framework PHP đình đám, vừa công bố một quy định mới: cấm mở issue, ai muốn báo lỗi hay góp ý thì phải gửi Pull Request (PR). Thoạt nhìn, quy định này nghe thật phi lý.
Cấm issue, chỉ dùng PR
Ảnh bìa
Triển lãm “Kỷ niệm 15 năm Liên Minh Huyền Thoại” được tổ chức tại Taikoo Li Tiền Than, Thượng Hải. (via)
Cấm issue, chỉ dùng PR
Tuần trước, Laravel, framework PHP đình đám, vừa công bố một quy định mới: cấm mở issue, ai muốn báo lỗi hay góp ý thì phải gửi Pull Request (PR).
Thoạt nhìn, quy định này nghe thật phi lý. Người dùng không được tạo issue thì báo lỗi kiểu gì? Chẳng lẽ bắt ai cũng phải đọc hiểu toàn bộ source code rồi tự tay sửa lỗi?
Thế nhưng khi bình tĩnh ngẫm lại, bạn sẽ nhận ra nước đi này rất hợp lý, thậm chí xứng đáng để các dự án khác học theo.
(1) Triệt tiêu hoàn toàn issue rác.
Một khi người dùng sẵn lòng bỏ công sức tạo PR, điều đó chứng minh họ thực sự quan tâm đến vấn đề. Những bot spam hay những kẻ phá rối vốn chỉ quen quăng issue rác vào repo rồi biến mất, họ chẳng bao giờ chịu tốn thời gian đóng góp cho dự án.
(2) Nhẹ gánh hơn cho người bảo trì.
Thông tin người duy trì dự án thu nhận từ một PR luôn phong phú và cụ thể hơn nhiều so với một issue mơ hồ. Họ nắm bắt bản chất vấn đề nhanh hơn và tốn ít thời gian xử lý hơn hẳn.
(3) Không hề làm khó người dùng.
Ngay cả khi không rành về source code, người dùng vẫn có thể gửi PR.
Họ chỉ cần mô tả cặn kẽ lỗi cho AI và để AI viết code rồi tạo PR giúp. Trong kỷ nguyên AI, việc gửi một PR giờ đây dễ dàng chẳng kém gì mở một issue.
(4) Cốt lõi của việc cấm issue nằm ở chỗ: các dự án mã nguồn mở đang cạn kiệt tài nguyên để xoay xở trước lượng issue bùng nổ mất kiểm soát.
Thời đại AI không còn là lúc dự án dung túng cho thói quen ném vấn đề lên mạng rồi ngồi chờ người khác dọn dẹp hộ. Đã đến lúc khuyến khích mọi người cùng bắt tay đóng góp giải pháp cho cộng đồng.
Chương trình toán học dài nhất lịch sử
Tuần trước, Anthropic đã dùng Claude AI để hoàn thành chương trình toán học dài nhất trong lịch sử: hình thức hóa và chứng minh Định lý lớn Fermat bằng mã lệnh.
Vào thế kỷ 17, nhà toán học Pháp Pierre de Fermat đưa ra một giả thuyết nổi tiếng: không tồn tại nghiệm số nguyên lớn hơn 2 thỏa mãn phương trình dưới đây.
Các thế hệ nhà toán học sau này nhận ra giả thuyết này hóc búa ngoài sức tưởng tượng, dường như không thể tìm ra lời giải. Mãi đến hơn ba trăm năm sau, vào năm 1995, nhà toán học người Anh Andrew Wiles mới chính thức chứng minh Định lý lớn Fermat là hoàn toàn chính xác.
Bản chứng minh của Andrew Wiles dài tới 129 trang, ngay cả những chuyên gia toán học đầu ngành cũng phải mất nhiều tháng mới có thể hiểu trọn vẹn.
Kể từ khi công trình này ra đời, giới toán học luôn khao khát dịch nó sang ngôn ngữ máy tính nhằm thực hiện chứng minh tự động, từ đó kiểm chứng các bước suy luận một cách chuẩn xác mà không cần sức người.
Thế nhưng dự án chuyển đổi từ chứng minh thủ công sang mã máy cũng vô cùng gai góc và ngốn khối lượng công việc khổng lồ, khiến mọi nỗ lực đều dở dang. Cho đến tuần trước, một nhóm nghiên cứu công bố rằng Claude AI đã mất đúng 11 ngày để hoàn tất việc dịch toàn bộ chứng minh của Andrew Wiles sang chương trình viết bằng ngôn ngữ Lean.
Lean là ngôn ngữ lập trình được Microsoft Research giới thiệu vào năm 2013, chuyên dùng để chứng minh các định lý toán học.
Ban đầu, các nhà nghiên cứu chỉ định thử nghiệm giới hạn suy luận toán học của Claude AI, không ngờ mô hình này lại giải quyết trọn vẹn một dự án chưa từng ai làm nổi.
Trước khi đi đến kết luận cuối cùng, Claude đã tự chứng minh hơn 30.000 bổ đề phụ, vận dụng hơn 29.000 bổ đề trong số đó, tiêu tốn hàng tỷ token và tạo ra tệp mã nguồn khổng lồ lên tới 13 triệu dòng code.
Đây là chương trình toán học dài nhất từng được tạo ra. Khó có thể tưởng tượng một nhóm toán học bằng xương bằng thịt sẽ mất bao nhiêu năm tháng để viết ngần ấy dòng code? Hiện toàn bộ mã nguồn đã được công khai trên GitHub.
Ý nghĩa sâu xa của cột mốc này nằm ở chỗ: hiện nay có vô số chứng minh toán học phức tạp mà chúng ta chưa thể kiểm chứng tính đúng đắn, giới toán học cũng mất quá nhiều thời gian để thẩm định. Giờ đây, thực tế chứng minh AI hoàn toàn đủ sức gánh vác khâu thẩm định này.
Cuối cùng, xin chia sẻ cùng bạn bài phỏng vấn Andrew Wiles khi ông bộc bạch về hành trình cuộc đời mình.
Người phỏng vấn hỏi ông: “Ông đã dành cả thanh xuân để theo đuổi Định lý lớn Fermat. Giờ hành trình ấy đã khép lại, hẳn ông cảm thấy có chút bùi ngùi?”
Andrew trả lời rằng cảm giác lúc ấy giống như vừa bước ra khỏi một cuộc chiến cam go, nhẹ nhõm và thanh thản:
“Đúng là có chút bùi ngùi, nhưng đồng thời tôi cũng cảm thấy tự hào to lớn, và trên hết là sự tự do. Tôi từng mê mẩn bài toán đó đến mức không một phút giây nào thôi nghĩ về nó, từ lúc thức dậy vào ban sáng cho tới khi đi ngủ vào ban đêm, liên tục suốt tám năm trời. Đắm chìm vào một thứ lâu đến vậy thực sự rất vắt kiệt sức lực. Khi chặng đường đặc biệt này khép lại, tâm trí tôi cuối cùng cũng tìm thấy sự bình yên.”
Tin tức công nghệ
Tesla bắt đầu triển khai dịch vụ taxi tự hành Cybercab tại Mỹ. Theo Elon Musk, mảng kinh doanh cốt lõi của hãng trong tương lai sẽ không còn là sản xuất ô tô bán lẻ, mà là vận hành đội xe taxi tự lái.
Tuần này, Tesla bất ngờ thông báo sẽ bán luôn những chiếc xe này ra ngoài thị trường.
Bạn mua chiếc xe tự hành này không phải để phục vụ nhu cầu đi lại hàng ngày, mà là một khoản đầu tư sinh lời. Doanh thu từ mỗi cuốc xe đón khách sẽ chia đôi giữa bạn và Tesla.
Vì xe có thể chạy liên tục 24/7, Musk không ngừng vẽ ra viễn cảnh: chỉ cần sở hữu nó, xe sẽ tự động kiếm tiền về ví ngay cả khi bạn đang ngủ.
Vấn đề là khi mua xe, bạn phải tự gánh toàn bộ chi phí hao mòn, khấu hao tài sản, đồng thời phải chi thêm 15.000 USD cho gói tính năng tự lái hoàn toàn. Rất khó để hình dung một chiếc xe chạy cày ải cả ngày lẫn đêm như vậy sẽ trụ được bao nhiêu năm.
Bằng cách bán xe cho người dùng, Tesla thoái lui khỏi gánh nặng sở hữu phần cứng, biến mình thành đơn vị vận hành tài sản của bạn, chuyển dịch ngoạn mục từ mô hình thâm dụng tài sản sang mô hình tinh gọn. Trong lúc bạn ngủ say, chiếc xe của bạn đang cần mẫn kiếm tiền về túi Tesla.
2. Bàn chải đánh răng điện Dyson
Dyson, thương hiệu vốn gắn liền với máy hút bụi và máy sấy tóc cao cấp, vừa lấn sân sang mảng chăm sóc răng miệng với một mẫu bàn chải điện độc lạ.
Điểm đặc biệt của thiết bị là tích hợp hẳn một camera tí hon đi kèm đèn chiếu sáng ngay trên đầu bàn chải.
Nó không chỉ cho phép bạn soi kỹ khoang miệng qua màn hình điện thoại, mà quan trọng hơn, thiết bị sẽ tự động nhận diện hình ảnh từ camera để quyết định vị trí nào cần phun tia nước nhằm tăng cường hiệu quả làm sạch.
Cá nhân tôi thấy, nếu công nghệ đã tiến xa đến mức này rồi thì sao không làm luôn một cỗ máy tự động đánh răng: bạn chỉ việc há miệng ra và nó sẽ tự lo liệu từ A đến Z.
Các kỹ sư tại Trường Kỹ thuật thuộc Đại học Harvard vừa chế tạo một chiếc gậy thông minh tích hợp AI dành riêng cho người khiếm thị và suy giảm thị lực.
Chiếc gậy hoạt động song hành cùng smartphone. Điện thoại sử dụng camera, GPS, cùng các cảm biến chuyển động và phương hướng để ghi nhận dữ liệu thời gian thực. Sau đó, phần mềm điều hướng sẽ tính toán hướng đi tiếp theo rồi truyền tín hiệu về gậy.
Cây gậy sẽ phát ra các âm thanh bíp bíp đặc trưng để chỉ dẫn người dùng nên bước thẳng, rẽ trái hay rẽ phải. Nếu người dùng đi chệch hướng, nó sẽ lập tức phát cảnh báo.
Sáng chế này rõ ràng mang ý nghĩa nhân văn lớn, song việc bắt người dùng liên tục bật điện thoại và giữ camera hướng ra mặt đường cả ngày có phần hơi bất tiện. Sẽ thực tế hơn nhiều nếu tích hợp toàn bộ phần cứng của điện thoại trực tiếp vào thân gậy để tạo thành một thiết bị độc lập hoàn chỉnh.
Bài viết
1. Câu chuyện bi kịch của Lee Holloway (tiếng Anh)
Sinh năm 1981, Lee Holloway là kỹ sư sáng lập của Cloudflare và được mọi người công nhận là một thiên tài công nghệ xuất chúng. Bức ảnh trên chụp ba nhà sáng lập của Cloudflare, Lee đứng ở vị trí chính giữa.
Trớ trêu thay, ở tuổi 36, anh mắc chứng sa sút trí tuệ khởi phát sớm (frontotemporal dementia), khiến não bộ bị teo dần và cuối cùng không còn khả năng nói một câu hoàn chỉnh.
2. Tổng quan về mô hình mã nguồn mở mùa hè 2026 (tiếng Anh)
Báo cáo phân tích từ Hugging Face về những bước chuyển động mới nhất của các mô hình mở, giúp người đọc nắm bắt được vị thế hiện tại của các mô hình Trung Quốc trên bức tranh toàn cảnh của thị trường AI.
3. Tôi đã bẻ khóa khóa RSA thập niên 90 (tiếng Anh)
An toàn trong truyền thông Internet phụ thuộc hoàn toàn vào việc các khóa mã hóa có đủ sức chống lại các cuộc tấn công giải mã hay không. Tác giả đã thử sức giải mã một khóa RSA 512-bit được phát hành từ năm 1999 (chuẩn mã hóa hiện nay yêu cầu tối thiểu 2048-bit).
Kết quả là chiếc máy tính để bàn của anh chỉ mất đúng 32 giờ để giải mã thành công. Nếu tận dụng một cụm GPU mạnh mẽ, việc này chỉ vỏn vẹn khoảng 1 giờ đồng hồ.
Nhìn xa hơn, tiền mã hóa về lâu dài cũng đối mặt với nguy cơ tương tự, buộc các hệ thống phải liên tục nâng cấp thuật toán mã hóa định kỳ.
4. Thuộc tính initial-scale không còn cần thiết trong HTML (tiếng Anh)
Khi thiết kế giao diện web thích ứng (responsive), bạn không còn cần khai báo initial-scale=1.0 nữa mà chỉ cần giữ lại width=device-width là đủ.
Ở các thế hệ iPhone đời đầu, khi xoay ngang màn hình, trang web không tự động co giãn độ rộng. Thuộc tính initial-scale vốn ra đời chỉ để giải quyết vấn đề tồn đọng đó.
5. Cách xử lý đệ quy trong JavaScript (tiếng Anh)
Khi sử dụng hàm đệ quy, nếu số tầng lồng nhau quá sâu sẽ dẫn đến lỗi tràn ngăn xếp (call stack overflow). Đệ quy đuôi (tail recursion) có thể giải quyết vấn đề này, song các JS runtime hiện nay chưa hỗ trợ tối ưu hóa đệ quy đuôi. Bài viết sẽ chỉ cho bạn những cách xử lý thay thế hiệu quả.
6. Tôi tự dựng phòng làm việc ở sân sau (tiếng Anh)
Một lập trình viên người Mỹ tự tay dựng một phòng làm việc nhỏ gọn ngay trong khuôn viên sân sau nhà mình. Anh ghi lại tỉ mỉ toàn bộ quá trình thi công cùng chi phí chi tiết và hình ảnh thực tế.
Công cụ
1. FlyonUI
Thư viện thành phần giao diện người dùng (UI components) xây dựng trên nền Tailwind CSS.
2. endlessh-go
Công cụ bẫy và phòng thủ trước các đợt quét SSH độc hại. Thay vì chặn đứng kết nối, nó sẽ giữ các request này ở trạng thái chờ vô tận, làm hao tổn tài nguyên và thời gian của kẻ tấn công. Hỗ trợ hiển thị bảng điều khiển Grafana.
3. PuTTYgen
Công cụ tạo cặp khóa SSH quen thuộc dành cho nền tảng Windows.
Công cụ viết bằng Go, khởi tạo một dịch vụ cục bộ để xem trước kết quả render Markdown theo đúng chuẩn GitHub Flavored Markdown (GFM).
5. caddy-waf
Tiện ích tường lửa ứng dụng web (WAF) dành cho web server Caddy, hỗ trợ các quy tắc regex và danh sách đen IP/DNS/ASN/quốc gia để ngăn chặn các yêu cầu độc hại. (@abriziosalmi đóng góp)
6. Yixi
Ứng dụng web triển khai trên Cloudflare Workers, kết hợp cùng tính năng Phím tắt (Shortcuts) trên iOS. Trước khi bạn mở một ứng dụng gây nghiện nào đó, máy sẽ tự động chuyển hướng đến trang đệm này và dừng lại 10 giây để bạn cân nhắc xem có thực sự cần mở app hay không. (@Defiabell đóng góp)
7. ctty
Ứng dụng terminal mã nguồn mở hỗ trợ giao diện đồ họa (TUI) để quản lý trực quan các kết nối SSH, Serial port, Telnet. (@zsuroy đóng góp)
8. vet
Công cụ kiểm tra an toàn cho bash script. Khi bạn tải một đoạn mã từ trên mạng về, vet sẽ chạy thử và phân tích tỉ mỉ những thay đổi mà tập lệnh sắp thực hiện trên hệ thống, chỉ khi được bạn đồng ý thì code mới thực sự chạy.
9. Krep
Công cụ thay thế dòng lệnh grep, dùng để tìm kiếm chuỗi văn bản trong tập tin với tốc độ được cho là nhanh hơn grep tới 50 lần.
10. Inbucket
Ứng dụng hỗ trợ kiểm thử tính năng gửi email. Bạn có thể tích hợp trực tiếp vào dự án để test luồng email phát đi mà không sợ gửi nhầm cho người dùng thật, đi kèm giao diện web quản trị tiện lợi.
Tài nguyên
1. Kiến thức Linux cơ bản cho Hacker (Linux Basics for Hackers)
Tài liệu tiếng Anh diễn giải các khái niệm nền tảng của Linux bằng ngôn ngữ bình dị, dễ hiểu, rất thích hợp làm giáo trình nhập môn.
2. Cách thức vận hành của DNSSEC
Trang web tiếng Anh sử dụng nhiều hình vẽ truyện tranh sinh động để giải thích cơ chế của Tiện ích mở rộng bảo mật DNS (DNSSEC), giúp hệ thống phòng chống nguy cơ tấn công đầu độc DNS (DNS cache poisoning).
Kho lưu trữ tổng hợp nhiều chủ đề giao diện (themes) bắt mắt cho trình quản lý khởi động hệ thống GRUB.
Hình ảnh
1. Những kiến trúc kỳ lạ ven đường cao tốc nước Mỹ
Nước Mỹ vốn được mệnh danh là quốc gia đặt trên những bánh xe hơi, nếu không có ô tô thì gần như chẳng thể di chuyển được đi đâu.
Bởi vậy, người ta thường xây dựng những ngôi nhà với hình thù độc lạ ngay ven quốc lộ với hy vọng thu hút ánh nhìn của du khách qua đường.
Thư viện Quốc hội Hoa Kỳ hiện lưu trữ một bộ sưu tập ảnh gồm 11.710 bức ảnh màu về những công trình kiến trúc ven đường độc đáo này, bạn có thể ghé xem.
Trích đoạn
1. Ba câu hỏi cần tự vấn trước khi bắt tay tạo ra bất cứ thứ gì
Tôi làm việc trong mảng phát triển sản phẩm đã 10 năm và từng chứng kiến không ít dự án thất bại thảm hại, hoặc vì quá đỗi phức tạp, hoặc vì thiếu đi bản sắc riêng biệt. Sau những cú vấp ngã ấy, tôi đúc rút ra ba điều kiện ràng buộc.
Kể từ đó, trước khi bắt tay dựng bất kỳ thứ gì, tôi luôn tự chất vấn mình ba câu hỏi. Chỉ khi nhận được câu trả lời đồng ý dứt khoát cho cả ba, tôi mới bắt đầu viết code.
(1) Bạn có thể tóm lược phần giới thiệu sản phẩm gọn gàng trong một trang giấy không?
Nếu bản mô tả dự án dài lê thê vượt quá một trang A4, điều đó chứng tỏ ý tưởng quá rườm rà phức tạp, tốt nhất đừng làm.
(2) Công nghệ cốt lõi có thể tách rời khỏi sản phẩm cụ thể hay không?
Sản phẩm có thể phải xoay trục (pivot) liên tục theo thị trường, nhưng công nghệ cốt lõi thì trước sau như một và không ngừng bồi đắp giá trị.
Việc tách công nghệ cốt lõi ra khỏi sản phẩm buộc bạn phải tư duy vượt ra ngoài khuôn khổ hạn hẹp của một hình thức triển khai nhất thời.
Lấy ví dụ: công nghệ cốt lõi của điện thoại là truyền thông di động. Một mẫu điện thoại cụ thể có thể thất bại, nhưng công nghệ viễn thông di động thì không bao giờ chết.
(3) Sản phẩm có sở hữu một đặc trưng cốt lõi không thể trộn lẫn không?
Đặc trưng này phải thật sắc nét và khắc họa trọn vẹn cá tính của sản phẩm. Minecraft được cấu thành hoàn toàn từ những khối hộp vuông vức, còn IKEA định hình mình qua những kiện hàng phẳng đóng hộp cho khách tự lắp ráp.
Việc chọn đúng một điểm nhấn then chốt giúp bạn thu hẹp không gian ra quyết định, dồn toàn bộ sự chú ý vào những gì thực sự tạo nên giá trị. Nếu sản phẩm thiếu vắng bản sắc hoặc chọn sai điểm tựa, bạn sẽ chỉ tạo ra một sản phẩm cồng kềnh, cố làm hài lòng tất cả mọi người để rồi chẳng làm vừa lòng bất kỳ ai.
Trích dẫn
1.
AI thay thế nhà văn, tôi không lên tiếng vì tôi không phải nhà văn.
Rồi AI thay thế nghệ sĩ, tôi im lặng vì tôi không phải nghệ sĩ.
Giờ AI thay thế lập trình viên, chẳng còn ai ở lại để lên tiếng vì tôi nữa.
— Và rồi AI thay thế lập trình viên
2.
Hiện nay, cứ năm tên miền cấp cao nhất (TLD) mới được đăng ký thì có một tên miền phục vụ mục đích lừa đảo.
— Nạn đăng ký tên miền lừa đảo
3.
Mọi người đang đổ xô dùng AI để giải các bài toán hóc búa, nhưng những câu đố toán học đỉnh cao vốn là nguồn tài nguyên không thể tái tạo, các bài toán thực sự hay giờ đây trở nên vô cùng hiếm hoi.
Việc dùng công cụ tự động hóa để giải bài toán không hề giúp nâng cao tư duy toán học của con người, thậm chí còn gây tổn hại cho sự phát triển của nền toán học mai sau.
— Terence Tao, nhà toán học nổi tiếng
4.
Thế giới đang bước vào giai đoạn điện khí hóa toàn diện, pin và động cơ điện trở thành nền móng của cuộc sống hiện đại. Khi kết hợp cùng sự bùng nổ của AI, điều này đồng nghĩa với việc vô số vật vô tri vô giác quanh ta sẽ dần có trí thông minh, có thể tự suy nghĩ và tự di chuyển.
— Noah Smith, nhà phân tích kinh tế Mỹ
5.
Khoa học tồn tại dưới hai hình thái. “Khoa học 1” là cuộc kiếm tìm chân lý mang tính lý tưởng hóa, còn “khoa học 2” là thực hành khoa học trong đời thực, nơi nó giống một hoạt động xã hội nhiều hơn và buộc phải thỏa hiệp với các thực tế chính trị, xã hội.
Nếu là một nghiên cứu sinh tiến sĩ, bạn cần hiểu rằng phần lớn thời gian bạn đang làm việc trong địa hạt của khoa học 2, chứ không phải khoa học 1.