2025/07/22

Newest at the top

2025-07-22 20:56:31 +0200 <lambdabot> Foldable t => t [a] -> [a]
2025-07-22 20:56:30 +0200 <mauke> @type concat
2025-07-22 20:56:14 +0200 <mauke> among other things, yes :-)
2025-07-22 20:55:37 +0200 <ethereal_> ahhh so thats what the bot is for
2025-07-22 20:55:31 +0200 <ethereal_> what
2025-07-22 20:55:23 +0200 <lambdabot> "yay"
2025-07-22 20:55:21 +0200 <mauke> > concat ["y", "a", "y"]
2025-07-22 20:54:14 +0200 <ethereal_> will have to figure out the rest some other day. time to get back to haskell
2025-07-22 20:54:04 +0200 <ethereal_> well, quite complicated stuff
2025-07-22 20:53:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-22 20:53:27 +0200ethereal_(~ethereal@ip2505f2ec.dynamic.kabel-deutschland.de)
2025-07-22 20:52:42 +0200ethereal_(~ethereal@37.5.242.236) (Quit: leaving)
2025-07-22 20:49:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-22 20:47:49 +0200trickard_(~trickard@cpe-61-98-47-163.wireline.com.au)
2025-07-22 20:47:13 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) be8bcca2f3
2025-07-22 20:47:04 +0200 <ethereal_> oh boy
2025-07-22 20:45:42 +0200 <mauke> haha
2025-07-22 20:45:34 +0200 <EvanR> there's too much activity on the network to reasonably filter out, so I just look at it encoded like The Matrix
2025-07-22 20:45:11 +0200 <ethereal_> ahhh yeah ctrl p did the trick
2025-07-22 20:45:03 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) (Ping timeout: 252 seconds)
2025-07-22 20:44:58 +0200rvalue-rvalue
2025-07-22 20:44:46 +0200 <mauke> or ctrl-p/ctrl-n to scroll through tabs
2025-07-22 20:44:34 +0200 <mauke> alt-1, assuming default config
2025-07-22 20:44:15 +0200 <mauke> might be in the server window
2025-07-22 20:44:09 +0200 <ethereal_> no i didnt see anything :D
2025-07-22 20:44:03 +0200 <ethereal_> oh okay
2025-07-22 20:43:47 +0200 <mauke> also, if you saw anything about a "CTCP VERSION" request, that was me checking your client
2025-07-22 20:43:44 +0200glguygets pinged https://ibb.co/LdTsw3K6
2025-07-22 20:43:19 +0200 <ethereal_> yep makes sense
2025-07-22 20:43:00 +0200 <__monty__> The network sites also tend to have helpful docs.
2025-07-22 20:42:48 +0200 <ethereal_> oh okay, i will check it out __monty__
2025-07-22 20:42:17 +0200 <monochrom> More generally, consult the docs of your irc client, or browse around the menus if it has a GUI.
2025-07-22 20:42:10 +0200 <__monty__> ethereal_: Glirc is another TUI IRC client.
2025-07-22 20:42:07 +0200 <EvanR> some channels don't let you even talk without registering the nick, either way it's a good idea
2025-07-22 20:41:54 +0200 <ethereal_> i think
2025-07-22 20:41:53 +0200 <ethereal_> yeah ethereal was taken
2025-07-22 20:41:44 +0200 <EvanR> someone else might be using your desired name, or have it registered with NickServ
2025-07-22 20:41:30 +0200 <ethereal_> oh what, this was easier than i thought. stupid me
2025-07-22 20:41:21 +0200 <ethereal_> test
2025-07-22 20:41:19 +0200ethereal1ethereal_
2025-07-22 20:41:08 +0200 <EvanR> /nick whatever
2025-07-22 20:41:05 +0200 <monochrom> There is a /nick command
2025-07-22 20:40:52 +0200 <ethereal1> oh boy how do i change my nick
2025-07-22 20:40:27 +0200EvanR(~EvanR@user/evanr) EvanR
2025-07-22 20:40:21 +0200trickard_(~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-22 20:40:02 +0200 <ethereal1> test
2025-07-22 20:39:55 +0200ethereal1(~ethereal@37.5.242.236)
2025-07-22 20:39:16 +0200ethereal_(~ethereal@2a02:8108:6a14:e300::3f95) (Quit: change client)
2025-07-22 20:38:54 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds)
2025-07-22 20:38:22 +0200rvalue-(~rvalue@about/hackers/rvalue) rvalue