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

Automatizando Ilustrações de Livros Didáticos de Física com MetaPost

2025-05-14
Automatizando Ilustrações de Livros Didáticos de Física com MetaPost

Diante da tarefa assustadora de criar centenas de diagramas para um livro didático de física, o autor buscou uma solução mais eficiente do que os editores tradicionais de gráficos vetoriais. O MetaPost surgiu como resposta, permitindo que ilustrações fossem definidas como funções de variáveis, simplificando ajustes e reutilização de elementos. O artigo detalha o processo do autor de criar várias formas (curvas, esferas, tubos, etc.) e texturas usando MetaPost, fornecendo exemplos de código. Apesar do cancelamento do livro didático, a biblioteca de código aprimorada foi de código aberto, oferecendo uma ferramenta versátil para gerar diagramas relacionados à física.

Leia mais
(habr.com)
Desenvolvimento desenho automatizado

2025: Mais um ano brutal para startups? Os dados sugerem que sim

2025-01-27
2025: Mais um ano brutal para startups? Os dados sugerem que sim

Dados sugerem que 2025 pode ser outro ano difícil para startups. 2024 viu um aumento significativo no fechamento de startups em comparação com 2023, com a Carta relatando um aumento de 25,6% para 966 fechamentos (empresas americanas clientes da Carta). A AngelList viu um aumento de 56,2% para 364 fechamentos. Esse aumento é atribuído às empresas superfinanciadas e supervalorizadas do boom de 2020-2021. Muitas tiveram dificuldades para obter mais financiamento após avaliações inflacionadas. Os especialistas apontam uma combinação de fatores: falta de dinheiro, falta de adequação entre produto e mercado e incapacidade de levantar mais capital devido à supervalorização anterior. A tendência deve continuar no primeiro semestre de 2025, diminuindo gradualmente depois disso.

Leia mais
(techcrunch.com)
Startup fracassos de startups crise de financiamento supervalorização

Arduboy em risco devido à guerra comercial EUA-China

2025-05-07
Arduboy em risco devido à guerra comercial EUA-China

O fundador da Arduboy, Kevin, enfrenta uma situação crítica devido ao aumento das tensões comerciais entre os EUA e a China. Altas tarifas tornam a venda da Arduboy nos EUA quase impossível, ameaçando a existência da empresa. Kevin está explorando várias opções, incluindo o envio internacional, a fabricação em outros países e a busca de subsídios governamentais, para navegar na crise. A mudança da empresa para a Europa ou Austrália, e a transição da gestão da comunidade, também estão em consideração. O futuro da Arduboy está em jogo.

Leia mais
(community.arduboy.com)
Hardware

CEO da Bluesky ironiza Zuckerberg com camiseta que esgota em minutos

2025-03-14
CEO da Bluesky ironiza Zuckerberg com camiseta que esgota em minutos

A CEO da Bluesky, Jay Graber, apareceu no SXSW vestindo uma camiseta com a frase em latim "Mundus sine Caesaribus" ("Um mundo sem Césares"), uma indireta sutil a Mark Zuckerberg, que anteriormente usou uma camiseta com a frase "Zuck ou nada". A camiseta, vendida para financiar o ecossistema de desenvolvedores da Bluesky, esgotou em 30 minutos. Isso destaca o modelo descentralizado e de código aberto da Bluesky, contrastando com a estrutura centralizada do Meta. A camiseta não é apenas uma rivalidade divertida; ela incorpora o compromisso da Bluesky com a autonomia do usuário e a contribuição do desenvolvedor.

Leia mais
(techcrunch.com)
Tecnologia

Microsoft cancela contratos de data centers, gerando preocupações sobre excesso de capacidade em IA

2025-02-24
Microsoft cancela contratos de data centers, gerando preocupações sobre excesso de capacidade em IA

De acordo com a TD Cowen, a Microsoft cancelou alguns contratos de data centers nos EUA, levantando preocupações sobre um possível superinvestimento em capacidade de computação para IA. Embora a Microsoft mantenha sua meta de gastos de US\$ 80 bilhões em infraestrutura para o ano fiscal, ela se recusou a comentar sobre os cancelamentos de contratos. Analistas sugerem que isso pode ser devido à mudança de cargas de trabalho para a Oracle, realocação de investimentos internos ou uma perspectiva mais cautelosa sobre a demanda por IA. Apesar disso, outras gigantes de tecnologia como Amazon, Google e Meta continuam fazendo grandes investimentos em infraestrutura de IA, destacando a intensa concorrência no setor.

Leia mais
(finance.yahoo.com)
Tecnologia

cURL e libcurl abandonam o Hyper

2024-12-22
cURL e libcurl abandonam o Hyper

Após quatro anos de experimento, o projeto cURL anunciou que está abandonando o uso da biblioteca Hyper baseada em Rust como backend HTTP. Apesar das vantagens de segurança de memória do Hyper e do suporte do Let's Encrypt, a falta de demanda do usuário e o envolvimento do desenvolvedor levaram à sua terminação. A equipe do cURL citou o alto custo de manutenção do código Hyper e o foco em melhorar e manter a base de código existente. Embora o experimento tenha falhado, o cURL ganhou experiência valiosa e melhorou suas capacidades de manipulação HTTP.

Leia mais
(daniel.haxx.se)
Desenvolvimento

A '8-bola' da Apollo: Disseccionando o Indicador de Atitude/Diretor de Voo do Módulo Lunar

2025-06-14
A '8-bola' da Apollo: Disseccionando o Indicador de Atitude/Diretor de Voo do Módulo Lunar

Este artigo mergulha no Indicador de Atitude/Diretor de Voo (FDAI) das missões lunares Apollo, um instrumento único com uma bola preta rotativa apelidada de '8-bola'. Ele explica meticulosamente o mecanismo engenhoso que permite que a '8-bola' gire em torno de três eixos (rolagem, arfagem, guinada) e o complexo sistema de servocontrole dentro do FDAI, incluindo síncronos, loops de servo, motor/tacómetros e amplificadores. O autor traça a história do FDAI, desde seu uso no avião-foguete X-15 e no caça F-4 até seu papel no módulo lunar Apollo e no simulador do ônibus espacial, destacando sua importância na história aeroespacial. Comparações são feitas entre o FDAI Apollo e o indicador ARU/11-A do F-4, revelando semelhanças e diferenças.

Leia mais
(www.righto.com)
Tecnologia instrumentação

O Túnel Submerso Mais Longo do Mundo: Ligando a Dinamarca e a Alemanha

2025-03-10
O Túnel Submerso Mais Longo do Mundo: Ligando a Dinamarca e a Alemanha

A Dinamarca e a Alemanha estão construindo o túnel submerso mais longo do mundo, o Fehmarnbelt Fixed Link, com previsão de abertura em 2029. Este túnel de 18 quilômetros reduzirá em mais da metade o tempo de viagem entre os dois países e se tornará o túnel rodoviário e ferroviário combinado mais longo do mundo. O projeto de mais de € 7 bilhões utiliza 89 seções maciças de concreto pré-fabricadas, cada uma pesando 73.000 toneladas. Apesar de algumas preocupações ambientais, o projeto deve trazer benefícios econômicos e ambientais significativos, impulsionando o transporte de carga e de passageiros e reduzindo as emissões de carbono.

Leia mais
(www.cnn.com)
Tecnologia túnel submerso Dinamarca Alemanha

Os Perigos da Pseudorandomicidade: Por que Você Precisa de Números Realmente Aleatórios para Segurança

2025-05-31
Os Perigos da Pseudorandomicidade: Por que Você Precisa de Números Realmente Aleatórios para Segurança

O RFC 4086 detalha a necessidade crítica de verdadeira aleatoriedade em sistemas de segurança. Depender de números pseudorandom deixa vulnerabilidades exploráveis por atacantes sofisticados que podem recriar o ambiente para quebrar esses números facilmente. O documento destaca as armadilhas do uso de fontes de baixa entropia ou técnicas tradicionais de geração de números pseudorandom, defendendo técnicas de verdadeira aleatoriedade de hardware, como a utilização de placas de som, unidades de disco rígido ou osciladores de anel. Ele também fornece estratégias de mitigação quando as soluções de hardware não estão disponíveis e ilustra o tamanho necessário dos números aleatórios para vários aplicativos.

Leia mais
(datatracker.ietf.org)
Tecnologia números aleatórios

Compilação de Desenvolvimento de Jogos: De Pixel Art a Frameworks de Engine

2025-01-31

O Hacker News apresentou recentemente uma série de recursos relacionados ao desenvolvimento de jogos. De melhoradores de pixel art e o lançamento oficial do SDL 3 a engenharia reversa do anti-cheat do Call of Duty, os desenvolvedores compartilharam ferramentas, técnicas e insights. As postagens destacaram listas selecionadas de blogs de desenvolvimento de jogos, complementos de depuração do motor Godot e o framework de engine de código aberto Tramway SDK. Discussões também abordaram filosofias de design de jogos, como a definição de jogos "aconchegantes", e apresentaram editores de níveis como o LDtk. Esses recursos abrangem toda a gama do desenvolvimento de jogos, de código e arte a ferramentas e teoria, oferecendo um rico acervo para desenvolvedores de jogos.

Leia mais
(gamedev.city)
Jogos agregação de recursos ferramentas de código aberto

Forma do nariz humano e adaptação climática: uma investigação genética

2025-01-30
Forma do nariz humano e adaptação climática: uma investigação genética

Um estudo publicado na PLOS Genetics investiga se as variações na forma do nariz humano em diferentes populações estão ligadas à adaptação climática. Os pesquisadores usaram comparações Qst-Fst para analisar a diferenciação genética dos traços da forma do nariz e marcadores neutros. Eles descobriram que a largura das narinas correlaciona-se com a temperatura e a umidade absoluta, sugerindo que alguns aspectos da forma do nariz podem ter sido impulsionados pela adaptação local ao clima. No entanto, o estudo reconhece que essa é uma explicação simplificada, possivelmente envolvendo outros fatores como a seleção sexual.

Leia mais
(journals.plos.org)
Tecnologia Genética Humana Adaptação Climática Forma do Nariz

Melhore sua higiene digital: um guia prático para segurança online

2025-03-19
Melhore sua higiene digital: um guia prático para segurança online

Este guia abrangente descreve etapas práticas para melhorar sua segurança digital, cobrindo tudo, desde gerenciadores de senhas essenciais e chaves de segurança de hardware até técnicas mais avançadas, como criptografia de disco, VPNs e monitoramento de rede. O autor enfatiza a importância de evitar dispositivos 'inteligentes', usar navegadores e mecanismos de busca que priorizam a privacidade e proteger informações pessoais. Ele compartilha suas ferramentas e estratégias preferidas, incluindo 1Password, YubiKey, Signal e navegador Brave, com o objetivo de capacitar os leitores a construir uma vida digital mais segura e mitigar os riscos de violações de dados e ataques cibernéticos.

Leia mais
(karpathy.bearblog.dev)
Tecnologia ferramentas de segurança

Simplicidade Vence: A Essência de um Bom Design de Software

2025-03-07

Este artigo argumenta que um bom design de software não se trata de recursos de linguagem complexos ou arquiteturas sofisticadas, mas sim de eliminar potenciais modos de falha. O autor usa anedotas pessoais para ilustrar como remover componentes redundantes, centralizar o gerenciamento de estado e usar sistemas robustos minimiza riscos e aumenta a confiabilidade. A mensagem principal é que um bom design é simples e confiável, evitando recursos extravagantes e focando na resolução de problemas. O autor cita o servidor web Unicorn como um excelente exemplo dessa abordagem.

Leia mais
(www.seangoedecke.com)
Desenvolvimento Modos de Falha

Mais de 100 Livros Que Moldaram um Século de Ciência

2025-02-04

A seção "Estante de Cientistas" da revista American Scientist, de novembro-dezembro de 1999, destacou mais de 100 livros que influenciaram significativamente um século de progresso científico. A lista inclui biografias (autobiografia de Darwin, aventuras de Feynman), guias de campo, monografias sobre conceitos científicos importantes (mecânica quântica, teoria dos jogos), histórias da ciência, exames do próprio método científico e explorações da interação entre a ciência e vários aspectos da vida, incluindo a evolução da humanidade. Esta coleção selecionada oferece uma perspectiva multifacetada sobre a jornada da descoberta científica e a evolução do pensamento científico.

Leia mais
(web.mnstate.edu)
Diversos História da Ciência Livros Científicos Desenvolvimento Científico

Desastre de Wings Over Dallas: Falhas de Segurança em Shows Aéreos

2025-03-02
Desastre de Wings Over Dallas: Falhas de Segurança em Shows Aéreos

A colisão no show aéreo Wings Over Dallas em 2022, resultando em seis mortes, expôs falhas críticas de segurança. A dependência do chefe de voo Russell Royce na separação visual, negligenciando técnicas de separação processual estabelecidas, foi um fator chave. A investigação revelou um problema mais profundo na Força Aérea Comemorativa (CAF): uma cultura que aceita práticas arriscadas, decorrentes da confiança em pilotos experientes e da falta de protocolos formais. O acidente levou a reformas pela CAF e pela FAA, destacando a necessidade de uma cultura de segurança mais forte na comunidade de aviões militares e uma melhor supervisão de shows aéreos.

Leia mais
(admiralcloudberg.medium.com)
Tecnologia segurança de show aéreo acidente de aviação investigação NTSB

A Armadilha da Ética Empreendedora: Como a Cultura de Autoajuda Esgotou a América

2025-05-10
A Armadilha da Ética Empreendedora: Como a Cultura de Autoajuda Esgotou a América

Em 'Crie Seu Próprio Emprego', Erik Baker analisa como a ética empreendedora onipresente na América se transformou em um sistema explorador. Traçando a ascensão da psicologia positiva e seu emaranhamento com o espírito empreendedor, Baker revela como essa cultura vincula a realização pessoal ao sucesso profissional, levando ao excesso de trabalho e ao esgotamento. Ao examinar criticamente as teorias da psicologia positiva e o ethos empreendedor, o autor expõe como essa cultura mascara práticas trabalhistas exploradoras, deixando os trabalhadores vulneráveis e desamparados. Isso, em última análise, cria um ciclo vicioso de esgotamento e disfunção social.

Leia mais
(www.commonwealmagazine.org)
Startup psicologia positiva

Ren'Py 8.3.4 Lançado: Engine Open Source para Narrativas Interativas

2025-02-21

Ren'Py é um poderoso motor de visual novel de código aberto usado por milhares para criar histórias interativas para computadores e dispositivos móveis, abrangendo tanto visual novels quanto jogos de simulação de vida. Sua linguagem de script fácil de aprender e recursos de script Python permitem a criação eficiente de grandes visual novels e jogos de simulação complexos. A versão mais recente, Ren'Py 8.3.4, já está disponível, com suporte a documentação multilíngue. Os desenvolvedores oferecem vários canais de suporte, incluindo fóruns, Discord e IRC.

Leia mais
(www.renpy.org)
Desenvolvimento engine de jogo

Adolescente cria compilador Pascal quase completo para Transputer em 1993

2025-02-05
Adolescente cria compilador Pascal quase completo para Transputer em 1993

Em 1993, um autor de 14 anos, utilizando chips Transputer caros de seu pai, construiu com sucesso um compilador Pascal quase completo ao longo de vários meses. Isso envolveu dominar Pascal, princípios de compiladores e programação Transputer. O projeto começou com um montador, seguido pela portabilidade e melhoria de um compilador Tiny Pascal, culminando na autocompilação do compilador. Essa façanha demonstra o talento e a persistência do autor em programação, ao mesmo tempo em que destaca o potencial e as limitações do Transputer na computação paralela.

Leia mais
(nanochess.org)
Desenvolvimento

Tempo POSIX: Não é o que você pensa

2024-12-26

Este artigo desmascara um equívoco comum sobre o tempo POSIX (tempo Unix): não é simplesmente o número de segundos desde 1º de janeiro de 1970, 00:00:00. Devido aos segundos bissextos, o número de segundos em um dia UTC não é uma constante de 86.400, levando a discrepâncias entre o tempo POSIX e o número real de segundos. O artigo examina o impacto dos segundos bissextos nos cálculos de tempo e recomenda alternativas como CLOCK_MONOTONIC ou TAI para medição de tempo precisa, evitando erros causados por segundos bissextos.

Leia mais
(aphyr.com)
Desenvolvimento tempo POSIX segundos bissextos

Estudante da Columbia suspenso por vazamento de audiência disciplinar, não por ferramenta de trapaça com IA

2025-03-27
Estudante da Columbia suspenso por vazamento de audiência disciplinar, não por ferramenta de trapaça com IA

A Universidade Columbia suspendeu um aluno por vazar um registro de audiência disciplinar e fotos de funcionários da Columbia para as redes sociais, não por criar uma ferramenta de IA que ajuda candidatos a empregos a trapacearem em entrevistas técnicas. O aluno, Chungin "Roy" Lee, criou o Interview Coder, uma ferramenta de IA que custa US$ 60 por mês e projeta US$ 2 milhões em receita anual. Embora Lee tenha argumentado que as entrevistas técnicas estão fora da alçada da universidade, Columbia considerou suas ações como desonestidade acadêmica, resultando em uma suspensão de um ano. Lee planeja se mudar para São Francisco.

Leia mais
(www.businessinsider.com)
Desenvolvimento Desonestidade Acadêmica

Perdido no Mar: 13 Dias de Sobrevivência Contra Todas as Probabilidades

2025-05-24
Perdido no Mar: 13 Dias de Sobrevivência Contra Todas as Probabilidades

Em busca de escapar de uma vida monótona, o autor abandona seu emprego e embarca em uma viagem de pesca. Uma tempestade vira seu barco, deixando-o à deriva em um bote salva-vidas por 13 dias. Ele enfrenta fome, hipotermia, desespero e o terror da morte, mas encontra paz interior e redenção. Resgatado por um navio cargueiro que passava, ele se reúne com sua família, mas seu futuro permanece incerto. Esta história emocionante explora a sobrevivência, a autodescoberta e a resiliência do espírito humano diante de probabilidades avassaladoras.

Leia mais
(www.theatlantic.com)
Diversos sobrevivência no mar

Montana Fecha a Lacuna do Corretor de Dados: Uma Vitória para a Privacidade

2025-05-16
Montana Fecha a Lacuna do Corretor de Dados: Uma Vitória para a Privacidade

Montana tornou-se o primeiro estado a fechar com sucesso a 'brecha do corretor de dados', uma prática que permite que a aplicação da lei contorne mandados comprando informações pessoais de corretores de dados. A nova lei, SB 282, proíbe os órgãos governamentais de usar fundos para obter dados de comunicações eletrônicas, informações de dispositivos de rastreamento, dados de transações financeiras, informações pseudônimas ou 'dados sensíveis' (incluindo detalhes sobre vida pessoal, afiliação religiosa, estado de saúde, dados biométricos e geolocalização precisa). Embora a aplicação da lei ainda possa obter informações por meio de mandados ou consentimento, essa legislação representa um passo significativo para proteger a privacidade dos cidadãos e estabelece um precedente para que outros estados sigam.

Leia mais
(www.eff.org)
Tecnologia

Do Zero ao (Quase) Herói: Dois Anos na Vida de um Indie Hacker

2025-06-01
Do Zero ao (Quase) Herói: Dois Anos na Vida de um Indie Hacker

Um estudante de Ciência da Computação grego, sonhando em construir 'o próximo Facebook', embarca em uma jornada de indie hacking. Ao longo de dois anos, ele experimenta várias estratégias, de uma abordagem 'espalhada' de construir rapidamente vários produtos a focar em alguns projetos principais, experimentando inúmeros fracassos e alguns sucessos. Ele encontra uma gama diversificada de clientes, de golpistas a estrelas pornográficas, recebe elogios de figuras influentes e até consegue uma oferta de emprego de uma startup do MIT. No fim das contas, ele aprende a importância da seleção de mercado e decide focar em B2B. Esta é uma narrativa crua e honesta de sua jornada empreendedora, enfatizando que a melhor maneira de aprender é fazendo, não lendo livros.

Leia mais
(www.alexwest.co)
Startup

LWN Enfrenta Desafios Econômicos: Queda nas Assinaturas e Desafios Futuros

2025-05-03

O LWN.net, um site de notícias focado em Linux e software livre, está enfrentando dificuldades econômicas. Desde março, houve uma queda significativa em novas assinaturas e renovações, correlacionadas com os ataques da administração dos EUA ao sistema global de comércio e a subsequente recessão econômica. Embora não represente uma ameaça existencial imediata, esta é uma preocupação séria. O LWN está respondendo apertando o cinto e apelando aos leitores para que se inscrevam ou incentivem seus empregadores a estabelecer assinaturas em grupo para garantir a continuidade da operação. A inflação e o sentimento anti-EUA representam potenciais desafios adicionais. Apesar dessas dificuldades, o LWN continua comprometido em fornecer conteúdo de alta qualidade e expressa gratidão pelo apoio de longa data de seus leitores.

Leia mais
(lwn.net)
Tecnologia queda econômica

Modelo de raciocínio de IA de menos de US$ 50 rivaliza com concorrentes de ponta

2025-02-06
Modelo de raciocínio de IA de menos de US$ 50 rivaliza com concorrentes de ponta

Pesquisadores de Stanford e da Universidade de Washington treinaram um modelo de raciocínio de IA, s1, por menos de US$ 50 usando computação em nuvem. O desempenho do s1 se compara a modelos de ponta como o o1 da OpenAI e o R1 da DeepSeek em tarefas de matemática e codificação. A equipe utilizou a destilação de conhecimento, usando o Google Gemini 2.0 Flash Thinking Experimental como modelo professor e um conjunto de dados de 1.000 perguntas cuidadosamente selecionadas. Essa replicação de baixo custo levanta questões sobre a commoditização da IA e, segundo relatos, deixou os grandes laboratórios de IA aborrecidos.

Leia mais
(techcrunch.com)
IA destilação de conhecimento

Git-Bug: Revolucionando o gerenciamento de problemas em repositórios Git

2025-05-14
Git-Bug: Revolucionando o gerenciamento de problemas em repositórios Git

Git-Bug é uma ferramenta de gerenciamento de problemas independente, distribuída e offline-first que incorpora problemas, comentários e muito mais como objetos diretamente em seu repositório Git (não em arquivos!), permitindo push/pull para vários remotos. Aproveitando a arquitetura descentralizada do Git, permite trabalho offline e sincronização perfeita, com recursos de busca ultrarrápidos. Integra-se a plataformas como GitHub e GitLab por meio de bridges e oferece interfaces flexíveis (CLI, TUI, web). Criado por Michael Muré e mantido por uma comunidade vibrante, é lançado sob a licença GPLv3 ou posterior.

Leia mais
(github.com)
Desenvolvimento Gerenciamento de Problemas

Cruise demite quase metade de sua força de trabalho e muda para veículos autônomos pessoais

2025-02-04
Cruise demite quase metade de sua força de trabalho e muda para veículos autônomos pessoais

A empresa de veículos autônomos Cruise anunciou que está demitido quase 50% de sua força de trabalho, incluindo o CEO e outros altos executivos, e encerrando suas operações de robotaxi. As partes restantes da Cruise serão integradas à empresa matriz General Motors (GM), que concentrará seus recursos em melhorar seu sistema de assistência ao motorista mãos-livres, Super Cruise, e eventualmente lançar veículos autônomos pessoais. As demissões seguem uma mudança de estratégia da GM em dezembro para reduzir custos e se concentrar no desenvolvimento de veículos autônomos pessoais. Os funcionários afetados receberão pacotes de indenização e apoio profissional.

Leia mais
(techcrunch.com)
Tecnologia

Cerveja, Carvão e as Origens Inesperadas da Revolução Industrial Britânica

2025-02-16
Cerveja, Carvão e as Origens Inesperadas da Revolução Industrial Britânica

Este artigo desvenda uma história pouco conhecida da Revolução Industrial Britânica: a tecnologia alemã de economia de combustível. Na metade do século XVI, a Alemanha, enfrentando escassez de madeira, inventou a 'arte de economia de madeira', um processo de aquecimento indireto que reduziu drasticamente o consumo de combustível. Essa tecnologia, por meio de uma série de patentes e transferências tecnológicas, acabou chegando à Inglaterra. Inicialmente adotada por cervejarias por sua rentabilidade, ela inesperadamente impulsionou o uso em larga escala do carvão. As cervejarias de Londres lideraram essa adoção, levando a um aumento na demanda por carvão, o que por sua vez impulsionou a mineração de carvão e indústrias relacionadas, transformando, em última análise, a paisagem energética da Grã-Bretanha e lançando as bases para a Revolução Industrial.

Leia mais
(www.ageofinvention.xyz)
Tecnologia Revolução Industrial transferência de tecnologia revolução energética

Pyrefly e ty: Dois novos verificadores de tipos Python baseados em Rust surgem

2025-05-27

Na PyCon 2025, o Pyrefly do Meta e o ty do Astral, dois novos verificadores de tipos Python baseados em Rust, fizeram sua estreia. O Pyrefly visa ser mais rápido, mais portátil e mais capaz do que seu predecessor, enquanto se envolve ativamente com a comunidade de código aberto. O ty enfatiza uma "garantia gradual", significando que a remoção de anotações de tipo não deve causar erros de tipo. Ambos utilizam o Ruff para análise de AST e oferecem integração de linha de comando e IDE. Benchmarks mostraram o ty geralmente mais rápido, mas eles diferem na inferência de tipo e no tratamento de erros. O Pyrefly é mais agressivo, potencialmente detectando mais erros, mas também introduzindo mais falsos positivos; o ty é mais conservador, priorizando a compatibilidade do código. Ambos estão em alfa inicial, e sua evolução futura é emocionante de se observar.

Leia mais
(blog.edward-li.com)
Desenvolvimento Verificador de Tipos
1 2 … 372 373 374 376 378 379 380 … 595 596