Newest at the top
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" |
2024-09-30 11:44:59 +0200 | <yahb2> | <interactive>:17:17: error: [GHC-21231] ; lexical error in string/character literal at character ' ' |
2024-09-30 11:44:59 +0200 | <tomsmeding> | % putStrLn "@pl \x -> x" |
2024-09-30 11:43:43 +0200 | <haskellbridge> | <carbolymer`> tomsmeding: yes, but it's used to mark OP in quite a lot of clients, so when you're writing to someone, sometimes @ gets copied |
2024-09-30 11:42:53 +0200 | <tomsmeding> | carbolymer`: on irc there is no special behaviour for @ ;) |
2024-09-30 11:40:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-09-30 11:39:08 +0200 | <haskellbridge> | <carbolymer`> tbf @ is not a great choice for command character for a bot |
2024-09-30 11:37:55 +0200 | <haskellbridge> | <carbolymer`> @pl |
2024-09-30 11:27:15 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-30 11:24:30 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-30 11:24:29 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-30 11:23:21 +0200 | vanced | (~Vengeance@2.219.56.221) |
2024-09-30 11:21:59 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-30 11:11:16 +0200 | misterfish | (~misterfis@178.229.145.184) misterfish |
2024-09-30 11:07:19 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-09-30 11:04:08 +0200 | Xe | (~cadey@perl/impostor/xe) Xe |