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/>
donleo has quit [Ping timeout: 256 seconds]
jon_atack has joined #commonlisp
jonatack has quit [Read error: Connection reset by peer]
shka has quit [Ping timeout: 252 seconds]
random-nick has quit [Ping timeout: 252 seconds]
rtypo has quit [Ping timeout: 256 seconds]
cladur_ has joined #commonlisp
cladur has quit [Ping timeout: 268 seconds]
dnhester26 has quit [Remote host closed the connection]
eddof13 has quit [Quit: eddof13]
Volt_ has joined #commonlisp
cladur_ has quit [Remote host closed the connection]
cladur has joined #commonlisp
dnhester26 has joined #commonlisp
cladur has quit [Ping timeout: 256 seconds]
jonatack has joined #commonlisp
jon_atack has quit [Read error: Connection reset by peer]
epony has joined #commonlisp
Inline has joined #commonlisp
ym has joined #commonlisp
ronald has quit [Ping timeout: 256 seconds]
ronald has joined #commonlisp
Gleefre has joined #commonlisp
Inline has quit [Quit: Leaving]
cool has joined #commonlisp
tyson2 has quit [Remote host closed the connection]
azimut has joined #commonlisp
cladur has joined #commonlisp
cool has quit [Quit: cool]
Volt_ has quit [Quit: ]
edr has quit [Quit: Leaving]
X-Scale has joined #commonlisp
nalbyuites has joined #commonlisp
waleee has quit [Ping timeout: 240 seconds]
bubblegum has joined #commonlisp
cool has joined #commonlisp
X-Scale has quit [Quit: Client closed]
cool has quit [Remote host closed the connection]
Lycurgus has quit [Quit: leaving]
cool has joined #commonlisp
cool has quit [Remote host closed the connection]
cool has joined #commonlisp
cladur has quit [Remote host closed the connection]
igemnace has quit [Read error: Connection reset by peer]
cool has quit [Remote host closed the connection]
dcb has quit [Quit: MSN Messenger 4.1.2]
<beach> lispmacs[work]: You can use an adjustable vector as a circular list, and only resize when it gets full or less than 25% full. In fact, you can use the Flexichain library for that. It can be used as a FIFO with good performance.
igemnace has joined #commonlisp
ronald_ has joined #commonlisp
ronald has quit [Read error: Connection reset by peer]
decweb has quit [Ping timeout: 240 seconds]
<beach> When I created the Flexichain library, I was not very experienced with modularity in Common Lisp, so I am not proud of the names of the protocol functions, and I might redo it some day. But otherwise, the library is extensively tested, so I am fairly confident it works.
<beach> The library hasn't been modified for years, which would make some of the people who use software written in languages that evolve think it is abandoned. But it is just that there has been no particular reason to change it.
nalbyuites007 has joined #commonlisp
Oladon has joined #commonlisp
nalbyuites has quit [Ping timeout: 245 seconds]
nalbyuites has joined #commonlisp
cool has joined #commonlisp
nalbyuites007 has quit [Ping timeout: 252 seconds]
cool has quit [Remote host closed the connection]
zetef has joined #commonlisp
chomwitt has joined #commonlisp
nalbyuites has quit [Ping timeout: 255 seconds]
dcb has joined #commonlisp
zetef has quit [Ping timeout: 260 seconds]
Pixel_Outlaw has quit [Remote host closed the connection]
pve has joined #commonlisp
meritamen has joined #commonlisp
Cymew has joined #commonlisp
AetherWind has joined #commonlisp
cladur has joined #commonlisp
nalbyuites has joined #commonlisp
mgl has joined #commonlisp
nalbyuites has quit [Ping timeout: 246 seconds]
cladur has quit [Ping timeout: 245 seconds]
shka has joined #commonlisp
varjag has joined #commonlisp
mgl has quit [Ping timeout: 256 seconds]
Oladon has quit [Quit: Leaving.]
cladur has joined #commonlisp
bubblegum has quit [Ping timeout: 245 seconds]
bubblegum has joined #commonlisp
_cymew_ has joined #commonlisp
olnw has joined #commonlisp
cladur has quit [Ping timeout: 260 seconds]
mgl has joined #commonlisp
cladur has joined #commonlisp
traidare has joined #commonlisp
cladur has quit [Ping timeout: 255 seconds]
herjazz has joined #commonlisp
ym has quit [Remote host closed the connection]
varjag has quit [Ping timeout: 246 seconds]
cladur has joined #commonlisp
Inline has joined #commonlisp
cladur has quit [Ping timeout: 260 seconds]
pranavats has left #commonlisp [Disconnected: Received SIGTERM]
pranavats has joined #commonlisp
khrbtxyz has quit [Ping timeout: 256 seconds]
rendar has quit [Quit: Leaving]
khrbtxyz has joined #commonlisp
cladur has joined #commonlisp
bendersteed has quit [Quit: bendersteed]
bendersteed has joined #commonlisp
cladur has quit [Ping timeout: 246 seconds]
ym has joined #commonlisp
donleo has joined #commonlisp
rendar has joined #commonlisp
alfplayer has joined #commonlisp
cladur has joined #commonlisp
treflip has joined #commonlisp
Lord_of_Life_ has joined #commonlisp
Lord_of_Life has quit [Ping timeout: 268 seconds]
Lord_of_Life_ is now known as Lord_of_Life
cladur has quit [Ping timeout: 260 seconds]
danse-nr3 has joined #commonlisp
cladur has joined #commonlisp
meritamen has quit [Quit: Client closed]
Gleefre has quit [Ping timeout: 250 seconds]
cladur has quit [Ping timeout: 260 seconds]
beach has quit [Read error: Connection reset by peer]
beach has joined #commonlisp
beach has quit [Remote host closed the connection]
dino_tutter has joined #commonlisp
dnhester26 has quit [Remote host closed the connection]
dnhester26 has joined #commonlisp
rtypo has joined #commonlisp
cladur has joined #commonlisp
cladur has quit [Ping timeout: 245 seconds]
beach has joined #commonlisp
cladur has joined #commonlisp
snits_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
bubblegum has quit [Remote host closed the connection]
meritamen has joined #commonlisp
jon_atack has joined #commonlisp
jonatack has quit [Read error: Connection reset by peer]
bubblegum has joined #commonlisp
meritamen has quit [Quit: Client closed]
mooseball has joined #commonlisp
meritamen has joined #commonlisp
bendersteed has quit [Quit: bendersteed]
madnificent has quit [Remote host closed the connection]
yitzi has joined #commonlisp
dajole has quit [Quit: Connection closed for inactivity]
cladur has quit [Ping timeout: 252 seconds]
madnificent has joined #commonlisp
cladur has joined #commonlisp
bubblegum has quit [Remote host closed the connection]
dino_tutter has quit [Ping timeout: 256 seconds]
cladur has quit [Ping timeout: 255 seconds]
bubblegum has joined #commonlisp
danse-nr3 has quit [Ping timeout: 245 seconds]
Guest93 has joined #commonlisp
mulk has quit [Ping timeout: 276 seconds]
cladur has joined #commonlisp
mulk has joined #commonlisp
cladur has quit [Ping timeout: 246 seconds]
zxcvz has joined #commonlisp
zxcvz has quit [Client Quit]
jmdaemon has joined #commonlisp
cladur has joined #commonlisp
mooseball has quit [Quit: Leaving]
cladur has quit [Ping timeout: 276 seconds]
varjag has joined #commonlisp
dino_tutter has joined #commonlisp
cladur has joined #commonlisp
cladur has quit [Ping timeout: 252 seconds]
cladur has joined #commonlisp
beach has quit [Read error: Connection reset by peer]
Guest93 has quit [Ping timeout: 250 seconds]
igemnace has quit [Read error: Connection reset by peer]
beach has joined #commonlisp
decweb has joined #commonlisp
cladur has quit [Ping timeout: 256 seconds]
tyson2 has joined #commonlisp
epony has quit [Remote host closed the connection]
attila_lendvai has quit [Remote host closed the connection]
attila_lendvai has joined #commonlisp
Algernon69 has joined #commonlisp
cladur has joined #commonlisp
igemnace has joined #commonlisp
cladur has quit [Ping timeout: 268 seconds]
Algernon69 has quit [Ping timeout: 256 seconds]
meritamen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
meritamen has joined #commonlisp
random-nick has joined #commonlisp
X-Scale has joined #commonlisp
cladur has joined #commonlisp
AetherWind has quit [Ping timeout: 264 seconds]
AetherWind has joined #commonlisp
meritamen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
beach has quit [Remote host closed the connection]
beach has joined #commonlisp
cladur has quit [Remote host closed the connection]
cladur has joined #commonlisp
cladur has quit [Remote host closed the connection]
meritamen has joined #commonlisp
herjazz has quit [Quit: leaving]
easye has quit [Remote host closed the connection]
dino_tutter has quit [Ping timeout: 252 seconds]
danse-nr3 has joined #commonlisp
danse-nr3 has quit [Remote host closed the connection]
cladur has joined #commonlisp
easye has joined #commonlisp
danse-nr3 has joined #commonlisp
notzmv has quit [Ping timeout: 245 seconds]
cladur has quit [Ping timeout: 260 seconds]
<jcowan> beach: I've been thinking about your repeated claims that languages without standards are unacceptable for professional work (if I understand you correctly)
<beach> And I am sure you don't agree.
<jcowan> C++ is standardized by ISO, which is as standardized as you can get, yet there have been 6 standard versions in 22 years
<beach> I never said that every language with a standard *is* acceptable.
<jcowan> I'm not speaking here of the content of the standard
<beach> I never said that the fact that a language has a standard makes it acceptable.
<jcowan> presumably what's good about standards is stability and vendor-independence, do we agree on that?
<beach> Those are important, yes.
rainthree has joined #commonlisp
<jcowan> so my point is that standardizing by a standards organization guarantees neither: they arise from the attitude of the community.
dcb has quit [Quit: MSN Messenger 4.1.2]
<beach> And, I repeat, I never said that. You are turning the implication arrow around.
danse-nr3 has quit [Ping timeout: 245 seconds]
<beach> I just said that a language *without* a standard has the problems I often repeat, and I have never said that a language *with* a standard lacks those problems.
notzmv has joined #commonlisp
<jcowan> So if CL ceased to be standardized by ANSI it would in your view develop the problems in question?
<jcowan> Because we are very close to that now. The dead minimum to expect from a standards body is that you can order the standard from it.
<beach> I never mentioned ANSI by name.
<jcowan> You didn't mention CL by name either, as far as I recall.
<jcowan> so if CL is not an exemplar of a standardsized language, what language did you have in mind
<beach> Your question contained ANSI. So the answer to your question is "no", it is not the fact that Common Lisp is standardized by ANSI that is important. It could be standardized by some other organization.
<jcowan> ?
<jcowan> But it is not.
<beach> I never said that the fact that you can't order the standard from ANSI is a minimum requirement. You did.
<beach> You are putting words in my mouth and then you draw conclusions from them that you think I am obliged to share.
<jcowan> I am not trying to prove you inconsistent or even wrong, though it may look that way. I am trying to understand the basis of your thinking by asking (admittedly somewhat leading) questions.
<beach> It sure looks like a strawman to me.
ym has quit [Ping timeout: 245 seconds]
<beach> Furthermore, I think I always used the term "independent standard" meaning that the standard is created by an organization that separate from the one controlling the only or major implementation of it.
<beach> *that is separate
<jcowan> What kind of orgaanization?
<beach> And ANSI is not the only possible independent organization.
<beach> I think I used the term "reputable organization".
<jcowan> (Given the evidence of the OOXML standard, which is not even implementable without reference to Microsoft products, wwe are in the position of saying that ISO itself is not a reputable standards organization, I think. But that's by the way.)
<beach> It is really hard for me to believe that you haven't understood the point I am making after such a long time, given that you seem to be a smart person.
<yitzi> Personally, since there are some very good open source CL implementations now, a new "reputable organization" is composed of the individuals who are active in those implementations and WSCL, s-expressionsists, etc. We don't need ANSI, IMHO.
<beach> I have also not said that every standard published by a reputable organization is a good one.
<beach> Again, you are turning the implication arrow around.
<jcowan> yitzi: I agree. Unfortunately, there are people (beach has not said if he is one) who reserve the term "standard" for the work product of international or national standards bodies.
<beach> jcowan: I have never mentioned any international or national standards bodies.
<jcowan> Then how do you define the term "standard"?
<beach> For a programming language, a detailed specification of the syntax and semantics of the language, including mention of unspecified situations, consequences when a program or an implementation is not conforming.
<beach> jcowan: Maybe you don't know this, but there is no particular legal status for standards organizations. Anyone can create a company or an association and include "standards organization" in the name.
<beach> yitzi: Whether that would be a "reputable" organization would be up to others, of course.
cladur has joined #commonlisp
<yitzi> beach: True. Obviously there needs to be an organized committee with proposals and an actual produced standard, but there is nothing stopping us from starting one modulo time, interest ....
<beach> Absolutely.
<yitzi> I don't think we can do much about adoption in Allegro and LispWorks, but the barrier to adoption by the open source implementations is very low, i.e. just write the code and submit a PR.
<jcowan> There most certainly is a legal definition in the U.S. for a standards-defining organization. Otherwise it would be an illegal conspiracy in restraint of trade.
<beach> yitzi: Sure.
<scymtym> sounds to me like it could be easier to directly define properties of acceptable standard documents and standadization processes rather than including the organization in the definition. would be harder to talk about concepts like indepdence in that framework, of course
<jcowan> As Kent Pitman said the other night in his talk, the ANSI people told him and other CL participants that the main job of a standards organization is not being sued, and actually defining standards comes after that.
cladur has quit [Ping timeout: 264 seconds]
<beach> jcowan: If you find that legal definition, I would like to see it. But again, I have never restricted my opinions to such standards-defining organizations.
<beach> All I have said is "independent" and "reputable".
dcb has joined #commonlisp
<yitzi> I suspect that if there is no "trade" component to the standard or restriction in use or reproduction then the legal aspects are moot.
<scymtym> there could be other legal aspects if a standard is intended to be referenced in actual laws
olnw has quit [Quit: Leaving.]
tyson2 has quit [Remote host closed the connection]
<yitzi> True
<beach> So let me state my opinion one more time.
<beach> If a programming "language" does not have an "independent standard", meaning that the definition of the language is made by an organization that is tightly coupled with the organization that creates the only or the major implementation of that "language", then the use of that language in a professional project is risky, because the "language" may evolve in ways that make the code of the project break or at least require unplanned
<beach> So then, the project should also make a risk analysis that contains the cost to the project of such an evolution, and actions that can be taken to minimize the risk, such as also creating a team of language-implementation experts that can maintain an implementation of the version of the standard that the project was based on.
<jcowan> Per 42 U.S. Code § 1320d, the term “standard setting organization” means a standard setting organization accredited by the American National Standards Institute, including the National Council for Prescription Drug Programs, that develops standards for information transactions, data elements, or any other standard that is necessary to, or will facilitate, the implementation of this part [of the law].
<jcowan> Unfortunately, this definition is circular.
<beach> Still, good to know that it exists.
<bike> that's in the pretty specific context of health data for social security purposes.
<bike> I don't think (and honestly, I really doubt) that there is a law saying you can't promulgate a standard without ANSI accreditation, not least because ANSI is a private organization.
<bike> at least in the US. no idea about anywhere else.
<beach> I am sure it's the same in most other places.
<yitzi> Pretty sure that is a statute not actually a law.
<bike> those are the same thing actually.
meritamen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
cladur has joined #commonlisp
<yitzi> I think you could find some pretty amazing delegations to "private" organizations in US statutes. Most of which is completely untested in court.
<bike> oh, absolutely.
<bike> they don't even have to make stuff freely available, even if it's part of the law or regulations. it's pretty bad.
<bike> I would be interested in seeing any case where a judge ruled that a promulgated standard constituted an illegal cartel.
<yitzi> Yeah, so I would conclude that unless there is case law that the statutes are meaningless.
<bike> well the thing is this statute (42 USC 1320d) doesn't say anything remotely like that it's illegal to promulgate a standard. It's just defining what kinds of standards the HHS Secretary can adopt as part of federal regulations.
<bike> And even then the secretary can make arbitrary modifications, or make something up if no standard is available.
meritamen has joined #commonlisp
<aeth> that's definitely the major downside of the new image format
<bike> (that's 1320d-1(c))
cladur has quit [Ping timeout: 276 seconds]
<bike> and, to be clear, this definition of a standard setting organization is stated to only apply to this part, i.e. to 42 USC 1320, which is the "administrative simplification" setting of the law on social security.
<bike> which in turn sort of implies there's no more global definition in the US Code, although i wouldn't put it past legislators to have put in redundant definitions because they forgot they already defined something
cage has joined #commonlisp
<bike> so this is all really far afield from common lisp.
<aeth> JPEG XL seems nice, but it's 208 CHF (roughly the same in USD or EUR) for one of the standards documents (do you need more? who knows!) if you wanted to write a CL library for it!
<bike> christ. what a racket. an accredited racket, no less.
tyson2 has joined #commonlisp
<beach> scymtym: The definition of an "acceptable standards document" would be an "only of" and not and "if and only if".
<aeth> bike: and yet all other new image formats are based on video formats (including WebP and AVIF) and/or are patented
X-Scale has quit [Quit: Client closed]
<beach> aeth: Standards organization are often financed, at least in part, form the sales of their documents.
<aeth> yes
<beach> scymtym: GAH! "only if" I mean.
robin has quit [Ping timeout: 245 seconds]
<bike> let's see, here's another legaly thing... 21 CFR 10.95(d) is about the situations in which an FDA employee may participate in non-FDA standardization operations. it doesn't define what kind of organizations can be involved, e.g. does not mention ANSI, instead only giving some requirements like that the organization can't be for price fixing.
<yitzi> So FDA employees can't be involved in price fixing of non-FDA related products like automobile tires, but other gov employees can? ;)
<bike> heck, maybe.
<aeth> And maybe 210 $/€ is fair if it's a full library, but I mostly just want to (for now) parse parts of it to see what's going on. Most image formats these days are very complex, to the point where there's essentially multiple types of things under one extension.
cladur has joined #commonlisp
<bike> i just found ANSI's own "why bother with us" page, which doesn't mention legal compulsion, but does talk about how it can be useful they are for dealing with the WTO, with what sounds like a question of fending off cartel accusations https://www.ansi.org/american-national-standards/ans-introduction/overview
<bike> and i think that's enough pretending i'm a paralegal for the moment
<lispmacs[work]> beach: okay, thanks, I'll take a look at that
<jcowan> bike: someone has to pay for all those meetings, secretarial support, etc. etc.
<jcowan> bike: Yes, that one is, but definitions do get copied from one statute to the next
<bike> sure, but i don't see it in any other statutes.
<bike> based on my extensive ten minutes of searching
cladur has quit [Ping timeout: 246 seconds]
<beach> lispmacs[work]: Good luck!
<beach> bike: Heh!
beach has quit [Remote host closed the connection]
beach has joined #commonlisp
X-Scale has joined #commonlisp
eddof13 has joined #commonlisp
X-Scale has quit [Client Quit]
beach has quit [Remote host closed the connection]
beach has joined #commonlisp
Jach has quit [Ping timeout: 252 seconds]
cladur has joined #commonlisp
Jach has joined #commonlisp
traidare has quit [Ping timeout: 255 seconds]
Inline has quit [Quit: Leaving]
cladur has quit [Ping timeout: 245 seconds]
waleee has joined #commonlisp
beach has quit [Read error: Connection reset by peer]
X-Scale has joined #commonlisp
szkl has quit [Quit: Connection closed for inactivity]
beach has joined #commonlisp
danse-nr3 has joined #commonlisp
danse-nr3 has quit [Remote host closed the connection]
danse-nr3 has joined #commonlisp
beach has quit [Read error: Connection reset by peer]
cladur has joined #commonlisp
beach has joined #commonlisp
cladur has quit [Ping timeout: 256 seconds]
ym has joined #commonlisp
cdegroot has quit [Remote host closed the connection]
meritamen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Cymew has quit [Ping timeout: 264 seconds]
_cymew_ has quit [Ping timeout: 260 seconds]
<lispmacs[work]> beach: I'm having some trouble getting the flexichain documentation built, because I can't seem to find the mktexfmt program in my distro
<lispmacs[work]> I've got a package that provides fmtutil, but not mktexfmt
cladur has joined #commonlisp
<lispmacs[work]> maybe you could send me the PDF?
manwithluck has quit [Ping timeout: 252 seconds]
cladur has quit [Ping timeout: 245 seconds]
dnhester26 has quit [Remote host closed the connection]
prokhor_ has quit [Read error: Connection reset by peer]
<lispmacs[work]> well, looks like the tex file is somewhat human readable
<lispmacs[work]> might be good enough
prokhor has joined #commonlisp
Pixel_Outlaw has joined #commonlisp
<beach> Thanks for letting me know about the documentation. I'll try to see what I can do, but perhaps not today.
<beach> I'll see what I can do about the build.
X-Scale45 has joined #commonlisp
<lispmacs[work]> beach: okay, thanks. the raw LaTeX is not too difficult to read
<lispmacs[work]> though the PDF looks nice
X-Scale has quit [Ping timeout: 250 seconds]
<beach> Hmm, I have to trace of a mktexfmt program referred to in my repository.
<beach> Did you get flexichain from Quicklisp?
<lispmacs[work]> beach: it is available as a package in my distro: the sbcl-flexichain package in Guix repository
<lispmacs[work]> I'm loading it through asdf
<lispmacs[work]> I haven't learned about quicklisp yet
<lispmacs[work]> the guix package does not build the documentation, so I was trying to do that myself
<beach> I have no idea what sbcl-flexichain is.
<lispmacs[work]> in guix, each CL package gets put into a package for the different compiler systems available
<beach> You should just be able so say (ql:quickload "flexichain")
<lispmacs[work]> sbcl-flexichain, ecl-flexichain, etc
cladur has joined #commonlisp
<beach> Maybe the Guix packager introduced mktexfmt, because I don't recognize it at all.
<lispmacs[work]> beach: https://bpa.st/XATQ
<ixelp> View paste XATQ
manwithluck has joined #commonlisp
rainthree has quit [Read error: Connection reset by peer]
<beach> Never seen it.
rainthree has joined #commonlisp
<beach> Anyway, you have the PDF.
<lispmacs[work]> okay, thanks. maybe somebody I'll take some more time to learn about LaTeX and figure out what has gone wrong here
<beach> To use it as a queue, you can use the push-end and pop-start operations.
<beach> Or the other way around.
cladur has quit [Ping timeout: 268 seconds]
rainthree has quit [Read error: Connection reset by peer]
<beach> The documentation delivered in the Quicklisp distribution also does not build, by the way.
<lispmacs[work]> beach: when you pop-start/push-end, does it just update a pointer? or does it shift stuff around?
rainthree has joined #commonlisp
dnhester26 has joined #commonlisp
<beach> It does not move the data.
<beach> It will keep a vector as a circular buffer.
<lispmacs[work]> beach: does the data wrap around the chain? how does it deal with wrap around when the chain has to be resized?
cladur has joined #commonlisp
dino_tutter has joined #commonlisp
<beach> Yes, the data wraps around, so that the gap (the empty zone) can be partly at the beginning an partly at the end of the vector.
<beach> When the vector is resized, it preserves the position of the gap.
<beach> It is particularly efficient to use a Flexichain as a stack or a queue, but the operations that insert/delete elements anywhere are fairly efficient as well, especially if there is some spatial locality in the operations.
koditals has joined #commonlisp
koditals has quit [Remote host closed the connection]
markb1 has quit [Ping timeout: 246 seconds]
<lispmacs[work]> I see there are some diagrams here in the PDF so I am looking at that
koditals has joined #commonlisp
<beach> Oh, right.
<lispmacs[work]> I need it is a FIFO queue
<beach> Right.
markb1 has joined #commonlisp
<beach> On the average, you won't save any space compared to a list, but you will save a lot in allocation and garbage collection.
<beach> The reason you won't save any space is that, on the average, half the space in the vector is the gap. So that's the same as having a list of CONS cells where every cell contains a pointer to the next one.
dnhester26 has quit [Remote host closed the connection]
josrr has joined #commonlisp
dnhester26 has joined #commonlisp
<josrr> lispmacs[work]: in Debian the package texlive-base contains mktexfmt
<ixelp> Using TeX and LaTeX (GNU Guix Reference Manual)
danse-nr3 has quit [Ping timeout: 256 seconds]
X-Scale45 has quit [Ping timeout: 250 seconds]
<josrr> oh, but the file you are missing is pdflatex.fmt
tyson2 has quit [Remote host closed the connection]
waleee has quit [Ping timeout: 260 seconds]
koditals has quit [Ping timeout: 264 seconds]
dnhester26 has quit [Remote host closed the connection]
tyson2 has joined #commonlisp
snits has joined #commonlisp
traidare has joined #commonlisp
dnhester26 has joined #commonlisp
dnhester26 has quit [Remote host closed the connection]
dnhester26 has joined #commonlisp
cladur has quit [Ping timeout: 264 seconds]
Inline has joined #commonlisp
NotThatRPG has joined #commonlisp
ym has quit [Ping timeout: 245 seconds]
cladur has joined #commonlisp
azimut has quit [Ping timeout: 240 seconds]
dajole has joined #commonlisp
mooseball has joined #commonlisp
bjorkintosh has quit [Remote host closed the connection]
bjorkintosh has joined #commonlisp
bjorkintosh has joined #commonlisp
bjorkintosh has quit [Changing host]
rainthree has quit [Ping timeout: 245 seconds]
dnhester26 has quit [Remote host closed the connection]
Lycurgus has joined #commonlisp
Lycurgus has quit [Quit: leaving]
dnhester26 has joined #commonlisp
Lycurgus has joined #commonlisp
tyson2 has quit [Remote host closed the connection]
cladur has quit [Ping timeout: 240 seconds]
Lycurgus has quit [Quit: leaving]
cladur has joined #commonlisp
mooseball has quit [Quit: Leaving]
szkl has joined #commonlisp
zaymington has joined #commonlisp
waleee has joined #commonlisp
cladur has quit [Remote host closed the connection]
traidare has quit [Ping timeout: 255 seconds]
dnhester26 has quit [Remote host closed the connection]
dnhester26 has joined #commonlisp
chiselfuse has quit [Ping timeout: 240 seconds]
chiselfuse has joined #commonlisp
cladur has joined #commonlisp
chiselfuse has quit [Remote host closed the connection]
bubblegum has quit [Quit: disappeared]
bubblegum has joined #commonlisp
chiselfuse has joined #commonlisp
cladur has quit [Ping timeout: 252 seconds]
<Demosthenex> arg, is there a way i can get the code for a function i defined in this sbcl instance when my repl scroll back lost it?
bubblegum has quit [Ping timeout: 252 seconds]
manwithluck has quit [Ping timeout: 264 seconds]
<aeth> Demosthenex: is it slime?
cladur has joined #commonlisp
<Demosthenex> aeth: sly, similar
<aeth> slime has .slime-history.eld
<Demosthenex> i've been scrolling back thru the history, the change i made was in an indirect buffer that was since killed
<Demosthenex> i feel like the ~/.sly-mrepl-history isn't up to date
<Demosthenex> i do have debug set to 3 ;]
<Demosthenex> but M-. to follow the function fails and points to the dead indirect buffer
chiselfuse has quit [Ping timeout: 240 seconds]
attila_lendvai has quit [Ping timeout: 245 seconds]
chiselfuse has joined #commonlisp
<Demosthenex> oh no, i must have hit C-c C-c to load it into the lisp instance instead of the repl
<scymtym> you could try (function-lambda-expression #'foo)
<Demosthenex> scymtym: you nailed it! ty!
<Demosthenex> clearly my bad for editing code in an org-mode indirect buffer and killing it
<scymtym> sure
igemnace has quit [Read error: Connection reset by peer]
igemnace has joined #commonlisp
tyson2 has joined #commonlisp
Kyuvi has joined #commonlisp
tyson2 has quit [Remote host closed the connection]
manwithluck has joined #commonlisp
attila_lendvai has joined #commonlisp
attila_lendvai has quit [Ping timeout: 256 seconds]
mooseball has joined #commonlisp
cage has quit [Quit: rcirc on GNU Emacs 29.1]
epony has joined #commonlisp
mooseball has quit [Ping timeout: 264 seconds]
cimento has quit [Quit: WeeChat 4.1.2]
bjorkintosh has quit [Remote host closed the connection]
bjorkintosh has joined #commonlisp
bjorkintosh has joined #commonlisp
bjorkintosh has quit [Changing host]
cimento has joined #commonlisp
epony has quit [Ping timeout: 264 seconds]
Lycurgus has joined #commonlisp
Lycurgus has joined #commonlisp
Lycurgus has quit [Changing host]
epony has joined #commonlisp
mgl has quit [Ping timeout: 268 seconds]
herjazz has joined #commonlisp
rgherdt has joined #commonlisp
pve has quit [Quit: leaving]
szkl has quit [Quit: Connection closed for inactivity]
mgl has joined #commonlisp
dra has joined #commonlisp
herjazz has quit [Quit: leaving]
chomwitt has quit [Ping timeout: 245 seconds]
mgl has quit [Ping timeout: 256 seconds]
dino_tutter has quit [Ping timeout: 252 seconds]
NotThatRPG has quit [Quit: Textual IRC Client: www.textualapp.com]
treflip has quit [Ping timeout: 245 seconds]
random-nick has quit [Ping timeout: 255 seconds]
akoana has joined #commonlisp
shka has quit [Ping timeout: 256 seconds]