Verificação de Ano Bissexto em Três Instruções

2025-05-15

Este artigo apresenta um algoritmo surpreendentemente eficiente para determinar se um ano (0 ≤ y ≤ 102499) é bissexto usando apenas cerca de três instruções de CPU. Ele utiliza manipulação de bits e números mágicos cuidadosamente escolhidos para transformar as complexas regras de ano bissexto em uma operação aritmética simples e comparação. O autor explica meticulosamente a derivação do algoritmo, comparando-o com métodos tradicionais e destacando sua significativa vantagem de velocidade. Embora ligeiramente mais lento em casos extremos, sua eficiência em aplicações práticas é impressionante.

Leia mais
Desenvolvimento ano bissexto

Hunyuan3D 2.0 da Tencent: Geração de Ativos 3D de Alta Resolução

2025-01-21
Hunyuan3D 2.0 da Tencent: Geração de Ativos 3D de Alta Resolução

A Tencent apresenta o Hunyuan3D 2.0, um sistema avançado de síntese 3D em larga escala que gera ativos 3D texturizados de alta resolução. Ele consiste em dois componentes principais: um modelo de geração de forma em larga escala - Hunyuan3D-DiT, e um modelo de síntese de textura em larga escala - Hunyuan3D-Paint. O sistema supera os modelos de ponta existentes em detalhes de geometria, alinhamento de condições e qualidade de textura. Uma plataforma amigável ao usuário, o Hunyuan3D-Studio, simplifica a manipulação e animação. O código de inferência e os modelos pré-treinados agora estão disponíveis em código aberto, acessíveis através do Hugging Face e do site oficial.

Leia mais

Construindo Bolt: Minha Jornada para um Compilador Pronto para Produção

2025-01-24
Construindo Bolt: Minha Jornada para um Compilador Pronto para Produção

Este post, o primeiro de uma série, detalha a experiência do autor construindo Bolt, uma linguagem de programação orientada a objetos concorrente no estilo Java. Ele descreve a motivação por trás da criação de um compilador, explicando o processo usando a analogia de um operador de telégrafo traduzindo fala para código Morse. O autor abrange as etapas principais do compilador, como análise léxica, análise sintática, verificação de tipo e geração de código, destacando os recursos avançados do Bolt, como objetos, classes, herança, substituição de métodos, concorrência e genéricos. O artigo discute a tipagem estática versus dinâmica e o papel do LLVM, explicando como o Bolt compila para LLVM IR para otimização e geração de código de máquina. Único para o Bolt é sua fase de verificação de tipo dupla, garantindo segurança concorrente. A série promete um tutorial prático sobre como construir um compilador além de linguagens brinquedo.

Leia mais
Desenvolvimento

Campanha de arrecadação de fundos do blog do historiador Zimmerman é um sucesso

2025-05-09

A campanha de arrecadação de fundos de aniversário de fevereiro do historiador Robert Zimmerman para seu blog, Behind the Black, foi concluída com sucesso. Ele agradeceu aos seus leitores pelas doações e assinaturas generosas, enfatizando que esse apoio permite que ele realize análises independentes de espaço, política e cultura, livres de publicidade ou patrocinadores. Ele destaca suas previsões precisas sobre a pandemia de COVID-19 de 2020 como evidência de sua análise perspicaz. Os leitores podem apoiar seu trabalho através de Zelle, Patreon, PayPal ou doações por cheque.

Leia mais

Igatha: Aplicativo SOS offline de código aberto para zonas de desastre

2025-04-01
Igatha: Aplicativo SOS offline de código aberto para zonas de desastre

Igatha é um aplicativo de código aberto projetado para comunicação de emergência em zonas de guerra e áreas de desastre. Usando Bluetooth Low Energy (BLE), ele transmite e pesquisa sinais SOS, estima a distância e opera totalmente offline. Possui detecção automática de desastres. De código aberto para transparência e contribuição da comunidade, o Igatha recebe relatórios de bugs, traduções e aprimoramentos de recursos.

Leia mais

SSHTron: Jogo de corrida de luz multijogador via SSH

2025-06-14
SSHTron: Jogo de corrida de luz multijogador via SSH

SSHTron é um jogo de corrida de luz multijogador jogável via SSH. Basta conectar-se a sshtron.zachlatta.com e começar a jogar. Use as teclas WASD ou vim para controlar sua bicicleta. Sete cores estão disponíveis. Construído em ~20 horas na BrickHack 2, a qualidade do código está em andamento. O projeto é de código aberto e suporta implantações Docker e Raspberry Pi. Um aviso de segurança observa potenciais vulnerabilidades (CVE-2016-0777) relacionadas a clientes SSH; recomenda-se atualizar seu cliente.

Leia mais
Jogos

ELK está ultrapassado? GreptimeDB: A solução de armazenamento de logs nativa em nuvem de próxima geração

2025-04-28
ELK está ultrapassado? GreptimeDB: A solução de armazenamento de logs nativa em nuvem de próxima geração

Com o crescimento explosivo de dados de log, a arquitetura ELK tradicional revela problemas como altos custos de armazenamento, desperdício severo de recursos e manutenção complexa. Este artigo apresenta o GreptimeDB, um banco de dados nativo em nuvem que utiliza uma arquitetura de separação de computação e armazenamento, oferecendo vantagens como altas taxas de compressão, design leve e fácil manutenção. Ele demonstra o processo completo de coleta, armazenamento, análise e consulta de logs combinando-o com o Vector, fornecendo uma solução mais moderna para monitoramento de logs em tempo real e análise de dados.

Leia mais
Desenvolvimento armazenamento de logs

Pais Ansiiosos e Telefones Infantis com IA: Um Ato de Equilíbrio Entre Segurança e Liberdade

2025-05-17
Pais Ansiiosos e Telefones Infantis com IA: Um Ato de Equilíbrio Entre Segurança e Liberdade

A onipresença de smartphones deixou os pais lutando com os benefícios da tecnologia e as preocupações sobre seu impacto na saúde mental de seus filhos. Este artigo descreve uma "feira de dispositivos alternativos" realizada em Westport, Connecticut, mostrando telefones com funcionalidade intencionalmente limitada e controles parentais avançados e sistemas de moderação de conteúdo com tecnologia de IA projetados para proteger crianças de abuso online, pornografia e conteúdo prejudicial. No entanto, esses telefones também levantam preocupações sobre privacidade, monitoramento excessivo e a confiabilidade da tecnologia de IA. Os pais lutam para equilibrar a segurança com a liberdade de seus filhos, buscando um meio-termo que proteja seus filhos, ao mesmo tempo em que lhes permite desfrutar dos benefícios da tecnologia.

Leia mais
Tecnologia telefones infantis

O Grande Gatsby aos 100 anos: Amor, sonhos e a desilusão do sonho americano

2025-05-19
O Grande Gatsby aos 100 anos: Amor, sonhos e a desilusão do sonho americano

Este artigo examina o legado duradouro da obra-prima de F. Scott Fitzgerald, *O Grande Gatsby*, um século após sua publicação. Começando com as primeiras descrições de Fitzgerald sobre o primeiro beijo e explorando o tema recorrente de 'nada além' em sua obra, o artigo mergulha na busca obsessiva de Gatsby por Daisy. O amor de Gatsby por Daisy torna-se uma metáfora para a busca do sonho americano e o anseio por uma juventude perdida, culminando em tragédia. A prosa requintada do romance, o comentário social perspicaz e a exploração de temas duradouros consolidam seu status como um clássico atemporal, provocando discussões contínuas sobre amor, sonhos e a desilusão do sonho americano.

Leia mais
Literatura O Grande Gatsby

Codificação assistida por LLM: ganhos de produtividade à custa da inteligência?

2025-03-16

O autor compartilha sua experiência com o uso de ferramentas de codificação assistidas por LLM, como o GitHub Copilot, revelando que, embora aumentem a produtividade, também podem levar ao esquecimento de conhecimentos fundamentais e à dependência excessiva da ferramenta, prejudicando, em última análise, a capacidade de resolução de problemas. O autor sugere tratar LLMs como auxiliares de aprendizagem em vez de geradores de código, avaliando criticamente seus resultados e focando na compreensão dos princípios subjacentes para realmente se beneficiar.

Leia mais
(eli.cx)

Claude da Anthropic ganha um blog (com um editor humano)

2025-06-07
Claude da Anthropic ganha um blog (com um editor humano)

A Anthropic lançou um blog, Claude Explains, escrito principalmente pelo seu modelo de IA, Claude. Embora apresentado como obra do Claude, as postagens são aprimoradas pela equipe de especialistas da Anthropic, adicionando contexto e exemplos. Isso destaca uma abordagem colaborativa, mostrando o potencial da IA para criação de conteúdo, mas também suas limitações. Experimentos de outras organizações de mídia com redação de IA enfrentaram desafios semelhantes, incluindo imprecisões factuais e fabricações. A contratação contínua da Anthropic em funções relacionadas à escrita sugere uma abordagem híbrida humano-IA.

Leia mais

Identificando Utensílios de Ferro Fundido Sem Marcas: Um Guia para Colecionadores

2025-05-31

Este artigo mergulha na identificação de utensílios de ferro fundido sem marcas, focando em peças do século XX. Muitas peças sem marcas não eram necessariamente sem fabricante, mas sim resultado de estratégias de marketing ou práticas de fundições menores. O guia detalha as características de ferro fundido sem marcas de fabricantes como Birmingham Stove & Range Co., Chicago Hardware Foundry, Lodge Manufacturing Co., Griswold Manufacturing Co., Wagner Manufacturing Co. e Vollrath Manufacturing Co., fornecendo informações valiosas para colecionadores. Embora rastrear a origem de muitas peças do século XIX e anteriores seja difícil, observar marcas de fundição, designs de alças e características de tampas pode fornecer pistas. O artigo também destaca algumas panelas sem marcas enigmáticas, adicionando à intriga.

Leia mais

A Ascensão Meteórica da Mercury e o Acerto de Contas Regulatório

2025-05-30
A Ascensão Meteórica da Mercury e o Acerto de Contas Regulatório

A startup de fintech Mercury teve um crescimento rápido, impulsionado por sua abertura de conta sem atritos e serviço ultrarrápido, atraindo centenas de milhares de clientes e bilhões de dólares em depósitos. No entanto, sua desconsideração pela conformidade e tolerância a clientes de alto risco levaram a ações regulatórias contra seus parceiros bancários, ameaçando até mesmo a insolvência. O artigo expõe a negligência da Mercury na diligência devida ao cliente e no monitoramento de transações, juntamente com a aparente desconsideração de seu CEO pela conformidade, culminando no rompimento de seus relacionamentos com vários bancos. Isso levanta questões cruciais sobre o equilíbrio entre a rápida expansão da fintech e a adesão regulatória.

Leia mais

Engines de Execução Durável: De Transações Distribuídas a Temporal

2025-05-23

Este artigo explora a evolução dos engines de execução durável (como o Temporal), começando com transações de banco de dados iniciais, transações distribuídas e arquiteturas de RPC/microsserviços tolerantes a falhas. O autor analisa o exemplo "Six Little Lines of Fail" de Jimmy Bogard, destacando os desafios no tratamento de chamadas de funções entre serviços, como rollback de transações e mecanismos de retry. O artigo revisa as limitações das transações distribuídas (como o commit em duas fases), e explora tentativas no mundo Java com JSR-95 (Activity Service) e padrões de serviços web (como WS-AtomicTransaction), observando sua adoção limitada. O autor analisa ainda a ascensão recente de arquiteturas de microsserviços e os mecanismos correspondentes de tolerância a falhas, juntamente com event sourcing, orquestração e coreografia. Finalmente, o artigo compara engines de execução durável modernas, como Temporal, Restate e DBOS, incluindo seus modos operacionais, métodos de armazenamento de dados e integração com arquiteturas serverless, destacando sua importância na resolução de problemas de confiabilidade em sistemas distribuídos.

Leia mais
Desenvolvimento

Lidando com segundos bissextos sem problemas: uma 'fraude de tempo' em toda a empresa

2025-01-12

Em 2015, a empresa do autor enfrentou o risco de falhas no sistema devido a um segundo bissexto. Para evitar a repetição de falhas anteriores, o autor projetou de forma inteligente um sistema de 'fraude de tempo'. Nas 20 horas anteriores ao segundo bissexto, o sistema ajustou lentamente o tempo em todos os dispositivos da empresa, ficando um segundo atrás do horário padrão mundial, navegando assim suavemente pelo segundo bissexto. Esse processo exigiu o cálculo preciso de deslocamentos de tempo e vários testes, evitando, finalmente, falhas no sistema. Isso demonstra as habilidades técnicas superiores do autor e sua capacidade criativa de resolução de problemas.

Leia mais

Verizon e T-Mobile abandonam iniciativas de DEI sob pressão do presidente da FCC

2025-05-19
Verizon e T-Mobile abandonam iniciativas de DEI sob pressão do presidente da FCC

Diante da pressão do presidente da FCC, Brendan Carr, as gigantes de telecomunicações Verizon e T-Mobile anunciaram modificações ou cancelamentos de seus programas de Diversidade, Equidade e Inclusão (DEI). A Verizon afirmou que eliminará sua equipe dedicada de DEI, reatribuindo funcionários a outros cargos. A T-Mobile está conduzindo uma revisão abrangente de suas políticas de DEI. Essa medida gerou controvérsia, com veículos de comunicação criticando as ações da Verizon como "covardes", uma rendição à pressão política que prioriza o lucro em detrimento da responsabilidade social. As ações de Carr também foram condenadas por usar o poder regulatório para suprimir as proteções dos direitos civis e a igualdade de oportunidades.

Leia mais
Tecnologia diversidade equidade

GlobalFoundries adquire MIPS, expandindo seu portfólio de processadores RISC-V

2025-07-09
GlobalFoundries adquire MIPS, expandindo seu portfólio de processadores RISC-V

A GlobalFoundries (GF) anunciou um acordo definitivo para adquirir a MIPS, fornecedora líder de IP de IA e processadores. Essa aquisição estratégica expandirá as ofertas de IP personalizáveis da GF, diferenciando suas tecnologias de processo com recursos aprimorados de IP e software. O portfólio Atlas da MIPS, baseado na arquitetura RISC-V aberta, concentra-se em computação em tempo real para aplicações como mobilidade autônoma, automação industrial e data centers. A aquisição permitirá que a GF ofereça soluções mais flexíveis baseadas em RISC-V, fortalecendo sua posição no mercado de IA em rápida evolução.

Leia mais
Tecnologia IP de processador

Integração de Terceiros em Velocidade Relâmpago

2025-05-08

Esta ferramenta permite que você integre aplicativos e serviços de terceiros em horas, não em semanas. Simplifica o desenvolvimento, permitindo que você defina e trabalhe com componentes reutilizáveis, configurados automaticamente para vários ambientes e versões. Recursos de resiliência integrados, como tentativas automáticas, failovers e troca de provedor, garantem alta disponibilidade. Além disso, oferece visibilidade completa em todos os ambientes, de desenvolvimento a produção, permitindo a detecção e resolução instantâneas de problemas.

Leia mais

Lançado o Proxmox Datacenter Manager – Versão Alpha

2024-12-19
Lançado o Proxmox Datacenter Manager – Versão Alpha

A Proxmox lançou uma prévia alpha do seu Proxmox Datacenter Manager. Este software visa centralizar a gestão de todos os seus nós e clusters, oferecendo funcionalidades básicas de gestão, como migrações de máquinas virtuais, sem necessidade de rede de cluster. Desenvolvido totalmente em Rust, desde o servidor de API back-end até às ferramentas CLI e um novo front-end, ele possui uma interface web moderna para melhorar a velocidade e a compatibilidade. Esta versão alpha tem como objetivo recolher feedback do utilizador, testar funcionalidades principais e promover a colaboração. Embora existam algumas funcionalidades incompletas e erros esperados, já é capaz de gerir milhares de hosts remotos e máquinas virtuais.

Leia mais

Regras de Neutralidade de Rede nos EUA Anuladas Novamente

2025-01-05
Regras de Neutralidade de Rede nos EUA Anuladas Novamente

Um tribunal de apelações dos EUA mais uma vez derrubou as regras de neutralidade de rede, anulando a mais recente tentativa da FCC de restabelecer as regras. A 6ª Corte de Apelações do Circuito citou a decisão Loper Bright da Suprema Corte, argumentando que a FCC não tinha autoridade para reclassificar os provedores de serviços de internet como transportadores comuns. Essa decisão, baseada em uma decisão da Suprema Corte que limita o poder das agências para interpretar leis, efetivamente anula a ordem de abril da FCC. A batalha de longa data sobre a neutralidade de rede continua, com a presidente da FCC, Jessica Rosenworcel, pedindo ação do Congresso para codificar os princípios da internet aberta na lei federal.

Leia mais
Tecnologia decisão judicial

Imagens de 'Curb Your Enthusiasm' salvam homem inocente da pena de morte

2024-12-25
Imagens de 'Curb Your Enthusiasm' salvam homem inocente da pena de morte

Juan Catalan, um homem da Califórnia, enfrentou a pena de morte por um assassinato que não cometeu. A descrição da única testemunha ocular correspondia a Catalan, apesar de seus apelos de inocência. Sua namorada se lembrou que ele estava em um jogo dos Dodgers na noite do assassinato. Seu advogado conseguiu imagens de uma filmagem da HBO de 'Curb Your Enthusiasm' no estádio, mostrando Catalan e sua filha, comprovando seu álibi. Essa evidência inesperada levou ao arquivamento das acusações, destacando a falibilidade do testemunho de testemunhas oculares e o risco de condenações errôneas.

Leia mais

Novo artigo de Tao: Investigando a distribuição de autovalores de GUE e suas menores

2024-12-22
Novo artigo de Tao: Investigando a distribuição de autovalores de GUE e suas menores

Em seu último preprint no arXiv, o renomado matemático Terence Tao investiga a distribuição de autovalores do Conjunto Unitário Gaussiano (GUE) e suas menores em índices fixos. Usando processos determinantais e técnicas analíticas sofisticadas, o artigo estabelece várias estimativas sobre lacunas de autovalores, abordando questões anteriormente sem resposta e abrindo caminho para trabalhos futuros sobre o comportamento limitante de 'colmeias' com condições de contorno GUE. Esta pesquisa contribui significativamente para a compreensão de modelos de matrizes aleatórias e campos relacionados.

Leia mais

Computação Retro: Uma Jornada nostálgica com o TI-99/4A

2025-02-19
Computação Retro: Uma Jornada nostálgica com o TI-99/4A

Este artigo documenta a exploração do autor do computador retro TI-99/4A, uma máquina lançada na mesma época que o Atari 800 e o Commodore VIC-20. Sua arquitetura única combina elementos de um console de videogame e um minicomputador. O autor começa com a história do TI-99/4A e seus chips gráficos e de som distintos, que foram usados posteriormente em muitos consoles e computadores. O artigo então usa um emulador para demonstrar a programação em TI BASIC, criando gráficos e animações simples. O autor mostra os recursos aprimorados do Extended BASIC, incluindo velocidade aumentada e gráficos aprimorados. Finalmente, o autor aborda brevemente o sistema de sprites do TI-99/4A e anuncia um artigo futuro que mergulhará no desenvolvimento de software de cartucho.

Leia mais
Tecnologia

Eu brevemente possuí o email [email protected]

2025-05-08
Eu brevemente possuí o email steve@next.com

Em 1991, um novo funcionário da NeXT, por impulso, encaminhou o endereço de e-mail [email protected] para sua própria caixa de entrada. Isso resultou em uma enxurrada de e-mails destinados a Steve Jobs, de repórteres, CEOs e profissionais de finanças. Em pânico, ele rapidamente reverteu o encaminhamento e explicou para Jobs. Surpreendentemente, Jobs respondeu: "Ótima ideia, obrigado." Esta história está cheia de drama e destaca o humor e a tolerância de Jobs.

Leia mais
Diversos

Resolvendo a Equação de Eikonal com Varredura Rápida em JAX

2025-05-11

Este post de blog explora a resolução da equação de Eikonal, crucial na evolução de interfaces e processamento de imagens, usando o método de varredura rápida implementado em JAX. Começa explicando os métodos de conjunto de níveis e a própria equação de Eikonal. O cerne do post detalha o algoritmo de varredura rápida, cobrindo a configuração da grade, atualizações iterativas e o esquema de vento ascendente de Godunov. Implementações de código NumPy e JAX são fornecidas, com benchmarks demonstrando a significativa vantagem de velocidade do JAX. O autor também discute as tentativas de paralelização do algoritmo e os desafios encontrados.

Leia mais

Kubernetes: Uma Analogia Surpreendente com Sistemas Entidade-Componente

2025-02-07

Este artigo revela uma semelhança notável entre o modelo de gerenciamento de recursos do Kubernetes e o padrão Entidade-Componente-Sistema (ECS) comumente usado no desenvolvimento de jogos. Os objetos do Kubernetes espelham as entidades do ECS, possuindo identificadores únicos; os campos `spec` e `status` correspondem aos componentes, representando os estados desejado e observado, respectivamente; enquanto os controladores, planejadores e o Kubelet atuam como sistemas, reconciliando discrepâncias entre os estados desejado e atual. Essa semelhança arquitetônica esclarece o design do Kubernetes e oferece novas perspectivas sobre sua natureza declarativa.

Leia mais
Desenvolvimento

Kokoro: Modelo TTS de 82M de Parâmetros Transforma Ebooks em Audiobooks de Alta Qualidade

2025-01-15

Claudio Santini criou o Audiblez, uma ferramenta que utiliza o modelo de texto para fala (TTS) Kokoro de 82M de parâmetros para converter ebooks em audiobooks de alta qualidade. O Audiblez suporta vários idiomas e vozes, convertendo ebooks grandes em poucas horas. A ferramenta baseada em Python requer a instalação das bibliotecas e arquivos de modelo necessários. Embora a detecção de capítulos ainda seja um pouco imprecisa, funciona bem no geral, com melhorias futuras planejadas para a detecção de capítulos e recursos adicionais.

Leia mais
Desenvolvimento texto para fala

Keon: Formato de serialização legível por humanos inspirado em Rust

2025-01-15
Keon: Formato de serialização legível por humanos inspirado em Rust

Keon é uma notação de objeto legível por humanos (ORN) e um formato de serialização sintaticamente semelhante ao Rust e totalmente compatível com o modelo de dados do Serde. Ele possui uma sintaxe mais limpa, permitindo comentários e vírgulas finais, e permitindo uma experiência de escrita quase como em Rust. Keon diferencia entre tuplas e listas, suporta tipos arbitrários como chaves de dicionário e oferece suporte a Base64, Base32 e Base16. O objetivo é um formato de serialização mais intuitivo, legível e gravável.

Leia mais
Desenvolvimento

Top 500 Páginas Mais Vistas da Wikipédia

2025-05-19

Este conjunto de dados revela as 500 páginas mais vistas da Wikipédia, abrangendo diversas categorias, incluindo países, idiomas, personalidades e locais geográficos. Países como Turquia, Japão e Estados Unidos ocupam posições de destaque, enquanto figuras notáveis como Michael Jackson e Donald Trump também ocupam posições importantes. A lista oferece insights sobre os padrões globais de consumo de informações e reflete a influência de diferentes culturas e eventos.

Leia mais

CERN realiza primeira autópsia em dissipador de feixe radioativo

2025-05-24
CERN realiza primeira autópsia em dissipador de feixe radioativo

Pela primeira vez, o CERN realizou uma autópsia em um dissipador de feixe radioativo para investigar vazamentos de nitrogênio. Após dez anos de operação, o dissipador apresentou sinais de degradação. Os engenheiros superaram os desafios do ambiente de alta radiação usando robôs e uma serra circular automatizada para dissecar o invólucro do dissipador e examinar seus componentes de grafite de alta densidade, baixa densidade e extrudado. Foram encontradas rachaduras no grafite extrudado, mas o grafite de baixa e alta densidade estava em boas condições. Esta autópsia forneceu dados valiosos para o LHC Run 3 e os projetos futuros de dissipadores de feixe do HL-LHC, levando a melhorias nos projetos de dissipadores sobressalentes.

Leia mais
Tecnologia Radioativo
1 2 497 498 499 501 503 504 505 595 596