2023-04-18
MiniGPT-4
Notícias.
MiniGPT-4, um modelo de linguagem que alinha um codificador visual congelado com um modelo de linguagem grande congelado, Vicuna, usando apenas uma camada de projecção, possui capacidades semelhantes exibidas pelo GPT-4, tais como gerar descrições detalhadas de imagens e escrever histórias e poemas inspirados por determinadas imagens. O modelo é altamente eficiente em termos computacionais, utilizando apenas cerca de 5 milhões de pares imagem-texto alinhados e requer apenas o treino da camada linear para alinhar as características visuais com o modelo de linguagem grande Vicuna. Os criadores estão a preparar um modelo mais leve executável numa única GPU 3090 para utilização futura.
Reacções da Indústria.
Os investigadores criam o modelo MiniGPT-4 que supera outros, ligando o ViT-L+Q-former do BLIP2 ao Vicuna-13B com uma camada linear e treinando apenas a camada minúscula em alguns conjuntos de dados de imagem-texto. Outros comentários incluem modelos de aprendizagem de máquinas, a execução de LLMs em CPUs, e a comercialização de produtos baseados em modelos mais pequenos. Os investigadores da Universidade King Abdullah desenvolvem Vicuna, uma arquitectura de transformador GPT que gera programas informáticos e websites a partir de linguagem natural com maior eficiência de aprendizagem. O desempenho mais rápido e eficiente do GPTQ 4bit apresenta possibilidades emocionantes de sumarização em vídeo e outras aplicações para software e tecnologia.
RedPajama: Reprodução de LLaMA com licença amigável
Notícias.
RedPajama, um projecto para criar modelos líderes de código aberto, começa por reproduzir o conjunto de dados de formação LLaMA de mais de 1,2 triliões de fichas; RedPajama tem três componentes chave: dados de pré-formação, modelos de base, e dados e modelos de afinação de instruções; RedPajama lançou o conjunto de dados completo de fichas RedPajama de 1,2 triliões de fichas e uma amostra aleatória mais pequena e mais consumível pode ser descarregada através de Hugging Face.
Reacções da Indústria.
Juntos, a XYZ lançou o RedPajama, um conjunto de dados de modelos de linguagem de código aberto quatro vezes maior do que o GPT-3 do OpenAI e aborda as críticas dos investigadores de IA relativamente à natureza fechada do desenvolvimento e implementação de modelos de linguagem. Os comentários sobre o Hacker News referem-se a vários derivados como Pythia, OpenAssistant, StableDiffusion, e Midjourney, destacando os seus pontos fortes e fracos, com foco na qualidade e controlo da imagem. Há um debate em curso sobre a possibilidade de direitos de autor dos pesos da IA, e a RedPajama enfrenta desafios na criação de uma iniciativa sustentável de IA de fonte aberta que pode competir com as grandes tecnologias.
Samsung considera a mudança para o Bing como motor de busca padrão
Notícias.
A Samsung está alegadamente em conversações com a Microsoft para fazer do Bing o motor de busca padrão nos seus dispositivos Galaxy, incluindo smartphones e tablets baseados no Android, com o Google a parecer estar em "modo de pânico". Isto vem como a corrida para trazer as melhores capacidades de IA para aquecer a pesquisa na web, com o Google a trabalhar no seu contra-pitch, Projecto "Magi", que alegadamente fornecerá uma experiência muito mais personalizada ao seu serviço actual. A Google convidou recentemente funcionários para testar a IA no motor de busca, com um possível lançamento em Maio de 2023.
Reacções da Indústria.
A Samsung está a considerar mudar para o Bing como o seu motor de busca padrão, potencialmente devido à crescente pressão publicitária do Google na plataforma Google Cloud Platform (GCP) e para espremer mais pagamentos da Samsung e da Apple. O Bing poderia superar o Google num potencial negócio de motores de busca, e a Microsoft está a pressionar a Samsung a criar um novo dispositivo. Há um debate sobre o declínio na qualidade do Google e tácticas SEO, empurrando os utilizadores para motores de busca alternativos como o ChatGPT, DDG, Brave Search, e Bing. Além disso, a experiência do ambiente de trabalho Linux melhorou, com muitos utilizadores a optarem pelo Linux para trabalhar, enquanto que os Chromebooks são preferidos no sector educacional.
Gostei deste simples exercício de cálculo
Notícias.
O autor partilha um exercício de cálculo que exige que os estudantes compreendam o que o integral é o cálculo, em vez de se limitarem a confiar em regras estabelecidas para integrar funções comuns. Para resolver o problema, os estudantes podem utilizar gráficos, quebrando funções complicadas em partes mais simples, lidando com funções contínuas à peça, e utilizando simetria. O exercício pode ajudar os estudantes a aprender técnicas valiosas e a observação de que nem todos os problemas podem ser resolvidos apenas empurrando símbolos.
Reacções da Indústria.
Os utilizadores do Hacker News discutem o ensino de cálculo e sugerem mais exercícios para testar a compreensão. Também sugerem a utilização de software moderno e o reforço de conceitos básicos ao longo do curso. Além disso, partilham recursos para a verificação de modelos matemáticos ou exercícios.
Inicialização de CPUs Intel modernas
Notícias.
- A inicialização de CPUs Intel modernas envolve a verificação de assinaturas e a execução de Módulos de Código Autenticado (ACMs) para detecção de ataques ou malware.
- BootGuard, a solução de segurança da Intel para arrancar, verifica actualizações de microcódigos, verifica a existência de cabeçalhos no flash do sistema, lê um ACM, verifica a sua assinatura, e executa o IBB em modo 32-bit.
- O post discute a confiança no firmware para o levantamento pesado em vez do SO e está bem escrito para os leitores da nova indústria tecnológica, sem preconceitos políticos/religiosos ou externalização do texto, mas sem quaisquer aspectos novos ou excitantes.
Reacções da Indústria.
São discutidas as CPUs Intel e as dificuldades de inicialização de processadores auxiliares em múltiplos sistemas, juntamente com formas de resolver estas questões através de chamadas de função e código de montagem sem utilizar memória ou pilhas. Alguns programadores expressam frustração com firmware de buggy e falta de fiabilidade nos produtos, enquanto outros continuam satisfeitos com alternativas mais baratas que funcionam para as suas necessidades. A conversa cobre também o abandono do suporte de arranque antigo em favor de actualizações de firmware, com o modo real já não desempenhando um papel no arranque de sistemas operativos modernos.
O iOS 17 irá alegadamente preparar o palco para aplicações de carregamento lateral no iPhone
Notícias.
De acordo com um relatório da Bloomberg, a Apple pode estar a adicionar a capacidade de carregar aplicações laterais em iPhones com o lançamento do iOS 17. A empresa está alegadamente a construir as bases para tal funcionalidade e poderá fazer um anúncio relacionado com a mesma na próxima Conferência Mundial de Desenvolvedores (WWDC), em Junho. Não está claro se a Apple permitirá o carregamento lateral com o iOS 17 ou se está apenas a fazer algumas alterações ao nível do sistema operativo para o permitir num ponto posterior.
Reacções da Indústria.
O iOS 17 da Apple permite alegadamente aplicações de carregamento lateral em iPhones; alguns elogiam a mudança, enquanto outros se preocupam com uma diminuição das medidas de segurança. O debate centra-se no equilíbrio entre a privacidade e as protecções de segurança com a capacidade de carregamento lateral de aplicações. Os críticos sugerem que a Apple tem um monopólio e precisa de oferecer mais opções aos utilizadores, enquanto os defensores apontam para as protecções superiores de privacidade e segurança da Apple em comparação com o seu rival, o Android.
O CEO da OpenAI diz que a era dos modelos gigantes de IA já passou
Notícias.
O CEO da OpenAI, Sam Altman, declarou que a era de fazer modelos de grandes línguas como o GPT está a chegar ao fim. Embora o OpenAI continue a fazer progressos na IA, os avanços futuros exigirão novas ideias, e de acordo com Altman, não virão apenas de fazer modelos maiores. Muitos startups bem financiados estão a tentar alcançar a tecnologia do OpenAI, e o GPT-4 assinala uma reviravolta inesperada na corrida para desenvolver e implementar novos algoritmos de IA.
Reacções da Indústria.
O CEO da OpenAI afirma que os grandes modelos de IA já não são economicamente viáveis e que o progresso futuro na IA virá da melhoria dos modelos de outras formas. Os modelos multimodais são a nova fronteira da investigação em IA. Alguns peritos são cépticos quanto às afirmações da OpenAI relativamente ao tamanho e capacidades do GPT-4, enquanto outros salientam o seu potencial de crescimento exponencial. O OpenAI pode precisar de encontrar novas fontes de dados de formação e melhorar o algoritmo e a qualidade dos dados para melhores modelos de IA. As discussões sobre a competência e limitações linguísticas do GPT-4 levaram a conversações sobre a melhoria dos modelos linguísticos através de capacidades multimodais, objectivos e optimizadores de formação mais eficientes, e avanços no aumento de dados.
Microsoft apagou os fóruns de apoio público para a SwiftKey
News.
Este texto não está relacionado com o título "Microsoft eliminou os fóruns de apoio público para a SwiftKey" e, portanto, não pode ser resumido em conformidade. Por favor, forneça o texto correcto para eu fazer um resumo.
Reacções da Indústria.
A Microsoft removeu os fóruns de apoio público à SwiftKey, aos quais os utilizadores se sentem fiéis porque esta aprende o seu estilo de dactilografia e torna-se uma extensão do seu corpo; agora só podem enviar um e-mail à equipa de apoio ao cliente da SwiftKey com problemas. Os comentários cobrem vários tópicos, incluindo a verificação de identidade online e os efeitos de passar demasiado tempo online; outros incluem questões de capacidade e de dependência dos meios de comunicação social. Contudo, alguns comentários também discutem os pontos fortes da SwiftKey, incluindo a aprendizagem de modelos de linguagem mistos e o design ergonómico, tornando-a uma alternativa básica às opções de teclado em stock nos dispositivos Android e iOS.
Sem Código Fonte == Sem Patente
Notícias.
- A divulgação do código fonte nas patentes de software é importante porque prova que um inventor pode implementar a invenção e acrescenta credibilidade a uma patente, especialmente em casos de infracção.
- A inclusão do código fonte satisfaz plenamente o requisito de descrição escrita e habilitação, reduzindo o número de pedidos de patentes de software e evitando ambiguidades nas especificações de concepção.
- O artigo discute casos legais e o estado actual das patentes em tecnologia informática e comunicações digitais, salientando a necessidade de código fonte nas patentes de software para resolver a questão da experimentação razoável.
Reacções da Indústria.
O debate sobre se as patentes de software devem ser abolidas ou mantidas suscita discussões no Hacker News, com argumentos a favor e contra a necessidade de patentes na prevenção do roubo de ideias criadas independentemente. Alguns sugerem que as patentes de software impedem a inovação e exigem mais do que uma simples ideia ou conceito, tal como um objecto físico ou cópia de trabalho, enquanto outros debatem a relevância do código fonte e algoritmos para os direitos de patente.
Fiz o meu blogue movido a energia solar, depois as coisas escalaram
Notícias.
Um blogger construiu um sistema alimentado por energia solar para executar o seu blogue e mesa de computador utilizando painéis solares com uma classificação combinada de 740 Watts, alimentado através de um sistema de 12 volts com uma grande bateria de chumbo-ácido usada, carregador solar Victron, inversor e interruptor Filax 2, e a recolha de dados envolve a utilização de Python, InfluxDB e Grafana para recolher e apresentar dados. Para segurança e redução de custos, recomenda-se a utilização de cabos de bateria de 24 ou 48 Volts e uma bateria selada de chumbo-ácido para a sua segurança. Um algoritmo de carga dinâmica impede a descarga profunda da bateria, e um fundo de tema escuro pode poupar energia.
Reacções da Indústria.
Um tópico da Hacker News discute os prós e contras da utilização de diferentes tipos de baterias, incluindo chumbo-ácido, LiFePo4, e baterias de estado sólido, para projectos de energia solar, e sugere que se deve considerar as suas necessidades e objectivos específicos antes de decidir sobre um tipo de bateria. Os peritos partilham conhecimentos sobre testes de capacidade e substituições de fichas para baterias de chumbo-ácido utilizando baterias de lítio-ferro-fosfato (LiFePO4), e embora as baterias LiFePO4 possam ser mais leves e mais rápidas a carregar, o seu custo total de vida útil ainda é comparável ao das baterias de chumbo-ácido. Outros comentários fornecem dicas para a construção de sistemas de energia solar, tais como a utilização de fontes de alimentação USB-C, a divisão da energia em fases, e a utilização de componentes de 24V ou DC, bem como sugerem soluções alternativas como turbinas eólicas ou painéis como telhados.
Vendido uma história: Como Ensinar as Crianças a Ler Foi Tão Errado
Notícias.
O projecto de jornalismo de investigação 'Sold a Story' da American Public Media desvenda os actuais métodos de ensino nos programas de leitura das escolas, que se baseiam numa ideia há muito comprovada sobre como as crianças aprendem a ler, originalmente apresentada por Marie Clay. No entanto, produtos que utilizam estas práticas desmascaradas estão a ser vendidos às escolas de todo o país, com Heinemann a ganhar milhões de dólares, e pais, educadores e legisladores a apelar a mudanças no sistema. Os artigos incluem entrevistas com educadores e políticos influentes, análises de pesquisa e materiais de orientação para educadores e membros da comunidade para discutir os tópicos em questão.
Reacções da Indústria.
São discutidas várias abordagens pedagógicas da leitura infantil, tais como a fonética e o envolvimento dos pais, com ênfase na instrução e avaliação individualizadas. Educadores e académicos debatem a eficácia da instrução baseada na fonética versus instrução de palavras completas, e o artigo adverte contra a confiança cega nas opiniões dos professores. A discussão inclui também recomendações de recursos úteis para os pais, enfatizando a importância do ensino da fonética para a proficiência na leitura, e a qualidade da educação nas escolas primárias está actualmente em debate.
The Windows 11 Trash Party
Notícias.
O autor do artigo queixa-se do conteúdo padrão que aparece no menu Iniciar do Windows 11, incluindo uma notícia sobre tiroteios em massa que pode ser inapropriada para crianças, e lixo da página inicial do MSN no alerta de informações meteorológicas. Embora se possa desligar este conteúdo, o artigo sugere que a experiência do Windows é globalmente decepcionante.
Reacções da Indústria.
Os utilizadores expressam preocupações sobre a crise de identidade da Microsoft e sugerem uma necessidade de esclarecimento sobre a sua visão e foco em ser um SO para corporações empresariais. É expressa insatisfação com o Windows 11, e alguns sugerem a utilização do Linux como alternativa. Os anúncios intrusivos do Windows, as preocupações com a privacidade e o desempenho são criticados. O post é irrelevante para os leitores com conhecimentos técnicos interessados nas críticas do Windows 11.
Postos Fediverse mensais cruzam pela primeira vez 1 bilião
News.
Os postos Fediverse mensais cruzaram pela primeira vez mil milhões, de acordo com análises de dados recentes. Mastodon, uma rede social descentralizada alimentada pelo Masto.ai, ostenta 8,9K utilizadores activos e oferece características como seguir hashtags e perfis, favorecer, partilhar, e responder a mensagens.
Reacções da Indústria.
A rede social descentralizada Fediverse atingiu um marco de mais de mil milhões de mensagens mensais através de várias plataformas, sendo o Mastodon uma notável alternativa ao Twitter. Enquanto alguns criticam o Mastodon pela sua menor base de utilizadores e falta de escalabilidade, outros elogiam as suas interacções de qualidade e o sentimento de comunidade. O Mastodon continua a lutar para ganhar terreno contra o Twitter devido à centralização, e o seu número preciso de utilizadores activos diários (DAUs) é desconhecido. Além disso, o Fediverse suscita preocupações sobre capacidades de pesquisa, design UX e questões de censura.
O pessoal da AWS passa "muito do seu tempo a 'optimizar as nuvens dos clientes'".
Notícias.
Os funcionários da AWS estão a ajudar os clientes a optimizar as suas despesas AWS para que possam resistir à economia incerta, de acordo com a carta anual do CEO da Amazon.com Andy Jassy aos accionistas. Embora a taxa de crescimento da AWS esteja a abrandar em resultado da optimização dos gastos dos clientes, a AWS continua a ver condutas robustas para novos clientes e migrações activas. A Jassy também mencionou a intenção da AWS de desenvolver mais silício personalizado e o potencial do seu serviço de banda larga por satélite Kuiper.
Reacções da Indústria.
O pessoal da AWS passa muito tempo a optimizar as nuvens dos clientes, com revisões mistas do serviço de apoio, desde um grande apoio básico a problemas com diferentes níveis de apoio aos clientes. As empresas podem ter dificuldade em contratar engenheiros infra com os conhecimentos necessários, e a transição para a nuvem pode levar à perda de conhecimentos sobre o trabalho com centros de dados. As infra-estruturas no local são proibitivas em termos de custos e o funcionamento de múltiplos centros de dados pode ser doloroso, enquanto que arquitecturas complicadas de nuvens podem criar encargos operacionais desnecessários. A eficiência de custos da computação em nuvem versus a computação no local é debatida, com cargas espinhosas ou imprevisíveis que favorecem a computação em nuvem. AWS compete com fornecedores de nuvens mais pequenas e mais baratas, e os programadores debatem-se com a implementação complexa, o apoio operacional e a optimização de custos. A computação em nuvem tornou-se cara, com empresas a afastarem-se dela dependendo da sua utilização, mas poucas estão a passar para uma configuração on-prem devido à falta das competências necessárias.
Teste de voo da nave [vídeo]
Notícias.
- O mais recente protótipo da nave espacial SpaceX, SN10, completou com sucesso um voo e aterragem em alta altitude, tornando-a a primeira a aterrar sem explodir.
- A SN10 conseguiu ascender a 10 quilómetros e efectuar uma descida de barriga para baixo até ao seu local de aterragem, mas um incêndio após a aterragem causou danos no foguetão.
- O CEO da SpaceX, Elon Musk, anunciou que a companhia irá dar prioridade ao desenvolvimento do propulsor Super Heavy para emparelhar com a nave espacial para voos orbitais.
Reacções da Indústria.
SpaceX planeia relançar a nave espacial em 48 horas após um teste de voo abortado devido a um problema de válvula pressurizante; os utilizadores no Hacker News debatem o mercado e a rentabilidade da nave espacial, mas o artigo discute a potencial mudança de paradigma na economia das viagens espaciais se o foguete se revelar tão reutilizável como o Musk prevê. Os comentários também giram em torno do tema central do impacto do evento de lançamento nos fusos horários dos EUA, e há preocupações sobre os manifestantes que dificultam os testes do SpaceX.