| 00:00.06 | jxqz | https://en.wikipedia.org/wiki/Algebraic_structure |
| 00:09.05 | *** join/#utah NoCoolName_Tom (~NoCoolNam@64.124.34.2) |
| 00:19.58 | *** join/#utah tristanbob (~Tristan@oalug/member/tristanbob) |
| 00:53.08 | *** join/#utah jalbretsen (~jalbretse@c-174-52-67-72.hsd1.ut.comcast.net) |
| 01:07.40 | *** join/#utah VanHelsing (~vanhelsin@77.75.104.219) |
| 01:13.15 | *** join/#utah RyanE (~RyanE@rberick.dsl.xmission.com) |
| 01:18.07 | harleypig | is seriously bummed ou t. |
| 01:18.26 | harleypig | I can't go to Damian Conway's presentation tomorrow. *sigh* |
| 01:19.36 | *** join/#utah harleypig_ (~harleypig@67.199.188.115) |
| 01:58.05 | *** join/#utah smcquay (~smcquay@17.193.12.131) |
| 02:10.42 | *** join/#utah kendsnyder (~kendsnyde@71-35-210-250.slkc.qwest.net) |
| 02:20.20 | *** join/#utah VanHelsing (~vanhelsin@77.75.104.219) |
| 02:33.17 | *** join/#utah macnewbold (~macnewbol@c-98-202-181-28.hsd1.ut.comcast.net) |
| 02:37.20 | *** join/#utah mrpull (~jpollmann@65-130-29-183.slkc.qwest.net) |
| 02:58.10 | levi | jxqz: Nope, monoid is not monad, but monad is a monoid. |
| 02:59.38 | levi | harleypig: Bummer. :( |
| 03:01.44 | levi | jxqz: From 'Categories for the Working Mathematician': "All told, a monad in X is just a monoid in the category of endofunctors of X, with product x replaced by composition of endofunctors and unit set by the identity endofunctor." |
| 03:10.19 | eightyeight | who's the sllug president? still marc? |
| 03:14.17 | levi | jxqz: Monoids are used quite a bit in Haskell, too. Especially monoidal functors. |
| 03:15.04 | levi | a.k.a. applicative functors |
| 03:33.12 | *** join/#utah HumanCell (~Humancell@207.224.214.130) |
| 03:43.01 | *** join/#utah smcquay_ (~smcquay@173-164-185-125-SFBA.hfc.comcastbusiness.net) |
| 03:43.43 | *** join/#utah smcquay (~smcquay@173-164-185-125-SFBA.hfc.comcastbusiness.net) |
| 04:05.26 | *** join/#utah dremex (~dremex@c-67-182-251-77.hsd1.ut.comcast.net) |
| 05:14.49 | Tene | Hopefully in Haskell 2014, Applicative will actually be a superclass of Monad. |
| 05:14.57 | *** join/#utah HumanCell (~Humancell@207.224.214.130) |
| 06:43.34 | levi | Well, at least it is trivial to do the instance declaration for a Monad's Applicative. |
| 07:10.16 | jxqz | levi: what is a functor in this context? |
| 07:10.35 | jxqz | is it just another name for a morphism in category theory? |
| 07:11.42 | jxqz | harleypig_: do you need a babysitter or something? |
| 07:17.42 | levi | jxqz: In category theory, a functor maps (from one category to another) both the objects and the arrows in a way that preserves their structure. |
| 07:17.54 | levi | So it's a kind of morphism. |
| 07:18.53 | levi | The 'endofunctors of X' are the morphisms from X to X, and that class of functors also forms a category which is known as the category of natural transformations on X. |
| 07:27.31 | jxqz | so you're talking about 2-categories |
| 07:28.13 | jxqz | the structure defines the objects and morphisms |
| 07:29.04 | jxqz | or else you find yourself with some intuitive notion of 'isomorphic' which must necessarily be self-referential |
| 07:29.20 | jxqz | or 'what does equality really mean' |
| 07:49.10 | *** join/#utah levi (~user@c-24-10-225-212.hsd1.ut.comcast.net) |
| 07:49.51 | levi | Freak network weirdness. :P |
| 07:50.23 | Q_Continuum | Instead of anything else you could come to DEFCON. |
| 07:50.53 | levi | In Haskell, a functor is represented as a data type constructor (the object morphism) and a function fmap (the arrow morphism). The data type constructor for a functor F t maps the type t into F t and the fmap function for a functor F lifts a function (a -> b) into a (F a -> F b) function. |
| 07:50.59 | Q_Continuum | Discover *real* equality. Unless you're a Goon or a Speaker you pay the same rate. |
| 07:51.19 | Q_Continuum | Gov't, kid, vendor, journalist...all pay $180 cash at the door. |
| 10:06.01 | *** join/#utah peno (~irc4me@c-76-23-34-158.hsd1.ut.comcast.net) |
| 10:11.06 | *** join/#utah fadein (~Erik@c-67-161-246-186.hsd1.ut.comcast.net) |
| 10:38.19 | harleypig_ | jxqz: no ... I have to drive to Oregon to get my son. |
| 12:39.58 | *** join/#utah HumanCell1 (~Humancell@207.224.214.130) |
| 13:59.40 | *** join/#utah opapo (~quassel@204.113.97.235) |
| 14:04.26 | *** join/#utah keldwud (~marcus@209.63.136.134) |
| 14:04.27 | *** join/#utah keldwud (~marcus@unaffiliated/keldwud) |
| 14:15.24 | *** join/#utah mahelious (~mahelious@50-198-180-125-static.hfc.comcastbusiness.net) |
| 14:18.56 | *** join/#utah keldwud (~marcus@209.63.136.134) |
| 14:18.56 | *** join/#utah keldwud (~marcus@unaffiliated/keldwud) |
| 14:29.39 | skrike | youtah: http://i.imgur.com/AVU09gX.jpg |
| 14:32.06 | keldwud | I'm sorry, every time I see youtah, I hear this in my head (possibly NSFW due to language): http://youtu.be/2VdNYcPZyHc?t=1m35s |
| 14:32.42 | skrike | haha nice |
| 14:33.51 | keldwud | does that happen to anyone else? or just me? |
| 14:34.04 | keldwud | I need just a sound clip of Ice Cube saying "I'm youtah!" |
| 14:34.10 | skrike | not with that name, but with lots of others. |
| 14:34.20 | keldwud | "I got multiple ****es" |
| 14:34.50 | keldwud | but yeah, that's what I hear in my head anytime I come into the channel and see your nick, youtah |
| 14:35.02 | keldwud | I do that with a lot of nicks if I can associate them with a song or a sound |
| 14:37.02 | mahelious | funny, this is what i think of every time I see youtah (possibly NSFW due to awesome): http://www.youtube.com/watch?v=cGh4S1LqDnI |
| 14:37.44 | keldwud | haha! |
| 14:37.47 | keldwud | I remember that video |
| 14:37.51 | keldwud | is that the provo rapper? |
| 14:38.06 | keldwud | I'm still waiting for that thing to go viral |
| 14:38.16 | keldwud | it's a volcano, waiting to erupt |
| 14:38.36 | *** join/#utah mrpull (~jpollmann@216.51.56.98) |
| 14:42.09 | mahelious | i think it's gone as viral as it ever will. after 3 years its already feeling nostalgic. |
| 14:42.46 | keldwud | sometimes they sit for a while before somebody like RWJ picks it up |
| 14:43.03 | keldwud | he did cover some other horrible white rapper once before |
| 14:43.16 | keldwud | *suburban white |
| 14:57.16 | *** join/#utah HumanCell (~Humancell@207.224.214.130) |
| 14:57.57 | *** join/#utah keldwud (~marcus@209.63.136.134) |
| 14:57.58 | *** join/#utah keldwud (~marcus@unaffiliated/keldwud) |
| 14:58.21 | *** join/#utah mrpull (~jpollmann@216.51.56.98) |
| 15:00.39 | *** join/#utah vantastic (~vantastic@199.16.150.186) |
| 15:04.39 | *** join/#utah smcquay (~smcquay@17.193.12.131) |
| 15:08.18 | *** join/#utah macnewbold (~macnewbol@66.219.204.98.provo.dynamic.broadweavenetworks.net) |
| 15:09.11 | *** join/#utah tiwula (~lane@70.89.246.241-Busname-UT.hfc.comcastbusiness.net) |
| 15:09.51 | *** join/#utah TimRiker (~TimRiker@bzflag/projectlead/TimRiker) |
| 15:09.51 | *** mode/#utah [+o TimRiker] by ChanServ |
| 15:11.20 | *** join/#utah kendsnyder (~kendsnyde@67.214.245.39) |
| 15:20.15 | *** join/#utah dremex_work_ (~kerry@71.37.95.86) |
| 15:40.39 | *** join/#utah VanHelsing (~vanhelsin@77.75.104.219) |
| 15:44.11 | *** join/#utah mrpull1 (~jpollmann@216.51.56.98) |
| 15:57.18 | *** join/#utah jalbretsen (~jalbretse@sonic.itransact.com) |
| 16:16.09 | *** join/#utah undertakingyou (~undertaki@danix.eaerich.com) |
| 16:34.30 | *** join/#utah mrpull (~jpollmann@216.51.56.98) |
| 16:53.51 | *** join/#utah utlemming (~ben@75-171-219-191.hlrn.qwest.net) |
| 17:00.12 | *** join/#utah vantastic (~vantastic@199.16.150.186) |
| 17:13.14 | skrike | pashdownL yeah, no go on century link vdsl with xm. |
| 17:14.10 | Jayce^ | Sitting in training with Damian Conway, it's awesome... |
| 17:14.20 | Jayce^ | so folks should remember to come to the public event tonight |
| 17:14.29 | Jayce^ | saltlake.pm.org for more info |
| 17:18.45 | smcquay | has he announced a perl6 release date? |
| 17:20.52 | unum | http://krebsonsecurity.com/2013/07/mail-from-the-velvet-cybercrime-underground/ |
| 17:23.38 | *** join/#utah pdayton (~pjdayton@67.21.63.152) |
| 17:23.59 | Jayce^ | smcquay: hey, you can use perl6, just pick which VM you want :) |
| 17:24.13 | Jayce^ | there was some fun jokes at state of the onion this year showing it on a few.. |
| 17:24.20 | Jayce^ | jvm vs .net vs moarVM etc |
| 17:26.48 | smcquay | so not christmas? |
| 17:27.34 | *** join/#utah smcquay (~smcquay@17.193.12.131) |
| 17:30.16 | levi | What's moarVM? |
| 17:32.22 | Migs | watching a webinar about using WoW in English classes |
| 17:32.26 | Migs | awesome |
| 17:32.31 | Migs | http://www.questboise.com/ |
| 17:33.42 | Jayce^ | levi: https://github.com/moarvm/moarvm |
| 17:33.48 | Jayce^ | an interesting project.. |
| 17:34.15 | Jayce^ | fun to see, not sure how far it will go, but interesting nonetheless |
| 17:34.49 | Jayce^ | smcquay: oh it's always still christmas.. basically 99% of the language exists, it's just a matter of which VM implementation you want/etc.. |
| 17:35.15 | Jayce^ | obviously damian is one of the best guys to ask about the reality of it, one of the language designers |
| 17:36.30 | levi | Is there anything particularly interesting about MoarVM aside from running perl? |
| 17:37.11 | *** join/#utah NoCoolName_Tom (~NoCoolNam@64.124.34.2) |
| 17:38.13 | Jayce^ | I haven't been able to dig in too much yet, it keeps sitting open on the side. I think activity level is one of the more interesting aspects to me at the moment |
| 17:38.26 | Jayce^ | too much on the plate |
| 17:38.57 | Jayce^ | obviously while I have interest, I'm less of a compiler geek |
| 17:39.05 | Jayce^ | well, VM in this case |
| 17:40.08 | levi | So far, I have not found a language VM much more interesting than LuaJIT. When I get time (hahaha) I want to study it very closely. |
| 17:41.23 | Jayce^ | the .Net perl6 was surprisingly fast (for perl6 current speed levels).. |
| 17:41.29 | Jayce^ | jvm of course had the nasty startup |
| 17:43.31 | Jayce^ | I'm just happy at the amount of perl6 that keeps coming down to the now frequent perl5 releases |
| 17:44.00 | levi | You should look at this: http://luajit.org/luajit.html |
| 17:44.41 | Jayce^ | saw that a bit ago, too many new things on the plate |
| 17:45.03 | levi | The entire VM compiles to 115Kb, 90Kb of which is the JIT. It's got incredibly low startup and memory overhead, and runs *extremely* fast. |
| 17:45.03 | Jayce^ | been playing with clojure more recently for my 'other language' time |
| 17:49.56 | levi | https://gist.github.com/spion/3049314 |
| 17:53.03 | levi | Lua is a cool little language, very practical, especially for embedding in other programs. But the language itself is not particularly interesting aside from being generally small and well-designed. LuaJIT, on the other hand, is *amazing*. |
| 17:53.42 | Jayce^ | yeah, I played with it in some game UI's, but not much beyond that |
| 18:00.33 | levi | LuaJIT's only real weakness compared to other VMs like V8 right now is its garbage collector, but Mike Pall has a design for a new one written up on the LuaJIT wiki and is waiting on a sponsor for it. |
| 18:24.35 | jlp_znc | "I have never killed a man, but I have read many obituaries with great pleasure." - Clarence Darrow |
| 18:39.29 | youtah | http://i.imgur.com/OpoDYna.jpg |
| 18:51.40 | unum | http://www.sltrib.com/sltrib/politics/56665318-90/attorney-law-utah-information.html.csp <- looks like pashdown may be winning on this one |
| 18:55.31 | keldwud | clicks |
| 19:02.54 | *** join/#utah NoCoolName_Tom (~NoCoolNam@64.124.34.2) |
| 19:38.13 | *** join/#utah mahelious (~mahelious@50-198-180-125-static.hfc.comcastbusiness.net) |
| 20:03.38 | Gate | http://i.imgur.com/o6U3Lvc.jpg |
| 20:08.10 | *** join/#utah levi (~user@c-24-10-225-212.hsd1.ut.comcast.net) |
| 20:11.55 | *** join/#utah archstar (~archstar@unaffiliated/archstar) |
| 20:23.27 | *** join/#utah vantastic (~vantastic@199.16.150.186) |
| 20:44.36 | *** join/#utah vantastic (~vantastic@199.16.150.186) |
| 20:52.26 | jlp_znc | Gate: have you read Redshirts by Scalzi? (http://www.goodreads.com/book/show/13055592-redshirts) |
| 20:52.32 | jlp_znc | if not, you should. |
| 20:53.23 | *** join/#utah VanHelsing (~vanhelsin@77.75.104.219) |
| 20:54.57 | Jayce^ | is awaiting his copy of the redshirts card game |
| 21:08.41 | *** join/#utah jnbek (~jnbek@pdpc/supporter/active/jnbek) |
| 21:24.10 | Migs | okay, I don't get this. I changed /etc/resolv.conf on my Ubuntu server to use Google's DNS servers. This server was blocked by OpenDNS before. I'm using youtube-dl to try and download a video. I can use --get-title and --get-description just fine, but when I try to actually download the file, it STILL hits OpenDNS. |
| 21:24.14 | Migs | pinging the youtube servers works fine....doesn't hit OpenDNS at all |
| 21:28.12 | goozbach | hmmm |
| 21:28.19 | goozbach | if it were a mac I'd flush the cache |
| 21:28.28 | goozbach | does youtube dl use a cache of somesort |
| 21:28.38 | goozbach | maybe ubuntu's resolvconf is caching stuff |
| 21:29.55 | Migs | that's entirely possible. |
| 21:32.33 | Migs | found a /etc/resolvconf/update.d/dnscache script |
| 21:36.07 | *** join/#utah pdayton (~pjdayton@67.21.63.152) |
| 21:39.05 | Gate | jlp_znc: I have not |
| 21:39.10 | *** join/#utah mrpull1 (~jpollmann@216.51.56.98) |
| 21:39.51 | Gate | it looks fantastic |
| 21:41.05 | dremex_work_ | jlp_znc, Gate: http://i.imgur.com/o6U3Lvc.jpg |
| 21:41.54 | Gate | dremex_work_: exactly what I posted to prompt that conversation :D |
| 21:42.52 | undertakingyou | dremex_work_, Gate: great comic |
| 21:45.10 | dremex_work_ | Gate, ha! |
| 21:52.49 | JalenJade | I'd tell dremex_work_ to pay attention but he can only focus on one thing at a time and nothing else that happens exists. |
| 21:54.33 | dremex_work_ | This is true |
| 22:01.23 | Gate | Such focus can be a valuable asset. I've been accused of it many times :) |
| 22:05.15 | jlp_znc | yeah, it might be nice if dremex_work_ would stop by and at least let his mom know that he survived the bicycle crash last week. |
| 22:06.22 | keldwud | are eightyeight and luca redwood two different people? |
| 22:06.47 | keldwud | i.e. eightyeight games, indie developer |
| 22:07.07 | jlp_znc | what's a luca redwood? |
| 22:07.42 | jlp_znc | I'm pretty sure eightyeight isn't related in any way to eightyeight games |
| 22:07.55 | jlp_znc | try /whois eightyeight |
| 22:11.22 | keldwud | just checkin :) |
| 22:11.31 | keldwud | btw, ID/Bethesda catalog on sale |
| 22:11.37 | keldwud | commander keen, here I come! |
| 22:13.16 | eightyeight | who's luca redwood? |
| 22:19.35 | jlp_znc | eightyeight: apparently he works at/owns/is somehow involved with eightyeight games ltd in the UK |
| 22:20.02 | eightyeight | just curious if it's someone i should be familiar with as a nerd, or something |
| 22:22.32 | keldwud | indie developer |
| 22:22.35 | keldwud | that counts as nerd |
| 22:22.52 | keldwud | sorry for thinking there may have been a connection :) I didn't google eightyeight games very well |
| 22:23.09 | keldwud | just assumed that there are programmers in here and possibly people who write for games |
| 22:30.20 | jlp_znc | gasps |
| 22:30.27 | jlp_znc | there are programmers here? |
| 22:30.56 | jlp_znc | resolves to be careful what he says |
| 22:31.03 | jlp_znc | those guys are so literal! |
| 22:31.19 | jlp_znc | you heard about the programmer who starved to death in the shower, didn't you? |
| 22:31.41 | jlp_znc | seems he was found staring at his shampoo bottle. the instructions said "lather, rinse, repeat" |
| 22:32.22 | youtah | so jlp_znc and I have decided we don't like the direction that Ubuntu is taking |
| 22:32.24 | youtah | cries |
| 22:32.39 | youtah | blames shuttlebottom |
| 22:34.57 | eightyeight | heh |
| 22:35.04 | eightyeight | welcome to the rest of the community |
| 22:39.50 | levi | Hmm, suddenly my Ubuntu machine has decided to do ipv6, but our IT infrastructure doesn't route it. |
| 22:46.25 | *** part/#utah manithree (~blr@li4-76.members.linode.com) |
| 22:54.05 | youtah | I LOVE NACHOS |
| 22:54.28 | shalkie | I have fallen to the state of using Cheetos at the moment. |
| 22:54.55 | shalkie | The cheese calls to me... |
| 22:55.19 | youtah | Cool Ranch Doritos Nachos are better than you might think |
| 22:56.03 | shalkie | I had the option. But Chester drew me in... Like Joe Camel. |
| 22:58.00 | Jayce^ | youtah: they are good, but the new jalapeƱo cheetos are *really* good |
| 22:58.14 | youtah | hides because he doesn't understand the references shalkie is talking about |
| 22:58.30 | youtah | How was the thingy this morning Jayce^ ? There was no way I could have made it today |
| 22:59.45 | Jayce^ | youtah: it's this evening fool |
| 22:59.59 | Jayce^ | 7:15 tonight |
| 23:00.51 | youtah | I thought it was this morning?!?!?! |
| 23:02.16 | *** join/#utah mrpull (~jpollmann@65-100-197-5.slkc.qwest.net) |
| 23:03.52 | shalkie | youtah: Chester Cheetah is the "mascot" on the Cheeto package. Cool Joe Camel was the animated camel for Camel Cigarettes. There was once upon a time a large controversy about Joe the Camel being used to appeal to underage Smokers. |
| 23:04.12 | youtah | Ahhhhh |
| 23:04.30 | shalkie | Kinda like the fact that youngsters in utah will see mixed drinks being poured and be irresistably drawn into consuming them... |
| 23:04.38 | jlp_znc | I heard a good cheetos commercial on the radio the other day |
| 23:04.53 | jlp_znc | it was for the new "fire" cheetos |
| 23:05.03 | youtah | now that you mention the Cheetos, it sounds vaguely familiar. As far as cigarettes I was too busy blowing up red ant hills with fire crackers to see the TV commercials. |
| 23:05.41 | youtah | Every child needs to experience the mistake of pulling a fire cracker in a huge red ant hill |
| 23:06.36 | youtah | s/pulling/putting/ |
| 23:07.09 | shalkie | I never did that... |
| 23:07.16 | youtah | Going from totally fine to, completely covered by red ants in 0.5 seconds. |
| 23:07.37 | shalkie | Stomping on a mound was enough for me. |
| 23:07.41 | youtah | I actually never did it myself. I watched my friend Brian do it. I learned by watching. |
| 23:07.54 | youtah | They don't like upside down bottle rockets either. |
| 23:08.08 | youtah | so I've heard |
| 23:08.11 | youtah | ;-) |
| 23:08.11 | Jayce^ | youtah: I told you when it was, you saw the site, everything lists it |
| 23:08.18 | Jayce^ | now, no excuse, come by |
| 23:08.45 | jlp_znc | https://www.facebook.com/photo.php?v=10152640977832588 |
| 23:08.45 | youtah | Wife is working tonight at 8pm. I am with the kids, and they'll all be asleep! |
| 23:09.09 | jlp_znc | (cheetos fire commercial) |
| 23:22.37 | youtah | For those of you that missed the epic sunset the other night... http://www.gigapan.com/gigapans/135887 |
