| 2026-06-11 00:05:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:12:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 00:23:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:25:01 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-06-11 00:28:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 00:29:37 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-11 00:32:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-11 00:34:05 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-06-11 00:37:46 +0000 | czan | (~czan@user/mange) czan |
| 2026-06-11 00:39:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:44:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 00:53:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3e2c:9f05:7dab:9f7f) (Ping timeout: 246 seconds) |
| 2026-06-11 00:55:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 00:56:49 +0000 | elarks | (~elarks@user/yerrii) (Ping timeout: 244 seconds) |
| 2026-06-11 00:58:14 +0000 | elarks | (~elarks@user/yerrii) yerrii |
| 2026-06-11 01:00:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 01:05:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 01:08:43 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-06-11 01:10:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2026-06-11 01:11:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 01:15:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-11 01:27:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 01:28:23 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) synchromesh |
| 2026-06-11 01:28:46 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 01:29:49 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 01:30:10 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 01:32:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 01:41:41 +0000 | kidcoconut | (~kidcoconu@user/kidcoconut) kidcoconut |
| 2026-06-11 01:42:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 01:43:18 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Read error: Connection reset by peer) |
| 2026-06-11 01:46:55 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-06-11 01:50:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 01:54:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds) |
| 2026-06-11 01:59:16 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 01:59:32 +0000 | mehbark | (~mehbark@joey.luug.ece.vt.edu) |
| 2026-06-11 02:00:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:03:21 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-11 02:03:36 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-11 02:05:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-11 02:16:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:17:08 +0000 | spew | (~spew@user/spew) spew |
| 2026-06-11 02:21:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 02:29:55 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-06-11 02:32:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:37:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-11 02:43:51 +0000 | Googulator54 | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 02:47:17 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-06-11 02:48:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 02:52:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 02:53:55 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-11 02:54:45 +0000 | td_ | (~td@83.135.9.0) (Ping timeout: 245 seconds) |
| 2026-06-11 02:56:43 +0000 | td_ | (~td@i5387092E.versanet.de) |
| 2026-06-11 03:01:11 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 265 seconds) |
| 2026-06-11 03:03:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:08:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 03:10:18 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-06-11 03:19:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:26:01 +0000 | <Axman6> | Is there any difference (semantically, performance, anything else) between \(Foo x y) -> blah and \case Foo x y -> blah, when F has a single constructor? |
| 2026-06-11 03:26:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 03:28:11 +0000 | kidcoconut | (~kidcoconu@user/kidcoconut) (brb) |
| 2026-06-11 03:29:30 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2026-06-11 03:37:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:42:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 03:51:38 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) (Ping timeout: 258 seconds) |
| 2026-06-11 03:53:11 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 03:53:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 03:54:10 +0000 | vivaldi` | (~ident@user/blackbox) (Quit: vivaldi`) |
| 2026-06-11 03:55:36 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) myxokephale |
| 2026-06-11 03:58:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 04:00:09 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) (Ping timeout: 265 seconds) |
| 2026-06-11 04:05:33 +0000 | <monochrom> | I believe no. |
| 2026-06-11 04:06:25 +0000 | <mauke> | https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-260003.3 says \pat -> blah is equivalent to \fresh -> case fresh of pat -> blah |
| 2026-06-11 04:06:30 +0000 | <mauke> | so I concur |
| 2026-06-11 04:08:35 +0000 | michalz | (~michalz@185.246.207.217) |
| 2026-06-11 04:09:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:09:16 +0000 | <monochrom> | I wrote "f1 = \(Foo x y) -> (x,y)" and "f2 = \case Foo x y -> (x,y)". ghc -O compiled f2 to "f2 = f1". |
| 2026-06-11 04:09:24 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 256 seconds) |
| 2026-06-11 04:09:38 +0000 | <monochrom> | (in -ddump-simpl) |
| 2026-06-11 04:14:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 04:15:24 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-06-11 04:19:43 +0000 | <EvanR> | one has parentheses the other doesn't |
| 2026-06-11 04:20:41 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) (Read error: Connection reset by peer) |
| 2026-06-11 04:21:05 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) synchromesh |
| 2026-06-11 04:24:28 +0000 | <monochrom> | haha |
| 2026-06-11 04:24:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:25:12 +0000 | myxos | (~myxos@174-18-74-239.tcso.qwest.net) myxokephale |
| 2026-06-11 04:26:26 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 2026-06-11 04:29:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-11 04:32:22 +0000 | Googulator62 | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 04:36:02 +0000 | Googulator54 | (~Googulato@94-21-172-222.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-06-11 04:40:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 04:41:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-11 04:41:20 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 04:41:37 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-11 04:45:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 04:56:00 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 04:56:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:00:41 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 268 seconds) |
| 2026-06-11 05:02:34 +0000 | Enrico63 | (~Enrico63@host-87-1-153-31.retail.telecomitalia.it) Enrico63 |
| 2026-06-11 05:03:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-11 05:08:25 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 276 seconds) |
| 2026-06-11 05:08:50 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-06-11 05:10:27 +0000 | Axma60748 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 05:12:35 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-11 05:14:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:17:28 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.9.0) |
| 2026-06-11 05:18:24 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-06-11 05:18:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 05:22:03 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 05:22:14 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-06-11 05:27:25 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-06-11 05:29:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:31:10 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 244 seconds) |
| 2026-06-11 05:34:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-11 05:34:55 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-11 05:35:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:40:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 05:44:01 +0000 | traxex | (traxex@user/traxex) traxex |
| 2026-06-11 05:49:48 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-11 05:49:59 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-11 05:50:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 05:56:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 06:01:59 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-11 06:05:12 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-11 06:06:47 +0000 | contrapu` | (~user@2001:1c00:a16:9d00:dfda:a2a2:b99b:e373) |
| 2026-06-11 06:06:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 06:07:23 +0000 | contrapu` | (~user@2001:1c00:a16:9d00:dfda:a2a2:b99b:e373) () |
| 2026-06-11 06:08:52 +0000 | synchromesh | (~john@2406:5a00:247e:1500:b1d5:b8b5:36af:ad9a) (Quit: WeeChat 4.1.1) |
| 2026-06-11 06:09:09 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-06-11 06:09:09 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-11 06:09:11 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-06-11 06:09:23 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-11 06:09:33 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-06-11 06:10:23 +0000 | SeerSkye | (~SeerSkye@2607:fea8:1f1f:f44f:5387:b273:2a4f:3ea0) (Read error: Connection reset by peer) |
| 2026-06-11 06:11:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 06:14:06 +0000 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-06-11 06:14:33 +0000 | igemnace | (~igemnace@user/igemnace) igemnace |
| 2026-06-11 06:18:52 +0000 | mulk | (~mulk@p5b112c49.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2026-06-11 06:20:54 +0000 | mfc_kbs- | (~keibisoft@2a06:1fc0:0:1::1cd) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-06-11 06:21:14 +0000 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-06-11 06:22:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 06:25:29 +0000 | mulk | (~mulk@p5b112c49.dip0.t-ipconnect.de) mulk |
| 2026-06-11 06:26:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 06:27:17 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 06:30:22 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 06:30:59 +0000 | Googulator62 | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 06:31:13 +0000 | Googulator62 | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 06:31:25 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-06-11 06:31:30 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-11 06:31:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 265 seconds) |
| 2026-06-11 06:37:13 +0000 | attlin | (~user@user/attlin) (Quit: Leaving) |
| 2026-06-11 06:37:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 06:42:17 +0000 | srk- | (~sorki@user/srk) srk |
| 2026-06-11 06:42:19 +0000 | srk | (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 2026-06-11 06:44:24 +0000 | attlin | (~user@user/attlin) attlin |
| 2026-06-11 06:44:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-11 06:45:06 +0000 | srk- | srk |
| 2026-06-11 06:45:32 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 06:51:03 +0000 | czan | (~czan@user/mange) (Remote host closed the connection) |
| 2026-06-11 06:56:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 06:59:35 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 3.5) |
| 2026-06-11 07:00:13 +0000 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2026-06-11 07:01:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 07:01:46 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) |
| 2026-06-11 07:01:46 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) (Changing host) |
| 2026-06-11 07:01:46 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-06-11 07:05:32 +0000 | robobub | (uid248673@uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-06-11 07:06:34 +0000 | chele | (~chele@user/chele) chele |
| 2026-06-11 07:07:40 +0000 | Axma60748 | Axman6 |
| 2026-06-11 07:09:04 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-06-11 07:11:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 07:16:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-11 07:20:42 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2026-06-11 07:21:16 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 07:23:36 +0000 | Guest56 | (~Guest56@2601:645:8101:ead:f1c2:678f:4540:8f33) |
| 2026-06-11 07:24:16 +0000 | Guest56 | (~Guest56@2601:645:8101:ead:f1c2:678f:4540:8f33) (Client Quit) |
| 2026-06-11 07:27:06 +0000 | ski | (~ski@90-224-14-130-no600.tbcn.telia.com) ski |
| 2026-06-11 07:27:18 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-06-11 07:27:56 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) |
| 2026-06-11 07:27:56 +0000 | arandombit | (~arandombi@2603:7000:4600:ffbe:3496:aaf8:cb32:c1c5) (Changing host) |
| 2026-06-11 07:27:56 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-06-11 07:28:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 07:33:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-11 07:35:08 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-11 07:35:30 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 07:36:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 07:41:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-11 07:42:07 +0000 | akegalj | (~akegalj@141-136-131-35.dsl.iskon.hr) akegalj |
| 2026-06-11 07:45:32 +0000 | Googulator62 | Googulator |
| 2026-06-11 07:55:09 +0000 | ft | (~ft@p508db0ab.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-06-11 07:58:24 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-11 07:59:23 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 08:03:44 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 252 seconds) |
| 2026-06-11 08:03:47 +0000 | Square2 | (~Square@user/square) Square |
| 2026-06-11 08:08:05 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-06-11 08:17:53 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-11 08:21:20 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-11 08:26:56 +0000 | hsw | (~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2026-06-11 08:27:20 +0000 | hsw | (~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) hsw |
| 2026-06-11 08:28:18 +0000 | hsw | (~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) (Client Quit) |
| 2026-06-11 08:31:24 +0000 | hsw | (~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) hsw |
| 2026-06-11 08:34:49 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 08:35:05 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 08:36:12 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e51278de9c160d71f415.dip0.t-ipconnect.de) |
| 2026-06-11 08:41:31 +0000 | <tomsmeding> | monochrom: reading the first half of the conversation, I was intending to try exactly that. Reading your message, GHC not only anticipated this question but provided the answer in its smug way that obviates even checking equality of Core by hand. :P |
| 2026-06-11 08:43:01 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-06-11 08:43:45 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-06-11 08:44:05 +0000 | darksatanic | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2026-06-11 08:45:19 +0000 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Ping timeout: 245 seconds) |
| 2026-06-11 08:47:09 +0000 | Axman2447 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 08:47:19 +0000 | Enrico63 | (~Enrico63@host-87-1-153-31.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-06-11 08:49:01 +0000 | dhil | (~dhil@5.151.29.139) dhil |
| 2026-06-11 08:49:15 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-11 08:50:11 +0000 | akegalj_ | (~akegalj@89-172-89-105.adsl.net.t-com.hr) akegalj |
| 2026-06-11 08:52:56 +0000 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2026-06-11 08:55:34 +0000 | ski | (~ski@90-224-14-130-no600.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2026-06-11 09:02:19 +0000 | CiaoSen | (~Jura@2a02:3030:e4:e9c9:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-11 09:03:23 +0000 | ski | (~ski@90-224-14-130-no600.tbcn.telia.com) ski |
| 2026-06-11 09:23:54 +0000 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2026-06-11 09:26:54 +0000 | danza | (~danza@user/danza) danza |
| 2026-06-11 09:27:05 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 272 seconds) |
| 2026-06-11 09:32:27 +0000 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-06-11 09:32:37 +0000 | danza | (~danza@user/danza) danza |
| 2026-06-11 09:34:20 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2026-06-11 09:36:19 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 09:36:34 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 09:40:54 +0000 | CiaoSen | (~Jura@2a02:3030:e4:e9c9:4e50:ddff:fe9b:8922) (Ping timeout: 256 seconds) |
| 2026-06-11 09:42:48 +0000 | synchrom1 | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) (Read error: Connection reset by peer) |
| 2026-06-11 09:43:20 +0000 | synchromesh | (~john@2406:5a00:247e:1500:a691:b1ff:0:f9d) synchromesh |
| 2026-06-11 09:57:35 +0000 | olsner | (~olsner@c83-251-99-192.bredband.tele2.se) (Quit: Leaving) |
| 2026-06-11 10:03:08 +0000 | FANTOM_ | (~fantom@90.244.189.139) (Ping timeout: 265 seconds) |
| 2026-06-11 10:05:32 +0000 | FANTOM | (~fantom@90.244.189.139) |
| 2026-06-11 10:10:52 +0000 | FANTOM | (~fantom@90.244.189.139) (Ping timeout: 265 seconds) |
| 2026-06-11 10:14:33 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-06-11 10:15:43 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-06-11 10:16:36 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2026-06-11 10:16:49 +0000 | FANTOM | (~fantom@90.244.189.139) |
| 2026-06-11 10:18:16 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Client Quit) |
| 2026-06-11 10:19:10 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-06-11 10:22:57 +0000 | FANTOM | (~fantom@90.244.189.139) (Ping timeout: 265 seconds) |
| 2026-06-11 10:24:48 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-06-11 10:25:14 +0000 | FANTOM | (~fantom@90.244.189.139) |
| 2026-06-11 10:25:37 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2026-06-11 10:25:47 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-11 10:26:02 +0000 | CiaoSen | (~Jura@2a02:3030:e4:e9c9:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-11 10:31:10 +0000 | FANTOM | (~fantom@90.244.189.139) (Ping timeout: 265 seconds) |
| 2026-06-11 10:31:42 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-06-11 10:35:25 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-06-11 10:37:15 +0000 | FANTOM | (~fantom@90.244.189.139) |
| 2026-06-11 10:38:19 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-11 10:38:39 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 10:40:12 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-06-11 10:41:05 +0000 | luciano_ | (~machining@user/luciano-:23135) (Remote host closed the connection) |
| 2026-06-11 10:41:31 +0000 | luciano_ | (~machining@2804:290c:228:3800:c0cb:ce8d:e0c4:9d5a) |
| 2026-06-11 10:46:51 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 244 seconds) |
| 2026-06-11 10:47:11 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 10:49:40 +0000 | dtman34_ | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-06-11 10:49:58 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-06-11 10:50:33 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) dtman34 |
| 2026-06-11 10:50:35 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-06-11 10:50:55 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-11 10:52:56 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-06-11 10:56:33 +0000 | <bwe> | I am using Control.Concurrent.forkIO in `f` to create a `IO [IO ThreadId]`. Running `f` does return instantly without appearingly the constructed threads to be executed. How can I let the threads execute and `f` wait until all threads are finished? |
| 2026-06-11 10:58:49 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) (Ping timeout: 248 seconds) |
| 2026-06-11 10:59:53 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) dtman34 |
| 2026-06-11 11:01:57 +0000 | <Leary> | bwe: `forkIO` doesn't give you anything to wait on; you'd need to manually hook that up with, say, `MVar`s. I suggest using 'ki' for concurrency, which offers `awaitAll` out of the box. |
| 2026-06-11 11:04:03 +0000 | <int-e> | IO [IO ThreadId] <-- this is almost certainly the wrong type; if you collect the thread ids of threads that have been created you should end up with IO [ThreadId] |
| 2026-06-11 11:06:10 +0000 | dtman34_ | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) dtman34 |
| 2026-06-11 11:06:17 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) (Ping timeout: 248 seconds) |
| 2026-06-11 11:06:34 +0000 | <int-e> | The Control.Concurrent actually has example code for waiting on threads with MVars: https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Control-Concurrent.html#g:12 |
| 2026-06-11 11:09:04 +0000 | <Leary> | And the "better method" is to use `unsafePerformIO`; lovely. |
| 2026-06-11 11:09:27 +0000 | <int-e> | yeah I'm not thrilled about that part either :) |
| 2026-06-11 11:10:02 +0000 | <int-e> | but the myForkIO part is salvageable |
| 2026-06-11 11:11:40 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-11 11:12:01 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-11 11:12:02 +0000 | <int-e> | also tbf, the unsafePerformIO for creating a global variable is fairly well understood |
| 2026-06-11 11:12:52 +0000 | <merijn> | Sure, but not ideal because if you do that in, e.g. a library you get into trouble of 2 libraries use the same library using that trick |
| 2026-06-11 11:17:31 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 11:17:45 +0000 | Axman2447 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2026-06-11 11:21:04 +0000 | xff0x | (~xff0x@2405:6580:b080:900:20a8:16d4:622c:805f) |
| 2026-06-11 11:25:41 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Read error: Connection reset by peer) |
| 2026-06-11 11:26:09 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-06-11 11:26:10 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-06-11 11:26:10 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-06-11 11:26:25 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-06-11 11:28:21 +0000 | trampi | (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2026-06-11 11:28:40 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2026-06-11 11:31:50 +0000 | ridcully | (~ridcully@p57b52230.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-06-11 11:36:13 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-06-11 11:36:57 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-06-11 11:41:59 +0000 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-06-11 11:42:22 +0000 | Square2 | (~Square@user/square) Square |
| 2026-06-11 11:49:57 +0000 | Square2 | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2026-06-11 11:52:36 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-11 11:57:44 +0000 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2026-06-11 11:58:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2026-06-11 11:58:10 +0000 | FANTOM | (~fantom@90.244.189.139) (Ping timeout: 265 seconds) |
| 2026-06-11 11:59:34 +0000 | FANTOM | (~fantom@90.244.189.139) |
| 2026-06-11 12:00:08 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-11 12:01:50 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2026-06-11 12:02:49 +0000 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 248 seconds) |
| 2026-06-11 12:03:19 +0000 | skum | (~skum@user/skum) skum |
| 2026-06-11 12:06:08 +0000 | trampi | (~trampi@mx.trampusch.info) trampi |
| 2026-06-11 12:10:34 +0000 | <bwe> | Leary: All I need is just `staggeredSpawner` from <https://hackage.haskell.org/package/ki-1.0.1.2#readme>. I call it with a list of the IO calls to execute, that's it. |
| 2026-06-11 12:14:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-06-11 12:16:23 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-11 12:17:21 +0000 | danz98560 | (~danza@user/danza) danza |
| 2026-06-11 12:19:30 +0000 | danza | (~danza@user/danza) (Ping timeout: 248 seconds) |
| 2026-06-11 12:31:14 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e51278de9c160d71f415.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-06-11 12:39:18 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-06-11 12:46:40 +0000 | ridcully | (~ridcully@p57b52a2d.dip0.t-ipconnect.de) ridcully |
| 2026-06-11 12:58:54 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-06-11 13:12:36 +0000 | FANTOM | (~fantom@90.244.189.139) (Ping timeout: 265 seconds) |
| 2026-06-11 13:22:00 +0000 | danza | (~danza@user/danza) danza |
| 2026-06-11 13:24:04 +0000 | danz98560 | (~danza@user/danza) (Ping timeout: 245 seconds) |
| 2026-06-11 13:26:03 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 13:26:22 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 13:28:28 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-06-11 13:31:01 +0000 | FANTOM | (~fantom@90.244.189.139) |
| 2026-06-11 13:48:13 +0000 | Axma22780 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 13:49:43 +0000 | j0lol | (~j0lol@132.145.17.236) () |
| 2026-06-11 13:50:05 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-11 13:58:12 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2026-06-11 13:59:20 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 14:00:22 +0000 | srk- | (~sorki@user/srk) srk |
| 2026-06-11 14:00:46 +0000 | srk | (~sorki@user/srk) (Ping timeout: 276 seconds) |
| 2026-06-11 14:01:39 +0000 | CiaoSen | (~Jura@2a02:3030:e4:e9c9:4e50:ddff:fe9b:8922) (Ping timeout: 252 seconds) |
| 2026-06-11 14:03:18 +0000 | srk- | srk |
| 2026-06-11 14:03:53 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-06-11 14:06:37 +0000 | luciano_ | (~machining@2804:290c:228:3800:c0cb:ce8d:e0c4:9d5a) (Remote host closed the connection) |
| 2026-06-11 14:06:56 +0000 | luciano_ | (~machining@2804:290c:228:3800:c0cb:ce8d:e0c4:9d5a) |
| 2026-06-11 14:09:37 +0000 | luciano_ | (~machining@2804:290c:228:3800:c0cb:ce8d:e0c4:9d5a) (Remote host closed the connection) |
| 2026-06-11 14:09:56 +0000 | luciano_ | (~machining@2804:290c:228:3800:c0cb:ce8d:e0c4:9d5a) |
| 2026-06-11 14:11:32 +0000 | Enrico63 | (~Enrico63@host-82-59-98-253.retail.telecomitalia.it) Enrico63 |
| 2026-06-11 14:16:37 +0000 | akegalj_ | (~akegalj@89-172-89-105.adsl.net.t-com.hr) (Quit: leaving) |
| 2026-06-11 14:17:59 +0000 | luciano__ | (~machining@2804:290c:228:3800:c0cb:ce8d:e0c4:9d5a) |
| 2026-06-11 14:18:12 +0000 | luciano_ | (~machining@2804:290c:228:3800:c0cb:ce8d:e0c4:9d5a) (Remote host closed the connection) |
| 2026-06-11 14:20:15 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 14:21:53 +0000 | luhann | (~luhann@user/luhann) (Quit: WeeChat 4.8.1) |
| 2026-06-11 14:22:11 +0000 | luhann | (~luhann@user/luhann) luhann |
| 2026-06-11 14:23:30 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-06-11 14:23:48 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 14:39:04 +0000 | srk- | (~sorki@user/srk) srk |
| 2026-06-11 14:39:37 +0000 | srk | (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 2026-06-11 14:41:51 +0000 | darksatanic | darkling |
| 2026-06-11 14:41:56 +0000 | srk- | srk |
| 2026-06-11 14:45:29 +0000 | raym | (~ray@user/raym) (Quit: leaving) |
| 2026-06-11 14:48:10 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 14:56:15 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 246 seconds) |
| 2026-06-11 15:08:33 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-06-11 15:09:51 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 15:19:16 +0000 | CipherLab | (~NSA@2.59.157.238) (Read error: Connection reset by peer) |
| 2026-06-11 15:20:05 +0000 | CipherLab | (~NSA@2.59.157.238) CommanderBond007 |
| 2026-06-11 15:29:02 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-06-11 15:37:12 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 246 seconds) |
| 2026-06-11 15:43:40 +0000 | Enrico63 | (~Enrico63@host-82-59-98-253.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-06-11 15:44:19 +0000 | raym | (~ray@user/raym) raym |
| 2026-06-11 15:44:20 +0000 | CipherLab | (~NSA@2.59.157.238) (Remote host closed the connection) |
| 2026-06-11 15:45:09 +0000 | CipherLab | (~NSA@2.59.157.238) CommanderBond007 |
| 2026-06-11 16:01:16 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-06-11 16:03:19 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-06-11 16:05:10 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-06-11 16:08:32 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 16:11:37 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-06-11 16:13:28 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 268 seconds) |
| 2026-06-11 16:22:16 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-06-11 16:22:43 +0000 | comerijn | (~merijn@77.242.116.150) merijn |
| 2026-06-11 16:23:24 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-06-11 16:25:16 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-06-11 16:25:19 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-06-11 16:25:55 +0000 | Axma22780 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-11 16:31:17 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-06-11 16:31:22 +0000 | td_ | (~td@i5387092E.versanet.de) (Ping timeout: 252 seconds) |
| 2026-06-11 16:31:34 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 245 seconds) |
| 2026-06-11 16:31:55 +0000 | luciano__ | (~machining@2804:290c:228:3800:c0cb:ce8d:e0c4:9d5a) (Quit: Leaving) |
| 2026-06-11 16:32:18 +0000 | comerijn | (~merijn@77.242.116.150) (Ping timeout: 248 seconds) |
| 2026-06-11 16:33:15 +0000 | td_ | (~td@i5387092B.versanet.de) |
| 2026-06-11 16:36:14 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-06-11 16:36:28 +0000 | srk- | (~sorki@user/srk) srk |
| 2026-06-11 16:37:19 +0000 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-06-11 16:37:24 +0000 | srk | (~sorki@user/srk) (Ping timeout: 246 seconds) |
| 2026-06-11 16:38:29 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e512aff7227ec3ace12b.dip0.t-ipconnect.de) |
| 2026-06-11 16:39:23 +0000 | srk- | srk |
| 2026-06-11 16:43:46 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2026-06-11 16:52:12 +0000 | Square2 | (~Square@user/square) Square |
| 2026-06-11 16:53:46 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 16:58:29 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 268 seconds) |
| 2026-06-11 17:06:59 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 17:07:13 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 17:14:04 +0000 | <nyc> | What would ppl's top priorities be when using a polyglot compilation system to actually make a multilingual codebase do things vs. just existing & being multilingual? |
| 2026-06-11 17:16:55 +0000 | ft | (~ft@p508db0ab.dip0.t-ipconnect.de) ft |
| 2026-06-11 17:18:33 +0000 | aku_ | (aku@65.108.245.241) (Quit: Lost terminal) |
| 2026-06-11 17:25:29 +0000 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 248 seconds) |
| 2026-06-11 17:25:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 17:27:16 +0000 | td_ | (~td@i53870911.versanet.de) |
| 2026-06-11 17:28:31 +0000 | aku | (aku@65.108.245.241) eagleflo |
| 2026-06-11 17:29:24 +0000 | akegalj | (~akegalj@141-136-131-35.dsl.iskon.hr) (Quit: leaving) |
| 2026-06-11 17:29:44 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-06-11 17:29:59 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-11 17:30:38 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-06-11 17:30:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-11 17:35:43 +0000 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 252 seconds) |
| 2026-06-11 17:37:33 +0000 | td_ | (~td@i53870904.versanet.de) |
| 2026-06-11 17:38:50 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-11 17:41:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 17:42:18 +0000 | td_ | (~td@i53870904.versanet.de) (Ping timeout: 265 seconds) |
| 2026-06-11 17:43:47 +0000 | td_ | (~td@i53870932.versanet.de) |
| 2026-06-11 17:45:24 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 17:46:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 253 seconds) |
| 2026-06-11 17:47:41 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-11 17:49:45 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-11 17:50:01 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-11 17:50:18 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) |
| 2026-06-11 17:52:56 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (#haskell) |
| 2026-06-11 17:54:02 +0000 | jgee242 | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-11 17:54:44 +0000 | <jgee242> | Hi all, new to haskell lang. wanted to shout out to anyone leaning on here at present. |
| 2026-06-11 17:54:50 +0000 | <jgee242> | *learning |
| 2026-06-11 17:57:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 18:03:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-06-11 18:12:22 +0000 | Googulator60 | (~Googulato@84-236-126-95.pool.digikabel.hu) |
| 2026-06-11 18:14:00 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-06-11 18:16:02 +0000 | Googulator | (~Googulato@94-21-172-222.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-06-11 18:17:15 +0000 | <EvanR> | cool |
| 2026-06-11 18:19:28 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-06-11 18:25:40 +0000 | mauke | shouts back |
| 2026-06-11 18:29:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 18:30:35 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-06-11 18:33:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-11 18:36:24 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-06-11 18:42:10 +0000 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-11 18:42:47 +0000 | <jgee242> | noice, been enjoying learning, any tips for cool projects or resources? (currently using haskell.mooc.fi and the real world haskell book) |
| 2026-06-11 18:44:10 +0000 | CipherLab | (~NSA@2.59.157.238) (Ping timeout: 276 seconds) |
| 2026-06-11 18:44:24 +0000 | laserbat | (~laserbat@2a02:8084:0:1200:7218:6cc7:9043:80c6) |
| 2026-06-11 18:44:46 +0000 | <EvanR> | go to cool project: a computer game |
| 2026-06-11 18:44:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 18:45:01 +0000 | <mauke> | "go to" considered harmful |
| 2026-06-11 18:45:05 +0000 | <EvanR> | lol |
| 2026-06-11 18:45:06 +0000 | sourdecor | (uid526401@id-526401.lymington.irccloud.com) |
| 2026-06-11 18:45:17 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 18:46:02 +0000 | <int-e> | mauke: this is why INTERCAL has `COME FROM` |
| 2026-06-11 18:46:03 +0000 | CipherLab | (~NSA@171.33.191.92) CommanderBond007 |
| 2026-06-11 18:47:10 +0000 | <int-e> | (but hey, at least it's not a continuation) |
| 2026-06-11 18:48:21 +0000 | <EvanR> | spooky action at a distance |
| 2026-06-11 18:48:35 +0000 | <jaror> | if you want to build something while at the same time learning I'd recommend https://learn-haskell.blog/ |
| 2026-06-11 18:49:23 +0000 | <mauke> | int-e: ... which neatly generalizes to multithreading :-) |
| 2026-06-11 18:49:36 +0000 | <jgee242> | nice, thanks. I'll take a look. I was thinking of trying to write a rss reader as a starting project. |
| 2026-06-11 18:49:45 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-11 18:49:45 +0000 | <int-e> | mauke: Threaded INTERCAL is a thing :) |
| 2026-06-11 18:49:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-11 18:50:08 +0000 | <mauke> | I hear Haskell compilers are a popular thing to write in Haskell |
| 2026-06-11 18:50:33 +0000 | <int-e> | that and web frameworks? |
| 2026-06-11 18:50:40 +0000 | <jaror> | if your name is lennart |
| 2026-06-11 18:50:55 +0000 | <jgee242> | @mauke was also considering write a compiler or a parser of some kind |
| 2026-06-11 18:50:56 +0000 | <lambdabot> | Unknown command, try @list |
| 2026-06-11 18:51:40 +0000 | <mauke> | true |
| 2026-06-11 18:52:08 +0000 | <jaror> | people not named Lennart do write compilers, but not necessarily Haskell compilers |
| 2026-06-11 18:52:14 +0000 | <mauke> | jaror: see also ghc, jhc |
| 2026-06-11 18:52:27 +0000 | <mauke> | and uhc (?) |
| 2026-06-11 18:52:29 +0000 | <int-e> | nhc |
| 2026-06-11 18:52:49 +0000 | <jaror> | you're missing Helium |
| 2026-06-11 18:52:51 +0000 | <int-e> | did ndm's supercompiler target Haskell? |
| 2026-06-11 18:53:16 +0000 | <jgee242> | who's Lennart? |
| 2026-06-11 18:53:29 +0000 | <mauke> | I think jhc was the one written because the author wanted to learn haskell |
| 2026-06-11 18:54:12 +0000 | <[exa]> | jgee242: likely Augustsson |
| 2026-06-11 18:54:24 +0000 | <int-e> | [exa]: yep |
| 2026-06-11 18:54:32 +0000 | Vajb | (~Vajb@n4fzjruzgq4xq08fdlr-1.v6.elisa-mobile.fi) (Ping timeout: 256 seconds) |
| 2026-06-11 18:54:33 +0000 | <yin> | i wonder how many people have written minesweeper |
| 2026-06-11 18:54:33 +0000 | <mauke> | https://hackage.haskell.org/package/MicroHs |
| 2026-06-11 18:54:37 +0000 | <jaror> | Lennart Augustsson wrote technically the first Haskell compiler and I think some more and then recently also MicroHs |
| 2026-06-11 18:54:41 +0000 | <yin> | because i just did! https://asciinema.org/a/1230692 |
| 2026-06-11 18:55:47 +0000 | <int-e> | ah right. https://hackage.haskell.org/package/supero (note that it's old and more of a prototype, but I think it still counts) |
| 2026-06-11 18:55:48 +0000 | <EvanR> | the first haskell compiler? |
| 2026-06-11 18:55:54 +0000 | <jaror> | I thought so at least |
| 2026-06-11 18:56:02 +0000 | <jaror> | Let me look it up |
| 2026-06-11 18:56:35 +0000 | <[exa]> | yin: for whichever reason asciinema doesn't load for me, am I doing something wrong? |
| 2026-06-11 18:57:02 +0000 | <jaror> | Yeah, he co-authored hbc |
| 2026-06-11 18:57:33 +0000 | <mauke> | yin: https://github.com/mauke/mini-mine/blob/main/app/Main.hs ? |
| 2026-06-11 18:57:43 +0000 | <yin> | [exa]: is it possible that you have js disabled or some other extension interfering? |
| 2026-06-11 18:57:47 +0000 | <jaror> | During the spring of 1990 I was eagerly awaiting the first Haskell |
| 2026-06-11 18:57:47 +0000 | <jaror> | compiler, it was supposed to come from Glasgow and be based |
| 2026-06-11 18:57:47 +0000 | <jaror> | on the LML compiler. And I waited and waited. After talking to |
| 2026-06-11 18:57:47 +0000 | <jaror> | Glasgow people at the LISP & Functional Programming conference |
| 2026-06-11 18:57:47 +0000 | <jaror> | in Nice in late June of 1990 Staffan Truv´e and I decided that instead |
| 2026-06-11 18:57:47 +0000 | <jaror> | of waiting even longer we would write our own Haskell compiler |
| 2026-06-11 18:57:47 +0000 | <jaror> | based on the LML compiler. |
| 2026-06-11 18:57:50 +0000 | <[exa]> | tried to enable everything |
| 2026-06-11 18:58:24 +0000 | Vajb | (~Vajb@n5fv3njy8ismu511u8e-1.v6.elisa-mobile.fi) |
| 2026-06-11 18:58:34 +0000 | <[exa]> | yin: ah it's probably just slow |
| 2026-06-11 18:59:05 +0000 | <[exa]> | ah no, correction: firefox fails on it |
| 2026-06-11 18:59:11 +0000 | <EvanR> | so it was first... according to legend |
| 2026-06-11 18:59:17 +0000 | <mauke> | [exa]: works fine in my firefox |
| 2026-06-11 18:59:18 +0000 | <EvanR> | HBC |
| 2026-06-11 18:59:56 +0000 | <[exa]> | interesting |
| 2026-06-11 19:00:11 +0000 | <[exa]> | oh wait that's toroidal hex minesweeper? |
| 2026-06-11 19:00:12 +0000 | <jaror> | According to the paper "A History of Haskell: Being Lazy With Class" |
| 2026-06-11 19:00:25 +0000 | <jaror> | But legend sounds nice too |
| 2026-06-11 19:00:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 19:00:58 +0000 | <yin> | mauke: lol nice |
| 2026-06-11 19:01:34 +0000 | <yin> | [exa]: yes it is |
| 2026-06-11 19:01:59 +0000 | <[exa]> | o great |
| 2026-06-11 19:02:23 +0000 | <yin> | i'm testing my CA-based game engine |
| 2026-06-11 19:02:46 +0000 | <[exa]> | I see there's more hexy video arounds yeah |
| 2026-06-11 19:03:02 +0000 | <EvanR> | CA? |
| 2026-06-11 19:03:17 +0000 | <EvanR> | cellular automaton |
| 2026-06-11 19:03:27 +0000 | <yin> | i realized today that minesweeper would be a perfect demo for it |
| 2026-06-11 19:03:45 +0000 | <yin> | each cell only knowing about adjacent cells and all |
| 2026-06-11 19:04:57 +0000 | <[exa]> | yin: btw there's the "exploding atoms" game, quite old, that could be cool too |
| 2026-06-11 19:05:07 +0000 | <[exa]> | also never saw it on hexes |
| 2026-06-11 19:05:54 +0000 | <jgee242> | yin: if you like CA (https://www.cs.ox.ac.uk/admissions/undergraduate/courses/demo_turmites.html) |
| 2026-06-11 19:05:54 +0000 | <yin> | this one? https://dos.zone/exploding-atoms-sep-07-1992/ |
| 2026-06-11 19:06:27 +0000 | <[exa]> | oh lol the actual version I got in 1995 |
| 2026-06-11 19:07:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-11 19:09:34 +0000 | laserbat | (~laserbat@2a02:8084:0:1200:7218:6cc7:9043:80c6) (Changing host) |
| 2026-06-11 19:09:34 +0000 | laserbat | (~laserbat@user/laserbat) laserbat |
| 2026-06-11 19:09:41 +0000 | <yin> | jgee242: ty |
| 2026-06-11 19:13:19 +0000 | laserbat | (~laserbat@user/laserbat) (Remote host closed the connection) |
| 2026-06-11 19:13:35 +0000 | laserbat | (~laserbat@user/laserbat) laserbat |
| 2026-06-11 19:18:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 19:23:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-11 19:29:40 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-11 19:29:48 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-06-11 19:29:52 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-11 19:30:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 19:31:06 +0000 | ft | (~ft@p508db0ab.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-06-11 19:34:10 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 248 seconds) |
| 2026-06-11 19:35:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-11 19:37:49 +0000 | ft | (~ft@p4fc2ab3f.dip0.t-ipconnect.de) ft |
| 2026-06-11 19:39:47 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-11 19:40:02 +0000 | jgee242 | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2026-06-11 19:40:35 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-06-11 19:46:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-11 19:51:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-11 19:51:50 +0000 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 265 seconds) |
| 2026-06-11 19:51:58 +0000 | vgtw_ | (~vgtw@user/vgtw) vgtw |
| 2026-06-11 19:59:54 +0000 | emilym | (~Thunderbi@user/emilym) emilym |