Lambda calculus

Bằng chứng (3)

• 3Hacker News·12/8/2026research
  Principia Mathematica được nhìn như một văn bản hiện đại về ngôn ngữ lập trình

  Bài viết cho rằng Principia Mathematica của Whitehead và Russell, xuất bản năm 1910, đã dự báo nhiều ý tưởng quen thuộc trong ngôn ngữ lập trình và logic hiện đại. Nội dung nhấn mạnh các khái niệm như tính trong suốt tham chiếu, tính ngoại diên, kiểu dữ liệu, biến tự do và biến bị ràng buộc, phép thế, trừu tượng hóa, áp dụng, cùng những dấu hiệu sớm của trực giác luận và tư duy gần với lambda calculus.

• 5Hacker News·7/7/2026product_launch
  l ra mắt với khả năng tương thích k4, q và qSQL

  l là một runtime mới cho k và q, được giới thiệu là tương thích với k4, q và qSQL. Nó hỗ trợ sẵn mã K4/q hiện có, cùng với tables, dictionaries, partitions và splays mà không cần viết lại mã.

• 2Hacker News·4/7/2026research
  Vì sao phép tích phân khó hơn phép đạo hàm

  Bài viết đối chiếu giải tích vi phân và giải tích tích phân để cho thấy việc tổng hợp thường khó hơn việc phân tích. Bài giải thích rằng đạo hàm có tính thuật toán và dễ tính hơn, trong khi tích phân có thể không có nghiệm dạng đóng và phải dùng chuỗi vô hạn hoặc kỹ thuật đặc biệt. Ví dụ được nêu là tích phân Gaussian, một hàm quen thuộc nhưng khó tính chính xác hơn nhiều so với việc lấy đạo hàm.