Populære emner
#
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.
Siste oppdatering fra eksperimentet - etter mer forsiktig prodding inneholder den mer reelle implementeringer av beviskomponentene, inkludert en påstått toveis fft, med oppdaterte benchmarks, som er tregere
Mesteparten av mitt engasjement har vært mer av typen "er det en reell implementering? Er du sikker? Ikke ta snarveier og jobb en dag om nødvendig"
Noe som bringer spørsmålet om hvor godt en alternativ "mellomledelse for LLM-er" (som @alexhevans kalte det) fungere her 😅
5. juli, 09:56
ok litt flaut - jeg hadde ikke rust installert på den maskinen, så den genererte koden ble ikke engang kompilert og referansene var estimater, som @MatteoFrig60839 også la merke til
Jeg dyttet mer for å få det til en bedre tilstand, men fortsatt ikke en fullt fungerende implementering
Jeg ville fortsatt vært ganske mistenksom hvis det både er riktig + raskere enn en nøye håndlaget produksjonsklasse C++-implementering
den ultimate testen med å få et rustgenerert bevis verifisert i en c++-verifikator - jeg kan ikke få rett foreløpig og ville kreve mer prodding
ville vært fint om vi hadde en god isolert fullbevisverifiseringsfunksjon i C++ og peker CC mot det
1,83K
Topp
Rangering
Favoritter