O lançamento do GPT-5 foi criticado por muitos utilizadores como pouco inteligente e aborrecido.
Sam Altman reconheceu falhas no lançamento, mas confirmou crescimento do tráfego de API e recordes de utilizadores no ChatGPT.
Altman comparou a IA a uma bolha de investimento, afirmando que há demasiado entusiasmo em torno da tecnologia.
+2 more insights
Nim é uma linguagem multiparadigma com sintaxe elegante e simples.
Nim combina desempenho de C com abstração de alto nível de Python e Ada.
Oferece gestão de memória dinâmica por defeito e suporte a assembly inline.
+3 more insights
A Cloudflare começou a bloquear sites de streaming pirata no Reino Unido usando medidas legais confirmadas por Error 451.
Os bloqueios baseiam-se em quatro injunções dinâmicas do High Court emitidas entre 2021 e 2025, que não mencionavam originalmente a Cloudflare.
Estima-se que mais de mil domínios sejam bloqueados, podendo exceder o dobro desse número devido a adições dinâmicas.
+7 more insights
Vários utilizadores ignoram artigos que usam imagens geradas por IA.
Tecnologia de IA explorativa prejudica artistas e plagia obras sem atribuição.
Imagens de IA costumam não agregar valor significativo aos artigos.
+2 more insights
VictoriaLogs organiza logs em três conceitos-chave: mensagem (_msg), tempo (_time) e stream (fluxo) de logs.
Cada entrada de log deve incluir o campo _msg com a string descritiva do evento.
Se o campo _time não estiver presente, usa-se o tempo de ingestão como timestamp.
+7 more insights
Em TypeScript expressões lógicas têm tipo boolean e colapsam imediatamente em true ou false.
Em Lean expressões como `2 + 2 = 4` têm tipo Prop e não se avaliam automaticamente.
Em Lean proposições são valores e também tipos, e provar uma proposição significa fornecer um valor desse tipo.
+4 more insights
LL3M usa modelos de linguagem para gerar código Python que cria e edita ativos 3D no Blender.
O pipeline de criação inclui três fases: criação inicial, refinamento automático e refinamento guiado pelo usuário.
O método realiza refinamento iterativo com auto-crítica de código e visual.
+7 more insights
O Nuvistor foi a última grande inovação em tecnologia de válvulas, lançado em 1959 pela RCA, aproveitando-se de lacunas dos transístores na época.
O invólucro metálico e base cerâmica permitiram dimensões reduzidas, elevada performance em VHF/UHF, baixo consumo de potência e alta fiabilidade sem necessidade de getter.
O forte branding da RCA e o termo “Nuvistorization” promoviam a adoção em sintonizadores de TV, equipamentos de áudio profissional e transmissores de rádio amador.
+3 more insights
Um tanque de combustível de titânio Ti64 com 640 mm de diâmetro, impresso por 3D, resistiu a 330 bar de pressão a -196 °C num teste de durabilidade pioneiro.
O processo Directed Energy Deposition (DED) usa um laser para fundir fio metálico e construir componentes em camadas, imprimindo duas semicúpulas que foram usinadas e soldadas.
A impressão levou três dias e o ciclo completo de fabrico foi concluído em poucas semanas, reduzindo significativamente o tempo de espera em comparação com a forja tradicional, que demora de seis meses a um ano.
+4 more insights
RL é uma extensão simples do Finetuning Supervisionado.
O Finetuning Supervisionado usa somente exemplos positivos e o RL introduz exemplos negativos.
A perda de divergência KL mantém o modelo próximo ao pré-treinado enquanto aprende.
+4 more insights