Como instalar a IDE TLA+ Toolbox no Linux via Flatpak

Como instalar a IDE TLA+ Toolbox no Linux via Flatpak

Se você quer programa usando TLA+ no sistema do pinguim, conheça e veja como instalar a IDE TLA+ Toolbox no Linux via Flatpak.

Leia mais

Novo sistema promete rodar o Microsoft Office no Ubuntu 20.04 sem WINE ou nuvem

Novo sistema promete rodar o Microsoft Office no Ubuntu 20.04 sem WINE ou nuvem

Hayden Barnes anunciou que um novo sistema promete rodar o Microsoft Office no Ubuntu 20.04 sem WINE ou nuvem. Confira os detalhes dessa novidade.

Leia mais

Como instalar a IDE STM32 STM32CubeIDE no Linux via Flatpak

Como instalar a IDE STM32 STM32CubeIDE no Linux via Flatpak

Se você usa STM32 e quer programar nessa plataforma, conheça e veja como instalar a IDE STM32 STM32CubeIDE no Linux via Flatpak.

Leia mais

MacBook Pro de 13 lançado com SSD com o dobro de armazenamento

MacBook Pro de 13 lançado com SSD com o dobro de armazenamento

A Apple lançou o MacBook Pro de 13 lançado com SSD com o dobro de armazenamento e outras melhorias. Confira os detalhes dessa atualização.

Leia mais

Inkscape 1.0 lançado após três anos em produção

Inkscape 1.0 lançado após três anos em produção

E após três anos em produção, finalmente foi lançado o Inkscape 1.0. Confira as novidades dessa importante atualização e veja como instalar no Linux.

Leia mais