Актуальні теми
#
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
прикладна крипта, безпека, експериментальні речі - керівник наукового відділу @BainCapCrypto
Привіт, @TekGear чи є репетитор для Twiddler для iOS, тобто:
1. Голосове керування, тому ви можете тренуватися, не дивлячись на екран?
2. Якийсь вид голосового зворотного зв'язку, щоб я міг отримати досвід зворотного зв'язку про те, як я вводжу текст у звичайних програмах? Я б припустив, що це існує для інших видів альтернативних методів введення, але я просто не знаю цього
547
Видалив початкові потоки мого експерименту, щоб використовувати Claude Code для портування longfellow-zk на rust
Був незадоволений обрамленням, оскільки воно могло збити з пантелику людей, що сталося щось дивовижне, поки це навіть не спрацювало
Помістивши зображення сюди для довідки, залишивши фінальні нитки, які були більш чіткими
1,77K
виглядає як дуже цікава можливість для студентів
25 черв. 2025 р.
🚨 ASCrypto 2025 вже тут!
🗓️ 29–30 вересня | Медельїн | Пов'язаний з Latincrypt
👨 🏫 Вивчайте сучасні системи випробувань від найкращих експертів
💥 2 дні, 3 модулі: IVC, STARKs, MPC
👥 З @benediktbuenz, Софією Якубовою, @aszepieniec
👇
861
Останнє оновлення з експерименту - після більш ретельного продування, воно містить більш реальні реалізації компонентів prover, включаючи заявлений двонаправлений fft, з оновленими бенчмарками, які працюють повільніше
Більша частина моєї участі була скоріше на кшталт «чи це справжня реалізація? Ти впевнений? Не йдіть короткими шляхами і працюйте цілий день, якщо це необхідно"
Звідси виникає питання про те, наскільки добре тут 😅 працюватиме альтернативне «середнє керівництво для LLM» (як @alexhevans його назвали)
5 лип., 09:56
гаразд, трохи ніяково - у мене не було встановлено rust на тій машині, тому згенерований код навіть не компілювався, а бенчмарки були приблизними, як @MatteoFrig60839 також помітив
Я доклав більше зусиль, щоб довести його до кращого стану, але все ще не повністю робочу реалізацію
Я все одно буду досить підозрілим, якщо це одночасно правильно + швидше, ніж ретельно виготовлена реалізація C++ виробничого класу
остаточний тест перевірки доказу, згенерованого іржі, у верифікаторі C++ - я наразі не можу зрозуміти, і мені знадобиться більше зусиль
було б непогано, якби ми мали хорошу ізольовану функцію повної перевірки доказу в C++ і вказували CC на неї
1,87K
Останнє оновлення з експерименту - після більш ретельного продування, воно містить більш реальні реалізації компонентів prover, включаючи заявлений двонаправлений fft, з оновленими бенчмарками, які працюють повільніше
Більша частина моєї участі була скоріше на кшталт «чи це справжня реалізація? Ти впевнений? Не йдіть короткими шляхами і працюйте цілий день, якщо це необхідно"
Звідси виникає питання про те, наскільки добре тут спрацювала 😅 б альтернатива «середнє керівництво для LLM» (як @alexhevans його назвали)
5 лип., 09:56
гаразд, трохи ніяково - у мене не було встановлено rust на тій машині, тому згенерований код навіть не компілювався, а бенчмарки були приблизними, як @MatteoFrig60839 також помітив
Я доклав більше зусиль, щоб довести його до кращого стану, але все ще не повністю робочу реалізацію
Я все одно буду досить підозрілим, якщо це одночасно правильно + швидше, ніж ретельно виготовлена реалізація C++ виробничого класу
остаточний тест перевірки доказу, згенерованого іржі, у верифікаторі C++ - я наразі не можу зрозуміти, і мені знадобиться більше зусиль
було б непогано, якби ми мали хорошу ізольовану функцію повної перевірки доказу в C++ і вказували CC на неї
97
гаразд, трохи ніяково - у мене не було встановлено rust на тій машині, тому згенерований код навіть не компілювався, а бенчмарки були приблизними, як @MatteoFrig60839 також помітив
Я доклав більше зусиль, щоб довести його до кращого стану, але все ще не повністю робочу реалізацію
Я все одно буду досить підозрілим, якщо це одночасно правильно + швидше, ніж ретельно виготовлена реалізація C++ виробничого класу
остаточний тест перевірки доказу, згенерованого іржі, у верифікаторі C++ - я наразі не можу зрозуміти, і мені знадобиться більше зусиль
було б непогано, якби ми мали хорошу ізольовану функцію повної перевірки доказу в C++ і вказували CC на неї
5,65K
Найкращі
Рейтинг
Вибране