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

Phoenix.new: Um agente de codificação online baseado em Elixir que revoluciona o desenvolvimento de aplicativos em tempo real

2025-06-20
Phoenix.new: Um agente de codificação online baseado em Elixir que revoluciona o desenvolvimento de aplicativos em tempo real

Chris McCord, criador do framework Phoenix, apresenta o Phoenix.new, um agente de codificação online baseado em Elixir. Rodando em uma VM isolada com acesso root ao shell, o agente pode instalar pacotes, executar programas e interagir com aplicativos. Integrado a um navegador para testes e interação de front-end, o Phoenix.new automatiza a implantação, integra-se ao Github e simplifica drasticamente o fluxo de trabalho de desenvolvimento. Ele pode até gerar aplicativos com base em esquemas de banco de dados. McCord sugere que isso representa uma mudança significativa no desenvolvimento, com o desenvolvimento futuro provavelmente dependendo mais de agentes trabalhando em ambientes CI.

Leia mais
(fly.io)
Desenvolvimento

Programação Assistida por LLM: Hype ou Revolução? A Perspectiva de um Programador Veterano

2025-06-02
Programação Assistida por LLM: Hype ou Revolução? A Perspectiva de um Programador Veterano

O programador veterano Thomas Ptacek refuta a ideia de que as ferramentas de programação de IA são apenas uma moda passageira. Ele argumenta que, embora o código gerado por LLM não seja perfeito e exija revisão e refinamento humanos, ele aumenta dramaticamente a eficiência da codificação, especialmente para tarefas repetitivas. Usando agentes, os LLMs podem lidar autonomamente com a escrita de código, testes e depuração, reduzindo significativamente a carga de trabalho do programador. O autor afirma que os LLMs não devem substituir os programadores, mas sim se tornar assistentes poderosos, aumentando a eficiência geral do desenvolvimento, especialmente ao lidar com grandes quantidades de trabalho repetitivo.

Leia mais
(fly.io)
Desenvolvimento programação de IA

Litestream: Atualização Principal Traz Restaurações Rápidas de Ponto no Tempo e Replicas de Leitura Leve

2025-05-20
Litestream: Atualização Principal Traz Restaurações Rápidas de Ponto no Tempo e Replicas de Leitura Leve

Litestream, uma ferramenta de código aberto que permite que aplicativos full-stack sejam executados de forma confiável no SQLite por meio da recuperação de armazenamento de objetos, recebeu uma atualização principal. As melhorias aproveitam a tecnologia do LiteFS para fornecer restaurações de ponto no tempo (PITR) significativamente mais rápidas, simplificar o gerenciamento de replicação usando as capacidades de comparação e troca (CAS) do armazenamento de objetos e introduzir réplicas de leitura leves baseadas em um sistema de arquivos virtual (VFS). Essas mudanças aprimoram a confiabilidade e a facilidade de uso do Litestream, especialmente ao lidar com vários bancos de dados. A atualização também posiciona o Litestream para melhor suportar o desenvolvimento de código LLM, fornecendo PITR como uma primitiva para reversões e ramificações.

Leia mais
(fly.io)
Desenvolvimento

Boom de robôs inesperado no Fly.io: Uma plataforma em nuvem com uma base de usuários inesperada

2025-04-12
Boom de robôs inesperado no Fly.io: Uma plataforma em nuvem com uma base de usuários inesperada

O Fly.io, uma nuvem pública focada em desenvolvedores, priorizava inicialmente a experiência do desenvolvedor (DX). No entanto, nos últimos meses, eles descobriram que o crescimento de sua plataforma é impulsionado principalmente por robôs, e não por humanos. Esses robôs utilizam os recursos de computação do Fly.io para "vibe coding", um processo de geração de código baseado em vetores. Suas necessidades - tempos de inicialização rápidos, máquinas virtuais flexíveis (Fly Machines) e armazenamento e rede fáceis - se alinham inesperadamente bem com o design do Fly.io. O Fly.io descobriu que recursos como inicialização/parada rápida de VMs, armazenamento incremental e suporte ao protocolo MCP são inesperadamente amigáveis para robôs. Embora não tenha sido projetado inicialmente para robôs, o Fly.io reconhece a necessidade de se concentrar na experiência do robô (RX) e está se adaptando para atender melhor a essa nova base de usuários.

Leia mais
(fly.io)
Tecnologia

Infraestrutura de Nuvem Segura da Fly.io: Uma Imersão nos Tokens Macaroon

2025-03-30
Infraestrutura de Nuvem Segura da Fly.io: Uma Imersão nos Tokens Macaroon

A Fly.io, uma empresa de tokens de portador de segurança, detalha seu sistema de segurança baseado em tokens Macaroon. A publicação se concentra em seu banco de dados tkdb personalizado, que utiliza LiteFS e Litestream para alta disponibilidade e persistência de dados, e comunicação segura por meio do protocolo Noise. Revogação de tokens, estratégias de cache e o uso de recursos do Macaroon para simplificar o gerenciamento de tokens de serviço e melhorar a segurança também são abordados. A experiência da Fly.io demonstra que, embora alguns recursos do Macaroon sejam pouco utilizados pelos usuários, eles oferecem benefícios significativos à infraestrutura interna, melhorando a confiabilidade e a segurança.

Leia mais
(fly.io)
Tecnologia Tokens de Segurança Infraestrutura de Nuvem

Desenvolvimento Guiado por LLM: A Revolução do Loop Fechado

2025-02-15
Desenvolvimento Guiado por LLM: A Revolução do Loop Fechado

Embora agentes de desenvolvimento baseados em LLM, como o Cursor, tenham apenas 40% de taxa de sucesso, seu potencial é inegável. Este artigo explora a perspectiva empolgante da geração de código em loop fechado por LLM. Ao integrar LLMs com ferramentas como o Semgrep, os desenvolvedores podem criar sistemas que debuggam código automaticamente, geram testes unitários e até escrevem regras de segurança. Essa mudança de paradigma promete melhorar drasticamente a eficiência do desenvolvimento e remodelar a maneira como construímos software. O futuro pode pertencer àqueles que dominam a arte de aproveitar esses poderosos modelos.

Leia mais
(fly.io)
Desenvolvimento

A aposta da Fly.io em GPUs: Um relatório pós-morte

2025-02-14
A aposta da Fly.io em GPUs: Um relatório pós-morte

A Fly.io tentou integrar GPUs em sua nuvem pública, com o objetivo de fornecer aos usuários recursos de inferência de IA/ML. No entanto, o projeto acabou falhando. Vários motivos-chave são destacados: a preferência esmagadora dos desenvolvedores por APIs LLM em vez de GPUs, limitações de suporte de drivers da Nvidia que prejudicam a relação custo-benefício e a flexibilidade, e preocupações significativas com segurança e custos de hardware. Apesar da falha, a Fly.io obteve lições valiosas, enfatizando a importância de pesquisas de mercado completas antes de investimentos em grande escala.

Leia mais
(fly.io)
Tecnologia

Edição Remota do VS Code: Invasão em Escala Completa ou Desenvolvimento Conveniente?

2025-02-08
Edição Remota do VS Code: Invasão em Escala Completa ou Desenvolvimento Conveniente?

Esta publicação discute as implicações de segurança do recurso de edição remota do VS Code. Embora o VS Code ofereça edição remota semelhante ao Tramp do Emacs, ele difere significativamente. Em vez de uma conexão leve, o VS Code baixa um agente que executa um programa Node.js no servidor remoto, concedendo a ele acesso extensivo: navegação no sistema de arquivos, edição de arquivos, inicialização de processos de shell e autopersistência. O autor argumenta que essa abordagem é excessivamente 'invasiva' e apresenta riscos de segurança, especialmente em servidores de desenvolvimento ou produção. Embora a equipe do autor tenha encontrado uma solução alternativa, a postagem serve como um conto de advertência sobre as vulnerabilidades potenciais.

Leia mais
(fly.io)
Desenvolvimento Edição Remota