gautamc has quit [Read error: Connection reset by peer]
gautamc has joined #ocaml
breakds has joined #ocaml
asmanur has joined #ocaml
adrien_o1w has joined #ocaml
adrien_oww has quit [Ping timeout: 276 seconds]
letrec has quit [Ping timeout: 264 seconds]
shinnya has quit [Read error: Operation timed out]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
darkf has joined #ocaml
emmanuelux has quit [Quit: emmanuelux]
breakds has quit [Quit: Konversation terminated!]
breakds has joined #ocaml
talzeus has joined #ocaml
breakds has quit [Remote host closed the connection]
breakds has joined #ocaml
chambart__ has quit [Ping timeout: 256 seconds]
ben_zen has joined #ocaml
jtoman has joined #ocaml
jtoman has left #ocaml []
so has joined #ocaml
ben_zen has quit [Quit: Off to have fun]
justdit has joined #ocaml
breakds has quit [Remote host closed the connection]
jcao219 has quit [Ping timeout: 256 seconds]
_habnabit has quit [Remote host closed the connection]
gautamc has quit [Ping timeout: 276 seconds]
jcao219 has joined #ocaml
Watcher7 is now known as Watcher7|off
_habnabit has joined #ocaml
Drup has quit [Quit: Leaving.]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
osnr has quit [Ping timeout: 256 seconds]
ben_zen has joined #ocaml
ygrek has joined #ocaml
t4nk462 has joined #ocaml
ulfdoz has joined #ocaml
<t4nk462>
is ocaml's List.rev tail-recursive?
<t4nk462>
i tried googling...
<wmeyer`>
yes
<t4nk462>
ok thanks
<wmeyer`>
in each recursive invocation the element is prepend to the head of the list, so the algorithm does not require all the previous invocations
mattrepl has quit [Quit: mattrepl]
<t4nk462>
ic
<t4nk462>
is there a general class of functions where tail-recursive is not possible? or is it always possible to write a tail-recursive version of a function?
<wmeyer`>
(does not require in the same context frame)
<wmeyer`>
it's always possible to write the tail recursive function, at a cost of introducing explicit stack
<wmeyer`>
sometimes it's possible by doing multiple stages of computation
<wmeyer`>
like reversing list, folding over, and reversing back
<t4nk462>
ic
<t4nk462>
ok
<t4nk462>
So im thinking, implementation of map function should be folding over from left to right, appending each evaluated element backwards, and then reversing the result back to get the result... is that how List.map is implemented?
jcao219 has quit [Ping timeout: 264 seconds]
<wmeyer`>
List.map is not tail recursive, and it's not implemented as fold_right. However your implementation is fully legitimate, tail recursive at a cost of reversing the list in the end.
<t4nk462>
ic ok
<wmeyer`>
that all means you can't cheat the complexity t4nk462 :-)
talzeus has quit [Read error: Connection reset by peer]
talzeus has joined #ocaml
<t4nk462>
haha ok fair enough
<t4nk462>
im guessing that implementation might work for really large lists, whereas List.map may not work for large list due to recursion stack depth limit
<wmeyer`>
as an exercise try to rewrite some of the functions in stdlib, first writing non-tail recursive function, then tail-recursive and then finally try using combinators (like fold_{left,right})
talzeus has quit [Remote host closed the connection]
<t4nk462>
im actually doing that now to learn
<t4nk462>
and the 99 problems set
<wmeyer`>
t4nk462: here the problem is that the user does not have much control over the system stack, where is in explicit stack, the stack is on heap, so it's managed by the OCaml runtime system.
<wmeyer`>
good luck t4nk462
<t4nk462>
thanks
Yoric has joined #ocaml
Watcher7|off is now known as Watcher7
jave has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
ulfdoz has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
Watcher7 is now known as Watcher7|off
eni has joined #ocaml
Kakadu has joined #ocaml
Yoric has quit [Ping timeout: 256 seconds]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 264 seconds]
q66 has joined #ocaml
talzeus has joined #ocaml
gautamc has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
Yoric has joined #ocaml
Kakadu has quit []
eni has quit [Ping timeout: 256 seconds]
ben_zen has quit [Quit: Sleepyben]
Snark has joined #ocaml
zpe has joined #ocaml
raichoo has joined #ocaml
Neros has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
mika1 has joined #ocaml
cago has joined #ocaml
adrien_o1w is now known as adrien_oww
zpe has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
zpe has quit [Ping timeout: 246 seconds]
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
jbrown has joined #ocaml
eikke has joined #ocaml
sivoais has quit [Write error: Connection reset by peer]
sivoais has joined #ocaml
sivoais has quit [Read error: Connection reset by peer]
q66 has quit [Remote host closed the connection]
q66 has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
ttamttam has joined #ocaml
sivoais has joined #ocaml
q66 has quit [Remote host closed the connection]
q66 has joined #ocaml
ontologiae has joined #ocaml
justdit has quit [Ping timeout: 256 seconds]
ontologiae has quit [Client Quit]
ontologiae has joined #ocaml
mcclurmc has joined #ocaml
ontologiae has quit [Quit: WeeChat 0.4.0]
ontologiae has joined #ocaml
ontologi1e has joined #ocaml
ontologiae has quit [Quit: WeeChat 0.4.0]
ontologiae has joined #ocaml
ontologiae has quit [Client Quit]
ontologiae has joined #ocaml
ontologiae has quit [Client Quit]
ontologiae has joined #ocaml
rwmjones is now known as rwmjones_ru
rwmjones_ru is now known as rwmjones_run
ontologi1e has quit [Quit: leaving]
ontologi1e has joined #ocaml
beckerb has joined #ocaml
ontologi1e has quit [Client Quit]
karswell has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
BlankVerse has joined #ocaml
Tobu has joined #ocaml
Yoric has joined #ocaml
<BlankVerse>
how to find the path of the currently running ocaml program?
<eikke>
on linux, readlink (dunno the ocaml binding) /proc/self/exe can be useful as well (not influenced by cwd changes)
ggole has joined #ocaml
skchrko has joined #ocaml
justdit has joined #ocaml
<sgnb>
AFAICT Sys.executable_name does the best thing
<sgnb>
(readlink /proc/self/exe on linux, looking in $PATH/$0 elsewhere)
ygrek has quit [Ping timeout: 264 seconds]
beckerb has quit [Ping timeout: 240 seconds]
thelema_ has joined #ocaml
thelema has quit [Read error: Operation timed out]
ttamttam has quit [Quit: ttamttam]
ollehar has joined #ocaml
_andre has joined #ocaml
jlouis has joined #ocaml
hkBst has quit [Remote host closed the connection]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
ttamttam has joined #ocaml
justdit has quit [Ping timeout: 252 seconds]
Drup has joined #ocaml
tane has joined #ocaml
tane has quit [Remote host closed the connection]
letrec has joined #ocaml
josch has quit [Read error: Operation timed out]
ttamttam has quit [Quit: ttamttam]
bholst has quit [Read error: Operation timed out]
mehdid has quit [Read error: Operation timed out]
bholst has joined #ocaml
josch has joined #ocaml
josch has quit [Changing host]
josch has joined #ocaml
mehdid has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
beckerb has joined #ocaml
<adrien_oww>
sgnb: oh, right, that's much better :D
ygrek has joined #ocaml
gnuvince has quit [Ping timeout: 256 seconds]
mattrepl has joined #ocaml
asmanur has quit [Ping timeout: 264 seconds]
breakds has joined #ocaml
chambart__ has joined #ocaml
gautamc has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
jave has quit [Ping timeout: 256 seconds]
gautamc has joined #ocaml
chambart__ has quit [Ping timeout: 264 seconds]
tane has joined #ocaml
redfire has joined #ocaml
tane has quit [Quit: Verlassend]
gnuvince has joined #ocaml
talzeus has quit [Remote host closed the connection]
eikke has quit [Read error: Connection reset by peer]
eikke has joined #ocaml
wmeyer` has quit [Ping timeout: 256 seconds]
ollehar has quit [Ping timeout: 256 seconds]
wmeyer` has joined #ocaml
asmanur has joined #ocaml
justdit has joined #ocaml
hkBst_ has joined #ocaml
hkBst has quit [Ping timeout: 264 seconds]
talzeus has joined #ocaml
smondet has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 256 seconds]
Drup has quit [Ping timeout: 264 seconds]
dwmw2_gone has joined #ocaml
Neros has quit [Ping timeout: 256 seconds]
darkf has quit [Quit: Leaving]
Neros has joined #ocaml
shinnya has joined #ocaml
mika1 has quit [Quit: Leaving.]
cago has left #ocaml []
BlankVerse has quit [Read error: Operation timed out]
sivoais has quit [Ping timeout: 252 seconds]
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
breakds has quit [Quit: Konversation terminated!]
beckerb has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
raichoo has quit [Quit: leaving]
ygrek has joined #ocaml
sivoais has quit [Ping timeout: 245 seconds]
sivoais has joined #ocaml
ggole has quit [Ping timeout: 256 seconds]
Yoric has joined #ocaml
sivoais has quit [Ping timeout: 248 seconds]
sivoais has joined #ocaml
breakds has joined #ocaml
ggole has joined #ocaml
hkBst_ has quit [Quit: Konversation terminated!]
sivoais has quit [Ping timeout: 252 seconds]
ttamttam has quit [Quit: ttamttam]
ygrek has quit [Remote host closed the connection]
sivoais has joined #ocaml
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 248 seconds]
shinnya has quit [Ping timeout: 248 seconds]
sivoais has joined #ocaml
talzeus has quit [Remote host closed the connection]
letrec has quit [Ping timeout: 276 seconds]
sivoais has quit [Ping timeout: 260 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 276 seconds]
eikke has quit [Ping timeout: 245 seconds]
sivoais has joined #ocaml
zpe has quit [Remote host closed the connection]
sivoais has quit [Ping timeout: 248 seconds]
gnuvince has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
gnuvince has joined #ocaml
<flux>
soo, my glMLite-application pegs 100% CPU drawing black frames at 59 fps, but gprof shows the topmost consumer, caml_initialize, taking zero cpu time
<flux>
suggestions?
sivoais has quit [Read error: Connection reset by peer]
<flux>
it appears a demo application with glMLite exhibits the same behavior..
<wmeyer`>
flux: hi
<wmeyer`>
flux: I found gl applications performance tricky (not even related to glMLite itself). Remember when I was doing C++, I could always optimise it
<flux>
but maybe glMLite or ocaml aren't to blame, by randomly stopping the program in gdb I always seemed to end up being inside libGL..
<wmeyer`>
and I enjoy writing OpenGL in OCaml :-)
<flux>
maybe my GPU needs a kick or something :)
ygrek has joined #ocaml
<flux>
wmeyer`, well, there isn't much top optimize in a blank screen :)
<wmeyer`>
:D
<wmeyer`>
flux: to be serious, I don't remember last time I wrote an application in OpenGL, but it was long time ago (it seem to come back after while)
<flux>
wmeyer`, did you use direct mode back then?
<wmeyer`>
yes, I haven't used vertex buffers at this occasion
<wmeyer`>
and I really hope that vertex buffers will replace immediate mode
<flux>
everything 60fps opengl-stuff seems to take 100% CPU..
justdit has quit [Read error: Connection reset by peer]
<flux>
I wonder if it will work with 'any' system, ldd shows some nvidia libraries..
<flux>
gah, that was the profiling version
<pippijn>
1.7% cpu
<flux>
nevertheles, much more sane results :)
<pippijn>
around 1-2%
<pippijn>
and I have nvidia, too
<pippijn>
so, I guess it's your driver/gpu combination
<flux>
I think I'm noticing GUI choppiness when switching between GL-heavy applications, so maybe I nede to restart at least X..
<wmeyer`>
flux: good to hear, like pippijn says maybe a driver
<wmeyer`>
I really would not like to have 50 FPS again on a blank screen
sivoais has joined #ocaml
<wmeyer`>
it was back in days of old Pentiums
<pippijn>
nobody needs more than 60fps
<flux>
nope, same after X restart
<flux>
I suppose I could try restarting the computer
<pippijn>
probably doesn't help
<pippijn>
you could stop X, unload the nvidia module, and start X
<flux>
tried a game, it was smooth
<pippijn>
hmm
<wmeyer`>
sorry, gtg, hope you get that fixed!
wmeyer` has left #ocaml []
ygrek has quit [Ping timeout: 252 seconds]
<flux>
it's some problem with vblank sync it seems
<flux>
so in principle it won't be a problem other than heating up a core..
gnuvince has quit [Remote host closed the connection]
gnuvince has joined #ocaml
wmeyer` has joined #ocaml
<wmeyer`>
hmm, one thing, maybe it's a third party driver that does it?
<flux>
third-party driver?
<wmeyer`>
there are some Ubuntu ones that might be much less effective
<flux>
this is the nvidia one
<wmeyer`>
yes, not an nvidia one
<flux>
not nouveau
<wmeyer`>
I have also nvidia
<wmeyer`>
how about programs in C?
<flux>
I tried glxgears, same
<flux>
if I disabled vsyncblank for it it got like 3000 fps, still 100% cpu of course
<wmeyer`>
that's not good that it takes 100%, but I remember it's the same on my machine
<wmeyer`>
maybe because it's IO bound
<flux>
but with vsync enabled it's bound to fps
<flux>
it is 59.95 fps
<flux>
bound to vblank I mean
Watcher7|off is now known as Watcher7
<wmeyer`>
Ok, I admit recently haven't done too much opengl too
ontologiae has quit [Ping timeout: 264 seconds]
<flux>
__GL_YIELD="USLEEP" glxgears -> 12% \o/
<flux>
I wonder though why that wouldn't be some kind of default
<flux>
maybe it has its downsides..
<wmeyer`>
:)
raichoo has joined #ocaml
<wmeyer`>
don't worry, you should get that nailed down
<wmeyer`>
probably it's a combunation of how the code is written and configuration
<flux>
"For example, when waiting for free space in a command buffer, if the free space has not become available after a certain number of iterations, the driver will yield before it continues to loop."
<flux>
"By default, the driver calls sched_yield() to do this." - what the hell, nvidia?
<flux>
possibly my newish 3.9 kernel can cause that behavior
<wmeyer`>
possibly
<wmeyer`>
it my case i also have old kernel
<wmeyer`>
i had also some fight with that in past, on this graphics card
<wmeyer`>
and it's very old graphics card, and ubuntu was not supporting it properly even
aqil has joined #ocaml
<wmeyer`>
but recently things got better
<wmeyer`>
(as of today)
<wmeyer`>
still, the OpenGL stuff on propriety drivers is fragile
<wmeyer`>
so I use also mesa drivers
<wmeyer`>
they worked pretty well
aqil has quit [Quit: Ухожу я от вас (xchat 2.4.5 или старше)]
<wmeyer`>
but then performance is not exceptional
<flux>
surface.native still takes 11% cpu, but I'll take what I can get :)
<wmeyer`>
ah, looks better :-)
<wmeyer`>
I want OpenGL on OCaml perform well, as I am former Demoscene coder :-)
<flux>
nice :)
<flux>
any productions I might have heard of?
<wmeyer`>
not much, one 4KB under DOS (first place on Symphony; but to be honest the only 4KB production), another collaboritave work (8 place on Mekka), and one 256 bytes (again first place) and some unreleased stuff.
<wmeyer`>
the stuff we did, which was 8th, should be really in first 5
Drup has joined #ocaml
<wmeyer`>
the unreleased stuff was good; but it lacked direction, time, and music
<spanish>
so, how is it I can't find extLib.cmxa on my system? I can even see ocaml-extlib's makefile linking it
gustav__ is now known as gustav___
<spanish>
and I compiled it from source
lusory_ has quit [Ping timeout: 276 seconds]
<shp>
i need it working, it's for a school project i have to finish this week :s
brendan_ has joined #ocaml
lusory has joined #ocaml
<wmeyer`>
ousado, how is your database?
<ousado_>
wmeyer`: I'm at it again, I had a hell of an issue with a clients webapp
Kakadu has joined #ocaml
ivan\_ has joined #ocaml
sivoais has joined #ocaml
Ptival_ has joined #ocaml
<ousado_>
sometimes I think IE8 was made to consume life-time
hto has quit [*.net *.split]
ivan\ has quit [*.net *.split]
ousado has quit [*.net *.split]
tianon has quit [*.net *.split]
Drup has quit [*.net *.split]
ggole has quit [*.net *.split]
samebchase has quit [*.net *.split]
gustav_ has quit [*.net *.split]
alang__ has quit [*.net *.split]
BiDOrD_ has quit [*.net *.split]
lizzin has quit [*.net *.split]
nicoo has quit [*.net *.split]
mal`` has quit [*.net *.split]
brendan has quit [*.net *.split]
Ptival has quit [*.net *.split]
alang__ has joined #ocaml
ivan\_ has quit [Excess Flood]
ivan\ has joined #ocaml
sivoais has quit [Client Quit]
clog has joined #ocaml
balouis has joined #ocaml
ousado_ is now known as ousado
spanish has left #ocaml []
contempt has quit [Ping timeout: 248 seconds]
alxbl_ has quit [Ping timeout: 244 seconds]
ousado has quit [Changing host]
ousado has joined #ocaml
alxbl has joined #ocaml
contempt has joined #ocaml
lusory has quit [Ping timeout: 271 seconds]
sivoais has joined #ocaml
ggole_ has quit [*.net *.split]
olasd has quit [*.net *.split]
hto has quit [*.net *.split]
cross has quit [*.net *.split]
Khady has quit [*.net *.split]
chris2 has quit [*.net *.split]
Khady has joined #ocaml
hto has joined #ocaml
chris2 has joined #ocaml
lusory has joined #ocaml
olasd has joined #ocaml
redfire has quit [Ping timeout: 256 seconds]
ggole_ has joined #ocaml
sivoais has quit [Ping timeout: 270 seconds]
cross has joined #ocaml
sivoais has joined #ocaml
sivoais has quit [Client Quit]
brendan_ is now known as brendan
samebcha1e is now known as samebchase
Snark has quit [Quit: leaving]
sivoais has joined #ocaml
ggole_ has quit []
sivoais has quit [Ping timeout: 248 seconds]
redfire has joined #ocaml
ygrek has joined #ocaml
sivoais has joined #ocaml
habnabit is now known as _habnabit
Kakadu has quit [Ping timeout: 260 seconds]
kaktus__ is now known as kaktus
sivoais has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
justdit has quit [Ping timeout: 256 seconds]
sivoais has quit [Client Quit]
eni has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
jpdeplaix has joined #ocaml
eni has joined #ocaml
gnuvince has quit [Ping timeout: 256 seconds]
jpdeplaix has quit [Client Quit]
redfire has quit [Ping timeout: 248 seconds]
olasd_ has joined #ocaml
cthuluh_ has joined #ocaml
malo_ has joined #ocaml
valatar has joined #ocaml
jpdeplaix has joined #ocaml
_andre has quit [Quit: leaving]
Khady1 has joined #ocaml
valatar has quit [Client Quit]
wagle_ has joined #ocaml
LeNsTR|away has joined #ocaml
olasd has quit [*.net *.split]
lusory has quit [*.net *.split]
Khady has quit [*.net *.split]
alxbl has quit [*.net *.split]
balouis has quit [*.net *.split]
BiDOrD has quit [*.net *.split]
wagle has quit [*.net *.split]
malo has quit [*.net *.split]
q66 has quit [*.net *.split]
rwmjones has quit [*.net *.split]
cthuluh has quit [*.net *.split]
lenstr has quit [*.net *.split]
transfinite has quit [*.net *.split]
Khady1 is now known as Khady
cthuluh_ is now known as cthuluh
malo_ is now known as malo
transfinite has joined #ocaml
olasd_ is now known as olasd
sivoais has joined #ocaml
lusory has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
alxbl has joined #ocaml
balouis has joined #ocaml
BiDOrD has joined #ocaml
q66 has joined #ocaml
rwmjones has joined #ocaml
sivoais has quit [Ping timeout: 246 seconds]
sivoais has joined #ocaml
ggherdov has joined #ocaml
ygrek has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
sivoais has quit [Ping timeout: 256 seconds]
dwcook has quit [Quit: asdf]
Ptival_ is now known as Ptival
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 246 seconds]
mcclurmc has joined #ocaml
sivoais has joined #ocaml
<adrien>
fasta: I've finally caught up with the scrollback from two days ago; attacking people in any way (insults, being aggressive, being dismissive of their [usually in-progress] work, ...) is not OK here and I had already warned you several times
<adrien>
fasta: while I've noticed that such behaviour from you was far less frequent, I had told you that was the last warning so I'll be banning you for an amount of time I don't know yet (but I don't forget the bans I set)
sivoais has quit [Quit: leaving]
ygrek has quit [Ping timeout: 246 seconds]
eni has quit [Quit: Leaving]
dsheets has joined #ocaml
raichoo_ has quit [Quit: leaving]
emmanuelux has joined #ocaml
jknick has quit [Quit: Lost terminal]
fraggle_laptop has joined #ocaml
skchrko has quit [Quit: Leaving]
Watcher7 is now known as Watcher7|off
smondet has quit [Ping timeout: 252 seconds]
malo has quit [Quit: Leaving]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
tobiasBora has joined #ocaml
rgrinberg1 is now known as rgrinberg
tane has quit [Quit: Verlassend]
Yoric has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
eikke has joined #ocaml
osnr1 has joined #ocaml
osnr has quit [Ping timeout: 248 seconds]
Yoric has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 256 seconds]
jbrown has quit [Ping timeout: 245 seconds]
chambart has joined #ocaml
dsheets has joined #ocaml
breakds has quit [Read error: Operation timed out]
breakds has joined #ocaml
osnr1 has quit [Quit: Leaving.]
emmanuelux has quit [Quit: emmanuelux]
gnuvince has joined #ocaml
tobiasBora has quit [Quit: Konversation terminated!]
tobiasBora_ has joined #ocaml
Neros has quit [Ping timeout: 264 seconds]
q66 has quit [Remote host closed the connection]
eikke has quit [Read error: Operation timed out]
eikke has joined #ocaml
chambart has quit [Ping timeout: 256 seconds]
ollehar has joined #ocaml
gautamc has quit [Ping timeout: 246 seconds]
gautamc has joined #ocaml
jave has joined #ocaml
Watcher7|off is now known as Watcher7
tobiasBora_ has quit [Quit: Konversation terminated!]