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.
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
83
Teratas
Peringkat
Favorit