Novo compilador do CHICKEN Scheme: CRUNCH – Um compilador Scheme estaticamente tipado

2024-12-17

Este artigo apresenta o CRUNCH, um novo compilador para um subconjunto estaticamente tipado da linguagem de programação Scheme. Construído sobre o sistema CHICKEN Scheme, ele compila código Scheme em código C99 portátil. O CRUNCH visa fornecer um compilador Scheme de alto desempenho e leve, abordando as deficiências dos sistemas Scheme existentes em termos de desempenho e portabilidade. É particularmente adequado para desenvolvimento de jogos, criação de máquinas virtuais e programação de sistemas embarcados. Embora o CRUNCH tenha limitações nas funcionalidades da linguagem Scheme suportadas, ele alcança geração de código eficiente por meio de inferência de tipos e várias otimizações, integrando-se perfeitamente ao ecossistema CHICKEN Scheme.

Leia mais
Desenvolvimento Estaticamente Tipado

Moderacão de IA do Pinterest causa suspensão em massa de contas e remoção de pinos

2025-05-02
Moderacão de IA do Pinterest causa suspensão em massa de contas e remoção de pinos

O Pinterest está enfrentando uma reação negativa dos usuários após uma onda de suspensões de contas e remoções de pinos inexplicáveis. Os usuários relatam ter perdido o acesso sem aviso prévio ou explicação, com conteúdo aparentemente inócuo, como revistas de patchwork e construções do Minecraft, sinalizados como "conteúdo adulto". Embora o Pinterest afirme que está aplicando as diretrizes da comunidade, o grande volume de suspensões e o lento processo de recursos apontam para uma possível falha no algoritmo de moderação de IA. A empresa reconhece o grande volume de recursos, mas não oferece um prazo para resolução, alimentando especulações sobre um algoritmo excessivamente zeloso.

Leia mais

Tabby: Seu assistente de codificação AI auto-hospedado

2025-01-12
Tabby: Seu assistente de codificação AI auto-hospedado

Tabby é um assistente de codificação AI de código aberto e auto-hospedado, oferecendo uma alternativa local ao GitHub Copilot. É independente, não requer banco de dados ou serviço em nuvem, possui uma interface OpenAPI para fácil integração e suporta GPUs de nível consumidor. Atualizações recentes incluem integração de implantação do Llamafile, experiência do usuário aprimorada do Answer Engine, capacidade de alternar entre diferentes modelos de bate-papo de back-end no Answer Engine e exibição de threads compartilhadas recentemente na página principal. Também possui plugins de IDE e recursos empresariais, como gerenciamento de equipe e acesso seguro.

Leia mais

Org-Supertag: Aprimorando o Sistema de Tags do Org-mode

2025-01-03
Org-Supertag: Aprimorando o Sistema de Tags do Org-mode

Org-Supertag é um plugin Emacs para Org-mode que aprimora a funcionalidade de tags, permitindo que tags não apenas atribuam atributos a nós, mas também os manipulem diretamente, para um gerenciamento de conhecimento mais flexível. Inspirado no Tana, ele é não intrusivo e coexiste perfeitamente com os recursos existentes do Org-mode. Introduz 'super tags' que definem a estrutura e o comportamento dos nós, com suporte para sistemas de campos e comportamentos para propriedades estruturadas e ações automatizadas. Seu sistema de consulta permite pesquisa unificada em nós, tags e campos, com várias opções de exportação.

Leia mais

Let's Encrypt Elimina Emails Automáticos de Expiração de Certificados

2025-02-06
Let's Encrypt Elimina Emails Automáticos de Expiração de Certificados

A Let's Encrypt, organização sem fins lucrativos que fornece certificados SSL curinga gratuitos, deixará de enviar emails automáticos de expiração a partir de 4 de junho de 2025. Essa mudança, no entanto, provavelmente é benéfica. Os motivos citados incluem a automação generalizada da renovação de certificados pelos usuários, o custo significativo (dezenas de milhares de dólares anualmente) e a complexidade da infraestrutura para o envio desses emails, e, o mais importante, a privacidade aprimorada do usuário ao eliminar a necessidade de armazenar milhões de endereços de email. A Let's Encrypt sugere o uso de alternativas como o Red Sift Certificates Lite para monitoramento gratuito de expiração de certificados.

Leia mais
Tecnologia

Melhore suas habilidades: Uma lista de links no estilo anos 90 de recursos de aprendizagem

2025-01-05
Melhore suas habilidades: Uma lista de links no estilo anos 90 de recursos de aprendizagem

Esta postagem de blog apresenta uma lista selecionada de excelentes materiais de aprendizagem, formatada como uma nostálgica lista de links no estilo anos 90, para qualquer pessoa que deseja adquirir novas habilidades. Os recursos cobrem uma ampla gama de tópicos, incluindo finanças, composição musical, aprendizado de máquina, algoritmos, algoritmos de otimização, desenvolvimento de aplicativos LLM e JavaScript. Cada recurso é revisado, destacando seus pontos fortes e fracos. Por exemplo, o curso de Aprendizado de Máquina de Andrew Ng é elogiado por suas explicações claras e exercícios, enquanto "Essentials of Metaheuristics" é recomendado por sua abordagem prática e explicações claras. Este é um guia valioso para programadores e desenvolvedores que buscam aprimorar suas habilidades.

Leia mais

Sistemas de frenagem automática falham em detectar pedestres com roupas refletivas

2025-01-14
Sistemas de frenagem automática falham em detectar pedestres com roupas refletivas

Um novo relatório do IIHS revela que os sistemas de frenagem automática de emergência (AEB) em veículos Honda CR-V e Mazda CX-5 falharam em detectar pedestres usando tiras refletivas, mesmo em várias condições de iluminação. Os sistemas falharam consistentemente em frear, enquanto um Subaru Forester teve um desempenho melhor. Os pesquisadores pedem aos fabricantes de automóveis que melhorem a tecnologia AEB, recomendando que os pedestres continuem a usar equipamentos refletivos para maior visibilidade à noite, reconhecendo as limitações do AEB atual em alguns veículos.

Leia mais

Construindo um robô de negociação financeira com Claude e SnapTrade

2025-05-25

Dino Angelov descreve a construção de um robô de negociação financeira usando o Claude da Anthropic e o protocolo MCP, integrado com a API da SnapTrade. Embora inicialmente tenha tentado usar o Claude para escrever o servidor MCP, ele descobriu que o Gemini era mais eficaz. Ele acabou utilizando o framework go-mcp para um desenvolvimento mais rápido, criando funcionalidades para conectar contas de corretagem, visualizar portfólios e executar negociações. O autor adverte os usuários sobre a natureza imprevisível dos LLMs e o potencial para negociações acidentais.

Leia mais
Desenvolvimento

Llama do Zero: Um Guia Prático (Sem Lágrimas)

2025-05-19
Llama do Zero: Um Guia Prático (Sem Lágrimas)

Esta postagem de blog documenta meticulosamente a jornada do autor na implementação de uma versão reduzida do modelo de linguagem Llama do zero, treinando-o no conjunto de dados TinyShakespeare. Empregando uma abordagem iterativa, o autor implementa progressivamente componentes-chave como RMSNorm, Embeddings Posicionais Rotativos (RoPE) e a função de ativação SwiGLU, testando e visualizando rigorosamente cada parte para garantir a correção. O post enfatiza a importância do desenvolvimento iterativo e compartilha inúmeras técnicas de depuração, como verificações de forma de tensor, afirmações e ferramentas de visualização, fornecendo experiência prática inestimável. O autor treina com sucesso um modelo capaz de gerar texto no estilo shakespeariano e avalia seu desempenho.

Leia mais
Desenvolvimento implementação de modelo

reMarkable Digest: Resumos de Leitura Pessoais para seu reMarkable

2025-01-14
reMarkable Digest: Resumos de Leitura Pessoais para seu reMarkable

reMarkable Digest é um aplicativo de resumos de leitura pessoal projetado para o tablet reMarkable. Ele permite que os usuários extraiam trechos importantes de artigos e livros para fácil revisão e organização posterior. Aproveitando a experiência de escrita semelhante ao papel do reMarkable, o aplicativo torna a anotação natural e eficiente, melhorando a compreensão da leitura e a gestão do conhecimento.

Leia mais
Diversos anotações

Presidente da Alibaba alerta para bolha em centros de dados de IA

2025-03-25
Presidente da Alibaba alerta para bolha em centros de dados de IA

O presidente do Alibaba Group Holding Ltd., Joe Tsai, alertou para uma possível bolha na construção de centros de dados, argumentando que o ritmo atual de construção pode superar a demanda por serviços de IA. Grandes empresas de tecnologia e fundos de investimento estão construindo fazendas de servidores em todo o mundo, muitas vezes sem clientes definidos. Tsai expressou preocupação com projetos que levantam fundos sem acordos firmes de absorção. Embora o próprio Alibaba planeje investir mais de US$ 52 bilhões em IA nos próximos três anos, Tsai destacou os gastos maciços dos gigantes de tecnologia dos EUA (Microsoft, Amazon, Google, Meta) em infraestrutura de IA, sugerindo que pode exceder a demanda atual e projetada. Ele apontou o modelo de IA de código aberto e baixo custo da DeepSeek como um exemplo da atual falta de aplicações práticas generalizadas de IA. A resposta do Alibaba envolve o aproveitamento do sucesso de sua plataforma de IA baseada em Qwen e uma 'reinicialização' interna focada na aquisição de talentos.

Leia mais

Detecção de Movimento Subpixel com Memristor Baseado em Polímero Ferroelétrico

2025-05-12
Detecção de Movimento Subpixel com Memristor Baseado em Polímero Ferroelétrico

Pesquisadores desenvolveram uma nova memória de acesso aleatório ferroelétrica (FeRAM) usando filmes finos ferroelétricos P(VDF-TrFE) processados por solução para detecção de movimento subpixel. Essa FeRAM, baseada em um array de capacitores de cruzamento passivo, utiliza a dinâmica não linear dos domínios ferroelétricos para eliminar efetivamente problemas de caminhos clandestinos. Ao comutar domínios ferroelétricos por meio da polaridade do campo elétrico controlada, o sistema armazena e processa informações de imagem, extraindo diretamente as diferenças de imagem. Isso permite aplicações como o cálculo de derivadas de funções matemáticas e a identificação de objetos em movimento. O sistema possui alta precisão, baixo consumo de energia e elimina a necessidade de unidades de memória adicionais, mostrando um potencial significativo para aplicações em vigilância por vídeo e detecção de defeitos.

Leia mais

pl_synth: Um sintetizador de música minúsculo baseado em JSON

2025-01-06

Dominic Szablewski, do PhobosLab, lançou o pl_synth, um sintetizador de música leve em C/JS e um editor de sequenciador (tracker) que o acompanha. Inspirado no Sonant, o pl_synth prioriza o tamanho reduzido do código e dos dados e utiliza WASM para melhorar drasticamente o desempenho da versão JavaScript, reduzindo o tempo de geração de música de 5 segundos para 25 milissegundos. Ele suporta vários instrumentos e efeitos, possui funcionalidade de desfazer/refazer e permite incorporar o produto final diretamente em uma URL. O pl_synth agora está incluído no motor de jogo high_impact.

Leia mais
Desenvolvimento sintetizador de música

Animate Anyone 2: Animação de Personagens com Percepção Ambiental

2025-02-20
Animate Anyone 2: Animação de Personagens com Percepção Ambiental

Baseado em métodos anteriores de animação de personagens baseados em modelos de difusão, como o Animate Anyone, o Animate Anyone 2 introduz a consciência ambiental. Em vez de focar apenas no movimento do personagem, ele incorpora representações ambientais como entradas condicionais, gerando animações que se alinham melhor com o contexto circundante. Uma estratégia de máscara independente da forma e um guia de objetos melhoram a fidelidade da interação entre personagens, objetos e o ambiente. Uma estratégia de modulação de pose aprimora a capacidade do modelo de lidar com padrões de movimento diversos. Experimentos mostram as melhorias significativas alcançadas por essa abordagem.

Leia mais

Portando o compilador GNAT Ada para macOS/aarch64: Uma jornada triunfante

2025-01-16

Após portar com sucesso o compilador GDC para seu novo MacBook Pro, o autor abordou os compiladores Ada e Go restantes no conjunto GCC. Como o Gccgo ainda não está maduro no macOS, o foco mudou para o GNAT Ada. Devido à falta de pacotes pré-compilados, foi usada uma máquina virtual e a ferramenta Alire para obter um compilador GNAT x86_64. Um processo de compilação em duas etapas gerou um compilador GNAT nativo macOS/aarch64, que foi integrado ao GDC em um único conjunto GCC. O arquivo compactado resultante agora está disponível para outros usarem, eliminando a necessidade de portas manuais futuras.

Leia mais
Desenvolvimento Compilador Ada

Envolvimento dos Funcionários nos EUA Cai para a Mínima de 10 Anos

2025-01-14
Envolvimento dos Funcionários nos EUA Cai para a Mínima de 10 Anos

Dados recentes da Gallup mostram que o engajamento dos funcionários nos EUA caiu para o nível mais baixo em uma década em 2024, com apenas 31% dos funcionários relatando engajamento - refletindo os níveis de 2014. Os funcionários ativamente desengajados também atingiram 17%, igualando os números de 2014. Uma queda de dois pontos percentuais desde 2023 destaca o crescente desligamento dos funcionários, especialmente entre aqueles com menos de 35 anos. Os fatores-chave que contribuem para esse declínio incluem expectativas pouco claras, falta de cuidado e oportunidades limitadas de desenvolvimento. A Gallup aconselha os líderes a se concentrarem na cultura do local de trabalho, definindo o propósito e os valores da organização e desenvolvendo gerentes que possam inspirar e engajar os funcionários.

Leia mais

Sete Pecados Capitais de Irritar Engenheiros Sênior

2025-02-23
Sete Pecados Capitais de Irritar Engenheiros Sênior

Este artigo descreve sete comportamentos comuns que irritam engenheiros seniores: escalar problemas sem solução básica, solicitar tarefas urgentes de forma vaga, fornecer estimativas aproximadas tratadas como prazos, agendar reuniões pouco claras, agendar reuniões curtas inesperadamente, usar 'gambiarras' sem planos de limpeza e mudar prioridades com frequência. O autor explica como essas ações desperdiçam tempo, reduzem a eficiência e prejudicam o moral da equipe. O artigo sugere fornecer informações suficientes ao pedir ajuda, discernir os níveis de urgência, lidar com cuidado com as estimativas, planejar reuniões com antecedência, respeitar o tempo de foco dos engenheiros, planejar soluções temporárias e manter prioridades estáveis para construir uma equipe de engenharia positiva e eficiente.

Leia mais

Atenção como Gerenciamento de Linhas de Campo Eletromagnético: Um Novo Modelo de Consciência

2024-12-17
Atenção como Gerenciamento de Linhas de Campo Eletromagnético: Um Novo Modelo de Consciência

O Instituto de Pesquisa Qualia propõe um novo modelo de atenção, conceituando-a como o gerenciamento de padrões dinâmicos no campo eletromagnético do cérebro. Simulando linhas de campo elétrico que surgem de somas ponderadas de oscilações harmônicas, os pesquisadores demonstram como a atenção controla a densidade de carga modulando os modos ressonantes subjacentes, explicando flutuações e desvios aparentemente aleatórios no comportamento da atenção. Este modelo também oferece uma explicação potencial para experiências psicodélicas, sugerindo que psicodélicos interrompem o fluxo normal da atenção alterando a configuração dos modos harmônicos. A pesquisa fornece uma nova lente para a compreensão da consciência e o desenvolvimento de novas neuro-intervenções, como induzir estados exóticos de consciência perturbando não invasivamente o travamento de fase da atenção.

Leia mais

Cuidado com os Mercadores de Complexidade: A Simplicidade Vence Tudo

2025-05-25
Cuidado com os Mercadores de Complexidade: A Simplicidade Vence Tudo

Este artigo explora os perigos da 'complexidade acidental' no desenvolvimento de software. O autor argumenta que alguns engenheiros, movidos pelo ego ou autopreservação, deliberadamente introduzem complexidade desnecessária para controlar projetos e garantir mais recursos. Esses 'mercadores de complexidade' prejudicam a velocidade da equipe, aumentam os custos de manutenção e, em última análise, prejudicam o valor do negócio. O autor aconselha vigilância contra esse comportamento, defendendo soluções simples e confiáveis e exigindo que os engenheiros limpem a complexidade antiga antes de introduzir novas complexidades, garantindo que os sistemas sejam facilmente manuteníveis e transferíveis. Sistemas simples e manuteníveis são a chave para criar valor real.

Leia mais
Desenvolvimento

Anukari: Sintetizador revolucionário baseado em física 3D

2025-05-02

Anukari é um sintetizador de software e processador de efeitos baseado em uma simulação de física 3D totalmente interativa. Arraste e solte componentes físicos como massas e molas para projetar seu próprio instrumento ou efeito 3D. Veja e ouça o que você construiu em tempo real. Ele suporta MPE e pode ser executado como um plugin em sua DAW favorita ou em modo independente. Aproveite o poder da sua GPU para processamento de áudio poderoso. Anukari está atualmente em versão Beta com 50% de desconto.

Leia mais

smallpond e 3FS da DeepSeek: Escalonando o DuckDB para Petabytes

2025-03-02
smallpond e 3FS da DeepSeek: Escalonando o DuckDB para Petabytes

A DeepSeek AI lançou o smallpond e o 3FS, projetados para expandir o banco de dados DuckDB para lidar com conjuntos de dados em escala de petabytes. O smallpond é uma estrutura de processamento de dados distribuída e leve que permite que o DuckDB processe dados em paralelo em vários nós, enquanto o 3FS é um sistema de arquivos paralelo de alto desempenho que utiliza SSDs e rede RDMA para alta taxa de transferência. No entanto, a implantação e o uso dessas ferramentas são complexos, exigindo hardware especializado e experiência em DevOps. Para conjuntos de dados abaixo de 10 TB, uma instância de DuckDB de nó único ou soluções mais simples são mais eficientes. Somente ao lidar com conjuntos de dados massivos o smallpond e o 3FS mostram suas vantagens.

Leia mais

Criei um rastreador BitTorrent e isso aconteceu...

2025-06-17

Ao perceber que muitos rastreadores BitTorrent estavam inativos, o autor teve uma ideia curiosa: comprar um domínio inativo, configurar um rastreador e ver o que acontecia. O resultado? Milhões de pares inundaram o sistema! Isso destacou os riscos centralizados do protocolo BitTorrent e a área cinzenta legal dos rastreadores em relação aos direitos autorais. Embora o rastreador em si possa não constituir "induzimento" à infração, o autor o desligou por precaução.

Leia mais
Desenvolvimento rastreador

Benchmarking da Geração de Chaves RSA: Uma Batalha Contra a Probabilidade

2025-01-03
Benchmarking da Geração de Chaves RSA: Uma Batalha Contra a Probabilidade

A geração de chaves RSA, embora conceitualmente simples, é notoriamente difícil de implementar e testar. Este artigo usa métodos matemáticos para superar os resultados ruidosos típicos de abordagens estatísticas. Ao pré-gerar uma sequência representativa de números candidatos, o autor fornece uma metodologia de benchmarking mais estável e confiável para comparar diferentes implementações. O artigo detalha os fundamentos matemáticos da geração de chaves RSA e compartilha o script e os dados usados para gerar a sequência média de candidatos, facilitando os testes e a comparação pelos leitores.

Leia mais
Desenvolvimento geração de chaves RSA

Pare de tentar agendar uma chamada comigo!

2025-01-12
Pare de tentar agendar uma chamada comigo!

O autor desabafa sobre o processo de vendas de SaaS: desde e-mails iniciais de teste até chamadas de demonstração intermináveis e negociações de contratos, é um processo ineficiente e que desperdiça tempo. Representantes de vendas se concentram apenas em fechar negócios, engenheiros estão sobrecarregados e a experiência do usuário sofre. O autor pede às empresas de SaaS que melhorem suas táticas de vendas, minimizem a comunicação desnecessária e melhorem a experiência do usuário.

Leia mais

Filtro de 1 bit do Macintosh na Web: Magia em Preto e Branco em Pixels

2025-06-07

Este aplicativo web recria o filtro clássico de 1 bit do Macintosh, semelhante ao usado originalmente pelo Hyperdither e HyperScan. Ele compara cada pixel com 50% de cinza, depois os altera para preto ou branco. A diferença entre a entrada e a saída é então distribuída para os pixels vizinhos: 1/8 para cada um dos oito pixels circundantes. A imagem renderizada pode ser salva com o botão direito do mouse. Este código usa Canvas, eventos de arrastar e soltar, Web Workers e a API FileReader, exigindo um navegador moderno para funcionar.

Leia mais
Desenvolvimento filtro tecnologias web

Novos sensores de força nanoescala totalmente ópticos acessam ambientes anteriormente inacessíveis

2025-01-03
Novos sensores de força nanoescala totalmente ópticos acessam ambientes anteriormente inacessíveis

Pesquisadores da Universidade de Columbia desenvolveram novos sensores de força nanoescala totalmente ópticos capazes de medir forças com sensibilidade e faixa dinâmica sem precedentes. Esses sensores utilizam o efeito de avalanche de fótons, permitindo a detecção remota de força baseada em luz sem conexões físicas. As aplicações abrangem robótica, biofísica celular, medicina e até mesmo exploração espacial. Essa descoberta promete transformar a tecnologia de sensores de força, abrindo novas possibilidades para medições em ambientes anteriormente inacessíveis.

Leia mais

Mac Mini G4: O melhor Macintosh "clássico" para retro-games?

2025-01-12
Mac Mini G4: O melhor Macintosh

Este artigo explora o potencial do Mac Mini G4 como um console de retro-games. O autor revisa a evolução dos processadores PowerPC, explicando por que essa máquina de 2005 pode rodar duas décadas de jogos Mac. O artigo detalha as especificações de hardware do Mac Mini G4 e guia os leitores pela instalação do Mac OS 9. A conclusão: embora não seja perfeitamente compatível com todos os jogos, o tamanho pequeno, operação silenciosa, CPU potente e boa compatibilidade com jogos do final dos anos 80 e 90 tornam o Mac Mini G4 uma excelente escolha para retro-games.

Leia mais
Jogos retro-games

Novo buffer de texto do VS Code: Um triunfo da Piece Tree

2025-05-23
Novo buffer de texto do VS Code: Um triunfo da Piece Tree

O VS Code 1.21 apresenta uma nova implementação de buffer de texto, significativamente mais rápida e eficiente em termos de memória. A abordagem anterior, baseada em matriz de linhas, tinha dificuldades com arquivos grandes, levando a travamentos por falta de memória. A nova implementação usa uma Piece Tree — uma estrutura que combina vários buffers e uma árvore rubro-negra —, resultando em uso de memória muito reduzido e velocidades aprimoradas de abertura e edição de arquivos. Embora o acesso aleatório a linhas seja ligeiramente mais lento, o impacto no mundo real é mínimo. Essa reescrita também evita armadilhas de desempenho encontradas com uma abordagem nativa em C++, destacando o poder de estruturas de dados e algoritmos inteligentes.

Leia mais
Desenvolvimento

Contagem de calorias com IA: Mais propaganda do que ajuda?

2025-06-09
Contagem de calorias com IA: Mais propaganda do que ajuda?

Aplicativos que prometem contar calorias a partir de fotos usando IA estão na moda. Mas eles cumprem o que prometem? Uma escritora testou Cal AI, SnapCalorie e Calorie Mama, encontrando imprecisões significativas tanto na identificação de alimentos quanto na estimativa de porções. Mesmo com correções manuais, os aplicativos se mostraram demorados e não confiáveis. A conclusão? Esses aplicativos oferecem mais problemas do que ajuda, levantando dúvidas sobre a necessidade de rastreamento preciso de calorias e defendendo uma abordagem mais saudável para se alimentar.

Leia mais
Tecnologia Dieta

Adeus, Filtros de Email: Minha Estratégia de Caixa de Entrada Minimalista

2025-01-18
Adeus, Filtros de Email: Minha Estratégia de Caixa de Entrada Minimalista

O autor experimentou rótulos e pastas do Gmail e Apple Mail, além das regras de email do ProtonMail, mas acabou descobrindo que esses recursos aumentavam a carga cognitiva no gerenciamento de emails, levando a mensagens importantes perdidas. Então, ele excluiu todos os filtros de email, mantendo apenas uma caixa de entrada. Ao cancelar assinaturas agressivamente, bloquear remetentes e utilizar a funcionalidade de pesquisa, ele alcançou um gerenciamento eficiente de emails e a capacidade de avaliar rapidamente a importância dos emails.

Leia mais
1 2 576 577 578 580 582 583 584 595 596