Populární témata
#
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
aplikované krypto, bezpečnost, experimentální věci - vedoucí výzkumného @BainCapCrypto
Hej, @TekGear existuje lektor pro Twiddler pro iOS, který je:
1. Hlasem řízený, takže můžete trénovat, aniž byste se dívali na obrazovku?
2. Nějaký druh hlasové zpětné vazby, abych mohl získat zpětnou vazbu o tom, jak píšu v běžných aplikacích? Představoval bych si, že to existuje i pro jiné druhy alternativních metod zadávání, ale prostě to nevím
557
Smazal jsem počáteční vlákna mého experimentu s použitím Claude Code pro portování longfellow-zk do rezavění
Byl jsem nespokojený s rámováním, protože to mohlo lidi zmást, že se stalo něco úžasného, i když to ani nefungovalo
Dal jsem sem obrázky pro referenci a nechal jsem poslední vlákna, která byla jasnější
1,78K
vypadá to jako opravdu zábavná příležitost pro studenty
25. 6. 2025
🚨 ASCrypto 2025 je tady!
🗓️ 29.–30. září | Medellín | Přidružený k Latincrypt
👨 🏫 Naučte se moderní provingové systémy od špičkových odborníků
💥 2 dny, 3 moduly: IVC, STARKs, MPC
👥 S @benediktbuenz, Sophií Yakoubov, @aszepieniec
👇
870
Poslední aktualizace z experimentu - po opatrnějším pobídnutí obsahuje více reálných implementací dokazovacích komponent, včetně deklarovaného obousměrného fft, s aktualizovanými benchmarky, které jsou pomalejší
Většina mého zapojení byla spíše ve stylu "je to skutečná implementace? Opravdu? Nedělejte zkratky a v případě potřeby pracujte celý den."
Což přináší otázku, jak dobře by zde 😅 fungoval alternativní "střední management pro LLM" (jak @alexhevans to nazval
5. 7. 09:56
ok trochu trapné - na tom počítači jsem neměl nainstalovanou rez, takže vygenerovaný kód se ani nezkompiloval a benchmarky byly odhady, jak @MatteoFrig60839 si také všiml
Snažil jsem se to dostat do lepšího stavu, ale stále to nebyla plně funkční implementace
Stále bych byl dost podezřelý, pokud je to správné + rychlejší než pečlivě ručně vytvořená implementace C++
konečný test ověření důkazu generovaného rzí ve verifikátoru c++ - prozatím se mi to nedaří a vyžadovalo by to další pobízení
Bylo by hezké, kdybychom měli dobrou izolovanou funkci úplného ověření důkazu v C++ a nasměrovali CC na ni
1,87K
Poslední aktualizace z experimentu - po opatrnějším pobídnutí obsahuje více reálných implementací dokazovacích komponent, včetně deklarovaného obousměrného fft, s aktualizovanými benchmarky, které jsou pomalejší
Většina mého zapojení byla spíše ve stylu "je to skutečná implementace? Opravdu? Nedělejte zkratky a v případě potřeby pracujte celý den."
Což přináší otázku, jak dobře by zde 😅 fungoval alternativní "střední management pro LLM" (jak @alexhevans to nazýval
5. 7. 09:56
ok trochu trapné - na tom počítači jsem neměl nainstalovanou rez, takže vygenerovaný kód se ani nezkompiloval a benchmarky byly odhady, jak @MatteoFrig60839 si také všiml
Snažil jsem se to dostat do lepšího stavu, ale stále to nebyla plně funkční implementace
Stále bych byl dost podezřelý, pokud je to správné + rychlejší než pečlivě ručně vytvořená implementace C++
konečný test ověření důkazu generovaného rzí ve verifikátoru c++ - prozatím se mi to nedaří a vyžadovalo by to další pobízení
Bylo by hezké, kdybychom měli dobrou izolovanou funkci úplného ověření důkazu v C++ a nasměrovali CC na ni
106
ok trochu trapné - na tom počítači jsem neměl nainstalovanou rez, takže vygenerovaný kód se ani nezkompiloval a benchmarky byly odhady, jak @MatteoFrig60839 si také všiml
Snažil jsem se to dostat do lepšího stavu, ale stále to nebyla plně funkční implementace
Stále bych byl dost podezřelý, pokud je to správné + rychlejší než pečlivě ručně vytvořená implementace C++
konečný test ověření důkazu generovaného rzí ve verifikátoru c++ - prozatím se mi to nedaří a vyžadovalo by to další pobízení
Bylo by hezké, kdybychom měli dobrou izolovanou funkci úplného ověření důkazu v C++ a nasměrovali CC na ni
5. 7. 01:38
Požádán o implementaci zbytku + přidání implementace sestavení, připojené nové deklarace identity
5,66K
Top
Hodnocení
Oblíbené