Newest at the top
2024-09-30 14:24:56 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-09-30 14:24:35 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-09-30 14:19:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
2024-09-30 14:14:50 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-09-30 14:09:06 +0200 | petrichor | (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
2024-09-30 14:08:56 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
2024-09-30 14:08:21 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
2024-09-30 14:05:37 +0200 | cipherrot | (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
2024-09-30 13:59:34 +0200 | alp | (~alp@user/alp) (Remote host closed the connection) |
2024-09-30 13:58:05 +0200 | <geekosaur> | (with, indeed, the problem of time; but that's your problem 😛 ) |
2024-09-30 13:56:57 +0200 | <geekosaur> | Inst, https://hackage.haskell.org/package/universe-1.2.3/docs/Data-Universe-Instances-Reverse.html? |
2024-09-30 13:56:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2024-09-30 13:44:13 +0200 | Typedfern | (~Typedfern@2a02:9130:9c33:296c:d6c0:1874:d2f5:c68c) |
2024-09-30 13:43:18 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2024-09-30 13:33:05 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
2024-09-30 13:32:34 +0200 | Typedfern | (~Typedfern@2a02:9130:9c33:296c:4caa:2c3a:afbd:6119) (Ping timeout: 244 seconds) |
2024-09-30 13:20:32 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
2024-09-30 13:20:00 +0200 | Typedfern | (~Typedfern@2a02:9130:9c33:296c:4caa:2c3a:afbd:6119) |
2024-09-30 13:18:04 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2024-09-30 13:10:50 +0200 | CiaoSen | (~Jura@2a05:5800:2e8:8f00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
2024-09-30 13:10:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4c01:617c:3138:9e79) |
2024-09-30 13:07:11 +0200 | Typedfern | (~Typedfern@2a02:9130:9c34:14e4:3caf:37c0:2522:467b) (Ping timeout: 265 seconds) |
2024-09-30 13:06:50 +0200 | misterfish | (~misterfis@87.215.131.102) misterfish |
2024-09-30 12:58:17 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
2024-09-30 12:48:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-09-30 12:45:26 +0200 | misterfish | (~misterfis@178.229.145.184) (Ping timeout: 265 seconds) |
2024-09-30 12:43:04 +0200 | <__monty__> | Inst: You've started on the road to a pun. |
2024-09-30 12:37:56 +0200 | <ncf> | ah |
2024-09-30 12:37:48 +0200 | <lambdabot> | 19.265919722494793 |
2024-09-30 12:37:46 +0200 | <int-e> | > 64 * logBase 10 2 |
2024-09-30 12:37:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-09-30 12:37:13 +0200 | <ncf> | 19? |
2024-09-30 12:33:31 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
2024-09-30 12:32:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-30 12:28:54 +0200 | <Inst> | ~10^19, yup :( |
2024-09-30 12:26:23 +0200 | <int-e> | why. you won't live to see that finish on a 64 bit system. |
2024-09-30 12:24:04 +0200 | <Inst> | for the simple case |
2024-09-30 12:23:54 +0200 | <Inst> | i'm still waiting for haskell to show function equality on my ghci :( |
2024-09-30 12:23:23 +0200 | <lambdabot> | mueval-core: Time limit exceeded |
2024-09-30 12:23:17 +0200 | <Inst> | > fmap (+1) [minBound .. maxBound] == fmap (+1) ([minBound .. maxBound] :: [Int]) |
2024-09-30 12:22:41 +0200 | <Inst> | hmmm, I wonder what happens if |
2024-09-30 12:18:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-30 12:17:10 +0200 | vincent42 | (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
2024-09-30 12:16:31 +0200 | <ski> | yea, i was talking about people on the IRC side, __monty__ |
2024-09-30 12:10:49 +0200 | <Inst> | monty: why are you a dunder method? |
2024-09-30 12:09:00 +0200 | <__monty__> | ski: They're using the haskellbridge. On the Matrix side you have to prefix names with @ to "mention" someone. |
2024-09-30 12:07:33 +0200 | <ski> | (i also think `@' is a good choice, to subtly encourage people to not add `@' willynilly to nicknames when addressing them) |
2024-09-30 12:06:25 +0200 | <ski> | afaik, IRC clients normally don't copy channel status like `@' or `+', when completing nicknames |
2024-09-30 12:03:49 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-30 12:03:29 +0200 | <Inst> | by lambdabot, yes |