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

Avanço na Avaliação de Modelos de Linguagem Grandes para Geração de Testes Unitários

2024-12-30

Pesquisadores realizaram uma avaliação abrangente do potencial de Modelos de Linguagem Grandes (LLMs) na automação da geração de testes unitários. Eles compararam o desempenho de cinco LLMs de código aberto contra o GPT-4 de código fechado e a ferramenta tradicional Evosuite em 17 projetos Java, investigando o impacto de diferentes estratégias de prompt. O estudo descobriu que os LLMs de código aberto oferecem vantagens em privacidade de dados e superam em desempenho em determinadas tarefas, mas também revelou limitações na geração de testes unitários baseada em LLM. Esta pesquisa fornece insights valiosos para orientar aplicações futuras de LLMs nessa área.

Leia mais
(arxiv.org)
Desenvolvimento Testes Unitários

A Verdade Suja sobre o Spotify Finalmente Revelada

2024-12-21

Uma investigação de um ano revelou as práticas enganosas do Spotify. Um programa chamado "Conteúdo de Ajuste Perfeito" (PFC) envolve parcerias com empresas de produção para criar e promover artistas e faixas falsas, inflando artificialmente as contagens de reprodução para reduzir os custos de royalties e aumentar os lucros. Essas faixas falsas, muitas vezes ambiente, clássicas, eletrônicas, jazz ou lo-fi, são estrategicamente colocadas em playlists projetadas para audição em segundo plano. As vendas significativas de ações do CEO do Spotify na época das revelações alimentaram ainda mais a controvérsia. Esse escândalo levanta sérias preocupações sobre transparência e justiça na indústria da música, levando a pedidos de investigação do Congresso e um ecossistema de streaming de música mais transparente.

Leia mais
(www.honest-broker.com)
Tecnologia streaming de música

Avaliando a capacidade de geração de código de LLMs: Apresentando o MultiCodeBench

2024-12-30

Assistentes de programação baseados em IA e alimentados por Large Language Models (LLMs) de código tornaram-se cada vez mais comuns, aumentando significativamente a produtividade dos desenvolvedores. No entanto, os benchmarks existentes de geração de código focam principalmente em cenários de uso geral, deixando o desempenho dos LLMs em domínios de aplicativos específicos em grande parte desconhecido. Este artigo apresenta o MultiCodeBench, um novo benchmark composto por 2.400 tarefas de programação em 12 domínios populares de desenvolvimento de software e 15 linguagens de programação. Experimentos em onze LLMs principais revelam seu desempenho na geração de código em diferentes domínios, oferecendo insights práticos para desenvolvedores na seleção de LLMs e orientação para desenvolvedores de modelos para melhorar as capacidades de geração de código específicas do domínio.

Leia mais
(arxiv.org)
Desenvolvimento Geração de Código

Tribunal de Apelações da Flórida Rejeita Iniciativa de Direitos à Água Limpa

2024-12-30

Um tribunal de apelações da Flórida decidiu contra uma iniciativa de Titusville para estabelecer o direito à água limpa, apesar de ter sido aprovada por 83% dos eleitores. O tribunal citou uma lei estadual de 2020 que proíbe os governos locais de conceder direitos a corpos d'água, preemptando efetivamente a medida local. Essa decisão destaca a tensão contínua entre os governos estaduais e locais sobre a proteção ambiental na Flórida e destaca as limitações da ação local diante de legislação estadual conflitante.

Leia mais
(floridaphoenix.com)
Tecnologia batalha legal governo local

Plataforma Bench encerrará em 27 de dezembro de 2024

2024-12-27

A plataforma de contabilidade Bench anunciou o encerramento de suas operações em 27 de dezembro de 2024. Este fechamento inesperado afetará os usuários, mas a equipe Bench se compromete a garantir uma transição tranquila. Eles recomendam a mudança para o software de contabilidade Kick, oferecendo um acordo exclusivo. Mais informações sobre acesso aos dados estarão disponíveis em seu site até 30 de dezembro.

Leia mais
(bench.co)
Startup fechamento da plataforma software de contabilidade migração de dados

Windows 2: O sistema operacional que quase foi o último

2025-01-01

Este artigo mergulha na história não contada do Windows 2.0, um capítulo frequentemente esquecido na história das interfaces gráficas do usuário (GUIs). Explora as limitações técnicas da época, a intensa competição de sistemas como VisiOn e Apple Lisa, e as lutas internas na Microsoft que moldaram o desenvolvimento do Windows 2.0. Apesar da falta de abundância de software, o Windows 2.0 exibiu recursos surpreendentes, como suporte a mouse e multitarefa básica. Apesar de quase se tornar um beco sem saída, suas lições se mostraram cruciais para o sucesso posterior do Windows 3.0. A narrativa entrelaça detalhes técnicos, contexto histórico e anedotas do processo de desenvolvimento, pintando um quadro convincente deste momento crucial na história da computação.

Leia mais
(www.ninakalinina.com)
Tecnologia História do Windows Desenvolvimento de SO

Consoles russas não conseguem competir com PS5 e Xbox Series X

2024-12-31

A tentativa da Rússia de criar seus próprios consoles de videogame está enfrentando dificuldades. Um console, alimentado pelo processador Elbrus, não possui o desempenho necessário para competir com o PS5 ou o Xbox Series X. Outro, um console de jogos em nuvem da MTS, custa apenas US$ 45 e depende de uma plataforma de jogos em nuvem. O governo russo admite que esses consoles não conseguem competir com os consoles de última geração, mas seu objetivo é promover o desenvolvimento de jogos domésticos.

Leia mais
(www.techspot.com)
Jogos consoles russas processador Elbrus jogos em nuvem

IOCCC comemora 40º aniversário com a 28ª competição

2024-12-30

O Concurso Internacional de Código C Ofuscado (IOCCC) está realizando sua 28ª competição, marcando seu 40º aniversário. Este evento celebra a criatividade e as habilidades de codificação excêntricas na linguagem de programação C. Para usar o aplicativo web Mastodon, é necessário JavaScript; como alternativa, considere usar um aplicativo nativo do Mastodon.

Leia mais
(fosstodon.org)
Desenvolvimento competição de codificação

A Estratégia das Cem Páginas Diárias: Um Hábito para a Vida

2024-12-21

Matthew Walther, editor da revista *The Lamp*, compartilha sua "estratégia das cem páginas por dia". Não se trata de um plano rígido, mas de um hábito cultivado para combater as distrações da vida moderna e recuperar o prazer da leitura. Walther divide seu dia em vários intervalos de leitura, utilizando até mesmo o tempo fragmentado. Ele enfatiza a diversificação do material de leitura, equilibrando livros pesados e leves, e sempre carregando um livro. O objetivo final é estabelecer um hábito de leitura, não seguir estritamente uma contagem de páginas.

Leia mais
(thelampmagazine.com)
Diversos estratégia de leitura hábito de leitura leitura eficaz

Novo artigo de Tao: Investigando a distribuição de autovalores de GUE e suas menores

2024-12-22

Em seu último preprint no arXiv, o renomado matemático Terence Tao investiga a distribuição de autovalores do Conjunto Unitário Gaussiano (GUE) e suas menores em índices fixos. Usando processos determinantais e técnicas analíticas sofisticadas, o artigo estabelece várias estimativas sobre lacunas de autovalores, abordando questões anteriormente sem resposta e abrindo caminho para trabalhos futuros sobre o comportamento limitante de 'colmeias' com condições de contorno GUE. Esta pesquisa contribui significativamente para a compreensão de modelos de matrizes aleatórias e campos relacionados.

Leia mais
(terrytao.wordpress.com)
Desenvolvimento matrizes aleatórias distribuição de autovalores

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

2024-12-31

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

O Critério de Kelly: Uma Abordagem Matemática para Decisões de Seguro

2024-12-21

Este artigo explora como o critério de Kelly pode ser usado para tomar decisões racionais sobre seguros. O autor desmascara equívocos comuns sobre seguros, argumentando que é um problema matemático, não filosófico. A ideia central é que o seguro evita grandes reduções de riqueza, acelerando o crescimento de juros compostos. Uma fórmula é apresentada para calcular o valor (V) do seguro, considerando a riqueza atual, o prêmio, a probabilidade de acidentes e o custo. Exemplos de seguros de motocicleta e de helicóptero ilustram os cálculos e o impacto da franquia. O autor explica como as seguradoras lucram e a relatividade dos custos.

Leia mais
(entropicthoughts.com)
Diversos Seguro Gestão de Riscos

Crie sua própria Máquina Virtual: Um guia passo a passo

2024-12-26

Este tutorial o guia na criação de sua própria máquina virtual (VM) capaz de executar programas em linguagem assembly, como os jogos 2048 ou Roguelike. Mesmo que você já seja um programador, este projeto proporciona uma compreensão mais profunda da arquitetura de computadores e de como as linguagens de programação funcionam. O tutorial abrange conceitos básicos de VM, a arquitetura LC-3, conjuntos de instruções, rotinas de armadilha, carregamento de programas e muito mais, com exemplos de código detalhados e explicações. O código final tem aproximadamente 250 linhas em C, tornando-o acessível àqueles com conhecimento básico de C/C++.

Leia mais
(www.jmeiners.com)
Desenvolvimento máquina virtual

Venezuela multa TikTok em US$ 10 milhões por desafios mortais

2025-01-01

O Supremo Tribunal da Venezuela multou o TikTok em US$ 10 milhões por não implementar medidas para prevenir desafios virais em vídeos que supostamente levaram à morte de três crianças venezuelanas. O tribunal alegou negligência e ordenou que o TikTok abra um escritório local para supervisionar o conteúdo e cumprir as leis venezuelanas. Isso destaca a rigorosa regulamentação de conteúdo online da Venezuela e as crescentes preocupações sobre a responsabilidade das plataformas de mídia social.

Leia mais
(apnews.com)
Tecnologia Regulamentação Online

EZRGB: Utilizando o DBOS para criar shows de luzes de Natal animados

2024-12-25

A EZRGB utiliza o DBOS para simplificar a criação e implantação de shows de luzes de Natal animados. Sua plataforma EZSequence permite que os usuários comprem sequências pré-fabricadas e as mapeiem automaticamente para os layouts de suas casas, eliminando o processo manual complexo. Construída com WordPress, DBOS Transact, AWS SQS e S3, a plataforma oferece uma solução escalonável e confiável, provando que até mesmo um nicho de mercado pode se beneficiar de tecnologia robusta.

Leia mais
(www.dbos.dev)
Desenvolvimento shows de luzes animados serviços em nuvem

Notas sobre a China: Uma Viagem de Duas Semanas

2024-12-29

Um apresentador de podcast relata sua viagem de duas semanas pela China, visitando Pequim, Chengdu, Monte Emei, Chongqing, Xangai e Hangzhou. Ele ficou impressionado com a escala do país, desde templos magníficos até arranha-céus que se espalham por cidades e áreas rurais. Observações sobre o planejamento urbano destacaram a eficiência e o controle social, enquanto conversas com jovens revelaram ansiedades sobre emprego e competição intensa. Apesar das limitações à liberdade de expressão, ele encontrou críticas generalizadas ao governo e preocupações sobre o futuro. Ele também aborda as restrições de financiamento no setor de IA da China e o estado atual de seu ecossistema tecnológico. A viagem proporcionou uma compreensão visceral da China, levando a reflexões sobre as relações EUA-China, o modelo de desenvolvimento chinês e a importância do foco.

Leia mais
(www.dwarkeshpatel.com)
Diversos Viagem Comentários Sociais

Abraçando o BlueSky com Cautela: Uma Estratégia de Mídias Sociais para Evitar Queimaduras

2024-12-29

Enquanto muitos usuários migram para o BlueSky, o autor compartilha uma abordagem cautelosa para ingressar na plataforma. O argumento principal é evitar construir todo o seu valor em plataformas controladas por outros. Usando a metáfora "Não construa castelos nos reinos de outras pessoas", o autor defende a criação de valor máximo em espaços autocontrolados, alavancando outras plataformas para direcionar a atenção e o valor para esses espaços. Vendo o BlueSky como uma plataforma que potencialmente desaparecerá em três anos, o autor concentra-se em sites pessoais e comunidades autoconstruídas para garantir o acúmulo de valor a longo prazo. Essa abordagem prioriza o controle dos próprios dados e presença online em vez de depender de plataformas de terceiros.

Leia mais
(chrisholdgraf.com)
Diversos estratégia de plataforma

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

2024-12-30

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

Otimização Peephole na VM Ruby: Adicionando opt_respond_to

2024-12-31

Esta é a quarta parte de uma série sobre otimização da Máquina Virtual Ruby (VM). O autor aprofunda-se na adição de uma instrução `opt_respond_to` ao CRuby para otimizar chamadas ao método `respond_to?`. O artigo detalha o uso de um depurador para rastrear a execução do código, localizar o otimizador peephole `iseq_peephole_optimize` e, analisando uma otimização de array congelado existente, tenta corresponder ao padrão de chamadas ao método `respond_to?`, preparando o terreno para a adição de uma nova instrução de otimização. O autor usa exemplos de código concisos e etapas de depuração para ilustrar claramente o mecanismo de otimização peephole e como depurar no código-fonte CRuby.

Leia mais
(jpcamara.com)
Desenvolvimento Otimização Peephole

O Avanço Tecnológico e a Aprendizagem Infantil: A Mudança de Era de um Computador

2024-12-30

O autor relata a experiência de sua filha aprendendo a usar um computador, contrastando-a com suas próprias experiências na infância. No passado, microcomputadores simples de 8 bits, como o Apple IIe, permitiam que as crianças explorassem independentemente a programação BASIC e aprendessem princípios de hardware. Hoje, computadores poderosos oferecem recursos abundantes, mas sua complexidade torna a autoaprendizagem difícil para as crianças. O autor teme que o ambiente da internet limite a exploração independente das crianças e que pais sem habilidades de programação não consigam orientar a aprendizagem de seus filhos, pedindo atenção à equidade da aprendizagem das crianças na era digital.

Leia mais
(marcusb.org)
Tecnologia desenvolvimento tecnológico aprendizagem infantil

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

A Evolução Impressionante dos Stents: Uma Jornada Pessoal

2024-12-29

Dezessete anos após um ataque cardíaco que o levou à implantação de um stent, o autor reflete sobre os notáveis avanços na tecnologia de stents. Ele traça paralelos entre a evolução dos stents — de estruturas metálicas básicas a dispositivos sofisticados com liberação de medicamentos e bioabsorvíveis — e o desenvolvimento de smartphones. O autor explora o impacto dos medicamentos GLP-1 no futuro dos procedimentos com stents e destaca o profundo efeito que essa tecnologia salvadora de vidas teve no cuidado cardiovascular, culminando em uma história pessoal de resiliência e gratidão.

Leia mais
(om.co)
Tecnologia tecnologia médica saúde cardiovascular

As 7 principais histórias da robótica em 2024

2024-12-31

2024 foi um ano de avanços sem precedentes na robótica. O financiamento da Série B da Figure, de US$ 675 milhões, avaliando a empresa em US$ 2,6 bilhões, impulsionou o desenvolvimento de robôs humanoides. A Boston Dynamics revelou seu novo robô Atlas totalmente elétrico, preparando o caminho para aplicações comerciais. A Nvidia investiu no projeto GR00T, com o objetivo de desenvolver um modelo de base de uso geral para robôs humanoides, resolvendo o desafio de implantação de robôs práticos, seguros e confiáveis. O artigo também explora avanços na autonomia dos robôs versus teleoperação e a aplicação de usinagem robótica na indústria aeroespacial. Por fim, relata a missão bem-sucedida do helicóptero Ingenuity em Marte e o desenvolvimento de seu sucessor.

Leia mais
(spectrum.ieee.org)
IA Robôs Humanoides

38C3: Instruções ilegais – Congresso de Comunicação Caótica explora tecnologia e sociedade

2024-12-29

O 38º Congresso de Comunicação Caótica (38C3), com o tema "Instruções ilegais", acontecerá em Hamburgo de 27 a 30 de dezembro de 2024. Organizado pelo Chaos Computer Club (CCC), este evento de quatro dias apresentará palestras e workshops sobre tecnologia, sociedade e utopia. Os tópicos incluem hacking de hardware, segurança, discussões éticas e políticas sobre os avanços tecnológicos. De liberar o Wi-Fi em ESP32 a quebrar o novo recurso de controle remoto do iPhone da Apple e examinar os sistemas de identidade digital da UE, o 38C3 promete uma programação diversificada que gerará debates sobre ética tecnológica e responsabilidade social.

Leia mais
(media.ccc.de)
Tecnologia Sociedade

Tratamento de Tempo em Common Lisp: A Solução LOCAL-TIME

2025-01-01

Este artigo mergulha nas complexidades do tratamento de tempo em Common Lisp e apresenta a solução do autor: a biblioteca LOCAL-TIME. Ele acompanha a evolução da representação do tempo humano, de notações imprecisas e dependentes de contexto para notações científicas precisas, destacando o caos introduzido por fatores políticos como o horário de verão. O LOCAL-TIME usa uma representação eficiente baseada em fixnum, integra dados de fuso horário mundial e lida com vários cálculos de tempo e conversões de formato, evitando assim erros decorrentes de representação imprecisa de tempo — como o infame problema do Y2K.

Leia mais
(naggum.no)
Desenvolvimento Tratamento de Tempo

Guerras de Bancos de Dados em 2024: Batalhas de Código Aberto, Aquisições de Grandes Empresas de Tecnologia

2025-01-01

2024 foi um ano tumultuado para o mundo dos bancos de dados, marcado por disputas de licenças e intensa competição entre gigantes da tecnologia. Redis e Elasticsearch enfrentaram forte reação da comunidade após alterações em suas licenças, revertendo para modelos de código aberto. A rivalidade entre Databricks e Snowflake expandiu-se além de benchmarks de desempenho, abrangendo LLMs e catálogos de dados, impulsionando a inovação. A facilidade de uso e portabilidade do DuckDB o tornaram uma escolha popular para consultas analíticas, levando à sua integração em vários sistemas. O ano também viu lançamentos como Aurora DSQL, CedarDB e Google Bigtable com suporte a SQL, juntamente com aquisições de empresas importantes como Alteryx e MariaDB. O artigo termina com uma narrativa sobre o 80º aniversário de Larry Ellison, destacando a imensa riqueza e a intensa competição na indústria de bancos de dados.

Leia mais
(www.cs.cmu.edu)
Tecnologia bancos de dados concorrência

Manual de Referência AP5: Uma Extensão Baseada em Lógica para Common Lisp

2024-12-21

AP5 é uma extensão do Common Lisp que permite aos usuários "programar" em um nível mais "especificacional", focando no que a máquina deve fazer em vez de como. Combina aspectos do Lisp e da linguagem de especificação Gist, incorporando partes compiláveis do Gist e oferecendo mecanismos de anotação para ajuste de desempenho. O AP5 usa um modelo relacional para representar dados e suporta uma linguagem de lógica de primeira ordem para acesso e manipulação de dados. Os programadores definem relações, regras e restrições, otimizando o desempenho por meio de anotações. O manual detalha a sintaxe do AP5, operações de banco de dados, regras, tipos, equivalência e especificações de implementação, fornecendo inúmeros exemplos e explicações.

Leia mais
(www.ap5.com)
Desenvolvimento Programação Lógica Banco de Dados Relacional

Como Lidar com Alertas de Segurança em Go: Um Guia Prático

2024-12-26

Este artigo fornece um guia prático sobre como lidar com alertas de segurança em Go. Usando as vulnerabilidades de segurança do Go de dezembro de 2024 nos pacotes golang.org/x/net e golang.org/x/crypto como exemplos, ele detalha como usar as ferramentas govulncheck e Docker Scout para verificar imagens Docker e código-fonte Go em busca de vulnerabilidades e como atualizar dependências. O artigo enfatiza a importância de diferenciar entre problemas de segurança potenciais e riscos reais e recomenda a automação de testes de segurança e processos de correção para eficiência e conformidade com as novas regulamentações de segurança cibernética da UE.

Leia mais
(jarosz.dev)
Desenvolvimento Segurança Go Varredura de Vulnerabilidades Gestão de Dependências

Batalha dos Bots: A Arena de Negociação com IA Esquenta

2024-12-31

Uma competição emocionante está em andamento: uma batalha de robôs de negociação com IA! As melhores equipes de IA do mundo inteiro inscreveram seus algoritmos em uma arena de negociação virtual. Esses robôs operam de forma autônoma, fazendo negociações com base em estratégias sofisticadas, incluindo negociação de alta frequência e análise quantitativa. O vencedor será determinado pela eficiência e adaptabilidade de seus algoritmos, mostrando tanto o potencial quanto os desafios da IA ​​nas finanças. Essa competição não é apenas um confronto tecnológico; é uma visão do futuro das finanças inteligentes.

Leia mais
(trading.snagra.com)
IA Negociação de Alta Frequência
1 2 … 21 22 23 25 27 28 29 … 59 60