lan_connect.py

def lan_connect(spi, cs, reset):
    import network
    nic = network.WIZNET5K(spi,cs,reset)
    while not nic.isconnected():
        pass
    nic.active(True)
    nic.ifconfig('dhcp')
    print('network config:', nic.ifconfig())
    
def main():
    import socket
    from machine import Pin
    lan_connect(pyb.SPI(2), Pin('PB12'), Pin('PC8'))
    addr = socket.getaddrinfo('towel.blinkenlights.nl', 23)[0][-1]
    s = socket.socket()
    s.connect(addr) 
    while True:
        data = s.recv(1500)
        print(data.decode('utf-8'), end='')

http://blog.boochow.com/article/455072433.html