Skip to content

Instantly share code, notes, and snippets.

View a-yiorgos's full-sized avatar

Yiorgos Adamopoulos a-yiorgos

View GitHub Profile
@a-yiorgos
a-yiorgos / microkanren.py
Created March 5, 2018 15:12 — forked from cheery/microkanren.py
Microkanren tryout.
import itertools
# Microkanren programs are 'goal' functions that take in a
# state and return a stream of states that satisfy the given goal.
# I am interested about microkanren because it presents a logic
# programming kernel which fits into a dynamically typed language.
# Anything could go as a variable, but I wanted names for variables.
class Variable(object):
@a-yiorgos
a-yiorgos / wipy.md
Last active November 18, 2016 08:47
WiPy initial configuration
  • https://www.pycom.io/solutions/py-boards/wipy1/
  • Connect VIN (3.6 - 5.5V) and GND.
  • Search for a WiFi network that starts with wipy-wlan.
  • With your PC connect using www.wipy.io as password.
  • In order to get to the Python REPL, telnet to 192.168.1.1 (user=micro, password=python).
  • The file system is accessible via FTP on the same IP address abd with the same credentials.