jackdaniel changed the topic of #commonlisp to: Common Lisp, the #1=(programmable . #1#) programming language | Wiki: <https://www.cliki.net> | IRC Logs: <https://irclog.tymoon.eu/libera/%23commonlisp> | Cookbook: <https://lispcookbook.github.io/cl-cookbook> | Pastebin: <https://plaster.tymoon.eu/>
tibfulv has quit [Remote host closed the connection]
tibfulv has joined #commonlisp
tyson2 has quit [Remote host closed the connection]
wonko-the-sane has joined #commonlisp
tyson2 has joined #commonlisp
hexology has quit [Remote host closed the connection]
hexology has joined #commonlisp
hexology has quit [Remote host closed the connection]
hexology has joined #commonlisp
NicknameJohn has quit [Ping timeout: 245 seconds]
bilegeek has joined #commonlisp
hexology has quit [Remote host closed the connection]
hexology has joined #commonlisp
amb007 has quit [Ping timeout: 264 seconds]
amb007 has joined #commonlisp
hexology has quit [Remote host closed the connection]
hexology has joined #commonlisp
Lord_of_Life has quit [Ping timeout: 258 seconds]
Lord_of_Life has joined #commonlisp
ronald_ has quit [Ping timeout: 255 seconds]
ronald_ has joined #commonlisp
sloanr has joined #commonlisp
chrcav has joined #commonlisp
pfdietz has joined #commonlisp
habamax has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)]
habamax has joined #commonlisp
Pixel_Outlaw has joined #commonlisp
sloanr has quit [Remote host closed the connection]
herjazz has joined #commonlisp
rtypo has quit [Ping timeout: 255 seconds]
tyson2 has quit [Remote host closed the connection]
NicknameJohn has joined #commonlisp
habamax has quit [Ping timeout: 240 seconds]
vjalmr has quit [Ping timeout: 245 seconds]
habamax has joined #commonlisp
bilegeek has quit [Quit: Leaving]
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
terrorjack has joined #commonlisp
jmp0x8000 has joined #commonlisp
jmpeax has quit [Ping timeout: 264 seconds]
rainthree has joined #commonlisp
habamax has quit [Remote host closed the connection]
shka has joined #commonlisp
habamax has joined #commonlisp
rainthree has quit [Ping timeout: 258 seconds]
ryanbw has quit [Ping timeout: 264 seconds]
azimut has quit [Ping timeout: 252 seconds]
rgherdt has joined #commonlisp
Pixel_Outlaw has quit [Quit: Leaving]
bjork1intosh has quit [Remote host closed the connection]
bjork1intosh has joined #commonlisp
semarie has quit [Quit: WeeChat 4.0.4]
pranavats has left #commonlisp [Disconnected: Replaced by new connection]
pranavats has joined #commonlisp
semarie has joined #commonlisp
bjork1intosh has quit [Ping timeout: 258 seconds]
thuna` has joined #commonlisp
bjork1intosh has joined #commonlisp
ronald_ has quit [Ping timeout: 258 seconds]
ronald_ has joined #commonlisp
Cymew has joined #commonlisp
Inline has quit [Quit: Leaving]
jmp0x8000 has quit [Quit: Leaving]
igemnace has joined #commonlisp
rainthree has joined #commonlisp
pve has joined #commonlisp
easye has joined #commonlisp
bendersteed has joined #commonlisp
Inline has joined #commonlisp
Inline has quit [Client Quit]
Inline has joined #commonlisp
mgl has joined #commonlisp
loke has quit [Ping timeout: 258 seconds]
attila_lendvai has joined #commonlisp
rgherdt_ has joined #commonlisp
LW has joined #commonlisp
rgherdt has quit [Ping timeout: 240 seconds]
dino_tutter has joined #commonlisp
_cymew_ has joined #commonlisp
amb007 has quit [Ping timeout: 258 seconds]
habamax has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)]
rainthree has quit [Ping timeout: 248 seconds]
bjorkint0sh has joined #commonlisp
elevenkb has joined #commonlisp
bjork1intosh has quit [Ping timeout: 258 seconds]
msavoritias has joined #commonlisp
anticrisis has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
loke has joined #commonlisp
bjorkint0sh has quit [Remote host closed the connection]
bjorkint0sh has joined #commonlisp
loke has quit [Ping timeout: 258 seconds]
habamax has joined #commonlisp
thuna` has quit [Remote host closed the connection]
loke has joined #commonlisp
bendersteed_ has joined #commonlisp
bendersteed has quit [Ping timeout: 240 seconds]
bendersteed_ is now known as bendersteed
bendersteed_ has joined #commonlisp
bendersteed has quit [Ping timeout: 264 seconds]
bendersteed_ is now known as bendersteed
rtypo has joined #commonlisp
prokhor has quit [Remote host closed the connection]
loke has quit [Ping timeout: 252 seconds]
phantomics has quit [Ping timeout: 240 seconds]
bendersteed has quit [Quit: bendersteed]
chomwitt has joined #commonlisp
bendersteed has joined #commonlisp
tibfulv has quit [Ping timeout: 240 seconds]
tibfulv_ has joined #commonlisp
rainthree has joined #commonlisp
tibfulv_ is now known as tibfulv
loke has joined #commonlisp
rainthree3 has joined #commonlisp
rainthree has quit [Ping timeout: 240 seconds]
random-nick has joined #commonlisp
Inline has quit [Quit: Leaving]
Inline has joined #commonlisp
loke has quit [Ping timeout: 246 seconds]
gxt has quit [Remote host closed the connection]
gxt has joined #commonlisp
azimut has joined #commonlisp
bendersteed has quit [Quit: bendersteed]
bendersteed has joined #commonlisp
rgherdt__ has joined #commonlisp
rgherdt_ has quit [Ping timeout: 264 seconds]
prokhor has joined #commonlisp
loke has joined #commonlisp
tyson2 has joined #commonlisp
Lycurgus has joined #commonlisp
jon_atack has joined #commonlisp
jonatack has quit [Read error: Connection reset by peer]
loke has quit [Ping timeout: 245 seconds]
yitzi has joined #commonlisp
rainthree3 is now known as rainthree
<rainthree> http://metamodular.com/Psychology/miscalculation.html "If any reader has more information related to my observation, or even just observations of their own, I would like to know about it." One very difficult skill to develop is how to *indirectly* help someone realize "on his own" that his habit is bad and costly. Telling someone the back-of-the-envelope calculations directly, works only in exceptional situations for certain persons, very rarely. This
<rainthree> skill is sometimes called "mastery". It involves tricking (in a positive way) the other, just like parents sometimes have to trick the children to do something necessary without telling them: "you must do it", but instead telling some story or lie that will make him think "omg if I don't do it I will be screwed by the consequences of my action"
<ixelp> Cost-effectiveness of learning
dino_tutter has quit [Ping timeout: 264 seconds]
<beach> Interesting observation. I guess they way someone can be tricked depends a lot on that person's personality.
<beach> So one would have to know that person quite well.
<rainthree> yes
markb1 has quit [Ping timeout: 258 seconds]
markb1 has joined #commonlisp
loke has joined #commonlisp
<beach> I haven't given much thought to how to improve things. I have mostly made observations and tried to put concrete values on the observations. I guess in my talks to industry, this information is mostly directed to managers, and I hope they know what to do.
<rainthree> when I was a small child, I had the habit of always putting a finger into my mouth. My father told me to stop doing that but it didn't work. One day we encountered a black neighbor in the elevator and as I was genuinely curious, intrigued, *I asked* my father: "why is he black??". My father thought for some moments how to answer such a difficult (or rather impossible) question.. ? He was struck by an idea. He said: "Because when he was small he would
<rainthree> always put his finger in the mouth. Look what happened, how black he has become..." The neighbor understood the matter immediately, and confirmed: "Yes, it is so.", as my face was expressing amazement "Is it so??? Really??". "I would always put the finger in my mouth and that's how I became black." Then he got out of the elevator.
<beach> Heh! Nice story!
<beach> Software developers might be slightly harder to trick.
loke has quit [Ping timeout: 240 seconds]
dino_tutter has joined #commonlisp
phantomics has joined #commonlisp
<rainthree> perhaps one question is "how to make them afraid?" (Since then, I stopped doing it because as the impulse would appear, I would remember the serious consequences and although it was difficult, I would refrain from doing it.) So it seems inducing/using fear in a positive way is one tactic
<beach> Well, you could threaten to fire a software developer, but that's pretty hard here in Europe at least. Plus, that's probably not much of a threat, because a new job can be found across the street.
habamax has quit [Remote host closed the connection]
dino_tutter has quit [Ping timeout: 252 seconds]
Lycurgus has quit [Quit: Tschüss]
<rainthree> basically it is more or less impossible/very very difficult to convince someone MAKE EFFORT to at least try to change/improve his ways. He would oppose it semi-automatically
<beach> Yet people have burnout from being overworked, and I suspect that is largely because they work in inefficient ways.
<beach> I guess burnout is not sufficiently scary.
<rainthree> haha
<rainthree> for example in a recently friendly discussion about org-mode with a guy, I just mentioned another note taking system called "zettelkasten". And just mentioned that I use it, in a simple text file, using lisp forms and C-M-f and C-M-b to navigate and C-s to search text through them.
<rainthree> this online friend, immediately had a strong reaction.
<mfiano> That's surprising since zettelkasten is just a method of note-taking, not an application; infact there are a few org-mode packages for that workflow.
<rainthree> yes, so it doesn't matter, it's our mind that works in this way, we oppose ideas when they are presented to us in a way that is not tricky / indirect enough
<gilberth> beach: I believe burnout comes from working in an ineffective way.
<rainthree> and I told him about zettelkasten because the entire discussion was about how to improve efficiency, etc
<beach> rainthree: That might be a slightly different, but related, phenomenon that I have also observed. If people have invested heavily in a tool or a programming language, their minds are not ready to be told that there was something better all along.
<rainthree> yes
<beach> rainthree: I observed that one a lot with my students at the time.
<beach> gilberth: Good to know. I have no direct experience. Neither with myself or with my colleagues.
<mfiano> burnout also comes from shifting interests.
<beach> Like "mental swapping"?
<mfiano> Sometimes it's no longer enjoyable to continue trying to solve a problem that demands a lot of work, whether working inefficiently or effectively over a longer period. Not strictly always because it demands a lot of work, but just because the solution it would solve itself is not appealing anymore.
<mfiano> At least is the case for me.
<rainthree> in myself I observed another (related) issue: because I often want to be corrected in order to improve myself and my skills, I got the habit of being too direct. I had the impression that others also want to be corrected because they know the cost of doing things wrong. Wrong impression, they don't know the cost. Very rarely people want to be corrected directly. But, still, there is *much* room for indirect correction... And now I have learned to
<rainthree> communicate differently, I am not as insistent as I used to be in the past
<mfiano> I get "burnt out", switch to something else, and end up revisiting it at a later point to try to annotate why the problem solution is not enjoyable, and reflect from that.
<rainthree> I have started learning the art of saying wrong things - things that the other wants to hear - and only occasionally throwing a "candy" - a correct thing. And it seems he is more willing to catch the "candy"
<rainthree> *the other becomes more willing to catch the "candy"
rgherdt_ has joined #commonlisp
dino_tutter has joined #commonlisp
tyson2 has quit [Remote host closed the connection]
rgherdt__ has quit [Ping timeout: 264 seconds]
<rainthree> mfiano: we often work on hard projects, that in the end prove to be not-as-useful, right?
<mfiano> or we discover that along the way, even after extensive research and design documents created.
<mfiano> or just the way we use computers changes in the meantime
rgherdt__ has joined #commonlisp
loke has joined #commonlisp
rgherdt_ has quit [Ping timeout: 258 seconds]
cage has joined #commonlisp
jmdaemon has quit [Ping timeout: 260 seconds]
herjazz has quit [Quit: leaving]
jmdaemon has joined #commonlisp
NicknameJohn has quit [Ping timeout: 260 seconds]
waleee has joined #commonlisp
lagash has quit [Ping timeout: 252 seconds]
tyson2 has joined #commonlisp
waleee has quit [Ping timeout: 258 seconds]
parjanya has quit [Ping timeout: 258 seconds]
Cymew has quit [Ping timeout: 240 seconds]
bjorkint0sh has quit [Read error: Connection reset by peer]
NicknameJohn has joined #commonlisp
zacque has joined #commonlisp
bjorkintosh has joined #commonlisp
bjorkintosh has joined #commonlisp
bjorkintosh has quit [Changing host]
zacque has quit [Client Quit]
zacque has joined #commonlisp
zacque has quit [Client Quit]
kevingal has joined #commonlisp
igemnace has quit [Read error: Connection reset by peer]
NicknameJohn has quit [Ping timeout: 248 seconds]
jjnkn has joined #commonlisp
loke has quit [Quit: ZNC - http://znc.in]
rgherdt__ has quit [Remote host closed the connection]
bendersteed has quit [Quit: bendersteed]
rgherdt__ has joined #commonlisp
son0p has quit [Ping timeout: 264 seconds]
iska has joined #commonlisp
chomwitt has quit [Remote host closed the connection]
dlowe has joined #commonlisp
pyooque has joined #commonlisp
puke has quit [Killed (molybdenum.libera.chat (Nickname regained by services))]
pyooque is now known as puke
puke has quit [Max SendQ exceeded]
puke has joined #commonlisp
igemnace has joined #commonlisp
pfdietz has quit [Quit: Client closed]
loke has joined #commonlisp
_cymew_ has quit [Ping timeout: 244 seconds]
NicknameJohn has joined #commonlisp
yitzi has quit [Ping timeout: 240 seconds]
amb007 has quit [Ping timeout: 255 seconds]
amb007 has joined #commonlisp
loke has quit [Ping timeout: 252 seconds]
tyson2 has quit [Remote host closed the connection]
yitzi has joined #commonlisp
pfdietz has joined #commonlisp
<jjnkn> where can i find sources of projects included in Quicklisp? or at least URLs to their home pages
<ixelp> Quicklisp beta releases
<ixelp> GitHub - quicklisp/quicklisp-projects: Metadata for projects tracked by Quicklisp.
puke has quit [Ping timeout: 240 seconds]
lagash has joined #commonlisp
loke has joined #commonlisp
NicknameJohn has quit [Ping timeout: 244 seconds]
dino_tutter has quit [Ping timeout: 258 seconds]
kevingal has quit [Ping timeout: 264 seconds]
yitzi has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
yitzi has joined #commonlisp
NotThatRPG has joined #commonlisp
<jcowan> rainthree: to be quite direct about it, I think your father was very wrong to lie to you about such a matter. You would have age-graded out of putting your finger in your mouth soon enough (as I know from my daughter and grandchildren), and the implication was that your neighbor was black as a consequence for his bad behavior: i.e. as a punishment.
<rainthree> no, I did not perceive it being "a punishment"
<rainthree> punishment means someone punishes you because you didn't do what he requested you to do
igemnace has quit [Remote host closed the connection]
<rainthree> I actually would have proceeded as you described, I would not have lied because I don't really care about my child doing that or not. Lying to the child can indeed be dangerous
Lycurgus has joined #commonlisp
<rainthree> in this context it turned it was not dangerous, the only effect it had on me is that I thought it's some natural law, so I refrained from putting the finger into the mouth, just in case...
<rainthree> *it turned out
Inline has quit [Ping timeout: 248 seconds]
<rainthree> this specific lie had no other effects, no negative impact on me. On the other hand the lie that Santa exists, had negative impacts on me
<Lycurgus> it didn make u even more racist?
<rainthree> I was never racist
<Lycurgus> do i have to play woke polizei here and point out that ur lil vignette depicted blackness as a punishment?
<rainthree> my father used to ask me laughingly : "Aren't you racist? When you were very young you were afraid not to become black".
<bike> This seems kind of off-topic. There's #lispcafe if you want to continue this discussion in a more appropriate venue.
<Lycurgus> ikr? I was surprised to see it still goin
<rainthree> Lycurgus, still you contradicted me and participated to it. Contradict me in lispcafe
* Lycurgus demurs, but ty
<rainthree> if you're so sure about your perception and your understanding of the matter. Don't escape, contradict and show how correct your conclusion that I am a racist was
son0p has joined #commonlisp
Inline has joined #commonlisp
<Lycurgus> i'll engage on lisp stuffs, will that do?
<bike> You can both escape to #lispcafe. If you're going to have a slapfight do it there or in privmsgs.
<rainthree> by the way beach is not there that's why I did not start the discussion there
Lycurgus has quit [Quit: Tschüss]
<bike> Okay. Nobody's in trouble or anything. I am just telling you to stop this discussion here. Or at least bring it back to the software development type stuff beach's pages are more about.
chomwitt has joined #commonlisp
* contrapunctus reads "slapfight" and pictures two cats slapping each each other
<rainthree> "How well **** explained in many speeches if you follow logic strictly, without intelligence, you misunderstand many things. You draw logical but idiotic conclusions."
<copec> mfiano I get burnt out all the time. I think one of the "problems" with lisp is that code can *always* be pushed in a better direction rather than reach some sort of nexus. Most other languages are a lego set and once assembled that's about as good as it can get...
<mfiano> and you don't even have to have someone stomp on your creation to rewrite it in rust
yitzi has quit [Ping timeout: 255 seconds]
<copec> Rust is just super gluing it together after it was stomped on
wonko-the-sane has quit [Ping timeout: 252 seconds]
<mfiano> if other languages are legos, Common Lisp is sawdust and glue. Take that how you see fit.
<bjorkintosh> copec, if you picked a style, would it help?
rgherdt__ is now known as rgherdt
yitzi has joined #commonlisp
tyson2 has joined #commonlisp
yitzi has quit [Ping timeout: 258 seconds]
yitzi has joined #commonlisp
parjanya has joined #commonlisp
dino_tutter has joined #commonlisp
waleee has joined #commonlisp
<copec> mfiano, I see a meme about CL == wet particle board
yitzi has quit [Ping timeout: 264 seconds]
jjnkn has quit [Quit: leaving]
kevingal has joined #commonlisp
waleee has quit [Ping timeout: 258 seconds]
waleee has joined #commonlisp
amb007 has quit [Ping timeout: 258 seconds]
amb007 has joined #commonlisp
ryanbw has joined #commonlisp
yitzi has joined #commonlisp
mgl has quit [Ping timeout: 240 seconds]
parjanya has quit [Ping timeout: 264 seconds]
tyson2 has quit [Remote host closed the connection]
Alfr has quit [Ping timeout: 252 seconds]
amb007 has quit [Ping timeout: 245 seconds]
amb007 has joined #commonlisp
Gleefre has joined #commonlisp
yitzi has quit [Ping timeout: 240 seconds]
amb007 has quit [Ping timeout: 255 seconds]
amb007 has joined #commonlisp
ronald has quit [Ping timeout: 240 seconds]
ronald_ has quit [Ping timeout: 252 seconds]
pfdietz has quit [Quit: Client closed]
ronald has joined #commonlisp
waleee has quit [Ping timeout: 245 seconds]
ronald_ has joined #commonlisp
zxcvz has joined #commonlisp
zxcvz has quit [Client Quit]
_cymew_ has joined #commonlisp
msavoritias has quit [Remote host closed the connection]
waleee has joined #commonlisp
Posterdati has quit [Remote host closed the connection]
Posterdati has joined #commonlisp
Gleefre has quit [Ping timeout: 245 seconds]
Gleefre has joined #commonlisp
Gleefre has quit [Remote host closed the connection]
zxcvz has joined #commonlisp
Gleefre has joined #commonlisp
zxcvz has quit [Client Quit]
jmdaemon has quit [Ping timeout: 260 seconds]
rainthree has quit [Quit: see you all later]
amb007 has quit [Ping timeout: 240 seconds]
amb007 has joined #commonlisp
waleee has quit [Ping timeout: 258 seconds]
jmdaemon has joined #commonlisp
yitzi has joined #commonlisp
NicknameJohn has joined #commonlisp
jmdaemon has quit [Ping timeout: 258 seconds]
tyson2 has joined #commonlisp
akoana has joined #commonlisp
kevingal has quit [Ping timeout: 258 seconds]
waleee has joined #commonlisp
waleee has quit [Ping timeout: 240 seconds]
akoana has quit [Quit: leaving]
waleee has joined #commonlisp
Gleefre has quit [Remote host closed the connection]
jmdaemon has joined #commonlisp
<pl> CL can be, at times, a magically given life big ball of timey-wimey string
* pl finally macroexpanded his way to /why/ he was getting "standard-generic-function can't be dumped into fasl"
waleee has quit [Ping timeout: 264 seconds]
waleee has joined #commonlisp
NicknameJohn has quit [Ping timeout: 240 seconds]
jon_atack has quit [Ping timeout: 245 seconds]
jmdaemon has quit [Ping timeout: 260 seconds]
shka has quit [Ping timeout: 244 seconds]
jonatack has joined #commonlisp
tyson2 has quit [Remote host closed the connection]
pfdietz has joined #commonlisp
_cymew_ has quit [Ping timeout: 258 seconds]
NicknameJohn has joined #commonlisp
jmdaemon has joined #commonlisp
NicknameJohn has quit [Ping timeout: 240 seconds]
yitzi has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
vjalmr has joined #commonlisp
yitzi has joined #commonlisp
pieguy128_ has joined #commonlisp
pieguy128 has quit [Ping timeout: 255 seconds]
Alfr has joined #commonlisp
pve has quit [Quit: leaving]
dlowe has quit [Ping timeout: 246 seconds]
cage has quit [Quit: rcirc on GNU Emacs 29.1]
micro has quit [Ping timeout: 240 seconds]
micro has joined #commonlisp
tyson2 has joined #commonlisp
NicknameJohn has joined #commonlisp
son0p has quit [Quit: Bye]
yitzi has quit [Remote host closed the connection]
rgherdt has quit [Quit: Leaving]
Gleefre has joined #commonlisp
gooba has joined #commonlisp
son0p has joined #commonlisp
vjalmr_ has joined #commonlisp
vjalmr has quit [Ping timeout: 252 seconds]
chomwitt has quit [Ping timeout: 240 seconds]
habamax has joined #commonlisp
vjalmr_ has quit [Quit: Terminated!]
vjalmr has joined #commonlisp
dirtcastle has quit [Ping timeout: 246 seconds]
attila_lendvai has quit [Ping timeout: 240 seconds]
LW has quit [Quit: WeeChat 3.8]
dino_tutter has quit [Ping timeout: 258 seconds]
Pixel_Outlaw has joined #commonlisp
dirtcastle has joined #commonlisp
ixelp has quit [Ping timeout: 258 seconds]
gilberth has quit [Ping timeout: 244 seconds]
jmdaemon has quit [Ping timeout: 240 seconds]
anticrisis has joined #commonlisp
vjalmr has quit [Quit: Terminated!]
ixelp has joined #commonlisp
pfdietz has quit [Quit: Client closed]
gooba_ has joined #commonlisp
gooba_ has quit [Remote host closed the connection]
puke has joined #commonlisp
Gleefre has quit [Remote host closed the connection]
cdegroot has quit [Read error: Connection reset by peer]
cdegroot has joined #commonlisp