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 o restante do texto “Como instalar a IDE TLA+ Toolbox no Linux via Flatpak”
Dia: 5 de maio de 2020
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.
Se você usa STM32 e quer programar nessa plataforma, conheça e veja como instalar a IDE STM32 STM32CubeIDE no Linux via Flatpak.
Leia o restante do texto “Como instalar a IDE STM32 STM32CubeIDE no Linux via Flatpak”
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 o restante do texto “MacBook Pro de 13 lançado com SSD com o dobro de armazenamento “
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 o restante do texto “Inkscape 1.0 lançado após três anos em produção”