Tôi đã tạo một blog mới và đã có một vài bài viết. Đây là một bài viết về việc rơi xuống cái hố thỏ khi tìm hiểu về LatticeFold, nhằm tìm kiếm một hệ thống chứng minh với đệ quy hiệu quả và các trường thân thiện với phần cứng.