Math.tanh
AssessNgôn ngữ & Framework
Hàm tang hyperbolic trong JavaScript, được dùng ở đây như tín hiệu fingerprinting.
Vì sao ở đây
Xếp vào Assess: 3 bài bằng chứng từ 1 nguồn, chủ yếu là tin bảo mật, 0 bài trong 30 ngày qua. Độ tin cậy 37%.
Bằng chứng (3)
- 6Hacker News·11/8/2026open_sourceCông cụ kiểm tra tính trung thực cho mệnh đề trong Lean 4
Leanscreen là một công cụ mã nguồn mở cho Lean 4 nhằm kiểm tra tính trung thực của mệnh đề, phát hiện các trường hợp rỗng nghĩa, docstring gây hiểu lầm và các lỗi mà trình biên dịch vẫn chấp nhận. Công cụ này cung cấp kiểm tra nhanh cục bộ, cùng các kiểm tra sâu hơn với nhiều bộ đánh giá độc lập và thử phản ví dụ, đồng thời được đánh giá trên 886 phán định của con người.
- 6Hacker News·12/7/2026securityChrome 148 khiến Math.tanh có thể dùng để nhận diện hệ điều hành
Từ Chrome 148, V8 dùng thư viện toán của hệ điều hành cho Math.tanh, khiến kết quả số thực khác nhau đôi chút giữa Linux, macOS và Windows. Điều này biến tanh() thành một tín hiệu fingerprinting nhỏ nhưng hữu dụng để nhận diện hệ điều hành và tạo ra sai lệch cho các hệ thống giả lập trình duyệt.
- 3Hacker News·12/7/2026product_launchSách về ngôn ngữ lập trình Odin được cập nhật
Cuốn sách "Understanding the Odin Programming Language" giới thiệu Odin từ các nội dung cơ bản đến nâng cao như thủ tục, quản lý bộ nhớ thủ công, đa hình tham số và thiết kế hướng dữ liệu. Bài đăng cũng nêu bản phát hành 1.10 và cho biết sách có các định dạng HTML, eBook, Kindle và Google Books.