Xach 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/>
cosimone has quit [Ping timeout: 248 seconds]
lnostdal has quit [Excess Flood]
lnostdal has joined #lisp
sammich has joined #lisp
LiamH has quit [Quit: Leaving.]
clothespin has joined #lisp
smazga has quit [Quit: leaving]
r17411n has quit [Remote host closed the connection]
r17411n has joined #lisp
karlosz has joined #lisp
r17411n has quit [Remote host closed the connection]
r17411n has joined #lisp
lxbarbosa has quit [Remote host closed the connection]
r17411n has quit [Remote host closed the connection]
r17411n has joined #lisp
Lord_of_Life_ has joined #lisp
Lord_of_Life has quit [Ping timeout: 268 seconds]
Lord_of_Life_ is now known as Lord_of_Life
clothespin has quit [Ping timeout: 245 seconds]
emphazizer has quit [Quit: Leaving]
turona has quit [Ping timeout: 272 seconds]
emaczen has quit [Remote host closed the connection]
emaczen has joined #lisp
turona has joined #lisp
gabiruh has joined #lisp
v88m has joined #lisp
emaczen has quit [Remote host closed the connection]
lucasb has quit [Quit: Connection closed for inactivity]
clothespin has joined #lisp
efm has quit [Quit: Konversation terminated!]
Gerd has quit [Quit: WeeChat 2.6]
torbo has joined #lisp
Gerd has joined #lisp
dale has joined #lisp
Gerd has quit [Client Quit]
jeosol has quit [Remote host closed the connection]
asdf_asdf_asdf has joined #lisp
visage_ has quit [Quit: visage_]
Gerd has joined #lisp
Kaisyu7 has quit [Quit: ERC (IRC client for Emacs 26.3)]
davepdot_ has joined #lisp
davepdot_ has quit [Ping timeout: 260 seconds]
z147x has quit [Quit: z147x]
dale has quit [Quit: dale]
igemnace has joined #lisp
dale has joined #lisp
statusf90 has quit [Remote host closed the connection]
statusf90 has joined #lisp
snits has quit [Ping timeout: 268 seconds]
snits has joined #lisp
Kaisyu7 has joined #lisp
EvW1 has quit [Ping timeout: 260 seconds]
gko_ has joined #lisp
Oladon has joined #lisp
Nilby has quit [Read error: Connection reset by peer]
mathrick has quit [Ping timeout: 268 seconds]
dale_ has joined #lisp
dale has quit [Disconnected by services]
ahungry has joined #lisp
statusf90 has quit [Quit: statusf90]
stepnem_ has quit [Read error: Connection reset by peer]
stepnem has joined #lisp
FreeBirdLjj has joined #lisp
davepdotorg has joined #lisp
asdf_asdf_asdf has quit [Quit: asdf_asdf_asdf]
davepdotorg has quit [Ping timeout: 268 seconds]
dale_ has quit [Ping timeout: 240 seconds]
dale has joined #lisp
madage has quit [Ping timeout: 240 seconds]
dddddd has quit [Ping timeout: 272 seconds]
slyrus has joined #lisp
madage has joined #lisp
milanj has quit [Quit: This computer has gone to sleep]
Posterdati has quit [Ping timeout: 272 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #lisp
<beach> Good morning everyone!
<Josh_2> Mornin
XenophonF has left #lisp [#lisp]
Posterdati has joined #lisp
Nilby has joined #lisp
dale has quit [Ping timeout: 260 seconds]
dale has joined #lisp
gravicappa has joined #lisp
torbo has quit [Remote host closed the connection]
Bike has quit [Quit: Lost terminal]
Oladon has quit [Quit: Leaving.]
karlosz has quit [Read error: Connection reset by peer]
karlosz has joined #lisp
davepdotorg has joined #lisp
georgiePorgie has joined #lisp
davepdotorg has quit [Ping timeout: 240 seconds]
karlosz has quit [Quit: karlosz]
karlosz has joined #lisp
refusenick has joined #lisp
<refusenick> For a C-to-Lisp compiler like Zeta-C or Vacietis, how little of the POSIX API could a Lisp OS get away with implementing while still being able to reuse drivers from a Unix derivative?
<beach> Not sure what you mean. Translating C to Lisp does not need any OS drivers.
aeth has quit [Ping timeout: 272 seconds]
<refusenick> beach: Using the drivers in a Lisp OS would necessitate support for some aspects of Unix to call into them, no?
aeth has joined #lisp
<beach> I am sure you are right. I just don't understand your question. It might help if you tell us what it is that you try to accomplish. Sorry, I am notorious for having a hard time understanding.
<beach> But I am very interested in this question because I have plans for a LispOS.
<refusenick> I know very little about low level development - I only took an introductory x86 assembly & architecture course.
asarch has joined #lisp
greaser|q has quit [Read error: Connection reset by peer]
<refusenick> Nevertheless, don't drivers provide some sort of API to use them to interface with hardware?
<Nilby> It really depends which drivers you want to use. Storage drivers are fairly easy and have a small interface. Graphics card drivers on the other hand are extremely difficult.
greaser|q has joined #lisp
<refusenick> Nilby: Graphics is the big issue at hand, I suppose - if there's to be any draw towards a Lisp OS (or any other OS) over Unix, it's the graphical aspect
<beach> refusenick: Please. I am not questioning your intentions or your competence. I am trying to understand what you want to do.
<refusenick> I know
<beach> refusenick: Are you saying you want to reuse drivers in a LispOS by translating them from C using a C to Lisp compiler?
<refusenick> yes
<beach> Ah, good to know.
<beach> I don't think that is possible at all, at least not with the way such compilers currently work.
<Nilby> We have a LispOS currently, but one pain point is it doesn't use graphics hardware last time I looked, probably because of that issue.
narimiran has joined #lisp
<refusenick> Have you taken a look at https://github.com/vsedach/Vacietis ?
<refusenick> Unfortunately, Unix makes safe interop gratuitously difficult: https://arcanesentiment.blogspot.com/2012/05/pointer-arithmetic-can-be-safe.html
<refusenick> Pascal should have won. At least the type safety would've made it easier to compile drivers written in it to a better language.
ArthurStrong has joined #lisp
<refusenick> (Well, Lisp should have won, but for most people, their choices were C or Pascal)
brown121407 has quit [Ping timeout: 268 seconds]
brown121407 has joined #lisp
<beach> refusenick: A device driver needs direct access to RAM. You can't do that in Common Lisp, at least not portably, and not in C either. All such C programs exploit undefined behavior in the C standard.
<refusenick> Since Unix operates on plain text streams, for example, I assume supporting POSIX architecture for the driver would have to include UTF-8 encoding and stdout/stdin/stderr streams at the least, which is already
<Nilby> I think it is possible, but it would be quite a lot of work to get right. But probably less work than rewriting all hardware drivers.
<Nilby> Of course you can access RAM in CL.
<refusenick> which is already, in my eyes, irrelevant legacy cruft
<Nilby> Just not standardly.
<beach> Nilby: That is precisely what I said.
<Nilby> Except we have a defacto standard FFI.
<beach> In a LispOS?
<beach> I think we are talking about very different kinds of LispOSes, so I'll be quiet.
<Nilby> beach: Oh, sorry. I can barely think, type, read simultanously :|
<pjb> beach: who says a device driver needs direct access to RAM?
<beach> I am sure you are going to tell me that I was wrong, and I am listening.
<refusenick> I'm asking this here because the Lisp community is, by far, the most advanced I've seen in writing an OS from first principles without copying Unix
<pjb> beach: the principle is to be a controlled environment. I means that low level stuff is done by the lower level (eg. hardware). You can have a DEVICE that uses a (vector (unsigned-byte 8) *) as buffer, and the hardware will do the right thing with the lisp object.
<refusenick> but I actually wanted to write it in something closer to a statically-typed Forth
<refusenick> Feel free to crucify me
<beach> pjb: Fair enough.
<no-defun-allowed> (append (loop repeat 2 collect (make-nail)) (loop repeat 2 collect (make-wooden-beam)))
<pjb> beach: you may need a meeting point, but the hardware, instead of presenting devices as addresses and 8-bit registers, can as well represent them as lisp objects and fixnums.
<beach> I suppose so, sure.
<refusenick> pjb: That's how I assume any OS written from the ground up with a particular language's abstract machine in mind would do it: wrap it in the native idioms and do as the Romans do
oxum has quit [Remote host closed the connection]
<pjb> beach: one example was the NuBUS cards on Macintosh, that needed to be built with a ROM that gave a high level representation of their features. A precursor of EFI hardware layer (I hear you can write EFI drivers in forth).
<refusenick> After all, Unix's Achille's heel is that plain text is limited in what it can represent because it lacks structure like sexprs
<pjb> EFI hardware *abstraction* layer.
<pjb> refusenick: it's not really that. It's that the structure (of the plain text) is meta data, outside of the plain text. It's encoded in the parser and serialisers used in different programs (and therefore that can be different).
<pjb> refusenick: I say it's also an advantage, since that let you edit configuration files with a simple text editor.
<refusenick> If one were to write a microkernel for a Lisp OS to cleanly present the hardware as Lisp objects to everything about it, how would the user be prevented from mucking about with it if all objects are mutable by default in Lisp?
<pjb> refusenick: but the alternative is to store objects.
ahungry has quit [Remote host closed the connection]
<pjb> refusenick: the only difference here is that lisp has a "standard" textual representation (printable readably sexps) for SOME lisp objects.
<no-defun-allowed> You could have access control, and only allow code in certain contexts to modify objects.
<refusenick> pjb: On that note, I'm particularly interested by Xerox's Lisp Machines, which stored everything as objects and provided first-class support for live structure editing
<pjb> refusenick: but as long as you don't use an object database, sexps, xml, or unix table files are the same.
<pjb> refusenick: but an object database is a bore, there are still problems (notably with identity, since normal databases make copies). So it's only good once you have a persitent memory and no file system, and no need for a database. Then your "files" are just lisp data structure in (persistent) memory.
<refusenick> My dream - as a math person who ends up wasting time on computers to make them do math stuff faster - my dream is a tablet with a pen and a CAS with first-class structure editing and live look-up and advice support
<refusenick> pjb: Why have files at all? I find the Smalltalk/BBN Lisp image concept intriguing
shrdlu68 has joined #lisp
<pjb> Exactly.
<refusenick> plus, there's lots of work on capabilities for image-based systems (see: EROS, CapROS)
<pjb> However, again, the advantage of unix, the reason of its adoption, is that once you store something in a file, you can process it with any kind of tools. When you have objects, you can only send to the object, the messages that have been programmed into its class! So it can be very difficult to edit or manipulate it, when the set of methods provided is not comprehensive.
<pjb> refusenick: no, there's not a lot of work on them, unfortunately. The only guy who worked on them has been hired by Microsoft several years ago so any further development have been dropped.
<refusenick> Wasn't the idea of objects (the original one of Alan Kay, closer to the actor model) that you could send messages consisting of raw data to other objects without considering their implementation?
<pjb> There are some documented archived on the Internet, and that's all.
<refusenick> oh :()
<refusenick> :(
<refusenick> a la Erlang
<pjb> System research has disappeared 30-40 years ago.
<refusenick> That's how it appears to be
<pjb> About the time when universities started to teach MS-Word…
<refusenick> Hence my desire to reuse drivers and not reinvent the wheel
<pjb> Yep, use Linux as HAL…
<refusenick> no
<refusenick> I'd like something I can seamlessly run on a RasPi or in the browser
<refusenick> even Plan 9 would be better than what we have now, and Plan 9 is a far cry from what could be
<pjb> Only Linux has the device drivers…
<refusenick> There's been a quiet revolution in BSD land with rump kernel and userland driver experimentation
<refusenick> As much as everything "cloud" tends to be cancerous, it has lead to a renewed interest in ideas such as exokernels and the like
<refusenick> Now is a better time to start a non-Unix OS than in the past 30 years, even if that's not saying much
oxum has joined #lisp
<beach> refusenick: You refuse access through the use of capabilities.
oxum has quit [Remote host closed the connection]
<beach> refusenick: Have you read my CLOSOS specification?
<pjb> beach: check: http://www.alfamontreal.info/NuBus.pdf eg. page 30 there's a diagram showing an example of an Apple NuBus property list. There are attributes, and block of (driver) codes.
<beach> pjb: Thanks.
<pjb> beach: the only difference is that they were designed to be used in 680x0 assembler or in C, so the data structures are pointers and uint32. But they could be formatted as an immutable lisp heap.
<refusenick> I wonder how far a unikernel with image based Lisp could be stripped down
<refusenick> beach: I have not
<pjb> refusenick: very far. Since CL implementations have FFI, you would only need the kernel, the CL implementation and its run-time shared libraries.
<beach> refusenick: metamodular.com/closos.pdf
<refusenick> yep, found it
<pjb> refusenick: that version of emacs didn't have module, so I had to add mount(1), but with an emacs module or with CL FFI, we can mount from the process itself.
<refusenick> I wonder what it would take to support CL atop a smaller kernel like L4
<refusenick> To be extra evil, maybe compile L4 into CL and ditch C entirely for even bootstrapping!
<pjb> refusenick: basically all CL implementation use libc (glibc, etc). They don't do direct syscalls AFAIK.
<beach> But they probably should.
<refusenick> compile Musl into Lisp?
<refusenick> I've gone drunk with power
<pjb> Indeed, there's a movement even amongst C programmers, of using direct syscalls instead of libc…
<refusenick> As if C could be more unsafe
<pjb> Since some Linux syscalls give more power than POSIX libc…
<refusenick> L4 has only 7 syscalls
oxum has joined #lisp
<refusenick> I wonder if there's a POSIX-compliant libc which can run atop it.
<refusenick> Maybe that could compiled into Lisp
<pjb> refusenick: you have the sources, have fun!
oxum has quit [Remote host closed the connection]
shifty has quit [Ping timeout: 268 seconds]
karlosz has quit [Quit: karlosz]
dale has quit [Ping timeout: 240 seconds]
karlosz has joined #lisp
karlosz has quit [Remote host closed the connection]
karlosz has joined #lisp
karlosz has quit [Remote host closed the connection]
sauvin has joined #lisp
karlosz has joined #lisp
karlosz has quit [Remote host closed the connection]
Tordek has quit [Ping timeout: 272 seconds]
ArthurStrong has quit [Quit: leaving]
oxum has joined #lisp
Nistur has quit [Ping timeout: 260 seconds]
Cymew has joined #lisp
shangul has joined #lisp
Tordek has joined #lisp
karlosz has joined #lisp
ebzzry has joined #lisp
Nistur has joined #lisp
shka_ has quit [Ping timeout: 265 seconds]
dale has joined #lisp
georgiePorgie has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Posterdati has quit [Ping timeout: 268 seconds]
Posterdati has joined #lisp
space_otter has joined #lisp
Nistur has quit [Ping timeout: 268 seconds]
dale_ has joined #lisp
dale has quit [Disconnected by services]
dale_ is now known as dale
Tordek has quit [Ping timeout: 240 seconds]
<LdBeth> Hello
vlatkoB has joined #lisp
ebrasca has joined #lisp
kmeow has joined #lisp
dale_ has joined #lisp
<LdBeth> l4 is basically a “modern” OS influenced by UNIX
dale has quit [Disconnected by services]
dale_ is now known as dale
dale has quit [Read error: Connection reset by peer]
dale has joined #lisp
oxum has quit [Read error: Connection reset by peer]
oxum_ has joined #lisp
Tordek has joined #lisp
Nistur has joined #lisp
asarch has quit [Quit: Leaving]
dale_ has joined #lisp
dale has quit [Disconnected by services]
dale_ is now known as dale
georgiePorgie has joined #lisp
oxum_ has quit [Remote host closed the connection]
Tordek has quit [Ping timeout: 265 seconds]
oxum has joined #lisp
jprajzne_ has joined #lisp
CrazyEddy has quit [Remote host closed the connection]
CrazyEddy has joined #lisp
X-Scale` has joined #lisp
oxum has quit [Remote host closed the connection]
X-Scale has quit [Ping timeout: 265 seconds]
X-Scale` is now known as X-Scale
Nistur has quit [Ping timeout: 265 seconds]
Qudit314159 has joined #lisp
epony has quit [Remote host closed the connection]
kajo has quit [Ping timeout: 246 seconds]
X-Scale` has joined #lisp
kajo has joined #lisp
X-Scale has quit [Ping timeout: 268 seconds]
X-Scale` is now known as X-Scale
flamebeard has joined #lisp
varjag has joined #lisp
Qudit314159 has quit [Remote host closed the connection]
Nistur has joined #lisp
Tordek has joined #lisp
troydm has quit [Ping timeout: 268 seconds]
JohnMS_WORK has joined #lisp
davepdotorg has joined #lisp
wxie has joined #lisp
milanj has joined #lisp
vlatkoB_ has joined #lisp
davepdotorg has quit [Ping timeout: 268 seconds]
vlatkoB has quit [Ping timeout: 240 seconds]
Nistur has quit [Read error: Connection timed out]
Nistur has joined #lisp
wxie has quit [Ping timeout: 265 seconds]
oxum has joined #lisp
karlosz has quit [Quit: karlosz]
karlosz has joined #lisp
karlosz has quit [Remote host closed the connection]
scymtym has joined #lisp
oxum has quit [Quit: Leaving...]
ggole has joined #lisp
refusenick has quit [Ping timeout: 248 seconds]
tiwEllien has joined #lisp
emacsomancer has quit [Ping timeout: 265 seconds]
refusenick has joined #lisp
oxum has joined #lisp
emacsomancer has joined #lisp
mingus has joined #lisp
georgiePorgie has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
oxum has quit [Remote host closed the connection]
mingus has quit [Ping timeout: 265 seconds]
oxum has joined #lisp
msk has quit [Ping timeout: 268 seconds]
mingus has joined #lisp
<ebrasca> LdBeth: I think l4 is microkernel
hhdave has joined #lisp
<d4ryus> refusenick: Yes: https://l4re.org/
msk has joined #lisp
hhdave has quit [Ping timeout: 272 seconds]
z147 has joined #lisp
Nilby has quit [Ping timeout: 240 seconds]
z147x has joined #lisp
z147 has quit [Client Quit]
davepdotorg has joined #lisp
hhdave has joined #lisp
ljavorsk has joined #lisp
kmeow has quit [Remote host closed the connection]
<p_l> LdBeth: there's nothing UNIX in L4
<ebrasca> p_l: Are you sure?
ebzzry has quit [Ping timeout: 260 seconds]
<p_l> ebrasca: I am
frgo has quit [Remote host closed the connection]
<p_l> you can build an UNIX system on top of it, but by itself it's closer to core layer of Spring, which was UNIXish even in philosophy, but in a mirror-verse way
<p_l> L4 supports switching processes and passing messages between them. That's about it, everything else is custom
davepdotorg has quit [Quit: Leaving...]
<ebrasca> How to test this L4?
<ebrasca> Is it better than GNU/Hurd?
faix has joined #lisp
<p_l> L4 was for a time proposed as mach replacement in Hurd
<p_l> L4 by itself is very, very tiny kernel
faix has quit [Quit: Quit]
<p_l> so it's not a comparison
faix has joined #lisp
<p_l> usually for L4 implementations there's a bunch of code that makes it more usable (and it was common to use L4/Linux to provide device drivers etc.)
<ebrasca> How to test it?
<p_l> you'd need to grab some of the more complete systems using it
<p_l> seL4 has a bunch of userland to make usable demo, so does Fiasco
ebzzry has joined #lisp
davepdotorg has joined #lisp
frgo has joined #lisp
frgo has quit [Ping timeout: 265 seconds]
pvaneynd has joined #lisp
frgo has joined #lisp
georgiePorgie has joined #lisp
<Shinmera> L4 is also off topic.
<Cymew> But it's very, very tiny. :)
frgo has quit [Ping timeout: 260 seconds]
<no-defun-allowed> By mass, it is still 100% off topic.
<Cymew> Indeed.
<Cymew> Incidentially, I don't think I've seen much conversation about what kind of kernel architechture to aim for among the lisp development done in kernel space.
<no-defun-allowed> The CLOSOS paper suggests that a kernel is unnecessary, and that is what I believe.
<Cymew> In theory you don't need one big flat memory space for kernel and user space, right?
<jackdaniel> Cymew: beach discussed it in his lispos paper - there is no need for a separate kernel from applications. you have no direct pointer arithmetic and memory separation is just an unnecessary baggage
<Cymew> Look at that. I had missed that paper.
<no-defun-allowed> In a language where you cannot manipulate memory, you should not need to hide memory from client code through process boundaries.
refusenick has quit [Ping timeout: 245 seconds]
<jackdaniel> (so applications are more run as functions, not as separate processes with their own address space)
<Cymew> It sounds like it could cause some interesting bugs, though.
<Cymew> I can see some benefit by separating processes in different spaces to protect them from accidents.
<Cymew> But, I guess beach have thought about that.
<no-defun-allowed> If the compiler generates safe code, the resulting operating system should be safe.
<beach> Cymew: If those accidents are program defects, then there is no protection possible against those.
<no-defun-allowed> Is rowhammer still a problem?
<Shinmera> if you don't have ECC memory, yes
<Cymew> beach: I guess that's true to some extent. I need to read that paper I think.
<Cymew> Is there a compiled version online? My google fu only leads me to the tex sources.
<no-defun-allowed> I think only hardware bugs would be problematic for a CLOSOS with a bug-free compiler and runtime.
<beach> Cymew: metamodular.com/closos.pdf
<Cymew> Thanks.
shangul has quit [Ping timeout: 268 seconds]
ArthurStrong has joined #lisp
m00natic has joined #lisp
hhdave_ has joined #lisp
hhdave has quit [Ping timeout: 268 seconds]
hhdave_ is now known as hhdave
jmercouris has joined #lisp
georgiePorgie has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
heisig has joined #lisp
cosimone has joined #lisp
troydm has joined #lisp
whiteline has quit [Read error: Connection reset by peer]
whiteline has joined #lisp
davepdotorg has quit [Remote host closed the connection]
davepdotorg has joined #lisp
Nilby has joined #lisp
epony has joined #lisp
davepdotorg has quit [Remote host closed the connection]
davepdotorg has joined #lisp
georgiePorgie has joined #lisp
dddddd has joined #lisp
space_otter has quit [Remote host closed the connection]
faix has quit [Ping timeout: 260 seconds]
orivej has quit [Ping timeout: 268 seconds]
milanj has quit [Quit: This computer has gone to sleep]
faix has joined #lisp
mingus has quit [Quit: ERC (IRC client for Emacs 26.3)]
<pjb> So, I get in the mini buffer this message: "like funciton would" from time to time. Any idea where it comes from?
slyrus_ has joined #lisp
pvaneynd_ has joined #lisp
pvaneynd has quit [Read error: Connection reset by peer]
slyrus has quit [Ping timeout: 272 seconds]
EvW has joined #lisp
faix has quit [Read error: Connection reset by peer]
georgiePorgie has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<boeg> pjb: in which minibuffer?
<pjb> GNU emacs, slime.
<Nilby> Mysterious minibuffer messages have made muddlement from time immemorial. [E]ach [M]essage [A]lways [C]auses [S]urprises
<boeg> alright
<boeg> lol
<pjb> I already grepped the sources of emacs, but we find funciton only in the ChangeLogs…
<pjb> The misspelling horipilates way more than the message itself.
<pjb> 9213215 files in the file system…
brown121408 has joined #lisp
brown121407 has quit [Read error: Connection reset by peer]
faix has joined #lisp
georgiePorgie has joined #lisp
dale has quit [Quit: My computer has gone to sleep]
milanj has joined #lisp
lucasb has joined #lisp
jmercouris has quit [Ping timeout: 260 seconds]
jmercouris has joined #lisp
georgiePorgie has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
amerlyq has joined #lisp
orivej has joined #lisp
tiwEllien has quit [Ping timeout: 265 seconds]
pvaneynd_ is now known as pvaneynd
cosimone has quit [Quit: Terminated!]
v88m has quit [Read error: Connection reset by peer]
v88m has joined #lisp
developernotes has joined #lisp
gabiruh has quit [Quit: ZNC - 1.6.0 - http://znc.in]
v88m has quit [Read error: Connection reset by peer]
v88m has joined #lisp
v88m has quit [Read error: Connection reset by peer]
v88m has joined #lisp
v88m has quit [Read error: Connection reset by peer]
v88m has joined #lisp
_jrjsmrtn has joined #lisp
developernotes has quit []
xuxuru has joined #lisp
statusf90 has joined #lisp
__jrjsmrtn__ has quit [Ping timeout: 268 seconds]
xuxuru has quit [Client Quit]
v88m has quit [Read error: Connection reset by peer]
v88m has joined #lisp
gabiruh has joined #lisp
v_m_v has joined #lisp
jonatack has quit [Ping timeout: 248 seconds]
developernotes has joined #lisp
oxum has quit [Ping timeout: 240 seconds]
faix has quit [Ping timeout: 268 seconds]
pvaneynd has quit []
Bike has joined #lisp
shka__ has quit [Quit: WeeChat 1.9.1]
shifty has joined #lisp
jfb4_ has quit [Ping timeout: 265 seconds]
jfb4 has joined #lisp
gabiruh_ has joined #lisp
gabiruh has quit [Ping timeout: 252 seconds]
LiamH has joined #lisp
ebrasca has quit [Remote host closed the connection]
shrdlu68 has quit [Ping timeout: 265 seconds]
shifty has quit [Ping timeout: 268 seconds]
ebrasca has joined #lisp
gabiruh has joined #lisp
gabiruh_ has quit [Ping timeout: 252 seconds]
m00natic has quit [Read error: Connection reset by peer]
m00natic has joined #lisp
shifty has joined #lisp
cosimone has joined #lisp
pnp has joined #lisp
fowlduck has quit [Ping timeout: 246 seconds]
swills has quit [Quit: No Ping reply in 180 seconds.]
fowlduck has joined #lisp
swills has joined #lisp
shifty has quit [Remote host closed the connection]
shifty has joined #lisp
jmercouris has quit [Ping timeout: 246 seconds]
EvW has quit [Ping timeout: 245 seconds]
jmercouris has joined #lisp
pnp has left #lisp [#lisp]
statusf90 has quit [Quit: statusf90]
pfdietz has joined #lisp
v88m has quit [Ping timeout: 265 seconds]
EvW1 has joined #lisp
adolby has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
igemnace has quit [Quit: WeeChat 2.7]
shrdlu68 has joined #lisp
jonatack has joined #lisp
sysz has joined #lisp
sysz has quit [Quit: Quit]
sysz has joined #lisp
JohnMS_WORK has quit [Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/]
notzmv has quit [Read error: Connection reset by peer]
jmercouris has quit [Remote host closed the connection]
jmercouris has joined #lisp
ebrasca has quit [Remote host closed the connection]
oxum has joined #lisp
ebrasca has joined #lisp
jonatack has quit [Ping timeout: 248 seconds]
sjl_ has joined #lisp
z147x has quit [Remote host closed the connection]
random-nick has joined #lisp
EvW1 has quit [Ping timeout: 252 seconds]
Lycurgus has joined #lisp
r17411n has quit [Remote host closed the connection]
clothespin has quit [Ping timeout: 248 seconds]
scymtym has quit [Ping timeout: 260 seconds]
refpga has joined #lisp
refpga has quit [Read error: Connection reset by peer]
z147 has joined #lisp
refpga has joined #lisp
Cymew has quit [Ping timeout: 268 seconds]
ikrabbe has joined #lisp
kajo has quit [Ping timeout: 246 seconds]
ck_ has quit [Ping timeout: 268 seconds]
ck_ has joined #lisp
troydm has quit [Ping timeout: 265 seconds]
varjag has quit [Quit: ERC (IRC client for Emacs 25.2.2)]
manualcrank has quit [Quit: WeeChat 1.9.1]
Lycurgus has quit [Remote host closed the connection]
<pfdietz> grep -r funciton quicklisp/dists/quicklisp/software
<pfdietz> 22 hits
jmercouris has quit [Remote host closed the connection]
shifty has quit [Ping timeout: 268 seconds]
<ck_> do swearwords go above or below that number?
<beach> I am betting I am responsible for some of those.
Nilby has quit [Read error: Connection reset by peer]
<pfdietz> cl-cuda gendl tm bodge-ode montezuma pclcl pooler
<pfdietz> clem bitio
<beach> Nope, none in my code it seems.
<aeth> on swearwords; grep -r fuck ~/quicklisp/dists/quicklisp/software
<aeth> I get one result
<aeth> quicklisp/dists/quicklisp/software/iterate-20180228-git/doc/tex/iterate-manual.tex:% somehow, LaTex fucks with things so that the plain Tex \obeyspaces
<jackdaniel> I'm sure commit messages will have more funcitons ,)
<jackdaniel> funciton: keyboard generalization over a function. :)
<pfdietz> Ancient unix has a file deletion program named dsw. The name is reported to have stood for "delete swear words".
<aeth> A LaTeX comment! They thought they could hide a "fucks" in a LaTeX comment! Who reads the documentation documentation?
flamebeard has quit []
slyrus__ has joined #lisp
<jackdaniel> https://scsh.net/docu/html/man.html (speaking of documentation) -- I've heard that this poor joke made a lot of trouble to the author
<Xach> The comments in dpans3 are really interesting to me. It includes things that were edited out or rewritten, and commentary on edits and references to other discussions.
<Xach> No cusses though that I recall
Odin- has joined #lisp
slyrus_ has quit [Ping timeout: 265 seconds]
kajo has joined #lisp
slyrus has joined #lisp
slyrus__ has quit [Ping timeout: 260 seconds]
ggole has quit [Quit: Leaving]
gko_ has quit [Ping timeout: 268 seconds]
<slyrus> pfdietz: yes, funciton is in CLEM, but only in ChangeLog and TODO.
<slyrus> OT but am I the only one who read Btrfs as Bit-rot File System?
frgo has joined #lisp
<Xach> yes. it's clearly the BetTeR File System.
<slyrus> Perhaps one day...
<Odin-> I usually think 'butter fs', for some reason.
<_death> bitterfs
<Odin-> That would appear to be a fairly accurate description.
<slyrus> heh
* Odin- still isn't quite sure why it isn't NIHfs.
orivej has quit [Ping timeout: 260 seconds]
v_m_v_ has joined #lisp
frgo has quit [Ping timeout: 265 seconds]
retropikzel has joined #lisp
efm has joined #lisp
<pfdietz> Pull request for chanl created, to fix the compare-and-swap problem.
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #lisp
v88m has joined #lisp
v_m_v_ has quit [Remote host closed the connection]
developernotes has quit [Quit: leaving]
XenophonF has joined #lisp
v_m_v_ has joined #lisp
FreeBirdLjj has quit [Ping timeout: 268 seconds]
ikrabbe has quit [Remote host closed the connection]
slyrus_ has joined #lisp
v_m_v_ has quit [Remote host closed the connection]
davepdotorg has quit [Remote host closed the connection]
slyrus has quit [Ping timeout: 265 seconds]
jonatack has joined #lisp
developernotes has joined #lisp
jonatack has quit [Ping timeout: 265 seconds]
jonatack has joined #lisp
clothespin has joined #lisp
frgo has joined #lisp
mn3m has joined #lisp
orivej has joined #lisp
statusf90 has joined #lisp
z147 has quit [Remote host closed the connection]
heisig has quit [Quit: Leaving]
oni-on-ion has quit [Ping timeout: 240 seconds]
oni-on-ion has joined #lisp
ljavorsk has quit [Ping timeout: 268 seconds]
shka_ has joined #lisp
orivej has quit [Ping timeout: 272 seconds]
m00natic has quit [Read error: Connection reset by peer]
hhdave has quit [Quit: hhdave]
kiwi_74 has joined #lisp
slyrus__ has joined #lisp
kiwi_74 has quit [Remote host closed the connection]
slyrus_ has quit [Ping timeout: 240 seconds]
slyrus_ has joined #lisp
slyrus__ has quit [Ping timeout: 240 seconds]
<gendl> pfdietz: pjb: Thanks for finding that "funciton" in gendl. It turns out this was in a file from the Franz eli (Franz emacs-lisp interface) directory (fi-indent.el), which directory wasn't even supposed to be in gendl in the first place. Scrubbed now. It's just in a docstring and not at all resembling your mystery minibuffer message. Koikidink that this one was in emacs-lisp code, though..
Odin- has quit [Quit: Well, that's a bit silly.]
shangul has joined #lisp
cosimone_ has joined #lisp
mn3m has quit [Ping timeout: 268 seconds]
cosimone has quit [Ping timeout: 248 seconds]
cosimone_ is now known as cosimone
amerlyq has quit [Quit: amerlyq]
nowhere_man has joined #lisp
orivej has joined #lisp
slyrus__ has joined #lisp
slyrus_ has quit [Ping timeout: 265 seconds]
shangul has quit [Ping timeout: 268 seconds]
<pfdietz> (patches English to allow that word, fixing all the doc bugs at once)
z147 has joined #lisp
ebzzry has quit [Read error: Connection reset by peer]
mathrick has joined #lisp
jasom has quit [Ping timeout: 248 seconds]
developernotes has quit [Ping timeout: 268 seconds]
developernotes has joined #lisp
developernotes has quit [Ping timeout: 240 seconds]
jasom has joined #lisp
malm has quit [Ping timeout: 260 seconds]
brown121408 has quit [Ping timeout: 260 seconds]
brown121408 has joined #lisp
pok has quit [Ping timeout: 260 seconds]
pok has joined #lisp
refusenick has joined #lisp
tomaw has quit [Quit: Quitting]
cl-arthur has joined #lisp
tomaw has joined #lisp
davepdotorg has joined #lisp
developernotes has joined #lisp
davepdotorg has quit [Ping timeout: 265 seconds]
rippa has joined #lisp
brown121408 has quit [Read error: Connection reset by peer]
milanj has quit [Quit: This computer has gone to sleep]
brown121408 has joined #lisp
ebrasca has quit [Remote host closed the connection]
refusenick has quit [Remote host closed the connection]
refusenick has joined #lisp
sauvin has quit [Read error: Connection reset by peer]
vlatkoB_ has quit [Read error: Connection reset by peer]
vlatkoB has joined #lisp
manualcrank has joined #lisp
Odin- has joined #lisp
retropikzel has quit [Quit: Vision[0.10.3]: i've been blurred!]
developernotes has quit [Quit: Reconnecting]
developernotes has joined #lisp
ebrasca has joined #lisp
orivej has quit [Ping timeout: 265 seconds]
refusenick has quit [Ping timeout: 265 seconds]
slyrus_ has joined #lisp
slyrus__ has quit [Ping timeout: 265 seconds]
stepnem_ has joined #lisp
stepnem has quit [Ping timeout: 260 seconds]
shrdlu68 has quit [Ping timeout: 265 seconds]
jmercouris has joined #lisp
clothespin has quit [Ping timeout: 260 seconds]
cosimone has quit [Quit: Terminated!]
slyrus__ has joined #lisp
slyrus_ has quit [Read error: Connection reset by peer]
hiroaki has joined #lisp
nowhere_man has quit [Ping timeout: 268 seconds]
borodust has quit [Quit: Leavin']
hiroaki has quit [Ping timeout: 272 seconds]
slyrus_ has joined #lisp
efm has quit [Ping timeout: 268 seconds]
oxum_ has joined #lisp
oxum has quit [Ping timeout: 248 seconds]
cl-arthur has quit [Read error: Connection reset by peer]
slyrus__ has quit [Ping timeout: 260 seconds]
lxbarbosa has joined #lisp
vlatkoB has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
izh_ has joined #lisp
refusenick has joined #lisp
developernotes has quit [Quit: leaving]
developernotes has joined #lisp
msk has quit [Remote host closed the connection]
msk has joined #lisp
troydm has joined #lisp
slyrus__ has joined #lisp
notzmv has joined #lisp
slyrus_ has quit [Ping timeout: 260 seconds]
pnp has joined #lisp
refpga has quit [Remote host closed the connection]
cosimone has joined #lisp
narimiran has quit [Ping timeout: 268 seconds]
shifty has joined #lisp
<pnp> Hi all. I did (intern "new-symbol") in the cl-user package. Now how is possible to "delete" / "remove" the name of this symbol from the package? Thanks in advance
mn3m has joined #lisp
<Odin-> unintern
<pnp> thank you
lxbarbosa has quit [Remote host closed the connection]
v_m_v has quit [Ping timeout: 240 seconds]
ebrasca has quit [Remote host closed the connection]
shifty has quit [Ping timeout: 260 seconds]
shifty has joined #lisp
splittist has quit []
splittist has joined #lisp
frgo has quit [Read error: Connection reset by peer]
jonatack has quit [Ping timeout: 265 seconds]
bendersteed has joined #lisp
frgo has joined #lisp
v_m_v has joined #lisp
pfdietz has quit [Remote host closed the connection]
pnp has left #lisp [#lisp]
gravicappa has quit [Ping timeout: 265 seconds]
gravicappa has joined #lisp
davepdotorg has joined #lisp
pfdietz has joined #lisp
davepdotorg has quit [Ping timeout: 260 seconds]
rippa has quit [Quit: {#`%${%&`+'${`%&NO CARRIER]
z147x has joined #lisp
z147 has quit [Remote host closed the connection]
kajo has quit [Ping timeout: 260 seconds]
gravicappa has quit [Ping timeout: 268 seconds]
dyelar has quit [Remote host closed the connection]
dyelar has joined #lisp
refusenick has quit [Ping timeout: 240 seconds]
fsmunoz has joined #lisp
william1_ has joined #lisp
hiroaki has joined #lisp
kajo has joined #lisp
cosimone has quit [Remote host closed the connection]
cosimone has joined #lisp
ArthurStrong has quit [Quit: leaving]
nullman has joined #lisp
slyrus_ has joined #lisp
msk has quit [Remote host closed the connection]
msk has joined #lisp
statusf90 has quit [Quit: statusf90]
jeosol has joined #lisp
slyrus__ has quit [Ping timeout: 260 seconds]
izh_ has quit [Quit: Leaving]
msk_ has joined #lisp
msk has quit [Read error: Connection reset by peer]
v88m has quit [Ping timeout: 272 seconds]
jmercouris has quit [Remote host closed the connection]
gene_upstateNY has joined #lisp
william1_ has quit [Ping timeout: 272 seconds]
bendersteed has quit [Remote host closed the connection]
developernotes has quit [Quit: leaving]
karlosz has joined #lisp
Bike has quit [Quit: Bike]
whiteline has quit [Read error: Connection reset by peer]
whiteline_ has joined #lisp
karlosz has quit [Quit: karlosz]
zooey has quit [Ping timeout: 240 seconds]
zooey has joined #lisp
Red1334 has joined #lisp
Red1334 has quit [Quit: -a- IRC for Android 2.1.44]
random-nick has quit [Ping timeout: 272 seconds]
refusenick has joined #lisp
sjl_ has quit [Ping timeout: 265 seconds]
LiamH has quit [Quit: Leaving.]
sjl has quit [Quit: WeeChat 2.2-dev]
shifty has quit [Ping timeout: 268 seconds]
refusenick has quit [Read error: Connection reset by peer]
refusenick has joined #lisp
milanj has joined #lisp
Bike has joined #lisp
davepdotorg has joined #lisp
akoana has joined #lisp
refusenick has quit [Ping timeout: 268 seconds]
davepdotorg has quit [Ping timeout: 268 seconds]
karlosz has joined #lisp
statusf90 has joined #lisp
karlosz has quit [Quit: karlosz]
gene_upstateNY has quit [Ping timeout: 240 seconds]
akoana has left #lisp [#lisp]
v_m_v has quit [Ping timeout: 268 seconds]
stepnem_ has quit [Read error: Connection reset by peer]