Newest at the top
| 2025-05-07 23:13:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 23:11:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-07 23:10:49 +0200 | Frostillicus_1 | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-07 23:10:47 +0200 | j1n37- | (~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 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d43:3b62:1503:cb84) |
| 2025-05-07 23:03:42 +0200 | Frostillicus_1 | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-07 23:03:18 +0200 | Frostillicus_1 | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-05-07 23:02:54 +0200 | merijn | (~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 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-07 22:58:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-07 22:57:57 +0200 | merijn | (~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 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d43:3b62:1503:cb84) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-07 22:56:03 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-07 22:48:17 +0200 | mastarija | (~mastarija@141-136-135-87.dsl.iskon.hr) (Quit: Client closed) |
| 2025-05-07 22:47:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-07 22:42:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 22:39:00 +0200 | mastarija | (~mastarija@141-136-135-87.dsl.iskon.hr) mastarija |
| 2025-05-07 22:32:28 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-07 22:31:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-07 22:30:39 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-07 22:26:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 22:19:47 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-05-07 22:15:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-07 22:14:56 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-07 22:10:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 22:10:24 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:93c8:3aef:156:8fed) youngfrog |
| 2025-05-07 22:07:49 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 248 seconds) |
| 2025-05-07 22:02:11 +0200 | Frostillicus_1 | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-07 22:00:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-07 21:54:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 21:54:48 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-05-07 21:47:43 +0200 | Kaladin | (~Kaladin@157-131-203-96.fiber.dynamic.sonic.net) |
| 2025-05-07 21:45:12 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-05-07 21:44:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-07 21:43:44 +0200 | Frostillicus_1 | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-07 21:43:19 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Ping timeout: 245 seconds) |
| 2025-05-07 21:39:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-07 21:33:48 +0200 | volsand | (~volsand@2804:1b1:1080:da6:9bd5:d14d:c7b0:e9cd) (Client Quit) |
| 2025-05-07 21:32:49 +0200 | volsand | (~volsand@2804:1b1:1080:da6:9bd5:d14d:c7b0:e9cd) |
| 2025-05-07 21:28:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-07 21:25:53 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |