Temas en tendencia
#
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
Cripto aplicado, seguridad, cosas experimentales - Jefe de Investigación @BainCapCrypto
Kobi Gurkan reposteó
Los TEE requieren inherentemente confianza en los operadores y fabricantes, pero también es posible usarlos de manera que *mejoren* estrictamente la seguridad de un sistema sin introducir nuevos cuellos de botella de confianza. Escribí sobre dos casos de uso en los que esto es posible:
2.83K
Oye, @TekGear ¿hay un tutor para Twiddler para iOS que sea:
1. ¿Dirigido por voz, para que puedas entrenar sin mirar una pantalla?
2. ¿Algún tipo de retroalimentación de voz para poder tener una experiencia de retroalimentación de cómo escribo en aplicaciones regulares? Me imagino que esto existe para otros tipos de métodos de entrada alternativos, pero simplemente no lo sé
665
Eliminé los hilos iniciales de mi experimento para usar Claude Code para portar longfellow-zk a rust
No estaba contento con el encuadre, ya que podría confundir a la gente que sucediera algo increíble mientras ni siquiera funcionaba
Puse imágenes aquí como referencia, y dejé los hilos finales que eran más claros
1.85K
Parece una oportunidad muy divertida para los estudiantes
25 jun 2025
🚨 ¡ASCrypto 2025 ya está aquí!
🗓️ 29 y 30 de septiembre | Medellín | Afiliado a Latincrypt
👨 🏫 Aprenda los sistemas de prueba modernos de los mejores expertos
💥 2 días, 3 módulos: IVC, STARKs, MPC
👥 Con @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
942
Última actualización del experimento: después de un pinchazo más cuidadoso, contiene implementaciones más reales de los componentes del probador, incluido un fft bidireccional reclamado, con puntos de referencia actualizados, que son más lentos
La mayor parte de mi participación ha sido más del tipo "¿es una implementación real? ¿Estás seguro? No tomes atajos y trabaja durante un día si es necesario"
Lo que nos lleva a la pregunta de qué tan bien funcionaría aquí 😅 una alternativa de "mandos intermedios para los LLM" (como @alexhevans la llamó)
5 jul, 09:56
ok, un poco vergonzoso: no tenía rust instalado en esa máquina, por lo que el código generado ni siquiera se compiló y los puntos de referencia eran estimaciones, como también noté @MatteoFrig60839
Presioné más para llevarlo a un mejor estado, pero aún no es una implementación que funcione completamente
Todavía sospecharía bastante si es correcto + más rápido que una implementación de C++ de grado de producción cuidadosamente hecha a mano
la prueba definitiva de tener una prueba generada por óxido verificada en un verificador de C ++ - No puedo hacerlo bien por ahora y requeriría más insistencia
sería bueno si tuviéramos una buena función de verificación de prueba completa aislada en C ++ y apuntáramos CC hacia eso
1.95K
Última actualización del experimento: después de un pinchazo más cuidadoso, contiene implementaciones más reales de los componentes del probador, incluido un fft bidireccional reclamado, con puntos de referencia actualizados, que son más lentos
La mayor parte de mi participación ha sido más del tipo "¿es una implementación real? ¿Estás seguro? No tomes atajos y trabaja durante un día si es necesario"
Lo que nos lleva a la pregunta de qué tan bien funcionaría 😅 aquí una alternativa de "mandos intermedios para LLM" (como @alexhevans la llamó)
5 jul, 09:56
ok, un poco vergonzoso: no tenía rust instalado en esa máquina, por lo que el código generado ni siquiera se compiló y los puntos de referencia eran estimaciones, como también noté @MatteoFrig60839
Presioné más para llevarlo a un mejor estado, pero aún no es una implementación que funcione completamente
Todavía sospecharía bastante si es correcto + más rápido que una implementación de C++ de grado de producción cuidadosamente hecha a mano
la prueba definitiva de tener una prueba generada por óxido verificada en un verificador de C ++ - No puedo hacerlo bien por ahora y requeriría más insistencia
sería bueno si tuviéramos una buena función de verificación de prueba completa aislada en C ++ y apuntáramos CC hacia eso
186
Populares
Ranking
Favoritas