#qi-hardware on 2014-05-14 — irc logs at freenode.irclog.whitequark.org

2013-02-28 15:16 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

01:10 michael_lee has joined #qi-hardware

01:41 porchao has quit [Quit: Leaving...]

01:45 dos1 has quit [Ping timeout: 258 seconds]

01:46 porchao has joined #qi-hardware

03:47 michael_lee has quit [Remote host closed the connection]

04:03 mth has quit [Ping timeout: 255 seconds]

04:50 unclouded has quit [Ping timeout: 252 seconds]

04:52 unclouded has joined #qi-hardware

05:14 wolfspraul has joined #qi-hardware

05:49 michael_lee has joined #qi-hardware

06:14 mth has joined #qi-hardware

06:22 rz2k has joined #qi-hardware

06:26 valhalla_ has joined #qi-hardware

06:28 valhalla has quit [Ping timeout: 258 seconds]

06:33 mth_ has joined #qi-hardware

06:33 mth has quit [Ping timeout: 276 seconds]

06:57 jekhor has joined #qi-hardware

07:19 sb0 has joined #qi-hardware

07:22 xiangfu has joined #qi-hardware

07:56 pcercuei has joined #qi-hardware

08:20 dos1 has joined #qi-hardware

08:31 xiangfu has quit [Remote host closed the connection]

09:16 jow_laptop has joined #qi-hardware

10:23 mth_ has quit [Remote host closed the connection]

10:23 mth_ has joined #qi-hardware

10:31 mth_ is now known as mth

10:36 dos1 has quit [Ping timeout: 258 seconds]

11:33 jluis has quit [Ping timeout: 245 seconds]

11:46 jluis has joined #qi-hardware

12:11 pcercuei has quit [Ping timeout: 240 seconds]

12:12 pcercuei has joined #qi-hardware

12:37 atommann has joined #qi-hardware

12:41 rz2k has quit [Remote host closed the connection]

13:12 viric has quit [Ping timeout: 276 seconds]

13:16 viric has joined #qi-hardware

13:20 jekhor has quit [Ping timeout: 252 seconds]

13:48 michael_lee has quit [Quit: Ex-Chat]

15:28 jekhor has joined #qi-hardware

15:43 michael_lee has joined #qi-hardware

15:55 pcercuei has quit [Ping timeout: 252 seconds]

16:20 atommann has quit [Ping timeout: 255 seconds]

16:24 jekhor has quit [Ping timeout: 240 seconds]

16:33 atommann has joined #qi-hardware

16:40 pcercuei has joined #qi-hardware

16:42 atommann has quit [Quit: Leaving]

16:42 porchao has quit [Quit: Leaving...]

16:46 dos1 has joined #qi-hardware

17:02 _whitelogger has joined #qi-hardware

17:04 porchao has joined #qi-hardware

17:12 jekhor has joined #qi-hardware

18:19 jluis has quit [Ping timeout: 245 seconds]

18:32 jluis has joined #qi-hardware

18:34 jekhor has quit [Ping timeout: 276 seconds]

19:15 michael_lee has quit [Quit: Ex-Chat]

20:12 jekhor has joined #qi-hardware

21:10 tumdedum has quit [Remote host closed the connection]

21:16 <whitequark> kyak: wow, this is interesting: http://kframework.org

21:16 <whitequark> they even have formal semantics for PHP (!!) http://www.phpsemantics.org/

21:24 tumdedum has joined #qi-hardware

21:41 wolfspraul has quit [Quit: leaving]

21:45 sb0 has quit [Quit: Leaving]

22:30 dandon has quit [Ping timeout: 264 seconds]

22:30 jekhor has quit [Ping timeout: 240 seconds]

22:54 dandon has joined #qi-hardware

23:00 pcercuei has quit [Quit: dodo]

23:20 porchao has quit [Quit: Leaving...]

23:25 porchao has joined #qi-hardware