Tags populares：
Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

Ferramenta de Congelamento de Classes Core do Ruby: Ruby Refrigerator

2024-12-31
Ferramenta de Congelamento de Classes Core do Ruby: Ruby Refrigerator

O Ruby Refrigerator é uma ferramenta que congela todas as classes e módulos core do Ruby, prevenindo modificações inesperadas em classes core em tempo de execução. Ele fornece um método `freeze_core` para congelar classes core e um método `check_require` para verificar bibliotecas quanto a modificações em classes core. `check_require` suporta opções para pré-definir módulos e classes, excluir classes específicas e especificar dependências. Uma ferramenta de linha de comando, `bin/check_require`, também é fornecida para facilitar o uso. Esta ferramenta é incrivelmente útil para garantir a estabilidade do código em ambientes de produção e teste.

Leia mais
(github.com)
Desenvolvimento congelamento classes core

BYD: Maior fabricante de automóveis do mundo em equipe de P&D

2024-12-31
BYD: Maior fabricante de automóveis do mundo em equipe de P&D

Após uma grande onda de contratações, a BYD tornou-se a maior montadora de automóveis do mundo em termos de equipe de P&D, com mais de 110.000 funcionários em P&D entre seus 900.000 funcionários. Isso segue um forte segundo trimestre de 2024, onde superou Honda e Nissan, consolidando sua posição como a sétima maior montadora do mundo. A equipe maciça de P&D da BYD está focada no desenvolvimento de veículos elétricos mais acessíveis e com maior alcance, e a empresa está se expandindo para novos mercados com planos para novas fábricas na Turquia, México, Brasil e Paquistão. Essa expansão agressiva, juntamente com sua posição já significativa como a segunda maior fabricante de baterias para veículos elétricos do mundo, posiciona a BYD para um crescimento e liderança contínuos no mercado de veículos elétricos.

Leia mais
(electrek.co)
Tecnologia Veículos Elétricos P&D

t2x: Uma ferramenta CLI alimentada por IA para operações de texto

2024-12-31

Um desenvolvedor está construindo uma ferramenta de linha de comando (CLI) de código aberto chamada t2x (abreviação de "texto para qualquer coisa"). O t2x utiliza modelos de linguagem locais ou em nuvem para executar várias operações de texto. Embora ainda não esteja totalmente completo, espera-se que a ferramenta seja lançada no GitHub durante as férias.

Leia mais
(www.shruggingface.com)
Desenvolvimento ferramenta CLI

Guix Constrói com Sucesso um Mono Totalmente Autônomo: Uma Longa Jornada

2024-12-31

O sistema Guix construiu com sucesso um ambiente Mono totalmente autônomo, superando inúmeros desafios no processo. O autor detalha sua jornada para suportar recursos C# 12.0, encontrando problemas com versões antigas do Mono que dependiam de binários pré-compilados. Através de uma série de patches, uma cadeia totalmente autônoma do Mono 1.2.6 ao 6.12.0 foi criada. Ao longo do caminho, bugs no Mono e no xbuild foram corrigidos, e o suporte ao runpath no Mono foi aprimorado. Isso não apenas resolveu o problema de compatibilidade C# do autor, mas também destacou a importância de builds totalmente autônomos e reprodutíveis e seu impacto na segurança de software.

Leia mais
(guix.gnu.org)
Desenvolvimento Construção Autônoma

Renúncia em massa de editores do Journal of Human Evolution: IA, taxas e independência editorial em jogo

2024-12-31
Renúncia em massa de editores do Journal of Human Evolution: IA, taxas e independência editorial em jogo

Toda a equipe editorial do Journal of Human Evolution (JHE) da Elsevier renunciou em massa, causando indignação na comunidade acadêmica. Seu protesto se concentra nas mudanças implementadas pela Elsevier na última década, incluindo cortes de recursos editoriais, a introdução não comunicada de IA no processo editorial que levou a numerosos erros e taxas exorbitantes para os autores, tudo isso minando a independência e a inclusão editorial da revista. Esta é a 20ª renúncia em massa de uma revista científica desde 2023, destacando as controvérsias em torno da evolução dos modelos de negócios na publicação científica.

Leia mais
(arstechnica.com)
Tecnologia publicação científica independência editorial

Engenharia Reversa da Placa de Conectividade Duco: Integração com o Home Assistant

2024-12-31
Engenharia Reversa da Placa de Conectividade Duco: Integração com o Home Assistant

Frustrado com as opções limitadas de controle de seu sistema de ventilação DucoBox (apenas quatro modos via um simples botão), o autor decidiu fazer engenharia reversa na placa de conectividade Duco oficial, que é essencialmente um ESP32. Usando um analisador lógico e informações do site da Duco, o autor analisou o protocolo de comunicação entre a placa e o sistema de ventilação. Descobriu-se que não era Modbus, mas um protocolo personalizado. Após decifrar o protocolo, o autor criou um componente ESPhome, permitindo a integração perfeita com o Home Assistant. Isso aprimora significativamente o controle e permite a leitura de dados do sensor de CO2 e outras informações.

Leia mais
(github.com)
Hardware

COCONUT da Meta AI: Aprimorando o raciocínio de LLMs com Cadeia de Pensamento Contínuo

2024-12-31
COCONUT da Meta AI: Aprimorando o raciocínio de LLMs com Cadeia de Pensamento Contínuo

A Meta AI apresenta o COCONUT (Chain of Continuous Thought), um novo método para melhorar as capacidades de raciocínio de Modelos de Linguagem Grandes (LLMs). Ao contrário do Chain-of-Thought (CoT) tradicional baseado em texto, o COCONUT permite que LLMs raciocinem em um espaço latente contínuo, contornando as limitações da expressão verbal. Pesquisas mostram que o COCONUT se destaca em tarefas que exigem planejamento complexo, exibindo um padrão de raciocínio semelhante à Busca em Largura (BFS). Seu processo de treinamento em várias etapas orienta gradualmente o modelo a raciocinar no espaço latente, melhorando a precisão e a eficiência.

Leia mais
(aipapersacademy.com)
IA Raciocínio Espaço Latente Contínuo

Tempestade de Sal: Grandes empresas de telecomunicações dos EUA confirmam invasões patrocinadas pelo governo chinês

2024-12-31
Tempestade de Sal: Grandes empresas de telecomunicações dos EUA confirmam invasões patrocinadas pelo governo chinês

AT&T, Verizon e Lumen Technologies confirmaram que seus sistemas foram comprometidos no início deste ano pelo grupo de hackers Salt Typhoon, patrocinado pelo governo chinês. Um funcionário da Casa Branca chamou a intrusão de "o pior ataque de hackers de telecomunicações na história da nossa nação", permitindo que os hackers localizassem milhões de indivíduos e gravassem chamadas telefônicas à vontade. Embora as empresas afirmem que um número limitado de clientes foi afetado e que os ataques foram contidos, o incidente destaca vulnerabilidades de segurança significativas nas redes de telecomunicações dos EUA. Isso levou o governo a fortalecer a supervisão de segurança cibernética e a pressionar por padrões mais rígidos.

Leia mais
(www.theregister.com)
Tecnologia ataque de estado-nação segurança de telecomunicações

Tema Monokai Pro: para IDEs JetBrains e mais

2024-12-31
Tema Monokai Pro: para IDEs JetBrains e mais

Monokai Pro é um plugin de tema disponível para IDEs JetBrains (como IntelliJ IDEA, WebStorm, etc.), Sublime Text e VS Code. Ele possui mais de 70 ícones personalizados e oferece configurações ajustáveis para personalização. Uma versão de teste gratuita está disponível, mas uma assinatura mensal de € 1 remove pop-ups. Compatível com várias linguagens de programação e IDEs, é uma escolha popular entre engenheiros de software.

Leia mais
(monokai.pro)
Desenvolvimento Plugin de Tema

Mozilla lança ferramenta de IA com foco na privacidade: Orbit

2024-12-31

A Mozilla lançou o Orbit, uma extensão para o Firefox que usa IA para resumir conteúdo da web, como e-mails, documentos, artigos e vídeos, priorizando a privacidade do usuário. O Orbit não exige criação de conta, não armazena dados de sessão ou informações pessoais e utiliza um modelo Mistral 7B LLM hospedado pela Mozilla. Os usuários podem resumir facilmente documentos e vídeos longos, obter rapidamente a essência de e-mails e artigos e obter informações específicas por meio de perguntas.

Leia mais
(orbitbymozilla.com)
Desenvolvimento Privacidade Extensão do navegador

Transformando Planilhas do Google em Aplicativos Web Práticos: Uma História de Programador

2024-12-31
Transformando Planilhas do Google em Aplicativos Web Práticos: Uma História de Programador

Um repórter da Ars Technica compartilha sua jornada de transformar planilhas simples do Google em aplicativos web amigáveis para celular usando o Glide. Inicialmente criado para otimizar pedidos de entrega de comida, o aplicativo gerencia informações de restaurantes locais com busca e filtragem eficientes. Ele expandiu sua abordagem para criar aplicativos para receitas e itens de despensa, melhorando a vida cotidiana. O artigo mostra o poder das ferramentas sem código e como soluções simples podem resolver problemas do mundo real, destacando a engenhosidade e a busca por uma vida melhor.

Leia mais
(arstechnica.com)
Desenvolvimento Planilhas Google Aplicativo Web

Headsets de RV para camundongos avançam a pesquisa cerebral

2024-12-31
Headsets de RV para camundongos avançam a pesquisa cerebral

Pesquisadores desenvolveram o MouseGoggles, um headset de realidade virtual para camundongos de laboratório, permitindo estudos imersivos da atividade cerebral. Usando displays de smartwatch acessíveis e lentes minúsculas, esses óculos superam as limitações dos sistemas de projetores volumosos anteriores. Camundongos exibiram respostas realistas a ameaças virtuais, com exames cerebrais confirmando a eficácia do ambiente virtual. Essa tecnologia promete avanços na compreensão da função cerebral de mamíferos e pode auxiliar na pesquisa de doenças como o Alzheimer.

Leia mais
(phys.org)
Tecnologia pesquisa com camundongos

Risco de Colisão SHA no Commit Inicial do Kernel Linux

2024-12-31

Kees Cook, desenvolvedor do kernel Linux, descobriu um commit de documentação do kernel cujo ID compartilha os 12 primeiros caracteres com o commit inicial do repositório do kernel. Essa possível colisão pode quebrar várias ferramentas que dependem de IDs de commit exclusivos. Embora ainda não tenha sido mesclado no upstream, esse commit serve como um caso de teste para abordar proativamente colisões SHA e prevenir problemas generalizados futuros.

Leia mais
(lwn.net)
Desenvolvimento Colisão SHA

Lightstorm: Compilador Ruby Minimalista Aumenta o Desempenho com MLIR

2024-12-31

A equipe DragonRuby desenvolveu o Lightstorm, um compilador Ruby minimalista com o objetivo de melhorar o desempenho de seu motor de jogo multiplataforma. Usando o MLIR, o Lightstorm traduz o bytecode da máquina virtual mruby para código C, otimizando o desempenho ao eliminar operações de carga/armazenamento e ramificações no loop do interpretador da VM. Os resultados de referência mostram melhorias de desempenho variando de 1% a 1200%, com uma redução média de cerca de 30% no tempo de execução e ciclos. Embora atualmente suporte apenas um subconjunto do Ruby, o projeto valida a viabilidade da pré-compilação de código Ruby para ganhos de desempenho. Os planos futuros incluem a substituição de componentes C críticos do motor por código Ruby compilado.

Leia mais
(blog.llvm.org)
Desenvolvimento Compilador Ruby Otimização de desempenho

Cena de Ficção Científica Impressionante Criada no Blender

2024-12-31
Cena de Ficção Científica Impressionante Criada no Blender

Samuel Pantze, um cientista da computação alemão, criou uma cena de ficção científica deslumbrante com uma nave espacial sobre um planeta com maré gravitacional usando o Blender. Inspirado pela literatura de ficção científica, pelos vídeos do Melodysheep e pela arte conceitual de Paul Chadeisson, ele empregou habilmente texturas processuais e matemática de shaders para gerar um modelo de nave espacial realista e um fundo planetário. O artigo detalha o processo, desde a modelagem e texturização da nave espacial até a criação do fundo planetário usando uma abordagem de shader única, mostrando suas excepcionais habilidades de modelagem e renderização 3D.

Leia mais
(www.blendernation.com)
Design Ficção Científica

LineageOS 22.1 Lançado: Extração 30x Mais Rápida, Novos Apps de Música e PDF

2024-12-31

O LineageOS 22.1, baseado no Android 15 QPR1, está disponível com melhorias significativas. Os utilitários de extração são 30 vezes mais rápidos, e dois novos aplicativos foram adicionados: Twelve, um reprodutor de música, e Camelot, um leitor de PDF. SeedVault, Etar e WebView também foram atualizados. A numeração de versão foi ajustada para se alinhar com os números de versão menores do Android, facilitando a distinção entre as versões do Android. O projeto simplificou sua base de código, adicionou suporte para mais dispositivos e incentiva os desenvolvedores a contribuir com código e traduções.

Leia mais
(lineageos.org)
Desenvolvimento

Tipos Soma e Switches Minimalistas para Lua: lua-match

2024-12-31
Tipos Soma e Switches Minimalistas para Lua: lua-match

lua-match é uma biblioteca Lua minimalista que fornece tipos soma e funcionalidade de switch. Ela utiliza uma função de marcação para uma maneira limpa e eficiente de lidar com vários tipos de dados e ramificações condicionais. Com uma simples função de marcação e uma tabela switch, você pode facilmente implementar um comportamento semelhante ao tipo soma e correspondência de padrões, simplificando significativamente seu código Lua. A biblioteca é de código aberto e usa a licença MIT.

Leia mais
(github.com)
Desenvolvimento Tipos Soma

Desenvolvedor cria jogo para Game Boy Advance em Zig

2024-12-31

Um desenvolvedor criou um jogo 2048 para Game Boy Advance usando a linguagem de programação emergente Zig. O artigo destaca as vantagens do Zig na programação embarcada, especialmente seu processo de compilação cruzada simplificado, gerenciamento de memória eficiente (incluindo structs compactadas) e poderosa geração de código em tempo de compilação. O autor compara a experiência de desenvolvimento usando C++ versus Zig, observando a facilidade e eficiência do Zig no tratamento do layout de memória peculiar do Game Boy Advance e registradores de hardware. Embora o Zig tenha algumas desvantagens, como suporte limitado a assembly embutido e instruções Thumb, suas numerosas vantagens o tornam uma escolha ideal para desenvolver jogos para consoles retrô.

Leia mais
(jonot.me)
Desenvolvimento Desenvolvimento Embarcado

Apple TV+ com acesso gratuito neste fim de semana

2024-12-30
Apple TV+ com acesso gratuito neste fim de semana

A Apple está oferecendo acesso gratuito ao seu serviço de streaming Apple TV+ de 3 a 5 de janeiro de 2025. Esta avaliação gratuita de três dias inclui acesso à biblioteca de programas e filmes premiados do Apple TV+, dando aos potenciais assinantes a chance de experimentar seu conteúdo, incluindo séries populares como Severance (com a segunda temporada estreando em 17 de janeiro), For All Mankind, Silo e Monarch: Legacy of Monsters. Tudo o que você precisa é um ID Apple para aproveitar esta oferta.

Leia mais
(www.theverge.com)
Tecnologia acesso gratuito serviço de streaming

China vai construir reator de sal fundido de tório em 2025

2024-12-30
China vai construir reator de sal fundido de tório em 2025

A China planeja iniciar a construção em 2025 de um reator de sal fundido de tório de demonstração de 10 megawatts no deserto de Gobi, com previsão de operação para 2030. Liderado pelo Instituto de Física Aplicada de Xangai da Academia Chinesa de Ciências, o projeto utiliza tório-232, um elemento abundante, convertendo-o em urânio-233 físsil. Essa tecnologia visa reduzir a dependência de urânio e utiliza resíduos da mineração de terras raras, oferecendo potencial para autossuficiência energética. No entanto, permanecem desafios, notavelmente o risco de proliferação nuclear, exigindo medidas de segurança robustas.

Leia mais
(spectrum.ieee.org)
Tecnologia reator de sal fundido de tório energia nuclear combustível nuclear

Além da Média de Gradientes em Otimização Paralela: Robustez Aprimorada por meio de Filtragem de Concordância de Gradientes

2024-12-30
Além da Média de Gradientes em Otimização Paralela: Robustez Aprimorada por meio de Filtragem de Concordância de Gradientes

Este artigo apresenta a Filtragem de Concordância de Gradientes (FCG), um novo método para melhorar a média de gradientes na otimização de aprendizado profundo distribuído. Métodos tradicionais somam gradientes de microbatches para calcular um gradiente de macrobatch, mas isso pode levar a gradientes ortogonais ou negativamente correlacionados nos estágios posteriores do treinamento, resultando em overfitting. A FCG reduz a variância do gradiente calculando a distância do cosseno entre microgradientes e filtrando atualizações conflitantes antes da média. Experimentos em benchmarks de classificação de imagens como CIFAR-100 e CIFAR-100N-Fine mostram que a FCG melhora significativamente a precisão de validação, mesmo com tamanhos de microbatch menores, alcançando até 18,2% de melhoria em relação às abordagens tradicionais, ao mesmo tempo em que reduz o custo computacional.

Leia mais
(arxiv.org)
IA médias de gradientes robusiness

Por que o Linux ainda não está pronto para a área de trabalho

2024-12-30

Este artigo explora as razões profundas pelas quais o Linux ainda não alcançou a adoção generalizada na área de trabalho. O autor destaca vários problemas-chave: compatibilidade de software deficiente entre distribuições, atualizações frequentes levando a bugs e regressões, financiamento insuficiente resultando em qualidade de software inferior, suporte inadequado para drivers de hardware e desafios na comunicação dentro da comunidade Linux. Embora o Linux se destaque em ambientes de servidor, sua presença na área de trabalho permanece prejudicada por esses obstáculos persistentes, dificultando sua capacidade de competir efetivamente com sistemas operacionais estabelecidos como o Windows.

Leia mais
(itvision.altervista.org)
Desenvolvimento compatibilidade de software

Desempenho de LLMs no Advent of Code 2024: Uma Surpresa

2024-12-30
Desempenho de LLMs no Advent of Code 2024: Uma Surpresa

Esta postagem detalha um experimento testando vários modelos de linguagem grandes (LLMs) no desafio Advent of Code 2024. Surpreendentemente, os LLMs tiveram um desempenho pior do que o esperado, até mesmo superando o autor. Uma estrutura simples foi usada, fornecendo aos modelos a descrição completa do problema e exigindo código Python executável. Os resultados mostraram timeouts e exceções frequentes, sugerindo que os LLMs se destacam na resolução de problemas familiares, mas têm dificuldades com problemas novos. Essa limitação pode resultar da dependência de modelos de programa, recursos computacionais insuficientes ou solicitação subótima. O experimento destaca o Advent of Code como um possível benchmark para avaliação de agentes de codificação.

Leia mais
(www.jerpint.io)
IA Desafio de Codificação

Torneio de Fontes de Codificação: Source Code Pro Vence

2024-12-30
Torneio de Fontes de Codificação: Source Code Pro Vence

John Gruber, do Daring Fireball, destaca um divertido 'torneio' de seleção de fontes de codificação criado pelo Typogram. Os usuários escolhem sua favorita entre 32 fontes monoespaçadas gratuitas. Embora algumas opções populares, como Consolas, estejam ausentes, e algumas fontes incluídas sejam menos atraentes, é um exercício válido. Melhorias desde o seu lançamento inicial incluem um exemplo de código JavaScript em vez de CSS e uma seleção maior de fontes. Gruber recomenda desabilitar os nomes das fontes para reduzir o viés. Sua vencedora consistente? Source Code Pro da Adobe, com IBM Plex Mono em segundo lugar.

Leia mais
(daringfireball.net)
Desenvolvimento fontes de codificação

RubyConf 2024: Hackday de Buildpack Nativo na Nuvem

2024-12-30
RubyConf 2024: Hackday de Buildpack Nativo na Nuvem

Richard Schneeman está organizando um hackday de Cloud Native Buildpack (CNB) na RubyConf 2024 para ajudar os desenvolvedores a aprender e contribuir com ferramentas de implantação Ruby. O evento oferece tarefas de diferentes níveis de dificuldade, desde modificar buildpacks existentes até criar novos, atendendo a diferentes níveis de habilidade. Mesmo que você não possa comparecer pessoalmente, ainda pode participar usando os recursos fornecidos.

Leia mais
(www.schneems.com)
Desenvolvimento Implantação Ruby

Era uma Vez no Oeste: A lendária cena da mosca

2024-12-30

Na obra-prima de Sergio Leone, *Era uma Vez no Oeste*, uma sequência de abertura lendária se destaca: Jack Elam e uma mosca. Esta cena de aproximadamente 100 segundos exibe a atuação magistral de Elam, usando expressões faciais e gestos sutis para retratar a esperteza maligna da personagem. A mosca serve como um veículo para Elam mostrar sua intensidade característica de 'olhos arregalados', transformando uma interação simples em uma poderosa declaração sobre a personalidade do personagem e o estilo cinematográfico. A cena, mais do que um recurso da trama, é uma vitrine da presença icônica de Elam na tela.

Leia mais
(pov.imv.au.dk)
Jogos filme

Mocks de banco de dados: mais problemas do que valem a pena?

2024-12-30
Mocks de banco de dados: mais problemas do que valem a pena?

Embora tentador pela velocidade e simplicidade, o autor argumenta que o uso de mocks de banco de dados para testes, finalmente, causa mais problemas do que resolve. Um exemplo de criação de usuário destaca as diferenças entre mocks e testes contra um banco de dados real. Testes de banco de dados reais revelam problemas potenciais precocemente, como violações de restrições exclusivas, tratamento de valores padrão e gargalos de desempenho, economizando tempo de depuração e reduzindo riscos de produção. À medida que os aplicativos evoluem e os esquemas mudam, os testes de banco de dados reais lidam melhor com novas validações, modificações de tipo de dados e alterações na precisão do timestamp, garantindo que o código esteja alinhado com o banco de dados real. O autor sugere priorizar testes de banco de dados reais para camadas de acesso a dados, enquanto o usa na camada de serviço para expor interações de lógica de negócios com dados. As camadas de controladores, no entanto, podem simular chamadas de serviço de forma eficaz. O equilíbrio entre testes de banco de dados reais e mocks é essencial para construir aplicativos robustos.

Leia mais
(www.shayon.dev)
Desenvolvimento testes de banco de dados mocks testes de software

Protocolo de Rede Homa: Um Novo Desafio para TCP/UDP

2024-12-30

Homa é um novo protocolo de transporte de rede projetado para aplicações em data centers, com o objetivo de reduzir a sobrecarga de transmissão de inúmeras mensagens pequenas. Ao contrário do TCP/UDP tradicional, ele elimina a configuração de conexão, empregando um mecanismo exclusivo de solicitação-resposta e filas priorizadas para minimizar a latência. Atualmente, o Homa está buscando a inclusão no kernel do Linux, mas seu futuro pode depender muito da aceleração por hardware em dispositivos de rede.

Leia mais
(lwn.net)
Desenvolvimento protocolo de rede

Acidente aéreo na Coreia do Sul mata 179, gerando luto nacional e revisão de segurança

2024-12-30
Acidente aéreo na Coreia do Sul mata 179, gerando luto nacional e revisão de segurança

Um Boeing 737-800 da Jeju Air, com 181 passageiros a bordo, caiu no Aeroporto de Muan, na Coreia do Sul, matando 179 pessoas. Este é o pior desastre aéreo do país em décadas. O acidente ocorreu em meio a uma turbulência política após o impeachment do presidente e do primeiro-ministro, levantando preocupações sobre a capacidade do governo de lidar com a crise. A Coreia do Sul ordenou inspeções de segurança em todas as aeronaves 737-800 e uma revisão abrangente dos padrões de segurança da Jeju Air. Os investigadores estão examinando fatores como uma possível falha no trem de pouso, possível falha hidráulica e o projeto de segurança das barreiras da pista do aeroporto. A tragédia levou a um período de luto nacional de sete dias e destacou a necessidade de maior segurança na aviação e melhores capacidades de resposta a desastres.

Leia mais
(apnews.com)
Tecnologia Acidente aéreo Coreia do Sul Segurança da aviação
1 2 … 528 529 530 532 534 535 536 … 568 569