| 2021-01-22 00:00:18 +0100 | viluon | (uid453725@gateway/web/irccloud.com/x-yymnzpcnblszqnxx) |
| 2021-01-22 00:00:35 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-01-22 00:02:11 +0100 | ulidtko|kk | (~ulidtko@194.54.80.38) (Ping timeout: 256 seconds) |
| 2021-01-22 00:03:27 +0100 | argento | (~argent0@168.227.97.34) |
| 2021-01-22 00:04:33 +0100 | nineonine | (~nineonine@50.216.62.2) |
| 2021-01-22 00:04:41 +0100 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-01-22 00:04:55 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-01-22 00:05:29 +0100 | Ayo | (~quassel@82.177.83.189) |
| 2021-01-22 00:06:56 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-01-22 00:07:10 +0100 | nineonin_ | (~nineonine@50.216.62.2) |
| 2021-01-22 00:09:06 +0100 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-01-22 00:09:55 +0100 | Ishutin_ | (~Ishutin@87-97-25-203.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2021-01-22 00:10:28 +0100 | tsrt^ | (tsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2021-01-22 00:11:08 +0100 | Ishutin | (~Ishutin@92-249-193-64.pool.digikabel.hu) |
| 2021-01-22 00:11:14 +0100 | elfets_ | (~elfets@2002:25c9:1760:0:e508:18fe:efeb:30d9) (Quit: Leaving) |
| 2021-01-22 00:14:02 +0100 | kw | (88388c02@136.56.140.2) |
| 2021-01-22 00:14:03 +0100 | pera | (pera@gateway/vpn/mullvad/pera) (Quit: leaving) |
| 2021-01-22 00:14:35 +0100 | <Axman6> | koz_: exitWith >_> |
| 2021-01-22 00:18:40 +0100 | jespada_ | (~jespada@90.254.241.81) (Ping timeout: 256 seconds) |
| 2021-01-22 00:19:44 +0100 | roconnor | (~roconnor@host-45-58-196-78.dyn.295.ca) (Ping timeout: 265 seconds) |
| 2021-01-22 00:20:21 +0100 | jespada | (~jespada@90.254.241.81) |
| 2021-01-22 00:21:07 +0100 | <kw> | Are there any problems with using `<$!>` rather than `<$>` with optics? |
| 2021-01-22 00:22:39 +0100 | <Axman6> | is it just strict fmap? |
| 2021-01-22 00:23:45 +0100 | <kw> | Axman6: Yep |
| 2021-01-22 00:23:52 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-01-22 00:24:03 +0100 | <Axman6> | I can't see why there would be |
| 2021-01-22 00:24:12 +0100 | <Axman6> | what sort of issuee are you expecting? |
| 2021-01-22 00:28:14 +0100 | <kw> | I wasn't sure. Some of the lens laws rely on laziness, so I was worried there might be unexpected interactions. |
| 2021-01-22 00:30:31 +0100 | coot | (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 2021-01-22 00:30:51 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-01-22 00:31:17 +0100 | <koz_> | Axman6: Thanks. |
| 2021-01-22 00:31:25 +0100 | nyaomin | nyaomi |
| 2021-01-22 00:32:13 +0100 | bogdanp_ | (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 2021-01-22 00:32:52 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 00:33:52 +0100 | <Axman6> | Any time bro |
| 2021-01-22 00:33:53 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2021-01-22 00:35:07 +0100 | coeus | (~coeus@p200300d027207100f750366e91cac75d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-01-22 00:35:19 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-22 00:37:45 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-01-22 00:40:09 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:8154:4c45:a451:2a3a) |
| 2021-01-22 00:40:14 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:8154:4c45:a451:2a3a) () |
| 2021-01-22 00:40:39 +0100 | mdunnio | (~mdunnio@172.97.43.112) (Remote host closed the connection) |
| 2021-01-22 00:41:38 +0100 | coot | (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-01-22 00:43:43 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 00:45:10 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-01-22 00:46:36 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-01-22 00:48:08 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 2021-01-22 00:48:10 +0100 | coeus | (~coeus@p200300d027294400257b824294a958ae.dip0.t-ipconnect.de) |
| 2021-01-22 00:48:52 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-22 00:50:28 +0100 | <Axman6> | (koz_: I hope you understood that was a joke, I realised it's possible that there is actually a function in tasty called exitWith) |
| 2021-01-22 00:50:44 +0100 | <koz_> | Axman6: I actually had no idea either way. |
| 2021-01-22 00:50:56 +0100 | <Axman6> | @hoogle exitWith |
| 2021-01-22 00:50:56 +0100 | <lambdabot> | System.Exit exitWith :: ExitCode -> IO a |
| 2021-01-22 00:50:56 +0100 | <lambdabot> | Protolude exitWith :: () => ExitCode -> IO a |
| 2021-01-22 00:50:56 +0100 | <lambdabot> | BasePrelude exitWith :: () => ExitCode -> IO a |
| 2021-01-22 00:53:48 +0100 | argento | (~argent0@168.227.97.34) (Ping timeout: 265 seconds) |
| 2021-01-22 00:55:07 +0100 | nrh^ | (nrh@ip98-184-89-2.mc.at.cox.net) |
| 2021-01-22 00:56:32 +0100 | dansho | (~dansho@ec2-18-181-192-22.ap-northeast-1.compute.amazonaws.com) |
| 2021-01-22 00:57:11 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 2021-01-22 00:57:11 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 2021-01-22 00:57:23 +0100 | argento | (~argent0@168.227.97.34) |
| 2021-01-22 00:57:29 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) |
| 2021-01-22 00:57:30 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) |
| 2021-01-22 00:58:23 +0100 | LKoen | (~LKoen@57.174.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-01-22 01:00:14 +0100 | jackk_Doe | (~jackk@205.178.111.134) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2021-01-22 01:02:18 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-22 01:02:42 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 01:04:26 +0100 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-01-22 01:06:08 +0100 | hackage | typecheck-plugin-nat-simple 0.1.0.0 - Simple type check plugin which calculate addition, subtraction and less-or-equal-than https://hackage.haskell.org/package/typecheck-plugin-nat-simple-0.1.0.0 (YoshikuniJujo) |
| 2021-01-22 01:06:43 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 01:07:16 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-01-22 01:07:18 +0100 | hyperisco | (~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 260 seconds) |
| 2021-01-22 01:07:33 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-01-22 01:07:41 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-01-22 01:08:36 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-01-22 01:08:40 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 01:11:00 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-01-22 01:11:23 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-01-22 01:17:12 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-01-22 01:22:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-01-22 01:23:32 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 01:26:33 +0100 | meck | (~meck@li1809-18.members.linode.com) (Ping timeout: 260 seconds) |
| 2021-01-22 01:26:36 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Ping timeout: 244 seconds) |
| 2021-01-22 01:27:17 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 01:28:36 +0100 | epta | (~m@nuda.space) (Ping timeout: 240 seconds) |
| 2021-01-22 01:28:42 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-01-22 01:29:34 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 2021-01-22 01:30:31 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-01-22 01:31:12 +0100 | Geekingfrog | (geekingfro@2a01:7e01::f03c:92ff:fe48:8bdf) (Ping timeout: 260 seconds) |
| 2021-01-22 01:31:25 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 2021-01-22 01:31:39 +0100 | conal | (~conal@64.71.133.70) |
| 2021-01-22 01:31:39 +0100 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2021-01-22 01:32:11 +0100 | conal | (~conal@64.71.133.70) |
| 2021-01-22 01:32:29 +0100 | pjb | (~t@2a01cb04063ec500f54c15bc3341a564.ipv6.abo.wanadoo.fr) |
| 2021-01-22 01:32:58 +0100 | myme | (~myme@li1406-121.members.linode.com) (Ping timeout: 260 seconds) |
| 2021-01-22 01:33:31 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-22 01:33:45 +0100 | hololeap | (~hololeap@unaffiliated/hololeap) (Ping timeout: 264 seconds) |
| 2021-01-22 01:34:02 +0100 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2021-01-22 01:34:08 +0100 | pjb | (~t@2a01cb04063ec500f54c15bc3341a564.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-01-22 01:34:08 +0100 | sea-gull | (~sea-gull@li1815-136.members.linode.com) (Ping timeout: 260 seconds) |
| 2021-01-22 01:34:24 +0100 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Ping timeout: 240 seconds) |
| 2021-01-22 01:36:29 +0100 | pjb | (~t@2a01cb04063ec500f54c15bc3341a564.ipv6.abo.wanadoo.fr) |
| 2021-01-22 01:38:07 +0100 | hackage | typecheck-plugin-nat-simple 0.1.0.1 - Simple type check plugin which calculate addition, subtraction and less-or-equal-than https://hackage.haskell.org/package/typecheck-plugin-nat-simple-0.1.0.1 (YoshikuniJujo) |
| 2021-01-22 01:38:52 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Quit: oisdk) |
| 2021-01-22 01:39:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-01-22 01:41:35 +0100 | berberman | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-22 01:41:36 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | livvy | (~livvy@gateway/tor-sasl/livvy) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | denisse | (~spaceCat@gateway/tor-sasl/alephzer0) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | ChaiTRex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (*.net *.split) |
| 2021-01-22 01:41:36 +0100 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (*.net *.split) |
| 2021-01-22 01:42:01 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-01-22 01:43:39 +0100 | jedws | (~jedws@121.209.139.157) |
| 2021-01-22 01:44:10 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 01:45:53 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 2021-01-22 01:46:54 +0100 | <ezzieyguywuf> | hrm, looking at `v1-build --verbose=3` versus `v2-build verbose=3`, I see "base ==4.* && ==4.14.1.0," versus "base ==4.* && ==4.14.1.0 && ==4.14.1.0," respectively, for pretty much every dependency I see a similar difference, i.e. "directory -any && ==1.3.6.0" versus "directory -any && ==1.3.6.0" - would this be enough for ghc (or is it cabal?) to consider the ABI's potentially different and give |
| 2021-01-22 01:47:00 +0100 | <ezzieyguywuf> | them different UID's? |
| 2021-01-22 01:47:17 +0100 | Franciman | (~francesco@host-79-51-37-36.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-01-22 01:48:31 +0100 | Tops21 | (~Tobias@dyndsl-095-033-017-009.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-01-22 01:48:38 +0100 | kw | (88388c02@136.56.140.2) (Quit: Connection closed) |
| 2021-01-22 01:49:10 +0100 | <ezzieyguywuf> | hrm, and v2-build show's these two lines, which seem (to me) to be the same, but v1-build only shows it once: (1) "Dependency base ==4.14.1.0: using base-4.14.1.0", (2) "Dependency base ==4.14.1.0: using base-4.14.1.0" |
| 2021-01-22 01:50:36 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-01-22 01:51:58 +0100 | Geekingfrog | (~geekingfr@li2156-64.members.linode.com) |
| 2021-01-22 01:52:25 +0100 | dcoutts__ | (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-01-22 01:53:09 +0100 | <ezzieyguywuf> | hrm, or maybe this is it - Configured Component Graph, "component hspec-discover-2.7.8-inplace" from v1-build, "component hspec-discover-2.7.8-inplace" from v2-build |
| 2021-01-22 01:54:11 +0100 | <ezzieyguywuf> | oh wait a minute! v2 includes "component hspec-discover-2.7.8-CJ0T08lszMlKdbdq8cUlDx-hspec-discover", which v1 does not! (oh, that second one in my last post should have been "component hspec-discover-2.7.8-CJ0T08lszMlKdbdq8cUlDx") |
| 2021-01-22 01:54:25 +0100 | <ezzieyguywuf> | I betcha that has something to do with hspec-discover the executable versus hspec-discover the library |
| 2021-01-22 01:54:33 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0) |
| 2021-01-22 01:54:57 +0100 | <ezzieyguywuf> | both are building the executable, but v2-build somehowe does something extra, i.e. adds information about the executable to the config file that is registered with ghc-pkg |
| 2021-01-22 01:55:28 +0100 | <ezzieyguywuf> | but the two ghc calls used look similar, so why the difference?! |
| 2021-01-22 01:55:34 +0100 | myme | (~myme@li1406-121.members.linode.com) |
| 2021-01-22 01:56:35 +0100 | sea-gull | (~sea-gull@li1815-136.members.linode.com) |
| 2021-01-22 01:56:40 +0100 | epta | (~m@nuda.space) |
| 2021-01-22 01:56:48 +0100 | meck | (~meck@li1809-18.members.linode.com) |
| 2021-01-22 01:56:52 +0100 | <ezzieyguywuf> | ohhh yea, even before that "sourc component graph" for v1-build lists only "component lib", but v2-lib also includes "component exe:hspec-discover dependency lib" |
| 2021-01-22 01:56:55 +0100 | <ezzieyguywuf> | I think this is a big clue! |
| 2021-01-22 01:57:04 +0100 | <ezzieyguywuf> | (...just have to find another paw print..>) |
| 2021-01-22 01:58:22 +0100 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-01-22 01:58:44 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
| 2021-01-22 01:58:45 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-22 01:59:09 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 01:59:14 +0100 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2021-01-22 02:03:00 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-22 02:03:14 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) |
| 2021-01-22 02:03:19 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) |
| 2021-01-22 02:03:37 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-01-22 02:03:44 +0100 | denisse | (~spaceCat@gateway/tor-sasl/alephzer0) |
| 2021-01-22 02:03:51 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-01-22 02:04:11 +0100 | livvy | (~livvy@gateway/tor-sasl/livvy) |
| 2021-01-22 02:06:21 +0100 | jedws | (~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-01-22 02:07:22 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
| 2021-01-22 02:09:48 +0100 | viluon | (uid453725@gateway/web/irccloud.com/x-yymnzpcnblszqnxx) (Quit: Connection closed for inactivity) |
| 2021-01-22 02:11:30 +0100 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-01-22 02:11:40 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-22 02:12:14 +0100 | <ezzieyguywuf> | hm, another hint, v1-build has "--ipid=hspec-discover-2.7.8-CJ0T08lszMlKdbdq8cUlDx", v2-build has "--cid=hspec-discover-2.7.8-inplace" |
| 2021-01-22 02:12:25 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-22 02:12:38 +0100 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-01-22 02:12:42 +0100 | ChaiTRex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-01-22 02:12:47 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2021-01-22 02:12:49 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 2021-01-22 02:12:55 +0100 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
| 2021-01-22 02:14:15 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-01-22 02:15:22 +0100 | <glguy> | ezzieyguywuf: that's from workout out the gentoo build? |
| 2021-01-22 02:15:28 +0100 | bobpp_ | (~bobpp_@s91904426.blix.com) (Remote host closed the connection) |
| 2021-01-22 02:16:48 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 02:17:53 +0100 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 2021-01-22 02:19:08 +0100 | hackage | hw-kafka-client 4.0.2 - Kafka bindings for Haskell https://hackage.haskell.org/package/hw-kafka-client-4.0.2 (alexeyraga) |
| 2021-01-22 02:20:29 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 2021-01-22 02:20:30 +0100 | SupaYoshii | (~supayoshi@213-10-140-13.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2021-01-22 02:21:11 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 268 seconds) |
| 2021-01-22 02:21:23 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 2021-01-22 02:22:01 +0100 | <ezzieyguywuf> | glguy: I don't understand the question. |
| 2021-01-22 02:23:01 +0100 | SupaYoshi | (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2021-01-22 02:23:37 +0100 | hackage | typecheck-plugin-nat-simple 0.1.0.2 - Simple type check plugin which calculate addition, subtraction and less-or-equal-than https://hackage.haskell.org/package/typecheck-plugin-nat-simple-0.1.0.2 (YoshikuniJujo) |
| 2021-01-22 02:23:41 +0100 | <Axman6> | Do you even lift bro??? (I also don't understand the question) |
| 2021-01-22 02:23:52 +0100 | <ezzieyguywuf> | lol. |
| 2021-01-22 02:27:51 +0100 | pabelanger1 | (~pabelange@s91904426.blix.com) |
| 2021-01-22 02:28:30 +0100 | poi | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 2021-01-22 02:29:35 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 02:33:28 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 02:34:20 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 265 seconds) |
| 2021-01-22 02:35:42 +0100 | <glguy> | I thought you were encountering build troubles earlier related to Gentoo |
| 2021-01-22 02:36:01 +0100 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-01-22 02:36:25 +0100 | <ezzieyguywuf> | glguy: ah, yes and no. I think my "issue" is not gentoo-specific. |
| 2021-01-22 02:37:09 +0100 | <ezzieyguywuf> | glguy: rather, I'm trying to determine why a v1-build and a v2-build result in different ABI's being registered with ghc-pkg. |
| 2021-01-22 02:38:03 +0100 | <ezzieyguywuf> | glguy: more specifically - if I install `hspec-discover` using v1-build, then later have a package that `build-tool-depends: hspec-discover`, the previously installed version is unrecognized and cabal-install wants to re-install a *new* version. |
| 2021-01-22 02:38:11 +0100 | adeene | (~adeene@181.131.0.191) |
| 2021-01-22 02:38:30 +0100 | <ezzieyguywuf> | from the clues I found above, I think it is because the v1-build somehow doesn't register with ghc-pkg the fact that `hspec-discover` includes both a library AND an executable |
| 2021-01-22 02:38:46 +0100 | <ezzieyguywuf> | this is revealed by `build-tool-depends` because it is explicitly requested the executable. |
| 2021-01-22 02:40:05 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 02:40:18 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 2021-01-22 02:40:25 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-01-22 02:40:33 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 2021-01-22 02:40:55 +0100 | poi | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Ping timeout (120 seconds)) |
| 2021-01-22 02:43:31 +0100 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-01-22 02:44:01 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 02:44:58 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-01-22 02:45:13 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 265 seconds) |
| 2021-01-22 02:45:36 +0100 | argento | (~argent0@168.227.97.34) (Ping timeout: 240 seconds) |
| 2021-01-22 02:46:31 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Remote host closed the connection) |
| 2021-01-22 02:47:48 +0100 | poi | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 2021-01-22 02:48:16 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 240 seconds) |
| 2021-01-22 02:48:45 +0100 | <monochrom> | ghc-pkg has never registered executables. |
| 2021-01-22 02:50:32 +0100 | <ezzieyguywuf> | hrm |
| 2021-01-22 02:50:56 +0100 | <ezzieyguywuf> | but there's definetly *something* different. I'm writing up my findings in here, I can let y'all know when it's ready https://github.com/gentoo-haskell/gentoo-haskell/issues/1074 |
| 2021-01-22 02:51:03 +0100 | <ezzieyguywuf> | it should be more clear than my ramblings earlier, lol. |
| 2021-01-22 02:51:48 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 246 seconds) |
| 2021-01-22 02:52:19 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-01-22 03:00:25 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 03:02:20 +0100 | bi_functor | (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 2021-01-22 03:04:34 +0100 | argento | (~argent0@168.227.97.34) |
| 2021-01-22 03:05:06 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-01-22 03:07:26 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds) |
| 2021-01-22 03:07:26 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds) |
| 2021-01-22 03:08:21 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) |
| 2021-01-22 03:10:00 +0100 | argento | (~argent0@168.227.97.34) (Quit: leaving) |
| 2021-01-22 03:11:42 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) |
| 2021-01-22 03:15:35 +0100 | <ezzieyguywuf> | detailed description of the issue, and what I've troubleshooted so far: https://github.com/gentoo-haskell/gentoo-haskell/issues/1074#issuecomment-765066367 |
| 2021-01-22 03:18:47 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 03:19:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-22 03:31:30 +0100 | petersen | (~petersen@redhat/juhp) |
| 2021-01-22 03:31:57 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 03:34:34 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 03:35:43 +0100 | bi_functor | (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 265 seconds) |
| 2021-01-22 03:36:07 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-22 03:36:45 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 2021-01-22 03:37:52 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 272 seconds) |
| 2021-01-22 03:38:42 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-01-22 03:40:27 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 03:43:36 +0100 | ccchapman | (~cchapman@S0106889e68fa3df2.vc.shawcable.net) (Ping timeout: 240 seconds) |
| 2021-01-22 03:45:21 +0100 | xff0x | (~xff0x@2001:1a81:5287:d000:98a:8bfd:18b8:391e) (Ping timeout: 272 seconds) |
| 2021-01-22 03:46:48 +0100 | <L29Ah> | how to invoke v2-build from Setup.{l,}hs? |
| 2021-01-22 03:47:03 +0100 | xff0x | (~xff0x@2001:1a81:52c0:a300:e87b:1b45:8a8c:a47c) |
| 2021-01-22 03:47:19 +0100 | petersen | (~petersen@redhat/juhp) |
| 2021-01-22 03:49:26 +0100 | <ezzieyguywuf> | L29Ah: I think v2-build is a cabal-install (i.e. cabal-the-executable) feature, therefore I think the question is nonsensical (no offense) |
| 2021-01-22 03:52:56 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-01-22 03:53:12 +0100 | <L29Ah> | maybe it'd make sense to file a bug in https://github.com/haskell/cabal/issues, noting that v1-installed tools can't satisfy subsequent v2-builds |
| 2021-01-22 03:54:00 +0100 | <ezzieyguywuf> | L29Ah: I think v1 is target for obsolesence, I doubt we'll get much support honestly |
| 2021-01-22 03:54:18 +0100 | <L29Ah> | sure it's not |
| 2021-01-22 03:54:38 +0100 | <L29Ah> | Setup.lhs is the only standard way to install haskell packages in fact, including cabal-install itself, afaiu |
| 2021-01-22 03:54:55 +0100 | <L29Ah> | relevant stuff re id problems: https://github.com/haskell/cabal/issues/6192#issuecomment-644565476 |
| 2021-01-22 03:55:27 +0100 | <L29Ah> | v1-stuff is just a thin wrapper around Setup.lhs stuff afaiu |
| 2021-01-22 03:57:06 +0100 | <ezzieyguywuf> | hrm |
| 2021-01-22 03:57:36 +0100 | ccchapman | (~cchapman@S0106889e68fa3df2.vc.shawcable.net) |
| 2021-01-22 03:57:42 +0100 | poi | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Connection closed) |
| 2021-01-22 03:58:00 +0100 | poi | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 2021-01-22 03:58:05 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-01-22 03:58:57 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 2021-01-22 04:07:17 +0100 | ep1ctetus | (~epictetus@ip184-187-162-163.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-01-22 04:08:48 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Remote host closed the connection) |
| 2021-01-22 04:11:22 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 04:12:25 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2021-01-22 04:16:21 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 2021-01-22 04:16:36 +0100 | brisbin | (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-01-22 04:18:22 +0100 | ghghgdaghgf | (92c436b9@146.196.54.185) |
| 2021-01-22 04:28:01 +0100 | ghghgdaghgf | (92c436b9@146.196.54.185) (Ping timeout: 248 seconds) |
| 2021-01-22 04:29:31 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-01-22 04:30:12 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-22 04:32:29 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 04:35:24 +0100 | theDon | (~td@muedsl-82-207-238-142.citykom.de) (Ping timeout: 246 seconds) |
| 2021-01-22 04:37:04 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-22 04:37:17 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-01-22 04:37:20 +0100 | theDon | (~td@94.134.91.103) |
| 2021-01-22 04:39:51 +0100 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 256 seconds) |
| 2021-01-22 04:40:29 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-22 04:41:04 +0100 | plutoniix | (~q@184.82.194.132) |
| 2021-01-22 04:43:52 +0100 | nineonin_ | (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-01-22 04:44:11 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 04:45:02 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 04:46:14 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 04:48:42 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 2021-01-22 04:48:56 +0100 | mirrorbird | (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Quit: Leaving) |
| 2021-01-22 04:49:00 +0100 | xirhtogal | (~lagothrix@unaffiliated/lagothrix) |
| 2021-01-22 04:49:01 +0100 | lagothrix | Guest24876 |
| 2021-01-22 04:49:01 +0100 | Guest24876 | (~lagothrix@unaffiliated/lagothrix) (Killed (sinisalo.freenode.net (Nickname regained by services))) |
| 2021-01-22 04:49:01 +0100 | xirhtogal | lagothrix |
| 2021-01-22 04:49:11 +0100 | fresheyeball | (~isaac@ec2-35-155-97-88.us-west-2.compute.amazonaws.com) |
| 2021-01-22 04:49:57 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 2021-01-22 04:50:40 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-22 04:52:14 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-01-22 04:54:46 +0100 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-01-22 04:55:46 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-01-22 04:55:59 +0100 | <fresheyeball> | anyone know jsaddle-warp? |
| 2021-01-22 04:58:19 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 05:01:19 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 05:01:37 +0100 | poi | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Ping timeout: 248 seconds) |
| 2021-01-22 05:02:41 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-22 05:02:42 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 2021-01-22 05:02:53 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 2021-01-22 05:02:53 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 2021-01-22 05:03:07 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) |
| 2021-01-22 05:03:12 +0100 | hexo | (~hexo@gateway/tor-sasl/hexo) |
| 2021-01-22 05:03:13 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-22 05:04:06 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 05:06:12 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-01-22 05:08:46 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 265 seconds) |
| 2021-01-22 05:12:29 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-01-22 05:22:52 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-01-22 05:23:12 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 2021-01-22 05:27:12 +0100 | darjeeling_ | (~darjeelin@115.215.41.174) (Ping timeout: 246 seconds) |
| 2021-01-22 05:33:17 +0100 | polyphem | (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds) |
| 2021-01-22 05:34:21 +0100 | andrologic | (~Andrologi@90.221.74.173) (Ping timeout: 264 seconds) |
| 2021-01-22 05:34:38 +0100 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-01-22 05:38:26 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 05:40:38 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) |
| 2021-01-22 05:41:21 +0100 | raym | (~ray@45.64.220.99) (Ping timeout: 272 seconds) |
| 2021-01-22 05:41:56 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-22 05:42:15 +0100 | conal | (~conal@64.71.133.70) |
| 2021-01-22 05:43:05 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 265 seconds) |
| 2021-01-22 05:43:08 +0100 | hackage | massiv-io 0.4.1.0 - Import/export of Image files into massiv Arrays https://hackage.haskell.org/package/massiv-io-0.4.1.0 (lehins) |
| 2021-01-22 05:44:37 +0100 | hackage | massiv-test 0.1.6.1 - Library that contains generators, properties and tests for Massiv Array Library. https://hackage.haskell.org/package/massiv-test-0.1.6.1 (lehins) |
| 2021-01-22 05:45:37 +0100 | hackage | massiv 0.6.0.0 - Massiv (Массив) is an Array Library. https://hackage.haskell.org/package/massiv-0.6.0.0 (lehins) |
| 2021-01-22 05:46:37 +0100 | hackage | primal 0.3.0.0 - Primeval world of Haskell. https://hackage.haskell.org/package/primal-0.3.0.0 (lehins) |
| 2021-01-22 05:46:50 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-01-22 05:47:27 +0100 | conal | (~conal@64.71.133.70) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-01-22 05:47:37 +0100 | hackage | primal-memory 0.3.0.0 - Unified interface for memory managemenet. https://hackage.haskell.org/package/primal-memory-0.3.0.0 (lehins) |
| 2021-01-22 05:49:43 +0100 | dansho | (~dansho@ec2-18-181-192-22.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving) |
| 2021-01-22 05:49:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-22 05:53:01 +0100 | conal | (~conal@64.71.133.70) |
| 2021-01-22 05:53:43 +0100 | fresheyeball | (~isaac@ec2-35-155-97-88.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-01-22 05:55:31 +0100 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-01-22 05:57:39 +0100 | conal | (~conal@64.71.133.70) (Ping timeout: 246 seconds) |
| 2021-01-22 05:58:16 +0100 | poi | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 2021-01-22 05:58:20 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) (Remote host closed the connection) |
| 2021-01-22 05:58:39 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) |
| 2021-01-22 05:59:07 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) (Remote host closed the connection) |
| 2021-01-22 06:00:12 +0100 | clarity | (~clarity@90.221.74.173) |
| 2021-01-22 06:00:37 +0100 | wowi42 | (~wowi42@51.15.249.183) (Quit: Kowa Bunga!!!) |
| 2021-01-22 06:01:20 +0100 | wowi42 | (~wowi42@51.15.249.183) |
| 2021-01-22 06:04:17 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 06:04:57 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 264 seconds) |
| 2021-01-22 06:05:36 +0100 | p7lpa1ugixavugu2 | (~atomic@2800:810:514:e7:7827:28ad:da72:6ba4) |
| 2021-01-22 06:06:35 +0100 | p7lpa1ugixavugu | (~atomic@2800:810:514:e7:106f:56:5b7:f864) (Ping timeout: 272 seconds) |
| 2021-01-22 06:08:56 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 2021-01-22 06:10:59 +0100 | nrh^ | (nrh@ip98-184-89-2.mc.at.cox.net) () |
| 2021-01-22 06:11:08 +0100 | darjeeling_ | (~darjeelin@115.215.41.174) |
| 2021-01-22 06:12:19 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 06:13:47 +0100 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-01-22 06:15:38 +0100 | dirediresalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 2021-01-22 06:15:57 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-22 06:15:59 +0100 | dirediresalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2021-01-22 06:16:33 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 246 seconds) |
| 2021-01-22 06:20:32 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 265 seconds) |
| 2021-01-22 06:22:51 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-01-22 06:23:11 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 2021-01-22 06:23:19 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 06:23:55 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-01-22 06:27:58 +0100 | monochrom | (trebla@216.138.220.146) |
| 2021-01-22 06:28:06 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-01-22 06:28:22 +0100 | ixaxaar | (~ixaxaar@49.207.210.215) |
| 2021-01-22 06:28:40 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 06:28:49 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 06:31:27 +0100 | drbean | (~drbean@TC210-63-209-164.static.apol.com.tw) |
| 2021-01-22 06:31:37 +0100 | inoteajw | (inoteajw@ip98-184-89-2.mc.at.cox.net) |
| 2021-01-22 06:33:00 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 2021-01-22 06:36:15 +0100 | jespada | (~jespada@90.254.241.81) (Ping timeout: 265 seconds) |
| 2021-01-22 06:36:20 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-01-22 06:36:55 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-22 06:37:45 +0100 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-01-22 06:37:45 +0100 | jespada | (~jespada@90.254.241.81) |
| 2021-01-22 06:40:33 +0100 | Ayo | Guest79417 |
| 2021-01-22 06:40:40 +0100 | Guest79417 | (~quassel@82.177.83.189) (Read error: Connection reset by peer) |
| 2021-01-22 06:40:43 +0100 | Ayo | (~quassel@82.177.83.189) |
| 2021-01-22 06:40:43 +0100 | zaquest | (~notzaques@5.128.210.178) |
| 2021-01-22 06:41:26 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-01-22 06:43:34 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) |
| 2021-01-22 06:45:09 +0100 | adeene | (~adeene@181.131.0.191) (Ping timeout: 264 seconds) |
| 2021-01-22 06:46:59 +0100 | adeene | (~adeene@181.131.0.191) |
| 2021-01-22 06:47:23 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 2021-01-22 06:52:37 +0100 | poi | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Ping timeout (120 seconds)) |
| 2021-01-22 06:53:50 +0100 | raym | (~ray@45.64.220.94) |
| 2021-01-22 07:02:10 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 07:03:04 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) (Ping timeout: 265 seconds) |
| 2021-01-22 07:06:45 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-01-22 07:09:13 +0100 | sternmull | (~kringel@pd9ed7db6.dip0.t-ipconnect.de) |
| 2021-01-22 07:10:04 +0100 | Guest8 | (747a1115@gateway/web/cgi-irc/kiwiirc.com/ip.116.122.17.21) |
| 2021-01-22 07:11:03 +0100 | carlomagno | (~cararell@148.87.23.7) (Ping timeout: 265 seconds) |
| 2021-01-22 07:12:02 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 2021-01-22 07:12:22 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 2021-01-22 07:15:43 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 07:17:49 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 07:18:47 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-01-22 07:18:49 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-01-22 07:18:52 +0100 | danso | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 260 seconds) |
| 2021-01-22 07:19:21 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 07:19:46 +0100 | danso | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-01-22 07:19:56 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 240 seconds) |
| 2021-01-22 07:20:11 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-zdjmgeijnbfzlamw) |
| 2021-01-22 07:20:58 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-01-22 07:24:08 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-01-22 07:25:58 +0100 | ADG1089__ | (~aditya@122.163.160.223) |
| 2021-01-22 07:26:16 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-22 07:32:28 +0100 | jackk_Doe | (~jackk@205.178.111.134) |
| 2021-01-22 07:32:35 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-01-22 07:32:37 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 07:35:06 +0100 | djbeau | (~dbeaureg@148.87.23.11) (Remote host closed the connection) |
| 2021-01-22 07:35:58 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 07:37:11 +0100 | Guest8 | (747a1115@gateway/web/cgi-irc/kiwiirc.com/ip.116.122.17.21) (Quit: Connection closed) |
| 2021-01-22 07:37:21 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 2021-01-22 07:38:21 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-01-22 07:38:27 +0100 | texasmynsted | (~texasmyns@99.96.221.112) (Ping timeout: 246 seconds) |
| 2021-01-22 07:40:46 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 2021-01-22 07:43:12 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-01-22 07:45:17 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 07:49:57 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 265 seconds) |
| 2021-01-22 07:50:59 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 07:53:22 +0100 | jrqc | (~rofl@96.78.87.197) (Read error: Connection reset by peer) |
| 2021-01-22 07:55:37 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) |
| 2021-01-22 07:55:57 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 2021-01-22 07:58:16 +0100 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-01-22 07:59:23 +0100 | deviantfero | (~deviantfe@190.150.27.58) (Ping timeout: 265 seconds) |
| 2021-01-22 08:00:46 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-22 08:05:06 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-22 08:05:32 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-01-22 08:05:42 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-22 08:09:25 +0100 | dirediresalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 2021-01-22 08:10:15 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 265 seconds) |
| 2021-01-22 08:10:58 +0100 | mirrorbird | (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 2021-01-22 08:11:28 +0100 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds) |
| 2021-01-22 08:11:31 +0100 | texasmynsted | (~texasmyns@99.96.221.112) |
| 2021-01-22 08:12:55 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-22 08:13:27 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-01-22 08:15:47 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 08:16:31 +0100 | texasmynsted | (~texasmyns@99.96.221.112) (Ping timeout: 272 seconds) |
| 2021-01-22 08:17:12 +0100 | texasmynsted | (~texasmyns@99.96.221.112) |
| 2021-01-22 08:17:30 +0100 | ccchapman | (~cchapman@S0106889e68fa3df2.vc.shawcable.net) (Ping timeout: 256 seconds) |
| 2021-01-22 08:17:47 +0100 | xff0x | (~xff0x@2001:1a81:52c0:a300:e87b:1b45:8a8c:a47c) (Ping timeout: 260 seconds) |
| 2021-01-22 08:18:16 +0100 | xff0x | (~xff0x@2001:1a81:52c0:a300:c5ed:5537:e28b:b291) |
| 2021-01-22 08:20:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-22 08:20:43 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 260 seconds) |
| 2021-01-22 08:20:57 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-01-22 08:21:02 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 2021-01-22 08:21:37 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-01-22 08:24:53 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 08:26:05 +0100 | inoteajw | (inoteajw@ip98-184-89-2.mc.at.cox.net) () |
| 2021-01-22 08:26:59 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 08:27:14 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-01-22 08:27:25 +0100 | concept2 | (~concept2@unaffiliated/tubo) (Remote host closed the connection) |
| 2021-01-22 08:27:25 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-01-22 08:27:49 +0100 | concept2 | (~concept2@unaffiliated/tubo) |
| 2021-01-22 08:29:33 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 2021-01-22 08:30:35 +0100 | asheshambasta | (~user@ptr-e1lysawnw92jt7iswfx.18120a2.ip6.access.telenet.be) |
| 2021-01-22 08:31:57 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 2021-01-22 08:34:54 +0100 | mirrorbird | (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Ping timeout: 265 seconds) |
| 2021-01-22 08:39:59 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 2021-01-22 08:40:01 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 08:40:40 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-22 08:42:23 +0100 | <idnar> | I just wrote `fromSing sing` which seems dumb; is there a better spelling? |
| 2021-01-22 08:43:34 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-01-22 08:43:57 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-22 08:44:39 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 2021-01-22 08:45:13 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-01-22 08:45:53 +0100 | poi | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 2021-01-22 08:45:53 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-22 08:46:24 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 08:46:29 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-22 08:49:35 +0100 | vilpan | (~0@212.117.1.172) |
| 2021-01-22 08:50:53 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 2021-01-22 08:53:24 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 08:54:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-01-22 08:55:11 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2021-01-22 08:57:54 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 09:00:41 +0100 | LKoen | (~LKoen@57.174.9.109.rev.sfr.net) |
| 2021-01-22 09:02:16 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 2021-01-22 09:03:04 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 09:06:03 +0100 | Franciman | (~francesco@host-79-51-37-36.retail.telecomitalia.it) |
| 2021-01-22 09:06:09 +0100 | sgibber2018 | (d055ed90@208.85.237.144) |
| 2021-01-22 09:06:18 +0100 | unlink2 | (~unlink2@p5dc0af9a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2021-01-22 09:07:06 +0100 | unlink2 | (~unlink2@p200300ebcf14c6000228288353cacf99.dip0.t-ipconnect.de) |
| 2021-01-22 09:07:11 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-01-22 09:07:56 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-01-22 09:08:15 +0100 | metreo | (Thunderbir@gateway/vpn/mullvad/metreo) |
| 2021-01-22 09:08:21 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-01-22 09:08:24 +0100 | krkini | (~kini@unaffiliated/kini) |
| 2021-01-22 09:08:26 +0100 | kini | (~kini@unaffiliated/kini) (Ping timeout: 264 seconds) |
| 2021-01-22 09:10:14 +0100 | metreo | (Thunderbir@gateway/vpn/mullvad/metreo) () |
| 2021-01-22 09:11:40 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-enjewbfvwqjrnnkp) (Quit: Connection closed for inactivity) |
| 2021-01-22 09:12:59 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-01-22 09:13:21 +0100 | poi | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Ping timeout: 248 seconds) |
| 2021-01-22 09:15:34 +0100 | lawid | (~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-01-22 09:16:12 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2021-01-22 09:16:20 +0100 | lawid | (~quassel@dslb-090-186-099-081.090.186.pools.vodafone-ip.de) |
| 2021-01-22 09:16:22 +0100 | thunderrd | (~thunderrd@183.182.115.7) |
| 2021-01-22 09:17:29 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-22 09:18:58 +0100 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-01-22 09:19:15 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 2021-01-22 09:20:14 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 09:21:20 +0100 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-01-22 09:21:53 +0100 | Graf_Blutwurst | (~grafblutw@2001:171b:226e:adc0:8d0f:df2a:9771:2f28) |
| 2021-01-22 09:26:16 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-22 09:27:26 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 09:27:56 +0100 | drbean | (~drbean@TC210-63-209-164.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 2021-01-22 09:27:58 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-22 09:28:01 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-22 09:28:37 +0100 | hackage | haskell-language-server 0.8.0.0 - LSP server for GHC https://hackage.haskell.org/package/haskell-language-server-0.8.0.0 (PepeIborra) |
| 2021-01-22 09:28:37 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-22 09:30:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-22 09:30:36 +0100 | wz1000 | (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2021-01-22 09:31:17 +0100 | <idnar> | ah, `demote` |
| 2021-01-22 09:32:46 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 09:33:23 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 265 seconds) |
| 2021-01-22 09:34:12 +0100 | dcoutts__ | (~duncan@33.14.75.194.dyn.plus.net) |
| 2021-01-22 09:34:27 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-01-22 09:36:11 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-01-22 09:36:53 +0100 | mirrorbird | (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 2021-01-22 09:37:06 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 246 seconds) |
| 2021-01-22 09:37:29 +0100 | p7lpa1ugixavugu2 | (~atomic@2800:810:514:e7:7827:28ad:da72:6ba4) (Ping timeout: 272 seconds) |
| 2021-01-22 09:38:56 +0100 | clarity | (~clarity@90.221.74.173) (Ping timeout: 240 seconds) |
| 2021-01-22 09:39:38 +0100 | hackage | box 0.6.3 - boxes https://hackage.haskell.org/package/box-0.6.3 (tonyday567) |
| 2021-01-22 09:41:32 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 09:41:52 +0100 | kritzefitz | (~kritzefit@fw-front.credativ.com) |
| 2021-01-22 09:45:23 +0100 | Martinsos | (~user@cpe-188-129-56-3.dynamic.amis.hr) |
| 2021-01-22 09:47:59 +0100 | <Martinsos> | I am looking into combining Maybe and IO monad because I want to short circuit on couple of places. I am already using ExceptT from mtl on another place, but I thought for this, I need just Maybe so I will use MaybeT. However, from docs it seems like there is no MaybeT in the mtl package? I see there is one in transformers package. What should I use then? In general, should I use mtl or transformers? I read on wiki that mtl reexport |
| 2021-01-22 09:47:59 +0100 | <Martinsos> | transformers and adds more stuff (liftIO that "knows |
| 2021-01-22 09:48:10 +0100 | <Martinsos> | " where IO is). |
| 2021-01-22 09:52:08 +0100 | hackage | mealy 0.0.2 - See readme.md https://hackage.haskell.org/package/mealy-0.0.2 (tonyday567) |
| 2021-01-22 09:52:14 +0100 | <Martinsos> | I found this issue https://github.com/haskell/mtl/issues/6 but I am still not sure from it what I should use -> they say I should use MaybeT from transformers, but then ther is more discussion and it feels like maybe there is better way? |
| 2021-01-22 09:53:12 +0100 | Wuzzy | (~Wuzzy@p549c9ab1.dip0.t-ipconnect.de) |
| 2021-01-22 09:54:32 +0100 | <idnar> | gah, I have (KnownNat a, KnownNat b) => '(a, b) but ghc can't solve KnownNat (Fst '(a, b))? |
| 2021-01-22 09:55:37 +0100 | <idnar> | err, infer, not solve |
| 2021-01-22 09:57:21 +0100 | omnitrogen | (~omnitroge@vps-c9700282.vps.ovh.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-22 09:57:35 +0100 | omnitrogen | (~omnitroge@vps-c9700282.vps.ovh.net) |
| 2021-01-22 10:00:24 +0100 | thunderrd | (~thunderrd@183.182.115.7) (Remote host closed the connection) |
| 2021-01-22 10:01:28 +0100 | thunderrd | (~thunderrd@183.182.115.7) |
| 2021-01-22 10:06:18 +0100 | <kritzefitz> | Martinsos, mtl mostly adds automatic lifting to transformers. If you don't need that using MaybeT from transformers should be fine. If you want it, you can probably use `EitherT ()` instead. |
| 2021-01-22 10:06:40 +0100 | coot | (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 2021-01-22 10:07:24 +0100 | <Martinsos> | Thanks kritzefitz! |
| 2021-01-22 10:07:40 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-01-22 10:08:03 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-22 10:08:53 +0100 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-01-22 10:08:59 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 10:10:36 +0100 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) |
| 2021-01-22 10:12:27 +0100 | adeene | (~adeene@181.131.0.191) (Ping timeout: 246 seconds) |
| 2021-01-22 10:12:31 +0100 | ulidtko|kk | (~ulidtko@193.111.48.79) |
| 2021-01-22 10:12:46 +0100 | Sgeo__ | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-01-22 10:13:09 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds) |
| 2021-01-22 10:13:37 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-01-22 10:14:07 +0100 | sawmon-and-natal | (sawmon-and@gateway/shell/matrix.org/x-xkqccjsghkugsakp) (*.net *.split) |
| 2021-01-22 10:14:07 +0100 | AmitLevy[m] | (amitmostly@gateway/shell/matrix.org/x-vyuomydfknfbjbnp) (*.net *.split) |
| 2021-01-22 10:14:07 +0100 | agentofuser | (agentofuse@gateway/shell/matrix.org/x-dmtxlewgreujfblx) (*.net *.split) |
| 2021-01-22 10:14:07 +0100 | ciderpunx[m] | (ciderpunxm@gateway/shell/matrix.org/x-qonptmkakkhhfuug) (*.net *.split) |
| 2021-01-22 10:14:07 +0100 | jkaye[m] | (jkayematri@gateway/shell/matrix.org/x-ivcswgscexrzjuni) (*.net *.split) |
| 2021-01-22 10:14:07 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | phasespace_ | (~sar@89-162-33-21.fiber.signal.no) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | srid | (sridmatrix@gateway/shell/matrix.org/x-pdosnofdyrruumoq) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | boistordu | (boistordum@gateway/shell/matrix.org/x-tvvlbzirbjskigcw) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | plumenator[m] | (plumenator@gateway/shell/matrix.org/x-eirtnyspkrcfumae) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | lambdaclan | (lambdaclan@gateway/shell/matrix.org/x-ltjxbpussrrsaivv) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | Ericson2314 | (ericson231@gateway/shell/matrix.org/x-gnbnrewwnowdicdb) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-ucdydkolvsetyqeh) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | domenkozar[m] | (domenkozar@NixOS/user/domenkozar) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | hyiltiz-M | (hyiltizkde@gateway/shell/kde/matrix/x-jljmxicmadzpzslm) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | benschza | (~quassel@2604:1380:2000:cf00::1) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | oats | (~hurr@durr/im/a/sheep) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | megaTherion | (~therion@unix.io) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | benl23 | (sid284234@gateway/web/irccloud.com/x-thfjynaiimpinank) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | PoliticsII______ | (sid193551@gateway/web/irccloud.com/x-gnzqtdutccexjywp) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | adius | (sid321344@gateway/web/irccloud.com/x-rpilxswwqsdjkidt) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | simony | (sid226116@gateway/web/irccloud.com/x-iftxdytnixkwmkyg) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-wazvuheyipjhlewf) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | sis7 | (~user@2001:15e8:110:473e::1) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | zhulikas | (~derp@213.239.204.108) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | rslima_____ | (sid26145@gateway/web/irccloud.com/x-bfeyyrmllgmhdyap) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | \2E0KNO | (~retlo@172.245.134.89) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | ephemera_ | (~E@122.34.1.187) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | alinab | (sid468903@gateway/web/irccloud.com/x-fkffdhjrtekfjgxd) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | zgrep | (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | xsarnik0 | (xsarnik@gateway/shell/fi.muni.cz/x-wrudlzggfhmxxjno) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | SolarAquarion | (SolarAquar@gateway/shell/panicbnc/x-vaxxzctuxkewousu) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | amatecha__ | (sid10006@gateway/web/irccloud.com/x-jdqgbwrgwdnkyeme) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | nerdypepper | (~nerdypepp@152.67.162.71) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | Guest80676 | (~tristan@luna.whatbox.ca) (*.net *.split) |
| 2021-01-22 10:14:08 +0100 | nemesit|znc | (~nemesit@2a01:488:66:1000:2ea3:4eeb:0:1) (*.net *.split) |
| 2021-01-22 10:15:00 +0100 | Tristan | (~tristan@luna.whatbox.ca) |
| 2021-01-22 10:15:03 +0100 | sawmon-and-natal | (sawmon-and@gateway/shell/matrix.org/x-xkqccjsghkugsakp) |
| 2021-01-22 10:15:03 +0100 | AmitLevy[m] | (amitmostly@gateway/shell/matrix.org/x-vyuomydfknfbjbnp) |
| 2021-01-22 10:15:03 +0100 | ciderpunx[m] | (ciderpunxm@gateway/shell/matrix.org/x-qonptmkakkhhfuug) |
| 2021-01-22 10:15:03 +0100 | agentofuser | (agentofuse@gateway/shell/matrix.org/x-dmtxlewgreujfblx) |
| 2021-01-22 10:15:03 +0100 | jkaye[m] | (jkayematri@gateway/shell/matrix.org/x-ivcswgscexrzjuni) |
| 2021-01-22 10:15:03 +0100 | srid | (sridmatrix@gateway/shell/matrix.org/x-pdosnofdyrruumoq) |
| 2021-01-22 10:15:03 +0100 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-ucdydkolvsetyqeh) |
| 2021-01-22 10:15:03 +0100 | plumenator[m] | (plumenator@gateway/shell/matrix.org/x-eirtnyspkrcfumae) |
| 2021-01-22 10:15:03 +0100 | domenkozar[m] | (domenkozar@NixOS/user/domenkozar) |
| 2021-01-22 10:15:03 +0100 | Ericson2314 | (ericson231@gateway/shell/matrix.org/x-gnbnrewwnowdicdb) |
| 2021-01-22 10:15:03 +0100 | lambdaclan | (lambdaclan@gateway/shell/matrix.org/x-ltjxbpussrrsaivv) |
| 2021-01-22 10:15:03 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-01-22 10:15:03 +0100 | phasespace_ | (~sar@89-162-33-21.fiber.signal.no) |
| 2021-01-22 10:15:03 +0100 | hyiltiz-M | (hyiltizkde@gateway/shell/kde/matrix/x-jljmxicmadzpzslm) |
| 2021-01-22 10:15:03 +0100 | benschza | (~quassel@2604:1380:2000:cf00::1) |
| 2021-01-22 10:15:03 +0100 | oats | (~hurr@durr/im/a/sheep) |
| 2021-01-22 10:15:03 +0100 | megaTherion | (~therion@unix.io) |
| 2021-01-22 10:15:03 +0100 | benl23 | (sid284234@gateway/web/irccloud.com/x-thfjynaiimpinank) |
| 2021-01-22 10:15:03 +0100 | PoliticsII______ | (sid193551@gateway/web/irccloud.com/x-gnzqtdutccexjywp) |
| 2021-01-22 10:15:03 +0100 | simony | (sid226116@gateway/web/irccloud.com/x-iftxdytnixkwmkyg) |
| 2021-01-22 10:15:03 +0100 | adius | (sid321344@gateway/web/irccloud.com/x-rpilxswwqsdjkidt) |
| 2021-01-22 10:15:03 +0100 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-wazvuheyipjhlewf) |
| 2021-01-22 10:15:03 +0100 | \2E0KNO | (~retlo@172.245.134.89) |
| 2021-01-22 10:15:03 +0100 | sis7 | (~user@2001:15e8:110:473e::1) |
| 2021-01-22 10:15:03 +0100 | zhulikas | (~derp@213.239.204.108) |
| 2021-01-22 10:15:03 +0100 | rslima_____ | (sid26145@gateway/web/irccloud.com/x-bfeyyrmllgmhdyap) |
| 2021-01-22 10:15:03 +0100 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2021-01-22 10:15:03 +0100 | ephemera_ | (~E@122.34.1.187) |
| 2021-01-22 10:15:03 +0100 | alinab | (sid468903@gateway/web/irccloud.com/x-fkffdhjrtekfjgxd) |
| 2021-01-22 10:15:03 +0100 | zgrep | (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 2021-01-22 10:15:03 +0100 | xsarnik0 | (xsarnik@gateway/shell/fi.muni.cz/x-wrudlzggfhmxxjno) |
| 2021-01-22 10:15:03 +0100 | SolarAquarion | (SolarAquar@gateway/shell/panicbnc/x-vaxxzctuxkewousu) |
| 2021-01-22 10:15:03 +0100 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2021-01-22 10:15:03 +0100 | amatecha__ | (sid10006@gateway/web/irccloud.com/x-jdqgbwrgwdnkyeme) |
| 2021-01-22 10:15:03 +0100 | nerdypepper | (~nerdypepp@152.67.162.71) |
| 2021-01-22 10:15:03 +0100 | nemesit|znc | (~nemesit@2a01:488:66:1000:2ea3:4eeb:0:1) |
| 2021-01-22 10:15:23 +0100 | Tristan | Guest73254 |
| 2021-01-22 10:17:26 +0100 | svc0[m] | (svc0matrix@gateway/shell/matrix.org/x-rvnbfldzxmjikmnv) (Ping timeout: 240 seconds) |
| 2021-01-22 10:17:27 +0100 | plumenator[m] | (plumenator@gateway/shell/matrix.org/x-eirtnyspkrcfumae) (Ping timeout: 258 seconds) |
| 2021-01-22 10:17:42 +0100 | tomsen[m] | (tfbiomatri@gateway/shell/matrix.org/x-wiqpcuxrzferldgy) (Ping timeout: 246 seconds) |
| 2021-01-22 10:17:42 +0100 | sm[m] | (simonmicma@gateway/shell/matrix.org/x-nbxkyreqixfzhwyh) (Ping timeout: 246 seconds) |
| 2021-01-22 10:17:42 +0100 | WojciechK | (~wojciechk@srv04.mikr.us) (Ping timeout: 246 seconds) |
| 2021-01-22 10:17:51 +0100 | sawmon-and-natal | (sawmon-and@gateway/shell/matrix.org/x-xkqccjsghkugsakp) (Ping timeout: 242 seconds) |
| 2021-01-22 10:17:51 +0100 | AmitLevy[m] | (amitmostly@gateway/shell/matrix.org/x-vyuomydfknfbjbnp) (Ping timeout: 242 seconds) |
| 2021-01-22 10:17:51 +0100 | ciderpunx[m] | (ciderpunxm@gateway/shell/matrix.org/x-qonptmkakkhhfuug) (Ping timeout: 242 seconds) |
| 2021-01-22 10:17:51 +0100 | jkaye[m] | (jkayematri@gateway/shell/matrix.org/x-ivcswgscexrzjuni) (Ping timeout: 242 seconds) |
| 2021-01-22 10:17:52 +0100 | srid | (sridmatrix@gateway/shell/matrix.org/x-pdosnofdyrruumoq) (Ping timeout: 242 seconds) |
| 2021-01-22 10:17:52 +0100 | lambdaclan | (lambdaclan@gateway/shell/matrix.org/x-ltjxbpussrrsaivv) (Ping timeout: 242 seconds) |
| 2021-01-22 10:17:52 +0100 | Ericson2314 | (ericson231@gateway/shell/matrix.org/x-gnbnrewwnowdicdb) (Ping timeout: 242 seconds) |
| 2021-01-22 10:17:53 +0100 | domenkozar[m] | (domenkozar@NixOS/user/domenkozar) (Ping timeout: 242 seconds) |
| 2021-01-22 10:17:56 +0100 | falling-edge[m] | (falling-ed@gateway/shell/matrix.org/x-wszqlucenyidrigv) (Ping timeout: 240 seconds) |
| 2021-01-22 10:17:56 +0100 | bitonic | (bitonicmat@gateway/shell/matrix.org/x-vhjdbozvahihkqbd) (Ping timeout: 240 seconds) |
| 2021-01-22 10:18:00 +0100 | speakerspivakeem | (speakerdea@gateway/shell/matrix.org/x-bjrlsxjwvmioqafa) (Ping timeout: 260 seconds) |
| 2021-01-22 10:18:00 +0100 | shutendoji[m] | (shutendoji@gateway/shell/matrix.org/x-rfkqtwiddvhsusga) (Ping timeout: 260 seconds) |
| 2021-01-22 10:18:00 +0100 | alvinsj[m] | (alvinsjmat@gateway/shell/matrix.org/x-ncsvfnucfjnyrgbw) (Ping timeout: 260 seconds) |
| 2021-01-22 10:18:03 +0100 | jespada | (~jespada@90.254.241.81) (Ping timeout: 246 seconds) |
| 2021-01-22 10:18:20 +0100 | SlackIntegration | (slackbotma@gateway/shell/matrix.org/x-xaywavpfvuxuleuw) (Ping timeout: 268 seconds) |
| 2021-01-22 10:18:26 +0100 | freeman42x[m] | (freeman42x@gateway/shell/matrix.org/x-doksirfppfeshrdm) (Ping timeout: 240 seconds) |
| 2021-01-22 10:18:27 +0100 | Lurkki[m] | (lurkkipriv@gateway/shell/matrix.org/x-hoicvvxtseshtfys) (Ping timeout: 260 seconds) |
| 2021-01-22 10:18:28 +0100 | jeffcasavant[m] | (jeffcasava@gateway/shell/matrix.org/x-sqsmmbntczuaytut) (Ping timeout: 260 seconds) |
| 2021-01-22 10:18:36 +0100 | agentofuser | (agentofuse@gateway/shell/matrix.org/x-dmtxlewgreujfblx) (Ping timeout: 258 seconds) |
| 2021-01-22 10:18:37 +0100 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-ucdydkolvsetyqeh) (Ping timeout: 258 seconds) |
| 2021-01-22 10:18:57 +0100 | bsima[m] | (bensimatim@gateway/shell/matrix.org/x-urscgtkjjmhqkmtg) (Ping timeout: 268 seconds) |
| 2021-01-22 10:19:07 +0100 | Wojciech_K | (~wojciechk@2001:41d0:a:5be4::449) |
| 2021-01-22 10:19:32 +0100 | jespada | (~jespada@90.254.241.81) |
| 2021-01-22 10:20:48 +0100 | Lurkki[m]1 | (lurkkifene@gateway/shell/matrix.org/x-xyvalzjhrsdkxmnz) (Ping timeout: 268 seconds) |
| 2021-01-22 10:20:50 +0100 | berberman[T] | (berberma4@gateway/shell/matrix.org/x-osoluggoqowcuvpn) (Ping timeout: 244 seconds) |
| 2021-01-22 10:20:50 +0100 | Hatsue[m] | (berbermanm@gateway/shell/matrix.org/x-rouxvgfkpeawwqmg) (Ping timeout: 244 seconds) |
| 2021-01-22 10:20:51 +0100 | Poscat[m] | (poscatmatr@gateway/shell/matrix.org/x-gueeryvrvywywepd) (Ping timeout: 246 seconds) |
| 2021-01-22 10:20:56 +0100 | joshualit140[m] | (joshualit1@gateway/shell/matrix.org/x-xellcqqodwrmzgeb) (Ping timeout: 240 seconds) |
| 2021-01-22 10:20:56 +0100 | sigmacool[m] | (sigmacoolm@gateway/shell/matrix.org/x-tqqfrmbpqmhyrwwm) (Ping timeout: 240 seconds) |
| 2021-01-22 10:20:56 +0100 | psamim | (samimpmatr@gateway/shell/matrix.org/x-xavqfqwexdgthira) (Ping timeout: 240 seconds) |
| 2021-01-22 10:20:56 +0100 | johnnyboy[m] | (gifumatrix@gateway/shell/matrix.org/x-eqgtbmzkgsstxncp) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:04 +0100 | alexfmpe | (alexfmpema@gateway/shell/matrix.org/x-byqytykovyimfmwc) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:16 +0100 | jamesfielder[m] | (jamesfield@gateway/shell/matrix.org/x-auddokkqlapocdze) (Ping timeout: 260 seconds) |
| 2021-01-22 10:21:16 +0100 | pedrorubster[m] | (pedrorubst@gateway/shell/matrix.org/x-cxklccsqddkbljxh) (Ping timeout: 260 seconds) |
| 2021-01-22 10:21:16 +0100 | materialfuture[m | (materialfu@gateway/shell/matrix.org/x-poubusjnwgwdhibz) (Ping timeout: 260 seconds) |
| 2021-01-22 10:21:16 +0100 | michaelpj | (michaelpjm@gateway/shell/matrix.org/x-avmxjktgbbtfmcgd) (Ping timeout: 260 seconds) |
| 2021-01-22 10:21:16 +0100 | dyniec[m] | (dyniecmatr@gateway/shell/matrix.org/x-ntcjtjszjxydaelo) (Ping timeout: 260 seconds) |
| 2021-01-22 10:21:21 +0100 | cnmne[m] | (cnmnematri@gateway/shell/matrix.org/x-yqyhqtdpkmjccxbo) (Ping timeout: 244 seconds) |
| 2021-01-22 10:21:21 +0100 | tomferon[m] | (tomferonmo@gateway/shell/matrix.org/x-wgqfpuplavvsxsmv) (Ping timeout: 244 seconds) |
| 2021-01-22 10:21:22 +0100 | doct0rhu[m] | (doct0rhumo@gateway/shell/matrix.org/x-nmicptjnfqigxndx) (Ping timeout: 244 seconds) |
| 2021-01-22 10:21:22 +0100 | kadoban | (kadobanmat@gateway/shell/matrix.org/x-gnuwovgpdsrcbwox) (Ping timeout: 244 seconds) |
| 2021-01-22 10:21:22 +0100 | immae | (immaematri@gateway/shell/matrix.org/x-ytogmypvmxmylhfa) (Ping timeout: 244 seconds) |
| 2021-01-22 10:21:22 +0100 | rab24ack[m] | (rab24ackma@gateway/shell/matrix.org/x-skrqszorsicvvytw) (Ping timeout: 244 seconds) |
| 2021-01-22 10:21:22 +0100 | sajith[m] | (sajithmatr@gateway/shell/matrix.org/x-vqeabuabwmnkiwoy) (Ping timeout: 244 seconds) |
| 2021-01-22 10:21:22 +0100 | ThaEwat | (thaewraptm@gateway/shell/matrix.org/x-leyrcawrevfaweft) (Ping timeout: 244 seconds) |
| 2021-01-22 10:21:24 +0100 | phittacus | (bklmatrixo@gateway/shell/matrix.org/x-upxwasehcbqwbaok) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:24 +0100 | peterstorm[m] | (peterstorm@gateway/shell/matrix.org/x-xgqsrftqahlagtzf) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:24 +0100 | floatingpoint[m] | (floating5@gateway/shell/matrix.org/x-jnnwmbvuyeiqgdox) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:24 +0100 | Vanilla[m] | (danielm14@gateway/shell/matrix.org/x-mgwgkjexevbkrbqr) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:25 +0100 | pqwy[m] | (pqwymatrix@gateway/shell/matrix.org/x-buwmowguuktecqyx) (Ping timeout: 268 seconds) |
| 2021-01-22 10:21:25 +0100 | Noughtmare[m] | (naughtmare@gateway/shell/matrix.org/x-kfshvbdmjgnmuxno) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:25 +0100 | VarikValefor[m] | (varikvalef@gateway/shell/matrix.org/x-efkxyfhxorsrfapq) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:26 +0100 | majjoha | (majjohamat@gateway/shell/matrix.org/x-leykffjskbgwpulm) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:26 +0100 | hsiktas[m] | (hsiktasmat@gateway/shell/matrix.org/x-mlqpsjowfrisptsz) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:26 +0100 | fgaz | (fgazmatrix@gateway/shell/matrix.org/x-tvdmheqhrxmmyrlk) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:26 +0100 | Wraul[m] | (wraulmatri@gateway/shell/matrix.org/x-hajahcqhmbjuwizv) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:26 +0100 | siraben | (sirabenmat@gateway/shell/matrix.org/x-lsyfmmsafvsgxclv) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:26 +0100 | unclechu | (unclechuma@gateway/shell/matrix.org/x-gzjftrcrydblrjdx) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:26 +0100 | rednaZ[m] | (r3dnazmatr@gateway/shell/matrix.org/x-jmjfsvkbdjyewneq) (Ping timeout: 240 seconds) |
| 2021-01-22 10:21:33 +0100 | MrMuffles[m] | (mrmufflesm@gateway/shell/matrix.org/x-qzmlnxoxhvhmrbuw) (Ping timeout: 246 seconds) |
| 2021-01-22 10:21:33 +0100 | jesser[m] | (jessermatr@gateway/shell/matrix.org/x-nqsrhzuwxpgtqomy) (Ping timeout: 246 seconds) |
| 2021-01-22 10:21:33 +0100 | lnxw37d4 | (lnxw37d4ma@gateway/shell/matrix.org/x-mkikbnuojklmfntz) (Ping timeout: 246 seconds) |
| 2021-01-22 10:21:44 +0100 | metamod[m] | (metamodmat@gateway/shell/matrix.org/x-vegmddrmmzofrwfb) (Ping timeout: 260 seconds) |
| 2021-01-22 10:21:49 +0100 | bram[m]1 | (bramvdbnet@gateway/shell/matrix.org/x-zugvknxbtikcvrct) (Ping timeout: 272 seconds) |
| 2021-01-22 10:22:02 +0100 | itai33[m] | (itai33matr@gateway/shell/matrix.org/x-cqamvkpzztotawix) (Ping timeout: 268 seconds) |
| 2021-01-22 10:22:02 +0100 | meckse[m] | (mecksematr@gateway/shell/matrix.org/x-gybjkekcemenufin) (Ping timeout: 268 seconds) |
| 2021-01-22 10:22:02 +0100 | noIOBeforeBedtim | (dissatisfi@gateway/shell/matrix.org/x-vbixyrrshivnbxeu) (Ping timeout: 268 seconds) |
| 2021-01-22 10:22:02 +0100 | pythag76[m] | (pythag76ma@gateway/shell/matrix.org/x-ggiocpmwxahenddw) (Ping timeout: 268 seconds) |
| 2021-01-22 10:22:02 +0100 | maralorn | (maralornma@gateway/shell/matrix.org/x-qrhhtrbqstosjyne) (Ping timeout: 268 seconds) |
| 2021-01-22 10:22:02 +0100 | jtojnar | (jtojnarmat@gateway/shell/matrix.org/x-hyeggfxuyivlnyfm) (Ping timeout: 268 seconds) |
| 2021-01-22 10:22:02 +0100 | psydruid | (psydruidma@gateway/shell/matrix.org/x-utnbvkpmnvgoqxct) (Ping timeout: 268 seconds) |
| 2021-01-22 10:22:11 +0100 | Hanma[m] | (hanmamatri@gateway/shell/matrix.org/x-xmiplyscwblzknhc) (Ping timeout: 260 seconds) |
| 2021-01-22 10:23:48 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection) |
| 2021-01-22 10:24:00 +0100 | mirrorbird | (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Quit: Leaving) |
| 2021-01-22 10:24:20 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 10:25:08 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 10:26:54 +0100 | LKoen | (~LKoen@57.174.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-01-22 10:27:38 +0100 | Ayo | (~quassel@82.177.83.189) (Remote host closed the connection) |
| 2021-01-22 10:29:12 +0100 | mbomba | (~mbomba@bras-base-toroon2719w-grc-53-142-114-5-26.dsl.bell.ca) |
| 2021-01-22 10:30:30 +0100 | mbomba | (~mbomba@bras-base-toroon2719w-grc-53-142-114-5-26.dsl.bell.ca) (Client Quit) |
| 2021-01-22 10:30:39 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 2021-01-22 10:33:27 +0100 | poi6 | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 2021-01-22 10:33:57 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-01-22 10:35:01 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-01-22 10:35:03 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-nqknitdsztaixrvi) (Quit: Connection closed for inactivity) |
| 2021-01-22 10:35:08 +0100 | livvy | (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 268 seconds) |
| 2021-01-22 10:35:16 +0100 | livvy_ | (~livvy@gateway/tor-sasl/livvy) |
| 2021-01-22 10:35:37 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-01-22 10:35:54 +0100 | sgibber2018 | (d055ed90@208.85.237.144) (Quit: Connection closed) |
| 2021-01-22 10:44:21 +0100 | clarity | (~clarity@90.221.74.173) |
| 2021-01-22 10:45:21 +0100 | tito_04 | (~taurux@net-188-216-43-78.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 2021-01-22 10:47:26 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-22 10:47:27 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 10:47:44 +0100 | poi6 | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Ping timeout (120 seconds)) |
| 2021-01-22 10:48:08 +0100 | ubert | (~Thunderbi@p200300ecdf1ee0a5e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-01-22 10:48:36 +0100 | bitmagie | (~Thunderbi@200116b806090000f4ab7dda1cf642fc.dip.versatel-1u1.de) |
| 2021-01-22 10:49:07 +0100 | wz1000 | (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 2021-01-22 10:51:44 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 2021-01-22 10:51:57 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 258 seconds) |
| 2021-01-22 10:55:45 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-01-22 10:57:38 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) (Client Quit) |
| 2021-01-22 10:58:17 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-01-22 11:03:48 +0100 | hekkaidekapus{ | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2021-01-22 11:04:23 +0100 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-01-22 11:04:51 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 11:05:05 +0100 | bitmagie | (~Thunderbi@200116b806090000f4ab7dda1cf642fc.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-01-22 11:06:17 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-01-22 11:06:35 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds) |
| 2021-01-22 11:07:17 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 11:09:04 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 2021-01-22 11:09:24 +0100 | Ericson2314 | (ericson231@gateway/shell/matrix.org/x-cokleamqeebpekzn) |
| 2021-01-22 11:09:59 +0100 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-01-22 11:12:01 +0100 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-01-22 11:16:03 +0100 | ADG1089__ | (~aditya@122.163.160.223) (Remote host closed the connection) |
| 2021-01-22 11:17:05 +0100 | esph | (~weechat@unaffiliated/esph) (Ping timeout: 256 seconds) |
| 2021-01-22 11:17:32 +0100 | winny | (~winny@fsf/member/winstonw) (Ping timeout: 268 seconds) |
| 2021-01-22 11:18:48 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 2021-01-22 11:18:54 +0100 | ADG1089__ | (~aditya@122.163.160.223) |
| 2021-01-22 11:19:47 +0100 | mastarija | (~mastarija@188.252.197.240) |
| 2021-01-22 11:20:01 +0100 | mastarija | (~mastarija@188.252.197.240) (Client Quit) |
| 2021-01-22 11:22:19 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 244 seconds) |
| 2021-01-22 11:22:33 +0100 | vilpan | (~0@212.117.1.172) () |
| 2021-01-22 11:25:10 +0100 | pabelanger1 | (~pabelange@s91904426.blix.com) (Remote host closed the connection) |
| 2021-01-22 11:25:17 +0100 | raym | (~ray@45.64.220.94) (Ping timeout: 265 seconds) |
| 2021-01-22 11:25:26 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Ping timeout: 240 seconds) |
| 2021-01-22 11:28:10 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 2021-01-22 11:28:38 +0100 | esph | (~weechat@unaffiliated/esph) |
| 2021-01-22 11:30:07 +0100 | hackage | ghc-typelits-presburger 0.5.2.0 - Presburger Arithmetic Solver for GHC Type-level natural numbers. https://hackage.haskell.org/package/ghc-typelits-presburger-0.5.2.0 (HiromiIshii) |
| 2021-01-22 11:30:55 +0100 | Noughtmare[m] | (naughtmare@gateway/shell/matrix.org/x-dyzvyraelljasalt) |
| 2021-01-22 11:30:55 +0100 | domenkozar[m] | (domenkozar@NixOS/user/domenkozar) |
| 2021-01-22 11:30:55 +0100 | alexfmpe | (alexfmpema@gateway/shell/matrix.org/x-punjhmxibxmzzcsk) |
| 2021-01-22 11:30:55 +0100 | fgaz | (fgazmatrix@gateway/shell/matrix.org/x-qwcblseffshwekwg) |
| 2021-01-22 11:30:55 +0100 | johnnyboy[m] | (gifumatrix@gateway/shell/matrix.org/x-yocdbznzmtgbgyip) |
| 2021-01-22 11:30:55 +0100 | jesser[m] | (jessermatr@gateway/shell/matrix.org/x-hqqotgpacxhcflpq) |
| 2021-01-22 11:30:56 +0100 | jkaye[m] | (jkayematri@gateway/shell/matrix.org/x-isbeegbsbbpbnfmq) |
| 2021-01-22 11:30:56 +0100 | jtojnar | (jtojnarmat@gateway/shell/matrix.org/x-mkjdlicgvpugpcqb) |
| 2021-01-22 11:30:56 +0100 | kadoban | (kadobanmat@gateway/shell/matrix.org/x-zsqqnlgeeerpazoa) |
| 2021-01-22 11:30:56 +0100 | lambdaclan | (lambdaclan@gateway/shell/matrix.org/x-omrverlcipistniw) |
| 2021-01-22 11:30:56 +0100 | lnxw37d4 | (lnxw37d4ma@gateway/shell/matrix.org/x-yfzetbxzccxmkvyg) |
| 2021-01-22 11:30:56 +0100 | psydruid | (psydruidma@gateway/shell/matrix.org/x-eqeusxpozjpjzxii) |
| 2021-01-22 11:30:56 +0100 | rednaZ[m] | (r3dnazmatr@gateway/shell/matrix.org/x-phvyuxujkxdmssod) |
| 2021-01-22 11:30:56 +0100 | psamim | (samimpmatr@gateway/shell/matrix.org/x-dcguiotzlrxgzihw) |
| 2021-01-22 11:30:56 +0100 | siraben | (sirabenmat@gateway/shell/matrix.org/x-rkgbhxveuguasbev) |
| 2021-01-22 11:30:56 +0100 | SlackIntegration | (slackbotma@gateway/shell/matrix.org/x-quioypzyysisrznl) |
| 2021-01-22 11:30:56 +0100 | sm[m] | (simonmicma@gateway/shell/matrix.org/x-pxatdtkbaojkesek) |
| 2021-01-22 11:30:56 +0100 | unclechu | (unclechuma@gateway/shell/matrix.org/x-lcyrdquzayeteuqf) |
| 2021-01-22 11:30:56 +0100 | ThaEwat | (thaewraptm@gateway/shell/matrix.org/x-ffltfxkklmupuiab) |
| 2021-01-22 11:30:56 +0100 | dyniec[m] | (dyniecmatr@gateway/shell/matrix.org/x-tiwglixjshsbtzzb) |
| 2021-01-22 11:30:56 +0100 | hsiktas[m] | (hsiktasmat@gateway/shell/matrix.org/x-epdwuwaxojaxjoot) |
| 2021-01-22 11:30:56 +0100 | falling-edge[m] | (falling-ed@gateway/shell/matrix.org/x-xplkkdvtzbaptzcf) |
| 2021-01-22 11:30:56 +0100 | rab24ack[m] | (rab24ackma@gateway/shell/matrix.org/x-blendkmcxqjnurbq) |
| 2021-01-22 11:30:57 +0100 | boistordu | (boistordum@gateway/shell/matrix.org/x-zrepnvzmlishjtyo) |
| 2021-01-22 11:30:57 +0100 | srid | (sridmatrix@gateway/shell/matrix.org/x-eqyvotonllvcrfzo) |
| 2021-01-22 11:30:57 +0100 | noIOBeforeBedtim | (dissatisfi@gateway/shell/matrix.org/x-zarxiibjozmlgdxf) |
| 2021-01-22 11:30:57 +0100 | PotatoHatsue | (berbermanp@gateway/shell/matrix.org/x-fvttsecbqgzsopxp) |
| 2021-01-22 11:30:57 +0100 | pythag76[m] | (pythag76ma@gateway/shell/matrix.org/x-sylxwgeccngwcgmf) |
| 2021-01-22 11:30:57 +0100 | Hanma[m] | (hanmamatri@gateway/shell/matrix.org/x-klgjunbutihycqpq) |
| 2021-01-22 11:30:57 +0100 | majjoha | (majjohamat@gateway/shell/matrix.org/x-qpthhdozhwfhxicl) |
| 2021-01-22 11:30:57 +0100 | jeffcasavant[m] | (jeffcasava@gateway/shell/matrix.org/x-jdfjejqeowndoybc) |
| 2021-01-22 11:30:57 +0100 | alvinsj[m] | (alvinsjmat@gateway/shell/matrix.org/x-efybeaxussamscqd) |
| 2021-01-22 11:30:58 +0100 | sajith[m] | (sajithmatr@gateway/shell/matrix.org/x-oljapipqytqjlijy) |
| 2021-01-22 11:30:58 +0100 | maralorn | (maralornma@gateway/shell/matrix.org/x-sjzyxxevmvmgzqvy) |
| 2021-01-22 11:30:58 +0100 | bitonic | (bitonicmat@gateway/shell/matrix.org/x-brodufnwkyoitqns) |
| 2021-01-22 11:30:58 +0100 | Lurkki[m] | (lurkkipriv@gateway/shell/matrix.org/x-zgerzciunksqhuaz) |
| 2021-01-22 11:30:58 +0100 | berberman[T] | (berberma4@gateway/shell/matrix.org/x-tgbvvicopfhgokiy) |
| 2021-01-22 11:30:58 +0100 | pqwy[m] | (pqwymatrix@gateway/shell/matrix.org/x-ozoztrafhtubsnsp) |
| 2021-01-22 11:30:58 +0100 | tomsen[m] | (tfbiomatri@gateway/shell/matrix.org/x-bqfmmklmykwcrbpa) |
| 2021-01-22 11:30:58 +0100 | svc0[m] | (svc0matrix@gateway/shell/matrix.org/x-dtvumpcknelzusyw) |
| 2021-01-22 11:30:58 +0100 | bsima[m] | (bensimatim@gateway/shell/matrix.org/x-huxmleloizjzuasn) |
| 2021-01-22 11:30:58 +0100 | michaelpj | (michaelpjm@gateway/shell/matrix.org/x-gcqvxzrbxtokolnm) |
| 2021-01-22 11:30:58 +0100 | tomferon[m] | (tomferonmo@gateway/shell/matrix.org/x-aqhtwzvawdcbqrti) |
| 2021-01-22 11:30:58 +0100 | Poscat[m] | (poscatmatr@gateway/shell/matrix.org/x-hfhlwvacaxjvqaqt) |
| 2021-01-22 11:30:59 +0100 | plumenator[m] | (plumenator@gateway/shell/matrix.org/x-glnwovhopottmhin) |
| 2021-01-22 11:30:59 +0100 | VarikValefor[m] | (varikvalef@gateway/shell/matrix.org/x-cuutpbqlyjtpuoap) |
| 2021-01-22 11:30:59 +0100 | freeman42x[m] | (freeman42x@gateway/shell/matrix.org/x-hbzkaijufkzzcjdd) |
| 2021-01-22 11:30:59 +0100 | immae | (immaematri@gateway/shell/matrix.org/x-ofxcdonokwuzcveu) |
| 2021-01-22 11:30:59 +0100 | shutendoji[m] | (shutendoji@gateway/shell/matrix.org/x-kmrydpegvqrzzszy) |
| 2021-01-22 11:30:59 +0100 | doct0rhu[m] | (doct0rhumo@gateway/shell/matrix.org/x-poijrifulcxoniuv) |
| 2021-01-22 11:30:59 +0100 | metamod[m] | (metamodmat@gateway/shell/matrix.org/x-xjvmtpxarqrqmlzv) |
| 2021-01-22 11:30:59 +0100 | Hatsue[m] | (berbermanm@gateway/shell/matrix.org/x-egznoeikiirwfbjl) |
| 2021-01-22 11:31:00 +0100 | cnmne[m] | (cnmnematri@gateway/shell/matrix.org/x-ldcgbhnlkxrkkxhe) |
| 2021-01-22 11:31:01 +0100 | itai33[m] | (itai33matr@gateway/shell/matrix.org/x-gjvywfpzwkobmnwn) |
| 2021-01-22 11:31:03 +0100 | ciderpunx[m] | (ciderpunxm@gateway/shell/matrix.org/x-clobtdcpqrqegptf) |
| 2021-01-22 11:31:03 +0100 | speakerspivakeem | (speakerdea@gateway/shell/matrix.org/x-zmbqrttruanzugny) |
| 2021-01-22 11:31:03 +0100 | Wraul[m] | (wraulmatri@gateway/shell/matrix.org/x-yktupeqcyyfwftqo) |
| 2021-01-22 11:31:03 +0100 | pedrorubster[m] | (pedrorubst@gateway/shell/matrix.org/x-jnacjvwdwjespsqj) |
| 2021-01-22 11:31:03 +0100 | Lurkki[m]1 | (lurkkifene@gateway/shell/matrix.org/x-rezmhedzxwddlxkk) |
| 2021-01-22 11:31:04 +0100 | MrMuffles[m] | (mrmufflesm@gateway/shell/matrix.org/x-aebijzuigdvqusxr) |
| 2021-01-22 11:31:04 +0100 | materialfuture[m | (materialfu@gateway/shell/matrix.org/x-ufssgzpfkqpvdlod) |
| 2021-01-22 11:31:04 +0100 | peterstorm[m] | (peterstorm@gateway/shell/matrix.org/x-vpzdqokcgzyjmmpw) |
| 2021-01-22 11:31:04 +0100 | sawmon-and-natal | (sawmon-and@gateway/shell/matrix.org/x-ysxfybhvxkakjlut) |
| 2021-01-22 11:31:04 +0100 | Vanilla[m] | (danielm14@gateway/shell/matrix.org/x-awxjutosftkuncfl) |
| 2021-01-22 11:31:04 +0100 | floatingpoint[m] | (floating5@gateway/shell/matrix.org/x-jmpdhdvmyfjlkowe) |
| 2021-01-22 11:31:04 +0100 | joshualit140[m] | (joshualit1@gateway/shell/matrix.org/x-jwvbmfevhcetqtrt) |
| 2021-01-22 11:31:05 +0100 | agentofuser | (agentofuse@gateway/shell/matrix.org/x-zvbluxvadqrzkoqv) |
| 2021-01-22 11:31:05 +0100 | AmitLevy[m] | (amitmostly@gateway/shell/matrix.org/x-xygqbdsefnadeoao) |
| 2021-01-22 11:31:05 +0100 | meckse[m] | (mecksematr@gateway/shell/matrix.org/x-kpigpdguvztgpjbd) |
| 2021-01-22 11:31:05 +0100 | sigmacool[m] | (sigmacoolm@gateway/shell/matrix.org/x-mlxatbvadcvtvpox) |
| 2021-01-22 11:31:06 +0100 | bram[m]1 | (bramvdbnet@gateway/shell/matrix.org/x-flausrfxdvvarwxm) |
| 2021-01-22 11:31:06 +0100 | jamesfielder[m] | (jamesfield@gateway/shell/matrix.org/x-giwxnfriekqwvubu) |
| 2021-01-22 11:31:06 +0100 | phittacus | (bklmatrixo@gateway/shell/matrix.org/x-uhmwlecsuevyvxpb) |
| 2021-01-22 11:31:13 +0100 | ADG1089__ | (~aditya@122.163.160.223) (Remote host closed the connection) |
| 2021-01-22 11:31:20 +0100 | winny | (~winny@fsf/member/winstonw) |
| 2021-01-22 11:31:48 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-22 11:33:59 +0100 | ADG1089__ | (~aditya@122.163.160.223) |
| 2021-01-22 11:34:24 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Ping timeout: 240 seconds) |
| 2021-01-22 11:36:32 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 11:37:13 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 2021-01-22 11:39:20 +0100 | ManofLetters[m] | (manoflette@gateway/shell/matrix.org/x-uhjhgfadgvsydqxe) |
| 2021-01-22 11:40:10 +0100 | son0p | (~son0p@181.58.39.182) |
| 2021-01-22 11:40:56 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 2021-01-22 11:42:38 +0100 | hackage | equational-reasoning 0.7.0.0 - Proof assistant for Haskell using DataKinds & PolyKinds https://hackage.haskell.org/package/equational-reasoning-0.7.0.0 (HiromiIshii) |
| 2021-01-22 11:43:27 +0100 | kuribas | (~user@ptr-25vy0i8rqljfcgb7rvm.18120a2.ip6.access.telenet.be) |
| 2021-01-22 11:43:56 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Ping timeout: 240 seconds) |
| 2021-01-22 11:45:40 +0100 | ski | . o O ( `fromSing song' ) |
| 2021-01-22 11:46:29 +0100 | <hc> | =) |
| 2021-01-22 11:46:35 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 11:47:54 +0100 | Alleria | (~textual@mskresolve-a.mskcc.org) |
| 2021-01-22 11:48:17 +0100 | Alleria | Guest78126 |
| 2021-01-22 11:51:22 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-01-22 11:51:46 +0100 | ubert | (~Thunderbi@p200300ecdf1ee0a5e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2021-01-22 11:53:15 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-01-22 11:53:19 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 244 seconds) |
| 2021-01-22 11:53:53 +0100 | LKoen | (~LKoen@57.174.9.109.rev.sfr.net) |
| 2021-01-22 11:54:10 +0100 | vite | (~vite@s91904426.blix.com) |
| 2021-01-22 11:55:37 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 11:57:21 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 11:58:39 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 12:00:38 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:956:5b56:4aff:9c50) (Ping timeout: 264 seconds) |
| 2021-01-22 12:01:44 +0100 | <kuribas> | nice, we have 3 new clojure developers in our team, and they all are interested to learn more about haskell :-) |
| 2021-01-22 12:01:51 +0100 | <kuribas> | things are starting to look good :-) |
| 2021-01-22 12:01:56 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 240 seconds) |
| 2021-01-22 12:02:09 +0100 | <maerwald> | better have ppl who care about the product :p |
| 2021-01-22 12:02:41 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-22 12:02:58 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-01-22 12:03:00 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2021-01-22 12:03:01 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-22 12:03:58 +0100 | <kuribas> | maerwald: why are those exclusive? |
| 2021-01-22 12:04:08 +0100 | <maerwald> | are they? |
| 2021-01-22 12:04:30 +0100 | <Franciman> | * ski . o O ( `fromSing song' ) <- thanks ski, you enabled a whole new world for me |
| 2021-01-22 12:04:46 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 12:04:54 +0100 | <kuribas> | maerwald: "better have ppl who care about the product :p" <= as if people who are interested in haskell means, not interested in the product |
| 2021-01-22 12:05:08 +0100 | <maerwald> | I didn't say that |
| 2021-01-22 12:05:19 +0100 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-01-22 12:05:33 +0100 | <kuribas> | maerwald: anyway, that was the job of our HR and team lead, I am sure we have good people now (for as much as you can know this). |
| 2021-01-22 12:08:49 +0100 | carthia | (~carthia@gateway/tor-sasl/carthia) |
| 2021-01-22 12:08:50 +0100 | <kuribas> | maerwald: also, IMO a good haskell developper knows when to leave the fun toys aside, and focus on the problem at hand. |
| 2021-01-22 12:09:12 +0100 | <maerwald> | oh, I have different experience |
| 2021-01-22 12:09:15 +0100 | <kuribas> | fun toys = GADTs, type families, etc... |
| 2021-01-22 12:09:23 +0100 | carthia | (~carthia@gateway/tor-sasl/carthia) (Client Quit) |
| 2021-01-22 12:09:57 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) |
| 2021-01-22 12:10:34 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 12:10:47 +0100 | <maerwald> | but these days I also think that language choice is less significant than ppl think |
| 2021-01-22 12:10:51 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-22 12:10:55 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 2021-01-22 12:11:13 +0100 | <superstar64> | yea, assembly and idris are virtually the samething |
| 2021-01-22 12:11:24 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 244 seconds) |
| 2021-01-22 12:11:30 +0100 | <maerwald> | are they? |
| 2021-01-22 12:12:06 +0100 | <kuribas> | maerwald: yes, something I absolutely disagree with. |
| 2021-01-22 12:12:10 +0100 | <superstar64> | language choice matters a lot imo |
| 2021-01-22 12:12:23 +0100 | <kuribas> | maerwald: but that doesn't mean I think everything should be in haskell though. |
| 2021-01-22 12:12:33 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-01-22 12:12:39 +0100 | <maerwald> | what matters is developers not language |
| 2021-01-22 12:12:56 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:eb5d:4ebe:3c0:e5b5) |
| 2021-01-22 12:13:11 +0100 | <kuribas> | I do think "good developers" are more important than a "good programming language", that's a completely different idea. |
| 2021-01-22 12:13:12 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 12:13:22 +0100 | <kuribas> | That does mean PL choice is insignificant. |
| 2021-01-22 12:14:09 +0100 | <kuribas> | doesn't |
| 2021-01-22 12:14:49 +0100 | <kuribas> | also I think for many projects, haskell is a better language, but java could be a better choice. |
| 2021-01-22 12:15:06 +0100 | <kuribas> | It depends on the developers and company background. |
| 2021-01-22 12:15:27 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 2021-01-22 12:15:27 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-01-22 12:15:33 +0100 | <kuribas> | starting a haskell project without at least one experienced haskell developer is likely to be a failure. |
| 2021-01-22 12:15:39 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-01-22 12:15:42 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-01-22 12:16:03 +0100 | <superstar64> | at least java has system-f, so it's at least usable https://gist.github.com/Superstar64/2d3f5e7973fcc8cc6501d5a63030762b |
| 2021-01-22 12:16:08 +0100 | <kuribas> | And many project simply are not that complicated that you need the added expressivity of haskell. |
| 2021-01-22 12:19:52 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 12:20:17 +0100 | <kuribas> | I mean, CRUD in haskell is a bit nicer, but it can be done well in java or C#. |
| 2021-01-22 12:22:27 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 12:23:28 +0100 | <kuribas> | especially since, like superstar64 says, modern java has generics, lambdas, a repl, ... |
| 2021-01-22 12:26:10 +0100 | brisbin | (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
| 2021-01-22 12:30:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-22 12:33:55 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-01-22 12:34:28 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-01-22 12:35:14 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-22 12:35:26 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 12:36:08 +0100 | jamm | (~jamm@unaffiliated/jamm) |
| 2021-01-22 12:37:19 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 12:37:30 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:8d02:2e39:5e02:59d2) |
| 2021-01-22 12:38:25 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-01-22 12:38:49 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:8d02:2e39:5e02:59d2) () |
| 2021-01-22 12:40:14 +0100 | xff0x | (~xff0x@2001:1a81:52c0:a300:c5ed:5537:e28b:b291) (Ping timeout: 264 seconds) |
| 2021-01-22 12:40:34 +0100 | xff0x | (~xff0x@2001:1a81:52c0:a300:74:d14d:bfef:9841) |
| 2021-01-22 12:40:50 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-01-22 12:44:22 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 12:46:57 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 12:50:24 +0100 | poi61 | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 2021-01-22 12:50:49 +0100 | poi61 | (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Client Quit) |
| 2021-01-22 12:51:06 +0100 | hexfive | (~hexfive@50.35.83.177) |
| 2021-01-22 12:52:55 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-01-22 12:54:02 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 12:55:59 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 13:00:30 +0100 | p7lpa1ugixavugu | (~atomic@2800:810:514:e7:8080:b5dd:9ae1:501b) |
| 2021-01-22 13:00:54 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-01-22 13:04:25 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-01-22 13:05:22 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 13:06:43 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-22 13:08:28 +0100 | <exarkun> | kuribas: oh no |
| 2021-01-22 13:08:28 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 265 seconds) |
| 2021-01-22 13:08:39 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2021-01-22 13:08:40 +0100 | plutoniix | (~q@184.82.194.132) (Quit: Leaving) |
| 2021-01-22 13:08:44 +0100 | <exarkun> | kuribas: will you join my haskell project please |
| 2021-01-22 13:09:11 +0100 | <kuribas> | exarkun: probably not? |
| 2021-01-22 13:09:16 +0100 | jespada_ | (~jespada@148.252.128.163) |
| 2021-01-22 13:09:42 +0100 | <kuribas> | exarkun: but I could help if you have a specific question. |
| 2021-01-22 13:09:44 +0100 | <exarkun> | doomed to failure :( |
| 2021-01-22 13:10:04 +0100 | <kuribas> | exarkun: you're here, that counts for something :) |
| 2021-01-22 13:10:14 +0100 | jespada_ | (~jespada@148.252.128.163) (Read error: Connection reset by peer) |
| 2021-01-22 13:10:16 +0100 | <exarkun> | re: " ... project without at least one experienced ..." |
| 2021-01-22 13:10:21 +0100 | <exarkun> | kuribas: heh ok:) |
| 2021-01-22 13:10:24 +0100 | jespada | (~jespada@90.254.241.81) (Ping timeout: 265 seconds) |
| 2021-01-22 13:10:49 +0100 | <kuribas> | exarkun: what's your project? |
| 2021-01-22 13:11:32 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
| 2021-01-22 13:11:45 +0100 | jespada | (~jespada@90.254.242.138) |
| 2021-01-22 13:12:18 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 13:12:31 +0100 | <kuribas> | exarkun: I am not saying it's impossible, just that I wouldn't recommend it. |
| 2021-01-22 13:12:54 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection) |
| 2021-01-22 13:13:08 +0100 | <kuribas> | exarkun: but since you already started, better get on with it :) And you're here, so you get advice from the best :-) |
| 2021-01-22 13:13:22 +0100 | phasespace_ | (~sar@89-162-33-21.fiber.signal.no) (Remote host closed the connection) |
| 2021-01-22 13:15:15 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
| 2021-01-22 13:16:33 +0100 | <kuribas> | My recommendation would be, when you're learning haskell, first try it on some hobby project, or something non-critical. |
| 2021-01-22 13:18:26 +0100 | poscat1 | (~poscat@221.217.131.44) |
| 2021-01-22 13:19:00 +0100 | poscat | (~poscat@221.217.131.44) (Ping timeout: 246 seconds) |
| 2021-01-22 13:19:24 +0100 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-01-22 13:19:26 +0100 | poscat1 | poscat |
| 2021-01-22 13:23:08 +0100 | <exarkun> | Yea. I also think that's a good idea. :) |
| 2021-01-22 13:23:43 +0100 | <exarkun> | https://todo.sr.ht/~jcalderone/DevBot is definitely not critical |
| 2021-01-22 13:24:02 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 13:24:03 +0100 | <exarkun> | https://github.com/PrivateStorageio/PaymentServer is somewhat more important |
| 2021-01-22 13:24:45 +0100 | <exarkun> | https://gitlab.com/exarkun/chk.hs is what I've been working on most recently and is largely a study exercise |
| 2021-01-22 13:25:15 +0100 | fendor_ | (~fendor@178.165.130.173.wireless.dyn.drei.com) |
| 2021-01-22 13:25:33 +0100 | <exarkun> | chk.hs actually works now! I gave up trying to find an aes-ctr streaming library and wrote my own in 20 minutes :/ probably should have done that from the start.. |
| 2021-01-22 13:26:01 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 13:26:33 +0100 | <exarkun> | code is a total mess though because I spent all my brainpower understanding the domain logic |
| 2021-01-22 13:27:45 +0100 | fendor | (~fendor@178.115.128.82.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2021-01-22 13:29:16 +0100 | brisbin | (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-01-22 13:30:49 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-01-22 13:31:43 +0100 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
| 2021-01-22 13:33:02 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 13:34:39 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 13:37:50 +0100 | Alleria_ | (~AllahuAkb@2603-7000-3040-0000-4026-a9ff-e6dc-fee9.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-01-22 13:37:53 +0100 | <kuribas> | exarkun: cool! |
| 2021-01-22 13:41:24 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 2021-01-22 13:41:32 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 13:41:59 +0100 | ADG1089__ | (~aditya@122.163.160.223) (Remote host closed the connection) |
| 2021-01-22 13:42:56 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection) |
| 2021-01-22 13:43:14 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 13:43:18 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 13:45:45 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) |
| 2021-01-22 13:46:15 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection) |
| 2021-01-22 13:46:17 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) |
| 2021-01-22 13:46:39 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 246 seconds) |
| 2021-01-22 13:46:48 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 13:47:15 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: reboot) |
| 2021-01-22 13:47:42 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 2021-01-22 13:49:35 +0100 | kuribas | (~user@ptr-25vy0i8rqljfcgb7rvm.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-01-22 13:51:45 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 2021-01-22 13:55:14 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 13:56:56 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 13:57:25 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) |
| 2021-01-22 13:59:19 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 14:01:06 +0100 | <hc> | exarkun: nice :) |
| 2021-01-22 14:02:43 +0100 | <__monty__> | I like how you distribute your projects across *all* the forges, no favoritism here! : ) |
| 2021-01-22 14:02:50 +0100 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-01-22 14:04:18 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-01-22 14:06:37 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 14:07:06 +0100 | jackk_Doe | (~jackk@205.178.111.134) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2021-01-22 14:07:44 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 14:08:22 +0100 | jackk_Doe | (~jackk@205.178.111.134) |
| 2021-01-22 14:08:46 +0100 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-01-22 14:09:06 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) (Remote host closed the connection) |
| 2021-01-22 14:09:23 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) |
| 2021-01-22 14:09:24 +0100 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-01-22 14:10:40 +0100 | son0p | (~son0p@181.58.39.182) (Quit: leaving) |
| 2021-01-22 14:12:20 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 14:12:43 +0100 | brisbin | (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
| 2021-01-22 14:14:01 +0100 | <exarkun> | __monty__: :) |
| 2021-01-22 14:14:39 +0100 | geekosaur | (82650c7c@130.101.12.124) |
| 2021-01-22 14:15:55 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-01-22 14:16:32 +0100 | berberman_ | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-22 14:16:50 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 14:16:57 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2021-01-22 14:17:14 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-01-22 14:17:49 +0100 | <__monty__> | exarkun: Is the latter part of the implementation of PrivateStorage.io? And is the latter not a thing yet, cause it sounds pretty cool? |
| 2021-01-22 14:18:07 +0100 | Alleria_ | (~AllahuAkb@2603-7000-3040-0000-a4c2-7b90-773e-683c.res6.spectrum.com) |
| 2021-01-22 14:18:09 +0100 | brisbin | (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-01-22 14:18:41 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 14:19:11 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 14:19:19 +0100 | pjb | (~t@2a01cb04063ec500f54c15bc3341a564.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 2021-01-22 14:21:37 +0100 | Tops2 | (~Tobias@dyndsl-095-033-027-247.ewe-ip-backbone.de) |
| 2021-01-22 14:22:07 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection) |
| 2021-01-22 14:23:33 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 2021-01-22 14:25:55 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-22 14:27:19 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-22 14:28:13 +0100 | <idnar> | Warning: Unknown extensions: StandaloneKindSignatures, StandaloneKindSignatures, StandaloneKindSignatures, StandaloneKindSignatures |
| 2021-01-22 14:28:42 +0100 | <exarkun> | __monty__: privatestorage.io is ... coming. _Maybe_ this quarter. chk.hs might eventually be part of it but that's even further off. |
| 2021-01-22 14:29:01 +0100 | brisbin | (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
| 2021-01-22 14:29:35 +0100 | <merijn> | idnar: Which GHC? |
| 2021-01-22 14:29:59 +0100 | <__monty__> | idnar: You wouldn't expect such a self-sufficient extension to gang up on you like that. |
| 2021-01-22 14:30:15 +0100 | hyperisco | (~hyperisco@104-195-141-253.cpe.teksavvy.com) |
| 2021-01-22 14:31:28 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-01-22 14:31:57 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 264 seconds) |
| 2021-01-22 14:31:57 +0100 | merijn | is starting a bet on "GHC that's too old" :p |
| 2021-01-22 14:32:43 +0100 | fosterite | (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) (Remote host closed the connection) |
| 2021-01-22 14:33:12 +0100 | <geekosaur> | or cabal too old? (other-extensions) |
| 2021-01-22 14:33:26 +0100 | <maerwald> | maybe the computer is too old |
| 2021-01-22 14:33:27 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 14:33:47 +0100 | <idnar> | merijn: my cabal is too old; just found the repetition amusing |
| 2021-01-22 14:34:15 +0100 | <merijn> | Just update to cabal-install HEAD daily and avoid these problems! ;) |
| 2021-01-22 14:35:39 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 14:35:41 +0100 | <__monty__> | *Terms and Conditions apply, other problems may arise, we deny all responsibility for loss of data or life. |
| 2021-01-22 14:35:53 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 14:36:16 +0100 | <merijn> | __monty__: cabal HEAD has almost always worked fine for me (not counting when I modified the source :p) |
| 2021-01-22 14:39:16 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-22 14:39:38 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 14:39:56 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 2021-01-22 14:40:21 +0100 | Tops21 | (~Tobias@dyndsl-095-033-027-247.ewe-ip-backbone.de) |
| 2021-01-22 14:40:26 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Remote host closed the connection) |
| 2021-01-22 14:42:35 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-01-22 14:42:38 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 14:43:58 +0100 | <idnar> | rewriting a thing with singletons |
| 2021-01-22 14:44:25 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-01-22 14:44:25 +0100 | Tops2 | (~Tobias@dyndsl-095-033-027-247.ewe-ip-backbone.de) (Ping timeout: 265 seconds) |
| 2021-01-22 14:44:41 +0100 | <merijn> | "What is a thing people say before hating their life?" |
| 2021-01-22 14:45:17 +0100 | <hpc> | i vote that we rename all other definitions "pluraltons" |
| 2021-01-22 14:45:41 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 14:47:24 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 2021-01-22 14:47:39 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 14:48:08 +0100 | hackage | json-sop 0.2.0.5 - Generics JSON (de)serialization using generics-sop https://hackage.haskell.org/package/json-sop-0.2.0.5 (EdskoDeVries) |
| 2021-01-22 14:49:09 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 14:52:07 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 14:53:09 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-01-22 14:53:26 +0100 | vite | (~vite@s91904426.blix.com) (Remote host closed the connection) |
| 2021-01-22 14:54:33 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-22 14:54:55 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 14:55:15 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-01-22 14:55:15 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 14:56:13 +0100 | <idnar> | https://gist.github.com/mithrandi/d3d02aedab4b8cf900c2a566a90a06d1 |
| 2021-01-22 14:58:08 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-01-22 14:58:46 +0100 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-01-22 14:58:51 +0100 | <idnar> | and `demote @n` instead of `natVal' @n proxy#` |
| 2021-01-22 14:59:02 +0100 | poscat | (~poscat@221.217.131.44) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-01-22 14:59:45 +0100 | ADG1089__ | (~aditya@122.163.160.223) |
| 2021-01-22 15:00:02 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-22 15:00:09 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-01-22 15:01:52 +0100 | poscat | (~poscat@221.217.131.44) |
| 2021-01-22 15:02:48 +0100 | p3n | (~p3n@217.198.124.246) |
| 2021-01-22 15:04:36 +0100 | p3n | (~p3n@217.198.124.246) (Remote host closed the connection) |
| 2021-01-22 15:04:50 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 15:04:56 +0100 | Franciman | (~francesco@host-79-51-37-36.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-01-22 15:06:20 +0100 | ixaxaar | (~ixaxaar@49.207.210.215) (Remote host closed the connection) |
| 2021-01-22 15:06:21 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 15:07:12 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 15:08:00 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 15:11:29 +0100 | rwdrich | (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) |
| 2021-01-22 15:12:55 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 15:13:07 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 15:13:18 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 15:15:42 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 15:15:54 +0100 | ubert | (~Thunderbi@p200300ecdf1ee0a5e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-01-22 15:16:30 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2021-01-22 15:16:49 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-01-22 15:17:50 +0100 | ADG1089__ | (~aditya@122.163.160.223) (Remote host closed the connection) |
| 2021-01-22 15:17:54 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-22 15:18:13 +0100 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-01-22 15:18:16 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 15:18:19 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-01-22 15:18:53 +0100 | c9sloud | (~c9sloud@185.163.110.126) |
| 2021-01-22 15:20:14 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-01-22 15:20:33 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 2021-01-22 15:22:42 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 2021-01-22 15:22:54 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-01-22 15:23:24 +0100 | ixaxaar | (~ixaxaar@49.207.210.215) |
| 2021-01-22 15:26:19 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 15:29:17 +0100 | mdunnio | (~mdunnio@172.97.43.112) |
| 2021-01-22 15:30:29 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-01-22 15:30:50 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 15:33:38 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 15:33:57 +0100 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2021-01-22 15:34:14 +0100 | Benzi-Junior | (~BenziJuni@88-149-65-135.du.xdsl.is) (Quit: gone) |
| 2021-01-22 15:34:51 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 15:35:23 +0100 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-01-22 15:36:09 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-01-22 15:37:31 +0100 | Benzi-Junior | (~BenziJuni@dsl-149-65-135.hive.is) |
| 2021-01-22 15:38:53 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 15:41:38 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 2021-01-22 15:41:42 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 15:43:00 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 15:43:50 +0100 | geekosaur | (82650c7c@130.101.12.124) (Quit: Connection closed) |
| 2021-01-22 15:44:45 +0100 | raym | (~ray@45.64.220.55) |
| 2021-01-22 15:45:11 +0100 | raym | (~ray@45.64.220.55) (Remote host closed the connection) |
| 2021-01-22 15:46:03 +0100 | kobaam | (~manjaro-u@2601:285:c000:a6c0::ca73) |
| 2021-01-22 15:47:26 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-22 15:47:49 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 15:48:07 +0100 | soft-warm | (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 2021-01-22 15:49:50 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 15:50:20 +0100 | raym | (~ray@45.64.220.55) |
| 2021-01-22 15:50:33 +0100 | Sonderblade | (~helloman@94.191.152.250.mobile.tre.se) (Ping timeout: 246 seconds) |
| 2021-01-22 15:51:49 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 15:52:18 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-01-22 15:53:53 +0100 | soft-warm | (4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 248 seconds) |
| 2021-01-22 15:54:45 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-22 15:55:26 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-01-22 15:57:25 +0100 | Synthetica | (uid199651@gateway/web/irccloud.com/x-vkobiouropvqwcgg) |
| 2021-01-22 15:57:42 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 2021-01-22 15:58:44 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-01-22 15:59:00 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-01-22 15:59:30 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-01-22 15:59:36 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
| 2021-01-22 16:01:40 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 16:01:50 +0100 | mrchampion | (~mrchampio@38.18.109.23) (Read error: Connection reset by peer) |
| 2021-01-22 16:02:40 +0100 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2021-01-22 16:03:17 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 16:05:55 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 16:06:56 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-01-22 16:08:06 +0100 | kobaam | (~manjaro-u@2601:285:c000:a6c0::ca73) (Read error: Connection reset by peer) |
| 2021-01-22 16:10:11 +0100 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-01-22 16:13:23 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-01-22 16:16:15 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) (Ping timeout: 265 seconds) |
| 2021-01-22 16:16:42 +0100 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) (Ping timeout: 260 seconds) |
| 2021-01-22 16:17:17 +0100 | ADG1089__ | (~aditya@122.163.160.223) |
| 2021-01-22 16:18:48 +0100 | worc3131 | (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) |
| 2021-01-22 16:19:08 +0100 | hackage | byteslice 0.2.5.0 - Slicing managed and unmanaged memory https://hackage.haskell.org/package/byteslice-0.2.5.0 (andrewthad) |
| 2021-01-22 16:19:15 +0100 | polyphem | (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2021-01-22 16:19:19 +0100 | LKoen | (~LKoen@57.174.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-01-22 16:20:14 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-01-22 16:20:33 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 2021-01-22 16:22:14 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 16:22:50 +0100 | averell | (~averell@unaffiliated/averell) (Remote host closed the connection) |
| 2021-01-22 16:23:23 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 16:24:09 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-01-22 16:24:25 +0100 | dandart | (~Thunderbi@home.dandart.co.uk) |
| 2021-01-22 16:24:33 +0100 | danza | (~francesco@151.53.69.77) |
| 2021-01-22 16:25:03 +0100 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-01-22 16:26:04 +0100 | averell | (~averell@unaffiliated/averell) |
| 2021-01-22 16:26:17 +0100 | adm_ | (~adm@117.230.183.154) |
| 2021-01-22 16:27:24 +0100 | cgadski | (~cgadski@a95-95-106-208.cpe.netcabo.pt) () |
| 2021-01-22 16:30:07 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 16:30:14 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Remote host closed the connection) |
| 2021-01-22 16:30:54 +0100 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-01-22 16:30:59 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 16:34:48 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-01-22 16:35:16 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-22 16:36:38 +0100 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) (Ping timeout: 264 seconds) |
| 2021-01-22 16:37:57 +0100 | adm_ | (~adm@117.230.183.154) (Remote host closed the connection) |
| 2021-01-22 16:38:29 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-01-22 16:38:45 +0100 | adm_ | (~adm@117.230.183.154) |
| 2021-01-22 16:43:29 +0100 | adm_ | (~adm@117.230.183.154) (Ping timeout: 256 seconds) |
| 2021-01-22 16:46:24 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 240 seconds) |
| 2021-01-22 16:48:02 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 16:50:14 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 16:50:15 +0100 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-01-22 16:50:17 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-01-22 16:54:38 +0100 | wmacmil | (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 2021-01-22 16:56:10 +0100 | <wmacmil> | i just installed stack, via curl, on Linux mint, and it's getting stuck at this point |
| 2021-01-22 16:56:11 +0100 | <wmacmil> | $ stack update |
| 2021-01-22 16:56:11 +0100 | <wmacmil> | Selected mirror https://s3.amazonaws.com/hackage.fpcomplete.com/ |
| 2021-01-22 16:56:11 +0100 | <wmacmil> | Downloading timestamp |
| 2021-01-22 16:56:11 +0100 | <wmacmil> | Downloading snapshot |
| 2021-01-22 16:56:11 +0100 | <wmacmil> | Downloading mirrors |
| 2021-01-22 16:56:13 +0100 | <wmacmil> | Cannot update index (no local copy) |
| 2021-01-22 16:56:13 +0100 | wmacmil | (~wmacmil@c83-252-138-144.bredband.comhem.se) (Killed (Sigyn (Spam is off topic on freenode.))) |
| 2021-01-22 16:56:46 +0100 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-01-22 16:57:34 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 265 seconds) |
| 2021-01-22 16:58:46 +0100 | ChanServ | +o ski |
| 2021-01-22 16:59:09 +0100 | ChanServ | -o ski |
| 2021-01-22 16:59:46 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 16:59:46 +0100 | wmacmil | (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 2021-01-22 17:00:11 +0100 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) (Ping timeout: 272 seconds) |
| 2021-01-22 17:00:12 +0100 | <ski> | (please don't paste lots of lines into the channel, all at the same time) |
| 2021-01-22 17:00:18 +0100 | <wmacmil> | but no progress has been made for a while |
| 2021-01-22 17:00:26 +0100 | <wmacmil> | @ski, gotcha |
| 2021-01-22 17:00:26 +0100 | <lambdabot> | Unknown command, try @list |
| 2021-01-22 17:01:25 +0100 | <wmacmil> | does anyone have any progress with stack not updating, or any idea why its in a stuck state |
| 2021-01-22 17:02:57 +0100 | <wmacmil> | or maybe i'm just being impatient? has been > .5 hour |
| 2021-01-22 17:03:49 +0100 | LKoen | (~LKoen@57.174.9.109.rev.sfr.net) |
| 2021-01-22 17:04:25 +0100 | aveltras | (uid364989@gateway/web/irccloud.com/x-gafigmgultvuhodj) |
| 2021-01-22 17:04:26 +0100 | mmmattyx | (uid17782@gateway/web/irccloud.com/x-apzeirkcrnkojqkt) |
| 2021-01-22 17:04:27 +0100 | <ski> | (perhaps if you wait around for a bit in the channel, someone will turn up who might have some suggestion) |
| 2021-01-22 17:05:44 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-01-22 17:05:44 +0100 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-01-22 17:06:17 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 17:07:00 +0100 | <wmacmil> | ok, nevermind, it just terminated |
| 2021-01-22 17:07:22 +0100 | <wmacmil> | presumably worked, with the final ouput : Package index cache populated |
| 2021-01-22 17:07:36 +0100 | <ski> | ok |
| 2021-01-22 17:07:43 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 265 seconds) |
| 2021-01-22 17:08:45 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 17:12:07 +0100 | ubert | (~Thunderbi@p200300ecdf1ee0a5e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-01-22 17:12:53 +0100 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-01-22 17:14:18 +0100 | <wmacmil> | just a side question: if you hypothetically want to copy/paste a 5 line program, or error message, etc into this irc, whats the suggested way? copy paste a gist? |
| 2021-01-22 17:14:24 +0100 | <merijn> | @where paste |
| 2021-01-22 17:14:24 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 2021-01-22 17:14:47 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 17:16:39 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 2021-01-22 17:17:59 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 17:18:56 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-01-22 17:19:43 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-01-22 17:20:12 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-01-22 17:20:33 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 2021-01-22 17:23:02 +0100 | coot | (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-01-22 17:25:32 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 17:27:08 +0100 | hackage | ghc-dump-core 0.1.2.0 - An AST and compiler plugin for dumping GHC's Core representation. https://hackage.haskell.org/package/ghc-dump-core-0.1.2.0 (BenGamari) |
| 2021-01-22 17:27:17 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 17:28:08 +0100 | hackage | ip 1.7.3 - Library for IP and MAC addresses https://hackage.haskell.org/package/ip-1.7.3 (andrewthad) |
| 2021-01-22 17:28:08 +0100 | hackage | ghc-dump-util 0.1.2.0 - Handy tools for working with ghc-dump dumps https://hackage.haskell.org/package/ghc-dump-util-0.1.2.0 (BenGamari) |
| 2021-01-22 17:29:06 +0100 | adeene | (~adeene@181.131.0.191) |
| 2021-01-22 17:29:10 +0100 | conal | (~conal@192.145.117.145) |
| 2021-01-22 17:32:12 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-kyudgntnnhxnqkma) |
| 2021-01-22 17:32:13 +0100 | wmacmil | (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 256 seconds) |
| 2021-01-22 17:34:04 +0100 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 265 seconds) |
| 2021-01-22 17:34:30 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-01-22 17:35:01 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 2021-01-22 17:35:22 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 2021-01-22 17:36:35 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 17:37:17 +0100 | son0p | (~son0p@181.136.122.143) (Quit: leaving) |
| 2021-01-22 17:39:44 +0100 | djbeau | (~dbeaureg@148.87.23.7) |
| 2021-01-22 17:40:33 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Client Quit) |
| 2021-01-22 17:43:08 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-dezhbwagilkvzynb) |
| 2021-01-22 17:44:55 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 17:47:06 +0100 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.0) |
| 2021-01-22 17:48:26 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 17:48:52 +0100 | ccchapman | (~cchapman@S0106889e68fa3df2.vc.shawcable.net) |
| 2021-01-22 17:50:37 +0100 | rfn | (~rais@116.88.230.170) |
| 2021-01-22 17:50:53 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 2021-01-22 17:52:42 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-01-22 17:52:51 +0100 | nineonine | (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 2021-01-22 17:53:37 +0100 | nineonine | (~nineonine@50.216.62.2) |
| 2021-01-22 17:55:11 +0100 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-01-22 17:55:16 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection) |
| 2021-01-22 17:55:52 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 17:56:01 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 2021-01-22 17:56:07 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Read error: Connection reset by peer) |
| 2021-01-22 17:56:35 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2021-01-22 18:00:42 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 2021-01-22 18:01:08 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-01-22 18:02:01 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 2021-01-22 18:03:14 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-01-22 18:03:44 +0100 | <aveltras> | what would be the cleanest way to get the "pane1" to be "paneX" where X is the number of the current iteration in the following code ? |
| 2021-01-22 18:03:47 +0100 | rwdrich | (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2021-01-22 18:03:50 +0100 | <aveltras> | https://www.irccloud.com/pastebin/3BFG7jkW/ |
| 2021-01-22 18:04:16 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-01-22 18:04:21 +0100 | ep1ctetus | (~epictetus@ip184-187-162-163.sb.sd.cox.net) |
| 2021-01-22 18:07:52 +0100 | rwdrich | (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) |
| 2021-01-22 18:08:13 +0100 | rwdrich | (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Client Quit) |
| 2021-01-22 18:08:34 +0100 | <monochrom> | Change "forM_ items $ \(title, content)" to "forM_ (zip items [0..]) $ \((title, content), i)". Now i is your loop counter. |
| 2021-01-22 18:10:50 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2021-01-22 18:10:52 +0100 | geekosaur | (82650c7c@130.101.12.124) |
| 2021-01-22 18:11:32 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 18:12:23 +0100 | danza | (~francesco@151.53.69.77) (Quit: Leaving) |
| 2021-01-22 18:12:26 +0100 | <aveltras> | is it defined somewhere on Foldable ? it seems it's always specialized to some container type |
| 2021-01-22 18:12:32 +0100 | <aveltras> | https://hoogle.haskell.org/?hoogle=zip |
| 2021-01-22 18:12:42 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-01-22 18:12:48 +0100 | <aveltras> | i'd like to keep the code generic as it's for a library |
| 2021-01-22 18:13:07 +0100 | hiroaki | (~hiroaki@ip4d167562.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2021-01-22 18:13:11 +0100 | <monochrom> | No. |
| 2021-01-22 18:13:45 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 18:14:26 +0100 | sternmull | (~kringel@pd9ed7db6.dip0.t-ipconnect.de) () |
| 2021-01-22 18:14:28 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-01-22 18:15:39 +0100 | conal | (~conal@192.145.117.145) (Ping timeout: 272 seconds) |
| 2021-01-22 18:15:45 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 2021-01-22 18:17:57 +0100 | hololeap | (~hololeap@unaffiliated/hololeap) |
| 2021-01-22 18:19:29 +0100 | <pounce> | could somebody help me out because i always forget... is (StateT Logic) or (LogicT State) global state for a backtracking computation? |
| 2021-01-22 18:20:13 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-01-22 18:20:26 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 18:20:33 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 2021-01-22 18:21:47 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 18:21:52 +0100 | conal | (~conal@64.71.133.70) |
| 2021-01-22 18:22:15 +0100 | kritzefitz | (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2021-01-22 18:22:31 +0100 | <hololeap> | what do people use for an "IDE"? i've just been using two terminal windows with vim and ghci. <save>, switch terminals, `:r`, switch terminals, ... |
| 2021-01-22 18:22:34 +0100 | <aveltras> | monochrom: thanks, kept the foldable constraint in the end and used toList on it |
| 2021-01-22 18:22:46 +0100 | <hololeap> | i feel like there has to be something better |
| 2021-01-22 18:22:56 +0100 | <merijn> | hololeap: Vim + ghcide via ALE |
| 2021-01-22 18:23:02 +0100 | <aveltras> | haskell-language-server with emacs or vscode seems to work fine |
| 2021-01-22 18:23:17 +0100 | <aveltras> | should work with vim too but im not familiar with it |
| 2021-01-22 18:23:22 +0100 | <hpc> | hololeap: vim plus cabal repl? :D |
| 2021-01-22 18:24:03 +0100 | <hololeap> | merijn: what is ALE? |
| 2021-01-22 18:24:13 +0100 | ADG1089__ | (~aditya@122.163.160.223) (Remote host closed the connection) |
| 2021-01-22 18:24:20 +0100 | <merijn> | Asynchronous Lint Engine, it's a vim plugin with LSP support |
| 2021-01-22 18:24:32 +0100 | <hololeap> | oh, alright. i'll look into that |
| 2021-01-22 18:24:39 +0100 | ADG1089__ | (~aditya@122.163.160.223) |
| 2021-01-22 18:24:47 +0100 | <merijn> | hololeap: The answer is "everything will gradually be LSP, because LSP is objectively the only sensible technical choice" :p |
| 2021-01-22 18:25:37 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-01-22 18:25:44 +0100 | <hololeap> | i noticed that kate for KDE now has lsp support. now i just need to get lsp working for haskell |
| 2021-01-22 18:26:09 +0100 | <ski> | @unmtl StateT s (ContT () (ContT o m)) a |
| 2021-01-22 18:26:09 +0100 | <lambdabot> | s -> (a -> s -> (() -> m o) -> m o) -> (() -> m o) -> m o |
| 2021-01-22 18:26:16 +0100 | <merijn> | hololeap: ghcide and hls are both LSP based (and technically hls includes ghcide) |
| 2021-01-22 18:26:19 +0100 | <ski> | @unmtl ContT () (ContT o (ReaderT s m)) a |
| 2021-01-22 18:26:19 +0100 | <lambdabot> | (a -> (() -> s -> m o) -> s -> m o) -> (() -> s -> m o) -> s -> m o |
| 2021-01-22 18:26:26 +0100 | <ski> | @unmtl ContT () (ContT o (StateT s m)) a |
| 2021-01-22 18:26:26 +0100 | <lambdabot> | (a -> (() -> s -> m (o, s)) -> s -> m (o, s)) -> (() -> s -> m (o, s)) -> s -> m (o, s) |
| 2021-01-22 18:26:29 +0100 | <merijn> | But ghcide works on my machine *now*, so I'm not touching anything :p |
| 2021-01-22 18:27:04 +0100 | <ski> | pounce : you want state to persist backtracking ? |
| 2021-01-22 18:27:18 +0100 | <pounce> | ski: yes |
| 2021-01-22 18:27:26 +0100 | Graf_Blutwurst | (~grafblutw@2001:171b:226e:adc0:8d0f:df2a:9771:2f28) (Quit: WeeChat 3.0) |
| 2021-01-22 18:27:27 +0100 | <ski> | do you care about the final state ? |
| 2021-01-22 18:27:28 +0100 | <pounce> | the other way would be non-backtracking state |
| 2021-01-22 18:27:46 +0100 | <ski> | (the other would be what's usually called "backtrackable state") |
| 2021-01-22 18:27:55 +0100 | <pounce> | ski: no, I don't really care about final state |
| 2021-01-22 18:28:23 +0100 | <ski> | try `LogicT (Reader s)' |
| 2021-01-22 18:28:32 +0100 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-01-22 18:28:39 +0100 | hackage | dep-t 0.1.1.0 - Reader-like monad transformer for dependency injection. https://hackage.haskell.org/package/dep-t-0.1.1.0 (DanielDiazCarrete) |
| 2021-01-22 18:28:55 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 265 seconds) |
| 2021-01-22 18:29:46 +0100 | <pounce> | ski: but LogicT State would also be global state, yes? |
| 2021-01-22 18:30:00 +0100 | <ski> | but then you get back the final state in the end |
| 2021-01-22 18:30:22 +0100 | <ski> | (also, it allows for "post-end" modification of the state) |
| 2021-01-22 18:30:52 +0100 | <ski> | hm |
| 2021-01-22 18:30:55 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 18:31:17 +0100 | <pounce> | ah makes sense |
| 2021-01-22 18:31:27 +0100 | <ski> | maybe `ContT o (State s)' is actually doing something more involved. haven't checked details |
| 2021-01-22 18:31:35 +0100 | <ski> | i'd try `LogicT (Reader s)' |
| 2021-01-22 18:31:57 +0100 | ccchapman | (~cchapman@S0106889e68fa3df2.vc.shawcable.net) (Read error: Connection reset by peer) |
| 2021-01-22 18:32:29 +0100 | <ski> | (and start by building state primitives from the `Reader' stuff. also, i'd possibly hand-check to make sure things do what i expect them to) |
| 2021-01-22 18:33:04 +0100 | ski | 's more used to writing this kind of CPS stuff, by hand, rather than relying on combining monad transformers for it |
| 2021-01-22 18:34:30 +0100 | APic | (apic@apic.name) (Quit: New Screen + irssi) |
| 2021-01-22 18:36:12 +0100 | APic | (apic@apic.name) |
| 2021-01-22 18:36:29 +0100 | knupfer | (~Thunderbi@200116b82c623500042b66fffec02cf1.dip.versatel-1u1.de) |
| 2021-01-22 18:36:30 +0100 | knupfer | (~Thunderbi@200116b82c623500042b66fffec02cf1.dip.versatel-1u1.de) (Client Quit) |
| 2021-01-22 18:36:43 +0100 | neiluj | (~jco@91-167-203-101.subs.proxad.net) |
| 2021-01-22 18:36:44 +0100 | neiluj | (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-01-22 18:36:44 +0100 | neiluj | (~jco@unaffiliated/neiluj) |
| 2021-01-22 18:36:45 +0100 | knupfer | (~Thunderbi@i59F7FF3A.versanet.de) |
| 2021-01-22 18:37:07 +0100 | <raehik> | I've got an issue trying to use typeclasses with Alex. Since it generates actions with no type sig, any (Monad m) constraints don't work when I run the actions in the main lexer |
| 2021-01-22 18:37:23 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 18:37:25 +0100 | <raehik> | I get a bunch of "ambiguous type variable 'm0'" errors |
| 2021-01-22 18:37:52 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 18:38:05 +0100 | <raehik> | confirmed that adding the type sigs into the generated code works, but -- anyone have an idea on how to solve this? |
| 2021-01-22 18:42:25 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2021-01-22 18:43:27 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 2021-01-22 18:44:14 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 18:44:16 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 18:44:55 +0100 | <ski> | raehik : passing `-XNoMonomorphismRestriction' when compiling it works ? |
| 2021-01-22 18:45:44 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-22 18:48:00 +0100 | <raehik> | ski: yes, thank you very much! I have seen that and read about it! but I don't get it! |
| 2021-01-22 18:48:23 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-zdjmgeijnbfzlamw) (Quit: Connection closed for inactivity) |
| 2021-01-22 18:48:38 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 2021-01-22 18:48:44 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 2021-01-22 18:48:57 +0100 | <ski> | consider something like |
| 2021-01-22 18:49:05 +0100 | <ski> | primes = sieve [2 ..] |
| 2021-01-22 18:49:07 +0100 | <ski> | where |
| 2021-01-22 18:49:32 +0100 | xff0x | (~xff0x@2001:1a81:52c0:a300:74:d14d:bfef:9841) (Ping timeout: 260 seconds) |
| 2021-01-22 18:49:36 +0100 | <ski> | sieve (p:ns) = p : sieve [n | n <- ns,n `mod` p /= 0] |
| 2021-01-22 18:49:57 +0100 | <ski> | `primes' is an (infinite) list of (prime) numbers |
| 2021-01-22 18:50:04 +0100 | xff0x | (~xff0x@2001:1a81:52c0:a300:ad73:6002:7d0e:38a4) |
| 2021-01-22 18:50:37 +0100 | <raehik> | yes? |
| 2021-01-22 18:50:53 +0100 | <raehik> | I suppose it's concerning what type that number is |
| 2021-01-22 18:51:00 +0100 | <ski> | note that `primes' is not a function. using lazy evaluation, you'd expect that it memoized (cached) the values of the already generated primes, so that next time you look up some numbers from the `primes' list, it doesn't recompute them from scratch anymore |
| 2021-01-22 18:51:25 +0100 | <raehik> | right |
| 2021-01-22 18:51:35 +0100 | <ski> | however, the inferred type for `primes' would be `Integral i => [i]' |
| 2021-01-22 18:51:39 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 2021-01-22 18:52:17 +0100 | <cheater> | how would i solve the following problem in haskell? 1. every usb root hub can have up to 127 devices connected to its network of usb devices. 2. every hub counts as one device. 3. every hub has 4 ports. 4. hubs can be cascaded up to 5 levels, so usb root -> hub 1 -> hub 2 -> hub 3 -> hub 4 -> hub 5 -> keyboard is fine. 5. the usb root does not count as one of the 127 devices. 6. we want to maximize the amount of non-hub devices the user can connect |
| 2021-01-22 18:52:18 +0100 | <cheater> | at once. every non-hub device counts as 1 device connected out of the limit of 127. |
| 2021-01-22 18:52:46 +0100 | <cheater> | i want to figure out the topology of hub i'd be using to maximize the devices. |
| 2021-01-22 18:52:53 +0100 | <cheater> | *of hubs |
| 2021-01-22 18:53:12 +0100 | <ski> | and, with the dictionary-passing implementation of evidence records for type class constraints (`Integral i' here), this would actually be implemented as a function (`primes :: IntegralDict i -> [i]' where `data IntegralDict i = MkID {..,mod :: i -> i -> i,..}'), where the argument of type `IntegralDict i' is passed implicitly for you (you don't type it out) |
| 2021-01-22 18:53:38 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 18:53:49 +0100 | <ski> | so .. in fact, you'd not get the expected memoized behaviour of `primes' here, you'd instead recompute them over and over, each time you references `primes' |
| 2021-01-22 18:53:55 +0100 | <ski> | raehik : ok, so far ? |
| 2021-01-22 18:54:06 +0100 | <raehik> | I see, more or less |
| 2021-01-22 18:54:09 +0100 | <ski> | so |
| 2021-01-22 18:54:21 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-01-22 18:54:32 +0100 | <ski> | it was decided, iirc in Haskell98, that this would be confusing behaviour to newbies (and possibly sometimes also not-so-newbies) |
| 2021-01-22 18:54:51 +0100 | <ski> | so, the (Dreaded) Monomorphism Restriction was invented, that forbids such definitions |
| 2021-01-22 18:55:38 +0100 | <raehik> | I see! hadn't seen it explained that way |
| 2021-01-22 18:55:45 +0100 | <ski> | what it *tries* to do here, when you have a definition with no function parameters left of the `=', but still have some inferred constraints (`Integral i' here), is to *default* `i' to some particular specific type. in this case, it'd use `Integer' |
| 2021-01-22 18:56:10 +0100 | <ski> | so, the above definition will actually just give you `primes :: [Integer]' .. which now memoizes as expected |
| 2021-01-22 18:56:34 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-01-22 18:56:39 +0100 | <ski> | however, perhaps you wanted to use `primes' at some other number type, and you're confused why `primes' isn't polymorphic as usual |
| 2021-01-22 18:57:22 +0100 | <ski> | or, if it can't find a specific type to default on, in order to do away with the inferred type class constraints (like in your case, you had `Monad m', with no default for `m' there) |
| 2021-01-22 18:57:35 +0100 | <ski> | then it will give you an ambiguity error, as you saw |
| 2021-01-22 18:58:10 +0100 | <raehik> | Yep |
| 2021-01-22 18:58:35 +0100 | <[exa]> | cheater: why in haskell? (it's a relatively easy math) |
| 2021-01-22 18:58:43 +0100 | <ski> | so, while avoiding the suprising situation of not getting expected memoization, DMR instead confuses people because they're not getting polymorphism, or they're getting ambiguity errors |
| 2021-01-22 18:58:56 +0100 | <raehik> | yes |
| 2021-01-22 18:58:57 +0100 | <ski> | (hence the "Dreaded" nickname) |
| 2021-01-22 18:59:04 +0100 | <raehik> | of course, it could be avoided by just annotating things correctly? |
| 2021-01-22 18:59:06 +0100 | <ski> | there's three things you can do, to avoid DMR |
| 2021-01-22 18:59:47 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-01-22 18:59:56 +0100 | <cheater> | [exa]: i don't know how i would solve it mathematically |
| 2021-01-22 19:00:16 +0100 | <ski> | 0. you can put an explicit type signature on the definition. that always makes DMR not fire, since by declaring your (non-function-style) operation definition as constrained polymorphic, you show that you know there's constraints involved, and so you can be expected to know about loss of memoization |
| 2021-01-22 19:00:38 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 19:00:40 +0100 | <ski> | in your case, this was not an option, since you didn't want to modify the Alex-generated code (and presumably Alex didn't have an option to generate type signatures) |
| 2021-01-22 19:01:11 +0100 | <[exa]> | cheater: if you have any number of connected hubs in any topology and you add one, the total amount of devices that you can connect increases by 3, right? |
| 2021-01-22 19:01:23 +0100 | <monochrom> | Annotating things is easier said than done. If you think it's easy, you've only thought of top-level ones, which are easy. |
| 2021-01-22 19:01:34 +0100 | <cheater> | exarkun: hmm, yeah |
| 2021-01-22 19:01:36 +0100 | <cheater> | that's true |
| 2021-01-22 19:01:44 +0100 | <cheater> | good way to look at it. thanks. |
| 2021-01-22 19:01:53 +0100 | <ski> | 1. if the operation you're defining is actually a function, you can "use function extensionality", meaning, you add explicit parameters. so instead of `addOne = map (+1)', if you do `addOne ns = map (+1) ns', it will infer `addOne' as polymorphic |
| 2021-01-22 19:02:06 +0100 | <[exa]> | cheater: so the only thing you need is to dodge the max-depth restriction, which shouldn't be a problem really (as far as I can multiply) |
| 2021-01-22 19:02:35 +0100 | <cheater> | yeah it won't be a problem |
| 2021-01-22 19:02:45 +0100 | <cheater> | because 4^5 = 1024 |
| 2021-01-22 19:02:46 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 19:02:47 +0100 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-01-22 19:02:50 +0100 | <ski> | 2. you can turn off DMR, by using `-XNoMonomorphismRestriction' when compiling, or by placing `{-# LANGUAGE NoMonomorphismRestriction #-}' at the top of the file (you can also put something in the cabal file) |
| 2021-01-22 19:03:01 +0100 | <ski> | raehik : ok ? |
| 2021-01-22 19:03:26 +0100 | <raehik> | ski: I understand! at least plenty more than before |
| 2021-01-22 19:03:47 +0100 | <raehik> | Thank you very much for the detailed explanation! |
| 2021-01-22 19:03:48 +0100 | jackk_Doe | (~jackk@205.178.111.134) (Ping timeout: 272 seconds) |
| 2021-01-22 19:03:50 +0100 | <cheater> | [exa]: so i guess it would just be 127/3... which is... 42 and a third |
| 2021-01-22 19:03:56 +0100 | <cheater> | huh. weird. |
| 2021-01-22 19:04:05 +0100 | vappend | (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 2021-01-22 19:04:15 +0100 | <cheater> | i guess 126 is what you can get practically. not 127 |
| 2021-01-22 19:04:17 +0100 | <cheater> | so odd |
| 2021-01-22 19:04:23 +0100 | <raehik> | also learning about what typeclasses mean for sharing is very good to know |
| 2021-01-22 19:04:26 +0100 | jfe | (~user@pool-71-184-149-134.bstnma.fios.verizon.net) |
| 2021-01-22 19:04:27 +0100 | <[exa]> | actually I'd guess ⌜127/4⌝ hubs |
| 2021-01-22 19:05:04 +0100 | <[exa]> | (since there is always (roughly) 3 times more devices than hubs, total 4) |
| 2021-01-22 19:05:26 +0100 | <cheater> | 3 times more devices than hubs? |
| 2021-01-22 19:05:41 +0100 | <ski> | raehik : note that if you define some function `foo :: Num a => a -> ...', and then you *locally* define some list of type `a' inside `foo', then that list is actually monomorphic, so you'll get sharing |
| 2021-01-22 19:06:03 +0100 | <cheater> | but every hub has 4 devices connected to it |
| 2021-01-22 19:06:14 +0100 | <cheater> | now you've lost me |
| 2021-01-22 19:06:16 +0100 | <cheater> | :) |
| 2021-01-22 19:06:27 +0100 | <__monty__> | cheater: And with 32 hubs you *can* saturate the 127 device limit afaict. |
| 2021-01-22 19:06:42 +0100 | <[exa]> | cheater: try it on a small example that you can draw quickly, it should be /4 |
| 2021-01-22 19:06:49 +0100 | <monochrom> | Sounds awfully like my http://www.vex.net/~trebla/weblog/collect-redeem.html |
| 2021-01-22 19:07:02 +0100 | <ski> | raehik : most polymorphic operations "look monomorphic from the inside". it happens, but is not that common, that you see "polymorphic recursion", where your polymorphic operation is using itself recursively, at some *other* type than the type used for the current call/use |
| 2021-01-22 19:07:21 +0100 | <cheater> | __monty__: really? |
| 2021-01-22 19:07:51 +0100 | <Uniaika> | woop woop, got my new machine |
| 2021-01-22 19:07:58 +0100 | <Uniaika> | I'll be able to compile GHC in less than 6 hours |
| 2021-01-22 19:08:05 +0100 | <raehik> | hmm yeah, I can't think of a polymorphic recursion example off the top of my head |
| 2021-01-22 19:08:36 +0100 | <ski> | raehik : e.g. in `map f (x:xs) = f x : map f xs', `map' is calling itself using the same types for `a' and `b' as used in the original call to `map :: (a -> b) -> [a] -> [b]'. when passed a list of `a's, the recursive call is also to a list of `a's, for the *same* type `a' |
| 2021-01-22 19:08:53 +0100 | <geekosaur> | showsPrec is an example |
| 2021-01-22 19:09:16 +0100 | <[exa]> | cheater: you have 1 connection on the beginning, add 32 hubs which adds you 96 connections, in total you have 32 hubs + 96 possible devices = 128 |
| 2021-01-22 19:09:22 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 19:09:28 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 19:09:41 +0100 | <[exa]> | s/connections/ports/ |
| 2021-01-22 19:09:45 +0100 | <ski> | raehik : consider `data PerfectlyBalancedBinaryTree a = Elems a | Double (PerfectlyBalancedBinaryTree (a,a))' (an "irregular data type"), and try to write any non-trivial (recursively defined) function on that. it'll likely need to be polymorphically recursive |
| 2021-01-22 19:09:56 +0100 | <cheater> | hmm gotcha exa |
| 2021-01-22 19:10:29 +0100 | <raehik> | ski: yep, I see what you mean |
| 2021-01-22 19:10:38 +0100 | <[exa]> | cheater: well anyway, good luck connecting that. :] |
| 2021-01-22 19:10:52 +0100 | <cheater> | oh, so each hub adds 3 ports, but also uses up 1 device. so you want to go where used devices + available ports = 127 |
| 2021-01-22 19:10:58 +0100 | <ski> | raehik : a silly example is `silly :: Show a => [a] -> [String]; silly [] = []; silly (x:xs) = show x : silly (map (: []) xs)'. when called on a list of type `[a]', this will call itself on a list of type `[[a]]' (and will construct a new `Show [a]' instance at run-time, from the `Show a' instance it was passed) |
| 2021-01-22 19:11:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-01-22 19:12:16 +0100 | <ski> | ("regular data types" are those where recursive uses of them, in their definition, pass the *same* type parameters, in the *same* order. another irregular one is `data SwapList a b = Nil | Cons a (SwapList b a)') |
| 2021-01-22 19:12:19 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-01-22 19:12:23 +0100 | <cheater> | so i guess you can't occupy the last usb port |
| 2021-01-22 19:12:31 +0100 | <cheater> | cause that would make 128 |
| 2021-01-22 19:12:41 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 19:13:05 +0100 | wmacmil | (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 2021-01-22 19:14:32 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 264 seconds) |
| 2021-01-22 19:14:33 +0100 | <raehik> | that is indeed silly |
| 2021-01-22 19:15:21 +0100 | <raehik> | if you use fixpoints in data types, can you get the same (both regular and irregular data types)? |
| 2021-01-22 19:15:57 +0100 | <raehik> | I think of the cofree comonad that lets you "annotate" a recursive structure, it appears regular but unsure |
| 2021-01-22 19:15:57 +0100 | <ski> | what do you mean by "use fixpoints in data types" ? |
| 2021-01-22 19:16:00 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 19:16:09 +0100 | <raehik> | ah I mean functor fixpoints? |
| 2021-01-22 19:16:16 +0100 | <raehik> | or something, I do not know the terminology well |
| 2021-01-22 19:16:29 +0100 | <monochrom> | Use an example? |
| 2021-01-22 19:16:59 +0100 | <raehik> | yep just finding my notes |
| 2021-01-22 19:17:19 +0100 | <ski> | well, for `data List a = Nil | Cons a (List a)', you can think of this "algebraically" as a recursive equation `List a = 1 + a * List a' |
| 2021-01-22 19:18:01 +0100 | <ski> | in general (outside of Haskell context), one could have multiple solutions (for `List a') for such an equation |
| 2021-01-22 19:19:14 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 19:19:28 +0100 | juuandyy | (~juuandyy@90.106.228.121) |
| 2021-01-22 19:19:33 +0100 | <ski> | under certain conditions, one can have a "least solution", where `List a' would be the type/set/something-fancier of all *finite* lists of `a'-elements; and the "greatest solution", where it would also include all the infinite ones (both cyclic, and non-cyclic ones) |
| 2021-01-22 19:19:48 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-01-22 19:19:55 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 19:20:05 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 2021-01-22 19:20:06 +0100 | <raehik> | bit lost but thanks |
| 2021-01-22 19:20:12 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-01-22 19:20:39 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 2021-01-22 19:20:56 +0100 | <ski> | the first one is often written as `mu r. 1 + a * r'. so `List a = mu r. 1 + a * r', then. in Haskell, we could define a functor `data ListF a r = NilF | ConsF a r', and set `type List a = Mu (ListF a)' |
| 2021-01-22 19:20:59 +0100 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-01-22 19:21:49 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 19:21:53 +0100 | <ski> | `mu r. 1 + a * r' is something like `let r = 1 + a * r in r' (but where we specifically indicate that we want the *least* solution of the equation) |
| 2021-01-22 19:22:45 +0100 | <ski> | the second one (greatest solution / fixed-point) is written with the greek letter `nu', instead of `mu' |
| 2021-01-22 19:23:26 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 19:23:36 +0100 | <ski> | however, Haskell conflates these two, so that you can already have infinite lists with `data List a = Nil | Cons a (List a)'. but sometimes we pretend that we only have values of "finite depth", ignoring the others |
| 2021-01-22 19:24:13 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-01-22 19:24:28 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 2021-01-22 19:25:04 +0100 | <ski> | (you can see bottom of <http://tunes.org/~nef/logs/haskell/21.01.22> if you want to see what you missed) |
| 2021-01-22 19:25:21 +0100 | quaestor | (~quaestor@griffith.christophrauch.de) (Remote host closed the connection) |
| 2021-01-22 19:25:22 +0100 | <ski> | raehik : anyway, you know about `fix' in Haskell ? |
| 2021-01-22 19:25:32 +0100 | <ski> | raehik1 ^ |
| 2021-01-22 19:25:36 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2021-01-22 19:27:42 +0100 | <monochrom> | Usually I would use "data IL = Nil | Cons Int IL", i.e., without the polymorphism, to stay focused. |
| 2021-01-22 19:27:50 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 19:28:08 +0100 | adeene | (~adeene@181.131.0.191) (Ping timeout: 265 seconds) |
| 2021-01-22 19:28:16 +0100 | <raehik1> | ski: yes (sorry network d/ced) |
| 2021-01-22 19:28:24 +0100 | <ski> | yea .. but the parametrization here was exactly the point i wanted to get at |
| 2021-01-22 19:28:37 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 19:28:55 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-01-22 19:29:05 +0100 | <raehik1> | ski: I may have missed any msgs between 20-24m |
| 2021-01-22 19:29:16 +0100 | omnitrogen | (~omnitroge@vps-c9700282.vps.ovh.net) (Ping timeout: 240 seconds) |
| 2021-01-22 19:29:23 +0100 | <raehik1> | oh thank you haha |
| 2021-01-22 19:29:24 +0100 | <ski> | see the link above |
| 2021-01-22 19:29:30 +0100 | omnitrogen | (~omnitroge@vps-c9700282.vps.ovh.net) |
| 2021-01-22 19:29:52 +0100 | <Lycurgus> | and I said 'experience precedes essence' the other day when in fact ofc I meant "existence' |
| 2021-01-22 19:30:16 +0100 | <ski> | raehik1 : so, you know you could define `map' as `map = fix (\map f xs0 -> case xs0 of [] -> []; x:xs -> f x : map f xs)', right ? |
| 2021-01-22 19:30:18 +0100 | Saukk | (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 2021-01-22 19:30:24 +0100 | <ski> | Lycurgus : oh, i was wondering what you meant |
| 2021-01-22 19:30:45 +0100 | <monochrom> | I still wonder what you meant. Because now you have added one more ambiguity. |
| 2021-01-22 19:30:58 +0100 | <Lycurgus> | yeah talk about truth triggers/torques me |
| 2021-01-22 19:31:07 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 19:31:20 +0100 | <Lycurgus> | monochrom, it's an allusion to sartre |
| 2021-01-22 19:31:34 +0100 | <raehik1> | ski: yes (though clobbering map appears a bit confusing) |
| 2021-01-22 19:31:45 +0100 | <ski> | hm, "essence" comes from latin "esse", yes ? meaning "to be", or something like that, having to do with "being" ? what's the difference between that, and "existence" ? |
| 2021-01-22 19:31:49 +0100 | <Lycurgus> | see long late on 1/19 |
| 2021-01-22 19:31:55 +0100 | <monochrom> | But philosophy goes to #haskell-offtopic, no? |
| 2021-01-22 19:31:56 +0100 | <Lycurgus> | *see log |
| 2021-01-22 19:32:03 +0100 | <ski> | yea, was about to say :) |
| 2021-01-22 19:32:06 +0100 | <Lycurgus> | it didn then |
| 2021-01-22 19:32:09 +0100 | nineonin_ | (~nineonine@50.216.62.2) |
| 2021-01-22 19:32:25 +0100 | <Lycurgus> | so the correction there would be odd |
| 2021-01-22 19:32:35 +0100 | adeene | (~adeene@181.131.0.191) |
| 2021-01-22 19:32:49 +0100 | asheshambasta | (~user@ptr-e1lysawnw92jt7iswfx.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 2021-01-22 19:32:49 +0100 | <ski> | raehik1 : anyway, note that you can avoid passing around `f', by instead doing `map = \f -> fix (\map_f xs0 -> case xs0 of [] -> []; f x : map_f xs)' |
| 2021-01-22 19:33:25 +0100 | wmacmil | (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 240 seconds) |
| 2021-01-22 19:33:47 +0100 | <raehik1> | right |
| 2021-01-22 19:33:55 +0100 | <ski> | now, `map' is polymorphic |
| 2021-01-22 19:34:03 +0100 | <ski> | % :t map |
| 2021-01-22 19:34:04 +0100 | <yahb> | ski: (a -> b) -> [a] -> [b] |
| 2021-01-22 19:34:15 +0100 | <ski> | % :t map @String |
| 2021-01-22 19:34:15 +0100 | <yahb> | ski: (String -> b) -> [String] -> [b] |
| 2021-01-22 19:34:20 +0100 | <ski> | % :t map @String @Bool |
| 2021-01-22 19:34:21 +0100 | <yahb> | ski: (String -> Bool) -> [String] -> [Bool] |
| 2021-01-22 19:34:48 +0100 | <ski> | that's a notation where you can specify the (normally implicit) type-parameters (for polymorphic operations) |
| 2021-01-22 19:34:59 +0100 | <raehik1> | yeah, seen it a bit |
| 2021-01-22 19:35:29 +0100 | <ski> | so, since `map :: forall a. forall b. (a -> b) -> [a] -> [b]', the first `@String' corresponds to removing the `forall a.', and replacing `a' by `String' |
| 2021-01-22 19:35:43 +0100 | <ski> | and for the second, you remove `forall b.', and replace `b' by `Bool' |
| 2021-01-22 19:36:05 +0100 | <ski> | so, we could actually imagine `map' being defined explicitly, something like |
| 2021-01-22 19:36:06 +0100 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-01-22 19:36:16 +0100 | <ski> | map :: forall a. forall b. (a -> b) -> [a] -> [b] |
| 2021-01-22 19:36:57 +0100 | <ski> | map @a @b f [ ] = [ ] |
| 2021-01-22 19:37:13 +0100 | <ski> | map @a @b f (x:xs) = f x : map @a @b f xs |
| 2021-01-22 19:37:35 +0100 | <ski> | where we can now see that not only is `f' passed unchanged to the recursive call, but also the two type parameters `a' and `b' |
| 2021-01-22 19:37:43 +0100 | <raehik1> | yeah |
| 2021-01-22 19:37:53 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 2021-01-22 19:38:04 +0100 | <ski> | (aside, note e.g. that here `f :: a -> b', with no `forall's in the type. `f', and `x', and `xs' are all monomorphic) |
| 2021-01-22 19:38:19 +0100 | <ski> | so |
| 2021-01-22 19:38:29 +0100 | <ski> | map = fix (\map f xs0 -> case xs0 of [] -> []; x:xs -> f x : map f xs) |
| 2021-01-22 19:38:36 +0100 | <ski> | could either be written as |
| 2021-01-22 19:38:38 +0100 | hackage | citeproc 0.3.0.5 - Generates citations and bibliography from CSL styles. https://hackage.haskell.org/package/citeproc-0.3.0.5 (JohnMacFarlane) |
| 2021-01-22 19:39:16 +0100 | <ski> | map = \@a @b -> fix (\map_a_b f xs0 -> case xs0 of [] -> []; x:xs -> f x : map_a_b f xs) |
| 2021-01-22 19:39:28 +0100 | <raehik1> | (huh, so you wouldn't be able to pass types to f (in this example) even if you wanted to?) |
| 2021-01-22 19:39:33 +0100 | <ski> | (using an imagined "lambda" syntax for the usually implicit type parameters there) |
| 2021-01-22 19:39:38 +0100 | <ski> | or as |
| 2021-01-22 19:39:57 +0100 | <ski> | map = fix (\map @a @b f xs0 -> case xs0 of [] -> []; x:xs -> f x : map @a @b f xs) |
| 2021-01-22 19:40:04 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-01-22 19:40:15 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 2021-01-22 19:40:16 +0100 | <ski> | the former is "monomorphic recursion". the latter is "polymorphic recursion" |
| 2021-01-22 19:40:36 +0100 | <ski> | raehik1 : exactly. since `f' is not polymorphic here. only `map' |
| 2021-01-22 19:40:37 +0100 | <ski> | is |
| 2021-01-22 19:40:39 +0100 | quaestor | (~quaestor@griffith.christophrauch.de) |
| 2021-01-22 19:40:46 +0100 | <raehik1> | (I think I get why anyway) |
| 2021-01-22 19:41:13 +0100 | <ski> | anyway, the former could be further rewritten as |
| 2021-01-22 19:41:25 +0100 | <ski> | map = \@a @b f -> fix (\map_a_b_f xs0 -> case xs0 of [] -> []; x:xs -> f x : map_a_b_f xs) |
| 2021-01-22 19:41:31 +0100 | <ski> | also avoiding passing around the `f', as before |
| 2021-01-22 19:41:33 +0100 | <monochrom> | Thanks ski. Now I see why it is called polymorphic recursion. |
| 2021-01-22 19:41:49 +0100 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-kyudgntnnhxnqkma) (Quit: Connection closed for inactivity) |
| 2021-01-22 19:41:56 +0100 | <ski> | in the polymorphic recursion case, `map' actually calls the polymorphic `map' |
| 2021-01-22 19:42:25 +0100 | <ski> | in the monomorphic recursion case, `map' effectively calls what i above called `map_a_b', which is monomorphic (has no `forall's at the beginning of its type) |
| 2021-01-22 19:42:38 +0100 | <ski> | monochrom : .. i thought everybody knew |
| 2021-01-22 19:42:54 +0100 | <hololeap> | i added this to ghc-options in my cabal file: -with-rtsopts="-N" |
| 2021-01-22 19:43:11 +0100 | <hololeap> | now the executable is telling me: unexpected RTS argument: "-N" |
| 2021-01-22 19:43:35 +0100 | <merijn> | hololeap: Because you didn't specify -rtsopts, presumably :p |
| 2021-01-22 19:43:39 +0100 | <ski> | raehik1 : i hope you see the gist of this, now ? |
| 2021-01-22 19:43:43 +0100 | <merijn> | Also, -N is probably bad |
| 2021-01-22 19:44:08 +0100 | <geekosaur> | maybe because they forgot -threaded? |
| 2021-01-22 19:44:13 +0100 | <merijn> | Also also, -N is quintupply bad if you're not specifically disabling parallel GC |
| 2021-01-22 19:44:34 +0100 | <hololeap> | (ghc-options also contains -threaded) |
| 2021-01-22 19:44:39 +0100 | <hololeap> | merijn: why is it bad? |
| 2021-01-22 19:44:48 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 2021-01-22 19:45:15 +0100 | <merijn> | hololeap: Because a huge number of threads causes massive slowdowns with parallel GC (which is (currently, still) the default) |
| 2021-01-22 19:45:16 +0100 | <hololeap> | it's also showing -N as a possibility under the RTS usage blurb that it is spitting out |
| 2021-01-22 19:45:28 +0100 | <merijn> | hololeap: Did you specify -rtsopts? |
| 2021-01-22 19:45:38 +0100 | <Lycurgus> | and presumably single threaded gc is insufficient |
| 2021-01-22 19:45:50 +0100 | <hololeap> | i thought -threaded implied -rtsopts |
| 2021-01-22 19:45:51 +0100 | <merijn> | Lycurgus: single threaded GC *is* sufficient |
| 2021-01-22 19:45:55 +0100 | <merijn> | hololeap: No |
| 2021-01-22 19:45:56 +0100 | <ski> | raehik1 : anyway, for `List a', we basically have `List = /\a -> mu r_a. 1 + a * r_a' (the "regular" case, leading to (usually) monomorphic recursion). but we could also conceptualize it as `List = mu r. /\ a -> 1 + a * r a' (thinking of it as "irregular"). and for `SwapList a b', we need to do this latter : `SwapList = mu r. /\ a b -> 1 + a * r b a' (passing `a' and `b' in opposite order to `r') |
| 2021-01-22 19:45:57 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-umwabsvemdunxurx) |
| 2021-01-22 19:46:05 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 19:46:24 +0100 | <merijn> | Lycurgus: The real problem is "you don't know how many cores the user has and defaulting to one capability per core is unreasonable on many hardware" |
| 2021-01-22 19:46:35 +0100 | <raehik1> | ski: apologies, more IRC lag |
| 2021-01-22 19:46:42 +0100 | <ski> | nw |
| 2021-01-22 19:46:59 +0100 | <cocreature> | is there something like `hGetNewlineMode`? I can only find `hSetNewlineMode` |
| 2021-01-22 19:47:02 +0100 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) ("Leaving") |
| 2021-01-22 19:47:05 +0100 | <merijn> | Lycurgus: Like, the server I usually work on has like 48 cores, there's rarely a great reason to spawn that many threads and think it'll be better. You wanna do either something smart or let the user specify |
| 2021-01-22 19:47:08 +0100 | <Lycurgus> | are cores bound to heaps oder? |
| 2021-01-22 19:47:17 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Ping timeout: 260 seconds) |
| 2021-01-22 19:47:32 +0100 | <hololeap> | merijn: doesn't having "-N" by default still allow the user to specify? |
| 2021-01-22 19:47:51 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 2021-01-22 19:47:54 +0100 | <merijn> | Lycurgus: Not to mention stuff like, "is this a hyper-threaded CPU? do we really wanna specify 1 capability per hyperthread? etc.) |
| 2021-01-22 19:48:09 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 2021-01-22 19:48:22 +0100 | <raehik1> | thanks for all that ski , I will let it stew |
| 2021-01-22 19:48:31 +0100 | <merijn> | hololeap: You can just set the number of capabilities in the code anyway and have logic to decide something reasonable |
| 2021-01-22 19:48:31 +0100 | ski | nods |
| 2021-01-22 19:48:32 +0100 | <ski> | yw |
| 2021-01-22 19:49:00 +0100 | <Lycurgus> | i wouldn want to distinguish between hardware thread types in hs (or any HLL) |
| 2021-01-22 19:49:39 +0100 | awk | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-01-22 19:49:40 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 19:49:44 +0100 | <merijn> | Lycurgus: Eh, you can't magically ignore hardware details in Haskell, that makes no sense |
| 2021-01-22 19:50:11 +0100 | <merijn> | Hyperthreading or multi CPU (rather than multi-core!) makes a big difference in behaviour and you probably wanna take that into account |
| 2021-01-22 19:50:29 +0100 | <Uniaika> | yup', merijn is right |
| 2021-01-22 19:50:42 +0100 | <merijn> | I'm always right! |
| 2021-01-22 19:50:46 +0100 | <hololeap> | ghc-options: -Wall -threaded -rtsopts -with-rtsopts="-N4" |
| 2021-01-22 19:50:52 +0100 | worc3131 | (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Remote host closed the connection) |
| 2021-01-22 19:50:57 +0100 | <hololeap> | unexpected RTS argument: "-N4" |
| 2021-01-22 19:51:09 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-01-22 19:51:11 +0100 | <hololeap> | i don't understand |
| 2021-01-22 19:51:13 +0100 | awk | (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 2021-01-22 19:51:50 +0100 | <merijn> | Full cabal file and full error in pastebin |
| 2021-01-22 19:52:12 +0100 | awk | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-01-22 19:52:15 +0100 | <hololeap> | Oh, it didn't like the double quotes in -with-rtsopts |
| 2021-01-22 19:52:21 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-tgnhqpyxeablmxyi) |
| 2021-01-22 19:52:26 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 19:52:29 +0100 | <hololeap> | -with-rtsopts=-N4 works |
| 2021-01-22 19:53:15 +0100 | <geekosaur> | cabal file? it won't handle quotes the same way as the shell does (or at all, I think) |
| 2021-01-22 19:53:40 +0100 | <merijn> | geekosaur: It does, but it's funky >.> |
| 2021-01-22 19:53:49 +0100 | <merijn> | geekosaur: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/benchmark-analysis.cabal#L65 |
| 2021-01-22 19:54:27 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-22 19:54:51 +0100 | <geekosaur> | ok, so it handles quotes naïvely |
| 2021-01-22 19:55:08 +0100 | <geekosaur> | which is better than not handling them at all, I guess |
| 2021-01-22 19:55:47 +0100 | awk | (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 2021-01-22 19:56:18 +0100 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-01-22 19:56:26 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 19:56:45 +0100 | ixaxaar | (~ixaxaar@49.207.210.215) (Ping timeout: 240 seconds) |
| 2021-01-22 19:57:08 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 264 seconds) |
| 2021-01-22 19:57:47 +0100 | rfn | (~rais@116.88.230.170) (Quit: WeeChat 3.0) |
| 2021-01-22 19:58:45 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 20:02:21 +0100 | y3Hzy | (~y3Hzy@2600:1700:f9d0:d0d0:b7a4:51dc:ad23:2bc2) |
| 2021-01-22 20:02:25 +0100 | geekosaur | (82650c7c@130.101.12.124) (Ping timeout: 248 seconds) |
| 2021-01-22 20:02:31 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-22 20:02:56 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-22 20:03:29 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2021-01-22 20:04:31 +0100 | bogdanp | (~bogdanp@188.24.80.165) |
| 2021-01-22 20:04:47 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-01-22 20:05:35 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 265 seconds) |
| 2021-01-22 20:05:40 +0100 | y3Hzy | (~y3Hzy@2600:1700:f9d0:d0d0:b7a4:51dc:ad23:2bc2) (Client Quit) |
| 2021-01-22 20:06:08 +0100 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 264 seconds) |
| 2021-01-22 20:07:04 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 20:07:45 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 2.9) |
| 2021-01-22 20:08:09 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 20:09:28 +0100 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-01-22 20:12:20 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 2021-01-22 20:12:37 +0100 | Martinsos | (~user@cpe-188-129-56-3.dynamic.amis.hr) (Remote host closed the connection) |
| 2021-01-22 20:14:01 +0100 | Martinsos | (~user@cpe-188-129-56-3.dynamic.amis.hr) |
| 2021-01-22 20:14:52 +0100 | jespada | (~jespada@90.254.242.138) (Quit: Leaving) |
| 2021-01-22 20:15:02 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 20:16:34 +0100 | Guest78126 | (~textual@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-01-22 20:17:17 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 20:17:33 +0100 | <Martinsos> | I need to send HTTPS POST request. Any recommendations on which package to use? I tried HTTP but it does not support HTTPS. I see there are http-client, http-client-tls, http-conduit -> which one should I use? |
| 2021-01-22 20:18:43 +0100 | mdunnio | (~mdunnio@172.97.43.112) (Remote host closed the connection) |
| 2021-01-22 20:20:32 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 20:20:39 +0100 | <maerwald> | focus on the produc.g.#d |
| 2021-01-22 20:21:33 +0100 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-01-22 20:21:57 +0100 | Alleria | Guest59239 |
| 2021-01-22 20:23:10 +0100 | geekosaur | (82650c7c@130.101.12.124) |
| 2021-01-22 20:23:46 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 20:24:02 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 20:24:11 +0100 | maerwald | (~maerwald@mail.hasufell.de) ("WeeChat 2.9") |
| 2021-01-22 20:24:46 +0100 | mdunnio | (~mdunnio@172.97.43.112) |
| 2021-01-22 20:25:17 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-01-22 20:25:56 +0100 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 264 seconds) |
| 2021-01-22 20:26:06 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-22 20:26:29 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 20:26:32 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 20:27:23 +0100 | maerwald | (~maerwald@mail.hasufell.de) |
| 2021-01-22 20:28:18 +0100 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-01-22 20:29:04 +0100 | juuandyy | (~juuandyy@90.106.228.121) (Ping timeout: 256 seconds) |
| 2021-01-22 20:29:55 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 272 seconds) |
| 2021-01-22 20:31:07 +0100 | hackage | hls-tactics-plugin 0.5.1.0 - Tactics plugin for Haskell Language Server https://hackage.haskell.org/package/hls-tactics-plugin-0.5.1.0 (isovector) |
| 2021-01-22 20:31:49 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds) |
| 2021-01-22 20:33:37 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 265 seconds) |
| 2021-01-22 20:34:17 +0100 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-01-22 20:36:17 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 20:38:16 +0100 | raym_ | (~ray@45.64.220.55) |
| 2021-01-22 20:38:27 +0100 | raym_ | (~ray@45.64.220.55) (Client Quit) |
| 2021-01-22 20:39:12 +0100 | raym | (~ray@45.64.220.55) (Quit: leaving) |
| 2021-01-22 20:39:39 +0100 | raym | (~ray@45.64.220.55) |
| 2021-01-22 20:40:03 +0100 | deviantfero | (~deviantfe@190.150.27.58) (Ping timeout: 272 seconds) |
| 2021-01-22 20:42:01 +0100 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-01-22 20:43:14 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 20:44:01 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 20:44:51 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 20:46:05 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 20:47:38 +0100 | hackage | dep-t 0.1.2.0 - Reader-like monad transformer for dependency injection. https://hackage.haskell.org/package/dep-t-0.1.2.0 (DanielDiazCarrete) |
| 2021-01-22 20:48:23 +0100 | jess | j |
| 2021-01-22 20:48:59 +0100 | djbeau | (~dbeaureg@148.87.23.7) (Remote host closed the connection) |
| 2021-01-22 20:51:44 +0100 | raym | (~ray@45.64.220.55) (Quit: leaving) |
| 2021-01-22 20:52:57 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 265 seconds) |
| 2021-01-22 20:53:49 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-22 20:54:11 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-22 20:54:30 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 20:56:43 +0100 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-01-22 20:58:15 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 20:58:56 +0100 | jmchael | (~jmchael@87.112.235.234) |
| 2021-01-22 20:59:09 +0100 | jmchael | (~jmchael@87.112.235.234) () |
| 2021-01-22 20:59:49 +0100 | ][MandRaK][ | (~mandrak@177.184.128.17) |
| 2021-01-22 21:01:14 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 21:02:24 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 240 seconds) |
| 2021-01-22 21:02:51 +0100 | Lycurgus | (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-01-22 21:02:54 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-01-22 21:03:35 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-22 21:03:38 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 21:04:56 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-01-22 21:06:38 +0100 | ransom | (~c4264035@2a09:bac0:98::830:861e) |
| 2021-01-22 21:07:01 +0100 | <aveltras> | i'd like to make a ui component library where i could have several implementations (lucid, blaze, etc;.). For this, im defining a core lib which contains data types (Accordion, Modal, etc..). I'd like those data types constructors to not be available for users (only allow record updates with smart constructors) but available in the "sister" libraries which contain implementations for html library. Is there a way to |
| 2021-01-22 21:07:01 +0100 | <aveltras> | accomplish this or must I rely on the "Internal" module pattern I've seen multiple times ? |
| 2021-01-22 21:07:07 +0100 | petersen | (~petersen@redhat/juhp) |
| 2021-01-22 21:08:22 +0100 | <merijn> | aveltras: Currently, yes |
| 2021-01-22 21:08:33 +0100 | <merijn> | aveltras: Or, you can "invert" your design |
| 2021-01-22 21:08:58 +0100 | <merijn> | And instead of your external libraries accessing the implementation details of your library, have them pass in the API for your core to use |
| 2021-01-22 21:09:14 +0100 | <merijn> | aveltras: Kinda "OO" Haskell as I like to think of it |
| 2021-01-22 21:09:39 +0100 | <aveltras> | i might have to do this |
| 2021-01-22 21:09:40 +0100 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-01-22 21:09:46 +0100 | <merijn> | aveltras: Just define a record of functions/operations that your library uses, then pass in the right version of that record from the lucid/blaze/etc. wrapper |
| 2021-01-22 21:10:01 +0100 | <merijn> | aveltras: That design works very well in many situations, tbh |
| 2021-01-22 21:10:07 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 21:10:07 +0100 | <aveltras> | also wondering if accomplishing what id like with cabal flags and CPP is frowned upon (i guess so) |
| 2021-01-22 21:10:14 +0100 | <merijn> | aveltras: You can see it in persistent's SqlBackend |
| 2021-01-22 21:10:26 +0100 | <merijn> | aveltras: "cabal flags" <- almost certainly |
| 2021-01-22 21:10:33 +0100 | <aveltras> | :) |
| 2021-01-22 21:10:52 +0100 | <merijn> | Especially if the answer is "will your public API depend on specific flags?" is "yes" |
| 2021-01-22 21:11:10 +0100 | <Martinsos> | merijn: would official name for that pattern be Dependency Injection? Or is this different? |
| 2021-01-22 21:11:19 +0100 | energizer | (~energizer@unaffiliated/energizer) (Quit: ZNC 1.7.0+deb0+xenial1 - https://znc.in) |
| 2021-01-22 21:11:23 +0100 | <merijn> | Martinsos: Yes, no, maybe? |
| 2021-01-22 21:11:44 +0100 | <merijn> | Martinsos: tbh,everytime people talk about "dependency injection" I have to google the exact meaning, because I forget |
| 2021-01-22 21:12:14 +0100 | <merijn> | Martinsos: Dependency injection just sounds like "an overcomplicated way of saying 'passing an argument to a function'" |
| 2021-01-22 21:13:14 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 21:13:19 +0100 | <Martinsos> | merijn: Actually more of passing an implementation to a function. But true, I also always thought that Dependency Injection is a fancy term explaining smth very simple! Still, it is used a lot and people kind of know what it means. Ok nvm I was just curious :). |
| 2021-01-22 21:13:50 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-01-22 21:14:38 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2021-01-22 21:15:58 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-01-22 21:16:20 +0100 | usr25 | (~usr25@unaffiliated/usr25) () |
| 2021-01-22 21:16:46 +0100 | conal_ | (~conal@64.71.133.70) |
| 2021-01-22 21:18:31 +0100 | hiroaki | (~hiroaki@2a02:908:4b18:8c40::ee4f) |
| 2021-01-22 21:20:02 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 21:20:12 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-01-22 21:20:33 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 2021-01-22 21:22:02 +0100 | pera | (~pera@unaffiliated/pera) (Quit: leaving) |
| 2021-01-22 21:22:39 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 21:26:57 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 2021-01-22 21:27:57 +0100 | <ephemient> | doesn't help that some people will say dependency injection when they just have a service locator |
| 2021-01-22 21:28:07 +0100 | <ezzieyguywuf> | wahooo, gentoo haskell overlay now has the latest aeson and quickcheck and all relevant affected reverse dependencies |
| 2021-01-22 21:28:11 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2021-01-22 21:29:23 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-22 21:29:26 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 21:29:31 +0100 | livvy_ | (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection) |
| 2021-01-22 21:29:39 +0100 | livvy | (~livvy@gateway/tor-sasl/livvy) |
| 2021-01-22 21:30:47 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 21:32:55 +0100 | mdunnio_ | (~mdunnio@172.97.43.112) |
| 2021-01-22 21:33:47 +0100 | conal_ | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-01-22 21:34:55 +0100 | coot | (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 2021-01-22 21:35:25 +0100 | leungbk | (~user@2603-8000-f144-2028-7ee3-af7d-0275-3a3a.res6.spectrum.com) |
| 2021-01-22 21:35:29 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-01-22 21:35:56 +0100 | mdunnio | (~mdunnio@172.97.43.112) (Ping timeout: 240 seconds) |
| 2021-01-22 21:37:32 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 21:39:36 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 21:40:30 +0100 | ransom | (~c4264035@2a09:bac0:98::830:861e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-01-22 21:40:59 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 256 seconds) |
| 2021-01-22 21:41:28 +0100 | leungbk | (~user@2603-8000-f144-2028-7ee3-af7d-0275-3a3a.res6.spectrum.com) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-01-22 21:46:27 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 2021-01-22 21:48:08 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-01-22 21:48:08 +0100 | knupfer | (~Thunderbi@i59F7FF3A.versanet.de) (Quit: knupfer) |
| 2021-01-22 21:48:26 +0100 | knupfer | (~Thunderbi@i59F7FF3A.versanet.de) |
| 2021-01-22 21:48:34 +0100 | knupfer | (~Thunderbi@i59F7FF3A.versanet.de) (Remote host closed the connection) |
| 2021-01-22 21:49:43 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 21:50:57 +0100 | dcoutts__ | (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 265 seconds) |
| 2021-01-22 21:51:00 +0100 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-01-22 21:51:49 +0100 | ransom | (~c4264035@8.48.134.30) |
| 2021-01-22 21:52:30 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-01-22 21:53:24 +0100 | hakon[m] | (hakonmatri@gateway/shell/matrix.org/x-jbtwfxjmrjcolzrz) |
| 2021-01-22 21:56:26 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 2021-01-22 21:57:07 +0100 | coot | (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-01-22 21:59:10 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 21:59:30 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 22:00:45 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) |
| 2021-01-22 22:02:01 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-01-22 22:03:48 +0100 | erayo | (9442452b@43.69.66.148.dsl.dyn.mana.pf) |
| 2021-01-22 22:04:43 +0100 | <erayo> | getting weird compiler errors: Error: operand type mismatch for `cvttsd2si', seems to be triggered by basic number manipulations using fromIntegral (int to double) |
| 2021-01-22 22:04:56 +0100 | <erayo> | anyone faced this before ? |
| 2021-01-22 22:06:05 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 2021-01-22 22:07:15 +0100 | kamek | (9442452b@43.69.66.148.dsl.dyn.mana.pf) |
| 2021-01-22 22:08:05 +0100 | ][MandRaK][ | (~mandrak@177.184.128.17) (Read error: Connection reset by peer) |
| 2021-01-22 22:08:09 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 2021-01-22 22:09:19 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 265 seconds) |
| 2021-01-22 22:09:20 +0100 | ][MandRaK][ | (~mandrak@201.20.107.34) |
| 2021-01-22 22:10:41 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-01-22 22:12:07 +0100 | <Widget_> | Can someone help me with a servant problem please? |
| 2021-01-22 22:12:56 +0100 | <Widget_> | Is there a way to reduce this case: `server _ _ = throwError err403 :<|> const (throwError err403) :<|> const (throwError err403) :<|> const (throwError err403)` |
| 2021-01-22 22:13:44 +0100 | <aveltras> | Widget_: you could find inspiration here |
| 2021-01-22 22:13:45 +0100 | <aveltras> | https://hackage.haskell.org/package/servant-auth-server-0.4.6.0/docs/Servant-Auth-Server-Internal-… |
| 2021-01-22 22:14:03 +0100 | <aveltras> | this isn't defined in servant-server even though this could be handy sometimes |
| 2021-01-22 22:14:34 +0100 | <Widget_> | That seems to be exactly what I'm looking for! Thanks, aveltras |
| 2021-01-22 22:14:40 +0100 | <aveltras> | np |
| 2021-01-22 22:17:12 +0100 | oisdk | (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 2021-01-22 22:18:41 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 22:22:16 +0100 | Martinsos | (~user@cpe-188-129-56-3.dynamic.amis.hr) (Ping timeout: 240 seconds) |
| 2021-01-22 22:22:48 +0100 | jumper149 | (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-01-22 22:23:32 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 2021-01-22 22:25:01 +0100 | hakon[m] | ichor[m] |
| 2021-01-22 22:27:07 +0100 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-01-22 22:29:29 +0100 | nckx | (~nckx@tobias.gr) (Ping timeout: 256 seconds) |
| 2021-01-22 22:29:49 +0100 | nckx | (~nckx@tobias.gr) |
| 2021-01-22 22:30:37 +0100 | Deewiant | (~deewiant@de1.ut.deewiant.iki.fi) (Ping timeout: 256 seconds) |
| 2021-01-22 22:30:55 +0100 | Deewiant | (~deewiant@de1.ut.deewiant.iki.fi) |
| 2021-01-22 22:31:10 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-01-22 22:31:11 +0100 | amx | (amx@percival.namespace.at) (Ping timeout: 256 seconds) |
| 2021-01-22 22:31:14 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-01-22 22:31:29 +0100 | amx | (amx@percival.namespace.at) |
| 2021-01-22 22:38:16 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-01-22 22:38:37 +0100 | ][MandRaK][ | (~mandrak@201.20.107.34) (Quit: Leaving.) |
| 2021-01-22 22:39:10 +0100 | erayo | (9442452b@43.69.66.148.dsl.dyn.mana.pf) (Quit: Connection closed) |
| 2021-01-22 22:44:16 +0100 | geekosaur | (82650c7c@130.101.12.124) (Quit: Connection closed) |
| 2021-01-22 22:47:02 +0100 | ransom | (~c4264035@8.48.134.30) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-01-22 22:47:34 +0100 | kamek | (9442452b@43.69.66.148.dsl.dyn.mana.pf) (Quit: Connection closed) |
| 2021-01-22 22:48:28 +0100 | ADG1089__ | (~aditya@122.163.160.223) (Remote host closed the connection) |
| 2021-01-22 22:50:46 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 22:54:01 +0100 | ransom | (~c4264035@8.48.134.30) |
| 2021-01-22 22:54:50 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-01-22 22:56:50 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 246 seconds) |
| 2021-01-22 22:56:56 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 2021-01-22 23:02:42 +0100 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 2021-01-22 23:03:15 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-01-22 23:06:10 +0100 | gaussian | (uid482612@gateway/web/irccloud.com/x-wvvzwlxqofinemam) (Quit: Connection closed for inactivity) |
| 2021-01-22 23:08:31 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 23:09:32 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) |
| 2021-01-22 23:10:38 +0100 | hackage | gltf-codec 0.1.0.2 - glTF scene loader https://hackage.haskell.org/package/gltf-codec-0.1.0.2 (AlexanderBondarenko) |
| 2021-01-22 23:12:45 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 2021-01-22 23:15:16 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-01-22 23:15:37 +0100 | energizer | (~energizer@unaffiliated/energizer) |
| 2021-01-22 23:15:42 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-01-22 23:17:38 +0100 | LKoen | (~LKoen@57.174.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-01-22 23:18:44 +0100 | matryoshka | (~matryoshk@184.75.223.227) |
| 2021-01-22 23:20:11 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-01-22 23:20:33 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 2021-01-22 23:20:55 +0100 | Guest59239 | (~textual@zrcout.mskcc.org) (Ping timeout: 272 seconds) |
| 2021-01-22 23:31:09 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-01-22 23:31:30 +0100 | new2fp | (44c26bb9@ool-44c26bb9.dyn.optonline.net) |
| 2021-01-22 23:31:57 +0100 | new2fp | (44c26bb9@ool-44c26bb9.dyn.optonline.net) (Client Quit) |
| 2021-01-22 23:33:14 +0100 | conal | (~conal@64.71.133.70) |
| 2021-01-22 23:33:56 +0100 | hyperisco | (~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 246 seconds) |
| 2021-01-22 23:34:00 +0100 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-01-22 23:34:20 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-01-22 23:40:41 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 2021-01-22 23:42:00 +0100 | jedws | (~jedws@2001:8003:c44f:4601:a9a2:46cd:fbfa:b423) |
| 2021-01-22 23:43:59 +0100 | mmmattyx | (uid17782@gateway/web/irccloud.com/x-apzeirkcrnkojqkt) (Quit: Connection closed for inactivity) |
| 2021-01-22 23:44:59 +0100 | jedws | (~jedws@2001:8003:c44f:4601:a9a2:46cd:fbfa:b423) (Client Quit) |
| 2021-01-22 23:46:16 +0100 | niekvandepas | (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 2021-01-22 23:46:42 +0100 | Sonderblade | (~helloman@94.191.152.250.mobile.tre.se) |
| 2021-01-22 23:48:24 +0100 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-01-22 23:49:32 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-01-22 23:54:54 +0100 | xsperry | (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-01-22 23:55:38 +0100 | bogdanp | (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 2021-01-22 23:56:17 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-01-22 23:56:41 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-01-22 23:58:09 +0100 | bogdanp | (~bogdanp@188.24.80.165) |