ChanServ changed the topic of #picolisp to: PicoLisp language | Channel Log: https://irclog.whitequark.org/picolisp/ | Check also http://www.picolisp.com for more information
_whitelogger has joined #picolisp
_whitelogger has joined #picolisp
<Regenaxer> Yeah, was sleeping :)
_whitelogger has joined #picolisp
<beneroth> :)
<beneroth> according to tests by Morris and me, it seems that bool/3 does not handle NIL as first parameter?
<beneroth> we wanted it at first to use to check for the absence of a property
<beneroth> what is the difference between bool/3 and same/3 ?
<Regenaxer> right, all these predicates behave that way
<beneroth> because pilog does not no NIL, right?
<beneroth> NIL doesn't exist, because of true normalization, kinda... NIL values get kicked out of the solution space?
<Regenaxer> right, and indices can`t search for "nothing"
<Regenaxer> T
<beneroth> ok
<beneroth> so only difference between bool/3 and same/3 is that bool/3 matches 3 and 5, while same would not?
<Regenaxer> also, non-given search values are always ignored
<Regenaxer> yes
<beneroth> ok, grokked
<Regenaxer> like 'bool' and 'not' etc
<beneroth> and the only difference between same/3 and equal/2 is that same uses get algorithm and equal direct values (direct bindings) ?
<Regenaxer> plus that skip logic
<Regenaxer> equal/2 is not such a DB predicate
<Regenaxer> it is a normal Pilog pred
<Regenaxer> The DB predicates succeed (kind of) if no value is given
<beneroth> yeah thought so
<beneroth> alright
<beneroth> thanks for explanation :)
<Regenaxer> :)
beneroth has quit [Quit: Leaving]
razzy has joined #picolisp
rob_w has joined #picolisp
orivej has quit [Ping timeout: 240 seconds]
mtsd has joined #picolisp
aw- has joined #picolisp
<aw-> haha segfaults as a beginner.. that was a big frustration for me too, but i almost never get them now
<Regenaxer> Hi aw-
<aw-> hi
rob_w has quit [Quit: Leaving]
_whitelogger has joined #picolisp
<aw-> hello, did you discuss the current status of pil21 yet?
<Regenaxer> Not much, just a short mention
<aw-> oh ok
<Regenaxer> aw-, are you still hearing us?
<aw-> no i'm in a different room
<Regenaxer> Cause I can see your icon
<aw-> yes my tablet is connected in jitsi
<mtsd> Thanks for todays session. I arrived late, sorry about that
<mtsd> clear
<Regenaxer> Yes, I saw you. No problem :)
Blukunfando has joined #picolisp
mtsd has quit [Quit: mtsd]
mtsd has joined #picolisp
mtsd has quit [Quit: mtsd]
orivej has joined #picolisp
beneroth has joined #picolisp
Blue_flame has quit [Quit: killed]
Blue_flame has joined #picolisp
mtsd has joined #picolisp
razzy has quit [Quit: Connection closed]
orivej has quit [Ping timeout: 240 seconds]
mtsd has quit [Remote host closed the connection]
orivej has joined #picolisp
orivej has quit [Ping timeout: 264 seconds]
<tankf33der> Regenaxer: i am using ht.l tests from picolisp.
<tankf33der> prin, fmt, pack - passed.
emacsomancer has quit [Quit: WeeChat 2.8]
<Regenaxer> Ah, great! I did not expect you test it already in this early stage, but so it is good to know :)
<Regenaxer> I have not yet tested myself
<Regenaxer> first build all functions to see how it fits
emacsomancer has joined #picolisp
orivej has joined #picolisp
<tankf33der> Read and In-Out fails.
<tankf33der> =========
<tankf33der> offtopic: this crash too
<tankf33der> http://ix.io/2w7w
<tankf33der> =========
<Regenaxer> I think I was only half way through ht:Read
<Regenaxer> still has #!
<Regenaxer> ah, this is not ht:Read
<aw-> good you have many eyes on pil21, will make it stable much quicker
<Regenaxer> indeed
libertas_ has joined #picolisp
libertas has quit [Remote host closed the connection]
orivej has quit [Ping timeout: 240 seconds]
<Regenaxer> The crash in the 'later' test happens in 'wait'
<Regenaxer> Pipe handling, children, like last time
<Regenaxer> Complicated issue
<tankf33der> np.
<Regenaxer> I will trace it later
<Regenaxer> Good that you found it
orivej has joined #picolisp
orivej has quit [Ping timeout: 265 seconds]
<Regenaxer> I know what the reason is. Same place as last time, searching for a file descriptor
<Regenaxer> I will have to redesign the polling
<Regenaxer> Need to keep more information
<Regenaxer> What nags me a lot more is the PilBox/Android trouble
<tankf33der> why this is trouble if you cant control android?
<tankf33der> and never was before.
<Regenaxer> API 29 does not allow an App to start a binary in its runtime directory
<Regenaxer> In PilBox case it is bin/picolisp and bin/ssl
<Regenaxer> Must be started directly from the APK code
<Regenaxer> and I don't know how
<Regenaxer> Even worse, I probably cannot compile and run under Termux any more
<Regenaxer> All apps must be changed to API 29 until November
<tankf33der> sounds like a bomb.
<Regenaxer> exactly
<Regenaxer> I think it can be solved
<Regenaxer> but I did not succeed yet
<tankf33der> Regenaxer:
<tankf33der> this one, right?
<Regenaxer> yep
<Regenaxer> :(
<Regenaxer> If I can't build on Termux, my workflow gets limited
orivej has joined #picolisp
mtsd has joined #picolisp
mtsd has quit [Client Quit]
mtsd has joined #picolisp
orivej has quit [Ping timeout: 240 seconds]
mtsd has quit [Quit: mtsd]
orivej has joined #picolisp
orivej has quit [Ping timeout: 265 seconds]
orivej has joined #picolisp
Blukunfando has quit [Ping timeout: 258 seconds]
orivej has quit [Ping timeout: 256 seconds]
orivej has joined #picolisp
orivej has quit [Ping timeout: 265 seconds]
orivej has joined #picolisp