freenode/#lisp - IRC Chatlog
Search
5:51:08
fiddlerwoaroof
LdBeth: one of the major formal verification systems uses a subset of common lisp
5:52:12
aeth
LdBeth: I guess you could watch the globals to see if anything set them if you don't want to just subset CL.
5:52:51
fiddlerwoaroof
Yeah, it's total (i.e. every function must produce a value in a finite amount of time) so you don't have to deal with the halting problem
5:54:38
fiddlerwoaroof
Yeah, I've been putting off the Mojave upgrade until I'm confident that people have worked out the issues
5:55:59
LdBeth
the latest development snapshot compiles, but sometimes quit under high memory pressure.
6:17:58
phoe
https://cdn.discordapp.com/attachments/297478350145060875/505263455415304213/tcle-alexandria.pdf
10:12:29
devon
no-defun-allowed: Never heard of ql:register-local-projects - until today, everything in the local-projects directory simply worked.
10:21:44
devon
ql:quickload can't find a system listed by (ql:list-local-systems) so not really fixed.
10:25:58
jackdaniel
I'm not sure who is at fault, but CCL or ASDF doesn't behave well with symlinks to directories when it comes to looking for a system
10:27:00
jackdaniel
from workarounds which may work (in case of local projects) it is to call register-local-projects *from* sbcl and then launch ccl
11:50:30
shka_
heisig: is there a video of you with this presentation? https://www.european-lisp-symposium.org/static/2018/heisig.pdf
11:51:47
heisig
shka_: In theory, yes. But as far as I know the ELS recordings have not been uploaded (yet?).
11:53:51
beach
shka_: I suggest you organize ELS and see what it's like. Then people can say that your organization sucks.
11:55:08
shka_
i don't know if organization of event was good or bad, i know that videos are not available yet
11:57:05
shka_
this probabbly says more about unsufficient manpower behind editing of those videos more then anything else
14:21:22
knobo
Is it possible to find out what state the compiler is in when my load fails? (:compile-toplevel or :load-toplevel etc)
14:23:23
Bike
the backtrace should make it fairly obvious if it's in the middle of the compiler. you can also look whether fasl files have been produced.
14:25:57
knobo
if i do (defvar *web* (make-instance '<web>)) it works, but if I import *web* from another package, and then do (setf *web* (make-instance '<web>)) it fails.
14:28:21
knobo
Bike: the make-instance hash a initialize-instance method that is not called before it's too late.
14:29:27
knobo
Bike: so later in the code I get There is no applicable method for the generic function #<STANDARD-GENERIC-FUNCTION (COMMON-LISP:SETF NINGLE.APP:ROUTE) (1)> when called with arguments .....
16:06:54
Bike
i think i'm thinking of "Clef Design: Thoughts on the Formalization of Program Construction", but i guess it's not online
16:09:51
warweasle
I was thinking of using something like this as remote "datablocks" which would make a great base for a multi-user editor.
16:23:00
scymtym
pfdietz: interesting. maybe talk to eschulte (the author of the above). see https://github.com/robert-strandh/Eclector/issues/28 for a bit of context
16:25:13
scymtym
oh, i didn't read your message that way :) i read it in the independent-invention sense
16:47:22
trafaret1
I have some question about applying lisp for prototyping real time control sytems
17:25:02
trafaret1
I want to do fast prototyping and it it needed to write code in another programming language
17:43:38
phoe
or do you want to prototype in Lisp and then write the final code in another language?