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.
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
70
Top
Hodnocení
Oblíbené