#elliottcable on 2016-06-11 — irc logs at freenode.irclog.whitequark.org

2016-02-03 07:10 purr changed the topic of #elliottcable to: a

01:09 eligrey has joined #elliottcable

01:20 eligrey_ has joined #elliottcable

01:24 eligrey has quit [Ping timeout: 250 seconds]

02:27 eligrey_ is now known as eligrey

03:43 eligrey has quit [Quit: Leaving]

04:05 Sorella has quit [Quit: Connection closed for inactivity]

04:27 eligrey has joined #elliottcable

05:02 eligrey has quit [Quit: Leaving]

06:03 Guest23972 has quit [Changing host]

06:03 Guest23972 has joined #elliottcable

06:06 Guest23972 is now known as nuck

06:55 alexgordon has joined #elliottcable

07:36 alexgordon has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

08:40 alexgordon has joined #elliottcable

09:45 trolling has quit [Read error: Connection reset by peer]

09:46 prophile has joined #elliottcable

09:53 prophile has quit [Read error: Connection reset by peer]

09:54 prophile has joined #elliottcable

10:36 thealphanerd has quit [Quit: farewell for now]

10:37 thealphanerd has joined #elliottcable

13:25 prophile has quit [Read error: Connection reset by peer]

13:26 prophile has joined #elliottcable

13:35 Sorella has joined #elliottcable

13:45 prophile has quit [Read error: Connection reset by peer]

13:46 prophile has joined #elliottcable

14:50 prophile has quit [Read error: Connection reset by peer]

14:51 prophile has joined #elliottcable

14:54 prophile has quit [Read error: Connection reset by peer]

14:55 prophile has joined #elliottcable

15:52 <incomprehensibly> pikajude: have you looked at agda?

16:38 bluebie has joined #elliottcable

17:19 <alexgordon> sup incomprehensibly

17:20 <alexgordon> ec?

17:38 alexgordon has quit [Quit: Textual IRC Client: www.textualapp.com]

18:15 alexgordon has joined #elliottcable

19:05 brr has quit [Ping timeout: 260 seconds]

19:07 brr has joined #elliottcable

19:21 alexgordon has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

19:35 Sorella has quit [Quit: Connection closed for inactivity]

19:42 <pikajude> incomprehensibly: not for very long

19:59 meowrobot has quit [Remote host closed the connection]

20:10 bluebie has quit [Quit: Connection closed for inactivity]

20:23 meowrobot has joined #elliottcable

20:28 <ec> alexgordon: bad morning/day

20:29 <ec> ugh he left

20:29 <ec> how do you not have a bouncer or persistent client in 2016

21:35 danpalmer has joined #elliottcable

22:25 <jfhbrook> it's kind of a pain in the ass to do yourself

22:25 <jfhbrook> it's easier and cheaper to do irc than it is to set up a bnc

22:25 <jfhbrook> and there's going to be a slice of people that are willing to do one but not the other