[01:11:04] --> SB-X has joined #pentagram
[02:19:05] <-- SB-X has left IRC ()
[03:06:31] --> Kazin has joined #pentagram
[03:31:35] <-- Kazin has left IRC (Read error: 110 (Connection timed out))
[05:11:03] --> Kazin has joined #pentagram
[05:57:13] <-- Kazin has left IRC (Read error: 110 (Connection timed out))
[07:04:18] --> Kazin has joined #pentagram
[07:27:18] <-- Kazin has left IRC (Read error: 110 (Connection timed out))
[08:06:08] --> Kazin has joined #pentagram
[13:44:37] <-- Kirben has left IRC (Read error: 104 (Connection reset by peer))
[19:52:31] <wjp> http://www.math.leidenuniv.nl/~wpalenst/pentmenu.png
[19:52:36] <wjp> isn't it pretty? :-)
[19:54:11] <wjp> of course the 'buttons' aren't actually buttons yet, and the text isn't made by TextWidgets, and.., and... :-)
[19:56:34] <wjp> (modelled on Colourless' concept, by the way)
[19:57:48] <wjp> hm, need to rework TextWidget and ButtonWidget a bit to make them work outside of a game
[20:01:08] <oaK> How about atting crusaders there too?
[20:01:23] <wjp> out of room :-)
[20:01:30] <oaK> Scrollbar :P
[20:01:40] <wjp> not quite implemented yet :-)
[20:02:12] <wjp> but I could currently get it to display a crusader entry by only changing a single line
[20:03:38] <wjp> *cough* removes typo from that change and compiles again :-)
[20:30:57] --> Fingolfin has joined #pentagram
[20:30:57] --- ChanServ gives channel operator status to Fingolfin
[20:38:42] <wjp> hi Max
[20:39:17] <Fingolfin> hi Willem!
[20:40:01] <wjp> did you already have your last exam?
[20:42:59] <Fingolfin> wjp: yup, passed it nicely, too. Now I am a "Diplom Mathematik", or "Dipl.-Math." :-) Well techincally I have to wait till I get my official papers in mid november....
[20:43:09] <wjp> congratulations!
[20:43:12] <Fingolfin> btu since I start my job and my phd work on Nov 1... who cares :-)
[20:43:14] <Fingolfin> thanks!
[20:43:42] <wjp> where do you have a PhD position? Darmstadt?
[20:45:47] <Fingolfin> Yeah, indeed... "Involutions of Kac-Moody groups" is the official title. For starters, I'll have to work with algebraic groups
[20:53:06] <wjp> can't say I'm familiar with "Kac-Moody groups" :-)
[20:53:19] <wjp> something in the Lie algebra corner?
[20:53:43] <wjp> (at least that's what some googling might indicate)
[21:03:42] <Fingolfin> yeah
[21:03:54] <Fingolfin> in that area
[21:04:19] <Fingolfin> "infinite dimensional algebraic groups" might be a nice way to think of them.... or not... it's really a bit hairy :-)
[21:19:24] <Fingolfin> oh and I just learned that my first (joint) paper has been accepted for publication by the Journal of group theory :-) (basically, we turned my thesis into an article)
[21:19:48] <Fingolfin> once it appears, I have erdös number 4, which of course is totally irrelevant but fun nevertheless :-)
[21:26:16] <Lightkey> er..dĂ¶s?
[21:28:20] <Fingolfin> get a unicode capable IRC client? :-)
[21:29:55] <Lightkey> s/get/got/
[21:30:02] <Lightkey> that's not the problem though :P
[21:30:14] <Lightkey> what is erdĂ¶s?
[21:30:42] <wjp> it's a who :-)
[21:30:44] <servus> erdös!
[21:31:49] * Lightkey is confused
[21:32:16] <Lightkey> oooh, wikipedia to the rescue!
[21:34:48] <servus> ?a mathematician is a machine for turning coffee into theorems"
[21:38:38] <servus> Ah, I see the definition of the Erdös number - it's like seven degrees of Kevin Bacon!
[21:47:26] <Fingolfin> servus: see http://www.simonsingh.net/Erdos-Bacon_Numbers.html
[21:50:27] <Fingolfin> the erdös numbers predate the bacon numbers by far, though :-)
[21:52:08] <servus> Heh. Yes, I read about the Erdös numbers on his Wikipedia page.
[23:03:16] --> Kirben has joined #pentagram
[23:03:16] --- ChanServ gives channel operator status to Kirben
[23:14:17] <wjp> yay; I successfully changed games using the new pentagram menu :-)
[23:15:52] --- LordNAway is now known as Lord_Nightmare
[23:23:07] <-- Lightkey has left IRC (Read error: 110 (Connection timed out))
[23:25:44] --> Lightkey has joined #pentagram
[23:27:03] <Fingolfin> nice
[23:27:52] <wjp> it's even possible to switch games multiple times
[23:28:01] <wjp> I should probably check for memory leaks, though :-)
[23:37:51] <Fingolfin> nah, why, there never are any
[23:38:01] <Fingolfin> the code certainly will be bug free on the first go!
[23:39:05] <wjp> of course! if it still has memory allocated, it surely plans to still use it later on!
[23:44:13] <Fingolfin> :-)
[23:51:32] <-- Fingolfin has left IRC ("42")