18:51:15 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #scheme 18:51:15 18:51:15 -!- names: ccl-logbot paulh peddie djcb jcowan MrFahrenheit ijp pdlogan1 ysph Fare mmc2 carleastlund kms_ evhan jewel blueadept emporas pumpkin gravicappa pnkfelix wbooze TippenEin masm jproctor gigamonkey pdlogan jonrafkind HG` rdd bohanlon bgs100 ckrailo mippymoe myu2 nteon stamourv aisa stepnem homie aspect DrDuck aoh alaricsp rasterbar muks kniu z0d screwtape Modius bokr rrenaud dsmith dfeuer Adamant Nisstyre kennyd Caleb-- preflex pygospa DT`` araujo bzzbzz 18:51:15 -!- names: snorble_ peterhil elly cpach cataska kanru pothos pjb skeptical_p lisppaste frieza_ mornfall Nshag dRbiG twem2 ada2358 pantsd leppie LN^off pchrist futilius incubot ski__ bremner martinhex offby1 chrissbx pearle xale yosafbridge vk0 jimrees_ Hal9k nowhere_man Euthydemus` cmatei levi` nome` rmrfchik gabot emma qsun Adrinael rrm3 poucet weinholt ray askhader eno ineiros tonyg shardz aidalgol borism rudybot clog sloyd Jafet arbscht eli mmc qebab Pepe_ 18:51:15 -!- names: mario-goulart C-Keen docgnome incandenza klutometis tizoc Kovensky _p4bl0 MapMan Khisanth specbot zilt duncanm Obfuscate DerGuteMoritz ASau` rotty ve Leonidas gnomon oivindbi lechon amoe minion joast zbigniew inimino tessier snarkyboojum felipe samth aking timchen1` foof jeff___ alexgordon certaint1 ecraven sjamaan fds elf danking cky simontwo_ ozzloy antoszka Zol jeapostrophe 18:51:15 -niven.freenode.net:#scheme- [freenode-info] channel trolls and no channel staff around to help? please check with freenode support: http://freenode.net/faq.shtml#gettinghelp 18:55:57 arcfide [1000@c-69-136-5-227.hsd1.in.comcast.net] has joined #scheme 18:56:22 tronador_ [~guille@190.145.89.146] has joined #scheme 18:58:38 -!- kms_ [~kms@x-134-84-72-108.uofm-secure.wireless.umn.edu] has quit [Quit: kms_] 18:59:07 ToxicFrog [~ToxicFrog@2607:f2c0:f00e:500:222:15ff:fe91:b24c] has joined #scheme 19:08:40 -!- mippymoe [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 246 seconds] 19:11:26 kms_ [~kms@x-134-84-72-108.uofm-secure.wireless.umn.edu] has joined #scheme 19:12:35 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 19:13:42 -!- kms_ [~kms@x-134-84-72-108.uofm-secure.wireless.umn.edu] has quit [Client Quit] 19:14:25 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 19:18:28 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 246 seconds] 19:21:21 kms_ [~kms@x-134-84-72-108.uofm-secure.wireless.umn.edu] has joined #scheme 19:26:50 -!- screwtape [~pete@cpe-173-171-151-211.tampabay.res.rr.com] has quit [Read error: Operation timed out] 19:28:05 femtoo [~femto@95-89-249-242-dynip.superkabel.de] has joined #scheme 19:28:39 githogori [~githogori@216.207.36.222] has joined #scheme 19:31:20 -!- kms_ [~kms@x-134-84-72-108.uofm-secure.wireless.umn.edu] has quit [Quit: kms_] 19:37:45 kms_ [~kms@x-134-84-72-108.uofm-secure.wireless.umn.edu] has joined #scheme 19:38:37 -!- rdd [~rdd@c83-250-51-60.bredband.comhem.se] has quit [Ping timeout: 260 seconds] 19:39:40 -!- kms_ [~kms@x-134-84-72-108.uofm-secure.wireless.umn.edu] has quit [Client Quit] 19:42:41 -!- ijp [~user@host86-163-223-21.range86-163.btcentralplus.com] has quit [Ping timeout: 240 seconds] 19:44:14 -!- masm [~masm@bl16-183-86.dsl.telepac.pt] has quit [Ping timeout: 276 seconds] 19:46:25 wbooze` [~levgue@xdsl-78-35-183-65.netcologne.de] has joined #scheme 19:46:37 acarrico [~acarrico@pppoe-68-142-62-150.gmavt.net] has joined #scheme 19:47:13 -!- wbooze` [~levgue@xdsl-78-35-183-65.netcologne.de] has quit [Remote host closed the connection] 19:47:51 -!- homie [~levgue@xdsl-78-35-172-43.netcologne.de] has quit [Ping timeout: 252 seconds] 19:48:13 -!- wbooze [~levgue@xdsl-78-35-172-43.netcologne.de] has quit [Ping timeout: 252 seconds] 19:54:33 jcowan: vanishing, i suppose, is the base ontological state for any given thing; since any thing exists far shorter than it doesn't, given the age of the universe, etc. 19:54:56 is that why unvanishing is so poetic? it tugs at me every time; and then i think of greek "aletheia:" unforgetting as truth. 19:55:17 every time you unvanish it's as though aristotle himself bestrode the scene. 20:02:04 -!- arcfide [1000@c-69-136-5-227.hsd1.in.comcast.net] has left #scheme 20:02:10 homie [~levgue@xdsl-78-35-183-65.netcologne.de] has joined #scheme 20:05:01 mippymoe [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 20:05:36 stis [~AndChat@host-95-194-7-164.mobileonline.telia.com] has joined #scheme 20:07:12 jcowan: what do you think about all these posts by Bob Harper? 20:13:25 -!- jewel [~jewel@196-210-187-25.dynamic.isadsl.co.za] has quit [Ping timeout: 246 seconds] 20:14:24 -!- femtoo [~femto@95-89-249-242-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 20:15:04 I've been commenting on them where I can. The main problem is that we live in different worlds: he is a mathematician sublime, and I am a hairy-eared engineering grunt. 20:15:05 -!- pdlogan1 [~patrick@174-25-37-137.ptld.qwest.net] has quit [Quit: Leaving.] 20:16:03 It's funny that he doesn't use his name anywhere on the blog: I only know who he is because of LtU. That doesn't matter in general, but he is taking a public posture as part of the vanguard of teaching CS at a major geekiversity, which seems to call for the use of a public identity. 20:18:26 jcowan, i think that's because he didn't bother -- he's not trying to hide who he is 20:18:47 How much bother is it? 20:19:18 i have no idea -- i've never used wordpress 20:22:00 What I meant was, it's tantamount to adding two words to some file somewhere. 20:26:19 that may be, i don't know 20:26:40 i would guess that he rather literally cares not at all about the opinions of people who don't already know who he is 20:27:17 -!- ckrailo [~ckrailo@208.86.167.249] has quit [Quit: Computer has gone to sleep.] 20:32:15 heh 20:35:37 -!- LN^off is now known as LN^^ 20:35:54 fantazo [~fantazo@178-191-171-32.adsl.highway.telekom.at] has joined #scheme 20:36:50 In which case I should probably stop posting comments. 20:37:14 that's up to you 20:37:28 if he doesn't care for comments, why publish it in the first place? 20:37:44 but i think he sees you posting comments as an opportunity to (a) correct you, or (b) find people who agree with him 20:38:10 duncanm, there's lots of reasons to publish things that you aren't going to change your opinion about 20:38:36 to pick an obvious example, political candidates publish pamphlets about why they should be elected 20:49:18 -!- fantazo [~fantazo@178-191-171-32.adsl.highway.telekom.at] has quit [Remote host closed the connection] 20:53:01 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has left #scheme 20:53:37 Kleif [~Kleif@116.Red-88-24-212.staticIP.rima-tde.net] has joined #scheme 20:53:55 wbooze [~levgue@xdsl-78-35-183-65.netcologne.de] has joined #scheme 20:58:56 -!- aisa [~aisa@173-10-243-253-Albuquerque.hfc.comcastbusiness.net] has quit [Read error: Connection reset by peer] 20:59:07 aisa [~aisa@173-10-243-253-Albuquerque.hfc.comcastbusiness.net] has joined #scheme 21:01:41 rageous [~Adium@76.164.12.8] has joined #scheme 21:03:45 ckrailo [~ckrailo@utdpat242007.utdallas.edu] has joined #scheme 21:06:36 He is moderating comments and so far all of mine have gone through. 21:10:26 -!- HG` [~HG@dslb-188-109-170-222.pools.arcor-ip.net] has quit [Quit: HG`] 21:12:52 jcowan: His name is given on the "About" page on the blog. 21:13:06 That said, afaict, he's really just trolling. 21:20:19 How, exactly, is he trolling? 21:20:43 in the   sense! 21:21:57 carleastlund: See his responses, for instance, on this post: http://existentialtype.wordpress.com/2011/03/15/teaching-fp-to-freshmen/ 21:23:26 He makes absolutely no attempt at clarifying his statements, instead posting gems like "When I find the time." and "You're joking, right?" 21:24:42 Okay, not what I would call trolling, but I certainly can't defend it as a good practice. 21:25:53 But a troll, in general, need not care about or be honest about the original statement. It is there to cause controversy. I think Bob cares deeply about his statement, and doesn't care whether there's controversy that ensues or not. 21:26:49 Hence his lack of attempt to clarify. I would guess that as far as he is concerned, his statement is made as well as it needs to be. 21:27:28 I think he cares deeply about his original statement, but doesn't know why, and so chooses to defend it using whatever retorts prove most convenience... which is the place where most trolls I've met fall into. 21:27:49 His posts are basically the equivalent of mimicking one's opponent in a debate with a whiny girl-like voice. 21:28:14 Okay, we clearly have different definitions of "troll", I think that's the only difference in perspective. 21:28:35 I can accept that. 21:33:05 -!- rageous [~Adium@76.164.12.8] has quit [Ping timeout: 240 seconds] 21:33:49 rageous [~Adium@76.164.12.8] has joined #scheme 21:40:21 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 21:43:27 tippenein__ [~chatzilla@nat-portal-160-94-47-16.uofm.wireless.umn.edu] has joined #scheme 21:46:52 -!- Caleb-- [thedude@109.66.200.217] has quit [Ping timeout: 248 seconds] 21:48:17 -!- MrFahrenheit [~RageOfTho@users-144-19.vinet.ba] has quit [Ping timeout: 240 seconds] 21:52:53 -!- pnkfelix [~Adium@c-68-82-87-23.hsd1.pa.comcast.net] has quit [Quit: Leaving.] 21:55:07 -!- aisa [~aisa@173-10-243-253-Albuquerque.hfc.comcastbusiness.net] has quit [Quit: aisa] 21:56:13 rpg [~rpg@173.157.73.14] has joined #scheme 22:06:59 -!- rageous [~Adium@76.164.12.8] has quit [Quit: Leaving.] 22:10:33 -!- ckrailo [~ckrailo@utdpat242007.utdallas.edu] has quit [Quit: Computer has gone to sleep.] 22:13:10 -!- paulh [~paulh@3-12-ftth.onsnetstudenten.nl] has quit [Disconnected by services] 22:14:10 masm [~masm@bl16-183-86.dsl.telepac.pt] has joined #scheme 22:14:37 -!- tronador_ [~guille@190.145.89.146] has quit [Quit: tronador_] 22:15:07 paulh_ [~paulh@3-12-ftth.onsnetstudenten.nl] has joined #scheme 22:17:51 -!- mmc2 [~michal@82.148.210.75] has quit [Read error: Operation timed out] 22:17:52 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Read error: Connection reset by peer] 22:21:20 ckrailo [~ckrailo@utdpat242007.utdallas.edu] has joined #scheme 22:24:00 -!- rpg [~rpg@173.157.73.14] has quit [Quit: rpg] 22:26:34 nilg` [~user@77.70.2.229] has joined #scheme 22:30:15 copumpkin [~pumpkin@17.101.89.204] has joined #scheme 22:30:15 -!- copumpkin [~pumpkin@17.101.89.204] has quit [Changing host] 22:30:15 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 22:30:16 -!- mippymoe [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 246 seconds] 22:30:17 -!- pumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Ping timeout: 252 seconds] 22:30:59 -!- ckrailo [~ckrailo@utdpat242007.utdallas.edu] has quit [Remote host closed the connection] 22:31:23 ckrailo [~ckrailo@utdpat242007.utdallas.edu] has joined #scheme 22:32:42 -!- stis [~AndChat@host-95-194-7-164.mobileonline.telia.com] has quit [Ping timeout: 276 seconds] 22:35:15 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 22:37:59 -!- tippenein__ [~chatzilla@nat-portal-160-94-47-16.uofm.wireless.umn.edu] has quit [Ping timeout: 252 seconds] 22:41:32 drdo` [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 22:43:40 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Ping timeout: 250 seconds] 22:45:26 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Ping timeout: 250 seconds] 22:48:05 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 22:56:22 -!- Fare [~Fare@63.115.78.49] has quit [Ping timeout: 260 seconds] 22:56:45 -!- kennyd [~kennyd@78-1-168-65.adsl.net.t-com.hr] has quit [Ping timeout: 276 seconds] 22:56:49 dlila [~dlila@CPE0014d1c9243c-CM001bd71cede2.cpe.net.cable.rogers.com] has joined #scheme 22:57:03 -!- DT`` [~Feeock@net-93-149-53-188.cust.dsl.teletu.it] has quit [Ping timeout: 240 seconds] 23:01:55 kennyd [~kennyd@78-1-172-124.adsl.net.t-com.hr] has joined #scheme 23:08:04 -!- nilg` [~user@77.70.2.229] has quit [Remote host closed the connection] 23:08:37 -!- Kleif [~Kleif@116.Red-88-24-212.staticIP.rima-tde.net] has quit [Quit: Kleif] 23:09:58 DT`` [~Feeock@net-93-149-37-76.cust.dsl.teletu.it] has joined #scheme 23:15:52 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 23:20:05 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 23:28:57 -!- ysph [~user@75-143-85-15.dhcp.aubn.al.charter.com] has quit [Ping timeout: 252 seconds] 23:32:17 githogori_ [~githogori@216.207.36.222] has joined #scheme 23:34:18 githogori__ [~githogori@216.207.36.222] has joined #scheme 23:34:27 -!- githogori__ [~githogori@216.207.36.222] has quit [Client Quit] 23:37:12 -!- carleastlund [~cce@gotham.ccs.neu.edu] has quit [Quit: carleastlund] 23:38:04 copumpkin [~pumpkin@209-6-232-56.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has joined #scheme 23:38:04 -!- copumpkin [~pumpkin@209-6-232-56.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has quit [Changing host] 23:38:04 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 23:38:37 githogori__ [~githogori@216.207.36.222] has joined #scheme 23:38:39 -!- githogori [~githogori@216.207.36.222] has quit [Quit: Leaving] 23:38:40 -!- githogori__ [~githogori@216.207.36.222] has quit [Read error: Connection reset by peer] 23:38:42 -!- githogori_ [~githogori@216.207.36.222] has quit [Quit: Leaving] 23:39:08 githogori [~githogori@216.207.36.222] has joined #scheme 23:40:46 -!- gravicappa [~gravicapp@ppp91-77-179-241.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 23:41:01 -!- pdlogan [~patrick@174-25-37-137.ptld.qwest.net] has left #scheme 23:47:18 -!- ckrailo [~ckrailo@utdpat242007.utdallas.edu] has quit [Quit: Computer has gone to sleep.] 23:48:05 augiedoggie [~cpr@unaffiliated/cpr420] has joined #scheme 23:58:34 mippymoe [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme