2025/05/07

Newest at the top

2025-05-07 23:10:49 +0200Frostillicus_1(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-07 23:10:47 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-07 23:09:00 +0200 <hellwolf> interpreted
2025-05-07 23:08:52 +0200 <hellwolf> you just interpret that.
2025-05-07 23:08:36 +0200 <tomsmeding> the product of two finite automata is again a finite automata, so I'm not sure how to interpret that "two" :p
2025-05-07 23:07:24 +0200 <hellwolf> /some
2025-05-07 23:07:17 +0200 <hellwolf> according to some study
2025-05-07 23:06:36 +0200 <tomsmeding> two finite automata?
2025-05-07 23:05:30 +0200 <hellwolf> two
2025-05-07 23:04:35 +0200tromp(~textual@2001:1c00:3487:1b00:d43:3b62:1503:cb84)
2025-05-07 23:03:42 +0200Frostillicus_1(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-07 23:03:18 +0200Frostillicus_1(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-05-07 23:02:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-07 23:01:43 +0200 <EvanR> it can be recognized by a finite automaton?
2025-05-07 22:59:56 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-07 22:58:40 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-07 22:57:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 22:57:26 +0200 <hellwolf> also, supposedly, Indonesian is the easiest grammar in the world.
2025-05-07 22:56:03 +0200tromp(~textual@2001:1c00:3487:1b00:d43:3b62:1503:cb84) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-07 22:56:03 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-05-07 22:48:17 +0200mastarija(~mastarija@141-136-135-87.dsl.iskon.hr) (Quit: Client closed)
2025-05-07 22:47:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-07 22:42:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 22:39:00 +0200mastarija(~mastarija@141-136-135-87.dsl.iskon.hr) mastarija
2025-05-07 22:32:28 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-07 22:31:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-07 22:30:39 +0200weary-traveler(~user@user/user363627) user363627
2025-05-07 22:26:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 22:19:47 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden
2025-05-07 22:15:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-07 22:14:56 +0200pavonia(~user@user/siracusa) siracusa
2025-05-07 22:10:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 22:10:24 +0200YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:93c8:3aef:156:8fed) youngfrog
2025-05-07 22:07:49 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 248 seconds)
2025-05-07 22:02:11 +0200Frostillicus_1(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-07 22:00:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-07 21:54:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 21:54:48 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-05-07 21:47:43 +0200Kaladin(~Kaladin@157-131-203-96.fiber.dynamic.sonic.net)
2025-05-07 21:45:12 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-05-07 21:44:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-07 21:43:44 +0200Frostillicus_1(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-07 21:43:19 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Ping timeout: 245 seconds)
2025-05-07 21:39:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 21:33:48 +0200volsand(~volsand@2804:1b1:1080:da6:9bd5:d14d:c7b0:e9cd) (Client Quit)
2025-05-07 21:32:49 +0200volsand(~volsand@2804:1b1:1080:da6:9bd5:d14d:c7b0:e9cd)
2025-05-07 21:28:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-07 21:25:53 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection)
2025-05-07 21:23:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-07 21:22:30 +0200 <tomsmeding> can I trigger that too