Topik trending
#
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.
lastmjs
Insinyur agen. Membangun kilang 🏭 slop AI
Oke, saya memiliki tiga ilmuwan yang bekerja sepanjang malam pada tiga proyek.
Proyek 1: Kompiler rustc yang sepenuhnya dihosting sendiri
Proyek 2: Kompiler JavaScript -> Wasm
Proyek 3: ProofScript, bahasa seperti TypeScript verifikasi formal
Saya belum sepenuhnya memverifikasi hasilnya, dan saya masih membekerjakannya, tetapi sejauh ini terlihat sangat menjanjikan.
Project 1 sepertinya benar-benar memiliki kompiler Wasm rustc. Ini membutuhkan sysroot khusus, dan di pagi hari itu memiliki rustc yang berfungsi tetapi tidak seluruh rantai alat kargo dan bukan skrip build host.
Maksud saya... Jika itu semua berhasil, itu cukup mengesankan, bukan? Saya sekarang memilikinya untuk menyelesaikan skrip kargo dan build host.
Ia mengklaim telah dapat mengkompilasi rust-base64, regex, dan serde_json sejauh ini dengan keterbatasan di atas.
Mereka semua masih dalam hal itu, jadi ini hanya pengamatan awal.
Saya sangat bersemangat tentang ini
14 Mar, 13.29
Baiklah, mengingat kecerdasan dan kemampuan GPT-5.4 dan Codex yang menakjubkan, dan mengingat bahwa saya yakin kita sekarang telah mencapai tingkat pertama AGI, saya sekarang akan mulai menugaskan agen gaya @karpathy autoresearch saya sendiri untuk memecahkan masalah ilmu komputer dan rekayasa perangkat lunak yang sangat sulit atau mustahil.
Berikut daftar saya saat ini:
1. Kompiler Wasm Rust yang dihosting sendiri
2. ProofScript
3. Kompiler Rust AI
4. Bukti validitas waktu nyata untuk komputasi umum
5. Enkripsi Homomorfik Sepenuhnya Berkinerja
Saya baru saja memulai satu atau dua jam yang lalu dengan nomor 1. Hosting sendiri Rust for Wasm adalah sesuatu yang saya inginkan setidaknya selama enam tahun. Ini pada dasarnya akan memberi kita kompiler Rust di Wasm, jadi bayangkan rustc berjalan di browser atau Node.js. npm instal rustc, dan Anda akan mengkompilasi program Rust.
Contoh yang sangat praktis tentang di mana ini akan berguna adalah aplikasi web taman bermain Rust. Saat ini pada dasarnya adalah arsitektur klien-server, di mana kompilasi harus terjadi di server. Dengan rustc yang dikompilasi ke dalam Wasm, kita dapat memotong pulang pergi itu dan hanya mengkompilasi Rust langsung di browser.
Saya akan memberi tahu Anda bagaimana kelanjutannya.
139
Baiklah, mengingat kecerdasan dan kemampuan GPT-5.4 dan Codex yang menakjubkan, dan mengingat bahwa saya yakin kita sekarang telah mencapai tingkat pertama AGI, saya sekarang akan mulai menugaskan agen gaya @karpathy autoresearch saya sendiri untuk memecahkan masalah ilmu komputer dan rekayasa perangkat lunak yang sangat sulit atau mustahil.
Berikut daftar saya saat ini:
1. Kompiler Wasm Rust yang dihosting sendiri
2. ProofScript
3. Kompiler Rust AI
4. Bukti validitas waktu nyata untuk komputasi umum
5. Enkripsi Homomorfik Sepenuhnya Berkinerja
Saya baru saja memulai satu atau dua jam yang lalu dengan nomor 1. Hosting sendiri Rust for Wasm adalah sesuatu yang saya inginkan setidaknya selama enam tahun. Ini pada dasarnya akan memberi kita kompiler Rust di Wasm, jadi bayangkan rustc berjalan di browser atau Node.js. npm instal rustc, dan Anda akan mengkompilasi program Rust.
Contoh yang sangat praktis tentang di mana ini akan berguna adalah aplikasi web taman bermain Rust. Saat ini pada dasarnya adalah arsitektur klien-server, di mana kompilasi harus terjadi di server. Dengan rustc yang dikompilasi ke dalam Wasm, kita dapat memotong pulang pergi itu dan hanya mengkompilasi Rust langsung di browser.
Saya akan memberi tahu Anda bagaimana kelanjutannya.
214
Jadi AI menghasilkan banyak slop hari ini... Kode ini sangat bagus dalam menyelesaikan tugas yang tepat yang dijelaskan, secara default, tanpa banyak permintaan tambahan.
Tapi ada seluruh dunia bujukan, pagar pembatas, dan tinjauan yang diperlukan untuk mendefinisikan kemiringan.
Tapi saya tidak berpikir ini akan bertahan dalam bentuknya saat ini. Saya percaya bahwa sangat sulit bagi laboratorium perbatasan untuk sampai ke titik ini, dan dengan demikian mereka belum fokus pada masalah tingkat yang lebih tinggi ini.
Saya pikir pada dasarnya ini masalah mereka mencapai tingkat pelatihan model untuk menghasilkan arsitektur suara, kode aman, kode sederhana berdasarkan seluruh basis kode dan seterusnya.
Mereka hanya belum mendapatkannya. Mereka akan melakukannya.
279
Teratas
Peringkat
Favorit