Logs: liberachat/#haskell
| 2021-05-30 14:58:40 | → | Megant joins (megant@user/megant) |
| 2021-05-30 15:00:02 | → | fosskers joins (~colin@S0106f0f249642f53.vn.shawcable.net) |
| 2021-05-30 15:01:11 | → | ystael joins (~ystael@user/ystael) |
| 2021-05-30 15:01:29 | × | ddellacosta quits (~ddellacos@89.46.62.53) (Ping timeout: 268 seconds) |
| 2021-05-30 15:01:44 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-30 15:03:17 | × | Guest73 quits (~Guest73@c188-150-57-96.bredband.tele2.se) (Quit: Client closed) |
| 2021-05-30 15:06:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-30 15:07:10 | <maerwald> | well, good news... stack will very likely have to implement a self-cleanup command when the installer proposal is published |
| 2021-05-30 15:08:53 | → | ddellacosta joins (~ddellacos@89.45.224.85) |
| 2021-05-30 15:10:53 | <fosskers> | A unified and blessed universal installer will be a great move forward. |
| 2021-05-30 15:11:46 | <maerwald> | That's not going to happen anytime soon |
| 2021-05-30 15:11:59 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2021-05-30 15:12:45 | <cdsmith> | maerwald: Why the pessimism? The process seems to be moving forward. |
| 2021-05-30 15:12:53 | → | ystael joins (~ystael@user/ystael) |
| 2021-05-30 15:13:05 | <fosskers> | Yeah actually, HF has an endeavour there. |
| 2021-05-30 15:13:15 | <maerwald> | cdsmith: I'm part of the process. And as you can read on the discourse thread from Michael, there was no suggestion on how to remove the fragmentation. |
| 2021-05-30 15:13:46 | <maerwald> | So we're focussing on how to have good standards for installers |
| 2021-05-30 15:13:50 | → | ddellaco_ joins (~ddellacos@86.106.121.114) |
| 2021-05-30 15:13:50 | × | ddellacosta quits (~ddellacos@89.45.224.85) (Ping timeout: 268 seconds) |
| 2021-05-30 15:14:15 | <cdsmith> | That's too bad. :( |
| 2021-05-30 15:14:33 | → | vicentius joins (~vicentius@user/vicentius) |
| 2021-05-30 15:14:58 | <maerwald> | Well, it's the right decision |
| 2021-05-30 15:15:57 | <maerwald> | You could say the first step to unification ARE the standards |
| 2021-05-30 15:16:10 | <maerwald> | But ofc that's maybe step 1 out of 10 |
| 2021-05-30 15:18:41 | × | ddellaco_ quits (~ddellacos@86.106.121.114) (Ping timeout: 272 seconds) |
| 2021-05-30 15:18:45 | × | ksroot quits (~ksroot@047-014-076-169.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2021-05-30 15:19:02 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-05-30 15:19:20 | → | monadlight joins (~chris@bras-vprn-nwmkon8540w-lp130-19-184-147-249-234.dsl.bell.ca) |
| 2021-05-30 15:19:58 | → | pera joins (~pera@user/pera) |
| 2021-05-30 15:20:41 | × | zeenk2 quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!) |
| 2021-05-30 15:22:23 | × | [exa] quits (exa@user/exa/x-3587197) (Ping timeout: 272 seconds) |
| 2021-05-30 15:22:38 | → | ytg joins (~ytg@109-186-149-143.bb.netvision.net.il) |
| 2021-05-30 15:22:45 | × | ytg quits (~ytg@109-186-149-143.bb.netvision.net.il) (Client Quit) |
| 2021-05-30 15:24:55 | → | hylisper joins (~yaaic@111.119.208.67) |
| 2021-05-30 15:25:06 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) |
| 2021-05-30 15:26:05 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-30 15:27:24 | × | bfrk quits (~Thunderbi@200116b845d00f006a2925a261e5e856.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 2021-05-30 15:29:54 | → | ddellacosta joins (~ddellacos@89.46.62.40) |
| 2021-05-30 15:30:37 | × | vicentius quits (~vicentius@user/vicentius) (Quit: Leaving) |
| 2021-05-30 15:33:09 | → | chisui joins (~chisui@200116b866c79b004b6e6a0917bbc51e.dip.versatel-1u1.de) |
| 2021-05-30 15:34:30 | × | ddellacosta quits (~ddellacos@89.46.62.40) (Ping timeout: 264 seconds) |
| 2021-05-30 15:35:50 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-30 15:37:39 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-30 15:37:52 | × | notzmv- quits (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2021-05-30 15:38:52 | × | squiggy quits (a0ee4a6a@ircip1.mibbit.com) (Quit: https://mibbit.com Online IRC Client) |
| 2021-05-30 15:42:21 | <tomsmeding> | can't have unification if you don't have a thing to unify around |
| 2021-05-30 15:42:35 | → | ddellacosta joins (~ddellacos@86.106.143.202) |
| 2021-05-30 15:42:48 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 268 seconds) |
| 2021-05-30 15:43:54 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-05-30 15:43:57 | × | sajith quits (~sajith@user/sajith) (Quit: leaving) |
| 2021-05-30 15:44:06 | nonzen_ | is now known as sajith |
| 2021-05-30 15:44:33 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Quit: /ragequit) |
| 2021-05-30 15:44:35 | sajith | is now known as Guest8811 |
| 2021-05-30 15:45:11 | Guest8811 | is now known as sajith |
| 2021-05-30 15:45:17 | × | sajith quits (~nonzen@user/nonzen) (Changing host) |
| 2021-05-30 15:45:17 | → | sajith joins (~nonzen@user/sajith) |
| 2021-05-30 15:46:19 | × | ubikium quits (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer) |
| 2021-05-30 15:46:30 | × | monadlight quits (~chris@bras-vprn-nwmkon8540w-lp130-19-184-147-249-234.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2021-05-30 15:47:18 | → | ddellaco_ joins (~ddellacos@86.106.121.17) |
| 2021-05-30 15:47:41 | × | ddellacosta quits (~ddellacos@86.106.143.202) (Ping timeout: 264 seconds) |
| 2021-05-30 15:48:46 | → | kybr joins (~kybr@ip184-189-221-182.sb.sd.cox.net) |
| 2021-05-30 15:52:03 | × | ddellaco_ quits (~ddellacos@86.106.121.17) (Ping timeout: 268 seconds) |
| 2021-05-30 15:54:32 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 268 seconds) |
| 2021-05-30 15:55:12 | → | [exa] joins (~exa@user/exa/x-3587197) |
| 2021-05-30 15:55:21 | <jco_> | Philonous: OK, had to take a break to watch 5 episodes of Cobra Kai, but that approach worked nicely! Cool to generate arbitrary "programs" using QuickCheck I must say. |
| 2021-05-30 15:56:20 | × | [exa] quits (~exa@user/exa/x-3587197) (Client Quit) |
| 2021-05-30 15:57:04 | → | [exa] joins (exa@user/exa/x-3587197) |
| 2021-05-30 15:59:20 | <wroathe> | maerwald: Do you happen to have said link on hand? |
| 2021-05-30 15:59:31 | <wroathe> | maerwald: Or a link to said thread, rather? |
| 2021-05-30 16:00:15 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) (Remote host closed the connection) |
| 2021-05-30 16:00:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-30 16:00:31 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:f131:7ff:d61f:7340) |
| 2021-05-30 16:02:06 | → | bfrk joins (~Thunderbi@200116b845d00f006a2925a261e5e856.dip.versatel-1u1.de) |
| 2021-05-30 16:02:39 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-30 16:03:10 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2021-05-30 16:03:10 | × | junkicid` quits (~user@2a01:e0a:195:20c0:25dd:142f:ddb3:ffc5) (Ping timeout: 268 seconds) |
| 2021-05-30 16:03:56 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-30 16:05:18 | → | ddellacosta joins (~ddellacos@89.46.62.85) |
| 2021-05-30 16:06:22 | <maerwald> | wroathe: https://discourse.haskell.org/t/proposal-unified-installer/2468/33 |
| 2021-05-30 16:06:36 | <wroathe> | maerwald: Thanks |
| 2021-05-30 16:07:20 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-30 16:08:02 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-05-30 16:08:39 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-05-30 16:08:49 | × | ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Quit: leaving) |
| 2021-05-30 16:09:20 | × | bfrk quits (~Thunderbi@200116b845d00f006a2925a261e5e856.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 2021-05-30 16:09:57 | × | ddellacosta quits (~ddellacos@89.46.62.85) (Ping timeout: 268 seconds) |
| 2021-05-30 16:10:25 | → | ruomad joins (~ruomad@82-64-17-144.subs.proxad.net) |
| 2021-05-30 16:15:14 | → | ytg joins (~ytg@109-186-149-143.bb.netvision.net.il) |
| 2021-05-30 16:15:18 | × | ruomad quits (~ruomad@82-64-17-144.subs.proxad.net) (Client Quit) |
| 2021-05-30 16:15:23 | × | ytg quits (~ytg@109-186-149-143.bb.netvision.net.il) (Client Quit) |
| 2021-05-30 16:16:38 | → | ddellacosta joins (~ddellacos@89.45.224.59) |
| 2021-05-30 16:18:34 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-05-30 16:18:42 | × | machinedgod quits (~machinedg@24.105.81.50) (Client Quit) |
| 2021-05-30 16:19:44 | × | fosskers quits (~colin@S0106f0f249642f53.vn.shawcable.net) (Remote host closed the connection) |
| 2021-05-30 16:19:46 | → | arrowd joins (~arr@2.94.203.147) |
| 2021-05-30 16:20:11 | → | rk04 joins (~rk04@user/rajk) |
| 2021-05-30 16:21:39 | × | ddellacosta quits (~ddellacos@89.45.224.59) (Ping timeout: 268 seconds) |
| 2021-05-30 16:22:23 | → | ddellacosta joins (~ddellacos@86.106.121.111) |
| 2021-05-30 16:22:39 | × | chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 272 seconds) |
| 2021-05-30 16:23:30 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
All times are in UTC.