Hacker News 🇵🇹 Português

A plataforma X apresentou uma falha técnica breve a 14 de agosto.

Cerca de 18.600 utilizadores reportaram erros ao Downdetector num curto período.

O incidente foi resolvido em cerca de 30 minutos com relatos a diminuir significativamente.

Os números reais completam a reta racional, preenchendo as lacunas deixadas pelos irracionais.

Cortes de Dedekind definem números reais como divisões da reta racional sem maior elemento.

Russell construiu formalmente os reais como conjunto de cortes de Dedekind, criando um corpo ordenado completo.

É necessário criar uma conta para participar no sistema de moderação do Slashdot.

Ken Thompson e Dennis M. Ritchie comparam o conhecimento do nome verdadeiro de um processo à capacidade de o terminar, tal como em certas seitas.

Planos de verificação de idade preservadora da privacidade são tecnicamente inviáveis e apresentam falhas fundamentais.

Esquemas de credenciais Camenisch-Lysyanskaya e provas de conhecimento zero enfrentam obstáculos intransponíveis como exigências de identidade únicas, custos elevados e desafios em computadores partilhados.

Exigir provedores de identidade únicos (IDP) cria barreiras de acesso para populações desfavorecidas e incentiva o uso de múltiplas credenciais fraudulentas.

O aumento das mensalidades e da fragmentação dos catálogos força usuários a assinar múltiplas plataformas ou recorrer à pirataria.

Muitas assinaturas incluem anúncios mesmo sendo pagas e impõem restrições regionais, levando ao uso de VPNs para acesso.

Serviços de streaming na Suécia subiram de cerca de 79 SEK para 199 SEK, enquanto o gasto médio europeu anual em VOD atinge 700 €.

A consulta pública para as Diretrizes da Comunidade decorre até 28 de agosto, com entrada em vigor a 15 de outubro.

As novas Diretrizes da Comunidade organizam-se em quatro princípios (Segurança, Respeito, Autenticidade e Regras) e detalham procedimentos de moderação e recursos de apelo.

Os Termos de Serviço renovados entram em vigor a 15 de setembro, clarificam elegibilidade e verificação de idade, e introduzem processos de reclamações, apelos e resolução informal de litígios.

Reddit estuda adoptar o World ID, sistema de verificação com escâner de íris criado pela Tools for Humanity.

O método garante que cada utilizador é único sem revelar a sua identidade.

O Orb divide e encripta o registo de íris em fragmentos guardados em múltiplos servidores.

Axle oferece uma API universal para integração de dados de seguros.

Vaga de Engenheiro de Produto em Nova Iorque, full-time, salário de USD 110K–150K e 0,10%–0,30% de participação.

Responsabilidades incluem estruturar e limpar dados complexos, usar LLMs para extração automatizada e orquestrar agentes autocorrigíveis.

Autores estudaram quase 400 000 executáveis de malware escritos em linguagens menos comuns para entender a deteção estática.

Malware em linguagens populares como C e C++ é mais facilmente identificado devido à conservação das sequências de shellcode.

Linguagens como Rust, Haskell e Lisp fragmentam bytes de shellcode e alteram o layout de memória, complicando a análise estática.

Ferramenta What the Fork permite visualizar em tempo real o timeline completo de um processo de build incluindo chamadas de sistema fork, exec e exit.

Suporta qualquer sistema de build e linguagem, sendo compatível com macOS, Linux e Windows.

Detecta problemas específicos de build como falta de paralelismo, etapas desnecessárias e comandos que poderiam ser executados em paralelo.