Alright mates, welcome back to Taverna Linux! Have you ever stopped to imagine the absolute chaos of counting millions of paper ballots by hand in a country the size of a continent? Total madness, isn’t it? It used to take days — sometimes weeks — to figure out who had won an election in Brazil. But the game changed entirely, and a massive part of that revolution is thanks to our favourite penguin. In today’s post, we are doing a serious deep dive into the software engineering behind the Brazilian Electronic Voting Machines. We’ll look at how the electoral court ditched a messy web of old operating systems to build Uenux — one of the most heavily audited machines on the planet. From Chaos to the Penguin: The Arrival of Linux Back in the early days, the voting machines ran on proprietary systems like VirtuOS and even Windows CE. It was a logistical and cybersecurity headache. Imagine trying to audit closed-source code from private corporations? That all changed around 2008 when the Su...
This is a blog by Taverna Linux, written in English.