Logs: liberachat/#haskell
| 2021-08-27 03:05:05 | <arahael> | uh? odd. the australian country code is +61, i should double check on the mobile numbers! always thought it was 63. (we rarely use them locally) |
| 2021-08-27 03:05:41 | <lechner> | it was only approximate anyway |
| 2021-08-27 03:06:17 | <arahael> | indeed. |
| 2021-08-27 03:06:31 | <nshepperd> | accurate to within two significant digits, plus or minus one |
| 2021-08-27 03:06:57 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-27 03:07:07 | arahael | <- won't make it through an interview for a statistics position, it seems! |
| 2021-08-27 03:07:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-27 03:09:03 | <lechner> | plus or minus one is a range of two |
| 2021-08-27 03:09:34 | arahael | tears up his fake statistics doctorate. |
| 2021-08-27 03:16:07 | × | azeem quits (~azeem@176.200.202.203) (Ping timeout: 240 seconds) |
| 2021-08-27 03:17:01 | → | azeem joins (~azeem@176.200.202.203) |
| 2021-08-27 03:17:31 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-08-27 03:17:47 | × | otto_s_ quits (~user@p5de2f1e2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-08-27 03:19:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-27 03:19:46 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-27 03:19:51 | → | otto_s joins (~user@p5de2f51d.dip0.t-ipconnect.de) |
| 2021-08-27 03:30:15 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-27 03:32:15 | × | azeem quits (~azeem@176.200.202.203) (Ping timeout: 250 seconds) |
| 2021-08-27 03:33:01 | → | azeem joins (~azeem@176.200.202.203) |
| 2021-08-27 03:34:34 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-08-27 03:41:47 | × | azeem quits (~azeem@176.200.202.203) (Ping timeout: 250 seconds) |
| 2021-08-27 03:43:44 | → | azeem joins (~azeem@176.200.202.203) |
| 2021-08-27 03:45:10 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Read error: Connection reset by peer) |
| 2021-08-27 03:46:23 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-08-27 03:50:07 | × | azeem quits (~azeem@176.200.202.203) (Ping timeout: 240 seconds) |
| 2021-08-27 03:53:03 | → | azeem joins (~azeem@176.201.38.112) |
| 2021-08-27 03:53:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-27 03:54:48 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-27 03:55:27 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2021-08-27 03:57:47 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-27 03:58:29 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-27 03:58:36 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-08-27 03:58:48 | × | hongminhee quits (sid295@id-295.tinside.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-08-27 04:01:19 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-27 04:02:05 | → | hongminhee joins (sid295@tinside.irccloud.com) |
| 2021-08-27 04:02:12 | × | markpythonicbtc quits (~textual@2601:647:5a00:35:24b0:1b1:4e8f:2ae0) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-27 04:03:01 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-08-27 04:04:40 | → | mikoto-c1 joins (~mikoto-ch@83.137.2.244) |
| 2021-08-27 04:07:10 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-08-27 04:08:41 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-08-27 04:09:38 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-08-27 04:10:06 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-08-27 04:11:48 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-08-27 04:16:10 | × | typetetris quits (sid275937@tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-27 04:16:53 | × | azeem quits (~azeem@176.201.38.112) (Ping timeout: 250 seconds) |
| 2021-08-27 04:17:27 | → | azeem joins (~azeem@176.201.38.112) |
| 2021-08-27 04:19:39 | → | markpythonicbtc joins (~textual@c-24-6-12-87.hsd1.ca.comcast.net) |
| 2021-08-27 04:21:03 | → | typetetris joins (sid275937@tinside.irccloud.com) |
| 2021-08-27 04:24:47 | × | mikoto-c1 quits (~mikoto-ch@83.137.2.244) (Ping timeout: 240 seconds) |
| 2021-08-27 04:25:27 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 240 seconds) |
| 2021-08-27 04:26:40 | × | azeem quits (~azeem@176.201.38.112) (Ping timeout: 240 seconds) |
| 2021-08-27 04:27:24 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-08-27 04:27:55 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-27 04:30:47 | → | azeem joins (~azeem@176.201.38.112) |
| 2021-08-27 04:34:06 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 2021-08-27 04:36:47 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-08-27 04:38:27 | × | renzhi quits (~xp@2607:fa49:6500:3d00::d986) (Ping timeout: 240 seconds) |
| 2021-08-27 04:40:19 | <jle`> | can i hire someone on fiverr to remove all my unused imports |
| 2021-08-27 04:40:31 | <Axman6> | just use hls |
| 2021-08-27 04:40:44 | <jle`> | :o |
| 2021-08-27 04:40:52 | <Axman6> | ... I think |
| 2021-08-27 04:41:10 | <Axman6> | just realised that I may have only done that in DAML... but HLS should also have it |
| 2021-08-27 04:41:18 | <jle`> | i should probably figure out how to actually use/install |
| 2021-08-27 04:41:25 | <Axman6> | which editor? |
| 2021-08-27 04:41:48 | <jle`> | vim |
| 2021-08-27 04:42:58 | <Axman6> | Hmm, I'm sure I've heard of it working in vim |
| 2021-08-27 04:43:25 | <jle`> | hm, i'm not sure exactly what it has to offer, just that people say it's useful |
| 2021-08-27 04:43:42 | <jle`> | what is a gh cup? |
| 2021-08-27 04:44:05 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-27 04:44:20 | <Axman6> | simplest way to manage the install of multiple GHCs and other tools like cabal, hls etc. |
| 2021-08-27 04:44:29 | <jle`> | oh that seems useful :) |
| 2021-08-27 04:44:35 | <jle`> | maybe i can replace my bash scripts |
| 2021-08-27 04:44:38 | <Axman6> | it has revolutionalised my experience managing GHC installs |
| 2021-08-27 04:44:54 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-27 04:44:55 | <Axman6> | yeah you definitely want to give it a go, and then run `ghcup tui` |
| 2021-08-27 04:45:05 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-08-27 04:45:31 | <jle`> | ty :) |
| 2021-08-27 04:47:30 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:80b:4b4e:c456:3347) (Remote host closed the connection) |
| 2021-08-27 04:47:48 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:80b:4b4e:c456:3347) |
| 2021-08-27 04:47:54 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:80b:4b4e:c456:3347) (Client Quit) |
| 2021-08-27 04:49:05 | → | falafel joins (~falafel@72.174.188.210) |
| 2021-08-27 04:52:22 | × | falafel quits (~falafel@72.174.188.210) (Remote host closed the connection) |
| 2021-08-27 04:54:03 | <Axman6> | As for setting up hls with vim, I'm not sure how that's done, but it should be apretty well trodden path by now. hls is pretty bloody amazing these days, and Sandy's tactic based code generation stuff should be a lot of fun to play with. I haven't had the chance yet |
| 2021-08-27 04:54:41 | → | falafel joins (~falafel@72.174.188.210) |
| 2021-08-27 05:00:58 | × | azeem quits (~azeem@176.201.38.112) (Ping timeout: 250 seconds) |
| 2021-08-27 05:01:42 | → | azeem joins (~azeem@176.201.38.112) |
| 2021-08-27 05:05:37 | × | slack1256 quits (~slack1256@191.125.176.239) (Ping timeout: 248 seconds) |
| 2021-08-27 05:09:10 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-08-27 05:12:37 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-27 05:21:20 | × | azeem quits (~azeem@176.201.38.112) (Ping timeout: 250 seconds) |
| 2021-08-27 05:21:52 | → | azeem joins (~azeem@176.201.38.112) |
| 2021-08-27 05:28:04 | → | favonia joins (~favonia@user/favonia) |
| 2021-08-27 05:28:07 | × | azeem quits (~azeem@176.201.38.112) (Ping timeout: 240 seconds) |
| 2021-08-27 05:29:08 | → | azeem joins (~azeem@176.201.38.112) |
| 2021-08-27 05:33:37 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-08-27 05:35:45 | × | azeem quits (~azeem@176.201.38.112) (Ping timeout: 250 seconds) |
| 2021-08-27 05:38:34 | → | azeem joins (~azeem@176.201.38.112) |
| 2021-08-27 05:41:22 | <Guest372> | what is CPS used for? |
| 2021-08-27 05:43:07 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-08-27 05:45:20 | → | mei joins (~mei@user/mei) |
All times are in UTC.