Newest at the top
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) |
2024-10-07 09:09:30 +0200 | kuribas | (~user@ptr-17d51em3rhcvuvotah6.18120a2.ip6.access.telenet.be) |
2024-10-07 09:05:23 +0200 | rosco | (~rosco@175.136.23.101) rosco |
2024-10-07 09:04:03 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-07 09:01:56 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
2024-10-07 09:00:58 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-07 09:00:41 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-07 09:00:08 +0200 | rosco | (~rosco@175.136.23.101) (Read error: Connection reset by peer) |
2024-10-07 09:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-07 08:59:15 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
2024-10-07 08:57:54 +0200 | madhavanmiui | (~madhavanm@2409:40f4:101b:c402:7962:1b32:f43c:cd72) (Client Quit) |
2024-10-07 08:57:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-10-07 08:56:50 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Ping timeout: 244 seconds) |
2024-10-07 08:55:55 +0200 | madhavanmiui | (~madhavanm@2409:40f4:101b:c402:7962:1b32:f43c:cd72) |
2024-10-07 08:54:26 +0200 | rosco | (~rosco@175.136.23.101) rosco |
2024-10-07 08:52:53 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-07 08:50:08 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-10-07 08:49:38 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-07 08:48:34 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |