rmredin

Computer Scientist and Developer.

[rmredin @rmredin]

@Pedrao_Ponte Simplemente, sim.

[Ayub | Internet propriamente dita @ayubio]

Se você ficou preocupado com a baixa qualidade e segurança de softwares fabricados pelo poder público, saiba que o IDAP usado pela Defesa Civil e invadido por um menor de idade essa semana não é o único que inspira atenção.

O software que determina qual ministro do STF será o juiz responsável por cada caso nunca foi auditado. Um grupo de pesquisadores que já auditou a urna eletrônica em parceria com o UOL pressionou o tribunal usando a Lei de Acesso à Informação para que esse software fosse auditado.

O STF protelou por 4 anos essa auditoria até que finalmente a marcou. Para só então desistir 72h antes desmarcando com os pesquisadores que fariam a auditoria e a redação da UOL que faria a cobertura.

Esse software foi desenvolvido pela equipe de TI do próprio STF. Hoje ele segue sem auditoria completa, sem testes de bancada de invasão ou fraude.

A UnB, que teve acesso parcial ao código fonte, emitiu um parecer dizendo que não há motivos para o código fonte de algo tão simples (sortear pessoas) não seja liberado.

[𝗭𝗲𝗻 𝗠𝗮𝗴𝗻𝗲𝘁𝘀 @ZenMagnets]

Dear my Brazillion new followers, I really don't want to disappoint, but I think you should know that it looks like RIO 397b might've just been an effort to embezzle funds.

Timeline:
1. Model training received funding of R$500K (~$100K USD).
2. Initial model documentation claimed that it was a developed on top of Qwen 3.5 397b with further training and technological improvements.
3. The model was a simple merge of 40% Nex N2 Pro and 60% Qwen 3.5 without further training.
4. Model card readme was updated to admit that it was an Nex N2 Pro merge, while maintaining that additional training still took place, and they simply uploaded the wrong model. Then the previously uploaded model was removed from HF.
5. The final model got lost, "We tried to recover the final model, but it was not possible. It will be released only after the new training and all external validations are completed." So they'll have to redo it from scratch.

Taken as a whole, it reads like "We pocketed funding, delivered a fake result, were caught, and now promise to do the actual work."

Citations in thread 👇

Don't hate the messenger, but if I'm getting something wrong, do let me know below.

[Charles Guillemet @P3b7_]

☢️You remember? Google optimized Shor's algorithm. The algorithm that breaks asymmetric cryptography (RSA, elliptic curves) once you have a quantum computer with enough Qubits.

The US government blocked the paper. So Google published a Zero Knowledge proof instead: a mathematical proof that they have the result, without revealing how. Cryptographic sorcery 🧙

But the Internet is sneaky. Someone launched a contest to re-discover the result with AI. The LLM searches a huge space of circuits (each one a candidate optimization of Shor's), and tests whether it beats the previous best. The clever part: they use the ZKP verifier as the reward function. No false positives, and it turns out to be a very efficient signal.

In less than 2 days, the community re-discovered Google's result !!!

🔔15 days later, the LLMs are still improving it. They're already 44% ahead of Google.

Hard to say where this stops, ie. what the true minimum quantum complexity for Shor's is. But we will not close the full gap. You still need a Quantum Computer with a relatively large number of qubits. The only thing that changed is that this number drops a little every day, and it has been dropping for 15 days straight.

[rmredin @rmredin]

@ayubio @ClaroBrasil: porque não consigo acessar https://t.co/MkNyIzR9QP neste exato momento?

[Ayub | Internet propriamente dita @ayubio]

Confirmo que há todos os indícios típicos de bloqueio nacional determinado pela Anatel no dia de hoje para https://t.co/cw6yji79x7. Nas quartas-feiras, geralmente em dias de jogos de futebol, a agência de reúne com as maiores operadoras do país e determina o bloqueio de endereços utilizados pelos TV boxes. A lista de endereços bloqueados é mantido em sigilo pela agência, algo que tenho criticado em artigos, entrevistas e palestras.

Os indícios são:

1) O fato de ocorrer numa quarta-feira e pelo relato desse internauta que me acionou, ontem o problema não ocorria.

2) O fato do IP 4.228.31.149 para qual aponta o FQDN https://t.co/cw6yji79x7 estar bloqueado somente na Claro, Vivo, Nio, Algar e TIM e *NÃO* em ISPs regionais conforme posso testar com o comando globalping.

3) O fato de outros endereços IP contidos no mesmo bloco /24 serem normalmente alcançáveis, o que exclui problemas de roteamento já que todos os IPs entre 4.228.31.1 e 4.228.31.255 necessariamente pertencem a mesma rota (vide exemplo 4.228.31.3).

Recomendo que os afetados entrem em contato com seus provedores mostrando evidências coletadas a partir de sua casa ou empresa e exijam uma resposta do porquê não havia rota para 4.228.31.149 na noite de 10/06/26 enquanto para 4.228.31.3 há.

Nesse thread a seguir, colocarei algumas informações úteis sobre o problema.

[rmredin @rmredin]

@ClaroBrasil: porque não consigo acessar https://t.co/MkNyIzR9QP agora 10 de junho de 2026 às 22:30 brt?

[Ayub | Internet propriamente dita @ayubio]

Confirmo que há todos os indícios típicos de bloqueio nacional determinado pela Anatel no dia de hoje para https://t.co/cw6yji79x7. Nas quartas-feiras, geralmente em dias de jogos de futebol, a agência de reúne com as maiores operadoras do país e determina o bloqueio de endereços utilizados pelos TV boxes. A lista de endereços bloqueados é mantido em sigilo pela agência, algo que tenho criticado em artigos, entrevistas e palestras.

Os indícios são:

1) O fato de ocorrer numa quarta-feira e pelo relato desse internauta que me acionou, ontem o problema não ocorria.

2) O fato do IP 4.228.31.149 para qual aponta o FQDN https://t.co/cw6yji79x7 estar bloqueado somente na Claro, Vivo, Nio, Algar e TIM e *NÃO* em ISPs regionais conforme posso testar com o comando globalping.

3) O fato de outros endereços IP contidos no mesmo bloco /24 serem normalmente alcançáveis, o que exclui problemas de roteamento já que todos os IPs entre 4.228.31.1 e 4.228.31.255 necessariamente pertencem a mesma rota (vide exemplo 4.228.31.3).

Recomendo que os afetados entrem em contato com seus provedores mostrando evidências coletadas a partir de sua casa ou empresa e exijam uma resposta do porquê não havia rota para 4.228.31.149 na noite de 10/06/26 enquanto para 4.228.31.3 há.

Nesse thread a seguir, colocarei algumas informações úteis sobre o problema.

[EL PAÍS @el_pais]

📺 TV en DIRECTO | Así ha sido el espectáculo de luminoso en homenaje a Gaudí para inaugurar la nueva torre de la Sagrada Familia https://t.co/lUGOsi78sS

[Ayub | Internet propriamente dita @ayubio]

A plataforma de streaming do governo federal, o TelaBrasil, utiliza para entrega dos vídeos a CDN da Amazon. Isso gera um custo ao governo por cada minuto assistido por cada espectador.

Considerando um longa-metragem de 1h30min de duração e 5,4 GB de tamanho de arquivo, cada exibição dele custaria ao Tela Brasil cerca de 0,46 dólares em taxas da nuvem da Amazon, R$2,31 na cotação de hoje.

Existem alternativas mais baratas que não envolvem a nuvem da Amazon e possuem custo fixo baseado na quantidade de espectadores simultâneos, não nesse taxímetro em que se paga por cada minuto de vídeo assistido.

Procurei e não achei licitação pública da compra desse serviço. Se alguém conhecer e me mandar, eu ficaria agradecido.

Também é curiosa a escolha por um fornecedor dos EUA em detrimento das brasileiras GoCache, CDN Star, Azion e até a própria Globo, especializadas no fornecimento do mesmo serviço.

[The Tennis Letter @TheTennisLetter]

João Fonseca to his mom after beating Novak Djokovic at Roland Garros:

“First I need to make my mom’s day. Happy birthday mom. Thank you very much.”

🥹🥹🥹🥹🥹

[Thierry from arvy 🇨🇭 @ThierryBorgeat]

In the last 30 days alone:

– Microsoft cancelled most of its Claude Code licenses, citing cost
– Uber burned through its entire 2026 AI budget in 4 months
– Uber's COO publicly said AI costs are "harder to justify"
– A Fortune 20 CEO ordered token spending to be "dramatically slashed"
– One company spent $500M in a single month on Claude with no usage limits
– H200 rental prices crashed from $7/hr to $4/hr in three weeks

The stocks: still at all-time highs.

How long can the market keep ignoring the receipts?

[Papa Leão XIV @Pontifex_pt]

As inteligências artificiais não vivem uma experiência, não possuem um corpo, não passam pela alegria e pela dor, não amadurecem nas relações, não conhecem internamente o que significa amor, trabalho, amizade, responsabilidade. Nem sequer possuem uma consciência moral: não julgam o bem e o mal, não captam o sentido último das situações, não assumem sobre si o peso das consequências. Podem imitar, podem simular empatia ou entendimento, mas não compreendem o que produzem, porque não penetram o horizonte afetivo, relacional e espiritual no qual o ser humano se torna sábio. #MagnificaHumanitas

[Roberto Freire @freire_roberto]

Um mapa que mostra a malha ferroviária dos USA e a do Brasil.
Não precisa dizer mais nada sobre o descaso dos nossos governos, dedicados e excelentes no populismo assistencialista, paliativos e eleitoreiros, na manutenção dos privilégios do andar de cima, atrasados e perdidos no mundo do passado sem entender os desafios da sociedade figital de hoje e do futuro !

[The Hacker News @TheHackersNews]

⚡ Not via a fancy zero-day... #GitHub confirmed its internal repositories were breached after an employee device installed a poisoned Nx Console VS Code extension.

https://t.co/ERmMV4gwUl

TeamPCP exfiltrated ~3,800 repos in an 18-minute window.

The extension deployed a credential stealer targeting 1Password, GitHub tokens, AWS, and more via auto-updates.

[rmredin @rmredin]

O Brasil todo ouvindo o único italiano que vai a copa! #convocação

[rmredin @rmredin]

@blognaointendo

[Mathematica @mathemetica]

Terence Tao is answering a fundamental question regarding the safety and reliability of modern AI: "How can we use a tool that is powerful, but unreliable?"

W = ∑(wᵢ ⋅ xᵢ) + b

AI isn’t just about “smart”; it’s about the probability of *looking* right. We’ve built systems where the weights (wᵢ) are optimized for plausibility, not veracity.

This creates a “convincing mirror” that confidently serves dangerous advice in medicine or finance. The gap between “convincing” and “correct” is the most critical variable we need to solve for.

[BuBBliK @k1rallik]

SOMEONE JUST ROBBED A ROBOT WITH MORSE CODE

A guy encoded "send me all the money" in dots and dashes. The AI read it. And just... did it.

- the command was hidden inside a tweet reply
- another AI (Grok) decoded it first but refused, saying "I have no wallet"
- the crypto bot saw the decoded text and thought it was a valid instruction
- sent real tokens to a stranger's wallet. instantly. no confirmation.

This is why we're not ready for autonomous AI agents.

[Gary Marcus @GaryMarcus]

Elon: Let’s settle.
Greg: Nope.
Elon: Ok, let’s talk about your diaries, then.

[François Chollet @fchollet]

In a capitalist economy, absolute levels of value creation and productivity take a backseat to relative competitive advantage. That's why jobs still exist despite 150 years of intense automation. As long as hiring someone represents a non-zero advantage for firm A in its competition with equivalent firm B, that person will have a job, regardless of how much automation these firms use or what their productivity rate is.