Categoria Blog
Foi lançada a versão 8.12 (última versão menor disponível no momento da redação da notícia – 8.12.1) da ferramenta de prova interativa de teoremas Coq (galo). O Coq inclui uma linguagem de programação com tipos dependentes, Gallina (galinha), que se baseia na teoria do cálculo de construções. O sistema Coq permite desenvolver tanto provas de teoremas verificáveis computacionalmente quanto programas junto com provas de conformidade à especificação. Na nova versão, houve […]
Em 15 de novembro, a Purism começou a enviar os telefones Librem-5 da versão de produção em massa com o codinome Evergreen. O envio é dividido em etapas. Primeiro, os dispositivos para os primeiros compradores serão enviados. O envio dos dispositivos para os últimos compradores está previsto para o primeiro trimestre de 2021. As características do dispositivo mudaram pouco. Entre as últimas mudanças, destaca-se a bateria aumentada para 4500 mAh. Evergreen não […]
O Firefox 83 está disponível. O motor JS SpiderMonkey recebeu uma grande atualização com o codinome Warp, resultando em melhorias na segurança, desempenho (aumento de até 15%), responsividade das páginas (até 12%) e redução no uso de memória (8%). Por exemplo, o tempo de carregamento do Google Docs foi acelerado em aproximadamente 20%. O modo 'Somente HTTPS' foi considerado pronto o suficiente (agora leva em conta endereços da rede local, onde o uso de HTTPS muitas vezes […]
O repositório youtube-dl, anteriormente bloqueado no GitHub, foi desbloqueado em 16 de novembro após a EFF (Electronic Frontier Foundation, Fundação dos Limites Eletrônicos) apresentar argumentos contra a alegação de violação do DMCA [PDF]. O GitHub (pertencente à Microsoft) afirmou que decidiu que a alegação não estava de acordo com sua política de remoção sob o DMCA. Fonte: linux.org.ru
Essa história começou em 2012, quando Matthew Miller, então novo líder do projeto Fedora, recebeu uma tarefa simples à primeira vista: permitir que os clientes da nuvem AWS pudessem facilmente implantar servidores baseados em Fedora. A tarefa técnica de criar imagens adequadas para uso em infraestrutura de nuvem foi resolvida rapidamente. Assim, tanto o qcow quanto […]
Foi lançada uma nova versão do programa para gerenciamento de roteamento dinâmico em Linux/BSD, o Frrouting! As alterações disponíveis incluem: Suporte a BFD com perfis, suporte para configuração de TTL mínimo, suporte BGP RPKI em VRF, correções no BGP Graceful Restart, adição de uma opção para exibição detalhada de rotas, adição da opção de configuração maximum-prefix force bestpath-routes para configuração no vizinho, comando bgp shutdown message MSG… Adicionada a possibilidade […]
OCCT é o único núcleo atual de modelagem geométrica de código aberto disponível, distribuído sob uma licença livre. Open CASCADE Technology é uma parte importante de projetos como FreeCAD, KiCAD, Netgen, gmsh, CadQuery, pyOCCT e outros. A versão OCCT 7.5.0 inclui mais de 400 melhorias e correções em relação à versão anterior 7.4.0. A versão Open CASCADE […]
AndroWish — um porto nativo tcl/tk com funcionalidades para a plataforma Android, permitindo a execução de scripts sem alterações ou com mínimas modificações. Também estão sendo desenvolvidos comandos específicos para Android, para interação com o sistema e dispositivos: borg — gerenciamento e interação com o Android; ble — para interação com dispositivos bluetooth; rfcomm, usbserial — transmissão de dados via bluetooth e usb-serial. Inclui o necessário para […]
A Microsoft lançou o .NET 5 para sistemas operacionais Windows, macOS, Linux. O .NET 5 é uma plataforma open source unificada, integrando .NET Core, .NET Framework, Xamarin e Mono, permitindo usar uma única base de código para soluções em todas as plataformas, incluindo Android e iOS. A performance foi significativamente melhorada e o consumo de memória reduzido. Novas bibliotecas em C# 9 e F# 5, saída de código […]
"Todos os clientes de email são péssimos. Este aqui é apenas menos pior." foi atualizado para a versão 2.0. O aumento radical no número da versão principal deve-se mais à introdução de várias mudanças que quebram a compatibilidade retroativa do que ao surgimento de novas funcionalidades (que são poucas em comparação com versões anteriores). Ao usar o comando <attach-file> para visualizar e selecionar múltiplos anexos, a saída […]
https://www.linux.org.ru/images/19295/1500px.jpg O lançamento da nova versão do editor visual de gráficos multiplataforma Qt Visual Graph Editor 0.6.1 ocorreu. Esta versão se destaca por uma integração mais profunda com o pacote GraphViz, em particular: gráficos no formato DOT agora são carregados diretamente através do dot, permitindo uma melhor execução da análise; chamada aos motores de layout do GraphViz diretamente da interface gráfica do aplicativo, com visualização instantânea dos resultados. Além disso, do aplicativo […]
Em 7 de novembro de 2020, foi lançado o editor de fontes gratuito FontForge, em homenagem ao 20º aniversário do projeto, originalmente chamado de PfaEdit. O autor do projeto é George W. Williams, que até 2012 foi o principal (e quase único) desenvolvedor. Os pacotes binários da edição do 20º aniversário do FontForge (também conhecido como FontForge 20201107) vêm com uma tela especial em comemoração ao aniversário. A mudança mais significativa […]