jackdaniel changed the topic of #lisp to: Common Lisp, the #1=(programmable . #1#) programming language | <https://irclog.tymoon.eu/freenode/%23lisp> <https://irclog.whitequark.org/lisp> <http://ccl.clozure.com/irc-logs/lisp/> | offtopic --> #lispcafe
wxie has joined #lisp
Josh_2 has quit [Ping timeout: 246 seconds]
DGASAU has quit [Ping timeout: 256 seconds]
rumbler31 has quit [Ping timeout: 240 seconds]
karlosz has joined #lisp
DGASAU has joined #lisp
wxie has quit [Read error: Connection reset by peer]
Iacob has joined #lisp
Iacob has quit [Client Quit]
yong has joined #lisp
yong has quit [Client Quit]
wxie has joined #lisp
CrazyPython has joined #lisp
dvdmuckle has quit [Quit: Bouncer Surgery]
gabiruh has quit [Quit: ZNC 1.7.5 - https://znc.in]
gabiruh has joined #lisp
dvdmuckle has joined #lisp
_whitelogger has joined #lisp
wxie has quit [Ping timeout: 260 seconds]
marusich has joined #lisp
zooey has quit [Ping timeout: 240 seconds]
Oladon has joined #lisp
drl has joined #lisp
<drl> OK, I'm back. I deleted the old code in ~/.sbclrc. I also deleted ~/.cache/common-lisp/ and ~/.slime/fasl/. I closed and restarted emacs. But alexandria still can't load. The first line of the backtrace is: 0: (SB-IMPL::UPDATE-PACKAGE-WITH-VARIANCE #<PACKAGE "ALEXANDRIA.1.0.0"> "ALEXANDRIA" ("ALEXANDRIA.1.0.0" "ALEXANDRIA-1") #S(SB-C:DEFINITION-SOURCE-LOCATION :NAMESTRING "/home/l/quicklisp/dists/quicklisp/..
davepdotorg has joined #lisp
karlosz has quit [Quit: karlosz]
davepdotorg has quit [Ping timeout: 246 seconds]
<drl> |3b|, the file ~/.swank.lisp does not exist, but /home/l/quicklisp/dists/quicklisp/software/slime-v2.24/swank.lisp does exist.
Inline has quit [Ping timeout: 272 seconds]
_whitelogger has joined #lisp
ebrasca has quit [Remote host closed the connection]
gko_ has joined #lisp
davepdotorg has joined #lisp
davepdotorg has quit [Read error: Connection reset by peer]
kotrcka has joined #lisp
davepdotorg has joined #lisp
lucasb has quit [Quit: Connection closed for inactivity]
davepdotorg has quit [Ping timeout: 258 seconds]
<drl> |3b|, if sbcl is started like this: sbcl --no-sysinit --no-userinit, and then * (load "alexandria") I get "Couldn't load "alexandria": file does not exist."
EvW has quit [Ping timeout: 260 seconds]
<Alfr> drl, unless you have a lisp file called alexandria that's expected.
<Alfr> And --no-userinit will also skip the bits that quicklisp set up for, not sure you want this, unless you've manually set up alexandria somewhere.
<drl> Alfr, alexandria has been downloaded by quicklisp, but can't load. I just ran "sbcl --no-sysinit --no-userinit" because |3b| asked me to. Usually I use slime.
<drl> (ql:quickload "alexandria") give this error message: ALEXANDRIA is a nickname for the package ALEXANDRIA.1.0.0
<drl> [Condition of type SB-KERNEL:SIMPLE-PACKAGE-ERROR]
<Alfr> drl, w/ --no-sysinit --no-userinit; did you try loading the setup.lisp file in the quicklisp directory and then quickloading alexandria?
CrazyPyt_ has joined #lisp
CrazyPython has quit [Ping timeout: 260 seconds]
terpri has joined #lisp
<Alfr> If that doesn't work, your sbcl or quicklisp install act strange.
karlosz has joined #lisp
<drl> Alfr, Is this the correct way to load it?: (load '/home/l/quicklisp/quicklisp/setup.lisp)
CrazyPyt_ has quit [Ping timeout: 240 seconds]
<Alfr> drl, I don't think symbols are pathname designators.
<Alfr> try (load "/home/l/quicklisp/quicklisp/setup.lisp")
<no-defun-allowed> Symbols are not pathname designators, no.
<drl> Result: debugger invoked on a PACKAGE-DOES-NOT-EXIST in thread
<Alfr> drl, and you did what exactly?
<drl> That's the result of (load "/home/l/quicklisp/quicklisp/setup.lisp")
<Alfr> In a sbcl started w/ the options --no-sysinit and --no-userinit?
jesse1010 has quit [Ping timeout: 272 seconds]
<drl> Alfr, yes.
<Alfr> Does (require 'asdf) work?
Lord_of_Life_ has joined #lisp
<drl> Alfr, * (require 'asdf)
<drl> ("ASDF" "asdf" "UIOP" "uiop")
Lord_of_Life has quit [Ping timeout: 258 seconds]
Lord_of_Life_ is now known as Lord_of_Life
<drl> If sbcl is started without those options, then (ql:quickload "alexandria") loads without error.
bacterio has quit [Ping timeout: 265 seconds]
Alfr_ has joined #lisp
<Alfr_> So sbcl finds its contibs. Move your ~/.sbclrc somewhere safe and install quicklisp again with sbcl --no-sysinit .
Alfr has quit [Ping timeout: 260 seconds]
<Alfr_> Failing that, _Xach may be more help than I can.
rickygee has joined #lisp
<Alfr_> *of
_whitelogger has joined #lisp
<drl> Alfr_, still no success. Thanks for trying to help. I'll see if Xach can help tomorrow.
<beach> Good morning everyone!
<Alfr_> Good morning beach.
davepdotorg has quit [Ping timeout: 260 seconds]
toorevitimirp has joined #lisp
pankajgodbole has joined #lisp
gko_ has quit [Remote host closed the connection]
rickygee has quit [Ping timeout: 265 seconds]
Bike has quit [Quit: Lost terminal]
rumbler3_ has quit [Remote host closed the connection]
_whitelogger has joined #lisp
JessicaPurple has quit [Quit: Leaving]
davepdotorg has joined #lisp
davepdotorg has quit [Ping timeout: 246 seconds]
pankajgodbole has left #lisp ["ERC (IRC client for Emacs 26.3)"]
mmohammadi9812 has joined #lisp
davsebamse has quit [Ping timeout: 272 seconds]
davsebamse has joined #lisp
nydel has quit [Ping timeout: 256 seconds]
bocaneri has joined #lisp
Elephant454 has joined #lisp
Elephant454 has quit [Remote host closed the connection]
Oladon has quit [Quit: Leaving.]
_whitelogger has joined #lisp
rumbler31 has joined #lisp
jdgr has quit [Ping timeout: 240 seconds]
rumbler31 has quit [Ping timeout: 246 seconds]
Blukunfando has quit [Ping timeout: 240 seconds]
fortitude has joined #lisp
gravicappa has joined #lisp
<SaganMan> Morning beach
ggole has joined #lisp
iissaacc has joined #lisp
user51 has joined #lisp
akoana has left #lisp ["Leaving"]
rumbler31 has joined #lisp
bitmapper has quit [Quit: Connection closed for inactivity]
treflip has joined #lisp
davepdotorg has joined #lisp
davepdotorg has quit [Ping timeout: 264 seconds]
bocaneri is now known as ^Sauvin^
jdgr has joined #lisp
marusich has quit [Quit: Leaving]
aartaka has joined #lisp
pve has joined #lisp
aartaka has quit [Ping timeout: 256 seconds]
aartaka has joined #lisp
toorevitimirp has quit [Remote host closed the connection]
X-Scale has quit [Ping timeout: 240 seconds]
X-Scale` has joined #lisp
jdgr has quit [Ping timeout: 256 seconds]
X-Scale` is now known as X-Scale
aartaka has quit [Ping timeout: 256 seconds]
dmiles has quit [Ping timeout: 240 seconds]
aartaka has joined #lisp
iissaacc has quit [Ping timeout: 246 seconds]
narimiran has joined #lisp
_whitelogger has joined #lisp
aartaka has quit [Ping timeout: 264 seconds]
daphnis has joined #lisp
fortitude has quit [Ping timeout: 258 seconds]
ljavorsk_ has joined #lisp
karlosz has quit [Quit: karlosz]
daphnis has quit [Ping timeout: 272 seconds]
pve_ has joined #lisp
ljavorsk_ has quit [Ping timeout: 246 seconds]
pve has quit [Ping timeout: 260 seconds]
bilegeek has quit [Quit: Leaving]
hendursa1 has joined #lisp
zaquest has quit [Quit: Leaving]
zaquest has joined #lisp
hendursaga has quit [Ping timeout: 240 seconds]
mmohammadi98128 has joined #lisp
mmohammadi98128 has quit [Client Quit]
mmohammadi9812 has quit [Read error: Connection reset by peer]
mmohammadi9812 has joined #lisp
MichaelRaskin has joined #lisp
jbgg has joined #lisp
mmohammadi9812 has quit [Read error: Connection reset by peer]
mmohammadi9812 has joined #lisp
shifty has quit [Ping timeout: 265 seconds]
davepdotorg has joined #lisp
contrapunctus has left #lisp ["Disconnected: closed"]
treflip has quit [Quit: WeeChat 2.6]
contrapunctus has joined #lisp
daphnis has joined #lisp
iissaacc has joined #lisp
random-nick has joined #lisp
daphnis has quit [Ping timeout: 240 seconds]
GreaseMonkey has quit [Ping timeout: 244 seconds]
eschatologist has quit [Ping timeout: 260 seconds]
eschatologist_ has joined #lisp
greaser|q has joined #lisp
orivej has joined #lisp
kaftejiman has joined #lisp
mmohammadi98121 has joined #lisp
jprajzne has joined #lisp
mmohammadi9812 has quit [Ping timeout: 246 seconds]
mmohammadi98121 is now known as mmohammadi9812
Bourne has joined #lisp
davepdotorg has quit [Read error: Connection reset by peer]
mmohammadi98124 has joined #lisp
mmohammadi9812 has quit [Ping timeout: 256 seconds]
mmohammadi98124 is now known as mmohammadi9812
skapata has joined #lisp
zaquest has quit [Read error: Connection reset by peer]
zaquest has joined #lisp
iissaacc has quit [Ping timeout: 256 seconds]
kaftejiman has quit [Read error: Connection reset by peer]
kaftejiman has joined #lisp
davepdotorg has joined #lisp
davepdotorg has quit [Ping timeout: 240 seconds]
sts-q has joined #lisp
kotrcka has quit [Quit: Konversation terminated!]
mmohammadi9812 has quit [Ping timeout: 240 seconds]
kaftejiman_ has joined #lisp
kaftejiman has quit [Ping timeout: 246 seconds]
iissaacc has joined #lisp
Bourne has quit [Ping timeout: 240 seconds]
galex-713 has quit [Ping timeout: 272 seconds]
galex-713 has joined #lisp
davepdotorg has joined #lisp
davepdotorg has quit [Ping timeout: 256 seconds]
gaqwas has joined #lisp
gaqwas has quit [Changing host]
gaqwas has joined #lisp
Cymew has joined #lisp
iissaacc has quit [Ping timeout: 240 seconds]
Cymew has quit [Ping timeout: 258 seconds]
orivej has quit [Ping timeout: 256 seconds]
davepdotorg has joined #lisp
aartaka has joined #lisp
davepdotorg has quit [Ping timeout: 272 seconds]
sts-q has left #lisp ["#lisp"]
EvW has joined #lisp
Inline has joined #lisp
treflip has joined #lisp
paul0 has joined #lisp
contrapunctus has left #lisp ["Disconnected: Replaced by new connection"]
contrapunctus has joined #lisp
aeth has quit [Ping timeout: 272 seconds]
aeth has joined #lisp
<drl> Alfr_, pve, |3b| , Xach, I went through all your advice again step by step. Alexandria now loads, and my program compiles. Thank you! Your help is very much appreciated.
<pve_> drl: that's good to hear
sonologico has joined #lisp
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #lisp
<edgar-rft> nobody seems to realize that I was the biggest help by saying nothing :-)
<drl> Well, I thank you also, edgar-rft!
supercoven_ has joined #lisp
supercoven_ has quit [Max SendQ exceeded]
supercoven_ has joined #lisp
supercoven_ has quit [Max SendQ exceeded]
supercoven_ has joined #lisp
supercoven_ has quit [Max SendQ exceeded]
supercoven has quit [K-Lined]
mmohammadi9812 has joined #lisp
daphnis has joined #lisp
phantomics has quit [Quit: Ex-Chat]
aartaka has quit [Ping timeout: 265 seconds]
rtypo has joined #lisp
daphnis has quit [Ping timeout: 240 seconds]
Inline1 has joined #lisp
drl has quit [Quit: Ex-Chat]
mmohammadi9812 has quit [Read error: Connection reset by peer]
mmohammadi9812 has joined #lisp
aartaka has joined #lisp
Inline1 has quit [Quit: Inline1]
xzax_[m] has joined #lisp
aartaka has quit [Read error: Connection reset by peer]
Inline1 has joined #lisp
davepdotorg has joined #lisp
davepdotorg has quit [Ping timeout: 246 seconds]
mmohammadi98120 has joined #lisp
mmohammadi9812 has quit [Ping timeout: 246 seconds]
mmohammadi98120 is now known as mmohammadi9812
Inline1 has quit [Quit: Inline1]
CrazyPython has joined #lisp
wbooze has joined #lisp
aartaka has joined #lisp
earl-ducaine has quit [*.net *.split]
goldrin1227[m] has quit [*.net *.split]
even4void[m] has quit [*.net *.split]
nopf has quit [*.net *.split]
tutti has joined #lisp
orivej has joined #lisp
goldrin1227[m] has joined #lisp
jesse1010 has joined #lisp
even4void[m] has joined #lisp
nopf has joined #lisp
earl-ducaine has joined #lisp
wbooze has quit [Quit: wbooze]
tutti has quit [Remote host closed the connection]
CrazyPython has quit [Remote host closed the connection]
Guest42077 has joined #lisp
tutti has joined #lisp
aartaka_d has joined #lisp
aartaka has quit [Ping timeout: 260 seconds]
EvW has quit [Ping timeout: 260 seconds]
daphnis has joined #lisp
Guest42077 has left #lisp [#lisp]
aartaka_d has quit [Ping timeout: 240 seconds]
JessicaPurple has joined #lisp
wbooze has joined #lisp
wsinatra_ has quit [Ping timeout: 260 seconds]
treflip has quit [Quit: WeeChat 2.6]
treflip has joined #lisp
mmohammadi9812 has quit [Ping timeout: 264 seconds]
tywyllwch has quit [Quit: jummped out the top floor window (left)]
mmohammadi9812 has joined #lisp
rumbler31 has quit [Read error: Connection reset by peer]
rumbler31 has joined #lisp
mmohammadi98128 has joined #lisp
mmohammadi9812 has quit [Read error: Connection reset by peer]
mmohammadi98128 is now known as mmohammadi9812
treflip has quit [Quit: WeeChat 2.6]
tutti has quit [Remote host closed the connection]
treflip has joined #lisp
Lord_of_Life_ has joined #lisp
orivej has quit [Ping timeout: 272 seconds]
Lord_of_Life has quit [Ping timeout: 272 seconds]
Lord_of_Life_ is now known as Lord_of_Life
<xzax_[m]> Hello
<beach> Hello xzax_[m].
<beach> xzax_[m]: Are you new here? I don't recognize your nick.
<xzax_[m]> Yes i am
<xzax_[m]> New to lisp also
<beach> I see.
<beach> What sources of Lisp-related information are you using, besides this channel?
edgar-rft has quit [Quit: Leaving]
<beach> I see. That book is good if you have little or no experience with other languages. For those with experience, we often recommend PCL.
<beach> minion: Please tell xzax_[m] about PCL.
<minion> xzax_[m]: 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).
wbooze has quit [Quit: wbooze]
<beach> xzax_[m]: And do you have your environment set up so that you can work correctly?
daphnis has quit [Quit: Lost terminal]
<xzax_[m]> beach: I see. Ill check that out
<xzax_[m]> I use emacs
<xzax_[m]> Specifically spacemacs
<xzax_[m]> Ive installed slime and sbcl
contrapunctus has left #lisp ["Disconnected: Replaced by new connection"]
<beach> Perfect!
contrapunctus has joined #lisp
bitmapper has joined #lisp
<xzax_[m]> Thanks
contrapunctus has left #lisp ["Disconnected: closed"]
contrapunctus has joined #lisp
jw4 has quit [Read error: Connection reset by peer]
<beach> xzax_[m]: Oh, I almost forgot: welcome to #lisp. And for truly elementary questions, there is also #clschool. This channel is not really meant for newbie questions, but such questions are tolerated. If they get too elementary, you may get redirected to #clschool, depending on how busy this channel is.
davepdotorg has joined #lisp
krid has joined #lisp
jw4 has joined #lisp
<xzax_[m]> beach: Thank you. I understand ill join clschool in addition
v_m_v has joined #lisp
<beach> One more piece of information you may find useful: Those channels are fairly slow during the weekend, because many participants have families and they are busy doing other things. But there is almost always someone you can get help from, no matter your time zone.
davepdotorg has quit [Ping timeout: 272 seconds]
<xzax_[m]> Ok
bsd4me has joined #lisp
bsd4me has left #lisp [#lisp]
wbooze has joined #lisp
<pve_> Hi, if I define (defclass my-class () () (:metaclass my-metaclass)), then is it correct to say that my-class is an "instance" of my-metaclass?
<beach> Indeed.
<pve_> beach: ok great, thanks
<beach> In fact, it is constructed by (make-instance 'my-metaclass...)
bacterio has joined #lisp
<pve_> oh right!
kaftejiman_ has quit [Remote host closed the connection]
<pve_> beach: is there somewhere I can read more about how that works? I'm currently looking at http://mop.lisp.se/www.alu.org/mop/
toorevitimirp has joined #lisp
<beach> I created a better HTML version from the free chapters of the AMOP: http://metamodular.com/CLOS-MOP/table-of-contents.html.
Oladon has joined #lisp
<pve_> specifically, where does the result of that make-instance call get stored
<pve_> aha, ok, I will bookmark that
<beach> Oh, (setf (find-class 'my-class) (make-instance 'my-metaclass...))
<beach> Where FIND-CLASS stores things is implementation specific.
<beach> Er, where (SETF FIND-CLASS) stores things is implementation specific.
<beach> But you can retrieve it with FIND-CLASS.
<beach> Is that what you are asking?
<pve_> ok, right.. find-class I kinda figured, but what about the hierarchy?
<pve_> just the direct-superclasses links?
<beach> mop class-direct-superclasses
<beach> mop class-direct-subclasses
<beach> Yeah.
<pve_> great, I think I understand now
<pve_> thank you
<beach> Pleasure!
<xzax_[m]> beach: i forgot to mention. Im not really learning lisp for building apps more like for (intro to) compilers and stuff like that. Based on that would you change your book recomendation?
<beach> xzax_[m]: Not really. Code like that is going to be a fairly heavy user of CLOS, so PCL is the better choice then.
<beach> I am not sure "Gentle" even mentions classes and generic functions, but I haven't looked for a while.
toorevitimirp has quit [Remote host closed the connection]
<xzax_[m]> Ok. Thanks
<beach> xzax_[m]: Since you are interested in compilers, you may want to know about SICL and Cleavir.
toorevitimirp has joined #lisp
<beach> minion: Please tell xzax_[m] about SICL.
<minion> xzax_[m]: SICL: SICL is a (perhaps futile) attempt to re-implement Common Lisp from scratch, hopefully using improved programming and bootstrapping techniques. See https://github.com/robert-strandh/SICL
<beach> minion: Please tell xzax_[m] about Cleavir.
<minion> xzax_[m]: Cleavir: A project to create an implementation-independent compilation framework for Common Lisp. Currently Cleavir is part of SICL, but that might change in the future
<beach> xzax_[m]: A lot of compiler talk and general talk about implementing Common Lisp is conducted in #sicl these days.
orivej has joined #lisp
<xzax_[m]> Interesting stuff
<beach> Thanks!
<beach> But maybe you want to use Common Lisp to write a compiler for a different language.
<beach> That would be an excellent choice as well.
<beach> It is hard for me to imagine writing something like GCC in C or LLVM in C++.
treflip has quit [Ping timeout: 260 seconds]
<shka_> heh, have you seen clang C++ AST's classes?
<beach> Nope.
<shka_> it is HUGE
<shka_> i mean, number of classes
<beach> I see.
<shka_> it really demonstrates how complex C++ is
<shka_> and how daunting was implementing it in C++
<beach> Ah, yes, that I can understand.
<shka_> without an interactivity
<beach> So it's double suffering. Implementing C++, and using C++ to do it.
<beach> Wow!
<Plazma> Boost is like 5g of libraries
<Plazma> For c++
<Plazma> Or some ungodly thing
<shka_> yup, an amazingly well used human effort ;-)
<shka_> that is off topic though
<shka_> anyway, people as saying that CL is a great language for making a compiler, I can't really tell if it is true because i don't make compilers, but if i would want to make compiler i would try CL first
<shka_> because it is a really good language to do stuff you have no idea how to do
treflip has joined #lisp
<shka_> in other words, CL makes a great learning tool
<beach> xzax_[m]: I'm off for the day, to fix dinner for my (admittedly small) family and then spend time with her. I am sure the other participants can help you if you need it.
mmohammadi9812 has quit [Ping timeout: 264 seconds]
yitzi has joined #lisp
arbv has quit [Quit: ZNC - https://znc.in]
mmohammadi9812 has joined #lisp
arbv has joined #lisp
toorevitimirp has quit [Read error: Connection reset by peer]
aindilis has joined #lisp
v_m_v has quit [Remote host closed the connection]
v_m_v has joined #lisp
IPmonger has quit [Read error: Connection reset by peer]
IPmonger has joined #lisp
v_m_v has quit [Ping timeout: 246 seconds]
IPmonger has quit [Ping timeout: 240 seconds]
IPmonger has joined #lisp
mmohammadi9812 has quit [Ping timeout: 256 seconds]
Jeanne-Kamikaze has joined #lisp
IPmonger has quit [Quit: ZNC 1.7.5+deb4 - https://znc.in]
IPmonger has joined #lisp
davepdotorg has joined #lisp
davepdotorg has quit [Ping timeout: 240 seconds]
Nilby has quit [Read error: Connection reset by peer]
Oladon has quit [Quit: Leaving.]
gravicappa has quit [Ping timeout: 265 seconds]
arbv has quit [Quit: ZNC - https://znc.in]
gravicappa has joined #lisp
arbv has joined #lisp
mmohammadi9812 has joined #lisp
Achylles has joined #lisp
rpg has joined #lisp
shifty has joined #lisp
davepdotorg has joined #lisp
akoana has joined #lisp
<xzax_[m]> beach: ok. Thanks
davepdotorg has quit [Ping timeout: 240 seconds]
IPmonger has quit [Quit: ZNC 1.7.5+deb4 - https://znc.in]
IPmonger has joined #lisp
rpg has quit [Quit: Textual IRC Client: www.textualapp.com]
davepdotorg has joined #lisp
rpg has joined #lisp
rpg has quit [Client Quit]
yitzi has quit [Quit: yitzi]
rpg has joined #lisp
davepdotorg has quit [Ping timeout: 265 seconds]
karlosz has joined #lisp
gaqwas has quit [Remote host closed the connection]
wbooze has quit [Ping timeout: 272 seconds]
Mandus has quit [Ping timeout: 272 seconds]
Inline has quit [Ping timeout: 246 seconds]
Mandus has joined #lisp
EvW has joined #lisp
aartaka has joined #lisp
SaganMan has quit [Read error: Connection reset by peer]
SaganMan has joined #lisp
frgo has joined #lisp
davepdotorg has joined #lisp
davepdotorg has quit [Ping timeout: 240 seconds]
Aurora_v_kosmose has quit [Quit: brb]
tutti has joined #lisp
Lycurgus has joined #lisp
Aurora_v_kosmose has joined #lisp
Oladon has joined #lisp
shifty has quit [Ping timeout: 260 seconds]
gravicappa has quit [Ping timeout: 240 seconds]
tutti has quit [Remote host closed the connection]
treflip has quit [Quit: WeeChat 2.6]
Lycurgus has quit [Quit: Exeunt]
rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rpg has joined #lisp
ggole has quit [Quit: Leaving]
aeth has quit [Ping timeout: 256 seconds]
aeth has joined #lisp
narimiran has quit [Quit: leaving]
user51 has quit [Quit: leaving]
aartaka has quit [Ping timeout: 246 seconds]
rpg has quit [Quit: Textual IRC Client: www.textualapp.com]
aartaka has joined #lisp
EvW has quit [Ping timeout: 240 seconds]
bsd4me has joined #lisp
rotty has quit [Ping timeout: 256 seconds]
aartaka has quit [Ping timeout: 240 seconds]
rotty has joined #lisp
cdegroot has quit [Quit: ZNC 1.6.3+deb1ubuntu0.2 - http://znc.in]
ex_nihilo has joined #lisp
<|3b|> can roswell install sbcl from git, or just released versions?
bsd4me has left #lisp [#lisp]
EvW has joined #lisp
<aeth> shka_: depends on what you want from the compiler... parsers are probably not going to be that mature, but once you parse things into s-expressions, you get a free intermediate format.
davepdotorg has joined #lisp
Jeanne-Kamikaze has quit [Quit: Leaving]
Jeanne-Kamikaze has joined #lisp
davepdotorg has quit [Ping timeout: 240 seconds]
JessicaPurple has quit [Ping timeout: 240 seconds]
mmohammadi9812 has quit [Quit: I quit (╯°□°)╯︵ ┻━┻]
<mfiano> |3b|: ros install sbcl/git?
<|3b|> hmm, tried but failed to install it?
<mfiano> works fine for me
<|3b|> ah, maybe no git on CI server's msys
daphnis has joined #lisp
JessicaPurple has joined #lisp
<mseddon> Sad CI sever is sad.
<mseddon> Without git, CI is meaningless
logo4poop has joined #lisp
<|3b|> there is a git, but it is git for windows, which msys doesn't see or something
<|3b|> getting a bash-like shell on github actions on windows is a bit of a mess currently :/
daphnis has quit [Ping timeout: 260 seconds]
<|3b|> yeah, adding git made it work, but apparently i did that wrong so i should expect it to break randomly at some point (luckily i wasn't planning to actually use this longer than just running it now)
TheInformaticist has joined #lisp
JessicaPurple has quit [Ping timeout: 260 seconds]
Achylles has quit [Quit: Leaving]
<mseddon> :/ may you glass cannon function
<mseddon> Your*
igemnace has quit [Quit: WeeChat 2.9]
luna_is_here has quit [Ping timeout: 240 seconds]
JessicaPurple has joined #lisp
JessicaPurple has quit [Client Quit]
frgo has quit [Remote host closed the connection]
frgo has joined #lisp
SaganMan has quit [Quit: WeeChat 1.6]
<TheInformaticist> de Morgan says, "...in all logical reasoning, the negation is simply negation, and nothing more, never implying affirmation of the contrary," "...since the denial of one, and the affirmation of the other, are obviously equivalent propositions." Yet, in mathematical logic, it would appear that negation is exactly that, since, for instance, to say "not equals," affirms all cases that are false under the condition of "equals." So is
<TheInformaticist> mathematical logic different from traditional logic on this point?
pve_ has quit [Quit: leaving]
<|3b|> isn't that "law of excluded middle" or whatever it is? and what does it have to do with (common) lisp?
<|3b|> (not NIL) is true, (not anything-else) is NIL
<|3b|> and numbers negate as expected
<TheInformaticist> <|3b|>: Everything is about everything.
yonkunas has quit [Quit: Connection closed for inactivity]
madage has quit [Ping timeout: 240 seconds]
<TheInformaticist> He is not tall.
<TheInformaticist> He is very tall.
<aeth> |3b|: most numbers negate as expected. -0.0f0 is counterintuitive unless you're used to floating point
* |3b| didn't say whose expectations :)
random-nick has quit [Ping timeout: 264 seconds]
<aeth> in case anyone is wondering you can get -0 that easily, e.g. (- 0.0d0) => -0.0d0
<aeth> I wasn't sure if 0 was somehow special cased
<aeth> = and ZEROP should, of course, handle things as expected
<|3b|> (pretty sure -0.0 is optional in spec, but probably exists in most current implementations)
<mfiano> Well ieee754 is optional so :)
Aurora_v_kosmose has quit [Remote host closed the connection]
<TheInformaticist> The problem is, that any system that is consistent, will be incomplete, and any system that is complete, will be inconsistent.
Aurora_v_kosmose has joined #lisp
* |3b| doesn't find that to be a problem
<|3b|> (mostly due to not caring about those properties)
<mfiano> incomplete to some, inconsistent to all
<White_Flame> programming is about internally complete models, not externally complete models
<White_Flame> (and even internally complete is often not reached)
<White_Flame> simply to get things working
<|3b|> or about random hacks because we need to ship last week :(
madage has joined #lisp
galex-713 has quit [Ping timeout: 272 seconds]
<aeth> TheInformaticist: it's only really a problem for type systems
<aeth> CL's escape hatch here is to have SATISFIES types which are inefficient and probably not checkable at compile time
galex-713 has joined #lisp
PuercoPop has quit [Ping timeout: 264 seconds]
<TheInformaticist> <aeth>: I see. I only began studying Common Lisp yesterday, though I have studied other Lisps.
EvW has quit [Ping timeout: 272 seconds]
EvW has joined #lisp
Balooga has quit [Read error: Connection reset by peer]
XachX has quit [Read error: Connection reset by peer]
vutral has quit [Read error: Connection reset by peer]
pent has quit [Ping timeout: 240 seconds]
gjnoonan has quit [Read error: Connection reset by peer]
XachX has joined #lisp
chewbranca has quit [Read error: Connection reset by peer]
gjnoonan has joined #lisp
Balooga has joined #lisp
rickygee has joined #lisp
vutral has joined #lisp
pent has joined #lisp
chewbranca has joined #lisp
davepdotorg has joined #lisp
davepdotorg has quit [Read error: Connection reset by peer]
davepdotorg has joined #lisp
davepdotorg has quit [Ping timeout: 240 seconds]
rickygee has quit [Quit: leaving]
Oladon has quit [Quit: Leaving.]
<sveit> hi. maybe I should ask in #sbcl, but i have been trying to compile SBCL on non-rooted Android (through an app called Termux if anyone has experience). By disabling threads, and making some other small modifications to various lisp files to avoid conflicts between "linux" and "android" parts of the build, it gets somewhat far, but fails because the SBCL binary has "text relocations", which are not supported on Android. Do people know how
<sveit> to fix/get around this? Thanks@
<sveit> if anyone has experience with cross-compilation/compilation using the NDK or otherwise, or any other method to get a binary running on bare Android, I'd be very interested as well. I do have SBCL running under a "fake" chroot (called proot), but this is a significantly slower environment.
<sveit> i understand it's thankless, but i wish the documentation for the SBCL build would be a bit better. for example grepping through the source i see various mysterious references to Android/NDK, so I think someone must have already figured it out
remexre has quit [Read error: Connection reset by peer]
davepdotorg has joined #lisp
skapata has quit [Remote host closed the connection]