Newest at the top
| 2024-10-07 11:16:33 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-07 11:14:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-07 11:13:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2024-10-07 11:10:20 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-07 11:10:03 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:9e00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-07 11:10:03 +0200 | onliner10 | (~onliner10@user/onliner10) (Remote host closed the connection) |
| 2024-10-07 11:09:56 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-07 11:09:50 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2024-10-07 11:08:04 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-07 11:02:04 +0200 | ZLima12_ | ZLima12 |
| 2024-10-07 10:57:55 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-07 10:55:20 +0200 | <lortabac> | I'm coming with a couple of colleagues |
| 2024-10-07 10:53:33 +0200 | chele | (~chele@user/chele) chele |
| 2024-10-07 10:52:47 +0200 | <kuribas> | Anyone coming to munihac? |
| 2024-10-07 10:51:53 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-07 10:46:12 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-07 10:35:59 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-07 10:35:23 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-07 10:26:09 +0200 | rosco | (~rosco@175.136.23.101) (Read error: Connection reset by peer) |
| 2024-10-07 10:19:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-07 10:12:39 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-07 10:09:26 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-07 10:08:36 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-07 10:07:20 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-07 10:06:16 +0200 | <jle`> | it doesn't do anything smart afaict |
| 2024-10-07 10:05:50 +0200 | <jle`> | famubu: i wonder if you can use the Set generator |
| 2024-10-07 10:04:20 +0200 | <famubu> | https://hackage.haskell.org/package/hedgehog-1.5/docs/Hedgehog-Gen.html#v:sample |
| 2024-10-07 10:04:17 +0200 | <famubu> | Hi. In hedgehog, is there a way to generate n unqiue samples? We can use `Gen.sample` to get one sample. But using it repeatedly could give non-uniques samples. |
| 2024-10-07 10:03:06 +0200 | famubu | (~julinuser@user/famubu) famubu |
| 2024-10-07 10:03:06 +0200 | famubu | (~julinuser@14.139.174.50) (Changing host) |
| 2024-10-07 10:03:06 +0200 | famubu | (~julinuser@14.139.174.50) famubu |
| 2024-10-07 10:00:54 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
| 2024-10-07 09:54:46 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-07 09:53:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-07 09:52:48 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Ping timeout: 265 seconds) |
| 2024-10-07 09:46:58 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-07 09:42:41 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-07 09:41:09 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-07 09:40:51 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
| 2024-10-07 09:36:47 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-07 09:25:24 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb09b827840f1f57a57d.dip0.t-ipconnect.de) acidjnk |
| 2024-10-07 09:24:54 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-07 09:23:00 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
| 2024-10-07 09:22:58 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-07 09:21:46 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-07 09:17:50 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-10-07 09:16:26 +0200 | gawen | (~gawen@user/gawen) gawen |
| 2024-10-07 09:16:00 +0200 | Digitteknohippie | Digit |
| 2024-10-07 09:15:22 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-07 09:09:53 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |