HTML Developer / Tweets about anything in Portuguese and English / GitHub: https://xitter.cf/t.co/2zD9eGWHUG / Linktree: https://xitter.cf/t.co/0UlctM34PB
Portugal 🇵🇹 🇪🇺
Joined February 2018
- Tweets15.3K
- Following557
- Followers5.5K
- Likes11K
Pinned Tweet
Uma das minhas realizações pessoais favoritas na última GambiConf foi ter conseguido sintetizar, em poucos minutos, diversas paixões.
Elas são o que me motivam em estar na computação e dedicar tantas horas livres organizando a conferência.
Espero, assim, trazer mais pessoas para o lado gambiarreiro 🙈🐒
Fiquei surpreso que o projeto de descompilação no simulador da urna eletrônica foi mencionado no último vídeo do safesrc 🎉
Nos próximos dias vou falar mais sobre descompilação e IA. É algo que está em alta e tá circulando bastante ruído; tem pontos que quero esclarecer sobre
Descompilação byte a byte do simulador de urna eletrônica! 🗳️
Usei o Claude Code para fazer um projeto de matching decompilation do simulador de votação no site do TSE.
Nesse simulador, temos um wasm que contém código parcial do app da urna eletrônica.
Assim, o UrnaDecomp visa converter esse wasm para C++ que, quando compilado, reproduz o wasm idêntico ao original - isto é, matching decompilation.
Assim, temos um código um código fonte mais legível para humanos lerem e entenderem como o simulador funciona.
Vale destacar que:
- Conforme informado pelo TSE em reportagem ao @Tec_Mundo, foi uma escolha deliberada do TSE em disponibilizarem um wasm que inclui parte do código que vai para a urna real. Nenhuma chave ou falha de segurança está presente no wasm, e isso não é uma falha de segurança.
- Nada neste projeto é evidência de fraude eleitoral, nem poderia, pois nele estudamos o módulo do simulador, e não o software lacrado nas urnas.
- Esse é um projeto independente. Não tenho vínculo com o TSE, Justiça Eleitoral.
Terminei de assistir Marco.
É o 3° anime da década 70 que assisto, depois de Heidi e Anne. Muito bonito esses 3 anime, e tem uma pegada artística e de história bem diferente dos atuais.
Uma das coisas que mais me chamaram atenção e comum nessas 3 obras é que são adaptações de histórias que não eram originalmente mangá, e passam no mundo real, mas fora do Japão: Heidi é na Suíça, Anne no Canadá, e Marco na Itália + Argetina (+ um pouco no Brasil).
Em Marco, conta a história de um garoto que parte numa longa viagem em busca da mãe. Recomendo bastante, especialmente se você está buscando um anime mais emotivo e diferente.
🔗 Reportagem do @felipepayao sobre o caso em questão
xitter.cf/felipepayao/status/210…
🗳️Simulador de Votação exibe código do app da urna eletrônica; TSE afirma intenção
O Simulador de Votação do TSE teria exposto códigos mais completos do app VOTA, responsável por conduzir a votação na urna, que não eram públicos. TSE afirma que exibição é intencional após contato do TecMundo
Com relatos de @igormdma @rlaneth e @dfaranha
🔗 O @rlaneth está fazendo um emulador da urna eletrônica. Vale dar uma conferida!
xitter.cf/rlaneth/status/2108378…
🔗 Caso você tenha interesse no tema de urna eletrônica, discutimos na @gambiconf esse assunto desde 2023.
Veja em nosso canal do YouTube as palestras e o painel, onde trazemos especialistas no assunto.
youtube.com/@gambiconf
Descompilação byte a byte do simulador de urna eletrônica! 🗳️
Usei o Claude Code para fazer um projeto de matching decompilation do simulador de votação no site do TSE.
Nesse simulador, temos um wasm que contém código parcial do app da urna eletrônica.
Assim, o UrnaDecomp visa converter esse wasm para C++ que, quando compilado, reproduz o wasm idêntico ao original - isto é, matching decompilation.
Assim, temos um código um código fonte mais legível para humanos lerem e entenderem como o simulador funciona.
Vale destacar que:
- Conforme informado pelo TSE em reportagem ao @Tec_Mundo, foi uma escolha deliberada do TSE em disponibilizarem um wasm que inclui parte do código que vai para a urna real. Nenhuma chave ou falha de segurança está presente no wasm, e isso não é uma falha de segurança.
- Nada neste projeto é evidência de fraude eleitoral, nem poderia, pois nele estudamos o módulo do simulador, e não o software lacrado nas urnas.
- Esse é um projeto independente. Não tenho vínculo com o TSE, Justiça Eleitoral.
macabeus retweeted
EMULADOR DA URNA ELETRÔNICA!
Desenvolvi um emulador da urna eletrônica brasileira baseado no WASM publicado pelo TSE.
Ele visa possibilitar uma experiência mais ampla do sistema de votação, indo além das funcionalidades do Simulador oficial.
Detalhes e link nos comentários.
🗳️Simulador de Votação exibe código do app da urna eletrônica; TSE afirma intenção
O Simulador de Votação do TSE teria exposto códigos mais completos do app VOTA, responsável por conduzir a votação na urna, que não eram públicos. TSE afirma que exibição é intencional após contato do TecMundo
Com relatos de @igormdma @rlaneth e @dfaranha
Acabou de ser lançado no kickstarter o board game de Ragnarok.
Já fiz meu apoio, pois parece ser divertido, bonito, e especialmente por eu gostar muito de Ragnarok.
Fico feliz em ver manterem a franquia viva com novos produtos.
E para comemorar a volta do Frieren Friday, vamos começar a montar o quebra-cabeça de Frieren! 🧩
Minha irmã já está começando.
Ele é parecido com o do Luffy: um mosaico com cenas do anime.
Porém, é menor, de apenas 1000 peças.
Então, espero que não seja tão difícil quanto.
Domingo vou gravar um novo podcast para a @gambiconf
Será com o Ricardo Gomes, que já apresentou projetos malucos na GambiConf, como rodar Go no PlayStation 2, e estará nessa próxima edição falando sobre Super Nintendo.
Que tópicos e perguntas você gostaria de fazer para ele?
O Lito faleceu 😞
Muito triste isso. Ele era uma das pessoas que acompanha e mais admirava o trabalho.
Num dia anunciaram que estava doente, e poucas semanas depois, infelizmente, já anunciam o falecimento
Lendo mais sobre o Tinder estatal de Singapura (que talvez te pague um jantar e visa resolver o problema de incels):
- No cadastro, você prenche um formulário com 30+ questões (e não precisa enviar foto!)
Questões tipo: o que gosta de fazer, hábitos, quantos encontros você teve ano passado, etc
- Não tem swipe, nem feed infinito. Ao invés disso, funciona em ciclos. O algoritmo recomenda uma única pessoa, presumivelmente usando as respostas do formulário para encontrar o seu par perfeito.
- Você tem 72h para aceitar a pessoa que o algoritmo selecionou. Se ambos aceitarem, aí informações de contato são compartilhado para ambos.
- O algoritmo usado se chamada "Gale-Shapley Stable Marriage". Os economistas que o desenvolveram ganharam nobel.
- Curiosamente, o login é vinculado ao Singpass (tipo o govbr de lá). Então, isso evita problema de perfil fake.
- E sim, durante essa fase piloto do aplicativo (disponível apenas para alguns funcionários do setor público de Singapura), o usuário pode receber uma quest que, se for cumprida, talvez seja paga pelo governo
Se você estiver curioso sobre o algoritmo, implicações (e problemas) dele no contexto de dating app, recomendo essa longa postagem, de @teo_kai_xiang
🔗 singapore-samizdat.com/p/how…
