Webtagr - Sumário de Notícias de Tecnologia

Tags populares：

Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

GrapheneOS: A Fortaleza Impenetrável do Android Contra Ataques Forenses

2025-09-11

GrapheneOS: A Fortaleza Impenetrável do Android Contra Ataques Forenses

O GrapheneOS, um sistema operacional Android de código aberto focado em privacidade, foi alvo recentemente de uma campanha de difamação nas redes sociais que afirmava falsamente que ele havia sido comprometido. O ataque deturpou a extração de dados com base em consentimento como uma violação de segurança. Este artigo esclarece a ciência forense digital, as capacidades da Cellebrite e a distinção da extração de dados com base em consentimento. Os recursos de segurança robustos do GrapheneOS, incluindo a desativação de conexões USB no modo AFU, as limitações de ataque de força bruta do Titan M2 e a reinicialização automática, neutralizam eficazmente esses ataques. A própria Cellebrite admite que não consegue desbloquear dispositivos GrapheneOS totalmente atualizados sem o consentimento do usuário. O incidente destaca a proteção superior do GrapheneOS à privacidade e segurança de dados do usuário.

(discuss.grapheneos.org)

Tecnologia Ciência Forense Digital

Polêmica lei de 'Controle de Bate-Papo' da UE: Privacidade x Abuso Sexual Infantil

2025-09-11

Polêmica lei de 'Controle de Bate-Papo' da UE: Privacidade x Abuso Sexual Infantil

A UE está prestes a debater um polêmico projeto de lei de 'Controle de Bate-Papo' destinado a combater o abuso sexual infantil por meio da varredura obrigatória do conteúdo do usuário ou da violação de criptografia. No entanto, o projeto de lei recebeu forte oposição de especialistas em segurança que o consideram impraticável, altamente intrusivo e propenso a uma alta taxa de falsos positivos, potencialmente levando a um desastre de segurança nacional. Vários aplicativos de mensagens criptografados prometeram lutar contra o projeto de lei judicialmente ou se mudar para fora da UE. A delegação alemã pode solicitar um adiamento, deixando o destino do projeto de lei incerto.

(www.theregister.com)

Tecnologia abuso sexual infantil

Módulos C++20: Melhorias no tempo de compilação e experiências práticas

2025-09-11

Este artigo compartilha a experiência prática do autor usando módulos C++20, cobrindo escolhas de sistemas de build (Bazel, XMake, Build2, etc.), melhorias no tempo de compilação (25% - 45%) e diferenças em relação ao PCH. O autor também discute cenários adequados para módulos C++20, custos (refatoração de código, estabilidade do compilador, suporte de conclusão de código, etc.), wrappers de módulos (estilos export-using e extern "C++") e técnicas para misturar import e #include. O artigo conclui com direções futuras de melhoria para módulos C++20, como melhorar sistemas de build, aprimorar a inteligência de código, resolver problemas de plataforma cruzada e destacar o potencial da IA no desenvolvimento de ferramentas de conversão de módulos.

(chuanqixu9.github.io)

Desenvolvimento

Piramidal Contrata Engenheiro de Back-end para Plataforma de Dados Neurais

2025-09-11

Piramidal Contrata Engenheiro de Back-end para Plataforma de Dados Neurais

A Piramidal está procurando um engenheiro de software para construir e manter a infraestrutura e os sistemas de back-end para sua plataforma principal de dados neurais. O candidato ideal terá 3+ anos de experiência em empresas orientadas a produtos, proficiência em Python e outras linguagens de back-end, tecnologias de contêiner e orquestração (por exemplo, Kubernetes), bancos de dados relacionais (por exemplo, Postgres/MySQL) e tecnologias web (por exemplo, JavaScript, React). A função envolve colaboração próxima com engenheiros de ML para iterar na aplicação dos modelos mais recentes e trabalhar com a equipe de produto e clientes internos para entender suas necessidades e implementar soluções eficazes. A Piramidal se dedica a redirecionar a tecnologia para maximizar o potencial humano, com uma missão central de apoiar a liberdade cognitiva.

(www.ycombinator.com)

Desenvolvimento engenheiro de back-end dados neurais

pgEdge torna seus componentes principais de código aberto, abraçando o ecossistema PostgreSQL

2025-09-11

A pgEdge, uma empresa focada em PostgreSQL distribuído, anunciou que re licenciou seus componentes principais - incluindo o mecanismo de replicação Spock, o gerador de sequência Snowflake e a extensão de replicação lógica de objetos grandes Lolor - sob a Licença PostgreSQL, tornando-os de código aberto! Essa mudança demonstra o compromisso da pgEdge com o código aberto e seu desejo de contribuir mais para o ecossistema PostgreSQL. Desenvolvedores agora podem acessar o código-fonte desses componentes no GitHub e participar de seu desenvolvimento. A pgEdge também oferece opções de implantação em nuvem, contêiner e VM para facilitar o acesso do usuário.

(www.pgedge.com)

Desenvolvimento Banco de Dados Distribuído

Reshaped: Cinco anos de jornada para código aberto

2025-09-11

Reshaped: Cinco anos de jornada para código aberto

Após cinco anos de desenvolvimento, a biblioteca de componentes Reshaped agora é totalmente de código aberto! Inicialmente um projeto pessoal que atendia à necessidade de bibliotecas de componentes consistentes para React e Figma, o Reshaped abrange 80% das práticas principais de design na web, priorizando o alinhamento entre design e engenharia. O autor primeiro tornou o pacote React gratuito e agora disponibiliza todo o código-fonte, com o objetivo de promover as melhores práticas em design e engenharia. Planos futuros incluem componentes premium avançados.

(reshaped.so)

Desenvolvimento biblioteca de componentes sistema de design

Engenharia Pura vs. Impura: Por que Devs Solo Entram em Conflito com Grandes Empresas de Tecnologia

2025-09-11

Este artigo explora a diferença entre engenharia de software 'pura' e 'impura'. A engenharia pura foca na perfeição técnica, semelhante à arte ou pesquisa, enquanto a engenharia impura prioriza a eficiência e a resolução de problemas do mundo real. As grandes empresas de tecnologia precisam de ambas, mas o mercado atual favorece a engenharia impura, levando a conflitos entre engenheiros puros e impuros. O desenvolvimento assistido por IA beneficia mais a engenharia impura, pois ajuda a lidar com problemas menos novos e com restrições de tempo, enquanto a engenharia pura depende mais da experiência individual. O autor argumenta que ambos os tipos exigem habilidades elevadas, apenas com foco diferente.

(www.seangoedecke.com)

Desenvolvimento Desenvolvimento Assistido por IA Tipos de Engenheiros

Deep Code Bench: Um Novo Conjunto de Dados de Benchmark para Recuperação de Código

2025-09-11

Deep Code Bench: Um Novo Conjunto de Dados de Benchmark para Recuperação de Código

A Qodo lançou o Deep Code Bench, um novo conjunto de dados de benchmark de perguntas do mundo real derivadas de grandes repositórios de código complexos. Ao contrário dos benchmarks existentes, essas perguntas exigem recuperação em vários arquivos, refletindo cenários reais de desenvolvedores. O conjunto de dados, gerado usando LLMs a partir de dados de solicitação de pull, fornece uma avaliação robusta de sistemas de recuperação de código. O agente de pesquisa profunda da Qodo supera os outros em recall de fatos, alcançando aproximadamente 76% de precisão.

(www.qodo.ai)

Desenvolvimento conjunto de dados de benchmark

Projeto secreto de óculos AR da Amazon: 'Amelia' para entregadores

2025-09-11

Projeto secreto de óculos AR da Amazon: 'Amelia' para entregadores

A Amazon está secretamente desenvolvendo óculos de realidade aumentada (AR) com o codinome 'Jayhawk', com uma tela colorida em um olho, microfones, alto-falantes e câmera. Embora uma versão para consumidor seja esperada para o final de 2026 ou início de 2027, a Amazon planeja lançar uma versão maior e focada em entrega chamada 'Amelia' para seus entregadores já no próximo ano, com uma produção inicial de 100.000 unidades. Esses óculos usarão uma pequena tela para fornecer navegação passo a passo e instruções de entrega, mostrando o potencial da RA na logística. Essa medida posiciona a Amazon ao lado da Meta e do Google no crescente mercado de óculos AR.

(www.theverge.com)

Tecnologia

Mergulhando no banco de dados tz: Criando seu próprio fuso horário

2025-09-11

Mergulhando no banco de dados tz: Criando seu próprio fuso horário

Trabalhando com Ruby, o autor encontrou um problema de fuso horário, o que o levou à descoberta do banco de dados tz. Este artigo fornece uma explicação clara do banco de dados tz, incluindo seus componentes principais: o compilador zic, a ferramenta zdump e os arquivos de origem do fuso horário. O autor demonstra como personalizar as regras de fuso horário criando um fuso horário fictício, Hi_No_Kuni/Konoha, em uma imagem Alpine Docker. O processo é ilustrado com exemplos práticos, verificando os resultados. Este artigo é adequado para desenvolvedores e fornece informações sobre a complexidade e a padronização por trás dos fusos horários.

(yatsushi.com)

Desenvolvimento banco de dados tz

BCacheFS desabilitado em kernels openSUSE 6.17+

2025-09-11

A equipe openSUSE anunciou que o sistema de arquivos BCacheFS será desabilitado nos kernels 6.17 e posteriores. Isso ocorre porque o BCacheFS é mantido externamente desde a versão 6.17, e o openSUSE não manterá mais e fará backport de patches downstream. Atualmente, as versões 6.16 e anteriores não são afetadas. Os usuários devem seguir as instruções do upstream do BCacheFS para instalação e uso, ou preparar um KMP por conta própria. O BCacheFS será reativado assim que seu mantenedor retomar a manutenção upstream.

(lwn.net)

Desenvolvimento

Superando o Obstáculo de 10.000+ LOC: Um Fluxo de Trabalho Estruturado para LLMs em Projetos Grandes

2025-09-11

Superando o Obstáculo de 10.000+ LOC: Um Fluxo de Trabalho Estruturado para LLMs em Projetos Grandes

Este artigo detalha um fluxo de trabalho bem-sucedido para usar LLMs em projetos grandes, com mais de 10.000 linhas de código. O autor descobriu que gerar um sistema inteiro diretamente com um LLM é caótico e propenso a erros. Em vez disso, uma abordagem estruturada é apresentada: escrever manualmente documentos de design e arquitetura primeiro, depois usar o LLM como uma ferramenta de geração e transformação de código, iterando em pequenas tarefas, revisando e corrigindo sistematicamente o código e atualizando continuamente a documentação e as diretrizes de codificação. Este método evita com sucesso as limitações do LLM em projetos grandes, mantendo a manutenibilidade e a consistência.

(medium.com)

Desenvolvimento

Dotter: Um poderoso gerenciador de dotfiles e mecanismo de criação de modelos em Rust

2025-09-11

Dotter: Um poderoso gerenciador de dotfiles e mecanismo de criação de modelos em Rust

Dotter é um gerenciador de dotfiles e mecanismo de criação de modelos escrito em Rust, projetado para simplificar o gerenciamento e a implantação de dotfiles. Ele resolve muitos inconvenientes associados ao gerenciamento manual de dotfiles, como rastrear origens de arquivos, configuração tediosa em novas máquinas e lidar com diferenças de configuração entre máquinas. Dotter automatiza o gerenciamento de dotfiles por meio de configuração flexível e criação de modelos ou links simbólicos automáticos. Ele suporta instalação via Homebrew, AUR e Scoop, e também fornece binários e instalação via Cargo. Dotter também oferece amplas opções de linha de comando e funções de gancho para fluxos de trabalho definidos pelo usuário.

(github.com)

Desenvolvimento

Ordenação por Radix supera Tabelas Hash: Uma Batalha de Desempenho para Contar Valores Únicos

2025-09-11

Ordenação por Radix supera Tabelas Hash: Uma Batalha de Desempenho para Contar Valores Únicos

No problema de contar valores únicos em um grande array de uint64s majoritariamente únicos, o algoritmo de ordenação por radix, quando bem ajustado, geralmente é mais rápido do que tabelas hash. Ao usar a largura de banda de memória de forma eficiente e combinando habilmente o hash com o processo de ordenação, a ordenação por radix alcança uma aceleração de até 1,5x em relação às tabelas hash ajustadas para conjuntos de dados maiores que 1 MB, e até 4x mais rápido do que as excelentes tabelas hash Swiss Table do Rust. No entanto, o desempenho da ordenação por radix diminui com distribuições de dados não uniformes; o uso de uma função hash invertível pré-processa os dados para manter a eficiência. O artigo compara ambos os métodos em diferentes tamanhos de dados e frequências de acesso, e discute a estratégia para escolher entre eles em aplicações do mundo real.

(reiner.org)

Desenvolvimento ordenação por radix

Luz azul clareia manchas amarelas: uma solução sustentável

2025-09-11

Luz azul clareia manchas amarelas: uma solução sustentável

Pesquisadores desenvolveram um método ecologicamente correto para remover manchas amarelas de roupas usando luz LED azul de alta intensidade. Este método utiliza luz azul e oxigênio ambiente, eliminando a necessidade de oxidantes químicos agressivos. Ele remove eficazmente manchas de suor, suco de laranja, suco de tomate e muito mais, mesmo em tecidos delicados como seda. Testes mostraram que a luz azul superou significativamente o peróxido de hidrogênio e a luz ultravioleta na remoção de manchas sem danificar o tecido. Embora promissor, são necessários testes adicionais antes da comercialização para garantir a segurança e a solidez das cores.

(phys.org)

Tecnologia remoção de manchas

Administração Trump Reforçará a Regulamentação de Anúncios de Medicamentos com Receita

2025-09-11

Administração Trump Reforçará a Regulamentação de Anúncios de Medicamentos com Receita

Este memorando descreve o plano da administração Trump para fortalecer as regulamentações sobre anúncios de medicamentos de venda direta ao consumidor. Citando um aumento nos anúncios farmacêuticos e preocupações com alegações enganosas que minimizam os riscos e superestimam os benefícios, a administração exigirá informações mais completas sobre riscos nos anúncios para garantir informações justas, equilibradas e completas para os consumidores. O objetivo é corrigir informações enganosas e promover escolhas de medicamentos mais informadas.

(www.whitehouse.gov)

Tecnologia regulamentação farmacêutica anúncios de medicamentos com receita

Soluções Elegantes do Clojure para o Problema da Expressão

2025-09-11

Soluções Elegantes do Clojure para o Problema da Expressão

Na conferência Strange Loop, Chris Houser apresentou duas abordagens do Clojure para resolver o problema da expressão: multimethods e protocolos. A apresentação explorou os prós e contras de cada método, mostrando sua implementação em Clojure. Houser, coautor de "The Joy of Clojure" e contribuidor principal da linguagem, demonstrou poderosamente a flexibilidade e expressividade do Clojure.

(www.infoq.com)

Desenvolvimento Problema da Expressão

Quatro Falácias Fundamentais da IA: Um Caminho Tortuoso para a IAG

2025-09-11

Quatro Falácias Fundamentais da IA: Um Caminho Tortuoso para a IAG

Este artigo explora as quatro falácias fundamentais da inteligência artificial, segundo Melanie Mitchell: igualar o progresso da IA estreita à Inteligência Artificial Geral (IAG); subestimar a dificuldade do raciocínio de senso comum; usar linguagem antropomórfica para enganar o público; e ignorar a importância da cognição incorporada. O autor argumenta que essas falácias levam a ciclos de hype e compensações perigosas no campo da IA, como priorizar ganhos de curto prazo em detrimento do progresso de longo prazo, sacrificar a confiança pública em troca de entusiasmo de mercado e abrir mão da validação responsável para acelerar o lançamento no mercado. Por fim, o autor defende uma síntese do 'paradigma cognitivo' e do 'paradigma computacionalista', infundindo as práticas atuais de IA com princípios científicos para um desenvolvimento de IA mais seguro e responsável.

(blog.apiad.net)

IA

iPhone 17 Air da Apple será lançado globalmente apenas com eSIM: O futuro chegou

2025-09-11

iPhone 17 Air da Apple será lançado globalmente apenas com eSIM: O futuro chegou

O anúncio da Apple de que o iPhone 17 Air estará disponível globalmente sem cartões SIM físicos marca um passo significativo para a adoção generalizada da tecnologia eSIM. Essa alternativa digital oferece maior conveniência, segurança e sustentabilidade ambiental, simplificando a troca de operadoras e reduzindo o desperdício de plástico. Embora a configuração inicial exija acesso à internet, a ativação remota e os recursos flexíveis de troca de eSIMs beneficiarão os usuários, especialmente os viajantes. Essa mudança provavelmente incentivará outros fabricantes a seguirem o exemplo, posicionando os eSIMs como a tecnologia dominante na próxima década, transformando tanto a experiência do usuário quanto a indústria.

(tech.yahoo.com)

Tecnologia

Queda em massa de assistentes de codificação de IA destaca os riscos crescentes de dependência

2025-09-11

Queda em massa de assistentes de codificação de IA destaca os riscos crescentes de dependência

Uma recente queda nos assistentes de codificação de IA, como o Claude Code da Anthropic, expôs a grande dependência do desenvolvimento de software moderno em relação a essas ferramentas. Os desenvolvedores recorreram a alternativas, incluindo até mesmo o Stack Overflow, sublinhando os perigos da superdependência. A tendência emergente de 'codificação por vibração' (vibe coding), usando linguagem natural para gerar código sem entender a lógica subjacente, levou a resultados desastrosos, incluindo corrupção de arquivos pelo Gemini CLI do Google e exclusão de banco de dados pelo serviço de IA da Replit. A queda serviu como um lembrete claro das potenciais consequências da dependência de IA e provocou reflexões sobre o equilíbrio entre vida profissional e pessoal.

(arstechnica.com)

Desenvolvimento

BMW questiona a proibição da UE de motores a combustão em 2035

2025-09-11

BMW questiona a proibição da UE de motores a combustão em 2035

O CTO da BMW, Joachim Post, critica fortemente o plano da UE de proibir a venda de carros com motores a combustão até 2035. Ele argumenta que a proibição ignora as preferências do consumidor, as limitações da infraestrutura de carregamento e os preços de energia, potencialmente prejudicando a indústria automobilística europeia. Embora as vendas de veículos elétricos estejam crescendo na Europa, elas ainda representam uma pequena porcentagem do mercado. A BMW enfatiza oferecer aos clientes a escolha entre veículos a combustão e elétricos, acreditando que a decisão final deve caber aos consumidores, não à UE. Isso destaca o conflito entre fabricantes de automóveis tradicionais e as políticas da UE, e levanta preocupações sobre o futuro da indústria automobilística.

(www.motor1.com)

Tecnologia proibição de motores a combustão

Fita cassete de DNA: Retro Tech encontra armazenamento gigantesco

2025-09-11

Fita cassete de DNA: Retro Tech encontra armazenamento gigantesco

Pesquisadores criaram uma fita cassete de DNA, aproveitando o formato familiar das fitas cassete retrô, mas com uma reviravolta revolucionária: armazenamento de dados em DNA. Essa fita de 100 metros possui uma capacidade de armazenamento incrível de 36 petabytes — equivalente a 36.000 discos rígidos de terabyte — codificando informações digitais na sequência das bases de DNA. Um sistema de código de barras simplifica a recuperação de dados, enquanto um revestimento protetor de imidazolato zeolítico garante a preservação de dados de longo prazo por séculos. Apesar de sua aparência nostálgica, é incompatível com tocadores de fita cassete tradicionais; isso é armazenamento de DNA, não magnético.

(www.newscientist.com)

Tecnologia

TailGuard: Conectando WireGuard ao Tailscale com um Contêiner Docker

2025-09-11

TailGuard: Conectando WireGuard ao Tailscale com um Contêiner Docker

O TailGuard é um aplicativo simples de contêiner Docker que permite conectar servidores WireGuard existentes à rede Tailscale, mesmo em dispositivos bloqueados ou que não suportem binários Tailscale. Ele funciona executando um contêiner em um VPS, criando uma ponte entre o WireGuard e a rede Tailscale, simplificando o gerenciamento de chaves e permitindo a troca fácil entre dispositivos. Os usuários baixam uma configuração WireGuard, executam um comando Docker e se conectam. Parâmetros personalizáveis e suporte a IPv6 facilitam a conexão às redes Tailscale e WireGuard.

(github.com)

Desenvolvimento

Dispachos Múltiplos em C++: Desafios e Soluções

2025-09-11

Este artigo explora os desafios de implementar despacho múltiplo em C++. Despacho múltiplo permite a seleção dinâmica de funções com base nos tipos de tempo de execução de múltiplos objetos, útil ao lidar com interações entre objetos de tipos diferentes, como calcular interseções de várias formas. O artigo compara várias abordagens, incluindo o padrão visitor e verificações if-else por força bruta, analisando seus prós e contras. O padrão visitor, embora eficiente, é intrusivo e difícil de manter; a força bruta é fácil de manter, mas verboso e ineficiente. O artigo também menciona brevemente uma tentativa de padronização C++ propondo despacho múltiplo e prevê artigos subsequentes explorando sua implementação em outras linguagens de programação.

(eli.thegreenplace.net)

Desenvolvimento

Plano tributário de Trump muda inesperadamente a economia dos criadores

2025-09-11

Plano tributário de Trump muda inesperadamente a economia dos criadores

Uma disposição no plano tributário do Presidente Trump mudou inesperadamente a economia dos criadores. O Departamento do Tesouro dos EUA agora permite que criadores de conteúdo digital (pod casters, influenciadores de mídia social, streamers, etc.) deduzam a renda de gorjetas até um certo limite. Isso pode alterar significativamente como os criadores geram receita, potencialmente levando as plataformas a apresentar mais proeminentemente opções de gorjetas. A política reflete a ascensão da economia dos criadores e pode incentivar mais pessoas a ingressar no campo da criação de conteúdo.

(www.hollywoodreporter.com)

Startup criadores de conteúdo digital

arXivLabs: Projetos Experimentais com Colaboradores da Comunidade

2025-09-11

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 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.

(arxiv.org)

Desenvolvimento

Hot Chips 2025: Resumo da Sessão de CPUs

2025-09-11

Hot Chips 2025: Resumo da Sessão de CPUs

A sessão de CPUs na Hot Chips 2025 apresentou apresentações interessantes de várias gigantes do setor. A Condor Computing mostrou seu novo núcleo Cuzco, a PEZY revelou detalhes sobre seu próximo chip SC4s, a IBM discutiu seu chip Power11 já em produção, e a Intel apresentou seu próximo CPU Xeon baseado em E-Core, com o nome de código Clearwater Forest. Links para artigos detalhados sobre cada um são fornecidos para leitura adicional.

(chipsandcheese.com)

Hardware

Desktop-TUI: Ambiente de área de trabalho sem gráficos

2025-09-11

Desktop-TUI: Ambiente de área de trabalho sem gráficos

Desktop-TUI é um ambiente de área de trabalho semelhante ao tmux, mas sem interface gráfica. Ele analisa arquivos de atalho para iniciar aplicativos e comandos, com suporte para movimentação e redimensionamento de janelas, opções de ladrilhamento e tratamento de erros de aplicativos e falhas de aplicativos GNU. Os usuários podem selecionar arquivos ou pastas como argumentos de aplicativos ou comandos. Atualmente usa ncurses (com problemas de cores), planeja mudar para Crossterm. Instale via `cargo install desktop-tui` e execute com `cargo run -- `. Os arquivos de atalho (ex: helix.toml) usam o formato TOML para definir nomes de aplicativos, comandos e argumentos.

(github.com)

Desenvolvimento ambiente de área de trabalho

JiraTUI: Gerenciamento de Tarefas Jira na Linha de Comando

2025-09-11

O JiraTUI é uma poderosa ferramenta de linha de comando que simplifica o gerenciamento de tarefas do Jira. Crie novas tarefas do Jira diretamente do seu terminal, especificando facilmente detalhes como título, descrição e prioridade. Gaste menos tempo navegando pelas interfaces e mais tempo trabalhando. Também permite comentar tarefas diretamente do terminal, melhorando a comunicação e colaboração da equipe.

(jiratui.sh)

Desenvolvimento

DataFrame Leve em MicroHs: Uma Aventura Haskell 2010

2025-09-11

Começando com um projeto Android em Frege (Haskell na JVM) em 2015, a jornada de programação funcional do autor o levou a uma busca para desacoplar sua biblioteca DataFrame do GHC para compatibilidade com MicroHs. Esta publicação detalha a implementação da funcionalidade principal do DataFrame - construção, expressões básicas, `filterWhere`, `derive` e renderização Markdown - em Haskell 2010, sem GADTs, famílias de tipos ou reflexão. O experimento demonstra que, embora verboso, a funcionalidade principal permanece viável, oferecendo portabilidade entre MicroHs (para CLIs minúsculos ou contextos embutidos) e GHC (para velocidade e acesso ao ecossistema). Os binários do MicroHs são aproximadamente 100 vezes menores, mas 5 a 10 vezes mais lentos; uma troca vantajosa para muitas tarefas de manipulação de dados, permitindo um back-end GHC para processamento pesado.

(mchav.github.io)

Desenvolvimento

← Previous 1 2 … 21 22 23 24 25 26 27 28 29 … 595 596 Next →