Webtagr - Sumário de Notícias de Tecnologia

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

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.

(marcusb.org)

Tecnologia desenvolvimento tecnológico aprendizagem infantil

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.

(arxiv.org)

Desenvolvimento Geração de Código

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

2024-12-30

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

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.

(floridaphoenix.com)

Tecnologia batalha legal governo local

IA resolve o enigma do balanceador de esteiras do Factorio

2024-12-30

IA resolve o enigma do balanceador de esteiras do Factorio

Esta postagem de blog descreve a jornada do autor na automação do design de balanceadores de esteiras do Factorio, um problema notoriamente complexo. Usando solucionadores de Programação de Inteiros Mistos (MIP) e Programação de Restrições SAT (CP-SAT), o autor enfrentou o desafio. Embora o modelo MIP tenha lutado com instabilidade numérica para balanceadores maiores, a abordagem CP-SAT, empregando discretização de fluxos e incorporando redes Banes e otimização de memória, resolveu com sucesso o design para um balanceador de 16x16 — uma façanha praticamente impossível manualmente. O processo destaca o papel crucial das técnicas de modelagem, seleção de algoritmos e estratégias de otimização para alcançar soluções eficientes.

(gianlucaventurini.com)

IA Algoritmos de Otimização

Contornando a Criptografia BitLocker no Windows 11 por meio de Dump de Memória

2024-12-30

Este artigo demonstra como contornar a criptografia BitLocker no Windows 11 extraindo a Chave de Criptografia de Volume Completo (FVEK) da memória. Com acesso físico ao dispositivo e reinicializando-o abruptamente, um atacante pode capturar o conteúdo da RAM, que pode conter a FVEK. O autor utiliza um aplicativo UEFI, Memory-Dump-UEFI, para alcançar isso. O processo envolve criar um USB inicializável, reiniciar o sistema à força, inicializar a partir do USB, analisar o dump de memória e usar tags de pool para localizar a FVEK. O artigo detalha essas etapas e enfatiza o uso de ferramentas como dislocker para desbloquear a partição protegida por BitLocker. O método não é infalível e depende de vários fatores, como a velocidade do dump de memória e o tempo de reinicialização.

(noinitrd.github.io)

Tecnologia Dump de Memória Segurança do Windows

Startup de contabilidade Bench é adquirida após fechamento abrupto

2024-12-30

Startup de contabilidade Bench é adquirida após fechamento abrupto

A Bench, startup de contabilidade com apoio de capital de risco que fechou abruptamente na semana passada, deixando milhares de clientes sem acesso às suas contas, foi adquirida pela Employer.com por um preço não divulgado. A Employer.com, uma empresa de tecnologia de RH com sede em São Francisco focada em folha de pagamento e integração, reviverá a plataforma da Bench. Os clientes poderão transferir seus dados ou continuar o serviço sob a nova propriedade. A recomendação anterior para que os clientes solicitassem uma prorrogação de seis meses ao IRS não é mais necessária se eles optarem por permanecer com o serviço.

(techcrunch.com)

Startup aquisição de startup contabilidade tecnologia de RH

Hacker revive satélite inativo remotamente: Beesat-1 volta à operação

2024-12-30

Hacker revive satélite inativo remotamente: Beesat-1 volta à operação

O satélite de teste Beesat-1 da TU de Berlim, lançado em 2009, ficou inativo em 2013. No entanto, na conferência 38C3, o hacker PistonMiner revelou como ele reviveu remotamente o satélite. Identificando um erro de software, e não uma falha de hardware, como o culpado, PistonMiner usou um modelo de teste terrestre 'Frankenstein-Beesat' para depuração. Uma atualização de software restaurou a funcionalidade, até mesmo reativando uma câmera de bordo que se presumia estar quebrada. Essa façanha não apenas trouxe o pequeno satélite de volta à vida, mas também oferece um modelo potencial para reviver outros satélites inativos.

(www.heise.de)

Tecnologia reparação de satélite erro de software

ts_zip: Compressão de Texto usando Modelos de Linguagem Grandes

2024-12-30

Fabrice Bellard lançou a ts_zip, uma ferramenta de compressão de texto que utiliza o modelo de linguagem grande RWKV 169M v4 para alcançar taxas de compressão muito superiores às de ferramentas tradicionais. Embora necessite de GPU e 4 GB de RAM, e seja mais lenta que os compressores convencionais (até 1 MB/s em uma RTX 4090), a ts_zip demonstra uma compressão impressionante em textos em inglês e outros idiomas, incluindo código-fonte. A taxa de compressão é medida em bits por byte (bpb), com resultados mostrando desempenho superior ao xz em conjuntos de dados como enwik8 e enwik9. A avaliação do modelo determinística garante a descompactação consistente em diferentes configurações de hardware e software.

(bellard.org)

Desenvolvimento compressão de texto

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.

(arxiv.org)

Desenvolvimento Testes Unitários

Nvidia de código aberto Run:ai após aquisição de US$ 700 milhões

2024-12-30

Nvidia de código aberto Run:ai após aquisição de US$ 700 milhões

A Nvidia concluiu sua aquisição de US$ 700 milhões da Run:ai, uma empresa de software que simplifica a orquestração de nuvens de GPU para IA, e imediatamente tornou o software de código aberto. Essa medida provavelmente é uma resposta estratégica às preocupações antitruste, permitindo um acesso mais amplo à tecnologia e mitigando potenciais problemas regulatórios decorrentes da dominância de mercado da Nvidia. O software da Run:ai ajudará as empresas a gerenciar eficientemente os recursos de GPU para desenvolvimento de IA, promovendo o crescimento dentro do ecossistema de IA em geral.

(venturebeat.com)

IA

Youtuber vence batalha DMCA contra falso advogado da Nintendo

2024-12-30

Youtuber vence batalha DMCA contra falso advogado da Nintendo

O YouTuber alemão Domtendo enfrentou solicitações de remoção DMCA de um falso advogado da Nintendo, ameaçando seu canal de 17 anos. Ao notar o uso do advogado de um endereço de e-mail ProtonMail e entrar em contato diretamente com a Nintendo, Domtendo expôs a fraude. A Nintendo confirmou a ilegitimidade do e-mail, levando à retratação das reivindicações. Esse incidente destaca falhas no sistema DMCA do YouTube e a prevalência de abuso de direitos autorais, levando a pedidos de reforma de políticas.

(arstechnica.com)

Jogos Violação de direitos autorais

Aviso de Comunicação Interna da Equipe Diaspora*

2024-12-30

Aviso de Comunicação Interna da Equipe Diaspora*

Este trecho é de uma comunicação interna da equipe Diaspora*. Ele afirma que o site requer JavaScript para funcionar corretamente e fornece instruções sobre como relatar conteúdo, incluindo os critérios de relato. Também há links para discussões e suporte do projeto Diaspora*, juntamente com informações do site, como versão do código, estatísticas do pod, termos de serviço, informações de contato e uma opção de modo otimizado para toque.

(pod.geraspora.de)

Desenvolvimento Manutenção do Site

SQLite: Uma Lenda Inacreditável de Banco de Dados

2024-12-30

O SQLite, o banco de dados mais amplamente implantado do mundo, é mantido por uma equipe de três pessoas, rejeitando contribuições externas, mas conquistando o mundo com seu desempenho excepcional e estabilidade. Nascido em um navio de guerra dos EUA para resolver problemas de inatividade do servidor, tornou-se a pedra angular de trilhões de bancos de dados. O SQLite não é de código aberto, mas sim um software de domínio público, com menos restrições do que qualquer licença de código aberto. Seu rigoroso processo de teste, simulando até mesmo situações extremas como travamentos do sistema operacional, garante sua confiabilidade incrivelmente alta. No entanto, seu modelo de negócios único — gerando receita por meio de suporte pago e associações — também é digno de nota. A lenda do SQLite reside não apenas em sua proeza técnica, mas também na persistência e inovação por trás dele.

(avi.im)

Desenvolvimento lenda

Nova ferramenta de compressão de mensagens curtas: ts_sms

2024-12-30

ts_sms é uma nova ferramenta para compressão de mensagens curtas usando modelos de linguagem grandes. Ela usa compressão sem perdas, reduzindo bits identificando e eliminando redundância estatística sem perda de informação. Comparada com ferramentas como brotli, ts_sms apresenta vantagens na compressão de mensagens pequenas. Versões para Linux e Windows estão disponíveis. Sua tecnologia principal é similar ao ts_zip, utilizando um sistema de preenchimento específico compatível com codificação aritmética, eliminando a necessidade de codificar explicitamente o comprimento da mensagem.

(bellard.org)

Desenvolvimento

Lojas 'zumbis' da Rite Aid: Um fantasma do varejo passado?

2024-12-30

Lojas 'zumbis' da Rite Aid: Um fantasma do varejo passado?

Já um jogador dominante no mercado de drogarias dos EUA, a Rite Aid agora é uma sombra do que já foi, enfrentando falência e concorrência acirrada. Centenas de lojas foram fechadas, deixando prateleiras vazias e ganhando o apelido de lojas "zumbis". Os consumidores são obrigados a procurar alternativas em concorrentes como Walmart e Amazon. As dificuldades da Rite Aid refletem os desafios mais amplos do setor de farmácias, incluindo concorrência intensa, custos crescentes e escassez de pessoal. Embora alguns locais vagos estejam sendo reutilizados por outros varejistas, o futuro da Rite Aid permanece incerto, com suas lojas "zumbis" potencialmente marcando o fim de uma era.

(qz.com)

Startup indústria farmacêutica concorrência de mercado setor farmacêutico declínio do varejo Varejo Falência

Jimmy Carter: O Maior Presidente Ambiental da América

2024-12-30

Jimmy Carter: O Maior Presidente Ambiental da América

Este artigo examina as conquistas ambientais significativas do ex-presidente dos EUA, Jimmy Carter. Apesar de sua baixa popularidade, Carter, já em 1979, previu a gravidade da crise climática e promoveu ativamente as energias renováveis. O artigo destaca as numerosas leis ambientais assinadas durante sua presidência e seus esforços para proteger as áreas selvagens americanas. Embora algumas das políticas energéticas de Carter sejam controversas, sua compreensão e resposta à mudança climática consolidam seu lugar como um dos maiores presidentes ambientais da América.

(www.rollingstone.com)

Diversos proteção ambiental

A Civilização Humana em um Cruzamento: Colapso Autoritário ou Superabundância?

2024-12-30

A Civilização Humana em um Cruzamento: Colapso Autoritário ou Superabundância?

O Dr. Nafeez Ahmed, um renomado teórico de sistemas, argumenta em um novo estudo publicado na revista Foresight que a civilização humana está à beira de um 'salto gigante' na evolução em direção a uma 'superabundância em rede' alimentada por energia limpa distribuída. No entanto, esse progresso é ameaçado pelo aumento do autoritarismo e do populismo nacionalista. Ahmed, que previu com precisão a crise financeira de 2008 e o crescimento da energia limpa, afirma que a civilização industrial está em declínio, mas tecnologias emergentes como energia limpa, agricultura celular e IA podem criar uma prosperidade sem precedentes. O sucesso dessa transição depende da governança responsável dessas novas capacidades.

(www.eurekalert.org)

IA transformação civilizacional autoritarismo

Engenharia Reversa: Desvendando a Caixa Preta do Microcontrolador de RF TI SimpleLink

2024-12-30

Engenharia Reversa: Desvendando a Caixa Preta do Microcontrolador de RF TI SimpleLink

Apesar da popularidade dos microcontroladores de RF de baixo custo, o funcionamento interno de seu hardware de RF permanece em grande parte sem documentação. Esta palestra investiga a família Texas Instruments SimpleLink de MCUs de RF BLE e Sub-GHz. Embora o manual de referência seja abrangente, a seção de rádio é surpreendentemente escassa. Os apresentadores fizeram engenharia reversa do subsistema de RF do SimpleLink MCU, explicando seu funcionamento, da pilha à antena. Eles também fizeram engenharia reversa do formato de patch de RF proprietário da TI e investigaram os núcleos ocultos do modem DSP, potencialmente abrindo caminho para um SDR de chip único barato.

(media.ccc.de)

Hardware microcontrolador RF

Unidades de Execução Frequentemente São Pipelinadas

2024-12-30

Este artigo explora o pipeline de unidades de execução em microarquiteturas fora de ordem. A autora inicialmente supôs que as unidades de execução permanecem ocupadas até a conclusão da µop, mas usando a microarquitetura Firestorm (A14 e M1) como exemplo, demonstra que duas unidades de execução inteiras podem lidar com múltiplas multiplicações simultaneamente, cada uma levando três ciclos. Ao comparar sequências de instruções dependentes e independentes, a autora revela que muitas combinações de unidade de execução/µop são altamente pipelinadas, permitindo que uma µop seja emitida enquanto a unidade processa outras. Isso reduz o tempo de execução para instruções independentes de 6 ciclos previstos para 4. Finalmente, a autora explica por que as tabelas de latência e largura de banda de instruções especificam a taxa de transferência recíproca – é equivalente a ciclos/instrução.

(blog.xoria.org)

Desenvolvimento microarquitetura pipeline unidades de execução

Panel Graphic Walker: Exploração interativa de dados com HoloViz Panel

2024-12-30

Panel Graphic Walker: Exploração interativa de dados com HoloViz Panel

O Panel Graphic Walker é uma biblioteca Python que integra o poder do Graphic Walker ao HoloViz Panel para exploração interativa de dados em Jupyter Notebooks e aplicativos Panel. Ele oferece uma interface semelhante ao Tableau, permitindo que os usuários criem visualizações e tabelas dinâmicas rapidamente com código mínimo. Ele suporta vários backends de dados e renderizadores e pode lidar com grandes conjuntos de dados usando computação do lado do servidor. O projeto está em seus estágios iniciais; recomenda-se fixar uma versão específica.

(github.com)

Desenvolvimento exploração interativa de dados

Nova classe de entidades semelhantes a vírus encontrada no intestino humano

2024-12-30

Nova classe de entidades semelhantes a vírus encontrada no intestino humano

Pesquisadores descobriram uma classe completamente nova de objetos semelhantes a vírus no sistema digestivo humano, apelidados de 'Obeliscos'. Essas estruturas de RNA, com aproximadamente 1.000 nucleotídeos de comprimento, são diferentes de quaisquer vírus conhecidos e podem representar uma entidade biológica totalmente nova, potencialmente unindo a lacuna evolutiva entre moléculas genéticas simples e vírus complexos. Encontrados em microbiomas humanos, os Obeliscos codificam uma proteína nova chamada 'Oblins', mas seu impacto nas células hospedeiras e seu mecanismo de transmissão permanecem desconhecidos. Essa descoberta abre novas e empolgantes vias para a pesquisa em ciências da vida.

(www.sciencealert.com)

IA vírus microbioma

Magnus Carlsen retorna ao torneio após polêmica com jeans

2024-12-30

Magnus Carlsen retorna ao torneio após polêmica com jeans

O campeão mundial de xadrez, Magnus Carlsen, retornou a um grande torneio após ter abandonado a competição por causa de uma disputa sobre o código de vestimenta. Ele foi solicitado a trocar sua calça jeans no Campeonato Mundial de Xadrez Rápido e Blitz da Fide, em Nova York. A Federação Internacional de Xadrez (FIDE) relaxou posteriormente seu código de vestimenta para permitir "desvios menores elegantes", incluindo jeans apropriados. Carlsen criticou o modo como o evento lidou com a situação, mas acabou retornando, afirmando seu amor pelo torneio. O incidente gerou um debate sobre as regras de código de vestimenta no xadrez profissional.

(news.sky.com)

Jogos Xadrez Código de vestimenta

Bench Contabilidade: Boas-vindas de Volta

2024-12-30

A Bench Contabilidade anunciou que em breve estará disponível mais informações sobre como continuar seus serviços.

(www.bench.co)

Diversos Bench Contabilidade retoma de serviços anúncio

Filósofo desafia a convenção: Termostatos têm consciência?

2024-12-30

Filósofo desafia a convenção: Termostatos têm consciência?

O filósofo David Chalmers, em seu livro *A Mente Consciente*, propõe uma ideia radical: até mesmo termostatos simples podem possuir experiência consciente. Ele argumenta que a consciência não é exclusiva de sistemas complexos, mas uma propriedade fundamental ligada ao processamento de informações. De humanos a ratos a termostatos, a complexidade da consciência pode diminuir com a diminuição da capacidade de processamento de informações, mas não desaparece necessariamente. Embora um termostato tenha apenas estados de informação simples, sua experiência correspondente pode ser tão simples e primitiva quanto o preto, o branco e o cinza. Essa visão desafia as compreensões tradicionais da consciência, levando a uma reevaluación de sua natureza fundamental.

(annakaharris.com)

IA processamento de informações

Zig: Mais Seguro e Rápido que Rust Inseguro?

2024-12-30

Zig: Mais Seguro e Rápido que Rust Inseguro?

Este post de blog compara Rust e Zig através da implementação de um interpretador de bytecode com garbage collection. O autor achou o Rust inseguro incrivelmente desafiador, citando regras de aliasing complexas e comportamento indefinido como obstáculos importantes. Em contraste, Zig ofereceu uma experiência mais amigável para desenvolvedores em operações de memória inseguras, incluindo detecção de vazamento de memória embutida e ergonomia de ponteiros melhorada. A implementação em Zig acabou sendo mais segura, rápida e fácil de desenvolver do que sua contraparte em Rust.

(zackoverflow.dev)

Desenvolvimento Segurança de Memória

Sistema de Denúncias da Boeing e da FAA Falha, Deixando Denunciantes em Situação Difícil

2024-12-30

Sistema de Denúncias da Boeing e da FAA Falha, Deixando Denunciantes em Situação Difícil

Este artigo expõe falhas graves no sistema de denúncias da Boeing, de sua fornecedora Spirit AeroSystems e da Administração Federal de Aviação (FAA). Vários denunciantes relatam problemas de segurança com grande risco pessoal e profissional, mas a FAA não encontra violações em mais de 90% dos casos. Isso deixa os denunciantes expostos a retaliações, desemprego e sofrimento emocional; alguns até morreram como resultado. O artigo usa as experiências de vários denunciantes para destacar a falta de independência do sistema e a proteção inadequada, pedindo reformas para garantir a segurança da aviação e proteger os direitos dos denunciantes.

(www.seattletimes.com)

Tecnologia proteção a denunciantes

Passkeys: Elegantes, mas não seguras o suficiente para uso prático

2024-12-30

Passkeys: Elegantes, mas não seguras o suficiente para uso prático

As passkeys, apresentadas como alternativa às senhas, visam aumentar a segurança e simplificar o processo de login. No entanto, este artigo destaca problemas significativos de usabilidade. Embora elegante em termos técnicos, a falta de padronização entre plataformas (sistemas operacionais, navegadores, aplicativos) resulta em uma experiência de usuário confusa, com diferentes prompts e fluxos de trabalho. Gerenciadores de senhas podem aliviar alguns problemas, mas isso depende da adoção pelo usuário. Muitos sites ainda permitem login com senhas, o que prejudica a segurança das passkeys. Atualmente, as passkeys são mais uma solução de transição do que uma tecnologia totalmente madura.

(arstechnica.com)

Tecnologia

Wi-Fi e Interferência de Radar: Os Desafios do DFS

2024-12-30

Wi-Fi e Interferência de Radar: Os Desafios do DFS

Este artigo explora os problemas de interferência entre redes Wi-Fi e sistemas de radar na banda de 5 GHz. Como o Wi-Fi opera em espectro não licenciado, a proximidade de aeroportos ou outras instalações que usam radar pode levar a interferência, causando quedas de dispositivos. A Seleção Dinâmica de Frequência (DFS) visa mitigar isso, mas sua implementação não é perfeita. O DFS pode causar breves interrupções no ponto de acesso Wi-Fi, afetando a experiência do usuário. O artigo sugere evitar canais DFS de banda UNI II perto de instalações de radar ou usar APs mais novos e a banda estendida UNI II para minimizar problemas.

(blog.iptel.com.au)

Tecnologia Interferência de Radar

Apple e Meta em conflito sobre interoperabilidade e privacidade

2024-12-30

Apple e Meta em conflito sobre interoperabilidade e privacidade

Apple e Meta estão em conflito na Europa por causa da Lei de Mercados Digitais (DMA) da União Europeia. A DMA exige interoperabilidade, obrigando empresas designadas como guardiãs, como Apple e Meta, a permitir que concorrentes acessem serviços essenciais de suas plataformas. A Meta fez 15 pedidos de interoperabilidade à Apple, levando a Apple a alertar sobre riscos significativos de privacidade e segurança se concedidos, potencialmente expondo dados de usuários extensivamente. A Meta rebate que as preocupações de privacidade da Apple são infundadas e um pretexto para sufocar a concorrência. Esse conflito destaca a tensão entre interoperabilidade e privacidade do usuário, e os desafios enfrentados pelos reguladores da UE na aplicação da DMA.

(techcrunch.com)

Tecnologia

Pincites Contrata Engenheiros de IA e Frontend

2024-12-30

Pincites Contrata Engenheiros de IA e Frontend

A startup de IA Pincites, do YC S23, está contratando engenheiros experientes de back-end e IA aplicada, além de engenheiros de front-end. A Pincites desenvolveu um assistente de negociação de contratos com IA integrado ao Microsoft Word, ajudando as equipes jurídicas a revisar e revisar contratos mais rapidamente. A empresa está em rápido crescimento, dobrando sua receita nos três primeiros meses de 2024 e está em um ponto de inflexão. Os fundadores têm experiência em grandes escritórios de advocacia, grandes empresas de tecnologia e startups de alto crescimento.

(www.ycombinator.com)

IA

← Previous 1 2 … 529 530 531 532 533 534 535 536 537 … 568 569 Next →