DocScrutinizer05 changed the topic of #qi-hardware to: Copyleft hardware - http://qi-hardware.com | hardware hackers join here to discuss Ben NanoNote, atben / atusb 802.15.4 wireless, and other community driven hw projects | public logging at http://en.qi-hardware.com/irclogs and http://irclog.whitequark.org/qi-hardware
michael_lee has joined #qi-hardware
porchao has quit [Quit: Leaving...]
dos1 has quit [Ping timeout: 258 seconds]
porchao has joined #qi-hardware
michael_lee has quit [Remote host closed the connection]
mth has quit [Ping timeout: 255 seconds]
unclouded has quit [Ping timeout: 252 seconds]
unclouded has joined #qi-hardware
wolfspraul has joined #qi-hardware
michael_lee has joined #qi-hardware
mth has joined #qi-hardware
rz2k has joined #qi-hardware
valhalla_ has joined #qi-hardware
valhalla has quit [Ping timeout: 258 seconds]
mth_ has joined #qi-hardware
mth has quit [Ping timeout: 276 seconds]
jekhor has joined #qi-hardware
sb0 has joined #qi-hardware
xiangfu has joined #qi-hardware
pcercuei has joined #qi-hardware
dos1 has joined #qi-hardware
xiangfu has quit [Remote host closed the connection]
jow_laptop has joined #qi-hardware
mth_ has quit [Remote host closed the connection]
mth_ has joined #qi-hardware
mth_ is now known as mth
dos1 has quit [Ping timeout: 258 seconds]
jluis has quit [Ping timeout: 245 seconds]
jluis has joined #qi-hardware
pcercuei has quit [Ping timeout: 240 seconds]
pcercuei has joined #qi-hardware
atommann has joined #qi-hardware
rz2k has quit [Remote host closed the connection]
viric has quit [Ping timeout: 276 seconds]
viric has joined #qi-hardware
jekhor has quit [Ping timeout: 252 seconds]
michael_lee has quit [Quit: Ex-Chat]
jekhor has joined #qi-hardware
michael_lee has joined #qi-hardware
pcercuei has quit [Ping timeout: 252 seconds]
atommann has quit [Ping timeout: 255 seconds]
jekhor has quit [Ping timeout: 240 seconds]
atommann has joined #qi-hardware
pcercuei has joined #qi-hardware
atommann has quit [Quit: Leaving]
porchao has quit [Quit: Leaving...]
dos1 has joined #qi-hardware
_whitelogger has joined #qi-hardware
porchao has joined #qi-hardware
jekhor has joined #qi-hardware
jluis has quit [Ping timeout: 245 seconds]
jluis has joined #qi-hardware
jekhor has quit [Ping timeout: 276 seconds]
michael_lee has quit [Quit: Ex-Chat]
jekhor has joined #qi-hardware
tumdedum has quit [Remote host closed the connection]
<whitequark> kyak: wow, this is interesting: http://kframework.org
<whitequark> they even have formal semantics for PHP (!!) http://www.phpsemantics.org/
tumdedum has joined #qi-hardware
wolfspraul has quit [Quit: leaving]
sb0 has quit [Quit: Leaving]
dandon has quit [Ping timeout: 264 seconds]
jekhor has quit [Ping timeout: 240 seconds]
dandon has joined #qi-hardware
pcercuei has quit [Quit: dodo]
porchao has quit [Quit: Leaving...]
porchao has joined #qi-hardware