đang cố gắng tìm tweet mà giống như: Ba nhiệm vụ lớn hiện tại của nhân loại là: - Xây dựng Chúa - Khám phá các vì sao - Đánh bại cái chết có ai biết ai đã nói điều đó không? @xai @grok đang làm tôi thất vọng

Wow, cảm ơn @tferriss đã giới thiệu Hyperstitions of Moloch trong Five Bullet Friday!

Tôi sẽ chết trên ngọn đồi này rằng o1-preview là một công cụ tóm tắt tốt hơn nhiều so với o1 hoặc o3 và thế giới sắp mất quyền truy cập vào một mô hình tuyệt vời mà chưa bao giờ được đưa vào sản xuất đúng cách.

🆕 Phát hành toàn bộ khóa học RL + Lập luận của chúng tôi! đặc biệt có: • @willccbb, Prime Intellect • @GregKamradt, Arc Prize • @natolambert, AI2/Interconnects • @corbtt, OpenPipe • @achowdhery, Reflection • @ryanmart3n, Bespoke • @ChrSzegedy, Morph với buổi workshop đặc biệt kéo dài 3 giờ từ: @danielhanchen của Unsloth! bắt đầu ở đây: Chúc bạn cuối tuần vui vẻ khi xem! và cảm ơn @OpenPipeAI đã hỗ trợ và tổ chức khóa học này!

nếu, như @sgrove đề xuất, các đặc tả là mã của tương lai, thì gỡ lỗi là gì? 1) biên dịch đặc tả là quá trình một tác nhân lập trình chuyển đổi các đặc tả thành mã 2) ngày càng nhiều "biên dịch" sẽ không cần giám sát, ít theo dõi tác nhân làm việc từng khác biệt, nhiều hơn là đặc tả vào, mã ra 3) lỗi kiểu -> lỗi sự thật : hầu hết việc gỡ lỗi sẽ là đào sâu vào nghiên cứu và kế hoạch thực hiện trong markdown để tìm ra một dòng ngữ cảnh không chính xác khiến tác nhân lập trình không thành công khi thực hiện. Các bộ kiểm tra sẽ, bên cạnh những thứ khác, kiểm tra sự thật và tính nhất quán logic. 4) có một hương vị bậc cao mới của "gắn bước gỡ lỗi" mà là theo dõi tác nhân thực hiện một kế hoạch từng bước để xác định lỗi logic trong đặc tả. Khi bạn tìm thấy một lỗi khi bước qua một chương trình từng dòng một, bạn thay đổi mã, khởi động lại quá trình, và lặp lại cho đến khi nó hoạt động. Khi bạn tìm thấy một lỗi trong một *đặc tả* trong khi bước qua một quá trình thực hiện, bạn quay ngược lại, sửa đặc tả, và khởi động lại *quá trình thực hiện*.

Nghe @GregKamradt nói về ARC-AGI-3 với @swyx và @FanaHOVA trên @latentspacepod * Tại sao lại có các tiêu chuẩn tương tác? * Định nghĩa trí tuệ * Chơi thử các trò chơi ARC-AGI-3

chúng tôi đang phát hành một bản nhạc mỗi ngày từ hội nghị @aidotengineer bây giờ*. bản nhạc RecSys hôm qua đã rất thành công - nhưng bản nhạc nóng nhất chắc chắn là phần trình bày về tình trạng của MCP, do @Calclavia dẫn dắt. trang trình bày yêu thích cá nhân của tôi là trang này, nơi tôi nhận ra rằng @AnthropicAI đang sử dụng MCP - khó khăn - hơn nhiều so với những gì tôi đã nghĩ ban đầu từ podcast của chúng tôi với @dsp_ và @jspahrsummers. hãy xem những bài nói chuyện này và gửi lời chào đến những diễn giả yêu thích của bạn! *hầu hết đã có sẵn dưới dạng "không công khai" qua "Danh sách phát hoàn chỉnh" nếu bạn tìm kiếm.

"Ba điều: một mô hình nghiên cứu sâu với trình duyệt tìm kiếm nâng cao; một trình điều khiển máy tính cách mạng; và một terminal được cách ly để thực hiện toán học và mã. Một trình duyệt, một máy tính, một terminal… bạn có hiểu không? Đây không phải là ba thiết bị riêng biệt. Đây là một thiết bị, và chúng tôi gọi nó là Agent."

nếu bạn chưa thử các tích hợp Chrome + iMessage + Apple Notes + Linear + Gmail + GCal DXT trong Claude thì bạn đang bỏ lỡ sự tiến hóa hệ điều hành LLM thực sự Siri thông minh hơn đã ở đây; nó chỉ được gọi là Claude Desktop

Một cách để nhìn nhận các gói bồi thường MSL trị giá 75 triệu đô la mỗi năm là nó sẽ thay đổi đáng kể những khát vọng của thế hệ tiếp theo của chúng ta. Những người đã than phiền rằng con cái chúng ta chỉ mong muốn lớn lên trở thành những người làm YouTube và TikTok giờ đây có những người hùng mới để chỉ đến, những người mà công việc của họ hy vọng sẽ tạo ra những tác nhân giúp giải phóng thời gian thay vì tiêu tốn nó.