Pháp sư Github chế thư viện toán học bằng... Compa và Thước Kẻ: Đỉnh cao của sự rảnh rỗi

Mấy ông ạ, đời làm dev ngày ngày cắm mặt vào đống code CRUD, fix bug dạo rồi nghe sếp chửi, nhiều khi nó chán vãi lúa. Nhưng hôm nay lướt Hacker News, tôi va phải một cái repo phải gọi là "ảo ma canada" thực sự. Đỉnh cao của sự rảnh rỗi, nhưng nó lại xịn xò con bò đến mức khiến các cao nhân phải vỗ đùi đánh đét.

Nguồn cơn từ sự rảnh rỗi sinh nông nổi

Chuyện là một pháp sư ẩn danh tên 0x0mer vừa tung lên Github con hàng có tên là CasNum (Compass and straightedge Number). Tưởng thư viện toán học bình thường, nhưng đ*o, lão này dùng các quy tắc dựng hình bằng compa và thước kẻ (kiểu hình học Euclid ấy) để thực hiện tính toán số lớn (arbitrary precision arithmetic).

Nghe đã thấy cồng kềnh đúng không? Nhưng độ "ma giáo" chưa dừng ở đó. Để chứng minh sức mạnh của hệ thống, tác giả còn nhúng hẳn một cái giả lập Game Boy, nơi mà mọi opcode của ALU đều được xử lý hoàn toàn qua các phép dựng hình học. Mẹ ơi, chạy cái đống logic này chắc cắn RAM kinh hồn bạt vía, anh em nào muốn test thử có khi phải thuê hẳn một con máy chủ xịn xò mới gánh nổi quá.

Giang cư mận HN chém gió gì về vụ này?

Cái post gom nhẹ gần 300 điểm trên HN, và phần comment thì rôm rả khỏi bàn. Tấu hài nhất là cái FAQ do chính tác giả tự thủ dâm ra:

• Q: "Thế nó có chạy được Doom không?"
• A: "Nó đ*o 'chạy' được cái gì cả, bản thân nó là một con số."
• Q: "Thế nó có nhanh không?"
• A: "Định nghĩa 'nhanh' xem nào? Nếu ý ông là 'nhanh hơn tự ngồi vẽ tay giống Euclid' thì ừ, nhanh hơn nhiều."
• Q: "Tại sao ông lại làm ra cái của nợ này?"
• A: "Vì tôi muốn tính toán số lớn, nhưng tôi cũng muốn có một cảm giác gì đó trong cuộc sống."

Câu chốt thực sự chạm đến đáy nỗi đau của anh em IT. Thằng chả code cái này vì "muốn có cảm giác", nghe chua xót như mấy anh em đang gồng lỗ crypto để tìm lại cảm giác hồi hộp vậy. Một user tên ggm cũng phải thốt lên: "Tôi đồng cảm vãi, nhất là câu số 3".

Ngoài ra, cộng đồng cũng chia phe bàn tán rôm rả:

• Bắt lỗi bằng toán cao cấp: Một đạo hữu tên mtsolitary lôi thư viện ra giải phương trình bậc 5 (quintic equation) và than thở là nó không hoạt động. Tác giả rep luôn cực sắc: "Rất tiếc, tính năng này đã bị định lý Abel-Ruffini từ chối". (Anh em nào dốt toán có thể Google lại định lý này nhé, đại loại là phương trình bậc 5 trở lên không có công thức nghiệm tổng quát bằng căn thức đâu, khịa hay vãi chưởng).
• Đội test AI: Có ông thì tò mò nhảy vào hỏi "Thế có xài Claude để code không đấy?". 0x0mer thẳng thắn nhận luôn là chỉ xài Codex để gen cái phần UI đồ họa vẽ vời (points, lines, circles) thôi, còn logic core thì chạy bằng cơm.

Chốt hạ: Bài học sinh tồn từ sự vô tri

Nhiều ông nhìn vào sẽ bảo: "Làm cái thư viện cồng kềnh vô dụng này để làm gì?". Xin thưa, đó chính là sự khác biệt giữa "thợ code" và "kỹ sư đam mê".

Thi thoảng, để không bị burn-out và trầm cảm với cái nghề này, anh em mình cần phải rũ bỏ mấy cái tư duy thực dụng (làm cái này có ra tiền không, có scale được không). Hãy thử code một cái gì đó thật vô tri, thật điên rồ, khó hiểu cũng được, miễn là nó làm anh em "feel something". Đó là cách duy nhất để giữ lại ngọn lửa với nghề.

Thôi, đi fix cái bug rách tiếp đây.

Nguồn: Hacker News - CasNum