Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Tôi thực sự nghĩ rằng chúng ta đang bước vào kỷ nguyên vàng của phần mềm và khoa học máy tính.
Rất nhiều phần mềm sẽ được viết ra trong thời gian tới. Và điều đó sẽ mang đến một loạt những thách thức mới. Và thực sự cảm thấy rằng cách để giải quyết những thách thức đó không phải là các khung và nền tảng, mà là các nguyên tắc cơ bản của khoa học máy tính.
Các thách thức đã rất rõ ràng. Ví dụ, quản lý khoảng cách giữa cú pháp và ngữ nghĩa, thực thi bảo mật ở cấp độ hệ thống ngôn ngữ (có phải đã đến lúc cho tính toán đáng tin cậy?), xử lý và phục hồi lỗi ở cấp độ hệ thống đầy đủ, phát triển kiến trúc dựa trên những gì học được trong thời gian chạy, hình thức hóa cao hơn về ý định, suy nghĩ lại về quản lý trạng thái và các đảm bảo, v.v. v.v.
Sự đổi mới cần thiết là trên toàn bộ ngăn xếp. Từ silicon đến các thực hành kỹ thuật phần mềm. Chúng ta đã thấy sự gián đoạn ở khắp mọi nơi: chip, mạng, hệ điều hành, ngôn ngữ, thời gian chạy ngôn ngữ, hệ thống phân tán, hỗ trợ nền tảng, bảo mật, v.v. v.v. v.v.
Thật là một thời điểm.
Hàng đầu
Thứ hạng
Yêu thích
