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.
Kobi Gurkan
Kripto Terapan, Keamanan, Hal-hal Eksperimental - Kepala Penelitian @BainCapCrypto
Hai @TekGear apakah ada tutor untuk Twiddler untuk iOS yaitu:
1. Diarahkan suara, sehingga Anda dapat berlatih tanpa melihat layar?
2. Semacam umpan balik suara sehingga saya dapat memiliki pengalaman umpan balik tentang cara saya mengetik di aplikasi biasa? Saya akan membayangkan ini ada untuk jenis metode input alternatif lainnya tetapi saya tidak mengetahuinya
Menghapus utas awal eksperimen saya untuk menggunakan Claude Code untuk memindahkan longfellow-zk ke karat
Tidak senang dengan pembingkaiannya, karena itu bisa membingungkan orang bahwa sesuatu yang luar biasa terjadi sementara itu bahkan tidak berhasil
Menempatkan gambar di sini untuk referensi, dan meninggalkan utas akhir yang lebih jelas
1,75K
Sepertinya kesempatan yang sangat menyenangkan bagi siswa
25 Jun 2025
🚨 ASCrypto 2025 ada di sini!
🗓️ 29–30 September | Medellín | Berafiliasi dengan Latincrypt
👨 🏫 Pelajari sistem pembuktian modern dari para ahli top
💥 2 hari, 3 modul: IVC, STARKs, MPC
👥 Bersama @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
850
Pembaruan terakhir dari percobaan - setelah dorongan yang lebih hati-hati, ini berisi implementasi yang lebih nyata dari komponen pembukti, termasuk FFT dua arah yang diklaim, dengan tolok ukur yang diperbarui, yang lebih lambat
Sebagian besar keterlibatan saya lebih dari semacam "apakah ini implementasi nyata? Kamu yakin? Jangan mengambil jalan pintas dan bekerja selama sehari jika diperlukan"
Yang menimbulkan pertanyaan tentang seberapa baik "manajemen menengah alternatif untuk LLM" (seperti yang @alexhevans sebut) bekerja di sini 😅
5 Jul, 09.56
ok agak memalukan - saya tidak menginstal karat di mesin itu, jadi kode yang dihasilkan bahkan tidak dikompilasi dan tolok ukurnya adalah perkiraan, seperti yang juga @MatteoFrig60839 perhatikan
Saya mendorong lebih banyak untuk membawanya ke keadaan yang lebih baik, tetapi masih belum sepenuhnya berfungsi
Saya masih akan sangat curiga jika keduanya benar + lebih cepat daripada implementasi C++ kelas produksi yang dibuat dengan hati-hati
tes pamungkas untuk memiliki bukti yang dihasilkan karat yang diverifikasi dalam verifikator c++ - Saya tidak bisa melakukannya dengan benar untuk saat ini dan akan membutuhkan lebih banyak dorongan
akan lebih baik jika kita memiliki fungsi verifikasi bukti penuh terisolasi yang baik di C++ dan mengarahkan CC ke arah itu
1,85K
Pembaruan terakhir dari percobaan - setelah dorongan yang lebih hati-hati, ini berisi implementasi yang lebih nyata dari komponen pembukti, termasuk FFT dua arah yang diklaim, dengan tolok ukur yang diperbarui, yang lebih lambat
Sebagian besar keterlibatan saya lebih dari semacam "apakah ini implementasi nyata? Kamu yakin? Jangan mengambil jalan pintas dan bekerja selama sehari jika diperlukan"
Yang menimbulkan pertanyaan tentang seberapa baik "manajemen menengah untuk LLM" alternatif (seperti yang @alexhevans sebut) akan bekerja di sini 😅
5 Jul, 09.56
ok agak memalukan - saya tidak menginstal karat di mesin itu, jadi kode yang dihasilkan bahkan tidak dikompilasi dan tolok ukurnya adalah perkiraan, seperti yang juga @MatteoFrig60839 perhatikan
Saya mendorong lebih banyak untuk membawanya ke keadaan yang lebih baik, tetapi masih belum sepenuhnya berfungsi
Saya masih akan sangat curiga jika keduanya benar + lebih cepat daripada implementasi C++ kelas produksi yang dibuat dengan hati-hati
tes pamungkas untuk memiliki bukti yang dihasilkan karat yang diverifikasi dalam verifikator c++ - Saya tidak bisa melakukannya dengan benar untuk saat ini dan akan membutuhkan lebih banyak dorongan
akan lebih baik jika kita memiliki fungsi verifikasi bukti penuh terisolasi yang baik di C++ dan mengarahkan CC ke arah itu
80
ok agak memalukan - saya tidak menginstal karat di mesin itu, jadi kode yang dihasilkan bahkan tidak dikompilasi dan tolok ukurnya adalah perkiraan, seperti yang juga @MatteoFrig60839 perhatikan
Saya mendorong lebih banyak untuk membawanya ke keadaan yang lebih baik, tetapi masih belum sepenuhnya berfungsi
Saya masih akan sangat curiga jika keduanya benar + lebih cepat daripada implementasi C++ kelas produksi yang dibuat dengan hati-hati
tes pamungkas untuk memiliki bukti yang dihasilkan karat yang diverifikasi dalam verifikator c++ - Saya tidak bisa melakukannya dengan benar untuk saat ini dan akan membutuhkan lebih banyak dorongan
akan lebih baik jika kita memiliki fungsi verifikasi bukti penuh terisolasi yang baik di C++ dan mengarahkan CC ke arah itu
5 Jul, 01.38
Diminta untuk mengimplementasikan rest + menambahkan implementasi assembly, klaim baru dilampirkan
5,64K
Teratas
Peringkat
Favorit