Актуальні теми
#
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.
Останнє оновлення з експерименту - після більш ретельного продування, воно містить більш реальні реалізації компонентів prover, включаючи заявлений двонаправлений fft, з оновленими бенчмарками, які працюють повільніше
Більша частина моєї участі була скоріше на кшталт «чи це справжня реалізація? Ти впевнений? Не йдіть короткими шляхами і працюйте цілий день, якщо це необхідно"
Звідси виникає питання про те, наскільки добре тут спрацювала 😅 б альтернатива «середнє керівництво для LLM» (як @alexhevans його назвали)
5 лип., 09:56
гаразд, трохи ніяково - у мене не було встановлено rust на тій машині, тому згенерований код навіть не компілювався, а бенчмарки були приблизними, як @MatteoFrig60839 також помітив
Я доклав більше зусиль, щоб довести його до кращого стану, але все ще не повністю робочу реалізацію
Я все одно буду досить підозрілим, якщо це одночасно правильно + швидше, ніж ретельно виготовлена реалізація C++ виробничого класу
остаточний тест перевірки доказу, згенерованого іржі, у верифікаторі C++ - я наразі не можу зрозуміти, і мені знадобиться більше зусиль
було б непогано, якби ми мали хорошу ізольовану функцію повної перевірки доказу в C++ і вказували CC на неї
84
Найкращі
Рейтинг
Вибране