Project control issues
Apr. 20th, 2009 11:27 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
michiexileYeah ... you all remember back a week or so ago when I posted about all my projects?
At the meeting I'm at right now, it turns out that people present have been spending time working on some of the pie-in-the-sky dream projects I've been wanting to deal with since I was a lowly undergrad. And they seem to be making progress!!!
If it seems easy enough, I'm going to try these coming 2 weeks to build an implementation of Gröbner bases for Operads (this was what I used to propose as a PhD project back when I was out applying for student positions) - since the theory is present but implementations are not.
And I've also run into some survey papers by one of the speakers here, dealing with the history and present state of homotopical computation models, and homotopy theory for computation, using computads. Another subject I _really_ would want to grok!
How am I supposed to diet when there's manna and crême brulée raining from heaven!?
At the meeting I'm at right now, it turns out that people present have been spending time working on some of the pie-in-the-sky dream projects I've been wanting to deal with since I was a lowly undergrad. And they seem to be making progress!!!
If it seems easy enough, I'm going to try these coming 2 weeks to build an implementation of Gröbner bases for Operads (this was what I used to propose as a PhD project back when I was out applying for student positions) - since the theory is present but implementations are not.
And I've also run into some survey papers by one of the speakers here, dealing with the history and present state of homotopical computation models, and homotopy theory for computation, using computads. Another subject I _really_ would want to grok!
How am I supposed to diet when there's manna and crême brulée raining from heaven!?
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2009-04-21 02:14 pm (UTC)Enjoy.
(Say, I don't remember if I ever discussed this particular icon with you, or why I use it for math-related posts. The icon name I use gives a clue, though...)
no subject
Date: 2009-04-21 05:05 pm (UTC)