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

Manual de Referência AP5: Uma Extensão Baseada em Lógica para Common Lisp

2024-12-21

AP5 é uma extensão do Common Lisp que permite aos usuários "programar" em um nível mais "especificacional", focando no que a máquina deve fazer em vez de como. Combina aspectos do Lisp e da linguagem de especificação Gist, incorporando partes compiláveis do Gist e oferecendo mecanismos de anotação para ajuste de desempenho. O AP5 usa um modelo relacional para representar dados e suporta uma linguagem de lógica de primeira ordem para acesso e manipulação de dados. Os programadores definem relações, regras e restrições, otimizando o desempenho por meio de anotações. O manual detalha a sintaxe do AP5, operações de banco de dados, regras, tipos, equivalência e especificações de implementação, fornecendo inúmeros exemplos e explicações.

(www.ap5.com)

Desenvolvimento Programação Lógica Banco de Dados Relacional

Vale a pena salvar conteúdo online? Uma reflexão de um blogueiro

2024-12-21

Ao organizar seus marcadores online, o blogueiro Ruben Schade descobriu que a maioria de seus links acumulados ao longo dos anos estava quebrada ou alterada, levando-o a refletir sobre o significado da preservação de conteúdo online. Ele percebeu a natureza efêmera da internet e a vulnerabilidade até mesmo do Internet Archive. Embora tenha salvo uma grande quantidade de blogs, podcasts e vídeos pessoais potencialmente sem valor, ele acredita que esses constituem cápsulas do tempo valiosas de memórias e história pessoais, dignas de preservação. Em última análise, ele argumenta que o valor de salvar conteúdo online reside em seu significado histórico e memórias pessoais, enquanto o desafio reside em como alcançar uma preservação eficiente e econômica.

(rubenerd.com)

Diversos arquivamento online legado digital

FindMy.py: Biblioteca Python completa para consultar a rede FindMy da Apple

2024-12-21

FindMy.py é uma biblioteca Python que fornece tudo o que você precisa para consultar a rede FindMy da Apple. Ela unifica o ecossistema fragmentado do Find My, oferecendo uma solução multiplataforma que suporta vários dispositivos (AirTags, iDevices, etc.) e métodos de autenticação (incluindo SMS e Trusted Device 2FA). Possui APIs assíncronas e síncronas. Atualmente em fase Alpha, a API pode mudar, mas a funcionalidade principal é estável.

(github.com)

Desenvolvimento

Restauração ecológica na Irlanda: Os jardins exóticos da Ilha de Rossdohan

2024-12-21

A Ilha de Rossdohan, na Irlanda, conta uma história cativante de um jardim exótico criado por um cirurgião do século XIX que retornou da Índia. A ilha possui um microclima único, graças ao plantio de espécies do hemisfério sul. Apesar de incêndios em casas e mudanças de proprietários, essas plantas exóticas persistem, formando um ecossistema único ao lado da flora nativa. Hoje, os esforços de restauração ecológica enfrentam o desafio de preservar esse legado histórico e, ao mesmo tempo, restaurar a biodiversidade nativa, exigindo legislação, mudanças de políticas e participação pública.

(worldsensorium.com)

Diversos restauração ecológica espécies exóticas

Testes de problemas térmicos em pacotes avançados se tornam cada vez mais desafiadores

2024-12-21

A crescente complexidade e heterogeneidade das arquiteturas de chips, juntamente com a adoção de materiais de alto desempenho, estão tornando muito mais difícil identificar e testar problemas térmicos em pacotes avançados. Os testes térmicos tradicionais baseados em cantos são insuficientes devido aos efeitos térmicos imprevisíveis no nível do chip e à variação da distribuição de calor sob diferentes cargas de trabalho. A integração heterogênea, substratos e camadas metálicas mais finas e diversas combinações de materiais e esquemas de interconexão contribuem para essa complexidade. Para enfrentar esses desafios, a indústria está explorando modelagem térmica avançada, estruturas de teste, estratégias de teste adaptativas e IA para obter uma caracterização térmica mais precisa e testes de dispositivos confiáveis.

(semiengineering.com)

Hardware teste de chip gerenciamento térmico integração heterogênea dissipação de calor embalagem de chip teste térmico

Rec Room lança jogo copiável: BonkysInferno

2024-12-21

A Rec Room lançou um novo jogo copiável, ^BonkysInferno. Baseado no ambiente 'Make it to Midnight', o objetivo é marcar a maior quantidade de pontos derrubando oponentes na lava ou além de uma cerca de laser com o martelo do Bonky. O jogo apresenta um sistema de colecionáveis, sistema de dano, mecânica do martelo do Bonky, um sistema de rodadas e uma HUD, todos construídos usando Circuitos e Rec Room Studio, permitindo a replicação e modificação do jogador. Os jogadores são encorajados a explorar os circuitos com sua Caneta Criadora e usar o Rec Room Studio para personalização mais profunda.

(forum.rec.net)

Jogos jogo copiável desenvolvimento de jogos

MarkItDown: Conversor Online Gratuito de Markdown

2024-12-21

O MarkItDown é uma ferramenta online gratuita que converte diversos formatos de arquivo (como Word, PDF, HTML etc.) em Markdown padrão. Impulsionado pelo projeto open-source Markitdown da Microsoft, ele oferece conversões rápidas e confiáveis, perfeitas para blogueiros, anotadores e escritores técnicos. Não requer downloads ou instalações; basta carregar seu arquivo e obter uma saída Markdown limpa e organizada. É uma maneira segura e eficiente de gerenciar seu conteúdo.

(markitdown.pro)

Desenvolvimento conversão de Markdown ferramenta online

A Verdade Suja sobre o Spotify Finalmente Revelada

2024-12-21

Uma investigação de um ano revelou as práticas enganosas do Spotify. Um programa chamado "Conteúdo de Ajuste Perfeito" (PFC) envolve parcerias com empresas de produção para criar e promover artistas e faixas falsas, inflando artificialmente as contagens de reprodução para reduzir os custos de royalties e aumentar os lucros. Essas faixas falsas, muitas vezes ambiente, clássicas, eletrônicas, jazz ou lo-fi, são estrategicamente colocadas em playlists projetadas para audição em segundo plano. As vendas significativas de ações do CEO do Spotify na época das revelações alimentaram ainda mais a controvérsia. Esse escândalo levanta sérias preocupações sobre transparência e justiça na indústria da música, levando a pedidos de investigação do Congresso e um ecossistema de streaming de música mais transparente.

(www.honest-broker.com)

Tecnologia streaming de música

O número de pássaros que morrem em colisões com estruturas é desconhecido

2024-12-21

Um estudo recente revela que subestimamos drasticamente o número de pássaros mortos por colisões com edifícios. Pesquisas anteriores dependiam da contagem de cadáveres encontrados, mas muitas aves não morrem instantaneamente, sucumbindo dias ou semanas depois. Ao combinar dados de cadáveres com registros de centros de reabilitação, os pesquisadores estimam que mais de um bilhão de pássaros morrem anualmente nos EUA devido a colisões com edifícios. Isso destaca os desafios de avaliar com precisão a mortalidade de pássaros e a necessidade de melhorar a coleta e análise de dados para proteger melhor as populações de aves.

(robertvanwey.substack.com)

Diversos conservação de aves colisões com edifícios

Qualcomm vence disputa de licença com Arm sobre projetos de chips

2024-12-21

Um júri federal em Delaware decidiu a favor da Qualcomm Inc. em sua batalha judicial com a Arm Holdings Plc, concluindo que a Qualcomm não violou um contrato de licença para tecnologia de chips adquirida por meio de sua compra de US$ 1,4 bilhão da Nuvia Inc. em 2021. A Arm alegou que a Qualcomm usou a tecnologia sem pagar taxas de licenciamento mais altas. Embora o júri tenha concluído que a Qualcomm não violou o acordo, eles não conseguiram chegar a um veredicto sobre se a própria Nuvia violou a licença, deixando essa questão em aberto para um novo julgamento posterior. A decisão é significativa para a posição da Qualcomm no mercado de chips para dispositivos móveis.

(www.bloomberg.com)

Tecnologia Licenciamento de Chips

A Torre Winkel: Uma Estrutura de Defesa Aérea Única da Segunda Guerra Mundial

2024-12-21

No início da década de 1930, o arquiteto alemão Leo Winkel projetou um abrigo antiaéreo acima do solo único, a Torre Winkel. Ao contrário dos bunkers subterrâneos tradicionais, seu telhado inclinado foi projetado para desviar bombas, minimizando o risco de explosão. Esse design inovador reduziu significativamente os custos e o tempo de construção, enquanto a detonação ao nível do solo permitiu a dissipação da onda de pressão. Patenteada em 1934, aproximadamente 200 Torres Winkel foram construídas na Alemanha durante a Segunda Guerra Mundial. Muitas torres preservadas agora desfrutam de proteção de monumento.

(www.arcanumurbex.de)

Tecnologia abrigo antiaéreo projeto arquitetônico

Telescópio Webb encontra galáxia jovem semelhante à Via Láctea primitiva

2024-12-21

O Telescópio Espacial James Webb da NASA fez uma descoberta inovadora: uma galáxia apelidada de 'Firefly Sparkle', que existiu cerca de 600 milhões de anos após o Big Bang, com uma massa semelhante à da nossa própria Via Láctea em seus estágios iniciais. Esta galáxia, ampliada pela lente gravitacional, mostra dez aglomerados estelares distintos, fornecendo detalhes sem precedentes sobre a formação de galáxias no início do universo. Os pesquisadores descobriram que a 'Firefly Sparkle' está ativamente formando estrelas, com sua distribuição irregular de aglomerados estelares indicando um futuro de fusões e crescimento. Esta descoberta oferece insights inestimáveis sobre a evolução das galáxias no universo primitivo.

(science.nasa.gov)

2 Telescópio Espacial James Webb Formação de Galáxias Universo Primitivo

A Ilusão do Foco: Por que superestimamos o impacto do sucesso na felicidade?

2024-12-21

Pesquisas psicológicas mostram que frequentemente prevemos erroneamente o que nos fará felizes no futuro. Um exemplo específico desse "erro de previsão afetiva" é a "ilusão do foco": as coisas em que nos concentramos para alcançar muitas vezes não trazem a felicidade que esperamos. Este artigo oferece uma explicação evolucionária: a ilusão do foco não é uma falha cognitiva, mas um mecanismo para nos motivar a melhorar nossas circunstâncias. Como nossa experiência de prazer se habitua (adaptação hedônica), prever essa adaptação pode minar a motivação. Assim, a evolução nos torna ingênuos ao acreditar que a próxima conquista trará alegria duradoura, impulsionando nossa busca por objetivos.

(www.optimallyirrational.com)

IA Ilusão do Foco Felicidade Psicologia Evolucionária

Google Propõe Soluções no Caso de Distribuição de Busca do DOJ

2024-12-21

O Google discorda veementemente e recorrerá da decisão do Departamento de Justiça (DOJ) no processo de distribuição de pesquisa. Antes de uma audiência em abril de 2025, o Google apresentou sua própria proposta de solução, focando em contratos com fabricantes de navegadores e dispositivos Android. A proposta visa dar às empresas de navegadores e fabricantes de dispositivos mais flexibilidade na escolha de mecanismos de pesquisa padrão, garantindo ao mesmo tempo o cumprimento da ordem judicial e evitando danos à privacidade do consumidor e à liderança tecnológica dos EUA. Em contraste, a proposta do DOJ é vista como excessivamente intervencionista e potencialmente prejudicial aos consumidores e à competitividade tecnológica dos EUA.

(blog.google)

Tecnologia

Dívida técnica x ativos técnicos: como investir com sabedoria?

2024-12-21

Este artigo explora a diferença entre dívida técnica e ativos técnicos. A dívida técnica, semelhante à dívida financeira, representa problemas de código que precisam ser resolvidos, como bugs e baixa legibilidade do código, prejudicando a eficiência do desenvolvimento. Já os ativos técnicos são investimentos proativos em problemas conhecidos, como a construção de SDKs de alta qualidade, reduzindo custos de manutenção futuros e aumentando a liberdade de desenvolvimento. O artigo aconselha priorizar o pagamento da dívida técnica antes de investir em ativos técnicos, aproveitando processos e tecnologias comprovados para evitar o acúmulo de dívida técnica e, finalmente, alcançar maior eficiência de desenvolvimento e qualidade do produto.

(liblab.com)

Desenvolvimento dívida técnica ativos técnicos

Regras para Evitar Erros Comuns em Assembly Inline Estendido

2024-12-21

Este artigo não é um tutorial de assembly inline, mas sim um resumo de seis regras para evitar erros comuns. O autor destaca que o assembly inline é traiçoeiro e deve ser evitado sempre que possível, pois compiladores modernos oferecem intrínsecos e funções embutidas para a maioria dos casos de uso. Se inevitável, as regras são: usar o qualificador `volatile`; usar um `memory` clobber se acessar a memória; nunca modificar restrições de entrada; nunca chamar funções de assembly inline; não definir rótulos de assembly absolutos; e usar o recurso de rótulos locais do montador para evitar conflitos de rótulos. O artigo conclui incentivando os leitores a praticar a aplicação dessas regras revisando tutoriais online e até mesmo código gerado por LLM.

(nullprogram.com)

Desenvolvimento assembly inline compilador

O Critério de Kelly: Uma Abordagem Matemática para Decisões de Seguro

2024-12-21

Este artigo explora como o critério de Kelly pode ser usado para tomar decisões racionais sobre seguros. O autor desmascara equívocos comuns sobre seguros, argumentando que é um problema matemático, não filosófico. A ideia central é que o seguro evita grandes reduções de riqueza, acelerando o crescimento de juros compostos. Uma fórmula é apresentada para calcular o valor (V) do seguro, considerando a riqueza atual, o prêmio, a probabilidade de acidentes e o custo. Exemplos de seguros de motocicleta e de helicóptero ilustram os cálculos e o impacto da franquia. O autor explica como as seguradoras lucram e a relatividade dos custos.

(entropicthoughts.com)

Diversos Seguro Gestão de Riscos

NoDB: Processamento de Pagamentos Sem Banco de Dados

2024-12-21

No "O Manual do Engenheiro de Pagamentos", Alvaro Duran apresenta uma abordagem revolucionária para o design de sistemas de pagamento: processar pagamentos sem banco de dados. Ele argumenta que a prevalência da programação assíncrona decorre da suposição da necessidade de bancos de dados. Usando o sourcing de eventos, cada etapa no processo de pagamento é registrada como um evento, e não como um estado persistente. Esses eventos são armazenados temporariamente na memória, e o sistema reconstrói o status do pagamento a partir do fluxo de eventos, eliminando a necessidade de armazenamento persistente. Essa abordagem de alto desempenho e alta confiabilidade, inspirada na negociação de alta frequência, permite recuperação rápida de interrupções por meio de backups quentes. O artigo detalha esse conceito usando um exemplo de fluxo de pagamento e olha para aplicações futuras em sistemas de pagamento.

(news.alvaroduran.com)

Desenvolvimento Pagamentos sem banco de dados Negociação de alta frequência

@celine/bibhtml v3.0.3: Sistema de Referências Baseado em Web Components

2024-12-21

O sistema de referências baseado em Web Components para documentos HTML, @celine/bibhtml, lançou a versão 3.0.3. Ele visa fornecer uma experiência de usuário semelhante à de referências em LaTeX/BibTeX, utilizando o Citation.js como base e degradando graciosamente quando citações e referências estiverem malformadas ou o JavaScript estiver desabilitado. Suporta quatro formatos de referência: BibTeX, texto não estruturado, DOI e Wikidata, e oferece três elementos personalizados: ``, `` e ``, simplificando o gerenciamento de referências em HTML.

(maxbo.me)

Desenvolvimento Gerenciamento de Referências

Esquilos da Califórnia flagrados comendo carne: uma descoberta surpreendente

2024-12-21

Um estudo recente revolucionou o que se sabia sobre os esquilos-da-Califórnia. Anteriormente considerados granívoros (comedores de grãos), pesquisadores observaram esses roedores comuns caçando, matando e consumindo camundongos-do-campo – pequenos roedores – durante o verão de 2024. Essa descoberta surpreendente destaca as lacunas em nosso conhecimento, mesmo sobre animais familiares, e sugere que os esquilos-da-Califórnia podem ser onívoros oportunistas, adaptando sua dieta de acordo com a disponibilidade de alimentos. O comportamento carnívoro observado, atingindo o pico quando as populações de camundongos-do-campo aumentaram, demonstra sua flexibilidade comportamental e capacidade de adaptação a ambientes em mudança.

(gizmodo.com)

Diversos Esquilo da Califórnia comportamento carnívoro

Avanço inovador: Compilando C para Rust com segurança

2024-12-21

Pesquisadores desenvolveram um novo método para compilar código C para Rust com segurança. Essa técnica utiliza análise estática e tradução orientada a tipos para evitar a dependência de blocos `unsafe` do Rust, garantindo assim a segurança de memória. O método foi aplicado com sucesso a códigos da biblioteca criptográfica HACL* e das bibliotecas EverParse, resultando em uma biblioteca criptográfica moderna verificada de 80.000 linhas em Rust puro — a primeira do tipo.

(arxiv.org)

Desenvolvimento Compilação C Segurança de memória

Emulador Delta triplica preços no app da Apple para incentivar cliques externos

2024-12-20

O desenvolvedor Riley Testut, do emulador de jogos Delta, triplicou o preço das compras dentro do aplicativo na App Store da Apple para incentivar os usuários a assinarem pelo Patreon. Essa jogada aproveita a nova política da Apple que permite links para plataformas de pagamento externas, ao mesmo tempo em que protesta contra o sistema de compras dentro do aplicativo da Apple. Assinaturas do Patreon oferecem benefícios adicionais, como suporte para iPad e SEGA Genesis, acesso a um Discord privado e suporte ao cliente e reembolso mais convenientes.

(www.theverge.com)

Jogos emulador de jogos compra no aplicativo

Programador cria jogo pseudo-3D em Bash

2024-12-20

Um programador chamado izabera desenvolveu um impressionante jogo pseudo-3D usando a linguagem de script Bash. Este projeto, uma homenagem ao clássico jogo Wolfenstein 3D, é open-source no GitHub. O código é conciso, mas o resultado é surpreendente, mostrando o poder do Bash e a engenhosidade do programador. O repositório inclui o código-fonte do jogo e vídeos de demonstração. Desenvolvedores interessados em aprender mais podem conferi-lo no GitHub.

(github.com)

Desenvolvimento Desenvolvimento de Jogos

Comando DOS APPEND: Superando a Lacuna entre o Antigo e o Novo

2024-12-20

Durante a reconstrução do código-fonte do DOS 2.11, o autor encontrou um desafio: o antigo assembler MASM 1.25 não tinha suporte para diretórios, o que conflitava com a organização moderna de arquivos usando uma estrutura em árvore. Para evitar um diretório monolítico, o autor utilizou de forma inteligente o comando DOS APPEND. APPEND é um programa TSR (Terminate and Stay Resident) que intercepta chamadas de sistema como a abertura de arquivos e pesquisa em uma lista de caminhos predefinida se o arquivo não for encontrado no diretório atual. Isso permitiu que o MASM 1.25 localizasse arquivos dentro da estrutura hierárquica, resolvendo a incompatibilidade e destacando a utilidade surpreendente do APPEND em cenários específicos.

(www.os2museum.com)

Desenvolvimento

Anthropic Revela Segredos para Construir Agentes de IA Eficazes

2024-12-20

A Anthropic compartilha seus insights sobre a construção de agentes de IA eficazes, enfatizando a importância de padrões simples e componíveis em vez de frameworks ou bibliotecas complexas. O artigo diferencia fluxos de trabalho e agentes, detalhando vários padrões de construção de agentes, incluindo encadeamento de prompts, roteamento, paralelismo, coordenador-trabalhador e avaliador-otimizador. Enfatiza a manutenção da simplicidade, transparência e uma interface bem projetada entre agente e computador. Por fim, o artigo destaca o valor prático dos agentes de IA com exemplos em suporte ao cliente e agentes de codificação.

(www.anthropic.com)

IA agentes de IA fluxos de trabalho

Ferramentas de compilação Monorepo: Escalando sua base de código

2024-12-20

Ferramentas de compilação tradicionais têm dificuldades com grandes bases de código (100-10.000 desenvolvedores ativos). Ferramentas de compilação Monorepo como Bazel e Mill oferecem soluções, suportando múltiplas linguagens, tarefas de compilação personalizadas, cache e paralelização automáticos, cache e execução remota, melhorando drasticamente a velocidade e eficiência da compilação. Elas também incluem seleção de testes baseada em dependências e sandbox de tarefas de compilação, reduzindo o tempo de teste e o não-determinismo. Embora esses recursos possam parecer desnecessários para projetos pequenos, eles são cruciais para colaboração em larga escala e integração contínua em projetos maiores, evitando que os tempos de compilação se tornem um gargalo.

(mill-build.org)

Desenvolvimento ferramentas de compilação escalabilidade

io_uring recebe nova funcionalidade de criação de processos

2024-12-20

O LWN.net noticia o desenvolvimento de um novo recurso de criação de processos para o subsistema io_uring. Essa funcionalidade é implementada por meio de duas novas operações io_uring: IORING_OP_CLONE, que cria um novo processo, e IORING_OP_EXEC, que executa uma chamada de sistema execveat() para carregar um novo programa. Isso promete maior eficiência e permite que lógica mais complexa, como a pesquisa de caminhos, seja executada de forma assíncrona no kernel. No entanto, o recurso ainda está em seus estágios iniciais e possui limitações, como a necessidade de execução síncrona de operações io_uring no novo processo. O desenvolvimento futuro visa aumentar a flexibilidade e, eventualmente, mesclar o recurso ao kernel principal do Linux.

(lwn.net)

Desenvolvimento criação de processos kernel Linux

Revivendo o Retro: Conectando um Tandy Coco à Internet com o FujiNet

2024-12-20

Este artigo detalha a jornada do autor ao conectar um antigo computador Tandy Coco à internet usando o projeto FujiNet, uma iniciativa ambiciosa de código aberto que visa ser o único periférico necessário para computadores antigos. O autor enfrentou desafios durante o processo de montagem, incluindo dificuldades de soldagem, bugs de hardware e problemas de compatibilidade de software. Apesar desses obstáculos, ele conseguiu se conectar à internet e executar vários aplicativos, incluindo um rastreador da ISS e jogos. A experiência destaca o dinamismo da comunidade de código aberto e o potencial da retrocomputação, mostrando a diversão do reparo de hardware e do desenvolvimento de software.

(www.leadedsolder.com)

Tecnologia conectividade à internet

SDK Embarcado em Tempo Real da OpenAI para Microcontroladores

2024-12-20

A OpenAI lançou o openai-realtime-embedded-sdk, permitindo que desenvolvedores usem sua API em tempo real em microcontroladores como o ESP32. Compatível com Linux e ESP32S3, o SDK permite testes em Linux sem hardware físico. Após instalar o protobufc, definir a plataforma de destino e configurar o WiFi e as chaves da API da OpenAI, os desenvolvedores podem construir e implantar aplicativos. Isso expande as capacidades de IA da OpenAI para dispositivos embarcados, abrindo portas para aplicativos inovadores de IoT e computação de ponta.

(github.com)

IA API em tempo real SDK embarcado

2024 em Matemática: Avanços e o Ascenso da IA

2024-12-20

2024 foi um ano marcante para a matemática, marcado por uma série de avanços significativos. Uma equipe de nove matemáticos provou a conjectura de Langlands geométrica — uma prova de 800 páginas aclamada como uma conquista coroada — conectando áreas distintas da matemática. Outros avanços importantes foram feitos em geometria, resolvendo conjecturas de longa data e fornecendo contra-exemplos surpreendentes. Simultaneamente, a inteligência artificial fez grandes avanços, com o modelo AlphaProof do Google DeepMind alcançando resultados notáveis na Olimpíada Internacional de Matemática, sugerindo o potencial da IA como um 'co-piloto' para pesquisas matemáticas futuras. Essas conquistas destacam não apenas o progresso significativo na compreensão matemática, mas também o potencial transformador da IA na formação do futuro do campo.

(www.quantamagazine.org)

IA avanços matemáticos programa de Langlands geométrico

← Previous 1 2 3 4 5 6 7 8 9 … 19 20 Next →