<jasom>
One trick is that (sb-posix:closedir (sb-posix:opendir SOME-POSIX-PATH)) is faster and conses a lot less than e.g. using sb-posix:stat to see if a path is a directory.
shawnw has joined #commonlisp
reb``` has quit [Remote host closed the connection]
reb``` has joined #commonlisp
<jasom>
Anyways bash array substitutions (e.g. "${someArray[@]/%/.ext}" appear to be surprisingly slow. That's something I would have expected bash to be good at.
bjorkintosh has joined #commonlisp
bjorkintosh has joined #commonlisp
bjorkintosh has quit [Changing host]
X-Scale has joined #commonlisp
yitzi has joined #commonlisp
X-Scale has quit [Quit: Client closed]
amb007 has joined #commonlisp
reb``` has quit [Ping timeout: 246 seconds]
amb007 has quit [Ping timeout: 246 seconds]
ym has joined #commonlisp
Akbar-Birbal has joined #commonlisp
<zyd>
mwnaylor: I use the #emacs-lisp channel on the Lisp discord for that sort of thing. Since CL programmers there lurk most of the channels. Its also not seen as off-topic in the CL channels.
ym has quit [Ping timeout: 265 seconds]
reb``` has joined #commonlisp
reb```` has joined #commonlisp
reb``` has quit [Ping timeout: 255 seconds]
yitzi has quit [Remote host closed the connection]
benjaminl has joined #commonlisp
benjaminl_ has quit [Ping timeout: 252 seconds]
raynei has joined #commonlisp
istewart has joined #commonlisp
NotThatRPG has joined #commonlisp
waleee has quit [Ping timeout: 252 seconds]
mzan has joined #commonlisp
brokkoli_origin has quit [Ping timeout: 255 seconds]
brokkoli_origin has joined #commonlisp
NotThatRPG has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<raynei>
I have laid out an algorithm to evaluate an NFA, but I'm stuck on the implementation: Follow any epsilon transitions, follow any possible normal transitions, finally when string is empty, return all the states the NFA is currently in.
<raynei>
I am just not sure how to keep track of all the states that the NFA is in.
<gilberth>
Well, the state an NFA at a given moment is a set of states. For epsilon transitions you might want to compute the transitive reflexive closure first. You also may want to turn the NFA into a DFA first and run that instead.
<gilberth>
Anyhow, you want an epsilon-free NFA. One easy approach is to copy all transitions of Q2 reachable by epsilon from Q1 to the transitions of Q1.
decweb has quit [Ping timeout: 248 seconds]
pfd has joined #commonlisp
* edgar-rft
votes for an ypsilon-free alphabet
<gilberth>
You misspelled üpsilon.
<raynei>
gilberth: I forgot to mention that it's a NFA constructed from Thompson's construction, if that changes anything.
<gilberth>
raynei: I was assuming that actually. But it doesn't make a difference, the math keeps the same.
<raynei>
gilberth: Thanks for the tip, I'll see what I can do.
<ixelp>
closure-html/src/util/clex.lisp at master · bluelisp/closure-html · GitHub
<gilberth>
That's the Thompson's construction, epsilon closure, and conversion to an DFA. (And code finally). However, it doesn't compute the minimal DFA iirc.
<edgar-rft>
gilberth: thank you - now I think that *all* characters in the alphabet are misspelled üpsilons :-(
Eoco has quit [Quit: WeeChat 4.1.1]
<gilberth>
I number all states that I have and use bit-vectors to name a set of states.
istewart has quit [Quit: Konversation terminated!]
Lord_of_Life has quit [Ping timeout: 255 seconds]
Lord_of_Life_ has joined #commonlisp
Lord_of_Life_ is now known as Lord_of_Life
<raynei>
gilberth: Wow, that's a really well written library. I've been referring to Python and Java implementations because CL resources are so hard to find...
<raynei>
My current code smells and looks like Python
thuna`` has quit [Ping timeout: 248 seconds]
thuna`` has joined #commonlisp
<gilberth>
raynei: It's ancient.
Akbar-Birbal has left #commonlisp [Error from remote client]
amb007 has joined #commonlisp
amb007 has quit [Read error: Connection reset by peer]
amb007 has joined #commonlisp
skeemer has joined #commonlisp
kamafam has joined #commonlisp
ixelp has quit [Ping timeout: 260 seconds]
kamafam has quit [Read error: Connection reset by peer]
kamafam has joined #commonlisp
gilberth has quit [Ping timeout: 260 seconds]
rtypo has quit [Ping timeout: 246 seconds]
ixelp has joined #commonlisp
Akbar-Birbal has joined #commonlisp
Eoco has joined #commonlisp
kamafam1 has joined #commonlisp
pve has joined #commonlisp
kamafam has quit [Ping timeout: 260 seconds]
kamafam1 is now known as kamafam
attila_lendvai has joined #commonlisp
kamafam1 has joined #commonlisp
kamafam has quit [Ping timeout: 255 seconds]
kamafam1 is now known as kamafam
kamafam has quit [Remote host closed the connection]
kamafam has joined #commonlisp
wacki has joined #commonlisp
kamafam has quit [Remote host closed the connection]
kamafam has joined #commonlisp
kamafam1 has joined #commonlisp
kamafam has quit [Ping timeout: 246 seconds]
kamafam1 is now known as kamafam
_cymew_ has joined #commonlisp
kamafam has quit [Remote host closed the connection]
kamafam has joined #commonlisp
kamafam1 has joined #commonlisp
kamafam has quit [Ping timeout: 272 seconds]
kamafam1 is now known as kamafam
kamafam has quit [Remote host closed the connection]
amb007 has quit [Ping timeout: 260 seconds]
kamafam has joined #commonlisp
amb007 has joined #commonlisp
Th30n has joined #commonlisp
amb007 has quit [Ping timeout: 248 seconds]
kamafam has quit [Remote host closed the connection]
alternateved has joined #commonlisp
amb007 has joined #commonlisp
kamafam has joined #commonlisp
kamafam has quit [Remote host closed the connection]
kamafam has joined #commonlisp
donleo has joined #commonlisp
kamafam has quit [Remote host closed the connection]
shka has joined #commonlisp
kamafam has joined #commonlisp
kamafam has quit [Remote host closed the connection]
kamafam has joined #commonlisp
kamafam has quit [Remote host closed the connection]
kamafam has joined #commonlisp
spdegabrielle has joined #commonlisp
skeemer has quit [Ping timeout: 272 seconds]
mgl has joined #commonlisp
varjag has joined #commonlisp
kopiyka has quit [Remote host closed the connection]
mgl has quit [Read error: Connection reset by peer]
kopiyka has joined #commonlisp
mgl has joined #commonlisp
kamafam has quit [Ping timeout: 246 seconds]
alcor has joined #commonlisp
kamafam has joined #commonlisp
mgl has quit [Read error: Connection reset by peer]
simendsjo has joined #commonlisp
gilberth has joined #commonlisp
dawids has joined #commonlisp
mgl has joined #commonlisp
chiselfuse has quit [Ping timeout: 260 seconds]
skeemer has joined #commonlisp
King_julian has joined #commonlisp
chiselfuse has joined #commonlisp
spdegabrielle has quit [Quit: Connection closed for inactivity]
dra has joined #commonlisp
skeemer has quit [Ping timeout: 252 seconds]
Akbar-Birbal has left #commonlisp [Disconnected: Replaced by new connection]
Akbar-Birbal has joined #commonlisp
dawids has quit [Quit: Leaving]
simendsjo has quit [Ping timeout: 276 seconds]
aciep has joined #commonlisp
simendsjo has joined #commonlisp
duuqnd has quit [Ping timeout: 276 seconds]
wacki has quit [Ping timeout: 276 seconds]
mwnaylor has quit [Ping timeout: 276 seconds]
wacki has joined #commonlisp
amb007 has quit [Ping timeout: 276 seconds]
duuqnd has joined #commonlisp
brokkoli_origin has quit [Ping timeout: 265 seconds]
brokkoli_origin has joined #commonlisp
aciep has quit [Remote host closed the connection]
brokkoli_origin has quit [Remote host closed the connection]
brokkoli_origin has joined #commonlisp
pfd has quit [Ping timeout: 256 seconds]
skeemer has joined #commonlisp
amb007 has joined #commonlisp
alcor has quit [Remote host closed the connection]
alcor has joined #commonlisp
King_julian has quit [Ping timeout: 244 seconds]
yitzi has joined #commonlisp
decweb has joined #commonlisp
pfd has joined #commonlisp
King_julian has joined #commonlisp
spdegabrielle has joined #commonlisp
edgar-rft_ has joined #commonlisp
King_julian has quit [Ping timeout: 244 seconds]
edgar-rft has quit [Ping timeout: 272 seconds]
amb007 has quit [Ping timeout: 246 seconds]
amb007 has joined #commonlisp
amb007 has quit [Read error: Connection reset by peer]
simendsjo has quit [Ping timeout: 246 seconds]
simendsjo has joined #commonlisp
amb007 has joined #commonlisp
rtypo has joined #commonlisp
jonatack has quit [Ping timeout: 272 seconds]
alcor has quit [Ping timeout: 252 seconds]
alcor has joined #commonlisp
simendsjo has quit [Read error: Connection reset by peer]
edgar-rft_ is now known as edgar-rft
simendsjo has joined #commonlisp
alcor has quit [Ping timeout: 272 seconds]
alcor has joined #commonlisp
ym has joined #commonlisp
cmack has joined #commonlisp
varjag has quit [Quit: ERC (IRC client for Emacs 27.1)]
easye has quit [Ping timeout: 264 seconds]
simendsjo has quit [Ping timeout: 252 seconds]
Th30n has quit [Ping timeout: 265 seconds]
jonatack has joined #commonlisp
cage has joined #commonlisp
cage has quit [Excess Flood]
cage has joined #commonlisp
easye has joined #commonlisp
zxcvz has joined #commonlisp
lucasta has joined #commonlisp
cage has quit [Quit: rcirc on GNU Emacs 29.4]
amb007 has quit [Ping timeout: 246 seconds]
amb007 has joined #commonlisp
yitzi has quit [Ping timeout: 248 seconds]
echos- has quit [Quit: cheerio]
wheeler has joined #commonlisp
_cymew_ has quit [Ping timeout: 272 seconds]
yitzi has joined #commonlisp
<jasom>
I have some code that was basiclly translated line-for-line from python, complete with tagbody blocks to manually re-implement generators. Translating it was easier than figuring out how to deliver a python executable to shell out to (at least at the time; I hear it may have gotten better).
yitzi has quit [Ping timeout: 276 seconds]
Artea has joined #commonlisp
mgl has quit [Ping timeout: 244 seconds]
lucasta has quit [Remote host closed the connection]
mgl has joined #commonlisp
<yacin>
nah that still sucks
Akbar-Birbal has left #commonlisp [Error from remote client]
saturn2 has quit [Ping timeout: 252 seconds]
_cymew_ has joined #commonlisp
JuanDaugherty has joined #commonlisp
pfd has quit [Quit: Client closed]
_cymew_ has quit [Ping timeout: 248 seconds]
pfd has joined #commonlisp
_cymew_ has joined #commonlisp
ArtemZ has joined #commonlisp
McParen has joined #commonlisp
_cymew_ has quit [Ping timeout: 248 seconds]
jonatack has quit [Ping timeout: 252 seconds]
jonatack has joined #commonlisp
pfd has quit [Quit: Client closed]
pfd has joined #commonlisp
ArtemZ_ has joined #commonlisp
ArtemZ has quit [Ping timeout: 245 seconds]
JuanDaugherty has quit [Quit: JuanDaugherty]
reb```` has quit [Ping timeout: 255 seconds]
reb```` has joined #commonlisp
NotThatRPG has joined #commonlisp
clone_of_saturn has joined #commonlisp
zxcvz has quit [Quit: zxcvz]
kamafam has quit [Read error: Connection reset by peer]
ArtemZ_ has quit [Read error: Connection reset by peer]