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

Cybertruck ilegal no Reino Unido enfrenta batalha difícil para legalização

2024-12-15

Yianni Charalambous, um personalizador de carros do Reino Unido, está tentando registrar uma Tesla Cybertruck para uso em estradas no Reino Unido, após um sucesso semelhante na República Tcheca. No entanto, o design afiado da Cybertruck entra em conflito com as leis de segurança de pedestres do Reino Unido e da UE, apresentando desafios significativos. Seu sistema exclusivo de direção por fio, dependência de atualizações OTA indisponíveis no Reino Unido e incompatibilidade com os sistemas de recall da UE complicam ainda mais as coisas. Especialistas consideram suas chances de passar no teste IVA do Reino Unido extremamente pequenas.

(www.wired.com)

Tecnologia Modificação de Carro Regulamentos de Segurança

Arrastar e Soltar Imagens no Bevy 0.15 na Web

2024-12-15

Esta publicação demonstra como integrar APIs nativas da web via WASM com o Bevy 0.15 para habilitar a funcionalidade de arrastar e soltar imagens em um navegador web. Ela detalha o uso de wasm-bindgen, gloo e bevy_channel_trigger para lidar com eventos DOM em Rust, extrair dados de arquivos e passá-los para o mecanismo Bevy para carregamento e renderização de imagens. O processo espelha a implementação em JavaScript, mas utiliza as capacidades do Rust, abordando o tratamento de erros e vazamentos de memória de ouvintes de eventos. O resultado é um aplicativo web Bevy capaz de carregar e exibir imagens PNG soltas.

(rustunit.com)

Desenvolvimento Desenvolvimento Web

IA Generativa e Uso Justo: Um Estudo de Caso do ChatGPT

2024-12-14

Este artigo examina se modelos de IA generativa, particularmente o ChatGPT, se qualificam para uso justo de material protegido por direitos autorais. O autor analisa os quatro fatores descritos na Seção 107 da Lei de Direitos Autorais dos EUA: propósito e caráter do uso, natureza da obra protegida por direitos autorais, quantidade e substancialidade da parte usada e efeito no mercado. Através de um estudo de caso do ChatGPT, o autor argumenta que o uso do ChatGPT de seus dados de treinamento provavelmente constitui violação de direitos autorais. A natureza comercial do ChatGPT e sua incapacidade de transformar os dados de treinamento, juntamente com o prejuízo ao mercado de obras originais, contradizem os princípios do uso justo.

(suchir.net)

IA Direitos Autorais Uso Justo

Becos Sem Saída Filosóficos na Teoria da Evolução

2024-12-15

Esta resenha examina "O Livro Genético dos Mortos" de Richard Dawkins e "A Vida Como Ninguém Conhece: A Física do Surgimento da Vida" de Sara Imari Walker. Dawkins continua sua teoria do "gene egoísta", argumentando que os genes são a força motriz central da evolução. No entanto, a resenha aponta que essa visão está desatualizada e não consegue considerar adequadamente fatores como desenvolvimento, epigenética e construção de nicho. O livro de Walker tenta explicar a origem da vida a partir da perspectiva da teoria da montagem, mas a resenha argumenta que é excessivamente simplista e não consegue esclarecer totalmente a essência da vida. O artigo conclui que livros de ciência popular muitas vezes tendem a narrativas simplistas, ignorando a complexidade e a diversidade do campo da biologia.

(lareviewofbooks.org)

IA evolução

Um Novo Paradigma para Interação com IA: Modelos como Computadores

2024-12-15

Este artigo explora o futuro da interação com IA, propondo um novo paradigma: tratar modelos de linguagem grandes (LLMs) como 'aplicativos de computador' em vez de 'pessoas'. O autor argumenta que a abordagem antropomórfica atual é ineficiente e limita o potencial dos LLMs. Ele sugere que os LLMs devem gerar interfaces gráficas, não apenas conversas de texto, para melhorar a eficiência e a descoberta, permitindo que os usuários manipulem diretamente, como com aplicativos típicos. Este paradigma de 'modelo como computador' transformará a interação humano-computador e levará a experiências novas, como a geração dinâmica de interfaces adaptadas às necessidades do usuário, potencialmente até substituindo sistemas operacionais. O artigo cita protótipos tecnológicos existentes e olha para desenvolvimentos futuros.

(willwhitney.com)

IA Interação com IA Interação Humano-Computador

Os Grandes Modelos de Linguagem Põem Fim à Programação?

2024-12-15

Avanços recentes em grandes modelos de linguagem (LLMs) geraram debates sobre a obsolescência da programação. Este artigo argumenta contra essa visão excessivamente otimista. Concentrando-se na complexidade computacional da síntese de programas, o autor demonstra que gerar código correto é um problema PSPACE-completo, o que significa que até mesmo entradas de tamanho moderado podem exigir tempo exponencial. Embora os LLMs possam auxiliar programadores e aumentar a eficiência, suas limitações inerentes impedem que substituam completamente os programadores humanos. O cerne da programação continua sendo a resolução de problemas e o design de sistemas, exigindo engenhosidade e criatividade humanas.

(cacm.acm.org)

Desenvolvimento síntese de programas grandes modelos de linguagem futuro da programação

Spark x DuckDB x Polars: Comparação de Desempenho para Cargas de Trabalho Pequenas e Médias

2024-12-15

Este artigo compara os motores de processamento de dados Spark, DuckDB e Polars, avaliando seu desempenho, custo e facilidade de desenvolvimento em conjuntos de dados de 10 GB e 100 GB. Os resultados mostram que, para conjuntos de dados grandes e tarefas ETL, o Spark continua sendo dominante devido às suas capacidades de computação distribuída e ecossistema maduro. O DuckDB e o Polars se destacam em consultas interativas e exploração de dados em conjuntos de dados menores. O autor recomenda uma abordagem estratégica de combinação e correspondência, usando o Spark para ETL, o DuckDB para consultas interativas e o Polars para cenários de nicho, adaptando a escolha do motor às necessidades específicas.

(milescole.dev)

Desenvolvimento motores de processamento de dados

Cientistas Descobrem Quatro Novas Espécies de Caravela-Portuguesa

2024-12-14

Pesquisas recentes revelaram quatro novas espécies de caravela-portuguesa, desafiando nossa compreensão dessa criatura venenosa. Longe de ser um único organismo, a caravela-portuguesa é uma colônia de quatro ou cinco indivíduos distintos, cada um responsável por funções como flutuação, picada, digestão e reprodução. Essa estrutura colonial única é uma maravilha da engenharia natural. Além disso, a caravela-portuguesa infla seu flutuador usando monóxido de carbono e se reproduz por meio de um processo misterioso com desenvolvimento larval pouco compreendido. Além disso, um peixe parasita, o peixe-azul, alimenta-se dos tentáculos e gônadas da caravela-portuguesa, destacando ainda mais a complexidade da espécie.

(crookedtimber.org)

Tecnologia Caravela-Portuguesa novas espécies biologia marinha

Componentes Web Isomórficos: Renderização do Lado do Servidor Simplificada

2024-12-15

A crença de longa data de que a renderização do lado do servidor de componentes web é difícil foi questionada. Este artigo demonstra como alcançar a renderização do lado do servidor de componentes web existentes usando o Happy DOM para emular um ambiente de navegador. Dois métodos são detalhados: usando a tag `` para renderização direta e simulando o DOM para executar o código do componente e gerar HTML. O autor destaca as vantagens desta abordagem: compatibilidade com todos os componentes web, robustez em caso de falha do JavaScript e a ausência de dependência de frameworks específicos. Isso resolve o problema de renderização do lado do servidor para componentes web, oferecendo uma solução flexível e robusta.

(jakelazaroff.com)

Desenvolvimento Componentes Web Renderização do Lado do Servidor Isomórfico

SVC16: O Computador Virtual Mais Simples Desafia Programadores

2024-12-15

O SVC16 é um computador virtual minimalista de 16 bits projetado para a máxima simplicidade. Ele não possui registradores de CPU, realizando todas as operações em um único bloco de memória. O conjunto de instruções é extremamente simplificado, sem recursos sofisticados como som ou tamanho de tela variável. Os programadores são desafiados a escrever código de máquina e compiladores por conta própria, criando feitos incríveis com as ferramentas mais simples. O projeto fornece um emulador para executar programas criados pelo usuário e até mesmo jogos. Este é um projeto perfeito para aprender os princípios de baixo nível de computação e aprimorar as habilidades de programação.

(github.com)

Desenvolvimento computador virtual 16 bits desafio de programação

Propulsão de antimatéria: O futuro da exploração espacial?

2024-12-14

Uma tecnologia inovadora, a propulsão de antimatéria, tem o potencial de revolucionar a exploração espacial. A aniquilação de antimatéria oferece a maior densidade de energia conhecida, com 100% de eficiência, teoricamente permitindo viagens pelo sistema solar em poucas semanas ou até dias. No entanto, ainda existem desafios significativos na produção, armazenamento e controle da antimatéria, mantendo a tecnologia no reino teórico por enquanto. Mais pesquisas e desenvolvimento são cruciais para liberar seu imenso potencial.

(www.sciencedirect.com)

Tecnologia antimatéria exploração espacial tecnologia de propulsão

IA revoluciona o design de proteínas: nova ferramenta revelada

2024-12-15

Cientistas desenvolveram uma ferramenta inovadora baseada em IA, RoseTTAFold, para projetar novas proteínas. Essa ferramenta prevê a sequência de aminoácidos de uma proteína com base em uma estrutura de destino especificada pelo usuário, gerando proteínas estáveis e funcionais. Essa descoberta promete acelerar os avanços na descoberta de medicamentos, ciência de materiais e bioengenharia, oferecendo novas possibilidades para enfrentar vários desafios que a humanidade enfrenta. A tecnologia tem o potencial de revolucionar a biomedicina criando proteínas com funções específicas para tratar doenças ou desenvolver novos materiais.

(artexplorer.ai)

IA Design de Proteínas Biomedicina

A Conexão Profunda entre Estimação de Máxima Verossimilhança e Funções de Perda

2024-12-15

Este artigo mergulha na relação intrínseca entre a Estimação de Máxima Verossimilhança (EMV) e as funções de perda comumente usadas. Começando com os fundamentos da EMV, o autor explica meticulosamente sua estreita conexão com a divergência KL. O artigo então usa o Erro Quadrático Médio (EQM) e a Entropia Cruzada como exemplos, demonstrando como essas funções são derivadas naturalmente da EMV, em vez de serem escolhidas arbitrariamente. Ao assumir distribuições de dados (por exemplo, Gaussiana para regressão linear, Bernoulli para regressão logística), maximizar a função de verossimilhança por meio da EMV leva diretamente às funções de perda EQM e Entropia Cruzada. Isso fornece um caminho claro para entender os fundamentos teóricos das funções de perda, indo além da mera intuição.

(rish-01.github.io)

IA Estimação de Máxima Verossimilhança Funções de Perda

The Body Match: Seu catálogo de moda personalizado

2024-12-15

The Body Match é um catálogo de moda online personalizado que o conecta a modelos que combinam com seu tipo de corpo. Você pode usá-lo para encontrar seu tipo de corpo e comprar com modelos que têm um tipo de corpo semelhante. Sem mais necessidade de alternar entre vários aplicativos de moda – tudo o que você precisa está aqui.

(www.thebodymatch.com)

Design moda estilo tipo de corpo

WhatsApp: Uma Força Cultural Global Imparável

2024-12-14

O WhatsApp deixou de ser um simples aplicativo de mensagens para se tornar uma força cultural global. O artigo usa a atriz nigeriana Etinosa Idemudia como exemplo, mostrando como o WhatsApp é usado para promoção de filmes, engajamento com fãs e construção de marca pessoal. Do emparelhamento de parceiros no Bangladesh à disseminação de notícias na Índia e atividades religiosas na Indonésia, o WhatsApp está em toda parte, conectando pessoas em todo o mundo e se tornando uma parte indispensável da vida diária, usado até mesmo para educação e marcações de consultas médicas. O sucesso do WhatsApp reside não apenas na estratégia comercial do Meta, mas também nas diversas funcionalidades e no significado cultural que seus usuários lhe atribuíram, transformando-o em uma plataforma que conecta o mundo e molda a forma como as pessoas se comunicam e vivem.

(restofworld.org)

Diversos mídias sociais cultura global

Terminais gráficos Tektronix 'Unicórnio': Um legado de displays coloridos de baixo custo

2024-12-15

Na década de 1980, a Tektronix lançou a série de terminais gráficos 4100/4200 (apelidados de 'Unicórnio') para entrar no mercado de terminais coloridos de baixo custo. O projeto enfrentou desafios, incluindo a destruição de um protótipo crucial, mas entregou com sucesso modelos como 4105, 4107 e 4109 antes do prazo. A série 4200 reduziu ainda mais os custos e melhorou o desempenho, incorporando posteriormente recursos de rede. Esses terminais foram amplamente adotados devido à sua relação custo-benefício e compatibilidade, tornando-se parte significativa do legado da Tektronix.

(vintagetek.org)

Hardware Terminais Gráficos Displays Coloridos

Reflexões sobre a construção com o Protocolo de Contexto de Modelo (MCP): Uma mistura

2024-12-15

O Protocolo de Contexto de Modelo (MCP) da Anthropic visa conectar LLMs com ferramentas e dados externos, permitindo que aplicativos como o Claude Desktop acessem bancos de dados, mecanismos de busca e muito mais. Embora o MCP ofereça possibilidades interessantes para expandir a funcionalidade de aplicativos de IA, sua implementação atual apresenta deficiências. O Claude Desktop suporta apenas servidores locais, carece de tratamento robusto de entradas complexas e sofre com timeouts do lado do cliente. Além disso, são necessárias melhorias na documentação e na configuração, como um registro oficial, suporte para agendamento de tarefas assíncronas e colaboração com vários clientes, para realizar totalmente o potencial do MCP para os usuários.

(outlore.dev)

IA Protocolo de Contexto de Modelo

Computação Otimista: Um Caminho para um Software Melhor

2024-12-15

Este ensaio explora o conceito de "Computação Otimista", não como um otimismo cego, mas como uma convergência de várias ideias poderosas: simplicidade e facilidade de uso ("boot to kill"), princípios local-first e empoderamento do usuário. O autor argumenta que, limitando dependências, simplificando fluxos de trabalho, criando uma experiência perfeita de "apenas funciona" e dando aos usuários mais controle, podemos construir software mais confiável, seguro e duradouro. Essa filosofia se aplica tanto a usuários individuais quanto ao desenvolvimento de software empresarial, visando, em última análise, um mundo digital que respeita a privacidade e a propriedade de dados do usuário.

(www.deobald.ca)

Desenvolvimento computação otimista

Olhos Bem Fechados: Uma Análise Profunda da Obra-Prima Mal-Interpretada de Stanley Kubrick

2024-12-15

O último filme de Stanley Kubrick, Olhos Bem Fechados, é uma obra complexa e multifacetada que continua a fascinar e frustrar os espectadores. Lançado em 1999, o filme explora temas de sexo, classe, capitalismo e sociedades secretas poderosas, entrelaçando numerosas alusões à literatura, música, ópera, balé e mitologia. A estrutura narrativa e o estilo visual não convencionais do filme deixam muito espaço para interpretação, tornando-o uma experiência rica e gratificante para aqueles dispostos a se envolver com suas complexidades.

(boydrinksink.com)

Jogos Olhos Bem Fechados Análise de Filme

Motor de Inferência LLM Rápido Construído do Zero

2024-12-15

Este artigo detalha a jornada do autor na construção de um motor de inferência LLM do zero usando C++ e CUDA, sem depender de nenhuma biblioteca. O processo proporcionou um mergulho profundo em toda a pilha de inferência LLM, de kernels CUDA à arquitetura do modelo, mostrando como as otimizações impactam a velocidade de inferência. O objetivo era criar um programa capaz de carregar pesos de modelos de código aberto comuns e realizar inferência de lote único em um único servidor CPU+GPU, melhorando iterativamente o throughput de tokens para superar o llama.cpp. O artigo descreve meticulosamente as etapas de otimização tanto na CPU quanto na GPU, incluindo multithreading, quantização de pesos, SIMD, fusão de kernels e quantização de cache KV, analisando gargalos e desafios. O resultado final alcança um desempenho próximo ao de ponta para inferência LLM local.

(andrewkchan.dev)

Desenvolvimento inferência LLM

Priorizando código descartável a documentos de design: Uma abordagem de desenvolvimento de software mais eficiente

2024-12-15

No desenvolvimento de software, o método tradicional de documento de design mais desenvolvimento incremental nem sempre é eficiente. O autor Doug Turnbull propõe uma abordagem de "ataque de código": implementar rapidamente um protótipo usando um PR temporário, obter feedback antecipado da equipe, refinar o design e, em seguida, dividi-lo gradualmente em PRs implantáveis. Este método incentiva a iteração rápida, a detecção precoce de problemas e considera o próprio código como a melhor documentação. Embora os documentos de design ainda tenham valor em situações específicas, o autor defende "mostrar, não contar", usando protótipos de código para validação e iteração rápidas para alcançar um desenvolvimento de software mais eficiente.

(softwaredoug.com)

Desenvolvimento protótipo de código

TSMC Apresenta Transistores em Nanosheet: Uma Nova Era para Chips

2024-12-15

A TSMC apresentou seu processo de próxima geração N2 (2 nanômetros) na IEEE International Electron Devices Meeting, marcando sua primeira incursão em transistores nanosheet. Em comparação com seu processo N3, o N2 oferece até 15% de aumento de velocidade, 30% de melhor eficiência energética e 15% de aumento de densidade. Essa nova arquitetura oferece maior flexibilidade, permitindo a criação de nanosheets com larguras variadas no mesmo chip, otimizando o desempenho para diferentes unidades lógicas, especialmente SRAM. A pesquisa da Intel validou ainda mais a escalabilidade da arquitetura nanosheet, demonstrando um transistor de alta performance com comprimento de porta de 6 nanômetros, apontando o caminho para o avanço contínuo na tecnologia de chips e sugerindo uma possível extensão da Lei de Moore.

(spectrum.ieee.org)

Hardware Transistores Nanosheet Processo de 2nm

O Segredo das Equipes de Alto Desempenho: Sistemas de Memória Transativa

2024-12-15

Este artigo explora a pedra angular das equipes de alto desempenho: Sistemas de Memória Transativa (SMT). Não se trata da força de memória individual, mas de como as equipes compartilham e aproveitam efetivamente o conhecimento e as habilidades dos membros. São apresentados três tipos de memória de equipe: memória de trabalho, memória de longo prazo e memória transativa, com foco em como o SMT aprimora o desempenho da equipe. O SMT compreende dois elementos: padrões de colaboração e experiência individual. Ao construir um SMT, as equipes liberam a inteligência coletiva e superam o impacto das mudanças de membros. O artigo recomenda métodos como o Capability Comb, Manual da Equipe e prática deliberada para ajudar as equipes a estabelecer e melhorar rapidamente seu SMT.

(emilywebber.co.uk)

Desenvolvimento compartilhamento de conhecimento sistema de memória transativa

Teste de precisão do sensor Sensirion SGP41 TVOC: mudanças relativas, não valores absolutos

2024-12-15

A AirGradient realizou testes de precisão e exatidão no sensor Sensirion SGP41 TVOC usado em seus monitores de qualidade do ar. Os testes revelaram que o sensor rastreia efetivamente as mudanças relativas nos níveis de TVOC – detectando aumentos ou diminuições – mas não consegue fornecer valores absolutos precisos. Isso se deve a limitações inerentes a sensores VOC de baixo custo, incluindo falta de especificidade, sensibilidade cruzada, sensibilidade ambiental e deriva da linha de base. Embora o sensor não consiga medir com precisão as concentrações de TVOC, ele ainda oferece valor prático na identificação de fontes de TVOC e para monitoramento ambiental. Testes futuros pela AirGradient explorarão o desempenho do sensor em várias condições para entender melhor suas capacidades e limitações.

(www.airgradient.com)

Hardware sensor TVOC monitoramento da qualidade do ar precisão do sensor

llama.cpp Integra Modelo Multimodal Qwen2VL

2024-12-15

O projeto llama.cpp no GitHub recentemente mesclou uma solicitação de pull adicionando suporte para o modelo de linguagem grande multimodal Qwen2VL. Este modelo combina um modelo de linguagem grande com um codificador de visão, permitindo o processamento de imagens e texto. A integração envolve converter a parte LLM do modelo e o codificador de visão para o formato GGUF e usar uma nova ferramenta de linha de comando para inferência. Trabalhos futuros incluem adicionar suporte para mais backends como MPS e Vulkan.

(github.com)

IA

Modder adiciona com sucesso slot M.2 ao Raspberry Pi 500

2024-12-15

Um entusiasta do Raspberry Pi adicionou com sucesso um slot M.2 ao Raspberry Pi 500! Embora o Pi 500 tenha o cabeçalho, o próprio slot está ausente, o que levou a alguma controvérsia. O modder soldou quatro capacitores minúsculos e usou uma fonte de alimentação de bancada para alimentar uma almofada inferior, permitindo o uso de SSDs NVMe e outros dispositivos PCIe. Essa modificação exige excelentes habilidades de soldagem SMD e gerou discussões sobre as escolhas de design do Pi 500; especulações incluem reservar o recurso para um modelo premium futuro.

(www.jeffgeerling.com)

Hardware slot M.2 modificação de hardware

A Ciência do Roteamento de Pedidos de Impressão na Canva

2024-12-14

A equipe de engenharia da Canva construiu um sistema de regras configurável para travessia de grafos, a fim de otimizar o roteamento de pedidos de impressão. A separação da construção do grafo, da travessia e da tomada de decisões garante alta disponibilidade e escalabilidade. Usa bancos de dados relacionais para gerenciamento de dados e gera grafos em cache de forma assíncrona para consultas rápidas. Um mecanismo de regras e um algoritmo de fluxo de custo mínimo modificado encontram a rota ideal em milissegundos, minimizando a distância de transporte e as emissões de carbono, melhorando a experiência do usuário e a eficiência operacional.

(www.canva.dev)

Desenvolvimento travessia de grafos mecanismo de regras roteamento de pedidos

Hackeando a Física com um Guardanapo

2024-12-14

Este artigo explora abordagens não convencionais para resolver problemas de física usando estimativas simples e análise dimensional. O autor demonstra o poder desses métodos calculando a velocidade de gotas de chuva caindo, o comprimento do genoma de E. coli e a massa de um próton, entre outros exemplos. O artigo sugere que essa abordagem baseada em guardanapo pode melhorar significativamente a educação e o aprendizado de física. Técnicas adicionais, como estimativa de Fermi e caminhadas aleatórias, são introduzidas e aplicadas a problemas como estimar o comprimento do genoma de E. coli e determinar a velocidade ideal para caminhar ou correr na chuva, mostrando sua praticidade.

(hapax.github.io)

Diversos análise dimensional estimativa de Fermi

Linguagens de Programação: Equilibrando Segurança e Poder

2024-12-15

Este artigo explora a troca entre segurança e poder em linguagens de programação. A visão tradicional é que linguagens poderosas, como C com seu gerenciamento manual de memória, são inerentemente inseguras. No entanto, o autor argumenta que isso está desatualizado. Pesquisas modernas em linguagens de programação mostram que maior expressividade permite segurança e poder. A evolução de macros em Lisp, Scheme e Racket exemplifica isso, demonstrando como um design melhorado pode melhorar as capacidades de macro mantendo a segurança. O sistema de macros do Racket é apresentado como uma melhor prática, combinando código higiênico com capacidades de manipulação poderosas. O artigo conclui que sistemas seguros e confiáveis constroem softwares mais poderosos e confiáveis, e recomenda recursos para mais aprendizado sobre macros do Racket.

(lambdaland.org)

Desenvolvimento linguagens de programação segurança

Crítica Literária: As Conquistas e Limitações do Romance do Século XX

2024-12-15

O novo livro de Edwin Frank, *Stranger Than Fiction: Lives of the Twentieth-Century Novel*, explora as conquistas do romance do século XX. Frank argumenta que os romances, por meio de inovações formais como as frases intermináveis de Kafka e as repetições de Stein, levam os leitores a desacelerar e saborear as nuances da linguagem. Ele elogia os esforços dos romancistas na expressão de experiências coletivas, particularmente os horrores da guerra e o despertar da autoconsciência, mas também aponta a perspectiva eurocêntrica do livro, sua atenção insuficiente a romances de outros contextos culturais e sua exploração um tanto superficial da guerra e da autoconsciência.

(thebaffler.com)

Diversos romance do século XX crítica literária autoconsciência

← Previous 1 2 … 11 12 13 14 15 16 17 18 19 20 21 22 Next →