Tópicos em alta
#
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
Criptografia aplicada, segurança, coisas experimentais - Chefe de Pesquisa @BainCapCrypto
Ei, @TekGear existe um tutor para o Twiddler para iOS que é:
1. Voz dirigida, para que você possa treinar sem olhar para uma tela?
2. Algum tipo de feedback de voz para que eu possa ter uma experiência de feedback de como digito em aplicativos regulares? Eu imagino que isso exista para outros tipos de métodos de entrada alternativos, mas eu simplesmente não sei disso
614
Excluí os threads iniciais do meu experimento para usar Claude Code para portar longfellow-zk para enferrujar
Estava insatisfeito com o enquadramento, pois poderia confundir as pessoas que algo incrível aconteceu enquanto nem funcionava
Colocando imagens aqui para referência, e deixou os tópicos finais que eram mais claros
1,82K
parece uma oportunidade muito divertida para os alunos
25 de jun. de 2025
🚨 O ASCrypto 2025 está aqui!
🗓️ 29 a 30 de setembro | Medellín | Afiliado ao Latincrypt
👨 🏫 Aprenda sistemas de prova modernos com os melhores especialistas
💥 2 dias, 3 módulos: IVC, STARKs, MPC
👥 Com @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
911
Última atualização do experimento - após uma inspeção mais cuidadosa, ele contém implementações mais reais dos componentes do provador, incluindo um fft bidirecional reivindicado, com benchmarks atualizados, que são mais lentos
A maior parte do meu envolvimento tem sido mais do tipo "é uma implementação real? Tem certeza? Não pegue atalhos e trabalhe por um dia, se necessário"
O que traz a questão de quão bem uma alternativa de "gerenciamento intermediário para LLMs" (como @alexhevans chamou) funcionaria aqui 😅
5 de jul., 09:56
ok um pouco embaraçoso - eu não tinha ferrugem instalada naquela máquina, então o código gerado nem mesmo compilou e os benchmarks eram estimativas, como @MatteoFrig60839 também notei
Eu cutuquei mais para colocá-lo em um estado melhor, mas ainda não é uma implementação totalmente funcional
Eu ainda ficaria muito desconfiado se estiver correto + mais rápido do que uma implementação C ++ de grau de produção cuidadosamente feita à mão
o teste final de ter uma prova gerada por ferrugem verificada em um verificador c ++ - não consigo acertar por enquanto e exigiria mais estímulos
seria bom se tivéssemos uma boa função de verificação de prova completa isolada em C ++ e apontem CC para isso
1,91K
Última atualização do experimento - após uma inspeção mais cuidadosa, ele contém implementações mais reais dos componentes do provador, incluindo um fft bidirecional reivindicado, com benchmarks atualizados, que são mais lentos
A maior parte do meu envolvimento tem sido mais do tipo "é uma implementação real? Tem certeza? Não pegue atalhos e trabalhe por um dia, se necessário"
O que levanta a questão de quão bom seria um "gerenciamento intermediário alternativo para LLMs" (como @alexhevans chamou) funcionaria aqui 😅
5 de jul., 09:56
ok um pouco embaraçoso - eu não tinha ferrugem instalada naquela máquina, então o código gerado nem mesmo compilou e os benchmarks eram estimativas, como @MatteoFrig60839 também notei
Eu cutuquei mais para colocá-lo em um estado melhor, mas ainda não é uma implementação totalmente funcional
Eu ainda ficaria muito desconfiado se estiver correto + mais rápido do que uma implementação C ++ de grau de produção cuidadosamente feita à mão
o teste final de ter uma prova gerada por ferrugem verificada em um verificador c ++ - não consigo acertar por enquanto e exigiria mais estímulos
seria bom se tivéssemos uma boa função de verificação de prova completa isolada em C ++ e apontem CC para isso
153
ok um pouco embaraçoso - eu não tinha ferrugem instalada naquela máquina, então o código gerado nem mesmo compilou e os benchmarks eram estimativas, como @MatteoFrig60839 também notei
Eu cutuquei mais para colocá-lo em um estado melhor, mas ainda não é uma implementação totalmente funcional
Eu ainda ficaria muito desconfiado se estiver correto + mais rápido do que uma implementação C ++ de grau de produção cuidadosamente feita à mão
o teste final de ter uma prova gerada por ferrugem verificada em um verificador c ++ - não consigo acertar por enquanto e exigiria mais estímulos
seria bom se tivéssemos uma boa função de verificação de prova completa isolada em C ++ e apontem CC para isso
5 de jul., 01:38
Solicitado a implementar o resto + adicionar uma implementação de assembly, as novas declarações anexadas
5,7K
Melhores
Classificação
Favoritos