Categoria: Notícias da internet

Verificação formal de segurança do microkernel seL4 para a arquitetura AArch64 finalizada

Concluído o trabalho de verificação formal matemática da confiabilidade e segurança do microkernel seL4 em sistemas com arquitetura de conjunto de instruções AArch64. A verificação consiste em uma prova matemática da correção do seL4, que indica conformidade total com as especificações definidas em linguagem formal. A prova de confiabilidade permite o uso do seL4 em sistemas críticos baseados em processadores ARM64, que exigem alto nível de segurança e […]

Lançamento do PorteuX 2.8, uma distribuidora baseada no Slackware

Uma nova versão do distribuidor PorteuX 2.8 foi lançada, baseado no Slackware e desenvolvido sob a influência dos projetos Slax e Porteus. Entre as características do PorteuX, destacam-se os ambientes pré-configurados baseados nas interfaces de usuário Cinnamon, COSMIC, GNOME, KDE, LXDE, LXQt, MATE e Xfce, habilitação de aceleração de hardware para processamento de arquivos multimídia em GPUs Intel, AMD e NVIDIA, e boot no modo Live em 3 […]

Cliente RDP preparado para KolibriOS

Foi publicado o RDPClient para o sistema operacional KolibriOS, escrito em assembly. O Kos-32 baseado no GCC-5.4.0 foi utilizado como ferramenta de cross-compilation. Para a implementação de um canal criptografado, foi utilizada a biblioteca BearSSL, compilada estaticamente. Considerando as limitações do próprio KolibriOS e suas ferramentas, o desenvolvimento foi realizado na linguagem C com chamadas diretas ao sistema operacional. O assistente de IA Claude foi utilizado durante o desenvolvimento. Funcionalidades implementadas: redimensionamento dinâmico […]

Novas versões Wine 11.16 e Proton 11.0-2

Foi publicado o lançamento experimental da implementação aberta da API Win32 — Wine 11.16. Desde o lançamento da versão 11.15, 35 relatórios de bug foram fechados e 244 alterações foram realizadas. As mudanças mais importantes incluem: a implementação do suporte para aceleração de hardware na decodificação de vídeo usando VA-API. O motor Wine Mono foi atualizado para a versão 11.3.0, que adicionou suporte para compilações na arquitetura ARM64. O Wine Mono é uma distribuição […]

A China está fazendo a transição de algumas agências governamentais do Windows para o Linux

De acordo com a publicação Bloomberg, o Ministério da Segurança Pública da China ordenou que várias agências governamentais abandonem o uso do Windows 10 China Government Edition em favor de distribuições Linux chinesas, como Kylin OS e UOS (UnionTech OS baseado em Deepin). A migração está sendo realizada como parte de uma estratégia de longo prazo para substituir tecnologias estrangeiras nas instituições governamentais por soluções abertas desenvolvidas […]

Para manter a distribuição Omarchy, foi criada a organização Omacom Foundation, que recebeu 8 milhões de dólares.

David Heinemeier Hansson, criador do framework web Ruby on Rails, anunciou a criação da organização sem fins lucrativos Omacom Foundation, que garantirá a longo prazo a manutenção do desenvolvimento da distribuição Omarchy Linux e da infraestrutura associada. A organização também gerenciará marcas comerciais, garantirá financiamento e apoiará projetos abertos e desenvolvedores dos quais a distribuição depende. O orçamento inicial da organização é de […]

O projeto Pine64 suspendeu a produção de dispositivos Linux.

O projeto Pine64, que se dedica à criação de dispositivos abertos, anunciou a suspensão da produção de dispositivos Linux devido à escassez de memória DRAM e de unidades eMMC. A possibilidade de retomar a produção será reavaliada na segunda metade do próximo ano e dependerá dos preços de DRAM e eMMC. O estoque dos dispositivos PineNote e PineTab2 já produzidos acabará em cerca de 3 meses. A produção de dispositivos com microcontroladores, como […]

Lançamento do Rust 1.98.0. Comprometimento do pacote arrayref, que conta com 53 milhões de downloads em 3 meses.

Foi lançado o Rust 1.98, uma linguagem de programação desenvolvida inicialmente pelo projeto Mozilla, atualmente mantida sob a tutela da organização sem fins lucrativos Rust Foundation. A linguagem enfoca a segurança em operações de memória e fornece recursos para alcançar alta paralelismo na execução de tarefas, sem utilizar coletor de lixo e runtime (o runtime se limita à inicialização básica e à manutenção da biblioteca padrão). Os métodos de trabalho […]

Lançamento do gerenciador de pacotes RPM 6.1.

Foi publicado o lançamento do gerenciador de pacotes RPM 6.1, que será utilizado na versão da distribuição Fedora Linux 45. O projeto é desenvolvido pela Red Hat e é utilizado em distribuições como RHEL, Fedora, SUSE, openSUSE, ALT Linux, Rosa Linux, OpenMandriva, Mageia, PCLinuxOS e Tizen. O código do projeto é distribuído sob as licenças GPLv2 e LGPLv2. Na preparação do RPM 6.1, foi feita a transição para um novo […]

O projeto SoLo está desenvolvendo um carregador de bibliotecas so para programas Linux totalmente estáticos.

Foi lançado o projeto SoLo, que permite que programas Linux completamente estáticos, compilados com musl, carreguem bibliotecas glibc instaladas no sistema através de dlopen(), especialmente drivers de GPU. Normalmente, a compilação estática é incompatível com drivers Vulkan e OpenGL, que as distribuições fornecem como bibliotecas compartilhadas compiladas com glibc. SoLo remove essa limitação utilizando um carregador ELF embutido no executável e uma camada que traduz […]

Candidato a lançamento do X.Org Server 26.1 disponível

Foi lançado o candidato a lançamento do X.Org Server 26.1.0 (xorg-server 26.0.99.901), que marcou o início da fase de testes antes do lançamento final estável. O X.Org Server 26.1.0 será o primeiro grande lançamento do X.Org Server em cinco anos — a última versão significativa 21.1 foi lançada em 2021. As principais mudanças em relação ao xorg-server 21.1: remoção do sistema de construção autoconf/automake em favor do suporte […]

Foi lançado o KDE Gear 26.08, um conjunto de aplicativos do projeto KDE

Após quatro meses de desenvolvimento, é apresentada a atualização consolidada de agosto dos aplicativos KDE Gear 26.08, desenvolvidos pelo projeto KDE. O conjunto inclui lançamentos de mais de 250 programas, bibliotecas e plugins. Informações sobre a disponibilidade de versões Live com os novos lançamentos de aplicativos podem ser encontradas nesta página. Novas versões de aplicativos individuais podem ser baixadas dos repositórios Flathub e SnapCraft. As mudanças mais notáveis: no gerenciador de arquivos […]

Compre hospedagem confiável para sites com proteção contra DDoS, servidores VPS VDS 🔥 Compre hospedagem confiável para sites com proteção contra DDoS, servidores VPS VDS | ProHoster