Hacker News 🇵🇹 Português

SpaceX contesta o plano da Virgínia de implementar fibra ótica e pede 60 milhões de dólares em subvenções federais.

A administração Trump defende abordagem tecnologia neutra no programa BEAD, beneficiando provedores via satélite como Starlink.

O plano da Virgínia prevê 613,3 milhões de dólares para 133.472 locais, com prioridade para fibra devido a custos futuros e confiabilidade.

OneSignal tem como missão democratizar o envolvimento com clientes para empresas de todo o mundo.

A plataforma suporta mais de 1 milhão de aplicações ativas, envia mais de 12 mil milhões de mensagens diárias e conta com mais de 2 milhões de desenvolvedores e marketeers.

Valores centrais: colocar o cliente no centro, gerar impacto real, inovar e adaptar-se, e colaborar com empatia.

As empresas de IA estão adotando semanas de trabalho de 60 a 80 horas e rejeitando o equilíbrio entre vida profissional e pessoal.

A cultura de esforço extremo é alimentada pela corrida ao AGI e pela promessa de ganhos rápidos, explorando a disposição dos funcionários.

Horas de trabalho excessivas conduzem a retornos decrescentes e negativos, aumentando erros, retrabalho e reduzindo a produtividade total.

GPT-5 foi lançado com atraso de um ano e prometia inteligência ao nível de doutoramento.

Usuários encontraram erros básicos como contagem incorreta e mapas mal rotulados.

Modelos populares anteriores foram removidos, gerando protestos de mais de 4.000 usuários.

Empresas investem fortemente em IA Generativa, mas não veem ganhos significativos na produtividade.

Quase 80% das empresas usam IA Generativa, mas relatam sem impacto relevante no resultado financeiro.

Abandono de 42% dos projetos de IA até o final de 2024 devido a obstáculos técnicos e fatores humanos.

A administração Trump negocia uma participação do governo na Intel para apoiar a expansão da produção doméstica de chips.

O investimento ajudaria a reforçar o projeto de hub fabril em Ohio, que tem sofrido atrasos recorrentes.

O tamanho da participação potencial ainda não foi definido.

Oferece uma framework de segurança unificada para servidores MCP (Model Context Protocol).

Realiza análise estática, taint analysis e deteção por machine learning de vulnerabilidades.

Inclui monitorização em tempo real, política de segurança e dashboard web para visualização.

Hackers russos tomaram o controlo da barragem de Bremanger, no oeste da Noruega.

Abertura de comporta libertou 500 litros de água por segundo durante quatro horas.

PST atribui o ciberataque em abril a atores pró-Rússia, primeira atribuição formal.

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.