freenode/#lisp - IRC Chatlog
Search
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.
18:33:14
fiddlerwoaroof
Xach: unless someone else has volunteered, I'd like to take over maintainership of linedit
18:35:51
fiddlerwoaroof
I'm not sure what the right way to go about this is, since the current maintainer is unresponsive
19:00:25
rme
I want to make a ccl 1.12 release pretty soon. We currently bundle ASDF 3.2.0. Will upgrading to ASDF 3.3.1 cause more harm than good?
20:12:14
khrbt
fiddlerwoaroof: Xach had suggested moving linedit to sharplispers. 2018-01-18.log:[04:57:11] <Xach> khrbt: maybe we could move the github one to sharplispers and call it canon? i can check with nikodemus
20:24:12
fiddlerwoaroof
Although, linedit is only broken because madeira-port doesn't work with ASDF-3.3.1, which makes the fix a little tricky
20:25:17
fiddlerwoaroof
Because, unless previous versions of ASDF support :if-feature, we have to either do something fancy or choose between forwards and backwards compatibility
20:40:00
pjb
I still have loader files, only they setup asdf:*central-registry*, and use quickload to load the system. ;-)
20:41:02
pjb
rme: it is better if the asdf version is consistent with what is provided by the other implementations.
20:47:28
pjb
users would have to locate an asdf and load it themselves. That said, this still has to be implemented for when a newer version is needed.
20:54:32
khrbt
doesn't quicklisp also include its own copy of asdf? If most people use quicklisp, wouldn't they get automatically get asdf too?