Skip to content

Instantly share code, notes, and snippets.

@melezhik
Created June 22, 2021 17:19
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save melezhik/26d77b06bdd532e8753ca0c978768e20 to your computer and use it in GitHub Desktop.
Save melezhik/26d77b06bdd532e8753ca0c978768e20 to your computer and use it in GitHub Desktop.
grep.regexp optimization (0de28ae72df824d9314bbbc2239269d69cba1b47)
[root@23f7111def19 r3tool]# SP6_FORMAT_TERSE=1 tomty --env=2020_20 grep_regexp_optimization
index updated from file:///root/repo/api/v1/index
cat $root_dir/task.bash
$RAKUBIN -v
time $RAKUBIN -e 'my $txt = slurp "/usr/share/dict/words"; for (1..10) { my (@m) = $txt.grep( { m:i/ <!after i> e / } ) }'
Welcome to ๐‘๐š๐ค๐ฎ๐๐จโ„ข v2021.06-9-g37dd25f68.
Implementing the ๐‘๐š๐ค๐ฎโ„ข programming language v6.d.
Built on MoarVM version 2021.06-6-g6977d0591.
stderr:
real 0m0.446s
user 0m0.486s
sys 0m0.069s
[root@23f7111def19 r3tool]# SP6_FORMAT_TERSE=1 tomty --env=2021_06 grep_regexp_optimization
load configuration from /root/projects/r3tool/.tomty/env/config.2021_06.pl6
index updated from file:///root/repo/api/v1/index
cat $root_dir/task.bash
$RAKUBIN -v
time $RAKUBIN -e 'my $txt = slurp "/usr/share/dict/words"; for (1..10) { my (@m) = $txt.grep( { m:i/ <!after i> e / } ) }'
Welcome to ๐‘๐š๐ค๐ฎ๐๐จโ„ข v2021.05-43-g4887a169b.
Implementing the ๐‘๐š๐ค๐ฎโ„ข programming language v6.d.
Built on MoarVM version 2021.06.
stderr:
real 0m0.439s
user 0m0.488s
sys 0m0.066s
@melezhik
Copy link
Author

[root@23f7111def19 r3tool]# tomty --env=2020_12 grep_regexp_optimization
load configuration from /root/projects/r3tool/.tomty/env/config.2020_12.pl6
[repository] :: index updated from file:///root/repo/api/v1/index
[grep_regexp_optimization] :: cat $root_dir/task.bash
[grep_regexp_optimization] ::
[grep_regexp_optimization] :: $RAKUBIN -v
[grep_regexp_optimization] ::
[grep_regexp_optimization] :: time $RAKUBIN -e 'my $txt = slurp "/usr/share/dict/words"; for (1..10) { my (@m) = $txt.grep( { m:i/ <!after i> e / } ) }'
[grep_regexp_optimization] :: Welcome to Rakudo(tm) v2020.12.
[grep_regexp_optimization] :: Implementing the Raku(tm) programming language v6.d.
[grep_regexp_optimization] :: Built on MoarVM version 2020.12.
[grep_regexp_optimization] :: stderr:
real 0m0.434s
user 0m0.488s
sys 0m0.076s
[root@23f7111def19 r3tool]# tomty --env=2021_06 grep_regexp_optimization
load configuration from /root/projects/r3tool/.tomty/env/config.2021_06.pl6
[repository] :: index updated from file:///root/repo/api/v1/index
[grep_regexp_optimization] :: cat $root_dir/task.bash
[grep_regexp_optimization] ::
[grep_regexp_optimization] :: $RAKUBIN -v
[grep_regexp_optimization] ::
[grep_regexp_optimization] :: time $RAKUBIN -e 'my $txt = slurp "/usr/share/dict/words"; for (1..10) { my (@m) = $txt.grep( { m:i/ <!after i> e / } ) }'
[grep_regexp_optimization] :: Welcome to ๐‘๐š๐ค๐ฎ๐๐จโ„ข v2021.05-43-g4887a169b.
[grep_regexp_optimization] :: Implementing the ๐‘๐š๐ค๐ฎโ„ข programming language v6.d.
[grep_regexp_optimization] :: Built on MoarVM version 2021.06.
[grep_regexp_optimization] :: stderr:
real 0m0.438s
user 0m0.481s
sys 0m0.067s

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment