Direct File của IRS Mỹ công khai mã nguồn trên GitHub
(chrisgiven.com)- IRS đã công khai phần lớn mã nguồn của Direct File dưới dạng mã nguồn mở trên GitHub
- Với tư cách là tác phẩm của chính phủ Mỹ, mã này thuộc phạm vi công cộng và bất kỳ ai cũng có thể xem xét
- Việc công bố lần này là một phần trong quá trình thực thi SHARE IT Act, và được thông báo sớm hơn thời hạn luật định 3 tuần
- Việc công khai dưới dạng mã nguồn mở nhằm tăng cường tính minh bạch và xây dựng niềm tin của người nộp thuế
- Đội ngũ Direct File cũng coi trọng bảo mật dữ liệu, áp dụng công bằng các ưu đãi thuế và tăng cường khả năng tiếp cận cho công chúng
Công khai mã nguồn Direct File trên GitHub
Ngày 30/5/2025, IRS đã công khai phần lớn mã nguồn của dịch vụ Direct File trên GitHub dưới dạng phần mềm mã nguồn mở. Với tư cách là tác phẩm của chính phủ Mỹ, mã này thuộc phạm vi công cộng, và bất kỳ ai cũng có thể tự do xem nội dung.
Mục đích và bối cảnh công bố
Việc công khai mã nguồn lần này là biện pháp nhằm tuân thủ SHARE IT Act (Dự luật liên bang số 9566 của Quốc hội liên bang khóa 118), và được thực hiện sớm hơn 3 tuần so với thời hạn chính thức. Trong thời gian tới, nhiều mã phần mềm hơn do IRS vận hành được kỳ vọng sẽ trở nên доступ cho mọi người.
Tầm quan trọng của mã nguồn mở
Việc mã nguồn của dịch vụ Direct File được mở không phải là kế hoạch mới đây, mà là nội dung đã được thúc đẩy trong thời gian dài. Như đội ngũ Direct File đã công bố vào năm ngoái, mã nguồn mở có những ý nghĩa sau:
- IRS có thể xây dựng niềm tin của công chúng và cho phép đánh giá độc lập hoạt động thông qua việc tăng cường tính minh bạch
- Có thể chứng minh với bên ngoài rằng phần mềm được thiết kế để mọi người nộp thuế đều có thể nhận đầy đủ các ưu đãi thuế mà họ đủ điều kiện hưởng
- Có thể thể hiện bằng kỹ thuật việc thực hiện những cam kết này thông qua phần mềm được công khai
Niềm tin của người nộp thuế và các nguyên tắc của Direct File
Xây dựng niềm tin của người nộp thuế là chiến lược cốt lõi trong thiết kế của Direct File. Để làm được điều đó, các yếu tố dưới đây được nhấn mạnh:
- Cung cấp tùy chọn khai thuế chính xác nhất
- Giúp mọi người dân đều có thể tiếp cận và sử dụng hệ thống khai thuế
- Tuân thủ nghiêm ngặt các nguyên tắc bảo mật dữ liệu của người nộp thuế
- Thực hành tính minh bạch thông qua việc trực tiếp công khai mã nguồn
Thông báo cá nhân
Tác giả đã chính thức kết thúc công việc tại IRS cách đây 2 tuần. Bài viết hiện tại hoàn toàn là quan điểm cá nhân.
1 bình luận
Ý kiến trên Hacker News
Direct File có bao gồm một cấu trúc dữ liệu đồ thị tri thức mang tính khai báo và dựa trên XML tên là Fact Graph, được thiết kế để suy luận từ thông tin chưa hoàn chỉnh như tờ khai thuế mới điền một phần. Fact Graph được viết bằng Scala, chạy trên JVM ở backend, và được transpile qua Scala.js để chạy ở phía client. Fact Graph của Direct File không bị giới hạn trong một miền cụ thể, nên cũng có thể hữu ích như tài liệu tham khảo để triển khai cơ quan thuế hoặc các business rule engine khác
Có thể xem mã định nghĩa cách fact graph hoạt động tại đây. Các định nghĩa thuế thực tế và phép tính suy ra có thể xem tại đây. Ví dụ có khấu trừ tiêu chuẩn (Standard Deduction) và tính thuế suất. Có vẻ các định nghĩa này dựa trên schema MeF (Modernized e-File). Vì hệ thống phải chuyển dữ liệu đầu vào thành XML theo schema MeF để gửi tới hệ thống MeF. Có thể xem giải thích chi tiết tại trang chính thức của IRS
Thú vị đến mức khiến tôi muốn đọc thêm
Tôi còn làm ở IRS cho đến khoảng 2 tuần trước, nhưng đang nói với tư cách cá nhân. Thật đáng tiếc khi chính quyền hiện tại xóa bỏ DirectFile và sa thải toàn bộ nhân sự liên quan
Đáng buồn là chương trình này hiện đang bị chính quyền hiện tại dừng lại. Kho mã thực sự rất xuất sắc, và cấu trúc Scala fact graph cũng rất hay. Có thể thấy lượng tâm huyết cực lớn đã được bỏ vào cả phần tutorial
Tôi nghĩ những người tham gia dự án này hẳn đã biết số phận của nó trước cả khi viết một dòng code. Họ hẳn biết đây là dự án sẽ bị khai tử ngay khi một nhân vật (R, Cộng hòa) lên nắm quyền lần nữa. Việc thực sự đưa được phần mềm ra công khai đã là một thành tựu lớn, nhưng ai cũng nhận thức được nó sẽ không tồn tại lâu. Nhóm lobby thuế pay-to-file quá mạnh và quá tha hóa
Dự luật này do nghị sĩ Cộng hòa Nick Langworthy đề xuất và William Timmons đồng bảo trợ. Mong đừng lan truyền thông tin sai lệch hay bịa đặt
Hỏi liệu cách làm này có phổ biến trong Java không, kèm liên kết mã ví dụ
Đây là ví dụ về lập trình reactive trong Java. Nó trả về callback sẽ được chạy khi công việc hoàn tất. Kiểu
Mono<T>là đặc trưng tiêu biểuTôi dùng Java đã lâu nhưng hiếm khi thấy kiểu code này. Phần lớn đến từ phong cách lập trình reactive (
reactor.core.publisher.Mono). Cũng có thể họ muốn nhét toàn bộ code vào một màn hình. Nếu tôi là team lead thì sẽ muốn yêu cầu đơn giản hóa hơnKiểu coding này thường thấy trong các dự án chính phủ, khi ai đó muốn có việc làm trọn đời hoặc nghĩ rằng càng khó đọc với người khác thì càng có lợi cho mình. Hoặc cũng có thể mục đích là để bán màn hình siêu rộng
atomicsthì khá gượng gạo, nhưng khi dùng reactor, nếu cần hành vi blocking tuần tự thì toàn bộ cấu trúc code thường trở nên lộn xộnTôi cũng từng thấy thứ tương tự trong Java lẫn các ngôn ngữ khác. Khả năng cao đây không phải cách tôi thích
Tôi nghĩ điều khó hơn khi IRS công khai thứ này không nằm ở bản thân source code, mà là việc tích hợp với hệ thống thu thuế và đảm bảo tuân thủ luật thuế hiện hành. Dù có công khai source code đi nữa, phần này vẫn có thể bị chính quyền dừng bất cứ lúc nào
Hoàn toàn đồng ý. Theo phần mô tả trong kho mã, Direct File diễn giải luật thuế Mỹ (26 USC) thành các câu hỏi dễ hiểu để người nộp thuế có thể tự trả lời mà không cần giải thích thêm. Sau đó chuyển câu trả lời của người nộp thuế thành các biểu mẫu thuế chuẩn và gửi qua API chính thức là Modernized e-File (MeF). Về lý thuyết có thể dùng ngay, nhưng đúng như bạn nói, nếu chính sách thay đổi thì nó có nguy cơ trở nên vô nghĩa
Thêm nữa, khó khăn còn bao gồm việc ngành chuẩn bị thuế đã vận động hành lang suốt nhiều thập kỷ để bảo vệ lợi ích của mình. Số bang cho phép khai trực tiếp miễn phí hiện đã nhiều hơn năm ngoái, thành 25 bang hoặc 25 nơi nếu tính cả DC, nhưng vẫn không rõ vì sao 25 bang còn lại lại không làm vậy. (Tôi sống ở DC)
Đúng vậy. Các chính trị gia hay quan chức làm việc cho lobby khai thuế hoàn toàn có thể thay đổi luật thuế để khiến phần mềm trở nên vô dụng
Tôi không biết hiện giờ đã có chức năng đó chưa, nhưng nếu eFile có đủ tính năng thì về lý thuyết cũng có thể tạo ra cả tờ khai giấy
Thậm chí còn tạo cảm giác đây là một cơ hội kinh doanh
Ở phần Exempted Code có nói rằng không phải mọi source code, tài liệu và metadata dùng để phát triển Direct File đều được đưa vào kho công khai. PII, thông tin thuế liên bang (FTI), dữ liệu nhạy cảm nhưng không mật (SBU), và source code cho hệ thống an ninh quốc gia (NSS) đều bị loại trừ theo quy định pháp luật. Cũng có lưu ý rằng do các hạn chế này, một số chức năng đã bị xóa hoặc viết lại. Tôi rất tò mò không biết những phần nào đã bị gỡ bỏ
Hầu như ai rồi cũng từng có lần lỡ thêm con trỏ submodule thay vì tải tệp thực lên kho. Xem liên kết commit ví dụ. Cũng thú vị là vì đây là code từ Mỹ nên họ không thể đơn giản dùng CC0, mà phải ghi rõ riêng rằng nó là 'tài sản công'
Cho ai quan tâm thì đây là liên kết tới kho mã
Không chỉ có code, thư mục /docs/design còn đầy tài liệu thiết kế và ghi chú rất tốt. Còn có cả sơ đồ quy trình chi tiết theo từng luồng người dùng nữa (không xem trực tiếp được, được cung cấp dưới dạng file zip, xem flow1.zip và flow2.zip)
Tuần trước (tính đến tháng 5/2025) cũng đã có thảo luận liên quan: IRS Direct File - Hacker News (62 bình luận)