Newest at the top
| 2026-04-07 10:57:13 +0000 | <lambdabot> | 0.0 |
| 2026-04-07 10:57:12 +0000 | <ski> | > logBase 2 1 |
| 2026-04-07 10:57:07 +0000 | <ski> | for `2' values, in a `Bool', you need one bit |
| 2026-04-07 10:56:57 +0000 | <lambdabot> | 1.0 |
| 2026-04-07 10:56:55 +0000 | <ski> | > logBase 2 2 |
| 2026-04-07 10:56:53 +0000 | <ski> | for `256' values in a `Word8', you need eight bits |
| 2026-04-07 10:56:43 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-04-07 10:56:38 +0000 | <lambdabot> | 8.0 |
| 2026-04-07 10:56:36 +0000 | <ski> | > logBase 2 256 |
| 2026-04-07 10:56:19 +0000 | <ski> | two-logarithm of number of possible values, gives (rounding up) number of bits to represent all the values (assuming a representation using the same number of bits, corresponding to considering each possible value equally likely/important) |
| 2026-04-07 10:55:35 +0000 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-04-07 10:54:44 +0000 | <ski> | empty set/type would represent a computation which does not return |
| 2026-04-07 10:54:28 +0000 | craunts795335385 | (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-07 10:54:15 +0000 | <ski> | gentauro : no, singleton set/type |
| 2026-04-07 10:48:58 +0000 | mniip | (mniip@libera/staff-emeritus/mniip) (Ping timeout: 268 seconds) |
| 2026-04-07 10:45:54 +0000 | Igloo | (~ian@81.2.99.210) |
| 2026-04-07 10:39:29 +0000 | Googulator72 | (~Googulato@2a01-036d-0106-496b-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) (Client Quit) |
| 2026-04-07 10:39:29 +0000 | Googulator83 | (~Googulato@2a01-036d-0106-496b-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) |
| 2026-04-07 10:39:15 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-07 10:37:50 +0000 | Googulator72 | (~Googulato@2a01-036d-0106-496b-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) |
| 2026-04-07 10:37:35 +0000 | Googulator72 | (~Googulato@2a01-036d-0106-496b-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-04-07 10:33:55 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-04-07 10:28:55 +0000 | Igloo | (~ian@81.2.99.210) (Ping timeout: 244 seconds) |
| 2026-04-07 10:28:42 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-04-07 10:20:34 +0000 | <probie> | Without a zero-size argument, GHC can't produce code to `launchMissiles` (or whatever your preferred obviously side-effecting action is) |
| 2026-04-07 10:13:06 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5083e6a4b02e30f35b3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-07 10:12:24 +0000 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2026-04-07 10:11:53 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-04-07 10:11:38 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2026-04-07 10:10:05 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e57155f396ad0c3fa022.dip0.t-ipconnect.de) |
| 2026-04-07 10:09:18 +0000 | danza | (~danza@user/danza) (Ping timeout: 255 seconds) |
| 2026-04-07 10:07:19 +0000 | danz29182 | (~danza@user/danza) danza |
| 2026-04-07 09:37:14 +0000 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) () |
| 2026-04-07 09:36:47 +0000 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) sixfourtwelve |
| 2026-04-07 09:32:10 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-07 09:17:40 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-07 09:09:55 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-07 09:09:22 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-07 09:06:21 +0000 | <gentauro> | ski: empty set? |
| 2026-04-07 09:00:51 +0000 | sm__ | (~sm@66.8.200.171) (Ping timeout: 246 seconds) |
| 2026-04-07 08:58:27 +0000 | <ski> | "if the argument is zero-size, does it exist?" -- yes |
| 2026-04-07 08:48:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5083e6a4b02e30f35b3.dip0.t-ipconnect.de) |
| 2026-04-07 08:46:37 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2026-04-07 08:46:00 +0000 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-07 08:30:44 +0000 | wickedja` | (~user@2605:8d80:5430:835f:a541:6494:f3cf:c7d9) (Remote host closed the connection) |
| 2026-04-07 08:22:07 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-04-07 08:16:31 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-07 08:16:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:2967:7abf:4b48:f685) (Changing host) |
| 2026-04-07 08:16:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:2967:7abf:4b48:f685) |
| 2026-04-07 08:09:46 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |