Newest at the top
| 2026-02-11 15:33:14 +0100 | Guest99 | (~Guest99@151.84.245.37) (Client Quit) |
| 2026-02-11 15:32:53 +0100 | Guest99 | (~Guest99@151.84.245.37) |
| 2026-02-11 15:29:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-11 15:29:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2026-02-11 15:23:42 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-11 15:23:28 +0100 | polykernel | (~polykerne@user/polykernel) (Server closed connection) |
| 2026-02-11 15:21:30 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-02-11 15:16:59 +0100 | Enrico63 | (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Ping timeout: 272 seconds) |
| 2026-02-11 15:10:28 +0100 | kimiamania4 | (~b4b260c9@user/kimiamania) kimiamania |
| 2026-02-11 15:10:08 +0100 | kimiamania4 | (~b4b260c9@user/kimiamania) (Server closed connection) |
| 2026-02-11 15:09:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-11 15:05:36 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-11 15:05:19 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-11 15:02:38 +0100 | mzg_ | mzg |
| 2026-02-11 15:00:45 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2026-02-11 14:57:19 +0100 | housemate | (~housemate@2001:8004:6970:4f3c:c4f4:395a:ec93:7dc) housemate |
| 2026-02-11 14:49:33 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2026-02-11 14:32:13 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-11 14:28:28 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft |
| 2026-02-11 14:27:25 +0100 | _________ | (~nobody@user/noodly) _________ |
| 2026-02-11 14:26:43 +0100 | _________ | (~nobody@user/noodly) (Ping timeout: 260 seconds) |
| 2026-02-11 14:26:32 +0100 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 2026-02-11 14:26:14 +0100 | fp | (~Thunderbi@130.233.70.158) fp |
| 2026-02-11 14:22:31 +0100 | Square | (~Square4@user/square) Square |
| 2026-02-11 14:10:03 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 14:09:50 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 14:06:38 +0100 | APic | (apic@apic.name) APic |
| 2026-02-11 14:06:04 +0100 | <gentauro> | ski: got it |
| 2026-02-11 14:05:02 +0100 | omnifunctor | (~omnifunct@user/semifunctor) omnifunctor |
| 2026-02-11 14:04:48 +0100 | omnifunctor | (~omnifunct@user/semifunctor) (Server closed connection) |
| 2026-02-11 14:04:25 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 14:04:15 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 14:03:29 +0100 | <ski> | well, i said "no [..] `lookAhead'" |
| 2026-02-11 14:02:45 +0100 | <gentauro> | ski: with `lookAhead` you bind your parser logic to a monadic context right? Isn't it better su rely only on (Selective) Applicative and Functors? |
| 2026-02-11 14:01:28 +0100 | APic | (apic@apic.name) (Server closed connection) |
| 2026-02-11 13:58:47 +0100 | juri_ | (~juri@212.86.50.13) (Read error: Connection reset by peer) |
| 2026-02-11 13:58:47 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-11 13:58:39 +0100 | juri_ | (~juri@212.86.50.13) juri_ |
| 2026-02-11 13:57:26 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2026-02-11 13:56:19 +0100 | rensenwxre | fwam |
| 2026-02-11 13:52:57 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-11 13:46:45 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-11 13:44:06 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-02-11 13:43:28 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) (Server closed connection) |
| 2026-02-11 13:38:04 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2026-02-11 13:37:28 +0100 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (Server closed connection) |
| 2026-02-11 13:35:00 +0100 | fp | (~Thunderbi@wireless-86-50-141-104.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2026-02-11 13:34:33 +0100 | <ski> | (oh, and it should satisfy the right (and left, upto permutation of solutions) distribution law, and also the law that if `p' parses tokens `s' and `q' parses tokens `t', then `p >> q' ought to parse tokens `s <> t' (so, no `eof' nor `lookAhead')) |
| 2026-02-11 13:31:28 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-11 13:30:53 +0100 | fp | (~Thunderbi@wireless-86-50-141-104.open.aalto.fi) fp |