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.
Kobi Gurkan
Anvendt krypto, sikkerhet, eksperimentelle ting - forskningssjef @BainCapCrypto
Hei @TekGear finnes det en veileder for Twiddler for iOS som er:
1. Stemmestyrt, slik at du kan trene uten å se på en skjerm?
2. En slags taletilbakemelding slik at jeg kan få en tilbakemeldingsopplevelse om hvordan jeg skriver i vanlige apper? Jeg kan tenke meg at dette eksisterer for andre typer alternative inndatametoder, men jeg vet det bare ikke
586
Slettet de første trådene i eksperimentet mitt for å bruke Claude Code til å portere longfellow-zk til rust
Var misfornøyd med innrammingen, siden det kunne forvirre folk at noe fantastisk skjedde mens det ikke engang fungerte
Satte bilder her for referanse, og lot de siste trådene være tydeligere
1,79K
Ser ut som en veldig morsom mulighet for studenter
25. juni 2025
🚨 ASCrypto 2025 er her!
🗓️ 29.–30. september | Medellín | Tilknyttet Latincrypt
👨 🏫 Lær moderne prøvesystemer fra toppeksperter
💥 2 dager, 3 moduler: IVC, STARKs, MPC
👥 Med @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
885
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,89K
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 bra en alternativ "mellomledelse for LLM-er" (som @alexhevans kalte det) ville 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
127
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
5. juli, 01:38
Bedt om å implementere resten + legge til en monteringsimplementering, de nye kravene vedlagt
5,68K
Topp
Rangering
Favoritter