Tópicos populares
#
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.
é preciso imaginar guille constantemente feliz

4/07, 08:10
a parte ridícula de hoje em Julia: implementar uma mini-PL de verificação formal (simples!) usando tipos de Julia
ela pode até verificar que 1+1=2 a partir dos axiomas de Peano!

1,16K
Top
Classificação
Favoritos