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/>
drainpipe has joined #commonlisp
drainpipe has quit [Ping timeout: 252 seconds]
luna-is-here has quit [Ping timeout: 246 seconds]
luna-is-here has joined #commonlisp
epony has quit [Ping timeout: 252 seconds]
random-nick has quit [Ping timeout: 252 seconds]
xlarsx has joined #commonlisp
xlarsx_ has joined #commonlisp
xlarsx has quit [Ping timeout: 252 seconds]
epony has joined #commonlisp
motherhucker has joined #commonlisp
ec has quit [Remote host closed the connection]
ec has joined #commonlisp
Lord_of_Life has quit [Ping timeout: 252 seconds]
Lord_of_Life_ has joined #commonlisp
Lord_of_Life_ is now known as Lord_of_Life
motherhucker has quit [Client Quit]
motherhucker has joined #commonlisp
dec0d3r has joined #commonlisp
motherhucker has quit [Client Quit]
motherhucker has joined #commonlisp
waleee has quit [Ping timeout: 250 seconds]
waleee has joined #commonlisp
xlarsx_ has quit [Remote host closed the connection]
xlarsx has joined #commonlisp
xlarsx has quit [Ping timeout: 268 seconds]
bilegeek has joined #commonlisp
drainpipe has joined #commonlisp
drainpipe has quit [Ping timeout: 248 seconds]
elderK has joined #commonlisp
waleee has quit [Ping timeout: 248 seconds]
motherhucker has quit [Quit: leaving]
motherhucker has joined #commonlisp
xlarsx has joined #commonlisp
drainpipe has joined #commonlisp
xlarsx has quit [Ping timeout: 268 seconds]
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
terrorjack has joined #commonlisp
xlarsx has joined #commonlisp
drainpipe has quit [Ping timeout: 264 seconds]
xlarsx has quit [Ping timeout: 252 seconds]
ec_ has joined #commonlisp
ec has quit [Ping timeout: 258 seconds]
ultralitsun has quit [Quit: rebooting]
xlarsx has joined #commonlisp
xlarsx has quit [Ping timeout: 268 seconds]
drainpipe has joined #commonlisp
tyson2 has quit [Remote host closed the connection]
drainpipe has quit [Ping timeout: 252 seconds]
Oddity has quit [Ping timeout: 268 seconds]
azimut has joined #commonlisp
motherhucker has quit [Quit: leaving]
azimut has quit [Quit: ZNC - https://znc.in]
azimut has joined #commonlisp
bilegeek has quit [Quit: Leaving]
elderK has quit [Quit: Connection closed for inactivity]
drainpipe has joined #commonlisp
Oddity has joined #commonlisp
drainpipe has quit [Ping timeout: 246 seconds]
somexis has quit [Quit: WeeChat 3.0.1]
rgherdt has joined #commonlisp
_cymew_ has joined #commonlisp
<phoe> minion: memo for killerstorm: I'm using emacs 29 with sly/slime and see no practical issues
<minion> Remembered. I'll tell killerstorm when he/she/it next speaks.
dec0d3r has quit [Quit: Leaving]
igemnace has joined #commonlisp
xlarsx has joined #commonlisp
xlarsx has quit [Remote host closed the connection]
Cymew has joined #commonlisp
shka has joined #commonlisp
<phoe> roses are red
<phoe> honey is amber
<phoe> The value NIL is not of type NUMBER
<jackdaniel> clear omission in the spec, it should stand for a neutral element! (0 when adding, 1 when mulitiplying)
<jackdaniel> otherwise 42
drainpipe has joined #commonlisp
MajorBiscuit has joined #commonlisp
Major_Biscuit has joined #commonlisp
cosimone has joined #commonlisp
drainpipe has quit [Ping timeout: 250 seconds]
Brucio-61 has quit [Ping timeout: 248 seconds]
scymtym has quit [Ping timeout: 246 seconds]
MajorBiscuit has quit [Ping timeout: 268 seconds]
Dynom_ has joined #commonlisp
Dynom_ is now known as Guest1020
ttree has quit [Ping timeout: 260 seconds]
cosimone` has joined #commonlisp
cosimone has quit [Ping timeout: 260 seconds]
genpaku has quit [Remote host closed the connection]
genpaku has joined #commonlisp
Madsy has quit [Remote host closed the connection]
OlCe has joined #commonlisp
Brucio-61 has joined #commonlisp
karlosz has quit [Ping timeout: 260 seconds]
cosimone` has quit [Read error: Connection reset by peer]
<aeth> could make NIL the NaN of fixnums/integers
<aeth> (+ 1 NIL) => NIL
makomo has joined #commonlisp
<hayley> (fmap #'+ 1 nil)
cage has joined #commonlisp
karlosz has joined #commonlisp
drainpipe has joined #commonlisp
drainpipe has quit [Ping timeout: 268 seconds]
causal has quit [Quit: WeeChat 3.6]
chipxxx has joined #commonlisp
random-nick has joined #commonlisp
thuna` has joined #commonlisp
jmdaemon has quit [Ping timeout: 268 seconds]
pillton has quit [Remote host closed the connection]
pve has joined #commonlisp
scymtym has joined #commonlisp
Oddity has quit [Ping timeout: 260 seconds]
seok has joined #commonlisp
<seok> Which http library does everyone use? dexador, drakma or something else?
<pjb> seok: drakma works nicely.
<pjb> aeth: (shadow '+) (defun + (&rest args) (if (find nil args) nil (apply (function cl:+) args)))
drainpipe has joined #commonlisp
aeth has quit [Ping timeout: 264 seconds]
drainpipe has quit [Ping timeout: 268 seconds]
aeth has joined #commonlisp
makomo_ has joined #commonlisp
aeth has quit [Client Quit]
aeth has joined #commonlisp
<_death> find nil is an oops
<phoe> yes, gotta use MEMBER in that case
Everything has joined #commonlisp
<pjb> right, I wanted to use position.
<pjb> but member would do.
<_death> (setf *find-signal-error-on-nil-item* t) and see the world burn :)
peterhil has joined #commonlisp
<seok> Having trouble setting headers with dexador but works in drakma
tyson2 has joined #commonlisp
<seok> The http interface requires Accept and Content-Type to be "application/json", setting these on drakma passes, but the server will not accept a configured dexador request, weird
VincentVega has joined #commonlisp
tevo has quit [Ping timeout: 268 seconds]
random-nick has quit [Ping timeout: 252 seconds]
lisp123 has joined #commonlisp
<lisp123> contrapunctus, hayley : #2 on HN, nicely done
<hayley> Thanks!
<hayley> You should congratulate @[Gnuxie 💜🐝] too.
<beach> Is it interesting to Lispers? If so, could we have a link?
<lisp123> Gnuxie, spreading lisp to the world, well done :clap:
<beach> Thanks.
<hayley> It's about bootstrapping an object-capability language which is some descendent of Lisp and Smalltalk (the latter via Newspeak), as I had mentioned in #sicl. I think we had discussed a lot of the topic matter before.
<beach> Got it.
<hayley> So far the comments have been rather pleasant for once. Someone claimed code in an "interpreted language" can have comparable performance to compiled code, if the interpreter is written in assembly. A funny claim, because I had discussed basically the same a few days ago.
<hayley> They chose the example of LuaJIT. If the interpreter is so fast, why do they have a JIT as well?
makomo has quit [Quit: WeeChat 3.5]
<hayley> Or, if the performance is really due to the compiler, is it really an "interpreted language"? It's even more funny, as I was explaining someone's (very obtuse) proof that an irrational number to the power of an irrational number can be rational, which also neatly handles both cases.
<hayley> (Rather, the presentation was obtuse, the proof is simple. But none of this is about Lisp, let alone Common Lisp, so I'll shut up.)
drainpipe has joined #commonlisp
lisp123 has quit [Read error: Connection reset by peer]
drainpipe has quit [Client Quit]
makomo_ has quit [Quit: WeeChat 3.5]
makomo has joined #commonlisp
drainpipe has joined #commonlisp
drainpipe has quit [Client Quit]
drainpipe has joined #commonlisp
<contrapunctus> lisp123: I'm merely a vessel for the lord _points at hayley and Gnuxie_
<hayley> Well, I have to borrow contrapunctus's guts.
son0p has quit [Quit: leaving]
<acma> e^(ln 2) = 2?
<pjb> (exp (log 2)) #| --> 2.0 |#
<hayley> (let ((s (sqrt 2))) (expt (expt s s) s))
<hayley> We know S is irrational, and thus either (expt s s) is rational, or (expt (expt s s) s) is, because the latter is equal to (expt s (* s s)).
<acma> trying to wrap my head around yours. but what is wrong with mine? mine is valid or no?
son0p has joined #commonlisp
<hayley> We'd need to be sure e and ln 2 are irrational.
<acma> yours makes sense too. thanks!
thuna` has quit [Remote host closed the connection]
<jcowan> "I know how to make a Scheme interpreter *really fast*! I'll compile it with Stalin!" --me, having a brain fart years ago
<jcowan> (stalin being the ultimate fast-executing slow-compiling Scheme implementation)
<jcowan> Luckily, someone pointed out to me what rubbish I was talking.
<_death> futamura projections
leaf22 has quit [Quit: WeeChat 3.5]
ec_ has quit [Remote host closed the connection]
azimut has quit [Remote host closed the connection]
ec_ has joined #commonlisp
azimut has joined #commonlisp
Cymew has quit [Ping timeout: 260 seconds]
azimut has quit [Remote host closed the connection]
azimut has joined #commonlisp
xlarsx has joined #commonlisp
VincentV` has joined #commonlisp
VincentVega has quit [Ping timeout: 264 seconds]
xlarsx has quit [Ping timeout: 252 seconds]
tyson2 has quit [Remote host closed the connection]
euandreh has quit [Ping timeout: 268 seconds]
motherhucker has joined #commonlisp
motherhucker has quit [Ping timeout: 252 seconds]
xlarsx has joined #commonlisp
Oddity has joined #commonlisp
makomo has quit [Ping timeout: 268 seconds]
rogersm has joined #commonlisp
motherhucker has joined #commonlisp
rogersm has quit [Client Quit]
makomo has joined #commonlisp
<jackdaniel> scymtym: say that I have a rule (esrap:parse '(or character (and character character)) "da") ; -- why doesn't it try the second rule when it fails to parse with the first one?
<scymtym> jackdaniel: packrat parsers never backtrack. if an earlier alternative is a prefix of a later alternative, the latter can never match
<jackdaniel> I see, thanks
<jcowan> In bad cases they chew up memory, of course.
<scymtym> you have to either order alternatives accordingly or add guards, for example with (esrap:! …) or (esrap:& …)
<jackdaniel> the paper meantioned in the readme has a title " ... with backtracking", so I've assumed that it does
Everything has quit [Quit: leaving]
<scymtym> backtracking in the sense that the next alternative is tried at the input position before the failing alternative was attempted. but once one alternative of an ordered choice has succeeded and something further along fails, the parser does not go back and try the other alternatives
<scymtym> that's why the choice operator is called ordered choice: the first succeeding alternative is chosen
tyson2 has joined #commonlisp
<scymtym> similarly with greed repetition
<scymtym> *greedy
<jackdaniel> right, I've just imagined "succeeding" differently; but I get now that I can't do that - thanks
ebrasca has joined #commonlisp
<scymtym> sure
<scymtym> that's also why there is at most one parse tree
euandreh has joined #commonlisp
VincentV` has quit [Ping timeout: 260 seconds]
gateway2000 has quit [Quit: Leaving]
gateway2000 has joined #commonlisp
specbot has quit [Remote host closed the connection]
minion has quit [Read error: Connection reset by peer]
specbot has joined #commonlisp
minion has joined #commonlisp
Major_Biscuit has quit [Ping timeout: 250 seconds]
<jackdaniel> (an extension of packrat parser that adds an unordered choice operator; at a cost of raised complexity /when unordered operator is part of the grammar/, otherwise it is claimed to be still linear)
ttree has joined #commonlisp
thuna` has joined #commonlisp
drainpipe has quit [Ping timeout: 268 seconds]
rgherdt_ has joined #commonlisp
rgherdt has quit [Read error: Connection reset by peer]
pranavats has left #commonlisp [Error from remote client]
azimut has quit [Ping timeout: 258 seconds]
azimut has joined #commonlisp
_cymew_ has quit [Ping timeout: 246 seconds]
<jcowan> That is interesting.
_cymew_ has joined #commonlisp
drainpipe has joined #commonlisp
xlarsx has quit [Remote host closed the connection]
xlarsx has joined #commonlisp
drainpipe has quit [Ping timeout: 268 seconds]
waleee has joined #commonlisp
motherhucker has quit [Quit: leaving]
attila_lendvai has joined #commonlisp
justHaunted is now known as ffffffradiofree
ffffffradiofree is now known as jusFffffffradiof
motherhucker has joined #commonlisp
drainpipe has joined #commonlisp
tyson2 has quit [Remote host closed the connection]
motherhucker has quit [Client Quit]
pranavats has joined #commonlisp
random-nick has joined #commonlisp
pranavats has left #commonlisp [Error from remote client]
pranavats has joined #commonlisp
jusFffffffradiof is now known as justThumbs
justThumbs is now known as justVain
tyson2 has joined #commonlisp
attila_lendvai has quit [Ping timeout: 252 seconds]
avocadoist has quit [Remote host closed the connection]
xlarsx has quit [Remote host closed the connection]
xlarsx has joined #commonlisp
cage has quit [Quit: rcirc on GNU Emacs 27.1]
xlarsx has quit [Ping timeout: 260 seconds]
_cymew_ has quit [Ping timeout: 252 seconds]
rgherdt_ is now known as rgherdt
motherhucker has joined #commonlisp
Brucio-61 has quit [Ping timeout: 246 seconds]
scymtym has quit [Ping timeout: 264 seconds]
tyson2 has quit [Remote host closed the connection]
xlarsx has joined #commonlisp
Guest1020 has quit [Quit: WeeChat 3.6]
xlarsx has quit [Ping timeout: 252 seconds]
gxt has quit [Remote host closed the connection]
mariari has quit [Ping timeout: 268 seconds]
gxt has joined #commonlisp
scymtym has joined #commonlisp
Brucio-61 has joined #commonlisp
makomo has quit [Quit: WeeChat 3.5]
causal has joined #commonlisp
mariari has joined #commonlisp
motherhucker has quit [Read error: Connection reset by peer]
motherhucker has joined #commonlisp
jmdaemon has joined #commonlisp
akoana has joined #commonlisp
Lycurgus has joined #commonlisp
tyson2 has joined #commonlisp
motherhucker has quit [Ping timeout: 268 seconds]
xlarsx has joined #commonlisp
drainpipe has quit [Ping timeout: 268 seconds]
Lycurgus has quit [Quit: Exeunt juan@acm.org]
igemnace has quit [Remote host closed the connection]
xlarsx has quit [Remote host closed the connection]
xlarsx has joined #commonlisp
drainpipe has joined #commonlisp
shka has quit [Ping timeout: 260 seconds]
eddof13 has joined #commonlisp
notzmv has quit [Ping timeout: 248 seconds]
azimut has quit [Ping timeout: 258 seconds]
drainpipe has quit [Ping timeout: 260 seconds]
rgherdt has quit [Remote host closed the connection]
zyni-moe has joined #commonlisp
eddof13 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zyni-moe has quit [Client Quit]
chipxxx has quit [Ping timeout: 250 seconds]
Fare has joined #commonlisp
motherhucker has joined #commonlisp
chipxxx has joined #commonlisp
pve has quit [Quit: leaving]
Gnuxie_ has joined #commonlisp
xlarsx_ has joined #commonlisp
xlarsx has quit [Ping timeout: 260 seconds]
mariari has quit [Ping timeout: 260 seconds]
mariari has joined #commonlisp
Gnuxie_ has quit [Quit: Leaving]
epony has quit [Read error: Connection reset by peer]
epony has joined #commonlisp