Holger
has left
00:10:20
karim
has left
00:22:24
karim
has joined
00:24:05
sam
has left
00:30:52
karim
has left
00:36:30
karim
has joined
00:39:08
jjrh
has left
00:40:52
jjrh
has left
00:44:15
jjrh
has left
00:52:43
karim
has left
00:57:34
karim
has joined
01:00:09
carlos
has joined
01:21:19
carlos
has joined
01:21:22
carlos
has joined
01:25:38
carlos
has joined
01:25:42
karim
has joined
01:30:36
karim
has joined
01:31:08
Zash
has left
01:33:13
carlos
has joined
01:40:12
carlos
has joined
01:40:18
jjrh
has left
01:40:39
jjrh
has left
01:42:31
jjrh
has left
01:43:40
jjrh
has left
01:45:25
jjrh
has left
01:45:28
jere
has joined
01:48:08
jere
has joined
01:48:18
karim
has joined
01:53:02
karim
has joined
01:55:18
jjrh
has left
02:13:04
jere
has left
02:54:29
jere
has joined
03:12:37
alex
has joined
03:28:11
sezuan
has left
03:32:00
blabla
has joined
04:08:34
jere
has joined
04:09:53
ThibG
has left
04:21:23
ThibG
has joined
04:21:27
pod
has joined
04:21:59
alex
has joined
04:38:34
Marzanna
has left
04:40:49
alex
has joined
04:50:38
alex
has joined
05:00:06
ileh
has joined
05:11:04
mimi89999
has left
05:33:17
uc
has left
05:33:17
uc
has left
05:33:17
mimi89999
has joined
05:33:17
mimi89999
has joined
05:34:06
uc
has joined
05:34:34
pod
has left
05:36:06
pod
has joined
05:36:09
sam
has left
05:38:42
alex
has joined
05:48:37
alex
has joined
05:54:36
alex
has joined
06:08:02
jww
has joined
06:14:26
alex
has joined
06:14:37
alex
has left
06:26:48
alex
has joined
06:34:38
ThibG
has left
06:41:02
ThibG
has joined
06:41:07
alex
has joined
06:47:20
alex
has joined
06:54:52
pod
has left
06:58:13
fp-tester
has left
07:07:15
fp-tester
has joined
07:07:31
alex
has joined
07:07:43
karim
has left
07:16:12
fp-tester
has left
07:20:38
fp-tester
has joined
07:20:52
alex
has joined
07:24:40
0xAFFE
has joined
07:34:24
alex
has joined
07:37:08
0xAFFE
has left
07:42:59
0xAFFE
has joined
07:43:04
alex
has joined
07:44:42
edhelas
has left
07:49:11
alex
has left
07:58:20
alex
has joined
08:14:42
alex
has joined
08:27:35
edhelas
has left
08:32:42
mimi89999
has left
08:39:50
zuglufttier
has left
08:41:56
edhelas
has joined
08:42:28
alex
has joined
08:44:43
fp-tester
has joined
08:46:43
fp-tester
has joined
08:56:46
alex
has joined
09:09:21
css
has left
09:21:19
css
has joined
09:21:25
pod
has left
09:23:43
blabla
has joined
09:29:20
blabla
has joined
09:29:21
blabla
has left
09:39:23
karim
has joined
09:41:14
uc
has joined
09:42:45
fp-tester
has left
09:45:09
fp-tester
has joined
09:45:18
Zash
has joined
09:58:56
fp-tester
has left
10:28:53
fp-tester
has joined
10:29:10
Holger
has left
10:30:48
mrDoctorWho
has left
10:31:17
jere
has joined
10:31:25
alex
has joined
10:36:06
mike
has left
10:37:01
karim
has left
10:38:59
Zash
has left
10:42:48
alex
has joined
10:49:11
fp-tester
has left
10:52:59
Zash
has joined
11:09:35
alex
has joined
11:11:09
jere
has joined
11:16:57
alex
has joined
11:23:13
fp-tester
has joined
11:31:31
alex
has joined
11:36:37
pod
has left
11:55:04
jere
has joined
12:00:47
ThibG
has joined
12:04:34
jere
has joined
12:08:19
fp-tester
has joined
12:21:18
valo
has joined
12:26:19
valo
has joined
12:26:24
alex
has joined
12:27:34
uc
has left
12:35:39
jere
has joined
12:40:15
Syndace
has left
12:46:42
ThibG
has joined
12:46:44
Syndace
has joined
12:46:48
jjrh
has left
12:48:09
jere
has joined
12:49:14
jjrh
has left
12:50:21
jere
has joined
12:50:46
fp-tester
has joined
12:52:19
jjrh
has left
12:53:37
pod
has left
12:53:50
jjrh
has left
12:54:05
0
has left
12:57:14
pod
has joined
12:58:21
alex
has joined
13:03:28
jere
has joined
13:06:55
ThibG
has left
13:21:00
fp-tester
has left
13:21:30
uc
has left
13:21:33
jere
has joined
13:23:44
uc
has joined
13:24:44
alex
has joined
13:24:50
0
has joined
13:25:21
uc
has left
13:29:41
pod
has left
13:32:32
pod
has left
13:35:30
fp-tester
has joined
13:37:51
jere
has joined
13:45:40
mrDoctorWho
has joined
13:50:19
fp-tester
has joined
14:02:15
fp-tester
has joined
14:13:42
alex
has joined
14:22:29
fp-tester
has left
14:27:58
fp-tester
has joined
14:28:10
mimi89999
has joined
14:32:46
jere
has joined
14:35:25
alex
has joined
14:41:10
mrDoctorWho
has joined
14:56:54
zuglufttier
has left
14:57:27
zuglufttier
has left
15:00:12
zuglufttier
has joined
15:00:26
karim
has left
15:05:08
karim
has left
15:05:08
karim
has joined
15:05:20
Martin
has joined
15:12:39
alex
has joined
15:18:06
karim
has left
15:20:48
karim
has left
15:21:14
jere
has joined
15:23:39
karim
has left
15:25:21
karim
has left
15:25:21
karim
has joined
15:25:34
Medics
has joined
15:29:00
karim
has joined
15:32:28
alex
has joined
15:33:20
Medics
has joined
15:33:28
Medics
has joined
15:36:57
alex
has joined
15:39:12
mrDoctorWho
has joined
15:48:23
alex
has left
15:49:02
alex
has joined
15:50:21
uc
has left
15:51:31
Martin
has left
15:56:48
mike
has left
15:56:54
zuglufttier
has left
15:57:12
zuglufttier
has joined
15:57:23
carlos
has joined
15:59:26
carlos
has joined
15:59:30
alex
has joined
16:03:03
jere
has joined
16:09:38
alex
has joined
16:10:38
jere
has joined
16:16:16
jere
has joined
16:22:54
ThibG
has joined
16:31:11
pod
has left
16:41:43
jere
has joined
16:42:57
jere
has joined
16:48:22
blabla
has joined
16:51:15
carlos
has joined
16:53:05
carlos
has joined
16:53:10
Martin
has joined
16:55:09
css
has left
17:07:20
0xAFFE
has left
17:21:21
alex
has joined
17:22:48
jere
has joined
17:25:48
jere
has joined
17:28:38
carlos
has joined
17:31:24
carlos
has joined
17:31:26
jere
has joined
17:31:38
jere
has joined
17:31:59
alex
has joined
17:43:57
0
has left
17:45:42
0
has joined
17:45:53
Martin
has left
17:47:23
jjrh
has left
17:48:42
jjrh
has left
17:52:26
carlos
has left
18:04:56
carlos
has joined
18:05:04
jjrh
has left
18:08:22
jjrh
has left
18:09:28
alex
has joined
18:12:29
uc
has left
18:14:09
uc
has joined
18:14:27
alex
has joined
18:29:09
css
has joined
18:40:49
css
has left
18:41:57
css
has joined
18:42:03
jjrh
has left
18:50:26
css
has left
18:52:13
css
has joined
18:52:19
Ge0rG
has left
18:53:15
Martin
has joined
19:02:35
Ge0rG
has left
19:06:06
karim
has joined
19:06:49
Ge0rG
has left
19:08:26
jww
has left
19:09:19
Ge0rG
has left
19:09:27
Ge0rG
has left
19:10:32
css
has left
19:13:26
Ge0rG
has left
19:15:31
blabla
has left
19:23:31
carlos
has joined
19:34:06
carlos
has joined
19:34:09
Ge0rG
19:44:35
edhelas: block multi line messages from strangers. Also pastebin links
edhelas
19:45:58
how ?
Zash
19:46:48
Bother ejabberd devs about porting mod_firewall?
Ge0rG
19:51:53
edhelas: migrate to prosody! 🤣
edhelas
19:52:04
eheh
Martin
has left
19:58:30
pod
has left
20:03:37
ThibG
has left
20:15:32
alex
has joined
20:16:20
mike
has left
20:29:03
jere
has joined
20:32:34
Holger
20:33:57
> Code expressions are powerful, and allow unconstrained access to Prosody's internal environment.
This part will be non-trivial to port :-)
Zash
20:34:32
Just include all of Prosody
Holger
20:34:46
And I'm not sure I'd go for Lua patterns rather than regular expressions. So I guess real-world rule sets wouldn't work unmodified.
Holger
20:34:57
That said, I'm thinking about porting this as well.
Holger
20:35:58
Zash: :-)
Zash
20:36:47
Lua patterns are roughly a subset of regular expressions
Zash
20:37:03
And probably is, in the language theory sense
Zash
20:37:28
People tend to think of PCRE and similar when they hear "regular expressions"
Holger
20:37:29
Well you can't pipe them as-is into regex functions.
Holger
20:37:48
Zash: So do I :-)
Zash
20:38:07
A bunch would work if you s/%/\\/
Zash
20:38:35
Notable exceptions are - which is like *? and %bxy which is ... not regular IIRC
Holger
20:39:05
Yes I know them, I did quite a bit of Lua actually (before Prosody even existed) :-)
Holger
20:40:54
They're just fine, I'm just unsure implementing them (or loading 'luerl' just for this purpose) would be worth it.
jere
has joined
20:41:35
Zash
20:41:40
PCRE is supposedly huge compared to the Lua pattern implementation
Holger
20:41:54
Absolutely, but it's loaded anyway.
Holger
20:42:35
Apart from that the syntax is probably more familiar to most admins.
Holger
20:43:05
Then again, my only goal in implementing this would be loading Georg's rules, so what do I care about admins.
pod
has left
20:43:06
sam
20:43:20
I feel like doing PCRE in a network firewall type situation is a bad idea; you're just going to end up with administrators writing rules that will trigger infinite recursion when people send malicious packets
sam
20:43:53
You probably want actually-regular regular expressions that can run in linear time (there's probably a word for that)
Zash
20:43:55
And how much of mod_firewall you wanna be compatible with
Zash
20:44:14
sam: That might actually be "regular expressions"
sam
20:44:28
Zash: "real regular expressions"?
Zash
20:44:38
But I haven't studied this, so what do I know
sam
20:44:55
Huh, I wonder why my name is "sam" all of a sudden.
Zash
20:45:10
Who are you?
Zash
20:45:13
???
sam
20:45:13
An imposter
Zash
20:45:16
!!
sam
20:46:02
my mcabber config has not changed; maybe the wrong value is stored int he bookmark or something.
SamWhited
has joined
20:46:32
sam
20:46:58
Oh, it thinks my nickname is already in use… that's odd, my phone is not using it, so I have no idea what I left logged in.
sam
has left
20:47:05
SamWhited
has joined
20:47:12
SamWhited
20:47:28
Test
SamWhited
20:47:30
That's better.
Zash
20:50:28
https://en.wikipedia.org/wiki/File:Chomsky-hierarchy.svg
Zash
20:50:38
That stuff
jww
has joined
20:55:37
Zash
20:55:55
https://en.wikipedia.org/wiki/Regular_language#Formal_definition
SamWhited
21:00:28
Maybe I'll start calling them "regular regular expressions", since the first regular is ignored by Perl et al. and apparently is meaningless
jww
has left
21:10:32
jww
has joined
21:10:35
alex
has joined
21:21:18
mimi89999
has left
21:31:32
Ge0rG
21:32:06
SamWhited: just call them cat expressions, because they look like typed by a cat running over the keyboard
SamWhited
21:41:59
Ge0rG: this is true, but that doesn't distinguish them from PCRE style regular expressions, or anything written in Erlang.
Zash
21:42:26
catjabberd
alex
has joined
21:44:34
Ge0rG
21:46:09
JabberCat
Zash
21:46:59
That sounds familiar
SamWhited
21:47:24
https://github.com/jabbercat/jabbercat
jere
has joined
21:54:29
Zash
has left
22:13:43
Zash
has left
22:20:49
carlos
has joined
22:23:42
carlos
has joined
22:23:49
edhelas
has left
22:28:37
uc
has left
22:43:09
uc
has joined
22:43:15
css
has left
22:50:58
uc
has joined
22:54:57
SamWhited
has left
23:00:33
karim
has joined
23:02:00
carlos
has left
23:05:29
carlos
has joined
23:05:46
uc
has joined
23:08:51
valo
has left
23:13:58
uc
has joined
23:19:02
fp-tester
has left
23:19:28
fp-tester
has left
23:24:16
uc
has joined
23:31:36
zuglufttier
has left
23:40:29
zuglufttier
has joined
23:40:39
alex
has joined
23:41:14
uc
has joined
23:46:38
alex
has joined
23:48:01
uc
has joined
23:49:48
uc
has joined
23:59:59