printf Seguro e Eficiente em Idris: Sem Macros

2025-02-14

Este artigo demonstra como implementar uma função printf segura e eficiente em Idris sem recorrer a macros inseguras ou argumentos variáveis. O autor, usando programação de nível de tipo de forma inteligente, analisa a string de formato em uma estrutura de dados e gera dinamicamente a assinatura do tipo de função com base nela. Isso alcança a funcionalidade do printf do C, mantendo a segurança de memória e de tipo. O artigo também explora o tratamento de strings de formato em tempo de execução e aponta as deficiências da implementação, como mensagens de erro pouco claras, indicando direções para melhorias futuras.

Leia mais

Sequestro de cofundador da Ledger: grande investigação na França

2025-01-23
Sequestro de cofundador da Ledger: grande investigação na França

David Balland, cofundador da empresa de carteiras de criptomoedas Ledger, foi sequestrado, levando a uma grande investigação pelas autoridades francesas. O incidente ocorreu no departamento de Cher, na França, com um grande destacamento policial, incluindo helicópteros e buscas em vários locais. O motivo do sequestro permanece obscuro, e não foi revelado publicamente se um resgate está envolvido. Este evento destaca os riscos de segurança na indústria de criptomoedas.

Leia mais
Tecnologia sequestro

Design de Laptop de Código Aberto: Uma Jornada no Conhecimento Oculto da Eletrônica de Consumo

2025-03-30

Um engenheiro embarca em um projeto desafiador: projetar um laptop completamente de código aberto. O objetivo é compartilhar o processo de design, o conhecimento adquirido e promover eletrônicos reparáveis, atualizáveis e sustentáveis. Ele acredita que os eletrônicos de consumo contêm uma riqueza de conhecimento oculto, e os projetos de código aberto podem diminuir a barreira de entrada para aprendizagem e inovação. O projeto abrangerá design eletrônico, gerenciamento térmico, design mecânico, design de PCB de alta velocidade e muito mais, oferecendo arquivos de origem completos, documentação e suporte comunitário. Isso não é apenas um desafio técnico, mas também uma tentativa de impulsionar o desenvolvimento sustentável na indústria.

Leia mais
Desenvolvimento design de laptop

Servidor doméstico invadido: uma surpresa de Ano Novo

2025-01-05

O autor descobriu seu servidor doméstico infectado com o malware Kinsing após o Natal, explorando um contêiner Docker desprotegido para minerar criptomoedas. O atacante tentou repetidamente ataques de força bruta. O autor fechou todos os acessos à rede externa para minimizar a superfície de ataque. Este incidente serve como um lembrete claro dos riscos de expor um servidor doméstico à internet, destacando a necessidade de medidas de segurança robustas, mesmo com proteção por senha.

Leia mais

O Julgamento do Tomate de Salem: Como uma Fruta Foi Considerada Pecaminosa

2025-01-05
O Julgamento do Tomate de Salem: Como uma Fruta Foi Considerada Pecaminosa

Por séculos, o tomate não era o alimento básico da cozinha que conhecemos hoje. Na Europa, era associado ao pecado e ao veneno, em parte devido à lixiviação de chumbo de pratos de estanho reagindo com a acidez do tomate. O equívoco o ligava à mandrágora, uma planta com propriedades afrodisíacas no folclore. Isso mudou em 1820, quando o Coronel Robert Gibbon Johnson, famoso por comer um tomate em Salem, Nova Jersey, dissipou o mito e abriu caminho para sua ampla aceitação na culinária americana.

Leia mais

IA decola: Gripen E da Saab integra com sucesso o Centaur AI da Helsing

2025-06-14
IA decola: Gripen E da Saab integra com sucesso o Centaur AI da Helsing

A Saab, em colaboração com a Helsing, anunciou a conclusão bem-sucedida de três voos de teste integrando o agente de IA Centaur da Helsing em um caça Gripen E. Esses voos, parte do 'Projeto Beyond' da Saab, demonstram um avanço significativo na integração de capacidades de IA em aeronaves militares. O Centaur executou autonomamente manobras complexas em um ambiente de combate além do alcance visual (BVR) e sinalizou para o piloto disparar. O projeto, financiado pela Administração de Material de Defesa Sueca (FMV), é um componente fundamental do programa conceitual de Sistemas de Caça Futuro da Suécia.

Leia mais
Tecnologia Caça

Trump ameaça com 20 anos de prisão para vândalos da Tesla

2025-03-30
Trump ameaça com 20 anos de prisão para vândalos da Tesla

Em meio a um aumento de vandalismo direcionado a veículos, concessionárias e estações de carregamento da Tesla nos EUA, o presidente Trump emitiu um severo aviso: os perpetradores podem enfrentar até 20 anos de prisão, incluindo aqueles que financiaram os ataques. O FBI está investigando incidentes em pelo menos nove estados, envolvendo incêndio criminoso, tiros e pichações. Três indivíduos já foram acusados de crimes relacionados a esses ataques. Isso ocorre enquanto as ações da Tesla caíram quase 48% este ano, e altos executivos venderam US$ 100 milhões em ações.

Leia mais
Tecnologia Vandalismo

O homem por trás dos sons icônicos da Apple: O bip Sosumi e muito mais

2025-06-12

Este artigo revela a história por trás de Jim Reekes, o criador de sons icônicos da Apple, como o toque de inicialização do Mac e o som da câmera do iPhone. Ele revela a inspiração para o som de inicialização do Mac - o acorde final de 'A Day In The Life' dos Beatles - e a história de origem do bip Sosumi, nascido de uma disputa de marca registrada. Vários links de vídeo mostram entrevistas e clipes de Reekes detalhando seu processo criativo, incluindo os sintetizadores e a câmera que ele usou.

Leia mais

Fujifilm X Half: Uma câmera amigável para a família ou uma decepção?

2025-06-17
Fujifilm X Half: Uma câmera amigável para a família ou uma decepção?

Um usuário da Fujifilm há uma década, que passou da X-T1 para a Leica M11, compartilha sua experiência com a Fujifilm X Half. Embora o tamanho compacto e os controles simplificados da X Half a tornem ideal para famílias, particularmente para crianças, seu alto preço e recursos limitados geraram críticas. O autor argumenta que, para usuários casuais, a facilidade de uso da X Half supera suas deficiências funcionais, tornando-a uma ótima opção para fotografia familiar, embora a faixa de preço de US$ 850 seja alta.

Leia mais
Hardware câmera familiar

Biblioteca C do LLVM Acelera GPUs: Executando código C em GPUs

2024-12-14

O projeto LLVM lançou uma biblioteca C para GPU que permite aos desenvolvedores executar funções libc e libm diretamente na GPU em código C/C++. A biblioteca suporta dois modos principais: como uma biblioteca suplementar para linguagens de offloading como OpenMP, CUDA ou HIP; e compilando diretamente código C/C++ para o alvo GPU. O artigo detalha como usar ambos os modos, incluindo opções de compilação, links e builds específicos para GPUs AMD e NVIDIA. Essa biblioteca permite que os desenvolvedores aproveitem o poder de processamento paralelo das GPUs, melhorando significativamente o desempenho sem a necessidade de profundo conhecimento de modelos complexos de programação de GPUs.

Leia mais

Debaixo do Capô do Asyncio Python: Um mergulho profundo em async/await

2025-05-09

Este artigo mergulha profundamente no funcionamento interno do modelo de concorrência async/await do Python. Começando com os conceitos de concorrência e paralelismo, o autor demonstra progressivamente a construção de um servidor TCP altamente concorrente, comparando os prós e contras do uso de pools de threads e multiplexação de I/O. O cerne do artigo reside em explicar como async/await é implementado com base em geradores, corrotinas e mecanismos yield/yield from. Ele detalha meticulosamente a implementação subjacente de geradores e corrotinas, contrastando finalmente o asyncio com outras bibliotecas de programação assíncrona.

Leia mais
Desenvolvimento

Um Bug Oculto no DOS 3.3 SYS.COM: O Mistério da Corrupção de Imagens de Disco NetDrive

2025-02-24

Este artigo detalha a investigação do autor sobre um bug no comando do sistema DOS 3.3 `SYS.COM`. Esse comando copia o código do bootloader para um disco, mas quando usado com imagens de disco virtual NetDrive, ele corrompe a imagem. Por meio de uma análise cuidadosa, o autor descobriu que o `SYS.COM` não verifica o código de retorno de uma chamada Generic IOCTL usada para obter os parâmetros do disco. Quando essa chamada falha (por exemplo, o driver NetDrive não suporta a função), o `SYS.COM` grava erroneamente dados corrompidos no setor de inicialização do disco, corrompendo a imagem. Esse bug só se manifesta em certos tipos de imagens de disco (por exemplo, imagens de disco rígido), pois o DOS tenta recuperar informações de geometria do disco, enquanto as imagens de disquete não. O autor finalmente identifica a causa raiz do bug e explica as condições em que ele ocorre.

Leia mais
Desenvolvimento

Nick Clegg deixa o Meta após sete anos

2025-01-02
Nick Clegg deixa o Meta após sete anos

Nick Clegg, presidente de Assuntos Globais do Meta e ex-vice-primeiro-ministro britânico, está deixando a empresa após sete anos. Sua partida ocorre após um período marcado por decisões políticas significativas, incluindo o tratamento da conta de Donald Trump e a navegação do relacionamento em evolução entre grandes empresas de tecnologia e reguladores. Ele será substituído por Joel Kaplan, um executivo veterano de políticas com fortes laços com o partido republicano. A saída de Clegg significa uma mudança na dinâmica entre gigantes da tecnologia e pressões sociais.

Leia mais
Tecnologia Política

Odin: Uma linguagem inspirada em C que abraça as melhores práticas modernas

2025-05-13
Odin: Uma linguagem inspirada em C que abraça as melhores práticas modernas

O autor, com base na experiência de construir um motor de jogo em C, destaca a incorporação de várias melhores práticas de C em Odin. Isso inclui alocadores personalizados (com suporte embutido nas bibliotecas principais do Odin), alocadores temporários para gerenciamento de memória baseado em quadros, alocadores de rastreamento para detecção de vazamentos, inicialização zero, inicializadores designados e programação amigável ao cache por meio de suporte SoA. Odin consegue isso mantendo a simplicidade de C, adicionando recursos modernos como genéricos e sobrecarga. O autor enfatiza que, embora os recursos do Odin sejam muito benéficos para aqueles com um histórico semelhante em C, também é acessível para aqueles não familiarizados com esses conceitos, sugerindo seu livro como um recurso introdutório.

Leia mais
Desenvolvimento

Atproto: Uma Revolução nas Redes Sociais Descentralizadas?

2025-01-18

Atproto é um protocolo emergente de rede social descentralizada que resolve problemas inerentes às redes sociais tradicionais, como a vinculação de conta-aplicativo e o armazenamento de dados dispersos. Ele usa Servidores de Dados Pessoais (PDS) e identidades baseadas em domínio, permitindo que os usuários possuam sua identidade e dados e reutilize a mesma identidade em diferentes aplicativos. Isso simplifica o desenvolvimento de vários aplicativos "habilitados para mídia social" (fóruns, plataformas de escrita de formato longo, etc.) e fomenta novos modelos de negócios. Em comparação com o Fediverse, o Atproto possui interoperabilidade e experiência do usuário aprimoradas. O sucesso de projetos como o Bluesky impulsiona ainda mais o crescimento do Atproto, prometendo uma nova geração de redes sociais centradas em identidades de propriedade do usuário.

Leia mais
Tecnologia descentralizada

Executando o Windows NT 4 Server no Proxmox: Um Guia Retrô

2025-05-25
Executando o Windows NT 4 Server no Proxmox: Um Guia Retrô

Esta postagem de blog fornece um guia abrangente sobre como instalar o Windows NT 4 Server em um ambiente virtual Proxmox. Ela detalha as configurações cruciais da VM, incluindo o tipo de CPU correto, alocação de memória, seleção do controlador SCSI e configuração do adaptador de rede. O autor aborda os obstáculos comuns de instalação, como a instalação de drivers SCSI, a configuração de drivers de mouse e a ativação de suporte de alta resolução de exibição. As instruções passo a passo, acompanhadas de capturas de tela, simplificam o processo. O resultado final é uma máquina virtual Windows NT 4 Server totalmente funcional, permitindo que os usuários experimentem este sistema operacional clássico.

Leia mais
Desenvolvimento

Codificação sem bugs: Uma abordagem viável para pequenas equipes e startups

2025-01-23
Codificação sem bugs: Uma abordagem viável para pequenas equipes e startups

Um engenheiro sênior compartilha sua experiência em buscar a 'codificação sem bugs' no Telegram e em vários projetos. Embora pareça ineficiente, ele argumenta que essa abordagem evita custos de manutenção massivos e esgotamento da equipe a longo prazo. O autor usa anedotas pessoais e exemplos de projetos para demonstrar que focar na qualidade do código e na manutenibilidade, juntamente com a velocidade do produto, leva a um desenvolvimento eficiente e produtos de alta qualidade.

Leia mais
Desenvolvimento Qualidade de Código

Árvores Preguiçosas Chegam ao Determinate Nix 3.5.2: Um Aumento Massivo de Desempenho para o Nix

2025-05-26
Árvores Preguiçosas Chegam ao Determinate Nix 3.5.2: Um Aumento Massivo de Desempenho para o Nix

O Determinate Nix 3.5.2 foi lançado, trazendo o aguardado recurso de árvores preguiçosas. Isso melhora significativamente a eficiência do Nix em repositórios grandes, especialmente monorepos massivos, usando um sistema de arquivos virtual para otimizar a cópia de arquivos. Testes mostram que as avaliações no Nixpkgs podem ser 3 vezes mais rápidas e usar 20 vezes menos espaço em disco. Os usuários podem optar por ativá-lo habilitando `lazy-trees = true` em sua configuração personalizada do Nix. Embora atualmente seja opcional, a equipe enviou um pull request para mesclar isso no Nix upstream. Melhorias futuras de desempenho estão planejadas, incluindo melhor cache de avaliação, avaliação paralela para mais operações do Nix e descompactação multithread de flakes.

Leia mais
Desenvolvimento Árvores Preguiçosas

Automatize tarefas chatas com Python: O capítulo não lançado sobre áudio/vídeo

2025-07-13

A terceira edição de "Automatize tarefas chatas com Python" inclui um capítulo não lançado sobre trabalhar com áudio, vídeo e webcams. Esta publicação de blog compartilha o conteúdo do capítulo, detalhando como escrever código Python para gravar e reproduzir multimídia. Abrange formatos de dados de áudio e vídeo, gravação de webcams e microfones, reprodução de arquivos de áudio (usando playsound e Pygame), download de vídeos com yt-dlp e edição de vídeos e áudio com ffmpeg. Aprenda a automatizar tarefas como processamento em lote de arquivos de vídeo, criação de time-lapses ou a construção de um recurso de cabine de fotos em seus aplicativos.

Leia mais
Desenvolvimento Processamento multimídia

Google Gemini: Zona Cinza de Privacidade

2025-06-29
Google Gemini: Zona Cinza de Privacidade

A partir de 7 de julho, o assistente Google Gemini acessará seu telefone, mensagens, WhatsApp e utilitários (mesmo com a Atividade de Aplicativos Gemini desativada) para fazer chamadas, enviar mensagens de texto etc. O Google afirma que isso é para 'confiabilidade do serviço e verificações de segurança', excluindo os dados após 72 horas sem gravá-los em sua atividade Gemini. Isso dá ao Gemini acesso mais profundo do que antes, mesmo quando o rastreamento está desativado. Isso borra as linhas de privacidade, levantando preocupações sobre privacidade.

Leia mais
Tecnologia

O quase 'Retorno de Jedi' de David Lynch

2025-02-18
O quase 'Retorno de Jedi' de David Lynch

Este artigo explora a história pouco conhecida de David Lynch quase dirigindo 'O Retorno de Jedi'. Ele reconta o processo inicial de seleção do diretor na Lucasfilm e por que Lynch acabou recusando. O artigo entrelaça a descrição humorística de Lynch da experiência, destacando o forte contraste entre seu estilo artístico único e a franquia 'Star Wars'. Comparando o estilo de Lynch com o do diretor final, Richard Marquand, e analisando trechos do roteiro inacabado de Lynch, o autor explora o quão diferente o filme icônico poderia ter sido sob a direção de Lynch.

Leia mais
Jogos cinema

Android 15 terá suporte para páginas de memória de 16 KB para melhor desempenho do aplicativo

2025-05-09
Android 15 terá suporte para páginas de memória de 16 KB para melhor desempenho do aplicativo

O Google Play anunciou que o Android 15 terá suporte para tamanhos de página de memória de 16 KB para melhorar o desempenho do aplicativo. A partir de 1º de novembro de 2025, todos os novos aplicativos e atualizações direcionadas a dispositivos Android 15+ deverão oferecer suporte a páginas de 16 KB. Essa alteração promete iniciar aplicativos mais rapidamente, melhorar a duração da bateria, iniciar a câmera mais rapidamente e inicializar o sistema mais rapidamente. Muitos SDKs e mecanismos de jogos populares já oferecem suporte a 16 KB. Os desenvolvedores podem verificar a compatibilidade de seus aplicativos e fazer as atualizações necessárias usando o explorador de pacotes de aplicativos do Play Console.

Leia mais

Construa um SO em 1000 linhas de código: Um guia para iniciantes

2025-01-08

Este livro o guiará na construção de um pequeno sistema operacional do zero, passo a passo. Embora o desenvolvimento do kernel do SO possa parecer assustador, as funções fundamentais são surpreendentemente simples. Usando C, você implementará troca de contexto, paginação, modo de usuário, um shell de linha de comando, um driver de disco e E/S de arquivo — tudo em 1000 linhas de código. O desafio? Depuração. Você aprenderá técnicas de depuração essenciais para o desenvolvimento de SO, enfrentando desafios como o processo de inicialização e paginação. Prepare-se para uma jornada emocionante no mundo do desenvolvimento de SO!

Leia mais

Os Problemas da Máquina de Lavar: Uma Metáfora para a Estimativa de Software

2025-02-18

A recente experiência do autor ao instalar uma máquina de lavar roupa em uma casa nova se transformou em um processo de quatro horas, muito além da estimativa inicial de dez minutos. Surgiram problemas inesperados, desde perfurar buracos até substituir mangueiras, destacando os desafios da estimativa de desenvolvimento de software. O autor traça um paralelo entre as complicações imprevistas da instalação da máquina de lavar e as dificuldades em estimar com precisão projetos de software. Tarefas aparentemente simples costumam encontrar obstáculos inesperados, como ferramentas desatualizadas, sistemas incompatíveis ou requisitos ocultos, levando a atrasos significativos. A saga da máquina de lavar serve como uma metáfora convincente para a natureza imprevisível do desenvolvimento de software, enfatizando a importância da coleta completa de requisitos e da avaliação de riscos.

Leia mais
Desenvolvimento estimativa de projeto

Uma História Hilariantemente Incorreta da Robótica

2025-06-20
Uma História Hilariantemente Incorreta da Robótica

Este artigo divertido reconta a história da robótica, do cavaleiro mecânico de Da Vinci aos robôs humanoides de hoje, cobrindo o auge e a queda da inteligência artificial. É repleto de anedotas, como o robô Elektro da Westinghouse e a competição implacável após as aquisições de robótica do Google. Ele prevê ousadamente o futuro da robótica, incluindo robôs substituindo programadores e o eventual domínio da IA.

Leia mais
Tecnologia

Conquistando a Sobrecarga do HN: Notícias de Tecnologia Personalizadas com IA

2025-05-12
Conquistando a Sobrecarga do HN: Notícias de Tecnologia Personalizadas com IA

O autor, um usuário do Hacker News de longa data, lutava com a sobrecarga de informações. Para combater isso, ele criou duas ferramentas: Tobie, um bot do Telegram que entrega posts personalizados do HN com base em palavras-chave e limiares de votos; e HaNe, uma extensão do Chrome que fornece links arquivados para artigos pagos, acesso rápido a threads do HN e comentários resumidos por IA. Essas ferramentas melhoraram significativamente sua eficiência de leitura, reduziram o tempo de tela e aliviaram a ansiedade informacional.

Leia mais
Desenvolvimento

Vendas de veículos elétricos na China superarão os carros tradicionais anos antes do Ocidente

2025-01-04
Vendas de veículos elétricos na China superarão os carros tradicionais anos antes do Ocidente

As vendas de veículos elétricos (VEs) na China devem superar as de carros com motores de combustão interna pela primeira vez em 2025, um marco que coloca o maior mercado automobilístico do mundo anos à frente de seus rivais ocidentais. Bancos de investimento e grupos de pesquisa preveem um crescimento de 20% ano a ano nas vendas de VEs, ultrapassando 12 milhões de unidades, superando significativamente as previsões e as metas oficiais. Simultaneamente, as vendas de carros tradicionais devem cair mais de 10%. Esse aumento é atribuído aos avanços da China em tecnologia doméstica, cadeias de suprimentos globais seguras e economias de escala que resultam em preços mais baixos para os consumidores. Embora o crescimento esteja diminuindo em relação ao seu pico pós-pandemia, a China está preparada para atingir sua meta de 50% de vendas de VEs até 2035 — uma década antes do previsto. Essa rápida ascensão representa um desafio significativo para os fabricantes de automóveis estabelecidos na Alemanha, Japão e EUA, forçando-os a acelerar suas transições para VEs.

Leia mais

Treino de 7 minutos: Ciência ou Hype?

2025-01-01

Um post de blog questiona a eficácia e a abrangência do treino científico de 7 minutos apresentado no The New York Times. O autor argumenta que, embora o programa afirme ser baseado em ciência, ele enfatiza fortemente os exercícios para as pernas, enquanto negligencia um treino equilibrado para os glúteos, costas e músculos do core — uma omissão particularmente preocupante para profissionais sedentários. Uma abordagem mais equilibrada, sugere o post, incluiria mais exercícios dominados pelo quadril, puxadas na parte superior do corpo e exercícios de extensão do core para neutralizar os desequilíbrios musculares causados ​​por longos períodos sentados.

Leia mais

O Segredo do Beat Saber: Movimento Instruído no Design de Jogos VR

2025-05-02
O Segredo do Beat Saber: Movimento Instruído no Design de Jogos VR

O sucesso do Beat Saber não se deve apenas à música e ao ritmo; seu núcleo reside no conceito de design de 'Movimento Instruído'. O artigo argumenta que a pontuação não é baseada em tempo preciso, mas na amplitude e precisão dos movimentos do jogador. Isso não se limita a jogos de música; o jogo de combate VR Until You Fall exemplifica isso, guiando os jogadores por movimentos defensivos e ofensivos específicos para melhorar a imersão e controlar a intensidade do jogo e a sensação do jogador.

Leia mais

Ruby 3.4: Conexões Mais Rápidas, Rastros de Exceções Mais Limpos e Código Mais Conciso

2025-01-01

O Ruby 3.4 chegou! Chris Sinjakli destaca três melhorias principais: um nome de parâmetro de bloco padrão `it` para código mais limpo; a implementação do RFC8305 (Happy Eyeballs Version 2) para um tratamento significativamente melhor de conexões de socket TCP, especialmente em redes de pilha dupla (IPv4 e IPv6); e rastros de exceções mais claros para facilitar a depuração. Essas melhorias aumentam a produtividade do desenvolvedor e demonstram o compromisso da equipe do Ruby com a experiência do desenvolvedor.

Leia mais
Desenvolvimento
1 2 572 573 574 576 578 579 580 595 596