freenode/lisp - IRC Chatlog
Search
6:37:55
aeth
There is a #lispweb but it was dead so I left it because I am in far too many channels. I don't know if it is more active now.
6:51:05
patrixl
it might have been harder to get if I wasn't living in Japan where "ohayo" (good morning) is kinda used the same way between friends and colleagues
9:25:39
beach
For Second Climacs, I wanted to render the cursor between two characters (or at the beginning or the end of a line) and not like Emacs does on top of the character after point. So currently, I render the characters following the cursor a bit further to the right than their normal position.
9:25:41
beach
This way of rendering is apparently not acceptable to some people. So I need some hints as to how to render the cursor between two characters without changing the position of the characters to the right. Any ideas? Maybe a one-pixel dark vertical bar between characters and some lighter background surrounding it?
9:34:26
flip214
although, TBH, I would associate this kind of cursor with "insert characters here", so if pressing some (character) key then overwrites the next character I'd be surprised
9:44:23
jackdaniel
one way to do that would be setting a scheduler which sends "blink" event which calls com-revert from handle-event associated with your sheet
13:12:47
loginoob
I'm reading CL-gentle introduction to symbolic computation. How can i check if my answers are correct for the exercises
13:18:53
loginoob
I am not able to answer the question: PRove by contradiction that circular list cannot be constructed using just CONS. My answer from what i understood is that cons take two argument and i cannot give reference of first cell as second argument.
13:22:49
_death
loginoob: to do this indirect proof, you first assume that you can create a circular list using just CONS
13:23:24
_death
loginoob: then, you follow the consequence of this premise together with the definition he presents and arrive at a contradiction
13:26:44
beach
loginoob: To create a cell, the successor cell must already exist. I think you can derive a contradiction from that.
13:26:49
_death
since you arrived at a contradiction solely by using this premise and the definition (and the rules and axioms of logic), the premise must be false
13:28:18
_death
but beach is right.. I doubt gentle is meant to require knowledge of natural deduction :)
13:28:43
loginoob
so, let's say circular list contains three elements A B C and by making it from cons i have to cons A with cdr of C but that would make an infinite list and making it more than three elements so i cannot construct it using cons. Is that right by contradiction?
13:56:43
_death
a circular list looks like #1=(X . #1#) ... assume it was created by just using cons. then, #1# must have been passed to cons in the cdr position, but #1# has not yet been created at that time..
14:02:53
loginoob
_death: A cell is created after C and to point C to A cell A must have been created before C so that's the contradiction. ok, got it. Thank you :)
15:43:05
comborico1611
How do you automatically log into channels which require registered nicknames, when the nickserv executes after autologin executes?
15:54:22
comborico1611
Hmm. That's got to be one of the stranger things of the computing world. Reminds me of something like inventing the aersol can before the wheel.