ChanServ changed the topic of #picolisp to: PicoLisp language | Channel Log: https://irclog.whitequark.org/picolisp/ | Picolisp latest found at http://www.software-lab.de/down.html | check also http://www.picolisp.com for more information
libertas has joined #picolisp
alexshendi has quit [Ping timeout: 256 seconds]
roundsf`` has joined #picolisp
roundsf` has quit [*.net *.split]
pchrist has quit [*.net *.split]
pchrist_ has joined #picolisp
karswell has quit [Ping timeout: 240 seconds]
amokr_ has joined #picolisp
amokr_ has quit [Client Quit]
orivej has quit [Ping timeout: 256 seconds]
stultulo has joined #picolisp
f8l has quit [Ping timeout: 248 seconds]
stultulo is now known as f8l
DerGuteMoritz has quit [Ping timeout: 255 seconds]
DerGuteMoritz has joined #picolisp
akkad has quit [Ping timeout: 240 seconds]
akkad has joined #picolisp
DerGuteM1ritz has joined #picolisp
DerGuteMoritz has quit [*.net *.split]
Regenaxer has quit [Ping timeout: 264 seconds]
Regenaxer has joined #picolisp
<beneroth> Good morning all
<Regenaxer> Good morning beneroth
<m_mans> Hi all
<Regenaxer> Hi m_mans
<m_mans> Regenaxer: good morning! If you are not in hurry, could you show any example with (^ @Var .. ) filter - I mean with named pilog variable. Where it could be useful?
<Regenaxer> (^ @Var binds the result of the Lisp prg, so it is useful if you want to use that value
<beneroth> hi Regenaxer :)
<m_mans> beneroth: wow, nice link
<m_mans> Regenaxer: not often used in context of 'select, I suppose?
<Regenaxer> btw, you can also return such values (from any Pilog clause) from select via (select (@@ @Var) ...
<Regenaxer> yes, for plain filtering it is not needed usually
<m_mans> ok
<m_mans> what sources (books etc) most helped you to understand Prolog?
<Regenaxer> I only read the old Clocksin&Mellish (not sure about the spelling now)
<m_mans> And after it you was able to write your own implementation?
<m_mans> *were
<Regenaxer> I think it was Rick who posted this very good link: https://www.metalevel.at/prolog
<Regenaxer> ah, no
<Regenaxer> I also read the book "Implementations of Prolog" iirc
<Regenaxer> all 30 years ago ;)
<Regenaxer> I had prolog already in 8kLisp, before picolisp
<Regenaxer> hmm, the prolog part seems lost
<m_mans> thanks for the links!
<Regenaxer> :)
aw- has joined #picolisp
<m_mans> where are described conventions about naming of database filenames and external symbols (64bit)? ML or somewhere in docs?
<Regenaxer> The filenames and symbol names are hard-coded
<Regenaxer> External symbol names are complicated bit patterns, described in doc64/structures
<m_mans> filenames are kind of hex values, right?
<Regenaxer> yes
<Regenaxer> in fact, they are called "hax" notation
<Regenaxer> hexadecimal/alpha
<Regenaxer> see the 'hax' function
<Regenaxer> yes, just found it too :)
<Regenaxer> This notation is a nice trick, as it saves a delimiter char between the file and the object parts
<Regenaxer> pil32 used '-' for that
<m_mans> they also ask me about "data consistency guarantees" in fail scenarios (power loss etc). Could you comment this?
<Regenaxer> I always mirror important DBs to another server with a replication journal (argument to 'pool', then ssl/replica
<beneroth> m_mans, check out the additional arguments to (pool)
<Regenaxer> yes
<Regenaxer> and a transaction log
<beneroth> you want to have an transaction log for sudden power losses. and a journal for replication/mirroring to another server.
<Regenaxer> (I use on mobile DBs, as they may be killed any time)
<beneroth> picolisp offers this all :)
<beneroth> easy to set up :)
<m_mans> hm, how transaction log can help in case of sudden power losses?
<beneroth> every change is first written to that transaction log
<beneroth> and than from there to the real database file(s)
<Regenaxer> It is rolled back upon next start
<beneroth> if there is data in the transaction log upon opening the database (pool), then something went wrong the last time
<Regenaxer> An UPS is also a good idea
<m_mans> oops, sorry, meeting
<Regenaxer> no hurry :)
<m_mans> Could we continue later?
<m_mans> thanks
<Regenaxer> sure
jibanes has quit [Ping timeout: 256 seconds]
jibanes has joined #picolisp
alexshendi has joined #picolisp
orivej has joined #picolisp
miskatonic has joined #picolisp
miskatonic has quit [Quit: ERC (IRC client for Emacs 24.5.1)]
orivej has quit [Ping timeout: 260 seconds]
aw- has quit [Quit: Leaving.]
<Regenaxer> Strage, my server at DomainFactory suddenly shows all times in UTC
<Regenaxer> Somehow the time zone seems to be lost
<Regenaxer> Where is that configured in Linux?
<Regenaxer> $TZ is not set
<Regenaxer> Hmm, is it the link in /etc/localtime ?
<Regenaxer> Something changed it this morning
<Regenaxer> OK, found it: dpkg-reconfigure tzdata
<Regenaxer> Sorry for bothering
<beneroth> Regenaxer, yeah dpkg-reconfigure tzdata
<Regenaxer> :)
<Regenaxer> Strange that it was modified by someone
<beneroth> sorry, was on phone etc... a customer of mine terminated various domains and services (email, websites) with me back in September, now today it occured to them that they want to keep the domains and stuff.
<Regenaxer> good then :)
<beneroth> yeah..but getting terminated domains back can be a bit cumbersome.. :)
<Regenaxer> indeed
<beneroth> once they're in the "deletion"-phase they cannot be taken back, you have to wait until the domain gets available again, and hope you are the first to grab it
<beneroth> localtime change: maybe an update changed it? though should not happen, I think it never happened to me, or if then only with dist-upgrade, not normal updates
<Regenaxer> T
<beneroth> bbl
<Regenaxer> I see from the symbolic link's timestamp that it was this morning. I think I did an apt update, perhaps I did not pay attention
<Regenaxer> cu
<beneroth> maybe you can check in the logfiles from apt
<beneroth> cu :)
jibanes has quit [Ping timeout: 248 seconds]
jibanes has joined #picolisp
miskatonic has joined #picolisp
alexshendi has quit [Ping timeout: 240 seconds]
orivej has joined #picolisp
alexshendi has joined #picolisp
miskatonic has quit [Quit: ERC (IRC client for Emacs 24.5.1)]
jibanes has quit [Ping timeout: 252 seconds]
jibanes has joined #picolisp
nonlinear has quit [Ping timeout: 260 seconds]
orivej has quit [Ping timeout: 240 seconds]
nonlinear has joined #picolisp
alexshendi has quit [Ping timeout: 252 seconds]
<beneroth> bwahaha
<beneroth> you want to have a good stock market price? just add "blockchain" to your company name!
<beneroth> funny comment: "This isn't going to be a bubble burst. This is going to be a nuclear detonation." haha, agree
alexshendi has joined #picolisp
orivej has joined #picolisp
_whitelogger has joined #picolisp