S-expr: Um analisador de S-expressões peculiar

2025-06-18
S-expr: Um analisador de S-expressões peculiar

S-expr é uma biblioteca de análise de S-expressões com extensões exclusivas para a sintaxe de S-expressões. Suporta strings e comentários de uma e várias linhas e introduz um conceito inovador chamado "blocos transpostos". Os blocos transpostos permitem que o código seja escrito com linhas e colunas trocadas, melhorando a legibilidade para expressões aninhadas complexas. Este design visa equilibrar a simplicidade das S-expressões com melhor legibilidade e expressividade do código. Embora mais complexo do que o Lisp tradicional, prioriza o equilíbrio entre simplicidade e usabilidade.

Leia mais

Construindo Agentes de IA Empresariais com Flink SQL: Conectando LLMs a Dados Internos

2025-06-18

Este artigo explora a construção de agentes de IA empresarial usando Flink SQL, conectando modelos de linguagem grandes (LLMs) a dados e recursos internos. Para dados estruturados, a semântica de junção SQL do Flink SQL integra facilmente dados de bancos de dados externos com a entrada do LLM. Para dados não estruturados, o artigo propõe a geração aumentada por recuperação (RAG), codificando dados em vetores armazenados em um banco de dados vetorial, e então consultando e integrando por meio do suporte de tipo vetorial do Flink SQL. Usando o exemplo de resumir artigos de pesquisa e incorporar pesquisas internas, o artigo demonstra a construção de um sistema de agente de IA com dois trabalhos Flink SQL: um atualiza o armazenamento vetorial, o outro consulta e invoca o LLM. Finalmente, menciona o uso de Process Table Functions (PTFs) para integrar o padrão MCP da Anthropic para uma construção de agente de IA mais flexível.

Leia mais
Desenvolvimento

Melhorando a Qualidade do Banco de Conhecimento para Sistemas RAG: Boas Práticas para IA e Humanos

2025-06-18
Melhorando a Qualidade do Banco de Conhecimento para Sistemas RAG: Boas Práticas para IA e Humanos

Este guia descreve as melhores práticas para criar documentação que atenda efetivamente leitores humanos e IAs/LLMs em sistemas de Geração Aumentada por Recuperação (RAG). Documentação de alta qualidade melhora as respostas de IA e a experiência do usuário, criando um ciclo de feedback positivo. O artigo detalha como os sistemas de IA processam a documentação (recuperação, banco de dados vetorial, geração), destacando a importância de conteúdo claro, conciso e contextualmente completo. As recomendações incluem o uso de HTML semântico, evitar PDFs, criar conteúdo amigável para rastreadores, garantir clareza semântica, fornecer equivalentes de texto para elementos visuais e manter layouts simples. O guia também aborda desafios comuns de design de conteúdo, como dependências contextuais, lacunas de descobribilidade semântica, suposições de conhecimento implícito e dependências de informações visuais. Ele defende uma arquitetura de informação hierárquica, seções autocontidas e o fornecimento de contexto de erro com soluções. Em última análise, o objetivo é uma documentação que seja ao mesmo tempo legível para humanos e amigável para IA.

Leia mais
Desenvolvimento documentação de IA

ChatGPT: Meu Gerador de Sites Estáticos

2025-06-18
ChatGPT: Meu Gerador de Sites Estáticos

Cansado dos geradores de sites estáticos tradicionais, o autor explorou várias opções antes de optar por uma solução inesperada: ChatGPT! Basta copiar e colar posts novos e antigos no ChatGPT para gerar as páginas HTML sem esforço, sem necessidade de configuração. Embora exista o risco do ChatGPT alterar sutilmente o texto original, a simplicidade e velocidade do método são convincentes — até este artigo foi criado dessa forma. O autor especula sobre a IA substituindo ferramentas tradicionais em mais áreas, como geradores de documentação e ferramentas de linha de comando.

Leia mais
Desenvolvimento

Desafiando a IA com Teoria dos Números: Uma Verificação de Realidade

2025-06-18
Desafiando a IA com Teoria dos Números: Uma Verificação de Realidade

Um matemático questiona as verdadeiras capacidades da IA atual em matemática, argumentando que os modelos de IA existentes estão simplesmente repetindo, e não entendendo verdadeiramente a matemática. Para testar essa hipótese, ele está iniciando um experimento: criar um banco de dados de problemas avançados de teoria dos números e convidar empresas de IA a resolvê-los usando seus modelos. As respostas são restritas a inteiros não negativos, projetados para avaliar se a IA possui raciocínio matemático genuíno ou simplesmente se baseia em correspondência de padrões e dados da internet. Este experimento visa diferenciar entre 'compreensão' e 'imitação' da IA, impulsionando uma avaliação mais profunda das habilidades matemáticas da IA.

Leia mais
IA

Framework Laptop 12: Reparos fáceis, mas com compensações

2025-06-18
Framework Laptop 12: Reparos fáceis, mas com compensações

O Framework Laptop 12 brilha com seu design modular e facilidade de reparo. Os usuários podem facilmente trocar componentes como RAM e SSDs com apenas uma chave de fenda. No entanto, para atingir um fator de forma menor, o Laptop 12 faz concessões, como omitir um teclado retroiluminado e sensor de impressão digital, e apenas suportar um único módulo de RAM DDR5, limitando a capacidade de memória. Embora use SSDs M.2 2230 menores, estes agora estão mais facilmente disponíveis. No geral, o Laptop 12 equilibra facilidade de uso e atualização, mas exige que os usuários considerem algumas limitações funcionais.

Leia mais

DSC: Uma biblioteca de tensores compatível com PyTorch e estrutura de inferência

2025-06-18
DSC: Uma biblioteca de tensores compatível com PyTorch e estrutura de inferência

DSC é uma biblioteca de tensores compatível com PyTorch e uma estrutura de inferência para modelos de aprendizado de máquina. Possui uma API de baixo nível compatível com C, encapsulada em uma API Python moderna semelhante ao NumPy/PyTorch, com melhorias de usabilidade. Recursos-chave incluem uma API intuitiva, suporte integrado a redes neurais, suporte a vários backends (CPU e CUDA), dependências externas mínimas e nenhuma alocação em tempo de execução. A instalação é simples, exigindo apenas um compilador C++20 e GNU Make. Aceleração CUDA é suportada; basta definir variáveis de ambiente para habilitá-la. Testes unitários são executados por meio do pytest, garantindo a precisão.

Leia mais
Desenvolvimento biblioteca de tensores

Netflix a Incluir Canais de TV Franceses em Parceria com TF1

2025-06-18
Netflix a Incluir Canais de TV Franceses em Parceria com TF1

A partir do verão de 2026, assinantes da Netflix na França poderão assistir a conteúdo de TV comercialmente transmitido sem sair do serviço. A gigante do streaming anunciou um acordo de distribuição com o grupo de mídia francês TF1 para disponibilizar os canais de TV aberta ao vivo da TF1 e o conteúdo de streaming sob demanda TF1 Plus para usuários franceses da Netflix como parte de seu plano de assinatura existente. Essa parceria inovadora pode ajudar a Netflix a cumprir os requisitos legais de investimento em conteúdo em francês e representa uma nova estratégia para redes de televisão tradicionais que enfrentam a concorrência dos serviços de streaming.

Leia mais
Tecnologia Parceria de TV

Liberte seu Mago Interior das Cores: Poline Playground

2025-06-18
Liberte seu Mago Interior das Cores: Poline Playground

Embarque em uma aventura de criação de cores no Poline Playground! Esta ferramenta interativa permite que você explore os territórios inexplorados da cor. Adicione e remova pontos de ancoragem com as teclas P e Delete, respectivamente, e use o seletor de cores do seu navegador para ajustar suas criações. Ajuste o tom, a luminosidade e a saturação para criar paletas de cores exclusivas. Experimente a magia do Poline e liberte sua imaginação!

Leia mais

arXivLabs: Projetos experimentais com colaboradores da comunidade

2025-06-18
arXivLabs: Projetos experimentais com colaboradores da comunidade

arXivLabs é uma estrutura que permite que colaboradores desenvolvam e compartilhem novos recursos do arXiv diretamente em nosso site. Indivíduos e organizações que trabalham com o arXivLabs adotaram e aceitaram nossos valores de abertura, comunidade, excelência e privacidade dos dados do usuário. O arXiv está comprometido com esses valores e trabalha apenas com parceiros que os respeitam. Tem uma ideia para um projeto que agregará valor à comunidade do arXiv? Saiba mais sobre o arXivLabs.

Leia mais
Desenvolvimento

Entendendo NAT: A solução inteligente do Linux para a escassez de endereços IPv4

2025-06-18

Imagine sua rede Wi-Fi doméstica: todos os dispositivos compartilham o mesmo endereço IP público. Isso é graças à Tradução de Endereço de Rede (NAT). Com o número limitado de endereços IPv4, a NAT mapeia inteligentemente IPs privados para um único IP público em seu roteador, permitindo que vários dispositivos compartilhem um único IP público. Este artigo mergulha no funcionamento da NAT, explorando diferentes tipos (Full Cone, Restricted Cone, Symmetric NAT) e sua implementação no Linux (usando nftables), ilustrado com um exemplo do Docker. Embora a NAT resolva temporariamente o esgotamento do IPv4, ela introduz limitações como a quebra da conectividade de ponta a ponta e a complicação da criptografia. Em última análise, a adoção generalizada do IPv6 é a verdadeira solução.

Leia mais
Desenvolvimento

Munique x Hamburgo: Uma comparação de duas cidades alemãs

2025-06-18
Munique x Hamburgo: Uma comparação de duas cidades alemãs

Uma viagem de fim de semana prolongado a Munique proporcionou uma comparação fascinante com a cidade natal do autor em Hamburgo. O artigo explora o impacto histórico da dinastia Wittelsbach no desenvolvimento de Munique, contrastando-o com o crescimento independente de Hamburgo como uma cidade imperial livre. A forte presença religiosa de Munique é destacada em contraste com a atmosfera mais secular de Hamburgo. Embora Munique tenha mais museus e belezas naturais próximas, Hamburgo oferece espaços verdes superiores e um ritmo de vida menos frenético. O autor conclui que Munique oferece melhores oportunidades de emprego em tecnologia, mas Hamburgo se adapta melhor às suas preferências pessoais.

Leia mais

James Gunn: O Homem Por Trás da Reinicialização da DC

2025-06-18
James Gunn: O Homem Por Trás da Reinicialização da DC

James Gunn, o diretor por trás da franquia Guardiões da Galáxia, agora é co-CEO da DC Studios, encarregado de construir um novo Universo DC. De origens em filmes B a dirigir filmes da Marvel, e agora liderando a reinicialização da DC, a carreira de Gunn é uma narrativa cativante. Ele revela que seu trabalho passado surgiu de uma necessidade de validação, mas agora ele se concentra na criatividade pura e enfatiza a importância de roteiros de alta qualidade. O próximo filme 'Superman' representa sua nova abordagem para o personagem icônico, combinando elementos de ficção científica com profundidade emocional, apresentando um Superman mais fundamentado e relacionável.

Leia mais
Jogos Universo DC

Software Livre: A espinha dorsal da economia digital

2025-06-18
Software Livre: A espinha dorsal da economia digital

A próspera economia digital se baseia em uma fundação de software de código aberto, disponível gratuitamente para todos. Apache e Nginx, dois programas de código aberto, alimentam a maioria dos sites do mundo. O Linux, outro gigante de código aberto, impulsiona a maioria dos servidores de computador e sustenta o Android do Google. Até mesmo o Kubernetes, uma ferramenta crucial para gerenciar cargas de trabalho em nuvem, é de código aberto. Uma comunidade global de desenvolvedores trabalha incansavelmente para manter e melhorar esse software essencial.

Leia mais
Tecnologia

Workout.cool: A Plataforma de Fitness de Código Aberto Renascida

2025-06-18
Workout.cool: A Plataforma de Fitness de Código Aberto Renascida

Workout.cool é uma plataforma moderna de treinamento físico de código aberto, renascida das cinzas de sua predecessora, workout.lol. Após o projeto original ser abandonado devido a problemas de licenciamento de vídeo, o desenvolvedor Snouzy assumiu e reconstruiu a plataforma do zero, oferecendo um banco de dados abrangente de exercícios, rastreamento de progresso e planos de treino personalizados. Construído com Next.js App Router e arquitetura Feature-Sliced Design, o projeto acolhe contribuições da comunidade. É um projeto da comunidade, para a comunidade, com o objetivo de fornecer uma plataforma confiável e fácil de manter para a comunidade de fitness de código aberto.

Leia mais
Desenvolvimento

Um Programador Rejeita Ferramentas de Codificação de IA: Eficiência, Ética e Meio Ambiente

2025-06-18

Um programador experiente explica sua recusa em usar ferramentas de codificação de IA, não por resistência tecnológica, mas por preocupações profundas com eficiência, ética e meio ambiente. O autor argumenta que os ganhos de produtividade das ferramentas de IA atuais são questionáveis ​​e que elas correm o risco de introduzir mais erros. Além disso, o treinamento de modelos de IA coloca uma pressão imensa no meio ambiente, e suas fontes de dados levantam preocupações éticas, incluindo violação de propriedade intelectual. O autor enfatiza a alegria da "luta e aprendizado" na programação e as vantagens do código escrito manualmente em termos de qualidade e manutenibilidade. Em última análise, ele escolhe seguir os métodos de programação tradicionais e pede uma regulamentação mais rigorosa da tecnologia de IA.

Leia mais
Desenvolvimento

Capacidades de IA dobram a cada 7 meses: Um avanço impressionante

2025-06-18
Capacidades de IA dobram a cada 7 meses: Um avanço impressionante

Um estudo inovador revela o ritmo espantoso de melhoria em modelos de linguagem grandes (LLMs). Ao medir as taxas de sucesso do modelo em tarefas de diferentes comprimentos, os pesquisadores descobriram que o comprimento da tarefa em que os modelos alcançam uma taxa de sucesso de 50% dobra a cada 7 meses. Esse crescimento exponencial na capacidade da IA ​​de lidar com tarefas complexas sugere um futuro em que a IA enfrenta desafios antes inimagináveis. Embora o estudo tenha limitações, como a representatividade do conjunto de tarefas, ele oferece uma nova perspectiva para entender o progresso da IA ​​e prever tendências futuras.

Leia mais

Criptografia Homomórfica e Software Local-First: Um Compromisso?

2025-06-18
Criptografia Homomórfica e Software Local-First: Um Compromisso?

Este artigo explora os desafios de usar criptografia homomórfica para proteger dados privados em software local-first. Embora a criptografia homomórfica permita computação sem descriptografia, ela introduz sobrecargas significativas de desempenho e armazenamento. O autor demonstra as limitações práticas da criptografia homomórfica em CRDTs construindo um registro CRDT 'last-write-wins' criptografado homomorficamente. O artigo destaca como a criptografia homomórfica requer operações sob suposições de pior caso, aumentando drasticamente a complexidade de espaço e tempo. Em última análise, o autor conclui que proteger aplicativos local-first sem degradar severamente a usabilidade permanece um problema em aberto.

Leia mais
Desenvolvimento software local-first

Entendendo o Algoritmo A* de Busca de Caminho: De Busca em Largura a Busca Gulosa

2025-06-18
Entendendo o Algoritmo A* de Busca de Caminho: De Busca em Largura a Busca Gulosa

Este artigo explica de forma clara o algoritmo A* de busca de caminho. Começando com a simples Busca em Largura (BFS), ele introduz progressivamente o algoritmo de Dijkstra (lidando com custos de movimento variados), a Busca Gulosa e, finalmente, o algoritmo A*. Por meio de diagramas e exemplos de código, o artigo mostra claramente a operação e as vantagens e desvantagens de diferentes algoritmos, discutindo sua aplicabilidade em diferentes cenários, como busca de caminho em mapas e IA de jogos. O A*, ao incorporar uma função heurística, encontra o caminho mais curto enquanto melhora a eficiência da busca, tornando-o um algoritmo de busca de caminho popular em muitos jogos.

Leia mais

Nitrogênio de Alta Energia: Avanços e Desafios

2025-06-18
Nitrogênio de Alta Energia: Avanços e Desafios

Nos últimos anos, houve um progresso significativo na pesquisa de compostos polinitrogênio como materiais de alta densidade de energia. Cientistas sintetizaram com sucesso compostos contendo anéis de hexazina e realizaram estudos aprofundados sobre sua estrutura e estabilidade. No entanto, a síntese e a estabilidade dos compostos polinitrogênio ainda representam um desafio significativo, com fatores como efeitos de tunelamento quântico desempenhando um papel crucial. Pesquisas futuras se concentrarão em superar os desafios de síntese e estabilidade para desenvolver materiais polinitrogênio de alta energia mais seguros e eficientes.

Leia mais

Não zombe do que você não possui: Uma maneira melhor de testar dependências de terceiros

2025-06-18
Não zombe do que você não possui: Uma maneira melhor de testar dependências de terceiros

Este artigo aborda um problema comum em testes unitários: lidar com dependências de terceiros. Usando um cliente de repositório Docker como exemplo, o autor demonstra as desvantagens de simular diretamente dependências de terceiros (como clientes HTTP): os testes se tornam complexos, frágeis e difíceis de entender. A solução proposta envolve a introdução de uma fina camada de abstração para desacoplar a lógica de negócios de dependências externas, simplificando os testes e melhorando a legibilidade e a manutenção do código. Essa abordagem não apenas leva a testes mais limpos e concisos, mas também aprimora a legibilidade e a manutenção da própria lógica de negócios. Embora reconhecendo exceções, o autor conclui que esse princípio ajuda a escrever testes mais elegantes e fáceis de manter na maioria dos casos.

Leia mais

Contando Yurts na Mongólia: Uma Aventura de Aprendizado de Máquina

2025-06-18

Este artigo detalha a jornada do autor para contar o número de yurts (gers) na Mongólia usando aprendizado de máquina. O autor documenta meticulosamente o processo, desde a aquisição de dados usando imagens de satélite do Google Maps e treinamento de modelos com YOLO, até a implantação em um cluster Docker Swarm utilizando várias GPUs. O projeto destaca os desafios do processamento de vastos conjuntos de dados geográficos e as soluções inovadoras empregadas. A contagem final revela um número surpreendente de yurts, oferecendo insights sobre a mistura única da Mongólia de cultura nômade tradicional e urbanização moderna.

Leia mais
Tecnologia Mongólia

Marca Copilot da Microsoft sob fogo: Órgão de vigilância de publicidade intervém

2025-06-18
Marca Copilot da Microsoft sob fogo: Órgão de vigilância de publicidade intervém

A Microsoft está a enfrentar críticas pelo uso excessivo da marca "Copilot" em sua linha de produtos de IA. A Divisão Nacional de Publicidade do Better Business Bureau (NAD) apontou a publicidade da Microsoft pelo uso ambíguo de 'Copilot', argumentando que os consumidores têm dificuldade em diferenciar a funcionalidade entre aplicativos. A NAD também questionou as alegações da Microsoft sobre os ganhos de produtividade do Copilot, citando a falta de medição robusta das melhorias reais de produtividade. A Microsoft respondeu que revisaria sua publicidade para cumprir as recomendações da NAD, destacando o valor de mercado do Copilot.

Leia mais
Tecnologia

Desvendando o Teorema do Bom Regulador de Conant e Ashby

2025-06-18
Desvendando o Teorema do Bom Regulador de Conant e Ashby

Esta publicação oferece uma explicação clara e acessível do Teorema do Bom Regulador de Conant e Ashby de 1970, que afirma que todo bom regulador de um sistema deve ser um modelo desse sistema. O autor aborda o contexto e as controvérsias do teorema, e então usa redes bayesianas e linguagem intuitiva para explicar a prova matemática. Exemplos do mundo real ilustram os conceitos, esclarecendo equívocos em torno do termo 'modelo'.

Leia mais

Lista de Funções da API Nativa do Windows NT

2025-06-18

Esta lista contém inúmeras funções da API nativa do Windows NT, abrangendo diversos aspectos como sistemas de arquivos, gerenciamento de processos, gerenciamento de threads, segurança e registro. Essas funções são essenciais para operações de baixo nível do Windows, formando a base para interfaces de aplicativos de nível superior. Compreendê-las é crucial para programadores de sistemas e pesquisadores de segurança.

Leia mais
Desenvolvimento

O Custo Cognitivo dos LLMs: Um Estudo sobre Redação de Ensaios

2025-06-18

Um estudo investigando o custo cognitivo do uso de Modelos de Linguagem Ampla (LLMs) na redação de ensaios revela potenciais impactos negativos na aprendizagem. Os participantes foram divididos em três grupos: LLM, mecanismo de busca e apenas cérebro. Dados de EEG mostraram que o grupo LLM exibiu conectividade neural mais fraca, menor engajamento e desempenho inferior em termos de posse de ensaio e recuperação, obtendo pontuações inferiores ao grupo apenas cérebro. As descobertas destacam os potenciais aspectos negativos do uso de LLM na educação e pedem mais pesquisas para entender as implicações mais amplas da IA ​​em ambientes de aprendizagem.

Leia mais
IA

MiniMax-M1: Modelo de raciocínio de atenção híbrida em larga escala com 456 bilhões de parâmetros

2025-06-18
MiniMax-M1: Modelo de raciocínio de atenção híbrida em larga escala com 456 bilhões de parâmetros

O MiniMax-M1 é um modelo de raciocínio de atenção híbrida em larga escala e peso aberto, com 456 bilhões de parâmetros. Ele é alimentado por uma arquitetura híbrida de Mixture-of-Experts (MoE) combinada com um mecanismo de atenção rápida. O modelo foi treinado usando aprendizado por reforço em larga escala e supera outros modelos líderes, como DeepSeek R1 e Qwen3-235B, em tarefas complexas, especialmente em engenharia de software e compreensão de contexto longo. Sua computação eficiente em tempo de teste o torna uma base sólida para agentes de modelos de linguagem de próxima geração.

Leia mais

ChatGPT na Educação: Uma Espada de Dois Gumes

2025-06-18
ChatGPT na Educação: Uma Espada de Dois Gumes

Estudos recentes exploram o uso do ChatGPT e outros modelos de linguagem extensos na educação. Embora algumas pesquisas sugiram que o ChatGPT pode auxiliar eficazmente os alunos na aprendizagem de programação e outras habilidades, aumentando a eficiência da aprendizagem, outros estudos destacam o risco de superdependência, levando à dependência, à redução da aprendizagem independente e até mesmo ao comprometimento do pensamento crítico. Preocupações éticas, como possíveis fraudes e violação de direitos autorais, também são importantes. O equilíbrio entre os benefícios e os riscos do ChatGPT é um desafio crucial para os educadores.

Leia mais
IA

Pão de 5.000 Anos Descoberto na Turquia: Uma Cápsula do Tempo Culinária

2025-06-18
Pão de 5.000 Anos Descoberto na Turquia: Uma Cápsula do Tempo Culinária

Arqueólogos na Turquia desenterraram um pão notavelmente preservado de 5.000 anos, uma descoberta rara no campo. Encontrado no sítio de Kulluoba, na província de Esquixéquir, o pão da Idade do Bronze foi queimado e enterrado sob a entrada de uma habitação, protegendo-o da decomposição. A descoberta oferece insights únicos sobre dietas antigas e práticas agrícolas. Padeiros locais reproduziram com sucesso o pão usando trigo antigo, lentilhas e bulgur, resultando em um deleite popular local.

Leia mais
Tecnologia comida antiga

Scrappy: Criando aplicativos caseiros para amigos e familiares

2025-06-18
Scrappy: Criando aplicativos caseiros para amigos e familiares

John e Pontus criaram o Scrappy, um protótipo de pesquisa para a criação de aplicativos simples e personalizados para você e seus amigos. É uma ferramenta visual semelhante ao Figma ou Google Slides, mas permite anexar comportamentos a objetos interativos. Você arrasta e solta objetos como botões e campos de texto, e adiciona código JavaScript para definir suas ações, como registrar a entrada de texto ao clicar em um botão. Aplicativos Scrappy são multijogador, com estado persistente e sincronizado, tornando a colaboração com amigos e familiares perfeita. O objetivo é democratizar a criação de software, permitindo que mais pessoas criem aplicativos adaptados às suas necessidades exclusivas.

Leia mais
1 2 157 158 159 161 163 164 165 595 596