Populaire onderwerpen
#
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.
Laatste update van het experiment - na zorgvuldiger aandringen bevat het meer echte implementaties van de prover-componenten, inclusief een geclaimde bidirectionele fft, met bijgewerkte benchmarks, die langzamer zijn.
Het grootste deel van mijn betrokkenheid was meer van het soort "is het een echte implementatie? Weet je het zeker? Neem geen shortcuts en werk een dag als dat nodig is."
Wat de vraag oproept hoe goed een alternatieve "middenmanagement voor LLM's" (zoals @alexhevans het noemde) hier zou werken 😅
5 jul, 09:56
ok, een beetje gênant - ik had rust niet geïnstalleerd op die machine, dus de gegenereerde code compileerde zelfs niet en de benchmarks waren schattingen, zoals @MatteoFrig60839 ook opmerkte
Ik heb meer geprutst om het in een betere staat te krijgen, maar het is nog steeds geen volledig werkende implementatie
Ik zou nog steeds behoorlijk achterdochtig zijn als het zowel correct als sneller is dan een zorgvuldig handgemaakte productieklare C++-implementatie
de ultieme test van het hebben van een rust-gegeneerde bewijs dat wordt geverifieerd in een C++-verifier - dat krijg ik nu niet goed en zou meer prutsen vereisen
het zou fijn zijn als we een goede geïsoleerde volledige bewijsverificatiefunctie in C++ hadden en CC daar naartoe konden wijzen
1,84K
Boven
Positie
Favorieten