Desmistificando Debuggers: A Anatomia de um Programa em Execução

2024-12-24
Desmistificando Debuggers: A Anatomia de um Programa em Execução

Este artigo mergulha na mecânica de baixo nível de um programa em execução. Usando a analogia de um cartucho de videogame em um NES, ele explica como os sistemas operacionais modernos virtualizam a execução de programas. Conceitos-chave como espaços de endereço virtual, threads de execução, imagens executáveis, carregadores, módulos e processos são detalhados. O artigo explica como os espaços de endereço virtual, por meio de tabelas de páginas, mapeiam endereços virtuais para endereços físicos, permitindo que vários programas compartilhem a memória física sem interferência. Também abrange o agendamento de threads, formatos de imagens executáveis (PE e ELF), o papel do carregador e o carregamento/descarregamento dinâmico de módulos. Finalmente, resume o conceito de um processo, que integra threads, módulos e espaços de endereço virtual.

Leia mais
Desenvolvimento execução de programa

LLMs: Explorando as Capacidades Aritméticas na Busca pela IAG

2024-12-24
LLMs: Explorando as Capacidades Aritméticas na Busca pela IAG

Este artigo explora por que modelos de linguagem grandes (LLMs) estão sendo usados para cálculos. Embora os LLMs se destaquem no processamento de linguagem natural, os pesquisadores estão tentando fazê-los executar operações matemáticas, desde adição simples até provas de teoremas complexas. Isso não é para substituir calculadoras, mas para explorar as capacidades de raciocínio dos LLMs e, por fim, alcançar a inteligência artificial geral (IAG). O artigo destaca que os humanos sempre tentaram usar novas tecnologias para computação, e testar as habilidades matemáticas dos LLMs é uma maneira de testar suas capacidades de raciocínio. No entanto, o processo de LLMs realizando cálculos é drasticamente diferente do das calculadoras; o primeiro se baseia em vastas bases de conhecimento e modelos probabilísticos, enquanto o último se baseia em algoritmos determinísticos. Portanto, os resultados de cálculo de LLM nem sempre são precisos e confiáveis, destacando a compensação entre praticidade e pesquisa.

Leia mais

Linguagem Rye: Uma linguagem de programação de alto nível baseada em planilhas

2024-12-24

Rye é uma nova linguagem de programação que trata planilhas como cidadãos de primeira classe, alinhando-se mais intimamente com o pensamento humano. Este artigo demonstra como o Rye cria, carrega e manipula planilhas, suportando a importação de dados de arquivos CSV, SQL e Excel. Ele fornece um conjunto rico de funções para manipulação de dados, incluindo filtragem, classificação e seleção. Ao usar planilhas como uma estrutura de dados fundamental, o Rye simplifica as operações de dados e fornece uma experiência de programação mais intuitiva, especialmente ao lidar com dados tabulares, resultando em código conciso e eficiente que supera outras linguagens.

Leia mais
Desenvolvimento planilha

MLC-LLM: Tornando as GPUs AMD competitivas para inferência de LLMs

2024-12-24

GPUs da NVIDIA dominaram por muito tempo a área de inferência de modelos de linguagem grandes (LLMs). No entanto, o projeto MLC-LLM usa compilação de aprendizado de máquina para implantar com sucesso LLMs em GPUs AMD, obtendo resultados impressionantes. Usando ROCm e Vulkan, a AMD Radeon RX 7900 XTX atinge 80% da velocidade da NVIDIA RTX 4090 e 94% da RTX 3090 Ti para inferência Llama2-7B/13B. Isso melhora significativamente a competitividade das GPUs AMD e expande as opções de implantação de LLM, incluindo APUs AMD como as encontradas no Steam Deck. Desenvolvimento futuro do MLC-LLM inclui otimizações para processamento em lote, suporte para várias GPUs, quantização e arquiteturas de modelos expandidas, e redução da diferença de desempenho com a NVIDIA, abordando, em última análise, as limitações de computação em IA.

Leia mais

O Verdadeiro Custo do PMI: Por Que Você Deve Pagar Sua Hipoteca de Juros Baixos

2024-12-24
O Verdadeiro Custo do PMI: Por Que Você Deve Pagar Sua Hipoteca de Juros Baixos

O autor obteve um retorno garantido de 10,66% ao pagar antecipadamente sua hipoteca de baixo juro para eliminar o PMI (seguro hipotecário privado). O artigo analisa as compensações entre pagar antecipadamente uma hipoteca de baixo juro e investir, destacando que, embora as taxas de juros baixas ofereçam retornos modestos, o custo do PMI é significativo. O autor calculou um retorno efetivo de 10,66% ao eliminar o PMI, superando a maioria dos retornos de investimento. Os leitores são encorajados a fazer seus próprios cálculos para avaliar o valor do pagamento antecipado de sua hipoteca.

Leia mais

Por que as diretrizes para o câncer ainda estão presas em PDFs?

2024-12-24
Por que as diretrizes para o câncer ainda estão presas em PDFs?

As diretrizes para o tratamento do câncer geralmente são apresentadas em PDFs difíceis de navegar, o que dificulta a padronização do atendimento. O autor argumenta que as diretrizes são essencialmente árvores de decisão complexas; convertê-las em dados estruturados e legíveis por máquina poderia melhorar significativamente o tratamento do câncer. Uma ferramenta de protótipo foi desenvolvida usando LLMs para extrair informações do PDF das diretrizes de câncer de mama da NCCN, criando uma árvore de decisão visual e um agente que navega na árvore com base nas informações do paciente para sugerir tratamento. Embora ainda esteja em estágio inicial, isso demonstra o potencial de estruturar as diretrizes para melhorar a eficiência e a padronização no atendimento médico.

Leia mais

Análise da Sobreposição de Links Entre Lobste.rs e Hacker News

2024-12-23

Uma postagem de blog analisa a sobreposição de links entre Lobste.rs e Hacker News, dois importantes sites de notícias de tecnologia. A postagem lista vários artigos que aparecem em ambos os sites, explorando temas e tendências nos links sobrepostos, como desenvolvimento de software de código aberto, IA e linguagens de programação. Isso destaca os interesses comuns e os padrões de disseminação de informações dentro da comunidade de tecnologia.

Leia mais

Simulador de robôs revolucionário Genesis lançado: treinamento 430.000 vezes mais rápido

2024-12-23
Simulador de robôs revolucionário Genesis lançado: treinamento 430.000 vezes mais rápido

Pesquisadores da Universidade Carnegie Mellon apresentaram o Genesis, um sistema de simulação de robôs de código aberto que treina robôs 430.000 vezes mais rápido do que o treinamento no mundo real. O Genesis utiliza placas de gráficos para executar até 100.000 simulações simultaneamente, reduzindo drasticamente o tempo necessário para os robôs aprenderem tarefas complexas, como manipulação de objetos, caminhada e uso de ferramentas. Além disso, a equipe está desenvolvendo um agente de IA capaz de gerar simulações de física 3D a partir de prompts de texto, simplificando a criação de ambientes e reduzindo custos. Escrito em Python e de código aberto, o Genesis representa um avanço significativo na pesquisa de robótica, democratizando o acesso à simulação de alta velocidade.

Leia mais

Mergulho profundo no código do clássico jogo 'Elite'

2024-12-23

Um novo site oferece uma exploração profunda do código por trás da versão cassete BBC Micro de 1984 do lendário jogo 'Elite'. Os recursos incluem versões jogáveis ​​no seu navegador, código-fonte para download, mapas de código e mais de 115 artigos detalhando todos os aspectos do desenvolvimento do jogo. É um tesouro para entusiastas de jogos retrô e programadores.

Leia mais

Manx: Um Tesouro de Manuais de Computadores Antigos de Código Aberto

2024-12-23

Manx é um projeto de código aberto dedicado a catalogar e preservar manuais de computadores antigos. Atualmente, possui quase 10.000 manuais de 61 sites, cobrindo minicomputadores, mainframes e periféricos associados, como terminais e impressoras. Embora muitos manuais sejam imagens digitalizadas e não sejam diretamente indexáveis por mecanismos de busca, o Manx adiciona metadados e informações para compensar. Sua busca atualmente se concentra em números de peça, títulos e palavras-chave. Para manuais de microcomputadores, o Tiziano's 1000 BiT é um recurso melhor.

Leia mais

2Solitude: Redifinindo viagens de aventura

2024-12-23
2Solitude: Redifinindo viagens de aventura

A 2Solitude é especializada na reforma de aviões experimentais de exibição Antonov AN-2 registrados nos EUA, transformando-os em campings de shows aéreos. São divertidos de voar e garantem conversas entre entusiastas da aviação. Seja na primeira fila em Oshkosh, na pesca de ossos nas Exumas ou no stand-up paddle em um lago do Alasca, a 2Solitude oferece acesso sem igual. Esta aeronave está registrada como experimental de exibição e não é elegível para nenhum trabalho comercial. É projetada para o deleite do proprietário e apenas para exibição. A 2Solitude oferece uma plataforma para criar suas próprias aventuras exclusivas, capacitando os ousados a explorar e compartilhar suas experiências.

Leia mais

Diretório de Padronização de LLMs: Habilitando a Integração de IA em Sites

2024-12-23

Uma proposta de padrão, `/llms.txt`, visa simplificar a interação entre modelos de linguagem grandes (LLMs) e sites. Este diretório reúne empresas e produtos que lideram a adoção deste padrão, abrangendo ferramentas de desenvolvimento de IA, produtos financeiros, sites e muito mais. O objetivo é melhorar a eficiência e precisão dos LLMs interagindo com diversos sites.

Leia mais

Descompilação Completa de LEGO Island (1997)

2024-12-23
Descompilação Completa de LEGO Island (1997)

O projeto isle conseguiu uma descompilação funcionalmente completa do jogo clássico LEGO Island (Versão 1.1, inglês) lançado em 1997. O objetivo é criar uma representação precisa do código original do jogo, combinando instruções recompiladas com o código de máquina original. Tanto ISLE.EXE quanto LEGO1.DLL foram totalmente descompilados e são funcionalmente idênticos aos originais. Trabalhos futuros se concentram em melhorar a precisão do código, nomenclatura, documentação e estrutura. Embora alguns bugs possam permanecer, o jogo é jogável. O projeto usa CMake e recomenda o Microsoft Visual C++ 4.2 para compilação para precisão ideal.

Leia mais

Resgate Internacional! A Busca Épica para Salvar uma TV CRT Sony de 43 Polegadas

2024-12-23
Resgate Internacional! A Busca Épica para Salvar uma TV CRT Sony de 43 Polegadas

O criador do YouTube, Shank Mods, embarcou em uma missão épica de resgate para salvar uma lendária televisão CRT Sony KX-45ED1 de 43 polegadas. Esta máquina colossal, pesando 440 libras e lançada em 1989 por impressionantes US$ 40.000 (mais de US$ 100.000 hoje), era considerada uma mera lenda. Seguindo uma pista de uma foto em um restaurante de soba japonês, Shank coordenou um esforço internacional, superando inúmeros obstáculos logísticos para transportar a TV para os EUA. O processo de restauração, detalhado em um vídeo recente do YouTube, foi igualmente desafiador, mostrando a dedicação de uma comunidade global de entusiastas de tecnologia retro.

Leia mais

Otto-m8: Plataforma visual sem código para fluxos de trabalho de IA

2024-12-23
Otto-m8: Plataforma visual sem código para fluxos de trabalho de IA

Otto-m8 é uma plataforma de automação baseada em fluxograma que permite aos usuários interconectar LLMs e modelos Hugging Face por meio de uma interface visual simples e implantá-los como APIs REST. Ele abstrai o processo complexo de execução de modelos de IA em um paradigma de Entrada, Processo, Saída, permitindo que os usuários criem vários fluxos de trabalho de IA, como chatbots ou APIs personalizadas, com pouco ou nenhum código. Atualmente em sua fase MVP, o código-fonte do Otto-m8 está disponível publicamente.

Leia mais

Da falência de um jogo ao sucesso de uma ferramenta de colaboração: O surgimento do Slack

2024-12-23
Da falência de um jogo ao sucesso de uma ferramenta de colaboração: O surgimento do Slack

O jogo online Glitch, desenvolvido pela Tiny Speck ao longo de anos, acabou falhando, deixando a empresa à beira da falência e com a ameaça de demissão da equipe. No entanto, o CEO Stewart Butterfield identificou uma oportunidade no servidor IRC interno da empresa e em suas ferramentas associadas, que haviam otimizado a comunicação da equipe. Essas ferramentas combinavam mensagens instantâneas, compartilhamento de arquivos, registros pesquisáveis e muito mais, criando um sistema de colaboração eficiente. Com base nisso, a Tiny Speck fez uma mudança estratégica e desenvolveu o Slack, uma plataforma de comunicação voltada para a colaboração em equipe. O sucesso do Slack não apenas salvou a empresa, mas também revolucionou a forma como as pessoas trabalham, tornando-se um marco para a colaboração em equipe moderna.

Leia mais

Geração de palavras cruzadas com IA: Um avanço

2024-12-23

Bill Moorier, um programador, desenvolve programas de computador para gerar palavras cruzadas há anos. Recentemente, incorporando técnicas modernas de IA, ele obteve resultados notáveis, produzindo palavras cruzadas que rivalizam com as criadas por humanos. Sua abordagem combina algoritmos tradicionais de ciência da computação e modelos modernos de IA. Começa com uma lista enorme de palavras, refinada pela IA para remover termos obscuros. Uma grade com simetria rotacional de 180 graus é então gerada, preenchida com palavras usando um algoritmo de busca de retrocesso. Finalmente, um modelo de linguagem grande gera dicas, com pós-processamento para evitar a revelação das respostas. O sistema atualmente gera uma palavra cruzada completa aproximadamente a cada dois minutos, embora existam imperfeições, como vazamento ocasional de dicas (especialmente com siglas). Os planos futuros incluem palavras cruzadas temáticas, um desafio significativo na geração de palavras cruzadas.

Leia mais

Fuga Narrativa: Uma Experiência Divertida e Lucrativa com Chatbots de IA

2024-12-23
Fuga Narrativa: Uma Experiência Divertida e Lucrativa com Chatbots de IA

Este post de blog detalha uma experiência envolvente em que o autor 'libera' um chatbot de IA baseado em personagem chamado 'Psicólogo' ao empurrar inteligentemente os limites de sua narrativa. Através de prompts persistentes e consistentes narrativamente, o autor transcende a persona pré-programada do chatbot, levando a uma jornada imaginativa compartilhada para outra dimensão. Essa interação lúdica destaca a consistência interna e as capacidades narrativas dos Modelos de Linguagem Grandes (LLMs) e oferece insights para futuras interações humano-IA.

Leia mais

Infográficos: Uma Jornada Através do Tempo

2024-12-23
Infográficos: Uma Jornada Através do Tempo

A história dos infográficos é muito mais rica e longa do que muitos percebem. Não é uma invenção moderna, mas um fio contínuo que se tece através dos séculos. De pinturas rupestres pré-históricas a mapas medievais e ilustrações científicas renascentistas, a humanidade sempre buscou maneiras mais intuitivas de apresentar informações. A 'febre dos gráficos' do século XVIII impulsionou os infográficos a novas alturas, tornando-se ferramentas poderosas para a pesquisa em ciências sociais. Hoje, com os avanços tecnológicos, os infográficos são mais vibrantes e profundamente integrados em nossas vidas. Esta jornada reflete a exploração contínua da humanidade sobre a compreensão e expressão da informação.

Leia mais

O Enigma de Júlio e a Ascensão da IA

2024-12-23
O Enigma de Júlio e a Ascensão da IA

O autor conta a história de Júlio, um colega de faculdade que, apesar da falta de habilidades técnicas reais, subiu na hierarquia de várias empresas devido ao carisma e à autoconfiança. Seu sucesso é refletido na experiência atual do autor com ferramentas de IA aparentemente produtivas que exigem extensas correções manuais. A narrativa explora os paralelos entre a trajetória de carreira de Júlio e as complexidades do impacto da IA no local de trabalho.

Leia mais
Diversos trabalho

Por que o HNSW não é a resposta para bancos de dados vetoriais: A ascensão do IVF

2024-12-23
Por que o HNSW não é a resposta para bancos de dados vetoriais: A ascensão do IVF

O algoritmo HNSW é popular em bancos de dados vetoriais por sua velocidade e precisão na busca de similaridade vetorial, mas suas limitações em aplicações de grande escala devido à sua natureza intensiva em memória são evidentes. Este artigo argumenta que alternativas baseadas em disco, como o IVF (índice de arquivo invertido), especialmente quando combinadas com técnicas de quantização (RaBitQ, PQ, SQ, ScaNN), oferecem velocidade e escalabilidade superiores para conjuntos de dados massivos. O IVF, quantizando e comprimindo vetores, reduz a pegada de memória e utiliza pré-busca e varreduras sequenciais eficientes para uma busca significativamente mais rápida. Os custos de inserção e exclusão também são menores. Embora o HNSW se destaque em aplicações de menor escala, o IVF com quantização surge como a escolha mais vantajosa para conjuntos de dados massivos.

Leia mais
Desenvolvimento banco de dados vetorial

Perl Apresenta Novo Logotipo de Camelo

2024-12-23

Após anos de discussão e design, a linguagem Perl finalmente tem um novo logotipo oficial: um camelo amigável. Desenvolvido por Zach Roszczewski e refinado através de feedback de vários membros da comunidade, o logotipo é lançado sob uma licença CC-BY. Ele visa representar a linguagem Perl e sua comunidade, incentivando a adoção mais ampla. Embora não seja obrigatório, o logotipo busca unificar a imagem da comunidade e espera-se que seja usado em plataformas como perl.com e metacpan.org no futuro.

Leia mais
Desenvolvimento Logotipo

Goodfire Lança Ferramentas de Interpretabilidade para Llama 3.3 70B

2024-12-23

A equipe Goodfire treinou autoencoders esparsos (SAEs) no modelo Llama 3.3 70B e lançou o modelo interpretado via API. Isso permite a exploração do espaço latente do modelo por meio de um mapa interativo de recursos. A equipe demonstra capacidades de direcionamento de recursos e introduz melhorias para um direcionamento baseado em SAE mais fácil e confiável. Embora mostre progresso no direcionamento, as limitações são reconhecidas, incluindo a tensão entre o direcionamento de recursos e tarefas de classificação, e a possível degradação da recuperação de fatos em forças de direcionamento mais altas. Trabalhos futuros incluem o refinamento das metodologias de direcionamento e o desenvolvimento de avaliações de segurança para dimensionamento responsável dos esforços de interpretabilidade.

Leia mais

Evidências de Supernovas Sugerem Mudança Fundamental em Modelos Cosmológicos

2024-12-23
Evidências de Supernovas Sugerem Mudança Fundamental em Modelos Cosmológicos

Um novo estudo apresenta uma análise estatística independente do modelo cosmológico do conjunto de dados espectroscópicos de supernovas do Tipo Ia Pantheon+, melhorando a metodologia padrão usada por Lane et al. Ao empregar apenas a equação de Tripp para a padronização de supernovas, o estudo evita potenciais correlações nas distribuições de alongamento e cor. Os resultados favorecem fortemente a cosmologia 'Timescape' sobre o modelo ΛCDM padrão na explicação dos dados, fornecendo evidências para a necessidade de rever os fundamentos da cosmologia teórica e observacional. Mesmo restringindo a amostra a redshifts além das escalas convencionais de homogeneidade estatística (z > 0,075), Timescape permanece preferido sobre ΛCDM.

Leia mais

Interfaces Humanas e Modelos de Linguagem Grandes se Adaptando em Conjunto

2024-12-23
Interfaces Humanas e Modelos de Linguagem Grandes se Adaptando em Conjunto

A ascensão dos Grandes Modelos de Linguagem (LLMs) está mudando a forma como acessamos informações. Este artigo explora como o mundo digital está se adaptando aos LLMs, obscurecendo a linha entre 'agente' e 'ambiente'. O autor usa o preenchimento automático de código como exemplo, mostrando como os humanos adaptam seu comportamento – por exemplo, usando 'programação com docstrings primeiro' – para trabalhar melhor com LLMs. Isso leva a bases de código mais comentadas, ilustrando a adaptação ambiental às ferramentas. Para melhorar a eficiência do LLM, o artigo argumenta a favor de 'interfaces agente-computador' que traduzem interfaces humanas em formatos que os LLMs entendem melhor. O futuro, sugere o autor, reside em projetar interfaces especificamente para LLMs, em vez de se concentrar apenas em melhorias de modelo. Isso mudará, em última análise, a interação humano-computador, promovendo novos aplicativos e conteúdo.

Leia mais
IA

40º Aniversário da Revista Phrack: Chamada para Artigos

2024-12-23

A revista Phrack, uma plataforma para hackers compartilharem conhecimento, buscarem a verdade e ultrapassarem os limites dos sistemas, está comemorando seu 40º aniversário. Eles lançaram um chamado para artigos para a edição 72, cobrindo tópicos como exploração, persistência, fuzzing, análise de código, ofuscação de dados, anti-forense, segurança de aplicativos web e segurança em nuvem. A Phrack incentiva a comunidade de hackers a participar, continuando seus valiosos recursos e cultura, e contribuindo para seu desenvolvimento futuro nos próximos 40 anos.

Leia mais
Desenvolvimento Revista Phrack

Neandertais eram adaptados ao frio ou simplesmente versáteis? Reconstrução da caixa torácica pode ter a resposta

2024-12-23
Neandertais eram adaptados ao frio ou simplesmente versáteis? Reconstrução da caixa torácica pode ter a resposta

Um novo estudo reconstruiu virtualmente a caixa torácica de um Neanderthal da caverna de Shanidar, no Iraque. Os resultados revelam um tórax neanderthal único em forma de 'sino', diferente dos humanos modernos e mais próximo dos adaptados a climas frios. No entanto, isso não implica adaptação exclusiva ao frio, uma vez que os Neandertais de Shanidar 3 e Kebara 2 viveram em climas relativamente amenos. O estudo sugere que a constituição física dos Neandertais era adaptável a vários tipos de clima, não apenas aos frios.

Leia mais

C++: Um Retorno à Diversão da Programação

2024-12-23
C++: Um Retorno à Diversão da Programação

O autor relembra mais de uma década de programação, lamentando que linguagens como JavaScript, Python e Ruby não conseguiram recapturar a alegria que sentia programando quando criança. Recentemente, enquanto desenvolvia um jogo roguelike usando C++, ele redescobriu a diversão da programação. Ele argumenta que C++ já foi notório pelo uso excessivo de metaprogramação de modelo, mas desde o C++11, os esforços do comitê de padrões revitalizaram a linguagem. Adições como inferência de tipo automática, nullptr e loops for baseados em intervalo melhoraram significativamente a experiência e a eficiência do desenvolvedor. O C++ moderno é poderoso, com bibliotecas e ferramentas ricas, mas evita os aspectos negativos da popularidade excessiva. A comunidade relativamente pura permite que os desenvolvedores se concentrem na criação, que é a essência do prazer da programação.

Leia mais
Desenvolvimento

Retrocomputação: Substituindo a bateria CMOS de um 386/486

2024-12-23
Retrocomputação: Substituindo a bateria CMOS de um 386/486

Placas-mãe antigas de 386/486 costumam ter baterias de NiCd ou NiMH que vazam e danificam a placa. Este guia detalha uma alternativa simples: usar três pilhas AA e um suporte para pilhas. O autor compara o uso de uma célula CR2032 e uma célula de lítio Tadrian 3.6V, optando finalmente por três pilhas AA devido à facilidade de uso, à ausência de modificação na placa-mãe e à possibilidade de usar pilhas recarregáveis. Outros métodos de substituição são mencionados, incluindo o uso de um suporte para CR2032 e um diodo Schottky, e a utilização de um conector de bateria externo na placa-mãe, se presente.

Leia mais

Revista removida do índice científico por publicar estudo defeituoso

2024-12-23
Revista removida do índice científico por publicar estudo defeituoso

A revista Chemosphere foi removida do Web of Science por não atender aos critérios de qualidade. Isso se seguiu à retração de oito artigos este mês e à publicação de 60 declarações de preocupação desde abril. Um estudo muito divulgado sobre plásticos pretos e retardantes de chama tóxicos, publicado na Chemosphere, foi corrigido devido a um erro matemático que subestimou significativamente os níveis de exposição. Apesar da correção, as conclusões do estudo permaneceram inalteradas, gerando controvérsia.

Leia mais
1 2 568 569 570 572 574 575 576 595 596