Newest at the top
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 |
2024-09-30 12:02:49 +0200 | <int-e> | are those the chosen ones |
2024-09-30 12:01:27 +0200 | xff0x | (~xff0x@182.169.73.28) (Ping timeout: 265 seconds) |
2024-09-30 12:01:04 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-30 11:58:36 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-09-30 11:56:16 +0200 | <ncf> | the natural numbers and conatural numbers coincide in haskell |
2024-09-30 11:55:59 +0200 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... |
2024-09-30 11:55:57 +0200 | <tomsmeding> | > let ones = 1 : ones in ones |
2024-09-30 11:54:58 +0200 | <Inst> | in Haskell, a :: Peano; a = S a is a valid value |
2024-09-30 11:54:37 +0200 | <Inst> | huh |
2024-09-30 11:51:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-30 11:46:43 +0200 | briandaed | (~root@185.234.210.211) |
2024-09-30 11:45:18 +0200 | <lambdabot> | :) |
2024-09-30 11:45:18 +0200 | <tomsmeding> | @botsnack |
2024-09-30 11:45:10 +0200 | <tomsmeding> | ah, lambdabot ignores yahb2 |
2024-09-30 11:45:03 +0200 | <yahb2> | @pl \x -> x |
2024-09-30 11:45:03 +0200 | <tomsmeding> | % putStrLn "@pl \\x -> x" |