Logs: liberachat/#haskell
| 2021-05-25 08:27:54 | → | djanatyn joins (~djanatyn@vps-7f49a6b0.vps.ovh.ca) |
| 2021-05-25 08:27:54 | → | urdh joins (~urdh@h88-129-148-132.cust.a3fiber.se) |
| 2021-05-25 08:27:54 | → | edwtjo joins (~edwtjo@user/edwtjo) |
| 2021-05-25 08:27:54 | → | tdammers_ joins (~tdammers@77.109.72.213) |
| 2021-05-25 08:27:54 | → | Logio joins (em@kapsi.fi) |
| 2021-05-25 08:28:18 | → | angerman joins (sid209936@id-209936.charlton.irccloud.com) |
| 2021-05-25 08:28:26 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-05-25 08:28:43 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-25 08:29:28 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-25 08:29:43 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-25 08:29:51 | → | S11001001 joins (sid42510@id-42510.charlton.irccloud.com) |
| 2021-05-25 08:32:34 | × | skn quits (~znc@sec.nimmagadda.net) (Ping timeout: 264 seconds) |
| 2021-05-25 08:32:54 | → | skn joins (~znc@sec.nimmagadda.net) |
| 2021-05-25 08:32:56 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-05-25 08:34:22 | × | raoul quits (~raoul@nomnomnomnom.co.uk) (Ping timeout: 264 seconds) |
| 2021-05-25 08:34:22 | × | imc6ristian quits (~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) (Quit: quit) |
| 2021-05-25 08:34:35 | → | raoul joins (~raoul@nomnomnomnom.co.uk) |
| 2021-05-25 08:34:56 | → | imc6ristian joins (~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) |
| 2021-05-25 08:35:39 | × | m_shiraeeshi quits (~shiraeesh@46.34.207.100) (Ping timeout: 264 seconds) |
| 2021-05-25 08:36:54 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-05-25 08:37:13 | → | ddellacosta joins (~ddellacos@86.106.121.117) |
| 2021-05-25 08:38:43 | → | chddr joins (~Thunderbi@91.226.34.182) |
| 2021-05-25 08:39:19 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2021-05-25 08:41:51 | × | ddellacosta quits (~ddellacos@86.106.121.117) (Ping timeout: 272 seconds) |
| 2021-05-25 08:48:09 | × | imc6ristian quits (~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) (Quit: quit) |
| 2021-05-25 08:48:14 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:c481:4314:38df:6304) |
| 2021-05-25 08:48:21 | → | imc6ristian joins (~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) |
| 2021-05-25 08:50:48 | → | ystael joins (~ystael@user/ystael) |
| 2021-05-25 08:50:55 | → | Flonk joins (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) |
| 2021-05-25 08:51:09 | → | L29Ah joins (~L29Ah@user/l29ah) |
| 2021-05-25 08:51:16 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-05-25 08:51:35 | <Flonk> | Did yall really migrate both offtopic channels? :D |
| 2021-05-25 08:52:47 | ← | felixphew parts (~felix@cssa/committee/felix) () |
| 2021-05-25 08:52:47 | × | imc6ristian quits (~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) (Client Quit) |
| 2021-05-25 08:53:17 | → | imc6ristian joins (~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) |
| 2021-05-25 08:53:35 | × | imc6ristian quits (~c6ristian@2a04:6ec0:20f:fdb0:22bd:de4c:2316:161f) (Client Quit) |
| 2021-05-25 08:54:05 | <dminuoso> | Im looking for libraries to assist in making simple request/respond CLI tools with. Something that asks for a bunch of things, receives things from STDIN, and perhaps has some simple help integration. |
| 2021-05-25 08:54:28 | <dminuoso> | Trying to be non-specific, since Im wondering what kind of options I have, short of handrolling the whole thing |
| 2021-05-25 08:55:34 | <kritzefitz> | dminuoso, so input should come from STDIN interactively, rather than providing everything on the command line beforehand? |
| 2021-05-25 08:55:48 | <dminuoso> | Right |
| 2021-05-25 08:57:09 | <dminuoso> | haskeline comes to mind, if I want to handroll the entire interaction |
| 2021-05-25 08:57:29 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-25 09:02:45 | <kritzefitz> | dminuoso, I didn't look into the details, but http://hackage.haskell.org/package/wizards looks like it might help you. |
| 2021-05-25 09:02:50 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 264 seconds) |
| 2021-05-25 09:02:54 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-05-25 09:04:26 | × | haskman quits (~haskman@106.215.3.81) (Ping timeout: 252 seconds) |
| 2021-05-25 09:04:26 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-25 09:07:49 | <dminuoso> | kritzefitz: Oh, that looks exactly like I was looking for. |
| 2021-05-25 09:09:17 | × | tA quits (~thorn@121.220.36.168) (Ping timeout: 264 seconds) |
| 2021-05-25 09:13:30 | → | samebchase1 joins (~samebchas@51.15.68.182) |
| 2021-05-25 09:13:36 | × | samebchase quits (~samebchas@51.15.68.182) (Quit: Ping timeout (120 seconds)) |
| 2021-05-25 09:14:02 | × | int-e quits (~noone@int-e.eu) (Quit: Reconnecting) |
| 2021-05-25 09:14:09 | → | int-e_ joins (~noone@int-e.eu) |
| 2021-05-25 09:14:44 | × | int-e_ quits (~noone@int-e.eu) (Client Quit) |
| 2021-05-25 09:14:52 | × | bjs quits (sid190364@brockwell.irccloud.com) (Changing host) |
| 2021-05-25 09:14:52 | → | bjs joins (sid190364@user/bjs) |
| 2021-05-25 09:14:58 | → | int-e joins (~noone@int-e.eu) |
| 2021-05-25 09:16:09 | → | eal joins (~eal@customer-46-39-107-10.stosn.net) |
| 2021-05-25 09:19:23 | → | Guest56 joins (~Guest56@157.45.6.211) |
| 2021-05-25 09:19:33 | <Guest56> | test |
| 2021-05-25 09:19:50 | <Guest56> | anyone here |
| 2021-05-25 09:20:11 | <Guest56> | am i doing this correctly |
| 2021-05-25 09:20:21 | <int-e> | no |
| 2021-05-25 09:20:34 | <Guest56> | hi Bertram |
| 2021-05-25 09:20:55 | <dminuoso> | Guest56: Hi, yes you are. :) |
| 2021-05-25 09:21:00 | <int-e> | it's customary to call people by their nicks |
| 2021-05-25 09:21:10 | <int-e> | (int-e in my case) |
| 2021-05-25 09:21:16 | <Guest56> | oh okay |
| 2021-05-25 09:21:28 | <dminuoso> | Nice, so Libera already has IRC first timers! |
| 2021-05-25 09:21:50 | <Guest56> | I came here from archlinux notification email |
| 2021-05-25 09:22:04 | <Guest56> | it didn't let me post |
| 2021-05-25 09:22:18 | <Guest56> | i need to be identified with a service |
| 2021-05-25 09:22:27 | <Guest56> | what does it mean? |
| 2021-05-25 09:22:55 | <dminuoso> | Type the following into your chat bar: /msg nickserv help register |
| 2021-05-25 09:23:13 | <dminuoso> | And follow the instructions |
| 2021-05-25 09:23:14 | <mniip> | how do you end up in #haskell if you were going for #archlinux |
| 2021-05-25 09:23:31 | <dminuoso> | Im guessing their client has a way of showing other channels, and Haskell likely is one of the most populated ones? |
| 2021-05-25 09:23:32 | <Taneb> | Guest56: there is a guide to registring a nickname here: https://libera.chat/guides/registration |
| 2021-05-25 09:23:36 | <int-e> | Guest56: but first pick a nick you actually want |
| 2021-05-25 09:23:39 | <dminuoso> | Presumably one of the few ones without +r |
| 2021-05-25 09:23:59 | <Guest56> | thanks dminuoso but in libera.chat page said no signup required for using kiwiirc |
| 2021-05-25 09:23:59 | <int-e> | (and that is not registered yet *shrugs*) |
| 2021-05-25 09:24:13 | <dminuoso> | Guest56: Right, but some project/channels require signup. |
| 2021-05-25 09:24:28 | <Taneb> | Guest56: some channels make you register your username as a spam prevention technique |
| 2021-05-25 09:24:29 | <dminuoso> | So while the network itself does not demand it, some chnanels might have stricter requirements |
| 2021-05-25 09:25:41 | <Guest56> | hmm, so kiwiirc is the client, libera.chat is the network and I also need to register with nickserve? |
| 2021-05-25 09:25:48 | ← | unautre parts (~unautre@149.91.83.63) () |
| 2021-05-25 09:26:06 | <dminuoso> | Guest56: Right. Think of `nickserv` as a way to register an account with the network |
| 2021-05-25 09:26:55 | <dminuoso> | It's perhaps a bit odd to do this via `/msg`, Im guessing this way of registering your account through private messages was just retrofitted onto IRC. |
| 2021-05-25 09:27:29 | <Guest56> | @mniip yes haskell cam up on top on search page for channels on kiwiirc and I had heard haskell folks are nice on reddit |
| 2021-05-25 09:27:29 | <lambdabot> | Unknown command, try @list |
| 2021-05-25 09:27:31 | <dminuoso> | nickserv and chanserv are official "bots" on the network providing registration services for accounts and channels respectively |
| 2021-05-25 09:28:46 | × | curiousgay quits (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-05-25 09:29:15 | <Guest56> | dminuoso so if I have account with a network (say libera.chat), I dont need to register with others? |
| 2021-05-25 09:29:35 | <dminuoso> | No you do. The registration is only valid on that particular network. |
| 2021-05-25 09:29:59 | <Guest56> | huh, is all of this complicated or am i just not smart enough |
| 2021-05-25 09:30:12 | → | simmsb joins (~ben@2a02:c7f:343a:6d00:69bb:9905:870a:6538) |
| 2021-05-25 09:30:33 | <Guest56> | I will have to find a tutorial for basics of IRC |
| 2021-05-25 09:30:37 | <Taneb> | Guest56: it does take a little getting used to |
| 2021-05-25 09:30:42 | → | Gurkenglas_ joins (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) |
All times are in UTC.