Newest at the top
2024-09-02 03:26:08 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-02 03:25:44 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 272 seconds) |
2024-09-02 03:22:25 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
2024-09-02 03:21:53 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-09-02 03:21:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-02 03:19:58 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-09-02 03:16:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 03:15:38 +0200 | <albet70> | break can break the for loop in python, is there something can break in fmap or filter? |
2024-09-02 03:07:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-02 03:02:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 02:52:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-02 02:47:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 02:42:28 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-09-02 02:38:17 +0200 | Mateon2 | Mateon1 |
2024-09-02 02:36:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-02 02:35:59 +0200 | Mateon2 | (~Thunderbi@user/meow/Mateon1) |
2024-09-02 02:35:48 +0200 | Mateon1 | (~Thunderbi@user/meow/Mateon1) (Ping timeout: 252 seconds) |
2024-09-02 02:35:36 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Client Quit) |
2024-09-02 02:35:31 +0200 | <jackdk> | IIRC laziness means that applicative parsers can do a bit more than parse CFGs but I don't recall the details |
2024-09-02 02:32:41 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
2024-09-02 02:31:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 02:31:17 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2024-09-02 02:31:05 +0200 | <hololeap> | I think it was the chomsky hierarchy |
2024-09-02 02:27:34 +0200 | <hololeap> | I seem to remember a hierarchy of parsers that roughly correlates to parsing that can be done exclusively with Applicative vs parsing that requires Monad. does anyone know what I'm thinking of? |
2024-09-02 02:26:15 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
2024-09-02 02:20:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-02 02:18:43 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
2024-09-02 02:16:07 +0200 | Guest21 | (~Guest75@2600:387:15:1511::c) (Client Quit) |
2024-09-02 02:15:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 02:15:19 +0200 | neuroevolutus | (~neuroevol@146.70.211.152) (Ping timeout: 256 seconds) |
2024-09-02 02:15:17 +0200 | Guest21 | (~Guest75@2600:387:15:1511::c) |
2024-09-02 02:11:08 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
2024-09-02 02:09:51 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2024-09-02 02:08:41 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 255 seconds) |
2024-09-02 02:06:43 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds) |
2024-09-02 02:04:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-02 02:01:06 +0200 | biberao | (~m@user/biberao) (Quit: WeeChat 3.8) |
2024-09-02 01:59:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 01:51:17 +0200 | neuroevolutus | (~neuroevol@146.70.211.152) |
2024-09-02 01:51:15 +0200 | troojg | (~troojg@user/troojg) (Read error: Connection reset by peer) |
2024-09-02 01:49:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-02 01:43:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 01:40:22 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-09-02 01:37:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-09-02 01:36:00 +0200 | son0p | (~ff@191.104.26.195) |
2024-09-02 01:34:19 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb65c86c0f467d06e1b7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-09-02 01:34:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ce12:5406:9488:ffd0) (Ping timeout: 260 seconds) |
2024-09-02 01:33:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-02 01:27:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-02 01:25:30 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |