freenode/#lisp - IRC Chatlog
Search
15:37:24
srandon111
guys ii am having an hard time understanding this twoer of hanoi thing from SICP... https://www.youtube.com/watch?list=PLZHQObOWTQDMRtm8h9bG9P06WINNoBnCR&v=2SUvWfNJSsM can somebody help me? where is the rule about you can move only a single disk at a time in? and how does the system know that he cannot put laarger disks above smaller disks?
16:55:29
pjb
srandon111: the rune that you can move only a single disk at a time is implemented by the fact that the computer only executes one instruction at a time!
16:56:05
pjb
srandon111: the systems knows that it cannot put larger disks above smaller disks from the algorithm. This property can be proven mathematically from the algorithm.
16:57:55
pjb
srandon111: to implement those rules explicitely in a system, you would have to make it possible to break them. For example, by implementing operations such as take tore from pile 1 in left hand, take tore from pile 2 in right hand, etc… and then you can write the rule, and ensure that such a sequence doesn't occur.
20:06:40
minion
joel135: look at pcl: pcl-book: "Practical Common Lisp", an introduction to Common Lisp by Peter Seibel, available at http://www.gigamonkeys.com/book/ and in dead-tree form from Apress (as of 11 April 2005).
20:10:24
jackdaniel
I can imagine a mean teacher advising his students: if you have problems with understanding the material please join #lisp
21:31:11
_death
hmmmm, as recently mentioned in the slime-devel mailing list, seems `C-c C-d h` and friends don't work in the repl.. `C-c C-d ?` shows no bindings for slime-editing-mode, but pushing the slime-editing-mode button in that buffer does show C-c C-d ... keybindings.. not sure what changed..
0:07:28
no-defun-allowed
Skimming over CLSQL's source code, I found a note "RACE COND: 2 threads disconnecting could stomp on *connected-databases*" in DISCONNECT. Has anyone been bitten by this before?