O que é, afinal, um SO agora?
Os avanços em grandes modelos de linguagem estão revivendo um velho sonho: o de que usuários comuns poderiam “programar” seus próprios dispositivos em linguagem natural, levantando questões sobre o que um sistema operacional deveria ser em um mundo com IA em primeiro lugar. Os comentaristas ponderam uma visão de micro-apps personalizados, construídos por LLMs, e assistentes agentivos contra a necessidade persistente de papéis tradicionais do SO, como gerenciamento de recursos, isolamento, segurança e ferramentas determinísticas, como apps bancários ou planilhas. Muitos duvidam que a maioria das pessoas algum dia desenhe seu próprio software, argumentando que apps, GUIs e plataformas curadas continuarão existindo, mesmo com a IA se tornando uma nova camada poderosa sobre os sistemas operacionais existentes, e não um substituto para eles.
O que é um SO agora?
- Vários argumentam que nada fundamental mudou: um SO ainda gerencia recursos de hardware e isola programas.
- Outros observam que os SOs modernos ficam em cima de SoCs e firmwares opacos (por exemplo, management engines), então já não “dominam” de verdade o hardware.
- Alguns distinguem kernels de baixo nível da “experiência de SO” de nível mais alto (shell, serviços, modelo de apps), dizendo que o artigo questiona principalmente esta última.
IA, apps “vibe-coded” e o futuro do software
- Entusiastas acham que LLMs permitem muitos apps minúsculos e altamente pessoais, escritos em linguagem natural, mudando o papel das lojas de aplicativos tradicionais.
- Contraponto: por que construir apps sob medida se você pode simplesmente pedir a um assistente de IA que execute tarefas diretamente? Muitos esperam um assistente geral dominante em vez de uma galáxia de micro-apps.
- Outros preveem um híbrido: bibliotecas e serviços fundamentais estáveis (codecs, armazenamento, DBs) mais ferramentas ou UIs fluidas, sintetizadas por IA, por cima.
Determinismo, confiabilidade e segurança
- Longo subthread sobre apps determinísticos versus IA não determinística:
- O lado pró-IA afirma que a não determinismo é aceitável ou até desejável para muitas tarefas do dia a dia.
- Céticos enfatizam que engenharia, conformidade e segurança exigem comportamento determinístico e verificável; código gerado por LLMs é difícil de confiar.
- Alguns imaginam a IA gerando ferramentas determinísticas nos bastidores, mas enfatizam verificação rigorosa e limites claros.
Comportamento do usuário e viés de power-user
- Vários comentaristas dizem que essa visão superestima a disposição ou capacidade dos usuários comuns de “vibe-codar”; a maioria só quer apps estáveis e consumo passivo.
- Parâmetros históricos (BASIC, HyperCard, web inicial) são citados: uma minoria criava; a maioria não, mesmo com as ferramentas disponíveis.
- Exemplos de pessoas tentando fazer amigos/familiares não técnicos usarem LLMs para automação geralmente falham devido à dificuldade de especificar necessidades.
Segurança, sandboxes e controle da plataforma
- Há forte preocupação de que software gerado por IA aumente a necessidade de sandboxing rígido, sistemas de capacidades e modelos de permissão.
- Outros preveem dispositivos mais fechados e software assinado/certificado, justificado como segurança contra código de IA não verificado.
- Alguns temem que plataformas focadas em IA possam enfraquecer a propriedade do usuário e o controle de superusuário, especialmente em celulares.
Economia, APIs e a web
- Se agentes rastrearem sites em vez de humanos visitarem, serviços financiados por anúncios podem entrar em colapso; comentaristas antecipam mais APIs pagas e cobrança máquina-a-máquina.
- Há ceticismo sobre empilhar custos (provedor de internet + provedor de IA + APIs de dados) para tarefas simples como ver a previsão do tempo.
Reações meta ao post e ao projeto
- Recepção mista: alguns acham a visão empolgante e oportuna; outros a veem como hype de IA, vaga em detalhes, ou um pitch para mais um celular.
- Vários perguntam como um sistema assim coexistiria com apps regulados existentes (bancos, médicos, plataformas sociais) que exigem fortes garantias no nível do SO.