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.
Hari
@cantinaxyz @spearbit toàn bộ // trước @solidity_lang
Các ngôn ngữ lập trình có thể chứng minh một cách chính thức chỉ là một ý tưởng toán học / khoa học máy tính kỳ lạ mà không chuyển giao tốt sang thế giới thực. Chúng đơn giản là không thể mở rộng cho mã thực tiễn.
Thực tế là nếu bạn muốn xây dựng một hệ sinh thái nhà phát triển thành công, ngôn ngữ của bạn cần phải giống như JavaScript hơn là Haskell. Điều này đặc biệt đúng với sự gia tăng của LLMs, nơi các ngôn ngữ có nhiều dữ liệu đào tạo hơn sẽ tiếp tục tăng thị phần của chúng.
Tôi nói điều này như một người có ngôn ngữ lập trình yêu thích là Haskell và đã phát triển những hệ thống này từ đầu đến cuối, từ thiết kế ngôn ngữ đến trình biên dịch, và thậm chí cả các bộ giải toán cơ bản. Chúng không thể mở rộng vì các bộ giải toán cơ bản phát nổ theo cấp số nhân.
01:53 27 thg 8
Một DSL nhỏ có thể chứng minh được tính chính xác theo cấu trúc để => bpf sẽ rất thú vị.
3,71K
Tôi bắt đầu cảm thấy thích GPT-5, nếu bạn có thể khiến nó suy nghĩ nghiêm túc, nó thực sự rất tốt!
23:24 8 thg 8
Ấn tượng ban đầu của tôi về GPT-5 là nó được thiết kế để cạnh tranh với Gemini.
Nó có vẻ là một mô hình làm việc hơn là một mô hình đua.
2,77K
Tôi đã thử 5 bài toán khác nhau và nó đã thất bại ở cả 5 bài. Một trong những bài toán thậm chí còn nằm trong bộ dữ liệu huấn luyện, và nó vẫn thất bại.
Nó cố gắng hết sức để tìm một 'mô hình quy nạp', nhưng không suy luận tốt lắm.
12:13 19 thg 8
Tôi đã có nhiều hy vọng cho Gemini Deep Think. Hôm nay, tôi đã đưa cho nó một bài toán kiểu Olympic, và nó đã thực hiện kém.
Nó đã đưa ra một giả định sai ngay từ đầu và tiếp tục đi sai hướng.
1,99K
Hàng đầu
Thứ hạng
Yêu thích