SIOF: Interpretador Minimalista R7RS Scheme em um Único Arquivo C

2025-07-21
SIOF: Interpretador Minimalista R7RS Scheme em um Único Arquivo C

SIOF é um interpretador portátil R7RS Scheme construído a partir de um único arquivo fonte C. Ele não possui dependências externas além das bibliotecas padrão C, tornando-o incrivelmente leve e fácil de compilar e executar. Embora suporte recursos importantes do Scheme, como garbage collection, recursão de cauda e call/cc, o SIOF possui limitações, incluindo nenhum suporte para números grandes, manipulação Unicode limitada e conformidade incompleta com o padrão R7RS. Seu núcleo é baseado em código originalmente escrito em #F, com componentes de compilador e expansor de macro derivados do trabalho de Marc Feeley e Al Petrofsky.

Leia mais
Desenvolvimento

Além dos recursos integrados do Bash: Criando um sistema de log robusto em Bash

2025-07-21

Muitos engenheiros têm um relacionamento de amor e ódio com o Bash. Este artigo detalha como o autor construiu um sistema de log Bash robusto para superar as limitações do Bash no tratamento de erros e estruturas de dados. Ao criar funções personalizadas como `log::info` e `log::error`, e utilizando variáveis embutidas como `BASH_SOURCE`, `FUNCNAME` e `BASH_LINENO`, o autor alcançou recursos detalhados de log e rastreamento de pilha, melhorando significativamente a eficiência de depuração para grandes scripts Bash. Este sistema não apenas fornece mensagens de erro detalhadas e locais, mas também evita inconsistências nas opções embutidas do Bash, oferecendo uma nova abordagem para construir scripts Bash mais robustos.

Leia mais
Desenvolvimento

Peep Show: Uma Representação Realista do Mal Cotidiano

2025-07-21
Peep Show: Uma Representação Realista do Mal Cotidiano

A série de TV britânica Peep Show, exibida de 2003 a 2015, oferece uma perspectiva única sobre o mal através de seus protagonistas, Mark e Jez. Eles não são vilões, mas sim reflexos da autodepreciação, covardia e escapismo que residem em cada um de nós. A perspectiva em primeira pessoa e os monólogos internos da série mergulham o espectador em suas experiências, revelando as motivações por trás de suas ações e como suas inseguranças se traduzem em comportamentos autodestrutivos e prejudiciais. A 'banalidade do mal' retratada não é impulsionada pela malícia, mas sim pela fraqueza, evasão e egoísmo – uma combinação verdadeiramente assustadora.

Leia mais

Como programadores top usam LLMs para aumentar a produtividade

2025-07-21

O programador veterano antirez compartilha sua experiência de 18 meses usando modelos de linguagem grandes como Gemini 2.5 PRO e Claude Opus para programação. Ele argumenta que os LLMs atuais são melhor usados como assistentes poderosos, não como ferramentas para concluir projetos de forma independente. Ao descrever os problemas claramente e iterar de forma eficaz, os LLMs podem ajudar a eliminar bugs, explorar ideias mais rapidamente, participar de design em pares e até mesmo aprender tecnologias fora da área de especialização de alguém. No entanto, antirez destaca a importância de fornecer contexto suficiente, escolher o modelo certo e manter o controle sobre o código, evitando a dependência de agentes automatizados. Somente assim a qualidade do código pode ser assegurada e a eficiência maximizada.

Leia mais
Desenvolvimento

Atualização importante do OpenBSD: estrutura do objeto FILE torna-se opaca

2025-07-21

O OpenBSD passou por uma atualização significativa do sistema recentemente, tornando a estrutura interna do objeto FILE em sua biblioteca padrão de entrada/saída opaca. Isso significa que os programas não podem mais acessar diretamente a estrutura interna do objeto FILE. A alteração é ampla, afetando a libc e muitas bibliotecas que dependem dela, incluindo libcrypto, libtls e libssl. Para facilitar a transição, alguns símbolos auxiliares são temporariamente mantidos, mas serão removidos no futuro. Os desenvolvedores são fortemente incentivados a usar uma atualização de snapshot para evitar problemas potenciais.

Leia mais
Desenvolvimento atualização do sistema

Otimizando núcleos WMMA na arquitetura AMD RDNA 4

2025-07-21
Otimizando núcleos WMMA na arquitetura AMD RDNA 4

As GPUs com arquitetura AMD RDNA™ 4, que possuem núcleos de matriz de terceira geração, melhoraram o desempenho das operações de Multiplicação de Matriz Generalizada (GEMM). Este artigo examina a otimização de operações de matriz usando intrínsecos WMMA (Wave Matrix Multiply Accumulate) em kernels HIP em GPUs RDNA 4. Ele explica a funcionalidade do WMMA, o uso de novos intrínsecos como `__builtin_amdgcn_wmma_f32_16x16x16_f16_w32_gfx12` e as diferenças principais em relação à arquitetura RDNA 3. Um exemplo de implementação simplificada de Perceptron Multicamadas (MLP) mostra a computação eficiente de matrizes no RDNA 4.

Leia mais
Hardware

Simulando o Efeito de 'Fervura' Desenhado à Mão com Filtros SVG

2025-07-21
Simulando o Efeito de 'Fervura' Desenhado à Mão com Filtros SVG

Este artigo descreve um método para simular o efeito de 'fervura', um estilo visual comum em animações desenhadas à mão, usando filtros SVG. Esse efeito cria a ilusão de movimento sutil aplicando distorções leves às bordas da imagem. O autor explica como usar os filtros feTurbulence e feDisplacementMap para gerar uma textura de ruído e aplicá-la a uma imagem, e como animar os parâmetros do filtro com JavaScript para criar o efeito de 'fervura'. Demos interativos permitem que os usuários ajustem os parâmetros e observem as mudanças no efeito. O autor conseguiu usar filtros SVG simples e JavaScript para simular um efeito de animação desenhado à mão realista na web.

Leia mais
Desenvolvimento

Desbloqueando Novas Cores: Estimulação a Laser de Células Cones

2025-07-21
Desbloqueando Novas Cores: Estimulação a Laser de Células Cones

Um estudo utilizou pulsos de laser para estimular seletivamente as células cones na retina, alegando permitir que as pessoas vejam cores sem precedentes. Embora o estudo careça de relatos detalhados dos participantes, uma animação de ilusão de óptica parece produzir um efeito semelhante. A animação satura os cones vermelhos com um círculo vermelho, destacando a atividade dos cones verdes e produzindo um azul-verde intenso. No entanto, devido à sobreposição dos espectros dos cones e às limitações da tecnologia de exibição de tela, se essa abordagem revela cores além da gama de cores humanas normais permanece questionável.

Leia mais

Ligus de Modelos: Uma Arma Secreta para Impulsionar o Desempenho da IA

2025-07-21
Ligus de Modelos: Uma Arma Secreta para Impulsionar o Desempenho da IA

A equipe XBOW melhorou dramaticamente o desempenho de seus agentes de detecção de vulnerabilidades usando uma técnica inteligente chamada "ligas de modelos". Essa abordagem aproveita os pontos fortes de diferentes LLMs (como Google Gemini e Anthropic Sonnet), alternando entre eles em um único thread de bate-papo para superar as limitações dos modelos individuais. Experimentos mostraram que essa estratégia de "liga" aumentou as taxas de sucesso para mais de 55%, superando significativamente os modelos individuais. Essa técnica não se limita à segurança cibernética; é relevante para qualquer tarefa de agente de IA que requer soluções em um vasto espaço de busca.

Leia mais

XMLUI: Desenvolvimento Web para Todos

2025-07-21
XMLUI: Desenvolvimento Web para Todos

XMLUI traz a facilidade de uso do modelo de componentes do Visual Basic para o desenvolvimento web moderno. Usando uma simples marcação XML, os desenvolvedores podem criar aplicativos web reativos e temáticos sem precisar de profundo conhecimento em React ou CSS. Componentes pré-construídos e vinculação de dados declarativa simplificam o processo. A integração com LLMs otimiza ainda mais o desenvolvimento, permitindo criação colaborativa e manutenção mais fácil. XMLUI visa empoderar os criadores de soluções, permitindo que eles criem interfaces de usuário sem precisar de especialistas em front-end.

Leia mais
Desenvolvimento

Controle Local de Código Aberto para Ar Condicionados Daikin

2025-07-21
Controle Local de Código Aberto para Ar Condicionados Daikin

Cansado do lento controle Wi-Fi baseado em nuvem da Daikin? Este projeto de código aberto oferece uma solução! Ele fornece um módulo de controle local com interface web, MQTT e integração Home Assistant, eliminando a necessidade de conectividade em nuvem. Os designs de PCB estão disponíveis, e módulos pré-construídos são vendidos no Tindie e na Amazon UK. O projeto usa uma licença GPL, permitindo forks e contribuições, mas proibindo vendas comerciais usando o nome e as marcas registradas do projeto. O módulo é compatível com vários modelos Daikin, oferecendo recursos como detecção automática de protocolo, monitoramento remoto e registro.

Leia mais

Log de Tempo em vez de Contagem

2025-07-21

A estratégia de log é crucial na engenharia de software. Este artigo argumenta que o log baseado em tempo (por exemplo, fazer log a cada X segundos) é superior ao log baseado em contagem (por exemplo, fazer log a cada X mensagens) ao processar muitos eventos. O log baseado em contagem resulta em frequências de log amplamente variáveis ​​sob diferentes cargas, potencialmente levando a logs muito poucos ou muitos. O log baseado em tempo mantém uma taxa de log consistente, evitando a degradação do desempenho devido a logs excessivos ou problemas de observabilidade devido a logs insuficientes. O autor usa exemplos de pseudocódigo e uma análise de custo-benefício para apoiar seu argumento, oferecendo uma nova perspectiva sobre estratégias de log eficientes.

Leia mais
Desenvolvimento

connmap: Visualize suas conexões de rede em um mapa mundial

2025-07-21
connmap: Visualize suas conexões de rede em um mapa mundial

connmap é um widget de área de trabalho X11 que exibe a localização geográfica de seus pares de rede atuais em um mapa mundial. Também funciona no Wayland! A instalação é simples: clone o repositório, instale as dependências (listadas no README) e execute o executável. Personalize o tamanho do mapa, a posição e o intervalo de atualização. Atualmente, suporta apenas IPv4 e foi testado principalmente com i3wm.

Leia mais

Programação Dinâmica: Não é o que você pensa

2025-07-21

O termo "programação dinâmica" em estudos de algoritmos costuma causar confusão. 'Dinâmica' não se refere à sua mutabilidade, mas sim ao aspecto de planejamento de 'programação', originário da década de 1950, quando engenheiros planejavam projetos de construção como 'cronograma de processos'. Na ciência da computação, programação dinâmica significa planejar a ordem das sub-etapas necessárias para resolver um problema. Por exemplo, computar a sequência de Fibonacci, o 'programa' é a sequência de etapas para calcular fib(2) a fib(10) em ordem de dependência. Isso pode ser planejado de cima para baixo ou de baixo para cima; o plano final é o mesmo, e ambos são considerados programação dinâmica. Richard Bellman cunhou o termo para evitar a aversão de um Secretário de Defesa a 'pesquisa matemática', escolhendo habilmente 'programação dinâmica' porque o adjetivo 'dinâmica' não pode ser usado pejorativamente.

Leia mais
Desenvolvimento

Um Dia na Vida de um Rei Medieval: Carlos V da França

2025-07-21
Um Dia na Vida de um Rei Medieval: Carlos V da França

O livro de Christine de Pizan, 'Livre des faits et bonnes mœurs du sage roy Charles V', oferece um vislumbre fascinante da vida cotidiana do rei Carlos V da França (1364-1380). De orações matutinas e audiências a reuniões do conselho, refeições simples e recepções à tarde, o livro detalha um dia cuidadosamente estruturado. A rotina de Carlos revela um equilíbrio entre os deveres reais e o lazer refinado, usando estrategicamente aparições públicas para projetar a imagem de um monarca justo e acessível.

Leia mais

Hackeando um Toniebox: Preocupações com a Privacidade e Soluções da Comunidade

2025-07-21

Este artigo detalha a experiência do autor em fazer engenharia reversa de um Toniebox, um brinquedo infantil que usa tags NFC para reproduzir áudio. Embora divertido para as crianças, o brinquedo depende de serviços em nuvem e coleta dados significativos do usuário. O autor extrai um cartão SD para fazer backup de arquivos de áudio e destaca ferramentas da comunidade como o teddyBench para processamento de metadados e arquivos de áudio. O artigo discute preocupações com a privacidade e modificações conduzidas pela comunidade, incluindo firmware personalizado, ataques man-in-the-middle e modificações de hardware para aprimorar a funcionalidade ou proteger a privacidade. O autor conclui com sentimentos mistos, apreciando o apelo do brinquedo enquanto reconhece seus riscos de privacidade.

Leia mais

Samsung inova com tecnologia de resfriamento Peltier de próxima geração

2025-07-21
Samsung inova com tecnologia de resfriamento Peltier de próxima geração

A Samsung Electronics, em colaboração com o Laboratório de Física Aplicada da Universidade Johns Hopkins (APL), publicou um artigo na renomada revista científica Nature Communications sobre sua tecnologia de resfriamento Peltier de próxima geração. A equipe desenvolveu com sucesso um dispositivo Peltier de filme fino semicondutor de alta eficiência usando nanotecnologia e demonstrou resfriamento sem refrigerante, destacando o potencial de oferecer desempenho excepcional sem refrigerantes convencionais. Essa tecnologia já está sendo usada em refrigeradores híbridos, e a Samsung planeja eventualmente criar um refrigerador totalmente sem refrigerante.

Leia mais

Agentes de IA: Hype vs. Realidade em 2025

2025-07-20
Agentes de IA: Hype vs. Realidade em 2025

Embora 2025 seja anunciado como o ano dos agentes de IA, um construtor experiente de sistemas de IA em produção argumenta o contrário. Com base em um ano de construção de mais de uma dúzia de sistemas de agentes em produção, ele destaca três realidades-chave frequentemente ignoradas: taxas de erro exponencialmente compostas em fluxos de trabalho de várias etapas; dimensionamento de custo quadrático de janelas de contexto; e o desafio crucial de projetar ferramentas e sistemas de feedback eficazes para agentes. Ele afirma que os sistemas de agentes de IA bem-sucedidos não são totalmente autônomos, mas sim integram IA com supervisão humana e engenharia de software tradicional, operando dentro de limites definidos com operações verificáveis e mecanismos de reversão. O futuro, ele prevê, favorecerá equipes que constroem ferramentas restritas e específicas de domínio, aproveitando a IA para tarefas complexas, mantendo o controle humano. O foco deve mudar de 'autonomia total' para 'assistentes extremamente capazes com limites claros'.

Leia mais

Associação de Pesquisa de Estradas Romanas: Palestras Online e Atualização do Site

2025-07-20

A Associação de Pesquisa de Estradas Romanas (RRRA) anunciou uma série de palestras online para a temporada 2024/25, focando em estradas romanas. As palestras cobrem vários aspectos da arqueologia de estradas romanas na Escócia, Inglaterra e País de Gales. Um novo site também está em desenvolvimento, prometendo um design moderno e funcionalidade aprimorada.

Leia mais
Diversos

Limitações da aplicação de sugestões de código no GitHub

2025-07-20
Limitações da aplicação de sugestões de código no GitHub

A aplicação em massa de sugestões de código no GitHub possui diversas restrições. Sugestões exigem alterações de código, não podem ser aplicadas a pull requests fechados, subconjuntos de alterações, linhas únicas com múltiplas sugestões, sugestões já aplicadas ou resolvidas, revisões pendentes, comentários de várias linhas ou pull requests na fila para mesclagem. Além disso, algumas sugestões podem estar temporariamente indisponíveis para aplicação.

Leia mais
Desenvolvimento

A Era das Coisas Baratas: Queda na Qualidade ou Expectativas Inflacionadas?

2025-07-20
A Era das Coisas Baratas: Queda na Qualidade ou Expectativas Inflacionadas?

Nosso mundo está repleto de produtos baratos e descartáveis, da moda rápida a eletrodomésticos de curta duração, levando a preocupações sobre a queda na qualidade dos produtos. Este artigo explora as causas subjacentes, argumentando que não é simplesmente a maximização do lucro corporativo, mas também a mudança nos valores do consumidor, a desigualdade socioeconômica e as desvantagens dos avanços tecnológicos. A ascensão da moda rápida prioriza a novidade em vez da durabilidade, enquanto a automação e a IA, embora aumentem a eficiência, diminuem a qualidade do serviço e a confiabilidade das informações. A peça conclui incentivando um exame crítico dos padrões de consumo e uma mudança para escolhas mais sustentáveis ​​e responsáveis.

Leia mais
Diversos

Avanço Quântico: Integração Monolítica de Sistema Quântico Fotônico em Chip

2025-07-20
Avanço Quântico: Integração Monolítica de Sistema Quântico Fotônico em Chip

Cientistas das universidades Northwestern, Boston e UC Berkeley alcançaram um avanço: a integração de um sistema quântico fotônico miniaturizado em um chip eletrônico convencional. Este chip de 1 mm² gera luz quântica e incorpora um sistema eletrônico inteligente para estabilização, produzindo de forma confiável pares de fótons para comunicação, detecção e processamento quânticos baseados em luz. Fabricado por uma fundição de semicondutores comercial, o chip demonstra potencial de escalabilidade, representando um passo crucial para sistemas fotônicos quânticos maiores e abrindo portas para aplicações em computação, detecção e comunicação.

Leia mais

Limitações da Aplicação de Sugestões de Código do GitHub: Restrições de Commit Único

2025-07-20
Limitações da Aplicação de Sugestões de Código do GitHub: Restrições de Commit Único

A aplicação em massa de sugestões de código no GitHub possui diversas limitações: sugestões não podem ser aplicadas se não houver alterações de código, se o pull request estiver fechado, ao visualizar um subconjunto de alterações, se houver mais de uma sugestão por linha, a linhas excluídas, se a sugestão já foi aplicada ou marcada como resolvida, a partir de revisões pendentes, em comentários de várias linhas ou se o pull request estiver na fila para mesclar. Além disso, há casos de um erro indicando "Você não pode executar essa ação neste momento." por motivos desconhecidos.

Leia mais
Desenvolvimento

Dorsey aposta US$ 10 milhões em mídia social descentralizada

2025-07-20
Dorsey aposta US$ 10 milhões em mídia social descentralizada

Jack Dorsey, cofundador do Twitter e CEO da Block, investiu US$ 10 milhões em "andOtherStuff", um coletivo que visa revolucionar as mídias sociais por meio de projetos de código aberto. A equipe, incluindo Dorsey e ex-funcionários do Twitter, concentra-se em protocolos descentralizados como o Nostr, desenvolvendo aplicativos como Shakespeare (uma plataforma de criação de aplicativos Nostr) e heynow (um aplicativo de notas de voz). Dorsey critica a dependência das mídias sociais tradicionais em anunciantes, defendendo um modelo mais aberto e descentralizado. Ele e o ex-funcionário do Twitter, Evan Henshaw-Plath, lançaram o podcast "revolution.social" para discutir o futuro das mídias sociais, destacando o potencial do Nostr e as armadilhas das plataformas centralizadas.

Leia mais

Protocolo Agora: Deliberação Nacional Segura e Anônima

2025-07-20

Este artigo propõe o Protocolo Agora, uma solução tecnológica para o problema da divisão social criada por regimes autoritários. Utilizando o Telegram, o protocolo estabelece um processo de deliberação seguro, anônimo e de múltiplas etapas, permitindo que os cidadãos discutam e votem sobre questões nacionais. Um sistema de filtragem meritocrático garante que as ideias mais relevantes se destaquem, culminando em um consenso nacional transparente e visível a todos os participantes. Remarcadamente eficiente, pode destilar as opiniões de 100 milhões de pessoas em um grupo central de 100 em apenas seis semanas.

Leia mais

Evolução da Arquitetura de LLMs em 2025: Mergulhos Profundos em DeepSeek, OLMo, Gemma, Mistral e Qwen

2025-07-20
Evolução da Arquitetura de LLMs em 2025: Mergulhos Profundos em DeepSeek, OLMo, Gemma, Mistral e Qwen

Este artigo revisa os avanços arquitetônicos em modelos de linguagem grandes (LLMs) durante 2025, focando em modelos de código aberto como DeepSeek, OLMo, Gemma, Mistral e Qwen. DeepSeek V3/R1 aprimora a eficiência computacional com Atenção Latente Multi-Cabeça (MLA) e Mistura de Especialistas (MoE). OLMo 2 enfatiza o posicionamento do RMSNorm, empregando Pós-Norm e QK-Norm. Gemma 3 utiliza atenção de janela deslizante para reduzir os requisitos de memória. Mistral Small 3.1 equilibra desempenho e velocidade. Qwen 3 oferece variantes densas e MoE para flexibilidade. SmolLM3 se destaca com seu tamanho de 3B parâmetros e NoPE (Sem Embeddings Posicionais). Finalmente, Kimi 2 impressiona com sua escala de trilhões de parâmetros e o otimizador Muon. Esses modelos mostram inovações em mecanismos de atenção, normalização, MoE e otimizadores, demonstrando a diversidade e a evolução contínua das arquiteturas de LLM.

Leia mais

Sistema Global de Alerta Precoce de Terremotos Aproveitando Smartphones Android

2025-07-20
Sistema Global de Alerta Precoce de Terremotos Aproveitando Smartphones Android

Um novo estudo demonstra a eficácia de um sistema global de alerta precoce de terremotos construído usando os acelerômetros em milhões de smartphones Android em todo o mundo. O sistema, chamado Android Earthquake Alerts (AEA), rivaliza com as redes sísmicas tradicionais em precisão, detectando terremotos globalmente e fornecendo alertas oportunos aos usuários. Mesmo em regiões sem infraestrutura tradicional, o AEA fornece um alerta precoce crucial para milhões, potencialmente mitigando os danos causados por terremotos. Ao explorar a diferença de velocidade entre as ondas sísmicas, o AEA emite alertas antes que as ondas destrutivas cheguem, comprando segundos preciosos para as pessoas reagirem.

Leia mais

CLJ-AGI: Um novo benchmark para IAG

2025-07-20

CLJ-AGI propõe um novo benchmark para Inteligência Artificial Geral (IAG). O benchmark desafia uma IA a aprimorar a linguagem de programação Clojure com recursos como um design priorizando transducers, preguiça opcional, protocolos ubíquos e estruturas de dados CRDT de primeira classe. O sucesso, definido como alcançar esses aprimoramentos mantendo a compatibilidade com versões anteriores do código Clojure, garante uma recompensa substancial, significando um passo significativo em direção à verdadeira IAG.

Leia mais
IA

De Arch Linux para macOS: Configuração 'preguiçosa' de um estudante de doutorado

2025-07-20

Um estudante de doutorado em pesquisa de neuro-IA e engenheiro de computação, após nove anos usando Arch Linux, mudou para um novo MacBook Pro. A postagem detalha como ele configurou sua nova máquina em um único dia para retomar seu fluxo de trabalho. Ele usou Nix como gerenciador de pacotes, o gerenciador de janelas AeroSpace e o lançador Raycast, mantendo ferramentas familiares como o shell zsh e o editor Zed. Embora o gerenciamento de pacotes do macOS não seja tão conveniente quanto o Arch Linux, ele fez concessões para obter maior estabilidade de hardware e melhor experiência do usuário.

Leia mais

Democracia Americana: Uma Análise de Dados da Crise e da Esperança

2025-07-20
Democracia Americana: Uma Análise de Dados da Crise e da Esperança

Este artigo usa dados para analisar o estado da democracia americana. Os dados revelam financiamento político altamente concentrado entre uma pequena elite, um judiciário fragmentado, agências governamentais remodeladas politicamente e baixa participação dos eleitores, particularmente entre os democratas. No entanto, os dados também oferecem esperança: milhões de eleitores democratas em potencial permanecem desmobilizados, a história mostra resistência cidadã bem-sucedida ao autoritarismo e a responsabilização dos líderes é comum em democracias saudáveis. O artigo apela para o foco na mobilização de eleitores em vez de apenas na moderação ideológica, enfatizando a importância da participação cidadã.

Leia mais
1 2 103 104 105 107 109 110 111 595 596