| 2026-03-27 00:00:20 +0100 | DetourNe- | DetourNetworkUK |
| 2026-03-27 00:01:16 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-27 00:01:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-27 00:03:56 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-27 00:06:17 +0100 | werneta | (~werneta@71.83.160.242) (Ping timeout: 248 seconds) |
| 2026-03-27 00:06:55 +0100 | werneta_ | (~werneta@71.83.160.242) (Ping timeout: 264 seconds) |
| 2026-03-27 00:07:41 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 272 seconds) |
| 2026-03-27 00:08:13 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-03-27 00:08:36 +0100 | werneta_ | (~werneta@71.83.160.242) werneta |
| 2026-03-27 00:09:09 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 00:09:59 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 00:10:48 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-27 00:12:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 00:17:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-27 00:17:22 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds) |
| 2026-03-27 00:22:39 +0100 | werneta | (~werneta@71.83.160.242) (Ping timeout: 255 seconds) |
| 2026-03-27 00:23:39 +0100 | juri__ | juri_ |
| 2026-03-27 00:23:43 +0100 | werneta_ | (~werneta@71.83.160.242) (Ping timeout: 264 seconds) |
| 2026-03-27 00:27:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 00:27:51 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-03-27 00:29:28 +0100 | czan | (~czan@user/mange) czan |
| 2026-03-27 00:29:34 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-03-27 00:29:53 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 00:30:01 +0100 | werneta_ | (~werneta@71.83.160.242) werneta |
| 2026-03-27 00:31:36 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-27 00:32:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-27 00:37:01 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds) |
| 2026-03-27 00:37:44 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-27 00:38:28 +0100 | werneta_ | (~werneta@71.83.160.242) (Ping timeout: 244 seconds) |
| 2026-03-27 00:38:28 +0100 | werneta | (~werneta@71.83.160.242) (Ping timeout: 265 seconds) |
| 2026-03-27 00:39:32 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-27 00:40:02 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-03-27 00:43:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 00:44:56 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-03-27 00:45:21 +0100 | werneta_ | (~werneta@71.83.160.242) werneta |
| 2026-03-27 00:46:29 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-27 00:47:46 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 00:48:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-27 00:52:18 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2026-03-27 00:52:54 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-03-27 00:55:30 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 00:58:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 00:59:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-27 00:59:49 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 01:02:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-27 01:06:18 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 01:13:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 01:19:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-27 01:27:50 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 01:29:53 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-27 01:36:55 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 268 seconds) |
| 2026-03-27 01:38:41 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:313e:e492:a479:fd53) |
| 2026-03-27 01:41:21 +0100 | jreicher | (~joelr@user/jreicher) (Ping timeout: 255 seconds) |
| 2026-03-27 01:42:21 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-03-27 01:45:46 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 2026-03-27 01:47:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 01:51:18 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 01:52:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-27 01:52:49 +0100 | xff0x | (~xff0x@2405:6580:b080:900:634f:4ad0:7953:dee2) (Ping timeout: 272 seconds) |
| 2026-03-27 01:55:19 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2026-03-27 01:59:15 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-03-27 02:02:26 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-27 02:03:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 02:06:44 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e592b17a5f40f0fadffe.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-03-27 02:07:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-27 02:17:11 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-03-27 02:18:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 02:19:57 +0100 | haskellbridge | (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-03-27 02:20:28 +0100 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-03-27 02:20:28 +0100 | ChanServ | +v haskellbridge |
| 2026-03-27 02:22:31 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 02:23:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-27 02:25:03 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 02:28:55 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2026-03-27 02:33:49 +0100 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2026-03-27 02:34:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 02:38:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-27 02:39:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-27 02:49:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 02:50:51 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-03-27 02:54:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-27 03:04:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 03:05:09 +0100 | hsw | (~hsw@106.104.102.45) (Quit: Leaving) |
| 2026-03-27 03:11:02 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2026-03-27 03:11:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-27 03:16:43 +0100 | confusedalex | (~confuseda@user/confusedalex) (Read error: Connection reset by peer) |
| 2026-03-27 03:19:00 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-03-27 03:22:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 03:23:06 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 03:27:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-27 03:30:40 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 03:36:32 +0100 | hsw | (~hsw@106.104.102.45) hsw |
| 2026-03-27 03:36:57 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 2026-03-27 03:38:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 03:42:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-27 03:45:30 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 03:51:27 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 03:58:46 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 04:00:34 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-27 04:05:22 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 2026-03-27 04:08:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 04:10:16 +0100 | marinelli | (~weechat@brrr.fr) (Ping timeout: 276 seconds) |
| 2026-03-27 04:13:02 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 04:13:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-27 04:19:48 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 04:19:50 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-27 04:24:26 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-27 04:26:08 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 04:29:01 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-03-27 04:39:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 04:46:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-27 04:52:14 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-27 04:52:56 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-27 04:57:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 05:02:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-27 05:13:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 05:15:31 +0100 | sp1ff | (~user@2601:1c2:4080:14c0::279b) sp1ff |
| 2026-03-27 05:18:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-27 05:26:15 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-27 05:27:23 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-27 05:28:34 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-27 05:33:29 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 268 seconds) |
| 2026-03-27 05:43:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 05:48:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-27 05:49:21 +0100 | michalz | (~michalz@185.246.207.203) |
| 2026-03-27 05:49:46 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-27 05:59:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 06:00:21 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-27 06:02:42 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds) |
| 2026-03-27 06:03:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-27 06:03:55 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-03-27 06:08:09 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 06:12:06 +0100 | redshuffle | (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-03-27 06:12:13 +0100 | redshuffle | (~quassel@45.43.70.75) |
| 2026-03-27 06:21:38 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-03-27 06:23:03 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:313e:e492:a479:fd53) (Ping timeout: 268 seconds) |
| 2026-03-27 06:25:39 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-27 06:32:37 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-03-27 06:39:53 +0100 | czan | (~czan@user/mange) (Remote host closed the connection) |
| 2026-03-27 06:43:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 06:48:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-27 06:59:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 07:02:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-27 07:03:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-27 07:11:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 07:15:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-27 07:19:22 +0100 | puke | (~puke@user/puke) puke |
| 2026-03-27 07:26:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 07:31:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-27 07:39:14 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 2026-03-27 07:40:52 +0100 | chele | (~chele@user/chele) chele |
| 2026-03-27 07:41:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 07:42:06 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 07:42:45 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-27 07:43:27 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-27 07:46:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-27 07:48:30 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 2026-03-27 07:54:01 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 07:57:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 08:02:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-27 08:10:08 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-27 08:12:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 08:15:10 +0100 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |
| 2026-03-27 08:18:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-27 08:20:41 +0100 | dtman34_ | (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) (Ping timeout: 248 seconds) |
| 2026-03-27 08:45:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 08:47:30 +0100 | <gentauro> | Hmmmm, no longer works? https://book.realworldhaskell.org/ |
| 2026-03-27 08:47:37 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-03-27 08:49:12 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 268 seconds) |
| 2026-03-27 08:49:12 +0100 | divlamir_ | divlamir |
| 2026-03-27 08:50:00 +0100 | <haskellbridge> | <sm> https://www.extrema.is/articles/haskell-books/real-world-haskell -> updated version works |
| 2026-03-27 08:50:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-27 08:53:12 +0100 | <gentauro> | sm: thx |
| 2026-03-27 08:54:45 +0100 | <gentauro> | sm: the link to the online book from your link is the same link as I used |
| 2026-03-27 08:55:01 +0100 | <gentauro> | I guess I'll just use the waybackmachine |
| 2026-03-27 08:55:46 +0100 | <gentauro> | nevermind -> https://github.com/tssm/up-to-date-real-world-haskell |
| 2026-03-27 09:02:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 09:06:13 +0100 | mistivia | (~mistivia@user/mistivia) (Remote host closed the connection) |
| 2026-03-27 09:06:43 +0100 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2026-03-27 09:07:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-27 09:10:58 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-03-27 09:11:25 +0100 | mistivia | (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 2026-03-27 09:12:36 +0100 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2026-03-27 09:13:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 09:15:28 +0100 | Co0kie | (~Jura@2a01:599:412:2d0b:fcc7:6aff:fe63:e5b) CiaoSen |
| 2026-03-27 09:17:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-27 09:18:24 +0100 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-03-27 09:21:45 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-03-27 09:31:00 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-27 09:33:55 +0100 | gentauro | working with ASCII control codes. I noticed most people either use the DEC, HEX or Abbreviation (char) notation. For example: '\000', '\0x00' or '\NUL'. Not me, I'm ofc using the LAMBDA notaction (aka Caret notation): '\^@' xD |
| 2026-03-27 09:34:42 +0100 | <gentauro> | Athas: I noticed that you are the maintainer of the `haskeline` package. Is that being used in `GHCi`? |
| 2026-03-27 09:37:41 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e592d8ec8b385b3dd828.dip0.t-ipconnect.de) |
| 2026-03-27 09:38:05 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-03-27 09:41:12 +0100 | <tomsmeding> | gentauro: I think that rather, haskeline is extracted from ghci |
| 2026-03-27 09:41:40 +0100 | <tomsmeding> | hm, or not! |
| 2026-03-27 09:42:53 +0100 | <tomsmeding> | gentauro: https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#the-haskeline-file |
| 2026-03-27 09:43:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 09:45:21 +0100 | DDR_ | (~DDR_@user/DDR-:65247) (Remote host closed the connection) |
| 2026-03-27 09:47:34 +0100 | <gentauro> | tomsmeding: nice !!! |
| 2026-03-27 09:48:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-27 09:51:59 +0100 | <Athas> | gentauro: yes, I sometimes get GHC people telling me not to do stuff due to GHC's byzantine build system. |
| 2026-03-27 09:52:17 +0100 | <tomsmeding> | fun :) |
| 2026-03-27 09:52:21 +0100 | <Athas> | That said, I'm not really a maintainer. More of a custodian. |
| 2026-03-27 09:52:33 +0100 | <gentauro> | <3 |
| 2026-03-27 09:55:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-27 09:59:30 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-27 10:00:59 +0100 | monkeygirl | (~monkeygir@2001-b400-e2d1-4f57-b8f2-f58d-e40e-c87e.emome-ip6.hinet.net) |
| 2026-03-27 10:01:03 +0100 | <monkeygirl> | shit! |
| 2026-03-27 10:01:07 +0100 | <monkeygirl> | acidjnk_new3 |
| 2026-03-27 10:01:09 +0100 | <monkeygirl> | chele |
| 2026-03-27 10:01:11 +0100 | <monkeygirl> | mistivia |
| 2026-03-27 10:03:26 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-03-27 10:07:22 +0100 | monkeygirl | (~monkeygir@2001-b400-e2d1-4f57-b8f2-f58d-e40e-c87e.emome-ip6.hinet.net) (Quit: Client closed) |
| 2026-03-27 10:09:53 +0100 | <gentauro> | okay … |
| 2026-03-27 10:11:36 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-03-27 10:13:09 +0100 | Co0kie | (~Jura@2a01:599:412:2d0b:fcc7:6aff:fe63:e5b) (Ping timeout: 272 seconds) |
| 2026-03-27 10:17:23 +0100 | danza | (~danza@user/danza) danza |
| 2026-03-27 10:20:07 +0100 | monkeygirl | (~monkeygir@2001-b400-e2d1-4f57-b8f2-f58d-e40e-c87e.emome-ip6.hinet.net) |
| 2026-03-27 10:20:30 +0100 | monkeygirl | (~monkeygir@2001-b400-e2d1-4f57-b8f2-f58d-e40e-c87e.emome-ip6.hinet.net) (Client Quit) |
| 2026-03-27 10:20:40 +0100 | monkeygirl | (~monkeygir@2001-b400-e2d1-4f57-b8f2-f58d-e40e-c87e.emome-ip6.hinet.net) |
| 2026-03-27 10:20:51 +0100 | monkeygirl | (~monkeygir@2001-b400-e2d1-4f57-b8f2-f58d-e40e-c87e.emome-ip6.hinet.net) (Client Quit) |
| 2026-03-27 10:26:27 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-27 10:26:27 +0100 | Googulator | (~Googulato@2a01-036d-0106-0364-757c-7b1f-aded-4ae9.pool6.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-03-27 10:29:02 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-27 10:33:41 +0100 | <geekosaur> | ping spammer 😦 |
| 2026-03-27 10:34:27 +0100 | <geekosaur> | ghci originally used gnu readline, but between macs whose "readline" is bsd editline and windows (no got) haskeline was written as a replacement |
| 2026-03-27 10:39:33 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:e66f:4e17:5c81:b836) |
| 2026-03-27 10:39:33 +0100 | bggd | (~bgg@2a01:e0a:fd5:f510:e66f:4e17:5c81:b836) (Changing host) |
| 2026-03-27 10:39:33 +0100 | bggd | (~bgg@user/bggd) bggd |
| 2026-03-27 10:43:40 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2026-03-27 10:47:17 +0100 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-03-27 10:57:38 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-03-27 11:16:11 +0100 | <mesaoptimizer> | geekosaur: you are just jealous that they didn't ping you |
| 2026-03-27 11:16:55 +0100 | <mesaoptimizer> | I think nobody uses windows vanilla anymore for any dev work -- everyone uses WSL (ubuntu) |
| 2026-03-27 11:18:58 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-27 11:20:14 +0100 | img | (~img@user/img) img |
| 2026-03-27 11:21:44 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-27 11:23:50 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-03-27 11:26:42 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e51639eff014b2e91b93.dip0.t-ipconnect.de) |
| 2026-03-27 11:29:42 +0100 | <tomsmeding> | never say nobody |
| 2026-03-27 11:30:19 +0100 | <tomsmeding> | I know a university here that requires (bachelor = undergraduate) students to have windows because they decided to do the bachelor program in C# |
| 2026-03-27 11:30:25 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e592d8ec8b385b3dd828.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-03-27 11:30:59 +0100 | <tomsmeding> | resulting in annoyances with the courses that do not do C# |
| 2026-03-27 11:39:50 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-27 11:43:32 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-27 11:54:40 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-03-27 11:56:11 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-27 11:57:27 +0100 | <haskellbridge> | <magic_rb> And also annoyances with people that value their freedom. Id switch unis. Which one is this? |
| 2026-03-27 11:57:32 +0100 | <haskellbridge> | <magic_rb> Which uni can i make fun of |
| 2026-03-27 12:01:10 +0100 | <mesaoptimizer> | tomsmeding: by WSL I meant that your host OS is Windows, and it runs ubuntu as a VM with almost native support for hardware and file system access: https://en.wikipedia.org/wiki/Windows_Subsystem_for_Linux |
| 2026-03-27 12:02:44 +0100 | marinelli | (~weechat@brrr.fr) marinelli |
| 2026-03-27 12:07:31 +0100 | puke | (~puke@user/puke) (Ping timeout: 264 seconds) |
| 2026-03-27 12:15:00 +0100 | <probie> | tomsmeding: you can write (and run) C# without using Windows; it hasn't been "Windows only" for the past 10 years |
| 2026-03-27 12:19:46 +0100 | <__monty__> | Mono definitely was a bit of a second class citizen. Don't know how convenient it is now. |
| 2026-03-27 12:19:50 +0100 | czan | (~czan@user/mange) czan |
| 2026-03-27 12:22:10 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-03-27 12:27:19 +0100 | Googulator | (~Googulato@team.broadbit.hu) |
| 2026-03-27 12:29:23 +0100 | <probie> | I wasn't referring to Mono, I was referring to Microsoft adding Linux support to .NET |
| 2026-03-27 12:30:28 +0100 | <__monty__> | Wasn't that done through Mono? |
| 2026-03-27 12:32:58 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-27 12:33:32 +0100 | Googulator | (~Googulato@team.broadbit.hu) (Ping timeout: 245 seconds) |
| 2026-03-27 12:35:03 +0100 | <probie> | Mono was a FOSS implementation of .NET done because .NET was originally proprietary. Since 2016 however, .NET is released under an open source license, and coinciding with that first open sourcing release; Microsoft added Linux support |
| 2026-03-27 12:37:51 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-27 12:38:18 +0100 | <Maxdamantus> | Though I don't seem to see any .NET or PowerShell or something in debian. |
| 2026-03-27 12:38:24 +0100 | <__monty__> | I thought that basically was Mono, because they acquired Xamarin. |
| 2026-03-27 12:38:54 +0100 | <Maxdamantus> | There's still mono in Debian. |
| 2026-03-27 12:42:24 +0100 | <Maxdamantus> | Seems to be in alpine. |
| 2026-03-27 12:42:42 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 248 seconds) |
| 2026-03-27 12:43:16 +0100 | <Maxdamantus> | $ docker run --rm -it alpine sh -c 'apk add powershell && pwsh' |
| 2026-03-27 12:43:42 +0100 | <Maxdamantus> | dotnet included in the installed packages. |
| 2026-03-27 12:47:17 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-27 12:47:37 +0100 | kronicmage | (~kronicmag@high-fructose-corn-syrup.csclub.uwaterloo.ca) |
| 2026-03-27 12:48:41 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-27 12:49:34 +0100 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |
| 2026-03-27 12:52:28 +0100 | wbrawner | (~wbrawner@129.146.105.153) () |
| 2026-03-27 12:53:52 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-27 12:54:59 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-27 12:57:53 +0100 | kronicmage | (~kronicmag@high-fructose-corn-syrup.csclub.uwaterloo.ca) (Quit: WeeChat 4.6.3) |
| 2026-03-27 12:59:46 +0100 | dutchie | (~dutchie@user/dutchie) (Ping timeout: 248 seconds) |
| 2026-03-27 13:01:32 +0100 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2026-03-27 13:05:07 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds) |
| 2026-03-27 13:06:55 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 13:27:19 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-03-27 13:27:19 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-03-27 13:27:19 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-03-27 13:27:54 +0100 | <gentauro> | tomsmeding: are they teaching Windows Forms? |
| 2026-03-27 13:28:31 +0100 | <gentauro> | basic .NET (C#) programming can easily be taught with `dotnet` (as in `core`) which runs on most OS/devices |
| 2026-03-27 13:31:08 +0100 | gentauro | `"They start with functional programming, so imperative and so object-oriented. With F# you can better show the differences between the approaches. Otherwise it could drown in different syntax and type systems between the languages," explains associate professor and study leader Torben Mogensen from the Department of Computer Science at the University of Copenhagen to Version2`. Source: |
| 2026-03-27 13:31:14 +0100 | gentauro | https://www.version2.dk/artikel/funktionelle-sprog-er-tilbage-efter-aars-automatisk-brug-af-objekt… (Danish) |
| 2026-03-27 13:31:24 +0100 | <gentauro> | it's a good approach to teach the diff paradigms and not get lost in translation |
| 2026-03-27 13:31:32 +0100 | gentauro | Athas are you guys still doing this at DIKU? |
| 2026-03-27 13:33:29 +0100 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2026-03-27 13:34:01 +0100 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2026-03-27 13:46:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:695e:e47a:827e:b9ce) |
| 2026-03-27 13:48:10 +0100 | danz58683 | (~danza@user/danza) danza |
| 2026-03-27 13:49:24 +0100 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-03-27 13:51:58 +0100 | <L29Ah> | lost my precious ghci history when power ran out |
| 2026-03-27 13:52:20 +0100 | <L29Ah> | apparently ghci only saves history when exiting :( |
| 2026-03-27 13:54:50 +0100 | <mesaoptimizer> | L29Ah: try https://github.com/DataHaskell/sabela if it fits your needs, I've been quite enthuasiastic about it |
| 2026-03-27 13:55:42 +0100 | <mesaoptimizer> | One downside with GHCi and sabela is that they don't have HLS integration but that's a problem anyway if you don't use actual Haskell files, I believe |
| 2026-03-27 13:55:47 +0100 | Guest62t | (~Guest62t@p200300ca8f33c7004094c99c1bc7419e.dip0.t-ipconnect.de) |
| 2026-03-27 13:56:18 +0100 | <probie> | gentauro: The Australian National University teaches some Haskell, and then moves to Java. Based on my experience tutoring the relevant courses, there's not a huge amount of friction generated by the change in syntax and type systems. This seems a bit like a "premature optimisation" |
| 2026-03-27 13:57:15 +0100 | <mesaoptimizer> | 'how to torture university students' |
| 2026-03-27 13:57:21 +0100 | <L29Ah> | https://github.com/haskell/haskeline/issues/5 :_( |
| 2026-03-27 13:59:05 +0100 | <mesaoptimizer> | perhaps you could optimize the pain. what is the optimal first language and second language to make uni students use, such that you can traumatize them with the second? |
| 2026-03-27 14:01:06 +0100 | st_aldini | (~Betterbir@2605:a601:a07c:7426:a9c5:df0c:3e0f:b451) (Ping timeout: 248 seconds) |
| 2026-03-27 14:01:15 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-03-27 14:02:06 +0100 | <mesaoptimizer> | I considered Agda and then assembler, but assembler does have a coherent semantics in terms of the user facing ISA so that wouldn't count |
| 2026-03-27 14:02:43 +0100 | <mesaoptimizer> | I think yaml files / kubernetes / system admin would be maximally painful as a second course |
| 2026-03-27 14:05:03 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-27 14:05:29 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-03-27 14:05:51 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-03-27 14:07:16 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-03-27 14:08:42 +0100 | czan | (~czan@user/mange) (Quit: Zzz...) |
| 2026-03-27 14:10:10 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 248 seconds) |
| 2026-03-27 14:10:10 +0100 | polykernel_ | polykernel |
| 2026-03-27 14:20:42 +0100 | <Athas> | L29Ah: PRs welcome! |
| 2026-03-27 14:21:22 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.2) |
| 2026-03-27 14:24:17 +0100 | <L29Ah> | Athas: https://github.com/haskell/haskeline/pull/148 |
| 2026-03-27 14:28:46 +0100 | <Athas> | Oh, there's a stale one. Does it still work? |
| 2026-03-27 14:31:55 +0100 | <L29Ah> | Athas: i don't know, i don't want to rebuild my entire haskell ecosystem to check if it works because it modifies a bundled ghc library |
| 2026-03-27 14:35:53 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-27 14:40:31 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft |
| 2026-03-27 14:56:07 +0100 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-03-27 14:56:18 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 2026-03-27 14:59:32 +0100 | hsw_ | (~hsw@106.104.102.45) hsw |
| 2026-03-27 15:00:39 +0100 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-03-27 15:02:07 +0100 | hsw | (~hsw@106.104.102.45) (Ping timeout: 264 seconds) |
| 2026-03-27 15:02:51 +0100 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 255 seconds) |
| 2026-03-27 15:02:51 +0100 | divlamir_ | divlamir |
| 2026-03-27 15:07:13 +0100 | mistivia | (~mistivia@user/mistivia) (Remote host closed the connection) |
| 2026-03-27 15:07:28 +0100 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2026-03-27 15:08:23 +0100 | <gentauro> | probie: my "batch" (at DIKU) did: SML (MoscowML) -> Java -> C -> … -> OCaml but never learned Haskell at uni. Did afterwards (if your uni doesn't teach you to teach yourself complex topics, then they aren't doing it right) |
| 2026-03-27 15:09:48 +0100 | mistivia | (~mistivia@user/mistivia) (Remote host closed the connection) |
| 2026-03-27 15:09:59 +0100 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2026-03-27 15:10:44 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 15:14:43 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-03-27 15:16:21 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 15:27:48 +0100 | <geekosaur> | advance notice: I'll be taking my laptop down this weekend to replace the battery. the bridge will be down during the repair. |
| 2026-03-27 15:30:21 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 15:30:49 +0100 | <ski> | gentauro : Olivier Danvy,Andrzej Filinski,Julia Lawall,Karoline Malmkjer,Peter Sestoft ? |
| 2026-03-27 15:32:58 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2026-03-27 15:35:28 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:c8a6:4a79:436a:2674) arandombit |
| 2026-03-27 15:35:28 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:c8a6:4a79:436a:2674) (Changing host) |
| 2026-03-27 15:35:28 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-27 15:36:54 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds) |
| 2026-03-27 15:46:15 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 15:51:55 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-03-27 15:52:56 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds) |
| 2026-03-27 15:54:05 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2026-03-27 16:06:50 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-27 16:09:20 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 16:10:45 +0100 | <gentauro> | ski: don't forget: Torben Mogensen, Mads Tofte (SML and proof road "the monad paper" from Moggi), Carsten Gomard (Partial evaluation with Sestoft and Neil D. Jones), Fritz Henglein (generic discrimination), … |
| 2026-03-27 16:11:24 +0100 | <gentauro> | Jakob Grue could also be added to the mix (and Athas with Futhark) |
| 2026-03-27 16:11:42 +0100 | gentauro | however, the final boss of them all is Filinski xD |
| 2026-03-27 16:13:10 +0100 | eelcunt | (~eelcunt@61-228-8-11.dynamic-ip.hinet.net) |
| 2026-03-27 16:14:07 +0100 | <eelcunt> | A woman is at a bar and meets a guy with no arms and no legs. |
| 2026-03-27 16:14:07 +0100 | <eelcunt> | She asks, "How do you have sex?" |
| 2026-03-27 16:14:08 +0100 | <eelcunt> | The guy smirks and says, "How do you think I knocked on the door?" |
| 2026-03-27 16:14:19 +0100 | <gentauro> | oh, forgot Martin Elsman (SML) |
| 2026-03-27 16:14:29 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-27 16:15:11 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-03-27 16:15:13 +0100 | <gentauro> | btw, can these bots go over to the #fsharp channel on Libera? Nothing really happens at that channel. Not even bot attacs xD |
| 2026-03-27 16:15:28 +0100 | <eelcunt> | "Sex is like playing bridge." |
| 2026-03-27 16:16:10 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-27 16:19:42 +0100 | ChanServ | +o geekosaur |
| 2026-03-27 16:19:51 +0100 | geekosaur | +b eelcunt!*@* |
| 2026-03-27 16:19:52 +0100 | eelcunt | geekosaur (User terminated!) |
| 2026-03-27 16:20:44 +0100 | geekosaur | -o geekosaur |
| 2026-03-27 16:23:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2026-03-27 16:24:45 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-27 16:25:55 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 2026-03-27 16:26:42 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 16:32:07 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 16:35:50 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 16:36:38 +0100 | elrisas92 | (~user@user/elrisas92) elrisas92 |
| 2026-03-27 16:39:06 +0100 | <ski> | gentauro : mm, i recognize Mads Tofte. not as sure about those others |
| 2026-03-27 16:39:39 +0100 | ski | recalls binge-reading papers by Filinski & Danvy |
| 2026-03-27 16:42:19 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 16:45:20 +0100 | gentauro | «Olivier Danvy is a renowned computer scientist known primarily as the most thanked (acknowledged) researcher in the field based on an analysis of over 300,000 scientific papers» |
| 2026-03-27 16:45:41 +0100 | <gentauro> | https://lists.racket-lang.org/users/archive/2004-December/007478.html |
| 2026-03-27 16:47:47 +0100 | <ski> | (ah, yes. Elsman, with the ML Kit) |
| 2026-03-27 16:50:44 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 16:54:59 +0100 | bggd | (~bgg@user/bggd) (Quit: std::move) |
| 2026-03-27 16:56:43 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 17:01:37 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 17:09:50 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-27 17:10:39 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds) |
| 2026-03-27 17:17:13 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-03-27 17:17:13 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-03-27 17:17:13 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-03-27 17:20:12 +0100 | ChanServ | +o litharge |
| 2026-03-27 17:20:12 +0100 | litharge | -bo eelcunt!*@* litharge |
| 2026-03-27 17:22:38 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 17:26:56 +0100 | <tomsmeding> | gentauro, probie: I dunno honestly, they do some things that were difficult with mono a few years back at least, and apparently they still have issues |
| 2026-03-27 17:29:43 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 17:31:30 +0100 | xkuru | (~xkuru@user/xkuru) xkuru |
| 2026-03-27 17:38:43 +0100 | <gentauro> | tomsmeding: I've been quite surprised with F# and `dotnet` (core) 10 LTS. The field sharing discrimitated unions is a HUGE performance booster. Some operations are going down all the way to single digit nano-seconds |
| 2026-03-27 17:38:56 +0100 | gentauro | lookup units-of-measure |
| 2026-03-27 17:42:34 +0100 | <gentauro> | I advice this guys -> https://iev.ee/blog/resharp-how-we-built-the-fastest-regex-in-fsharp/ to give it a try. This is his comment: « Ian Erik Varatalu 11:42 PM By the way i added he field sharing into the dotnet version, the struct size went down from 56B to 16B!» |
| 2026-03-27 17:42:38 +0100 | <gentauro> | good stuff |
| 2026-03-27 17:46:45 +0100 | Guest62t | (~Guest62t@p200300ca8f33c7004094c99c1bc7419e.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2026-03-27 17:47:23 +0100 | kimiamania40 | (~b4b260c9@user/kimiamania) (Quit: PegeLinux) |
| 2026-03-27 17:48:29 +0100 | kimiamania40 | (~67ff9c51@user/kimiamania) kimiamania |
| 2026-03-27 17:48:51 +0100 | danza | (~danza@user/danza) danza |
| 2026-03-27 17:49:20 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 17:51:21 +0100 | danz58683 | (~danza@user/danza) (Ping timeout: 265 seconds) |
| 2026-03-27 17:56:43 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds) |
| 2026-03-27 18:09:32 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2026-03-27 18:12:43 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 18:15:00 +0100 | ski | . o O ( "the result is RE#, the first general-purpose regex engine to support intersection, complement and lookarounds with linear-time guarantees" ) |
| 2026-03-27 18:15:08 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-27 18:18:42 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds) |
| 2026-03-27 18:20:50 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 18:45:44 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-27 18:47:32 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-27 18:48:08 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-03-27 18:53:18 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds) |
| 2026-03-27 18:57:15 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2026-03-27 18:58:34 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 19:03:53 +0100 | qqq | (~qqq@185.54.20.33) |
| 2026-03-27 19:13:07 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-27 19:15:28 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-27 19:15:32 +0100 | jmcantrell_ | jmcantrell |
| 2026-03-27 19:18:52 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer) |
| 2026-03-27 19:24:32 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-03-27 19:46:25 +0100 | pfc | (~pfc@user/pfc) (Ping timeout: 245 seconds) |
| 2026-03-27 19:46:44 +0100 | Beowulf | (florian@sleipnir.bandrate.org) (Quit: = "") |
| 2026-03-27 19:48:38 +0100 | elrisas9` | (~user@90.167.229.46) |
| 2026-03-27 19:52:31 +0100 | elrisas92 | (~user@user/elrisas92) (Ping timeout: 264 seconds) |
| 2026-03-27 20:05:53 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-27 20:06:14 +0100 | dtman34 | (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) dtman34 |
| 2026-03-27 20:09:56 +0100 | Beowulf | (florian@sleipnir.bandrate.org) |
| 2026-03-27 20:30:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-27 20:34:38 +0100 | redshuffle | (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-03-27 20:34:45 +0100 | redshuffle | (~quassel@45.43.70.75) |
| 2026-03-27 20:38:06 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-03-27 20:38:19 +0100 | luke | (~luke@user/luke) (Changing host) |
| 2026-03-27 20:38:19 +0100 | luke | (~luke@user/lukehoersten) LukeHoersten |
| 2026-03-27 20:38:51 +0100 | luke | (~luke@user/lukehoersten) (Changing host) |
| 2026-03-27 20:38:51 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-27 20:39:19 +0100 | luke | (~luke@user/luke) (Remote host closed the connection) |
| 2026-03-27 20:39:36 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-27 20:39:55 +0100 | luke | (~luke@user/luke) (Remote host closed the connection) |
| 2026-03-27 20:40:15 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-27 20:41:01 +0100 | luke | (~luke@user/luke) (Remote host closed the connection) |
| 2026-03-27 20:41:18 +0100 | luke | (~luke@user/luke) luke |
| 2026-03-27 20:44:16 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-27 20:44:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |