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.
karma
Escéptico en recuperación // Ingeniero de investigación @a16zcrypto
Tengo pesadillas sobre esto. Es una situación sin pantalones en la escuela
19 jul, 00:00
dijo, es decir, cuando quise decir, por ejemplo, y se rieron de mí fuera de la cafetería
540
Sacamos los cubiertos de lujo (bulletpoints) para la ocasión
15 jul, 08:59
Karma está siendo modesto: ¡gran actualización para Halmos!
∎ Pruebas de invariantes con estado (muy potentes)
∎ Grafos de llama (ver lo que Halmos está explorando)
∎ Intérprete 30 veces más rápido (!!)
∎ Seleccione fácilmente muchos solucionadores
∎ Informes de cobertura
∎ Soporte de Solx
∎ Más códigos de trucos
∎ ... y más
979
¡Aspectos destacados de la versión 0.3.0 de Halmos!
(recordatorio rápido: halmos es una herramienta de prueba simbólica para el código de bytes EVM que interactúa muy bien con los proyectos de fundición y admite múltiples solucionadores SMT)
1. (Finalmente) agregamos soporte para pruebas invariantes con estado
27.73K
si vamos a hacer un juego de roles, le voy a pedir al LLM que evalúe cada decisión técnica en función de lo bien que se ve en su paquete promocional
15 jul, 01:51
I refuse to start a prompt with "you are a senior developer"
597
estos tipos simplemente se levantaron y decidieron hacer crecer el PIB de Internet
3 jul, 00:03
Hoy presentamos la Terminal.
Paga a cualquier persona y a cualquier proyecto en Github.
753
Populares
Ranking
Favoritas