Search
Friday, 22nd of January 2021, 22:11:36 UTC
23:44:34
jmercouris
Bike: is clasp via ros install up-to-date?
23:45:06
Bike
sorry, i don't know. i have never used roswell and don't know much about it.
23:45:21
jmercouris
Bike: have you attempted to connect clasp to any C++ GUI?
23:46:15
Bike
not sure. usually we use jupyter as the gui at this point, which is in the browser
0:46:24
Bike
i think i found a bug in sbcl's type simplifier but i'd appreciate a sanity check: could someone else compare (let ((c (cons 2 4))) (typep c '(or (cons (integer 0 8) (integer 5 15)) (cons (integer 3 15) (integer 4 15))))) against (let ((c (cons 2 4))) (or (typep c '(cons (integer 0 8) (integer 5 15))) (typep c '(cons (integer 3 15) (integer 4 15)))))
0:59:03
Nilby
Bike: That the second form is T seems like a bug to me. But I hardly every use such specific type checking.
0:59:41
Bike
so the first form returned false? right
1:00:10
Bike
wait, no. that's the opposite of what i have. what?
1:00:32
reb
For me first returned T and second NIL ...
1:01:00
reb
SBCL 2.1.0.43-8b5f058b5
1:01:08
Nilby
oops, yes, the first one returns true, the second one returns false
1:01:34
Bike
ok, right. to bugzilla it goes
1:01:36
Nilby
2.0.10.59-b60246d32-WIP :)
1:01:51
Nilby
I tested it with deftypes too
1:04:51
Nilby
duh I meant to say "that the first one is T seems like the bug"
1:05:05
Bike
yes, i'm pretty sure the correct answer is nil.
1:05:44
_death
yeah.. a "simpler" case that shows it is (let ((c (cons 'a '0))) (typep c '(or (cons number symbol) (cons symbol number))))
1:06:05
Nilby
and they are individually, without the or in the type
1:07:42
_death
I guess it has to do with the integer specifier
1:08:12
Bike
i think it has to do with types that overlap but aren't subtypes of one another
1:12:18
Bike
https://bugs.launchpad.net/sbcl/+bug/1912863
1:12:46
Nilby
but ccl does the same ?
1:13:36
Bike
I mean, if nothing else, the two forms should return the same result, right?
1:14:21
Nilby
I think I encountered this before and figured I didn't understand cons types.
1:14:58
_death
ecl gives nil for both cases here
1:16:49
Bike
also i wouldn't be surprised if ccl cribbed logic from sbcl. and the sbcl logic has a comment saying "UGH." so i don't have the greatest confidence in it
1:18:54
Bike
sbcl simplifies the type to (cons (unsigned-byte 4) (integer 4 15)) but i think (or (cons (unsigned-byte 4) (integer 5 15)) (cons (integer 3 15) (integer 4 4))) would be more correct
1:19:07
nij
I have quickloaded a package into SLY. How to I jump to the source code at point?
1:22:25
nij
I've fuzzily searched "sly look up" and "sly go to" without luck
1:23:09
nij
evil-normal-state-map M-.
1:23:49
_death
maybe there's a sly-edit-definition.. assuming s/slime/sly/
2:49:30
charles`
is it possible to use GENSYM too much?
2:51:55
pranavats
You mean so much that it becomes hard to debug?
3:08:55
charles`
I mean that the counter gets too big.
3:09:11
charles`
is is morally wrong to use it from something other than macros?
3:18:41
aeth
charles`: I mean, it's possible that gensym's a nonnegative (or positive? does it start at 0?) fixnum
3:18:48
aeth
well, the gensym counter
3:19:57
aeth
Well, no, I don't think that would be conforming for an implementation to do that because you can rebind *gensym-counter* to any integer
3:20:38
aeth
(* any non-negative integer)
3:20:55
aeth
(let ((*gensym-counter* (expt 2 123))) (gensym "FOO")) => #:FOO10633823966279326983230456482242756608
3:21:22
aeth
at least, going off of this: http://www.lispworks.com/documentation/HyperSpec/Body/v_gensym.htm
3:23:00
charles`
I'm not having any issues, I just want to make sure I wont run into any in the future
3:24:18
aeth
well, this seems to work in SBCL... (let ((*gensym-counter* (expt 2 999))) (gensym "FOO"))
3:24:23
aeth
How many gensyms are you planning on making?
3:27:00
aeth
I guess you could run out of memory...
3:38:20
charles`
is there a safer way to generate unique strings?
4:00:53
beach
Good morning everyone!
4:23:21
ebrasca
beach: Are you a teacher?
4:23:44
beach
Teacher and researcher.
4:29:29
beach
ebrasca: Why do you ask?
4:31:14
ebrasca
beach: Because I like to know it and you are interesting person.
4:40:25
ebrasca
ACTION is interested how does beach think when making big projects.
8:03:01
saganman
** NICK blackadder
8:47:12
asarch
With Datafly I prepare the SQL statement: (insert-into :students (set= :last_name "Uzumaki" :first_name "Naruto" :address "Ever green st #598, Konoha" (returning :id))
8:47:28
asarch
And then I execute it: (execute (insert-into :students ...
8:47:53
asarch
With the database connection: (with-connection (db :school) (execute (insert-into :students (set= ...
8:48:18
asarch
However, neither of those expression actually returns the id of the newly record created
8:49:17
asarch
Reading the issues about the Datafly project, https://github.com/fukamachi/datafly/issues/7, a fellow says there is an expression to get the id using SQLite3: sqlite3:last-insert-rowid
8:49:43
asarch
Do you know anything similar but for PostgreSQL?
8:50:19
asarch
I think Datafly actually uses cl-postgres for its backend
8:50:41
asarch
Which cl-postgres is actually Postmodern, right?
9:46:05
phoe
huh? actually, what do you mean?
9:46:12
phoe
postmodern is a separate library from cl-postgres
Saturday, 23rd of January 2021, 10:11:36 UTC