| Korollary | DFA's written by Bruce Schneier are more powerful than universal TMs |
| dibblego | "If the von Neumann architecture goes, so does functional." -- WTF? Quite the opposite! |
| slava | Chuck Norris can do TSP in constant time |
| jcreigh | Bruce Schneier has written several influential books on cryptography. |
| Gwern | "I predict that when multi cores and distributed computing becomes more commonplace, this will really hurt functional programming because of its monolithic style." <-- wow. |
| dolio | Drawing pictures with boxes and arrows is the way of the future. |
| jcreigh | Gwern: Oh, BTW, X11-extras currently doesn't require Xinerama to build. (I believe you were asking about that earlier?) |
| Korollary | eXecutable UML! |
| dibblego | it is a shame that the argument becomes worthless in the last section of each of his sentences it's very difficult to optimise :) |
| jcreigh | Gwern: and, by proxy, xmonad doesn't require Xinerama anymore either. |
| sorear | In fifty years, I predict the human population will be 0. |
| dibblego | sorear, want a bet? :) |
| Gwern | jcreigh: yes, that's right. I am glad to hear that now alls I really need is some sort of echo area in xmonad :) |
| jcreigh | "echo area"? |
| Gwern | dibblego: that's a good bet to make - the bet is only resolvable if you're right gotta like observer biases :) jcreigh: some sort of little area to display some text kind of like dmenu but for viewing text and not putting it into it |
| jcreigh | hmm. Well, I'm working a basic statusbar right now. There might be something in darcs in a couple days. (if dons and sjanssen like it) |
| action | Gwern will look forward to it |
| Gwern | will look forward to it |
| sjanssen | jcreigh: how are you implementing it? as a separate process? |
| jcreigh | sjanssen: well, I'm thinking in xmonad. (hence my doubts) |
| dons | jcreigh: ah ok. hmm. |
| jcreigh | sjanssen: I just don't see the huge advantage to a separte process. |
| dons | we want to do it as an external process though so people can swap it out if they like a bit like dmenu/gmrun now |
| TomMD | How far would I have to go to help make error messages in GHC make more sense? Send in common error cases that give bad messages? Send in code? |
| dons | so, dump the xmonad state to a file or named pipe or even stdout and then pipe that into the statubar |
| jcreigh | well, I'm thinking something along the lines of statusBar :: X String in Config.hs |
| dons | the problem is threading, iirc we either have to select/wait on stdin, or use haskell threads. none of which is very nice |
| Korollary | TomMD: Probably more code |
| dons | and complicates quite a bit |