TLA+ é uma linguagem de programação de alto nível utilizada para modelar programas e sistemas complexos, simultâneos e distribuídos.

As cinco distribuições de Linux mais indicadas para uso geral
O especialista em código aberto, Jack Wallen indica as versões mais “amigáveis” do sistema operativo.

Check Point descobre nova campanha de ciberataques que aproveita vulnerabilidades de Linux
Até ao momento, os investigadores puderam rastrear 185 sistemas infetados, e detetaram mais de 380 tentativas de ataque adicionais.

Dica Linux: como utilizar o comando Shred
Nesta dica Linux, analisamos o comando shred, que remove ficheiros de um disco de uma forma mais eficiente que o comando rm (remove).

Dica Linux: Como utilizar o comando lsblk
Na dica Linux de hoje, vamos olhar para o comando lsblk, que disponibiliza informação útil sobre dispositivos bloqueados.

Dica Linux: o comando apropos
Na Dica Linux de hoje analisamos o comando apropos. Este comando ajuda a localizar e identificar comandos, mesmo quando não se lembra dos seus nomes. ...

Dica Linux: como funciona o comando dstat
Na Dica Linux de hoje, analisamos o comando dstat que disponibiliza informação importante sobre os recursos do sistes - utilização de CP, actividade d...

Dica Linux: como utilizar o comando od
Na dica Linux de hoje, olhamos para o comando "od", que permite ver o conteúdo dos ficheiros.

Dicas Linux: Como usar o comando top
Neste episódio de "Dica Linux é explorado o comando "top", uma ferramenta utilizada para examinar o desempenhos em sistemas Linux. Quer perceber por q...

Dica Linux: como usar o comando mtr
Neste episódio da Dica Linux é explorado o comando mtr e o que nos pode dizer sobre conexões em rede. Mtr significa "my traceroute" e apresenta o cami...