Categoria: Notícias da internet

Mistral lançou Leanstral, um modelo de IA para vibe-coding com verificação formal

A Mistral AI apresentou um grande modelo de linguagem Devstral, voltado para o desenvolvimento de aplicativos (vibe-coding) e otimizado para verificação formal de código. Espera-se que o Devstral possa ser utilizado para criar assistentes de IA que não apenas gerem código, mas também garantam que ele não contenha erros. O Devstral se tornou o primeiro modelo aberto a suportar a linguagem de programação Lean 4 e seu respectivo […]

FFmpeg 8.1 está disponível com suporte a JPEG XS, novas funcionalidades para som 3D e aceleração via Vulkan

Após sete meses de desenvolvimento, o pacote multimídia FFmpeg 8.1 foi lançado, incluindo um conjunto de aplicativos e uma coleção de bibliotecas para operações em diversos formatos multimídia (gravação, conversão e decodificação de formatos de áudio e vídeo). O pacote é escrito em C e distribuído sob as licenças LGPL e GPL. Entre as mudanças no FFmpeg 8.1: foram adicionados um parser, codificador e decodificador, assim como um empacotador e desempacotador de contêineres multimídia […]

Um segundo fabricante contratante de chips de 7 nm surgirá na China

Até agora, a SMIC foi considerada a líder da indústria de semicondutores chinesa, tanto em volume de produção de chips quanto na relevância das tecnologias utilizadas. Para as necessidades da Huawei, esta empresa estabeleceu a produção de chips de 7 nm há alguns anos, sem acesso a equipamentos ocidentais de ponta. Seu caminho será seguido pelo Hua Hong Group, se os rumores estiverem corretos. Segundo […]

Lançamento do sistema de arquivos Bcachefs 1.37.0

Kent Overstreet publicou o lançamento do sistema de arquivos Bcachefs 1.37.0. O lançamento abrange dois pacotes: bcachefs-kernel-dkms com o módulo do núcleo, construído utilizando o sistema DKMS (Dynamic Kernel Module Support), e bcachefs-tools com a ferramenta executável em espaço de usuário bcachefs, que implementa comandos para criação (mkfs), montagem, recuperação e verificação do sistema de arquivos. Os pacotes estão montados para Debian, Ubuntu, Fedora, openSUSE, NixOS e […]

Radar aberto AERIS-10, capaz de rastrear objetos a uma distância de até 20 km

O projeto AERIS-10 desenvolveu uma estação de radar modular totalmente aberta, que pode ser usada como plataforma para experimentar com antenas de matriz em fase, compressão de pulsos, processamento Doppler de sinais e rastreamento de alvos. Esquemas completos, diagramas de placas de circuito, listas de componentes (BOM), arquivos Gerber para fabricação de placas, modelos para impressão 3D e descrições de componentes de hardware em Verilog/VHDL são distribuídos sob a licença […]

Lançamento do CSMWrap 3.0, uma camada para inicialização em modo BIOS em sistemas com UEFI

Foi lançado o CSMWrap 3.0, um desenvolvimento de um aplicativo EFI para inicializar sistemas que só suportam plataformas legadas com BIOS, em ambientes modernos baseados em UEFI. O CSMWrap recria o ambiente de BIOS em sistemas UEFI (classe 3), empacotando a montagem do SeaBIOS na forma de um módulo CSM (Módulo de Suporte de Compatibilidade) e executando como um aplicativo EFI externo. O código do projeto é escrito em linguagem C e é distribuído […]

A Poco em breve apresentará poderosos smartphones Poco X8 Pro e X8 Pro Max

A marca Poco em breve lançará uma nova série de smartphones Poco X8, incluindo os modelos Poco X8 Pro e Poco X8 Pro Max, que são posicionados como a «geração flagship de alto desempenho». Ao contrário da série anterior, o Poco X8 inclui o modelo Pro Max com uma tela maior, que se destaca pela funcionalidade mais avançada entre os dispositivos da série. A novidade foi criada para gamers que buscam […]

A ASRock lançou uma placa-mãe LGA 1700 com três diferentes slots DIMM

A contínua escassez de chips de memória leva muitos a abordagens criativas para comprar memória a preços razoáveis. Nesse contexto, a ASRock apresentou sua nova placa-mãe que suporta memória DDR4 e DDR5, permitindo que os usuários escolham a opção ideal. O modelo H610M Combo II é uma placa-mãe com soquete LGA 1700, que suporta processadores Intel de 12ª geração […]

ZXC 0.9.0

Foi lançado a versão 0.9.0 da biblioteca e utilitário de console multiplataforma ZXC (github.com), que implementa compressão assimétrica multithread de alto desempenho sem perda, otimizada para recursos de jogos, firmwares e pacotes de aplicativos. O formato foi desenvolvido sob o princípio de «escrever uma vez, ler muitas vezes» (WORM). Ao contrário de codecs como LZ4, o ZXC sacrifica a velocidade de compressão em prol da máxima largura de banda na descompressão. A velocidade declarada […]

lexbor 2.7.0

Em 13 de março, após quatro meses de desenvolvimento, foi lançada a versão 2.7.0 da biblioteca de alto desempenho lexbor, destinada ao processamento de formatos HTML 5 e CSS. As principais características do projeto incluem: suporte total às especificações WHATWG, W3C e Unicode: HTML5, CSS Syntax 3, Encoding, URL, Unicode Standard Annex #15, Unicode Technical Standard #46, Punycode, Unicode Standard Annex #15, Unicode Technical Standard #46; manipulação de elementos […]

Lançamento do River 0.4.0 com separação dos gerenciadores de composição e janelas

Foi lançado o gerenciador de composição River 0.4.0, que, ao contrário de outros gerenciadores de composição baseados no protocolo Wayland, utiliza uma arquitetura modular com a separação do gerenciador de janelas em um programa distinto. No River, os gerenciadores de janelas são plugáveis e os usuários podem escolher de acordo com seu gosto. O código do projeto é escrito na linguagem Zig e é distribuído sob a licença GPLv3. O River pode ser executado […]

Lançamento da orquestradora IPTV multimodal IP_TV-Neon 0.8.2

Foi lançada uma nova versão do IP_TV-Neon, uma ferramenta leve para gerenciar e buscar conteúdo IPTV. O projeto se destaca pelo uso de modelos de linguagem avançados para navegar pelas listas de canais. O IP_TV-Neon oferece uma interface de console minimalista e rápida, livre de funcionalidades excessivas dos centros de mídia padrão e otimizada para sistemas com discos lentos e processadores antigos (o desenvolvimento foi feito em um iMac de 2014 rodando CachyOS). […]

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