Newest at the top
| 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 |
| 2024-09-30 11:04:07 +0200 | Vengeance_ | (~Vengeance@2.219.56.221) (Ping timeout: 252 seconds) |
| 2024-09-30 11:01:51 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-09-30 11:00:28 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-30 10:59:54 +0200 | polyphem | (~rod@pd9fbf2fe.dip0.t-ipconnect.de) polyphem |
| 2024-09-30 10:58:53 +0200 | synchromesh | (~john@2406:5a00:241a:5600:a1ef:6d76:30da:3d0e) synchromesh |
| 2024-09-30 10:57:51 +0200 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) (Read error: Connection reset by peer) |
| 2024-09-30 10:57:04 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2024-09-30 10:52:20 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-09-30 10:46:53 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2024-09-30 10:44:23 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2024-09-30 10:39:23 +0200 | <lortabac> | nevermind, I found it. You can start a stanza with 'package *' |