Newest at the top
2025-07-17 12:16:51 +0200 | m1dnight | (~m1dnight@78-20-51-206.access.telenet.be) m1dnight |
2025-07-17 12:13:13 +0200 | Guest82 | (~Guest82@2405:3800:898:469:d431:27ff:fec6:44e4) (Quit: Client closed) |
2025-07-17 12:05:57 +0200 | Guest82 | (~Guest82@2405:3800:898:469:d431:27ff:fec6:44e4) |
2025-07-17 12:05:48 +0200 | cstml | (~Thunderbi@user/cstml) (Ping timeout: 245 seconds) |
2025-07-17 12:01:41 +0200 | cstml | (~Thunderbi@user/cstml) cstml |
2025-07-17 12:01:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) |
2025-07-17 12:01:23 +0200 | cstml | (~Thunderbi@user/cstml) (Read error: Connection reset by peer) |
2025-07-17 12:01:05 +0200 | cstml | (~Thunderbi@user/cstml) cstml |
2025-07-17 11:53:59 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-07-17 11:52:56 +0200 | remexre | (~remexre@user/remexre) remexre |
2025-07-17 11:49:57 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-07-17 11:43:11 +0200 | Guest30 | (~Guest28@69.6.47.202) (Client Quit) |
2025-07-17 11:41:04 +0200 | Guest30 | (~Guest28@69.6.47.202) |
2025-07-17 11:35:23 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
2025-07-17 11:35:09 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-07-17 11:32:07 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-17 11:27:13 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-07-17 11:18:41 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
2025-07-17 11:00:44 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-07-17 10:49:58 +0200 | m1dnight | (~m1dnight@78-20-51-206.access.telenet.be) (Ping timeout: 272 seconds) |
2025-07-17 10:49:20 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
2025-07-17 10:38:20 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-17 10:37:33 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
2025-07-17 10:36:45 +0200 | mfc_kbs | (~keibisoft@mail.keibisoft.com) |
2025-07-17 10:32:08 +0200 | haskellman | (~haskellma@185.13.107.115) (Quit: Client closed) |
2025-07-17 10:31:21 +0200 | chele | (~chele@user/chele) chele |
2025-07-17 10:22:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-07-17 10:19:34 +0200 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Ping timeout: 272 seconds) |
2025-07-17 10:19:18 +0200 | puke | (~puke@user/puke) puke |
2025-07-17 10:18:58 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
2025-07-17 10:16:24 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-07-17 10:14:51 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-07-17 10:11:39 +0200 | JamesMowery1773 | JamesMowery177 |
2025-07-17 10:11:39 +0200 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 252 seconds) |
2025-07-17 10:11:15 +0200 | JamesMowery1773 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2025-07-17 10:09:06 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-07-17 10:08:47 +0200 | <tomsmeding> | https://hackage.haskell.org/package/hedgehog-1.5/docs/Hedgehog-Gen.html ; https://hackage-content.haskell.org/package/QuickCheck-2.16.0.0/docs/Test-QuickCheck.html |
2025-07-17 10:07:19 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-07-17 10:07:04 +0200 | <haskellman> | Hello everyone, what is the best way to generate complex datastructures randomly s.t. I can compose them and whatever ? |
2025-07-17 10:06:24 +0200 | haskellman | (~haskellma@185.13.107.115) |
2025-07-17 10:03:31 +0200 | jcarpenter2 | (~lol@96.78.87.197) |
2025-07-17 10:02:46 +0200 | cstml | (~Thunderbi@user/cstml) (Ping timeout: 244 seconds) |
2025-07-17 10:00:07 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
2025-07-17 09:58:15 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-07-17 09:54:57 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:68f4:f810:ede6:3c8e) (Ping timeout: 248 seconds) |
2025-07-17 09:54:44 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2025-07-17 09:52:42 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 276 seconds) |
2025-07-17 09:49:52 +0200 | jespada | (~jespada@2800:a4:223f:1a00:1833:e9a3:3f1f:2d7a) jespada |
2025-07-17 09:48:43 +0200 | jespada | (~jespada@2800:a4:2283:2700:4d56:5313:eb6:35c4) (Ping timeout: 276 seconds) |
2025-07-17 09:48:32 +0200 | acidjnk | (~acidjnk@p200300d6e70b661810c0baac8c5eeb00.dip0.t-ipconnect.de) acidjnk |