Redefinindo a Evolução: Informação Funcional e Complexidade Cósmica

2025-04-14
Redefinindo a Evolução: Informação Funcional e Complexidade Cósmica

Cientistas propõem uma nova teoria da evolução: informação funcional. Essa teoria sugere que processos seletivos impulsionam a evolução de sistemas complexos, não limitados à biologia, mas aplicáveis a minerais, elementos e até mesmo ao universo em si. Essa evolução não é sempre gradual; às vezes, ocorre em saltos, como em pontos-chave da história biológica. O conceito de informação funcional oferece uma nova perspectiva para compreender a origem da complexidade cósmica e a direção da evolução da vida, fornecendo novas vias para pesquisas em astrobiologia, oncologia e outros campos.

Leia mais

Transformer Lab: Execute LLMs localmente, sem código

2025-04-14
Transformer Lab: Execute LLMs localmente, sem código

O Transformer Lab é uma plataforma de código aberto que permite a qualquer pessoa construir, ajustar e executar modelos de linguagem grandes (LLMs) localmente, sem escrever uma única linha de código. Suporta centenas de modelos populares como Llama 3 e Phi 3, e funciona em diversos hardwares, incluindo Apple Silicon e GPUs, oferecendo RLHF e várias técnicas de otimização de preferência. Os usuários interagem com os modelos por meio de uma interface intuitiva para ajuste fino, avaliação e RAG, com suporte para vários mecanismos de inferência, plug-ins e conversões de modelos. Acessível em Windows, macOS e Linux, permite que os desenvolvedores integrem LLMs em seus produtos sem precisar de conhecimento em Python ou aprendizado de máquina.

Leia mais
Desenvolvimento

Minha Odisseia de Reparo do PowerMac G4 MDD de US$ 91: Uma História de Desespero e Triunfo

2025-04-14

O autor adquiriu um PowerMac G4 MDD barato, só para descobrir que faltava RAM, disco rígido e bateria PRAM. Após uma busca frenética por peças e montagem, a máquina inicializou, mas o ruído era ensurdecedor. Tentando substituir a ventoinha, o autor quebrou a ventoinha original, forçando a compra de uma substituição de alto desempenho. Embora o problema de ruído tenha sido resolvido, a nova ventoinha rugiu. Toda a jornada foi uma mistura hilária de problemas inesperados e sucesso final, oferecendo uma lição valiosa sobre reparo de hardware antigo.

Leia mais
Hardware Reparo

Docker Model Runner: Simplificando a execução de modelos de IA localmente

2025-04-14
Docker Model Runner: Simplificando a execução de modelos de IA localmente

A Docker lançou o Model Runner, uma ferramenta criada para simplificar a execução e o teste de modelos de IA localmente. Ele aborda os desafios enfrentados pelos desenvolvedores com ferramentas fragmentadas, problemas de compatibilidade de hardware e fluxos de trabalho desconectados ao trabalhar com modelos de IA localmente. O Model Runner integra um mecanismo de inferência baseado em llama.cpp, suporta aceleração de GPU em Apple silicon e utiliza OCI Artifacts para empacotamento padronizado de modelos, permitindo fácil compartilhamento e controle de versão. Além disso, a Docker fez parceria com empresas como Google e Hugging Face para fornecer um rico ecossistema de modelos e ferramentas, tornando o desenvolvimento de IA local significativamente mais fácil.

Leia mais
Desenvolvimento

arXivLabs: Projetos Experimentais com Colaboração da Comunidade

2025-04-14
arXivLabs: Projetos Experimentais com Colaboração da Comunidade

arXivLabs é uma estrutura que permite a colaboradores desenvolverem e compartilharem 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 de 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

MCP: O padrão de fato para integrações de LLM — mas a que custo?

2025-04-14
MCP: O padrão de fato para integrações de LLM — mas a que custo?

O Model Context Protocol (MCP) tornou-se rapidamente o padrão de fato para integração de ferramentas e dados de terceiros com LLMs. No entanto, essa conveniência apresenta riscos significativos de segurança e privacidade. Esta publicação detalha várias vulnerabilidades, incluindo autenticação inadequada, execução de código fornecido pelo usuário e as limitações inerentes dos LLMs no tratamento de grandes conjuntos de dados e autonomia. O MCP pode levar a vazamento de dados confidenciais e agregação de dados não intencional, representando desafios para a segurança corporativa. O autor argumenta que desenvolvedores, aplicativos e usuários devem trabalhar juntos para melhorar a segurança do MCP e usá-lo com cautela para mitigar riscos potenciais.

Leia mais
IA

Add-Ends: Quebra-cabeça Numérico

2025-04-14

Add-Ends é um jogo de quebra-cabeça numérico onde você troca peças pretas para que todas as linhas e colunas somem o número alvo. O jogo oferece níveis de dificuldade fácil, intermediário e difícil, além de um gerador de quebra-cabeças personalizado que permite aos jogadores escolher o tamanho da grade e a dificuldade. Um modo zen oculta o cronômetro para uma experiência mais focada.

Leia mais

Domando seu assistente de codificação LLM amnésico: o truque definitivo das Regras do Cursor

2025-04-14
Domando seu assistente de codificação LLM amnésico: o truque definitivo das Regras do Cursor

Usar LLMs como o Cursor para codificação é fantástico, mas eles têm uma peculiaridade: esquecem tudo entre as sessões. Isso significa lembrar constantemente a IA sobre suas convenções de codificação, estrutura de projeto e preferências. A solução? Uma meta-regra. Crie um modelo de regra que guie a IA na criação de outras regras específicas do projeto. Isso sistematiza a transferência de seu conhecimento, economizando tempo e garantindo consistência em seus projetos. Esse pequeno investimento inicial na criação de uma meta-regra compensa enormemente a longo prazo.

Leia mais
Desenvolvimento

Clippy: O Assistente do Office que Amamos e Odeamos

2025-04-13
Clippy: O Assistente do Office que Amamos e Odeamos

Clippy, o assistente de clipe de papel animado do Microsoft Office 97 e 2000, tentou simplificar o uso do software por meio de animação e sugestões. No entanto, seus conselhos excessivamente entusiasmados e muitas vezes inúteis o tornaram alvo de frustração do usuário. Este artigo revisita as origens do Clippy, focando na era do aumento da potência do computador sem utilização eficaz do software e nas tentativas do Clippy de resolver os problemas de falta de usabilidade e excesso de potência de computação. A aposentadoria do Clippy em 2001 marcou o fim de uma experiência de usuário desatualizada, mas hoje evoca uma sensação de nostalgia para alguns.

Leia mais
Tecnologia

Sharding Vertical: Um Pesadelo?

2025-04-13
Sharding Vertical: Um Pesadelo?

O autor relata sua experiência com sharding vertical (sharding funcional), destacando suas armadilhas. Embora alivie a carga do banco de dados, ele fragmenta o aplicativo, forçando a camada de aplicativo a lidar com junções e consultas que deveriam ser tratadas pelo banco de dados. Isso aumenta significativamente a complexidade do código e a sobrecarga de manutenção, e reduz a disponibilidade do sistema. Usando humor e uma fórmula de tempo de atividade, o autor mostra como o sharding vertical reduz a estabilidade do sistema, atrasando, em última análise, os roteiros de produtos e desmoralizando os engenheiros. O artigo termina introduzindo o PgDog, um projeto de código aberto que visa resolver o sharding do Postgres.

Leia mais
Desenvolvimento sharding vertical

Math Academy: Treinamento eficaz ou obstáculo conceitual?

2025-04-13
Math Academy: Treinamento eficaz ou obstáculo conceitual?

O Math Academy é uma plataforma de aprendizado de matemática online popular, elogiada por sua abordagem gamificada. No entanto, as avaliações de educadores de matemática são mistas. O autor explora seus pontos fortes e fracos por meio de experiências pessoais, destacando sua eficácia na fluência processual (domínio de etapas), mas suas deficiências na compreensão conceitual. O Math Academy é melhor usado como um suplemento para aprofundar a compreensão obtida em livros didáticos ou palestras, não como o único método de aprendizado. O autor defende a priorização da compreensão conceitual, usando ferramentas como o Math Academy para prática direcionada.

Leia mais
Diversos

Sudoku: Uma Interação Elegante entre Teoria de Grafos e Álgebra Abstrata

2025-04-13
Sudoku: Uma Interação Elegante entre Teoria de Grafos e Álgebra Abstrata

O aparentemente simples jogo de Sudoku esconde profundos princípios matemáticos. Este artigo explora duas abordagens para resolver quebra-cabeças de Sudoku: teoria de grafos e álgebra abstrata. A abordagem da teoria de grafos transforma a grade de Sudoku em um grafo, usando algoritmos de coloração de vértices para encontrar soluções. A abordagem algébrica converte as regras do Sudoku em um sistema de equações polinomiais, usando bases de Gröbner para encontrar soluções. Ambos os métodos mostram a beleza da matemática e oferecem abordagens novas para resolver Sudoku.

Leia mais
Diversos teoria de grafos

Para além dos papagaios estocásticos: os circuitos dos modelos de linguagem grandes

2025-04-13
Para além dos papagaios estocásticos: os circuitos dos modelos de linguagem grandes

Modelos de linguagem grandes (LLMs) foram descartados por alguns como meros "papagaios estocásticos", simplesmente memorizando e regurgitando padrões estatísticos de seus dados de treinamento. No entanto, pesquisas recentes revelam uma realidade mais matizada. Os pesquisadores descobriram complexos "circuitos" internos - algoritmos autoaprendidos que resolvem classes de problemas específicas - dentro desses modelos. Esses circuitos permitem a generalização para situações não vistas, como gerar coplas que rimam e até mesmo planejar proativamente a estrutura dessas coplas. Embora existam limitações, essas descobertas desafiam a narrativa do "papagaio estocástico" e levantam questões mais profundas sobre a natureza da inteligência do modelo: os LLMs podem independentemente gerar novos circuitos para resolver problemas totalmente novos?

Leia mais

A Ascensão e Queda (e Ascensão?) do Neoliberalismo: Uma Mudança de Regime Incompleta

2025-04-13
A Ascensão e Queda (e Ascensão?) do Neoliberalismo: Uma Mudança de Regime Incompleta

Este artigo traça a evolução do termo 'mudança de regime', de seu significado inicial da ordem neoliberal pós-Segunda Guerra Mundial liderada pelos EUA, à sua associação atual com intervenções militares. Examina a ascensão, o desenvolvimento e a crise pós-2008 do neoliberalismo. Apesar de intervenções keynesianas maciças após a crise, os princípios neoliberais centrais permaneceram, exacerbando a desigualdade. Movimentos populistas de direita e esquerda emergiram, desafiando o status quo, mas sem uma alternativa clara. O autor argumenta que apenas um choque externo importante poderia desencadear uma verdadeira 'mudança de regime' no Ocidente, libertando-se do controle do neoliberalismo.

Leia mais

Protocolo de Contexto de Modelo (MCP): Um Novo Padrão para Construção de Aplicações LLM Potentes

2025-04-13

Este artigo apresenta o Protocolo de Contexto de Modelo (MCP), um protocolo aberto para a construção de aplicações de Modelo de Linguagem Ampla (LLM) em nível empresarial. O MCP resolve o problema da falta de padronização na integração de LLMs com ferramentas empresariais, permitindo que frameworks como LangChain se integrem perfeitamente a várias fontes de dados e ferramentas, como bancos de dados e GitHub. O artigo detalha os componentes principais do MCP (servidor, cliente e host do MCP), configuração de instalação e demonstrações práticas em Python. Isso inclui a construção de um aplicativo LangChain para calcular juros simples e compostos usando Ollama e a interação com vários servidores MCP usando os modos de transporte stdio e sse. Com o MCP, as aplicações LLM podem aproveitar de forma mais eficaz os dados e as ferramentas empresariais para obter uma funcionalidade mais robusta.

Leia mais
Desenvolvimento Integração de Ferramentas

Meta's Llama 4: Escândalo de Benchmarking Abala o Mundo da IA

2025-04-13
Meta's Llama 4: Escândalo de Benchmarking Abala o Mundo da IA

A família de modelos de linguagem grandes Llama 4, recentemente lançada pela Meta, especificamente a versão Maverick, inicialmente impressionou o mundo da IA com seu desempenho impressionante em benchmarks, superando modelos como o GPT-4o da OpenAI e o Gemini 2.0 Flash do Google. No entanto, rapidamente surgiram discrepâncias entre a versão de benchmark e o modelo disponível publicamente, levando a acusações de trapaça. A Meta admitiu ter usado uma versão especialmente ajustada para benchmarking e, desde então, adicionou o modelo Llama 4 Maverick não modificado ao LMArena, resultando em uma queda significativa na classificação. Este incidente destaca problemas de transparência em benchmarks de modelos grandes e leva a uma reflexão sobre as metodologias de avaliação de modelos.

Leia mais
IA

Desvendando os Ciclos Predador-Presa: As Equações de Lotka-Volterra

2025-04-13

As equações de Lotka-Volterra, também conhecidas como modelo predador-presa de Lotka-Volterra, são um par de equações diferenciais não lineares de primeira ordem frequentemente usadas para descrever a dinâmica de sistemas biológicos em que duas espécies interagem, uma como predadora e a outra como presa. O modelo assume que as presas têm um suprimento ilimitado de alimentos e se reproduzem exponencialmente a menos que sejam predadas; a taxa de predação é proporcional à taxa na qual os predadores e as presas se encontram. O crescimento da população de predadores depende da taxa de predação e é afetado pela taxa de mortalidade natural. As soluções do modelo são deterministas e contínuas, o que significa que as gerações de predadores e presas se sobrepõem continuamente. O modelo de Lotka-Volterra prevê números flutuantes de populações de predadores e presas e revela características do equilíbrio populacional: a densidade de equilíbrio da presa depende dos parâmetros do predador, enquanto a densidade de equilíbrio do predador depende dos parâmetros da presa. O modelo tem encontrado aplicações em economia e marketing, descrevendo a dinâmica em mercados com múltiplos concorrentes, plataformas complementares e produtos.

Leia mais

GeoDeep: Detecção de Objetos em Imagens de Satélite Maxar de Myanmar e Tailândia

2025-04-13

Esta publicação detalha o uso do pacote Python GeoDeep para realizar detecção de objetos em imagens de satélite abertas da Maxar de Myanmar e Tailândia, após um recente terremoto. Aproveitando uma estação de trabalho de alto desempenho, o autor executa os modelos de IA integrados do GeoDeep para detectar carros, árvores, edifícios e estradas. Os resultados revelam precisão e eficiência variadas entre os diferentes modelos, com alguns exibindo detecções perdidas e falsos positivos. O experimento destaca o potencial e os desafios da detecção de objetos com tecnologia de IA na análise de imagens de satélite.

Leia mais

Plano de demissões da Microsoft para 2025: otimização da gestão e aumento da eficiência

2025-04-13
Plano de demissões da Microsoft para 2025: otimização da gestão e aumento da eficiência

Segundo relatos, a Microsoft planeja outra rodada de demissões em maio de 2025, com o objetivo de otimizar sua estrutura organizacional, reduzindo cargos de gerência média e funções não técnicas. A meta é melhorar a eficiência e aumentar a proporção de engenheiros para não engenheiros nas equipes de projetos, refletindo tendências semelhantes em gigantes de tecnologia como Google e Amazon.

Leia mais

A Manicule: Dos Manuscritos Medievais aos cursores do mouse

2025-04-13
A Manicule: Dos Manuscritos Medievais aos cursores do mouse

Você já reparou naquelas pequenas mãos apontando em livros antigos? É uma manicule, e este artigo traça sua jornada fascinante, desde os manuscritos medievais, onde os leitores as usavam para destacar passagens importantes, passando pela era da imprensa, até a era digital, onde ela vive como o onipresente ponteiro de sites. É uma história de como um símbolo simples se adaptou às novas tecnologias, sempre servindo ao mesmo propósito: guiar a atenção do leitor.

Leia mais
Design Símbolo

GNU Radio: Kit de desenvolvimento de rádio definido por software de código aberto

2025-04-13

O GNU Radio é um kit de ferramentas de desenvolvimento de software livre e de código aberto que fornece blocos de processamento de sinal para implementar rádios definidos por software (SDRs). Ele pode ser usado com hardware de RF externo de baixo custo e prontamente disponível ou sem hardware em um ambiente de simulação. Sua estrutura modular, baseada em fluxograma, e sua extensa biblioteca de blocos de processamento o tornam adequado para a criação de aplicativos de processamento de sinal complexos em pesquisa, indústria e ambientes amadores. Embora não seja uma solução para hardware ou padrões de rádio específicos fora da caixa, ele é altamente adaptável para desenvolver implementações de vários padrões de comunicação.

Leia mais
Desenvolvimento

Nomeação de defensor antivacinas de Kennedy provoca indignação

2025-04-13
Nomeação de defensor antivacinas de Kennedy provoca indignação

Os pesquisadores da Vanderbilt, Jeremy Jacobs e Garrett Booth, criticaram fortemente a nomeação de Kennedy do notório defensor antivacinas David Geier para liderar um estudo federal sobre imunizações e resultados de neurodesenvolvimento. Geier e seu pai têm um histórico de promoção da afirmação refutada de que as vacinas causam autismo. Os pesquisadores argumentam que essa nomeação compromete a integridade científica, erode a confiança pública e dá uma plataforma para informações não confiáveis, chamando-a de 'concessão perigosa à pseudociência'. Eles pedem uma defesa da medicina baseada em evidências e pedem que instituições públicas e líderes acadêmicos demonstrem coragem e clareza ao rejeitar a normalização da desinformação e proteger a saúde pública.

Leia mais

Treinamento GRPO leve: Sem Transformers, sem vLLM

2025-04-13
Treinamento GRPO leve: Sem Transformers, sem vLLM

Este projeto implementa uma estrutura de treinamento GRPO (Group Relative Policy Optimization) leve, construída quase do zero, dependendo apenas de tokenizadores e PyTorch. Ele melhora o algoritmo original removendo a divergência de KL e incorporando o filtro de episódios muito longos, melhorando a estabilidade do treinamento e o uso da memória da GPU. O projeto treina o modelo Qwen2.5-3B-Instruct na tarefa CountDown, que requer a geração de uma expressão matemática para atingir um valor alvo dado um conjunto de números. O modelo resolve isso aprendendo a gerar raciocínio em cadeia de pensamento antes da resposta final, guiado por recompensas de formato e resposta. Todo o processo é simples e reprodutível, rodando em uma única GPU A40 com comandos mínimos.

Leia mais
Desenvolvimento

Depurando um teste instável com o `trace` do BCC

2025-04-13

Ao corrigir um projeto de código aberto, o autor encontrou testes que falhavam intermitentemente. Usando o utilitário `trace` das ferramentas BCC, as chamadas de função do kernel `touch_atime` foram monitoradas. Isso revelou uma thread em segundo plano no editor de texto do autor, que escaneava os arquivos do projeto e alterava os horários de acesso aos arquivos, causando assim as falhas erráticas nos testes. O caso destaca o poder das ferramentas BCC para depuração do kernel Linux e o valor de um profundo entendimento do sistema.

Leia mais

EXWM: Gerenciador de Janelas para Emacs

2025-04-13
EXWM: Gerenciador de Janelas para Emacs

O EXWM é um gerenciador de janelas X para Emacs baseado em XELB, com recursos completos e totalmente controlado por teclado. Ele oferece modos de layout híbrido (mosaico e empilhamento), suporte a área de trabalho dinâmica e compatibilidade com ICCCM/EWMH. Recursos opcionais incluem suporte RandR (multimonitor), bandeja do sistema, método de entrada, suporte à configuração de plano de fundo e servidor XSETTINGS. Confira as capturas de tela e o guia do usuário para uma visão geral completa e instruções de instalação!

Leia mais
Desenvolvimento

Guia Aberto para Compensação de Equidade: Um Guia Completo

2025-04-13
Guia Aberto para Compensação de Equidade: Um Guia Completo

Este guia desvenda as complexidades da compensação de equidade, cobrindo várias formas como ações restritas, opções de ações e unidades de ações restritas. Ele visa capacitar funcionários, gerentes de contratação, fundadores e estudantes a entender as intrincadas nuances da compensação de equidade, tomar decisões informadas e evitar erros dispendiosos. Os tópicos incluem os fundamentos da compensação de equidade, fundamentos das corporações acionárias, como a equidade é concedida, fundamentos tributários, impostos sobre a compensação de equidade, planos e cenários, ofertas e negociações e outros recursos. O guia também aborda armadilhas comuns e oferece sugestões práticas.

Leia mais

Enorme quantidade de solicitações de análise de dados urbanos: um projeto de ciência de dados em larga escala

2025-04-13

Esta lista contém um grande número de solicitações de análise de dados urbanos, cobrindo taxas de vacinação, avaliações de risco de inundação, correlações entre doenças e fatores ambientais, taxas de adoção de energia renovável, impactos no transporte, preços de habitação, taxas de criminalidade, financiamento de educação, qualidade do ar e muito mais. Essas solicitações abrangem vários bairros em várias cidades dos EUA, exigindo extensa coleta e análise de dados - um empreendimento maciço de ciência de dados.

Leia mais
Diversos

O vingador de Lincoln: A estranha história de Boston Corbett

2025-04-13
O vingador de Lincoln: A estranha história de Boston Corbett

Após o assassinato do presidente Lincoln por John Wilkes Booth em 1865, Boston Corbett, um soldado cristão devoto, atirou e matou o fugitivo Booth. Embora saudado por alguns como o vingador de Lincoln, as ações de Corbett foram controversas, levando a uma vida de perseguição e mistério. Seus últimos anos foram marcados por instabilidade mental e paranoia, culminando em uma fuga de um asilo e um desaparecimento que continua a alimentar especulações. A história de Corbett é uma mistura cativante de fervor religioso, justiça controversa e enigma duradouro.

Leia mais

Alocadores de Arena e Vetores Dinâmicos em Odin: Armadilhas Escondidas

2025-04-13
Alocadores de Arena e Vetores Dinâmicos em Odin: Armadilhas Escondidas

O uso de alocadores de arena com vetores dinâmicos em Odin apresenta armadilhas sutis. Arenas gerenciam eficientemente alocações com o mesmo tempo de vida, desalocação tudo de uma vez. No entanto, o mecanismo de crescimento de vetores dinâmicos deixa blocos de memória antigos sem liberação ao usar um alocador de arena, levando a desperdício de memória. O artigo explica o porquê: alocadores de arena não suportam desalocações individuais, e o crescimento do vetor dinâmico cria um 'cemitério' de blocos antigos. Soluções incluem usar o alocador padrão, pré-alocar o tamanho máximo ou usar uma arena virtual crescente. Embora a arena virtual crescente impeça a movimentação de blocos de memória, ela não é imune a potenciais desperdícios. O artigo conclui que, se o uso da memória for altamente dinâmico, evitar alocadores de arena é aconselhável.

Leia mais

Cybertruck RWD da Tesla: Uma farsa barata?

2025-04-13
Cybertruck RWD da Tesla: Uma farsa barata?

A Tesla lançou uma versão básica de tração traseira do Cybertruck, mas com um preço alto de US$ 71.985, apenas US$ 10.000 a menos que o modelo de tração integral com motor duplo. Esta versão é significativamente reduzida, com aceleração mais lenta, rodas menores, capacidade de reboque reduzida, suspensão simplificada, capota removida e interior simplificado. Embora o alcance seja ligeiramente melhor, a proposta de valor geral é fraca, falhando em competir eficazmente com outras caminhonetes elétricas. A estratégia da Tesla parece ser um aumento nas vendas, mas se o sacrifício de recursos para vendas terá sucesso, ainda está por ver.

Leia mais
Tecnologia
1 2 309 310 311 313 315 316 317 595 596