| 2022-04-20 00:00:02 +0000 | rsify[m] | rsify |
| 2022-04-20 00:00:21 +0000 | <Axman6> | Deleted a post with reason "goats" |
| 2022-04-20 00:00:28 +0000 | <geekosaur> | deddit |
| 2022-04-20 00:03:22 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 250 seconds) |
| 2022-04-20 00:04:56 +0000 | rsify | (~rsifymatr@2001:470:69fc:105::1:fd44) (Quit: Reconnecting) |
| 2022-04-20 00:05:03 +0000 | <Axman6> | Ha, they even have their own self trolling sub: https://freenode.net/n/pissnet/hot |
| 2022-04-20 00:05:10 +0000 | rsify | (~rsify@2001:470:69fc:105::1:fd44) |
| 2022-04-20 00:06:38 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2022-04-20 00:17:55 +0000 | rsify | (~rsify@2001:470:69fc:105::1:fd44) (Quit: Reconnecting) |
| 2022-04-20 00:18:09 +0000 | rsify | (~rsify@2001:470:69fc:105::1:fd44) |
| 2022-04-20 00:21:06 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2022-04-20 00:22:39 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 00:27:10 +0000 | <janus> | can libera.chat can be bigger than freenode ever was? then, was it so bad freenode went crazy? |
| 2022-04-20 00:29:18 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-20 00:33:48 +0000 | vysn | (~vysn@user/vysn) |
| 2022-04-20 00:33:49 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-20 00:34:25 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-20 00:35:32 +0000 | <sm> | of course it can, and yes it was bad for eg consuming a lot of time and energy, but maybe libera and foss communities have had some useful cleanup, for one |
| 2022-04-20 00:40:38 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 250 seconds) |
| 2022-04-20 00:42:18 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-04-20 00:42:44 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-20 00:44:18 +0000 | <sm> | though actually, with matrix etc, it might not reach that size again |
| 2022-04-20 00:44:50 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 00:49:34 +0000 | <abastro[m]> | Matrix could be bridged right? |
| 2022-04-20 00:50:07 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 00:51:56 +0000 | <sm> | yup, I'm speaking to you over a bridge |
| 2022-04-20 00:52:20 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 2022-04-20 00:53:03 +0000 | AndrewYu | Andrew |
| 2022-04-20 00:54:22 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 246 seconds) |
| 2022-04-20 00:54:31 +0000 | RevoGen | (~RevoGen@136.167.108.147) (Remote host closed the connection) |
| 2022-04-20 00:54:44 +0000 | RevoGen | (~RevoGen@136.167.108.147) |
| 2022-04-20 00:56:21 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2022-04-20 00:56:24 +0000 | <sclv> | if you think that matrix is better than irc, buddy ive got a bridge to sell you |
| 2022-04-20 00:56:39 +0000 | perrierj1 | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2022-04-20 00:56:55 +0000 | <abastro[m]> | XD |
| 2022-04-20 00:58:59 +0000 | <sm> | it's better in lots of ways. Not all |
| 2022-04-20 00:59:30 +0000 | <sm> | nice that we have at least two great alternatives to proprietary chat |
| 2022-04-20 01:02:31 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 01:03:24 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 01:05:10 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 01:05:21 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 01:05:46 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-04-20 01:06:06 +0000 | <abastro> | To put '.' on the end of the comment sentence or not, that is the question(.) |
| 2022-04-20 01:07:51 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 01:07:55 +0000 | <sm> | Indeed! And, to use correct grammar, punctuation and capitalisation at all times ? The folks who do this impress me. |
| 2022-04-20 01:18:43 +0000 | hexeme | ldlework |
| 2022-04-20 01:20:15 +0000 | andrey_ | (~andrey@p200300dbcf0690007a1a8916775a33e5.dip0.t-ipconnect.de) |
| 2022-04-20 01:22:39 +0000 | andrey__ | (~andrey@p200300dbcf108600f3fd07f727d014bd.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-20 01:24:10 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-20 01:29:54 +0000 | xff0x_ | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-20 01:32:13 +0000 | <abastro> | Exactly! |
| 2022-04-20 01:32:18 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-04-20 01:35:37 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-20 01:36:43 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-20 01:36:43 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-20 01:36:43 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-20 01:36:54 +0000 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) |
| 2022-04-20 01:36:54 +0000 | maerwald_ | (~maerwald@mail.hasufell.de) |
| 2022-04-20 01:37:26 +0000 | dobblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2022-04-20 01:37:26 +0000 | dobblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2022-04-20 01:37:26 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2022-04-20 01:37:36 +0000 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2022-04-20 01:37:37 +0000 | inversed_ | (~inversed@94.13.111.159) (Read error: Connection reset by peer) |
| 2022-04-20 01:37:37 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2022-04-20 01:37:37 +0000 | maerwald | (~maerwald@user/maerwald) (Quit: gone) |
| 2022-04-20 01:37:37 +0000 | sm[i] | (~user@plaintextaccounting/sm) (Remote host closed the connection) |
| 2022-04-20 01:37:37 +0000 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-20 01:37:37 +0000 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2022-04-20 01:37:38 +0000 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) (Remote host closed the connection) |
| 2022-04-20 01:37:38 +0000 | wagle | (~wagle@quassel.wagle.io) (Remote host closed the connection) |
| 2022-04-20 01:37:38 +0000 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 01:37:38 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2022-04-20 01:37:38 +0000 | auri | (~quassel@fsf/member/auri) (Remote host closed the connection) |
| 2022-04-20 01:37:38 +0000 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-20 01:37:38 +0000 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Quit: ZNC - http://znc.sourceforge.net) |
| 2022-04-20 01:37:51 +0000 | agrosant | (~agrosant@46.12.126.12.dsl.dyn.forthnet.gr) (Ping timeout: 272 seconds) |
| 2022-04-20 01:37:51 +0000 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 272 seconds) |
| 2022-04-20 01:37:51 +0000 | Cheery_ | (~cheery@7-239-179-185.static.tentacle.fi) (Ping timeout: 272 seconds) |
| 2022-04-20 01:37:53 +0000 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-04-20 01:37:59 +0000 | wagle | (~wagle@quassel.wagle.io) |
| 2022-04-20 01:38:04 +0000 | loonycyborg_ | (loonycybor@chat.chantal.wesnoth.org) |
| 2022-04-20 01:38:19 +0000 | dobblego | dibblego |
| 2022-04-20 01:38:19 +0000 | auri | (~auri@fsf/member/auri) |
| 2022-04-20 01:38:25 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 01:38:37 +0000 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-04-20 01:39:01 +0000 | sweater2 | (~sweater@206.81.18.26) |
| 2022-04-20 01:39:02 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-20 01:39:06 +0000 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2022-04-20 01:39:22 +0000 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) |
| 2022-04-20 01:39:35 +0000 | chronon_ | (~chronon@user/chronon) |
| 2022-04-20 01:39:54 +0000 | cross_ | (~cross@spitfire.i.gajendra.net) |
| 2022-04-20 01:40:04 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-04-20 01:40:20 +0000 | ncopa8 | (~ncopa@gbr2-dev1.alpinelinux.org) |
| 2022-04-20 01:40:56 +0000 | infinity0_ | (~infinity0@185.112.146.113) |
| 2022-04-20 01:41:00 +0000 | infinity0 | (~infinity0@185.112.146.113) (Killed (strontium.libera.chat (Nickname regained by services))) |
| 2022-04-20 01:41:00 +0000 | infinity0_ | infinity0 |
| 2022-04-20 01:41:02 +0000 | noctux1 | (VLbL74JH3j@user/noctux) |
| 2022-04-20 01:41:03 +0000 | frost | (~frost@user/frost) |
| 2022-04-20 01:41:10 +0000 | dumptruckman_ | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) |
| 2022-04-20 01:41:46 +0000 | CodeKiwi | (~kiwi@137.184.156.191) |
| 2022-04-20 01:42:13 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | noctuks | (mk6gDPckYi@user/noctux) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | stvc | (~stvc@192.241.166.39) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | mmaruseacph2 | (~mihai@198.199.98.239) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | chronon | (~chronon@user/chronon) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:13 +0000 | Igloo | (~ian@matrix.chaos.earth.li) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:16 +0000 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:16 +0000 | sweater1 | (~sweater@206.81.18.26) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:17 +0000 | xstill- | (xstill@fimu/xstill) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:17 +0000 | dumptruckman | (~dumptruck@45-79-173-88.ip.linodeusercontent.com) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:17 +0000 | akhesacaro | (~caro@212.83.144.58) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:17 +0000 | byorgey | (~byorgey@155.138.238.211) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:17 +0000 | dumptruckman_ | dumptruckman |
| 2022-04-20 01:42:43 +0000 | mmaruseacph2 | (~mihai@198.199.98.239) |
| 2022-04-20 01:42:45 +0000 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-04-20 01:42:54 +0000 | stefan-_ | (~cri@42dots.de) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:55 +0000 | Brandon_IX | (~brandon@178-79-138-117.ip.linodeusercontent.com) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:55 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:55 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:55 +0000 | ncopa | (~ncopa@alpine/developer/ncopa) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:55 +0000 | DigitalKiwi | (~kiwi@137.184.156.191) (Ping timeout: 272 seconds) |
| 2022-04-20 01:42:55 +0000 | ncopa8 | ncopa |
| 2022-04-20 01:42:55 +0000 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2022-04-20 01:43:03 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2022-04-20 01:43:10 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2022-04-20 01:43:15 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-20 01:43:19 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2022-04-20 01:43:23 +0000 | akhesacaro | (~caro@212-83-144-58.rev.poneytelecom.eu) |
| 2022-04-20 01:43:26 +0000 | Brandon_IX | (~brandon@178-79-138-117.ip.linodeusercontent.com) |
| 2022-04-20 01:43:29 +0000 | byorgey | (~byorgey@155.138.238.211) |
| 2022-04-20 01:43:33 +0000 | agrosant | (~agrosant@46.12.126.12.dsl.dyn.forthnet.gr) |
| 2022-04-20 01:43:48 +0000 | sm[i] | (~user@plaintextaccounting/sm) |
| 2022-04-20 01:43:52 +0000 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 01:44:14 +0000 | xstill- | (xstill@fimu/xstill) |
| 2022-04-20 01:44:25 +0000 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2022-04-20 01:44:37 +0000 | stefan-_ | (~cri@42dots.de) |
| 2022-04-20 01:44:59 +0000 | inversed_ | (~inversed@94.13.111.159) |
| 2022-04-20 01:45:26 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2022-04-20 01:45:38 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-04-20 01:46:36 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2022-04-20 01:46:41 +0000 | Jonno_FTW | (~come@api.carswap.me) |
| 2022-04-20 01:46:41 +0000 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2022-04-20 01:46:41 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) |
| 2022-04-20 01:47:24 +0000 | Ekho | (~Ekho@user/ekho) |
| 2022-04-20 01:48:32 +0000 | totte | (~totte@h-82-196-112-155.A166.priv.bahnhof.se) |
| 2022-04-20 01:48:36 +0000 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 01:51:03 +0000 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) |
| 2022-04-20 01:51:04 +0000 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host) |
| 2022-04-20 01:51:04 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2022-04-20 01:51:22 +0000 | lbseale_ | (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 2022-04-20 01:56:53 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-20 01:56:53 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-20 01:56:53 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-20 01:58:12 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 250 seconds) |
| 2022-04-20 02:00:14 +0000 | oxide | (~lambda@user/oxide) |
| 2022-04-20 02:05:00 +0000 | avpx_ | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-04-20 02:05:02 +0000 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
| 2022-04-20 02:05:04 +0000 | efertone_ | (~efertone@user/efertone) |
| 2022-04-20 02:05:39 +0000 | omantere_ | (~pi@85-156-109-34.elisa-laajakaista.fi) |
| 2022-04-20 02:06:34 +0000 | kaph_ | (~kaph@151.37.253.228) |
| 2022-04-20 02:06:40 +0000 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-04-20 02:07:27 +0000 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Ping timeout: 272 seconds) |
| 2022-04-20 02:07:27 +0000 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 02:07:27 +0000 | efertone | (~efertone@user/efertone) (Ping timeout: 272 seconds) |
| 2022-04-20 02:07:27 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-20 02:07:27 +0000 | omantere | (~pi@85-156-109-34.elisa-laajakaista.fi) (Ping timeout: 272 seconds) |
| 2022-04-20 02:07:27 +0000 | inversed_ | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 02:07:27 +0000 | inversed_ | (~inversed@94.13.111.159) |
| 2022-04-20 02:09:21 +0000 | kaph | (~kaph@151.19.233.38) (Ping timeout: 276 seconds) |
| 2022-04-20 02:09:58 +0000 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 02:11:02 +0000 | inversed_ | (~inversed@94.13.111.159) (Read error: Connection reset by peer) |
| 2022-04-20 02:11:49 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-20 02:14:18 +0000 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 02:16:40 +0000 | lainon | (~lainon@2601:7c0:c500:4d20::e45d) |
| 2022-04-20 02:16:48 +0000 | lainon | (~lainon@2601:7c0:c500:4d20::e45d) (Remote host closed the connection) |
| 2022-04-20 02:17:00 +0000 | inversed | (~inversed@94.13.111.159) (Read error: Connection reset by peer) |
| 2022-04-20 02:19:50 +0000 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 02:19:50 +0000 | inversed_ | (~inversed@94.13.111.159) |
| 2022-04-20 02:21:03 +0000 | JordiGH | (~jordi@user/jordigh) (Ping timeout: 260 seconds) |
| 2022-04-20 02:21:16 +0000 | RevoGen | (~RevoGen@136.167.108.147) (Remote host closed the connection) |
| 2022-04-20 02:22:07 +0000 | stvc | (~stvc@192.241.166.39) |
| 2022-04-20 02:22:48 +0000 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 02:23:52 +0000 | jerry99 | (~339ea683@cerf.good1.com) |
| 2022-04-20 02:24:18 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 02:25:53 +0000 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Ping timeout: 256 seconds) |
| 2022-04-20 02:26:03 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-20 02:26:03 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-20 02:26:03 +0000 | finn_elija | FinnElija |
| 2022-04-20 02:26:23 +0000 | AlexNoo_ | (~AlexNoo@178.34.161.31) |
| 2022-04-20 02:28:43 +0000 | Alex_test | (~al_test@178.34.150.20) (Ping timeout: 256 seconds) |
| 2022-04-20 02:28:52 +0000 | AlexZenon | (~alzenon@178.34.150.20) (Ping timeout: 246 seconds) |
| 2022-04-20 02:29:03 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 02:29:47 +0000 | AlexNoo | (~AlexNoo@178.34.150.20) (Ping timeout: 240 seconds) |
| 2022-04-20 02:31:40 +0000 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) |
| 2022-04-20 02:31:53 +0000 | inversed_ | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 02:31:53 +0000 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 02:31:53 +0000 | inversed_ | (~inversed@94.13.111.159) |
| 2022-04-20 02:31:53 +0000 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 02:32:35 +0000 | Alex_test | (~al_test@178.34.161.31) |
| 2022-04-20 02:32:45 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 276 seconds) |
| 2022-04-20 02:32:59 +0000 | AlexZenon | (~alzenon@178.34.161.31) |
| 2022-04-20 02:33:27 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-20 02:35:31 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 02:37:13 +0000 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-20 02:38:38 +0000 | inversed_ | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-20 02:39:08 +0000 | inversed | (~inversed@94.13.111.159) |
| 2022-04-20 02:40:09 +0000 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 2022-04-20 02:41:08 +0000 | alphabeta | (~kilolympu@31.205.200.235) (Read error: Connection reset by peer) |
| 2022-04-20 02:54:23 +0000 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) |
| 2022-04-20 02:54:45 +0000 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-20 02:55:36 +0000 | benin | (~benin@183.82.204.110) |
| 2022-04-20 02:58:23 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 03:03:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 03:07:12 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 03:22:21 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-20 03:22:38 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-04-20 03:25:50 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-20 03:25:50 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-20 03:25:50 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-20 03:30:29 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-20 03:33:51 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 03:56:47 +0000 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 2022-04-20 03:57:08 +0000 | <jerry99> | hmm, freenode still exists, I thought it died. same channels too |
| 2022-04-20 03:57:12 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-20 04:02:27 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-20 04:04:14 +0000 | <Axman6> | it "exists" but last I saw had nearly no users at all |
| 2022-04-20 04:04:48 +0000 | <jerry99> | just idlers from what I'm seeing |
| 2022-04-20 04:06:22 +0000 | <EvanR> | freenode, a classical existence |
| 2022-04-20 04:11:14 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-04-20 04:11:33 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2022-04-20 04:11:52 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-04-20 04:12:03 +0000 | <sm> | a cautionary tale |
| 2022-04-20 04:12:31 +0000 | <sm> | a monument to hubris and sloppy governance |
| 2022-04-20 04:13:27 +0000 | cdman | (~dcm@27.2.218.254) |
| 2022-04-20 04:13:27 +0000 | cdman | (~dcm@27.2.218.254) (Changing host) |
| 2022-04-20 04:13:27 +0000 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-20 04:13:37 +0000 | sm | imagines a buried city in the desert |
| 2022-04-20 04:13:53 +0000 | <Axman6> | The doublespeak that was going on from... I've forgotten his name... at the time was astounding |
| 2022-04-20 04:14:55 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-20 04:15:17 +0000 | <Axman6> | the stuff he's put on irc.com now is just as bad |
| 2022-04-20 04:16:00 +0000 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 2022-04-20 04:18:31 +0000 | slack1256 | (~slack1256@191.126.99.208) |
| 2022-04-20 04:29:50 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 04:34:07 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-20 04:34:47 +0000 | zyklotomic | (~ethan@res380d-128-61-84-196.res.gatech.edu) |
| 2022-04-20 04:35:16 +0000 | <zyklotomic> | apologies if my google-fu isn't good enough, is https://hackage.haskell.org/package/random-1.2.1/docs/System-Random.html#v:mkStdGen determinstic across platforms? |
| 2022-04-20 04:36:33 +0000 | <Axman6> | According to the source it's just mkStdGen = StdGen . SM.mkSMGen . fromIntegral |
| 2022-04-20 04:36:40 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 04:37:17 +0000 | <Axman6> | which uses https://hackage.haskell.org/package/splitmix-0.1.0.4/docs/System-Random-SplitMix.html#v:mkSMGen |
| 2022-04-20 04:37:25 +0000 | <Axman6> | "Preferred way to deterministically construct SMGen." |
| 2022-04-20 04:37:37 +0000 | <zyklotomic> | ah yup, i'm on https://hackage.haskell.org/package/splitmix too |
| 2022-04-20 04:38:09 +0000 | <zyklotomic> | i see, thank you so much for confirming |
| 2022-04-20 04:40:19 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-20 04:41:03 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 04:41:14 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 04:45:28 +0000 | renzhi | (~xp@2607:fa49:6500:b100::229c) (Ping timeout: 250 seconds) |
| 2022-04-20 04:51:26 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-20 04:55:09 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-04-20 04:55:37 +0000 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) |
| 2022-04-20 04:57:11 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-20 05:00:19 +0000 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-04-20 05:03:10 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.27) |
| 2022-04-20 05:05:54 +0000 | nattiestnate | (~nate@202.138.250.17) |
| 2022-04-20 05:13:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 05:15:06 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 05:19:52 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) |
| 2022-04-20 05:23:42 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds) |
| 2022-04-20 05:24:10 +0000 | michalz | (~michalz@185.246.204.43) |
| 2022-04-20 05:25:06 +0000 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-04-20 05:33:44 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-04-20 05:36:30 +0000 | nattiestnate | (~nate@202.138.250.17) (Quit: WeeChat 3.5) |
| 2022-04-20 05:36:50 +0000 | nattiestnate | (~nate@202.138.250.17) |
| 2022-04-20 05:37:18 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-20 05:37:41 +0000 | nattiestnate | (~nate@202.138.250.17) (Client Quit) |
| 2022-04-20 05:38:40 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 05:38:56 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-04-20 05:41:22 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-20 05:41:48 +0000 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 250 seconds) |
| 2022-04-20 05:43:28 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 05:44:00 +0000 | chenqisu1 | (~chenqisu1@183.217.200.38) (Remote host closed the connection) |
| 2022-04-20 05:44:23 +0000 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-20 05:44:46 +0000 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) (Quit: leaving) |
| 2022-04-20 05:44:57 +0000 | acidjnk | (~acidjnk@p200300d0c722df42d024b6b501c38e3e.dip0.t-ipconnect.de) |
| 2022-04-20 05:46:12 +0000 | agumonkey | (~user@88.163.231.79) |
| 2022-04-20 05:49:29 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-20 05:49:52 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-04-20 05:50:53 +0000 | odnes | (~odnes@5-203-181-172.pat.nym.cosmote.net) |
| 2022-04-20 05:52:21 +0000 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) |
| 2022-04-20 05:54:38 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 06:01:23 +0000 | phma | (~phma@host-67-44-208-45.hnremote.net) (Read error: Connection reset by peer) |
| 2022-04-20 06:01:54 +0000 | jeffz | (~user@lambda.xen.prgmr.com) (Remote host closed the connection) |
| 2022-04-20 06:02:03 +0000 | jeffz | (~user@lambda.xen.prgmr.com) |
| 2022-04-20 06:02:21 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.27) (Ping timeout: 256 seconds) |
| 2022-04-20 06:02:22 +0000 | phma | (~phma@2001:5b0:2143:fb58:37e7:bba5:12de:8897) |
| 2022-04-20 06:03:16 +0000 | benin5 | (~benin@106.198.93.9) |
| 2022-04-20 06:05:11 +0000 | benin | (~benin@183.82.204.110) (Ping timeout: 256 seconds) |
| 2022-04-20 06:05:12 +0000 | benin5 | benin |
| 2022-04-20 06:06:34 +0000 | kaph__ | (~kaph@151.57.254.189) |
| 2022-04-20 06:07:18 +0000 | kaph_ | (~kaph@151.37.253.228) (Read error: Connection reset by peer) |
| 2022-04-20 06:12:11 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:12a3:8b7c:1be1:1fd7) |
| 2022-04-20 06:18:37 +0000 | benin4 | (~benin@183.82.204.110) |
| 2022-04-20 06:20:00 +0000 | chenqisu1 | (~chenqisu1@183.217.200.38) (Remote host closed the connection) |
| 2022-04-20 06:20:54 +0000 | benin | (~benin@106.198.93.9) (Ping timeout: 276 seconds) |
| 2022-04-20 06:20:54 +0000 | benin4 | benin |
| 2022-04-20 06:21:27 +0000 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-20 06:25:41 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2022-04-20 06:26:16 +0000 | slack6398 | (~slack1256@181.43.228.21) |
| 2022-04-20 06:26:32 +0000 | echoreply | (~echoreply@45.32.163.16) |
| 2022-04-20 06:28:19 +0000 | slack1256 | (~slack1256@191.126.99.208) (Ping timeout: 240 seconds) |
| 2022-04-20 06:29:26 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 06:30:55 +0000 | slack1256 | (~slack1256@191.125.99.208) |
| 2022-04-20 06:31:55 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-20 06:32:59 +0000 | slack6398 | (~slack1256@181.43.228.21) (Ping timeout: 240 seconds) |
| 2022-04-20 06:36:59 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 06:40:53 +0000 | slack1256 | (~slack1256@191.125.99.208) (Ping timeout: 256 seconds) |
| 2022-04-20 06:40:53 +0000 | agumonkey | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-04-20 06:50:21 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-20 06:50:30 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-04-20 06:51:10 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-20 06:52:50 +0000 | kaph__ | (~kaph@151.57.254.189) (Read error: Connection reset by peer) |
| 2022-04-20 06:53:40 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:499f:4b00:1f1f:2997) |
| 2022-04-20 06:53:54 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:9093:7e91:d33a:2c42) |
| 2022-04-20 07:00:15 +0000 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 07:01:07 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-20 07:02:47 +0000 | fendor | (~fendor@77.119.201.123.wireless.dyn.drei.com) |
| 2022-04-20 07:07:34 +0000 | chele | (~chele@user/chele) |
| 2022-04-20 07:10:58 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-20 07:12:34 +0000 | img | (~img@user/img) |
| 2022-04-20 07:12:52 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-20 07:16:50 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-20 07:18:06 +0000 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-04-20 07:20:35 +0000 | Major_Biscuit | (~MajorBisc@c-001-011-040.client.tudelft.eduvpn.nl) |
| 2022-04-20 07:23:19 +0000 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 07:34:34 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-04-20 07:37:36 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-20 07:39:35 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 07:41:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 07:43:41 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:6f9d:1748:66ed:cef9) |
| 2022-04-20 07:45:35 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 07:47:51 +0000 | anomal | (~anomal@87.227.196.109) |
| 2022-04-20 07:48:52 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-20 07:49:18 +0000 | odnes | (~odnes@5-203-181-172.pat.nym.cosmote.net) (Ping timeout: 276 seconds) |
| 2022-04-20 07:55:52 +0000 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-20 07:56:20 +0000 | wagle | (~wagle@quassel.wagle.io) |
| 2022-04-20 08:02:08 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-20 08:03:02 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 08:08:24 +0000 | some02 | (~cat@user/sudden) (Ping timeout: 248 seconds) |
| 2022-04-20 08:09:09 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-20 08:13:36 +0000 | AlexNoo_ | AlexNoo |
| 2022-04-20 08:15:21 +0000 | sudden | (~cat@user/sudden) |
| 2022-04-20 08:16:30 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-6cc6-7e1b-4577-8227.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 2022-04-20 08:20:10 +0000 | akegalj | (~akegalj@93-138-137-60.adsl.net.t-com.hr) |
| 2022-04-20 08:21:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 08:22:49 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 08:23:07 +0000 | <ggVGc> | EvanR: I'm expecting to be on IRC for life :) Also, I'm expecting to write Makefiles for life... |
| 2022-04-20 08:23:13 +0000 | <ggVGc> | not all of those things are good things |
| 2022-04-20 08:23:30 +0000 | <juri_> | ggVGc: I compile haskell with a Makefile. ;) |
| 2022-04-20 08:25:20 +0000 | <ggVGc> | as in, you call ghc directly? Sounds cumbersome |
| 2022-04-20 08:25:25 +0000 | <ggVGc> | Why do you need to do that? |
| 2022-04-20 08:25:53 +0000 | <abastro> | Thought I could use `Makefile` to call cabal as well |
| 2022-04-20 08:25:59 +0000 | acidjnk | (~acidjnk@p200300d0c722df42d024b6b501c38e3e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-20 08:26:03 +0000 | <abastro> | Guess that is impossible? |
| 2022-04-20 08:26:37 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-20 08:27:02 +0000 | <ggVGc> | I mean, you can use make to call anything, as makefiles can just be used as "task runners". But that's not really using make for what it is |
| 2022-04-20 08:27:14 +0000 | <ggVGc> | People abuse make as a task runner all the time |
| 2022-04-20 08:27:30 +0000 | <ggVGc> | if you call cabal from a makefile, then cabal is still the build system |
| 2022-04-20 08:30:20 +0000 | <abastro> | Ah I misinterpreted that part |
| 2022-04-20 08:34:44 +0000 | derelict | (~derelict@user/derelict) (Quit: bye) |
| 2022-04-20 08:35:58 +0000 | derelict | (~derelict@user/derelict) |
| 2022-04-20 08:36:22 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-04-20 08:37:42 +0000 | <juri_> | ggVGc: I call cabal. |
| 2022-04-20 08:38:24 +0000 | <juri_> | which is still painful. i grumble about it, and write dumb make stuff to work around cabal's duplicate information requirements. |
| 2022-04-20 08:40:14 +0000 | <juri_> | https://github.com/Haskell-Things/HSlice/blob/master/Makefile , if one wants to stare. |
| 2022-04-20 08:41:18 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 276 seconds) |
| 2022-04-20 08:41:35 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-04-20 08:41:42 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-20 08:41:52 +0000 | loonycyborg_ | (loonycybor@chat.chantal.wesnoth.org) (Quit: ZNC - http://znc.sourceforge.net) |
| 2022-04-20 08:42:23 +0000 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) |
| 2022-04-20 08:42:36 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 08:43:28 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-20 08:44:15 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-20 08:48:59 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-20 08:52:25 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 08:53:15 +0000 | abastro | <del>being dumb & writes Haskell script for this</del> |
| 2022-04-20 08:56:16 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-20 08:59:16 +0000 | odnes | (~odnes@5-203-181-172.pat.nym.cosmote.net) |
| 2022-04-20 08:59:41 +0000 | <Hecate> | .2 |
| 2022-04-20 09:00:09 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 276 seconds) |
| 2022-04-20 09:02:32 +0000 | chenqisu1 | (~chenqisu1@183.217.200.38) (Quit: Leaving) |
| 2022-04-20 09:04:15 +0000 | akegalj | (~akegalj@93-138-137-60.adsl.net.t-com.hr) (Ping timeout: 256 seconds) |
| 2022-04-20 09:05:10 +0000 | jerry99 | (~339ea683@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-04-20 09:05:31 +0000 | bliminse_ | (~bliminse@host86-142-79-206.range86-142.btcentralplus.com) |
| 2022-04-20 09:06:39 +0000 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2022-04-20 09:07:06 +0000 | mmhat | (~mmh@55d4917e.access.ecotel.net) |
| 2022-04-20 09:12:48 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-20 09:13:41 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 09:14:13 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) |
| 2022-04-20 09:16:44 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-20 09:18:25 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 09:21:06 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.27) |
| 2022-04-20 09:26:23 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 09:30:44 +0000 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2022-04-20 09:31:02 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 250 seconds) |
| 2022-04-20 09:36:39 +0000 | kritzefitz_ | kritzefitz |
| 2022-04-20 09:37:35 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 09:38:25 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-20 09:39:22 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 09:39:54 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 09:44:12 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 09:45:17 +0000 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 09:47:36 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 248 seconds) |
| 2022-04-20 09:48:27 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 09:54:00 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2022-04-20 09:54:08 +0000 | pagnol | (~user@014198154145.ctinets.com) |
| 2022-04-20 09:54:54 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 09:57:10 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-20 10:00:56 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 248 seconds) |
| 2022-04-20 10:03:10 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.27) (Ping timeout: 246 seconds) |
| 2022-04-20 10:04:39 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.27) |
| 2022-04-20 10:05:51 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:6f9d:1748:66ed:cef9) (Quit: ccntrq) |
| 2022-04-20 10:07:45 +0000 | xff0x_ | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 2022-04-20 10:07:54 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:d359:2bff:e0f3:770d) |
| 2022-04-20 10:08:40 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 10:09:07 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-20 10:09:14 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-20 10:09:42 +0000 | Moyst_ | (~moyst@user/moyst) |
| 2022-04-20 10:11:59 +0000 | Moyst | (~moyst@user/moyst) (Ping timeout: 240 seconds) |
| 2022-04-20 10:15:39 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 10:16:51 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-20 10:19:58 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-20 10:23:08 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:6170:ffa2:78dc:c710) |
| 2022-04-20 10:26:53 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-20 10:28:08 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-20 10:29:21 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 10:31:28 +0000 | chomwitt | (~chomwitt@2a02:587:dc1b:da00:41cd:5357:91a5:6) |
| 2022-04-20 10:31:54 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 10:34:59 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2022-04-20 10:35:58 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2022-04-20 10:36:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-04-20 10:36:50 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-20 10:36:58 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-20 10:38:00 +0000 | michalz | (~michalz@185.246.204.43) (Read error: Connection reset by peer) |
| 2022-04-20 10:39:02 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:6170:ffa2:78dc:c710) (Quit: ubert) |
| 2022-04-20 10:39:14 +0000 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:5c10:e3be:704c:35ca) |
| 2022-04-20 10:39:55 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-20 10:41:19 +0000 | dsrt^ | (~dsrt@50-192-56-193-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-04-20 10:41:32 +0000 | ubert1 | ubert |
| 2022-04-20 10:41:34 +0000 | michalz | (~michalz@185.246.204.37) |
| 2022-04-20 10:43:22 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-20 10:43:23 +0000 | wybpip[m] | (~wybpipmat@2001:470:69fc:105::1:f452) |
| 2022-04-20 10:43:28 +0000 | wybpip[m] | (~wybpipmat@2001:470:69fc:105::1:f452) () |
| 2022-04-20 10:45:12 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-20 10:45:47 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 10:45:48 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 10:49:31 +0000 | <abastro[m]> | What could I use to read a file alike stock `Read` instance reads? |
| 2022-04-20 10:50:14 +0000 | <abastro[m]> | The stock Read class is quite cumbersome (No error messages, constrained to String), but its format is beautiful |
| 2022-04-20 10:50:42 +0000 | <abastro[m]> | So I'd like to know how. |
| 2022-04-20 10:51:10 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 10:52:29 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.27) (Ping timeout: 256 seconds) |
| 2022-04-20 10:55:07 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 10:58:47 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 11:01:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 11:01:58 +0000 | jerry99 | (~339ea683@cerf.good1.com) |
| 2022-04-20 11:02:45 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-20 11:04:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 11:09:32 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 11:10:00 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-20 11:10:22 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 11:15:29 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 11:17:14 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 11:17:27 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 11:20:05 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-04-20 11:20:33 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-04-20 11:20:39 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 11:22:00 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-04-20 11:23:20 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 11:28:29 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-04-20 11:28:44 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-20 11:29:29 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-20 11:31:12 +0000 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) |
| 2022-04-20 11:33:28 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-20 11:33:59 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 11:35:21 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-04-20 11:39:11 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Remote host closed the connection) |
| 2022-04-20 11:39:59 +0000 | zyklotomic | (~ethan@res380d-128-61-84-196.res.gatech.edu) (Ping timeout: 240 seconds) |
| 2022-04-20 11:42:10 +0000 | zyklotomic | (~ethan@r4-128-61-92-91.res.gatech.edu) |
| 2022-04-20 11:43:17 +0000 | dminuoso | (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
| 2022-04-20 11:43:17 +0000 | dminuoso | (~dminuoso@user/dminuoso) |
| 2022-04-20 11:43:22 +0000 | ridcully | (~ridcully@pd951f433.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-04-20 11:43:34 +0000 | ridcully | (~ridcully@pd951f433.dip0.t-ipconnect.de) |
| 2022-04-20 11:44:56 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 2022-04-20 11:45:12 +0000 | bah_ | bah |
| 2022-04-20 11:45:56 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 11:46:05 +0000 | razetime | (~quassel@117.254.34.234) |
| 2022-04-20 11:46:38 +0000 | <razetime> | is haskell matchmaker being hosted online somewhere? |
| 2022-04-20 11:46:53 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 11:49:15 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-20 11:51:31 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-20 11:51:45 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 11:51:59 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 2022-04-20 11:52:03 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-04-20 11:54:19 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-20 11:54:44 +0000 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-20 11:56:09 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-04-20 12:01:57 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-20 12:03:59 +0000 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-20 12:07:08 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 12:10:48 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-20 12:12:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 12:14:13 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-20 12:16:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 12:17:04 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2022-04-20 12:19:26 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 12:20:36 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 12:21:30 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 12:21:42 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) |
| 2022-04-20 12:23:26 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 12:24:15 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 12:30:47 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 2022-04-20 12:33:22 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-04-20 12:35:40 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2022-04-20 12:35:56 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:5c10:e3be:704c:35ca) (Remote host closed the connection) |
| 2022-04-20 12:36:08 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:d4fb:73bc:fd91:66d6) |
| 2022-04-20 12:38:09 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 12:38:23 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 12:40:52 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 12:42:25 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-20 12:43:35 +0000 | kaph | (~kaph@151.47.182.30) |
| 2022-04-20 12:45:35 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-20 12:46:29 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 12:47:50 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 12:50:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-20 12:50:55 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 12:52:50 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 12:56:56 +0000 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) |
| 2022-04-20 12:57:09 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 13:00:01 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-04-20 13:03:57 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-20 13:04:13 +0000 | ArshiaAghaei[m] | (~arshiaagh@2001:470:69fc:105::1:c382) (Ping timeout: 240 seconds) |
| 2022-04-20 13:04:27 +0000 | ArshiaAghaei[m] | (~arshiaagh@2001:470:69fc:105::1:c382) |
| 2022-04-20 13:05:41 +0000 | razetime | (~quassel@117.254.34.234) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-20 13:08:29 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 13:12:59 +0000 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-20 13:14:57 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 13:15:17 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-04-20 13:22:13 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 13:25:13 +0000 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-20 13:25:24 +0000 | kaph | (~kaph@151.47.182.30) (Read error: Connection reset by peer) |
| 2022-04-20 13:27:01 +0000 | ystael | (~ystael@user/ystael) |
| 2022-04-20 13:28:24 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-20 13:30:56 +0000 | nerdypepper | np |
| 2022-04-20 13:31:40 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-04-20 13:34:12 +0000 | romesrf | (~romes@2001:4c80:50:16:c0a8:d57b:713:5a07) |
| 2022-04-20 13:35:24 +0000 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-04-20 13:35:33 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 13:36:55 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-20 13:37:42 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 13:38:39 +0000 | romesrf | (~romes@2001:4c80:50:16:c0a8:d57b:713:5a07) (Ping timeout: 240 seconds) |
| 2022-04-20 13:40:09 +0000 | akegalj | (~akegalj@141-136-168-234.dsl.iskon.hr) |
| 2022-04-20 13:42:29 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 13:43:09 +0000 | anomal | (~anomal@87.227.196.109) |
| 2022-04-20 13:43:42 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-20 13:43:43 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-20 13:43:43 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-20 13:44:22 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 13:45:20 +0000 | raym | (~raym@user/raym) (Read error: Connection reset by peer) |
| 2022-04-20 13:46:44 +0000 | raym | (~raym@user/raym) |
| 2022-04-20 13:48:52 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-20 13:49:24 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2022-04-20 13:50:02 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 13:50:27 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-20 13:52:21 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-20 13:52:21 +0000 | michalz | (~michalz@185.246.204.37) (Read error: Connection reset by peer) |
| 2022-04-20 13:54:42 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-20 13:54:58 +0000 | michalz | (~michalz@185.246.204.37) |
| 2022-04-20 13:56:32 +0000 | nihilazo | (~nihilazo@tilde.town) (Leaving) |
| 2022-04-20 13:57:34 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2022-04-20 14:01:05 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 14:01:25 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-20 14:03:42 +0000 | bgamari | (~bgamari@64.223.157.187) (Ping timeout: 276 seconds) |
| 2022-04-20 14:04:32 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-20 14:05:09 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 14:05:41 +0000 | bgamari | (~bgamari@2001:470:e438::1) |
| 2022-04-20 14:06:48 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2022-04-20 14:07:32 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-20 14:08:18 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-20 14:12:09 +0000 | mastarija | (~mastarija@2a05:4f46:e04:6000:d842:438e:34b1:6b7f) |
| 2022-04-20 14:12:22 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-20 14:13:30 +0000 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 14:13:47 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
| 2022-04-20 14:15:13 +0000 | koz | (~koz@121.99.240.58) |
| 2022-04-20 14:15:13 +0000 | michalz | (~michalz@185.246.204.37) (Read error: Connection reset by peer) |
| 2022-04-20 14:15:26 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-04-20 14:16:39 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 14:18:13 +0000 | michalz | (~michalz@185.246.204.43) |
| 2022-04-20 14:19:24 +0000 | anomal | (~anomal@87.227.196.109) |
| 2022-04-20 14:20:34 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 14:20:55 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-04-20 14:22:02 +0000 | <juri_> | hey, how do i get my quickcheck tests of pure code to parallelize across multiple cores? -j, it and +RTS -N is doing nothing. |
| 2022-04-20 14:22:56 +0000 | <mastarija> | Can maybe someone take a quick look at my type derivation tree for a simple program? I'm not sure I'm passing extended context correctly. |
| 2022-04-20 14:22:59 +0000 | <mastarija> | https://pastebin.com/e4f7SvEh |
| 2022-04-20 14:23:06 +0000 | <geekosaur> | wouldn't you have to use `par`? |
| 2022-04-20 14:23:56 +0000 | <juri_> | geekosaur: i was hoping they would come up with N random value sets, then call N copies of my code. |
| 2022-04-20 14:24:21 +0000 | <geekosaur> | I think QC is not smart enough to do that |
| 2022-04-20 14:25:18 +0000 | <mastarija> | The inference rules in question : https://imagebin.ca/v/6ePRnUrxveXy |
| 2022-04-20 14:25:48 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-20 14:27:15 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.27) |
| 2022-04-20 14:27:27 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-04-20 14:28:44 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 14:29:39 +0000 | xcombelle | (~xavie@176-139-252-198.abo.bbox.fr) |
| 2022-04-20 14:29:41 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-20 14:30:07 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-20 14:31:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-04-20 14:32:47 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 14:34:53 +0000 | JordiGH | (~jordi@user/jordigh) (Leaving) |
| 2022-04-20 14:36:02 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-04-20 14:36:04 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 14:37:36 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-04-20 14:41:01 +0000 | slack1256 | (~slack1256@191.125.227.87) |
| 2022-04-20 14:45:00 +0000 | <slack1256> | Has anyone used the FFI to call function that should be run on a realtime scheduler? |
| 2022-04-20 14:45:37 +0000 | <merijn> | No, but depending on the details of what you mean, that's either easy or impossible :p |
| 2022-04-20 14:45:53 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 14:47:39 +0000 | <slack1256> | I did a C program to read output from a digital scale chip (HX711). When reading bit-for-bit I got to respect some timings. Each reading is no longer that 100 micro sec. |
| 2022-04-20 14:48:33 +0000 | <slack1256> | I want to integrate that on a larger haskell program, I though about using the FFI. Do you see this as difficult? I can always "fork and pipe" to get the result back. |
| 2022-04-20 14:48:39 +0000 | <merijn> | slack1256: I'm pretty sure the POSIX realtime extensions are on a per-thread level, no? |
| 2022-04-20 14:49:18 +0000 | <merijn> | slack1256: You can always just fire up a new POSIX threat from Haskell and set things up there (or call a C function that sets up the pthread correctly) |
| 2022-04-20 14:49:52 +0000 | <merijn> | slack1256: To be pedantic: You can never *fork* and pipe, creating a new subprocess and pipe is reasonable, though |
| 2022-04-20 14:50:06 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-20 14:51:24 +0000 | <slack1256> | merijn: I think you are right, realtime scheduling seems to be process oriented. Having it at thread level would lead to priority inversion. |
| 2022-04-20 14:51:56 +0000 | <merijn> | slack1256: OS level scheduling happens at the thread level |
| 2022-04-20 14:52:30 +0000 | <merijn> | Even if GHC's runtime/threading supported realtime (it doesn't), the OS could randomly suspend your thread and you'd miss the deadline |
| 2022-04-20 14:52:37 +0000 | <c_wraith> | merijn: "You can always just fire up a new POSIX threat from Haskell" I'm not a huge fan of POSIX either, but that seems excessive. :P |
| 2022-04-20 14:52:40 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-20 14:53:07 +0000 | <merijn> | posix realtime extensions need OS support to guarantee realtime scheduling behaviour and I'm pretty sure that can be done per thread |
| 2022-04-20 14:53:57 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) |
| 2022-04-20 14:55:36 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-20 14:56:11 +0000 | natto | (~natto@140.238.225.67) (Quit: a.) |
| 2022-04-20 14:56:13 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-20 14:58:32 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 14:59:34 +0000 | natto | (~natto@140.238.225.67) |
| 2022-04-20 15:02:13 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 15:05:09 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-20 15:06:00 +0000 | pagnol | (~user@014198154145.ctinets.com) (Ping timeout: 250 seconds) |
| 2022-04-20 15:06:17 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 15:07:40 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-20 15:07:54 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-20 15:09:06 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-20 15:11:41 +0000 | akegalj | (~akegalj@141-136-168-234.dsl.iskon.hr) (Quit: leaving) |
| 2022-04-20 15:11:59 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-04-20 15:12:46 +0000 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 2022-04-20 15:13:58 +0000 | michalz | (~michalz@185.246.204.43) (Read error: Connection reset by peer) |
| 2022-04-20 15:14:51 +0000 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-20 15:17:19 +0000 | michalz | (~michalz@185.246.204.57) |
| 2022-04-20 15:17:24 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 15:18:10 +0000 | sprout | (~quassel@2a02:a45f:f170:1:48ac:15ef:e810:76d0) |
| 2022-04-20 15:19:11 +0000 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-20 15:19:47 +0000 | <shapr> | I had someone ask me yesterday why there's a Data.OldList |
| 2022-04-20 15:20:09 +0000 | <shapr> | my first guess was that it's from before Foldable was a thing, where the functions were specialized to just [] |
| 2022-04-20 15:20:15 +0000 | <shapr> | does anyone have more info? |
| 2022-04-20 15:21:28 +0000 | <lortabac> | shapr: where did you find Data.OldList? I don't see it in the docs |
| 2022-04-20 15:21:52 +0000 | <lortabac> | do you mean GHC.OldList? |
| 2022-04-20 15:22:09 +0000 | <shapr> | aha, This legacy module provides access to the list-specialised operations of Data.List. |
| 2022-04-20 15:22:12 +0000 | <shapr> | yes, that one |
| 2022-04-20 15:22:16 +0000 | <shapr> | https://hackage.haskell.org/package/base-4.16.1.0/docs/GHC-OldList.html |
| 2022-04-20 15:23:41 +0000 | <lortabac> | yes, if I remember correctly it's the old Data.List |
| 2022-04-20 15:24:12 +0000 | <shapr> | thanks |
| 2022-04-20 15:24:44 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:499f:4b00:1f1f:2997) (Quit: WeeChat 2.8) |
| 2022-04-20 15:26:11 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-20 15:26:58 +0000 | <abastro[m]> | I wonder why they changed functions of Data.List to be polymorphic.. |
| 2022-04-20 15:27:42 +0000 | slac72554 | (~slack1256@186.11.101.140) |
| 2022-04-20 15:28:21 +0000 | <lyxia> | One could argue having name conflicts when you import both Data.List and Data.Foldable is not very nice. |
| 2022-04-20 15:29:50 +0000 | slack1256 | (~slack1256@191.125.227.87) (Ping timeout: 250 seconds) |
| 2022-04-20 15:30:20 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-20 15:30:23 +0000 | slac72554 | slack1256 |
| 2022-04-20 15:30:56 +0000 | <abastro[m]> | Hmm |
| 2022-04-20 15:31:36 +0000 | <abastro[m]> | Doesn't container libraries go that route tho? |
| 2022-04-20 15:31:53 +0000 | <abastro[m]> | Prioritizing qualified imports |
| 2022-04-20 15:33:41 +0000 | romesrf | (~romes@185.5.8.134) |
| 2022-04-20 15:34:23 +0000 | slac89659 | (~slack1256@191.125.227.87) |
| 2022-04-20 15:35:03 +0000 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-20 15:35:32 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-04-20 15:36:22 +0000 | slack1256 | (~slack1256@186.11.101.140) (Ping timeout: 246 seconds) |
| 2022-04-20 15:36:48 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-04-20 15:38:30 +0000 | mastarija | (~mastarija@2a05:4f46:e04:6000:d842:438e:34b1:6b7f) (Quit: Leaving) |
| 2022-04-20 15:41:06 +0000 | slac89659 | slack1256 |
| 2022-04-20 15:42:19 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-20 15:42:34 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-20 15:42:55 +0000 | <lyxia> | Sure. Hindsight is also 20/20. |
| 2022-04-20 15:45:10 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-20 15:45:23 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 15:45:27 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-20 15:48:46 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-20 15:53:47 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-04-20 15:53:59 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2022-04-20 15:55:01 +0000 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-04-20 15:57:55 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) (Ping timeout: 256 seconds) |
| 2022-04-20 15:59:18 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Quit: WeeChat 2.8) |
| 2022-04-20 15:59:29 +0000 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2022-04-20 16:00:07 +0000 | TimothyBess[m] | (~dorksidem@2001:470:69fc:105::1:e14e) (Quit: You have been kicked for being idle) |
| 2022-04-20 16:01:26 +0000 | foundationer76 | (~godoy@181.46.145.183) |
| 2022-04-20 16:01:27 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-04-20 16:05:26 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-20 16:07:57 +0000 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) |
| 2022-04-20 16:09:19 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 16:17:02 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-04-20 16:17:02 +0000 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 2022-04-20 16:17:54 +0000 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 2022-04-20 16:19:41 +0000 | ubert | (~Thunderbi@2a02:8109:9880:303c:d4fb:73bc:fd91:66d6) (Remote host closed the connection) |
| 2022-04-20 16:19:41 +0000 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 2022-04-20 16:19:48 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-20 16:22:17 +0000 | romesrf | (~romes@185.5.8.134) (Ping timeout: 256 seconds) |
| 2022-04-20 16:28:02 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 16:29:18 +0000 | sprout | (~quassel@2a02:a45f:f170:1:48ac:15ef:e810:76d0) (Ping timeout: 260 seconds) |
| 2022-04-20 16:29:33 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-20 16:32:00 +0000 | foundationer76 | (~godoy@181.46.145.183) (Quit: Leaving) |
| 2022-04-20 16:32:24 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 248 seconds) |
| 2022-04-20 16:34:34 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 16:35:56 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) |
| 2022-04-20 16:36:05 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-20 16:37:34 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-20 16:37:47 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-20 16:42:09 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 16:43:03 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 16:43:48 +0000 | sprout | (~quassel@2a02-a45f-f170-1-48ac-15ef-e810-76d0.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 16:50:53 +0000 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 16:51:55 +0000 | `2jt | (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) |
| 2022-04-20 16:53:50 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 16:56:55 +0000 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) |
| 2022-04-20 16:57:07 +0000 | ph88 | (~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Client Quit) |
| 2022-04-20 17:00:14 +0000 | `2jt | (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-04-20 17:01:25 +0000 | pavonia_ | (~user@user/siracusa) |
| 2022-04-20 17:01:49 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in) |
| 2022-04-20 17:02:25 +0000 | <geekosaur> | polymorphic Data.List came along with Foldable/Traversable |
| 2022-04-20 17:02:45 +0000 | `2jt | (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) |
| 2022-04-20 17:02:46 +0000 | <geekosaur> | since many of its functions are now methods of one or the other |
| 2022-04-20 17:03:10 +0000 | infinity0 | (~infinity0@185.112.146.113) (Ping timeout: 246 seconds) |
| 2022-04-20 17:03:10 +0000 | sweater2 | (~sweater@206.81.18.26) (Ping timeout: 246 seconds) |
| 2022-04-20 17:03:23 +0000 | <geekosaur> | the original was saved as GHC.OldList to provide the method implementations for lists |
| 2022-04-20 17:03:31 +0000 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-04-20 17:03:48 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 17:03:55 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-20 17:04:09 +0000 | ubert | (~Thunderbi@p200300ecdf1588a8ad1d2aec8363db05.dip0.t-ipconnect.de) |
| 2022-04-20 17:04:12 +0000 | sweater2 | (~sweater@206.81.18.26) |
| 2022-04-20 17:04:34 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 246 seconds) |
| 2022-04-20 17:04:42 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-04-20 17:04:44 +0000 | pavonia_ | pavonia |
| 2022-04-20 17:05:59 +0000 | infinity0 | (~infinity0@185.112.146.113) |
| 2022-04-20 17:07:59 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 2022-04-20 17:09:52 +0000 | <dmj`> | is there a way to query the RTS to see if there are exactly 0 forked threads |
| 2022-04-20 17:18:30 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 17:19:45 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2022-04-20 17:24:40 +0000 | dcoutts_ | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2022-04-20 17:26:16 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 248 seconds) |
| 2022-04-20 17:27:59 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-20 17:29:30 +0000 | anomal | (~anomal@87.227.196.109) |
| 2022-04-20 17:32:28 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-04-20 17:32:59 +0000 | slack1256 | (~slack1256@191.125.227.87) (Ping timeout: 240 seconds) |
| 2022-04-20 17:33:21 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 17:35:46 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-20 17:38:04 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-04-20 17:38:22 +0000 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-20 17:40:53 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-20 17:40:57 +0000 | JordiGH | (~jordi@user/jordigh) |
| 2022-04-20 17:41:02 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-04-20 17:43:52 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-20 17:43:52 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-04-20 17:43:55 +0000 | werneta | (~werneta@137.79.201.225) |
| 2022-04-20 17:46:30 +0000 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) |
| 2022-04-20 17:47:14 +0000 | <Zemyla> | How long do I have to wait to get a pull request taken? |
| 2022-04-20 17:47:32 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-20 17:47:46 +0000 | <geekosaur> | depends on the repo |
| 2022-04-20 17:48:09 +0000 | <geekosaur> | and how overloaded the maintainers are, or if they're e.g. at work and can't look at it until evening, or etc. |
| 2022-04-20 17:48:55 +0000 | nehsou^ | (~nehsou@50-192-56-193-static.hfc.comcastbusiness.net) |
| 2022-04-20 17:52:45 +0000 | <janus> | Zemyla: you can file a package takeover request if they aren't responsive after a few months |
| 2022-04-20 17:52:59 +0000 | econo | (uid147250@user/econo) |
| 2022-04-20 17:57:44 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-04-20 17:57:55 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-20 17:58:42 +0000 | frost | (~frost@user/frost) (Ping timeout: 250 seconds) |
| 2022-04-20 17:58:47 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-71e6-fc28-7b5f-489c.fixed6.kpn.net) |
| 2022-04-20 17:58:52 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-20 17:59:39 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 18:00:03 +0000 | chexum_ | chexum |
| 2022-04-20 18:02:19 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 240 seconds) |
| 2022-04-20 18:04:23 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-20 18:04:47 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-04-20 18:05:15 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-20 18:05:54 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 18:06:09 +0000 | `2jt | (~jtomas@175.red-83-36-129.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2022-04-20 18:15:10 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-04-20 18:18:41 +0000 | neceve | (~quassel@2.29.116.221) |
| 2022-04-20 18:23:00 +0000 | Topsi | (~Tobias@dyndsl-095-033-095-193.ewe-ip-backbone.de) |
| 2022-04-20 18:26:09 +0000 | agumonkey | (~user@88.163.231.79) |
| 2022-04-20 18:28:19 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-20 18:28:53 +0000 | agumonke` | (~user@37.168.108.13) |
| 2022-04-20 18:29:23 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2022-04-20 18:29:39 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-20 18:30:39 +0000 | agumonkey | (~user@88.163.231.79) (Ping timeout: 240 seconds) |
| 2022-04-20 18:30:45 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-20 18:34:19 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 18:36:50 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-04-20 18:37:07 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2022-04-20 18:37:47 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-04-20 18:41:04 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-20 18:41:58 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 18:42:15 +0000 | Natch | (~natch@c-5e10225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 18:47:59 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 18:48:19 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-04-20 18:49:56 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 18:55:51 +0000 | agumonke` | (~user@37.168.108.13) (Ping timeout: 256 seconds) |
| 2022-04-20 18:56:09 +0000 | neurocyte8614492 | (~neurocyte@IP-045014191203.dynamic.medianet-world.de) |
| 2022-04-20 18:56:09 +0000 | neurocyte8614492 | (~neurocyte@IP-045014191203.dynamic.medianet-world.de) (Changing host) |
| 2022-04-20 18:56:09 +0000 | neurocyte8614492 | (~neurocyte@user/neurocyte) |
| 2022-04-20 18:56:39 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 18:58:44 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:d359:2bff:e0f3:770d) (Quit: ccntrq) |
| 2022-04-20 18:59:45 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 18:59:51 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 19:03:24 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 19:03:27 +0000 | odnes | (~odnes@5-203-181-172.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-04-20 19:05:47 +0000 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 260 seconds) |
| 2022-04-20 19:08:39 +0000 | Major_Biscuit | (~MajorBisc@c-001-011-040.client.tudelft.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-20 19:10:12 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) (Ping timeout: 240 seconds) |
| 2022-04-20 19:11:21 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 19:12:53 +0000 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-04-20 19:13:07 +0000 | agumonke` | (~user@88.163.231.79) |
| 2022-04-20 19:13:46 +0000 | dcoutts_ | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) |
| 2022-04-20 19:15:41 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-04-20 19:22:17 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-04-20 19:24:27 +0000 | agumonke` | (~user@88.163.231.79) (Remote host closed the connection) |
| 2022-04-20 19:29:17 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-04-20 19:30:00 +0000 | Natch | (~natch@c-5e10225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 276 seconds) |
| 2022-04-20 19:31:26 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 19:32:54 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-04-20 19:33:23 +0000 | Annie | (~Annie@88.133.8.86) |
| 2022-04-20 19:34:43 +0000 | raym | (~raym@user/raym) (Ping timeout: 246 seconds) |
| 2022-04-20 19:34:52 +0000 | raym_ | (~raym@user/raym) |
| 2022-04-20 19:35:15 +0000 | Major_Biscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-04-20 19:36:07 +0000 | raym_ | raym |
| 2022-04-20 19:38:51 +0000 | mixfix41 | (~sdenynine@user/mixfix41) (Quit: logging out bye) |
| 2022-04-20 19:40:56 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) |
| 2022-04-20 19:42:02 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 19:42:27 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-20 19:45:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-20 19:45:40 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-20 19:45:41 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 19:46:41 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-04-20 19:46:51 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-20 19:48:23 +0000 | Annie | (~Annie@88.133.8.86) (Quit: Client closed) |
| 2022-04-20 19:49:42 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-20 19:50:18 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) |
| 2022-04-20 19:54:45 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 19:54:47 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-20 19:55:05 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-71e6-fc28-7b5f-489c.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-20 19:55:24 +0000 | Major_Biscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-20 19:56:03 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.5) |
| 2022-04-20 20:01:14 +0000 | Major_Biscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-04-20 20:04:15 +0000 | michalz | (~michalz@185.246.204.57) (Remote host closed the connection) |
| 2022-04-20 20:05:47 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-71e6-fc28-7b5f-489c.fixed6.kpn.net) |
| 2022-04-20 20:06:27 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-20 20:09:28 +0000 | Major_Biscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-04-20 20:12:07 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 20:16:02 +0000 | oxide | (~lambda@user/oxide) |
| 2022-04-20 20:19:15 +0000 | slack1256 | (~slack1256@186.11.98.12) |
| 2022-04-20 20:20:29 +0000 | fendor_ | (~fendor@178.115.48.2.wireless.dyn.drei.com) |
| 2022-04-20 20:21:15 +0000 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-20 20:22:39 +0000 | fendor | (~fendor@77.119.201.123.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2022-04-20 20:24:26 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-04-20 20:25:36 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 20:25:46 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 20:28:19 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-04-20 20:29:38 +0000 | <shapr> | hpc: oh, I just saw your yawneda joke, ha! |
| 2022-04-20 20:31:14 +0000 | <janus> | @yowneda |
| 2022-04-20 20:31:14 +0000 | <lambdabot> | Unknown command, try @list |
| 2022-04-20 20:32:02 +0000 | avpx_ | avpx |
| 2022-04-20 20:33:34 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-20 20:33:39 +0000 | neceve | (~quassel@2.29.116.221) (Ping timeout: 240 seconds) |
| 2022-04-20 20:38:13 +0000 | Major_Biscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-20 20:40:36 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) (Ping timeout: 240 seconds) |
| 2022-04-20 20:42:01 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 20:44:48 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-20 20:45:37 +0000 | Batzy | (~quassel@user/batzy) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-20 20:47:04 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-04-20 20:47:50 +0000 | acarrico1 | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) |
| 2022-04-20 20:49:57 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 20:50:16 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-20 20:53:28 +0000 | Major_Biscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-04-20 20:54:31 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-04-20 20:55:37 +0000 | <avpx> | I'm trying to make a program that accepts an arbitrary number of command-line arguments (think like tar, ls, or other utilities that can take many files on the command line): |
| 2022-04-20 20:55:56 +0000 | <avpx> | ./myprogram --verbose --someotheroption file1 file2 |
| 2022-04-20 20:56:45 +0000 | <avpx> | I'm unclear how to do it in optparse-applicative. I can see how to get a (Parser String) for one argument using strArgument |
| 2022-04-20 20:56:57 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-20 20:57:42 +0000 | <avpx> | https://paste.tomsmeding.com/J3ApjwyT |
| 2022-04-20 20:58:16 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2022-04-20 20:59:08 +0000 | <avpx> | One thought I had was to make a Parser [String] by chaining together an infinite number of Parser Strings. But I'm kind of worried that will make something infinite loop e.g. when printing --help |
| 2022-04-20 20:59:52 +0000 | <geekosaur> | did youu look at argument parsers? |
| 2022-04-20 21:00:04 +0000 | <geekosaur> | looks like they're intended for that use case |
| 2022-04-20 21:00:07 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-20 21:00:48 +0000 | <avpx> | You mean this one? https://hackage.haskell.org/package/optparse-applicative-0.17.0.0/docs/Options-Applicative.html#v:… |
| 2022-04-20 21:01:25 +0000 | <avpx> | Yeah I could see how to build a parser for *one* argument using that |
| 2022-04-20 21:01:43 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-04-20 21:02:51 +0000 | <geekosaur> | "To accept an arbitrary number of arguments, combine the argument builder with either the many or some combinator" fromthe README |
| 2022-04-20 21:03:02 +0000 | <avpx> | Oh thannk you! |
| 2022-04-20 21:03:10 +0000 | <geekosaur> | (remember, some is 1 or more, many is 0 or more) |
| 2022-04-20 21:04:04 +0000 | <monochrom> | Yeah I used `some (strArgument ...)` |
| 2022-04-20 21:04:13 +0000 | <avpx> | Interesting, so under the hood it basically is "chaining together an arbitrary number of/Kleene star of strArguments" |
| 2022-04-20 21:04:17 +0000 | <geekosaur> | and you probably want strArgument unless you're doing special processing duringt parsing |
| 2022-04-20 21:04:24 +0000 | <monochrom> | Actually `some (strArgument (metavar "FILES" <> help "files to be tested"))` to be exact. |
| 2022-04-20 21:04:40 +0000 | fendor_ | (~fendor@178.115.48.2.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-04-20 21:04:46 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:12a3:8b7c:1be1:1fd7) (Remote host closed the connection) |
| 2022-04-20 21:05:14 +0000 | <monochrom> | Although, it has been a few years, not sure whether it works under the latest version. |
| 2022-04-20 21:06:10 +0000 | <avpx> | It works perfectly. Thanks folks! |
| 2022-04-20 21:08:34 +0000 | Stotteren | (~Stotteren@pool-108-20-79-41.bstnma.fios.verizon.net) |
| 2022-04-20 21:10:45 +0000 | dut | (~dut@user/dut) |
| 2022-04-20 21:10:57 +0000 | slac71531 | (~slack1256@191.125.99.203) |
| 2022-04-20 21:11:45 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-20 21:12:07 +0000 | dut | (~dut@user/dut) (Read error: Connection reset by peer) |
| 2022-04-20 21:12:29 +0000 | dut | (~dut@user/dut) |
| 2022-04-20 21:12:53 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-20 21:13:21 +0000 | slack1256 | (~slack1256@186.11.98.12) (Ping timeout: 276 seconds) |
| 2022-04-20 21:13:41 +0000 | <hpc> | shapr: :D |
| 2022-04-20 21:15:59 +0000 | Batzy | (~quassel@user/batzy) (Ping timeout: 240 seconds) |
| 2022-04-20 21:16:13 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-20 21:18:14 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Quit: Client closed) |
| 2022-04-20 21:21:17 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-20 21:23:47 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.27) (Ping timeout: 240 seconds) |
| 2022-04-20 21:27:24 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-04-20 21:32:49 +0000 | coot | (~coot@213.134.190.95) (Ping timeout: 256 seconds) |
| 2022-04-20 21:35:50 +0000 | <energizer> | does this function have a common name? `foo f g a b c = g (f a b) (f b c)` |
| 2022-04-20 21:35:53 +0000 | deadmarshal_ | (~deadmarsh@95.38.229.55) |
| 2022-04-20 21:37:50 +0000 | <energizer> | like `foo (<) (&&) 1 2 3` is $$ 1 < 2 < 3 $$ |
| 2022-04-20 21:39:27 +0000 | <dolio> | I don't think so. |
| 2022-04-20 21:40:40 +0000 | <energizer> | what is a concise way of doing comparison chaining? |
| 2022-04-20 21:41:17 +0000 | <Rembane> | energizer: Monoids! |
| 2022-04-20 21:41:19 +0000 | werneta | (~werneta@137.79.201.225) (Ping timeout: 256 seconds) |
| 2022-04-20 21:42:18 +0000 | <monochrom> | How does Monoid help? |
| 2022-04-20 21:43:06 +0000 | <energizer> | is there a shorter way than (a < b) && (b < c) ? |
| 2022-04-20 21:43:29 +0000 | <energizer> | perhaps using the fact that b is shared or that < is shared (or both) |
| 2022-04-20 21:43:35 +0000 | <geekosaur> | not without writing it yourself, I think |
| 2022-04-20 21:44:03 +0000 | <geekosaur> | conceivably Monoid could have been used to do it, but it got used for something more general instead |
| 2022-04-20 21:44:04 +0000 | <Rembane> | monochrom: Not at all, I mixed 'em up. :D |
| 2022-04-20 21:44:34 +0000 | <Rembane> | A fold perhaps, but for four variables it's not too useful. |
| 2022-04-20 21:45:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-04-20 21:46:07 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-04-20 21:46:57 +0000 | werneta | (~werneta@137.79.218.82) |
| 2022-04-20 21:48:41 +0000 | stackdroid18 | (14094@user/stackdroid) |
| 2022-04-20 21:48:59 +0000 | <geekosaur> | fold would only work if we had an Icon-like comparison operator setup (which would presumably be Ord a => Either () a) |
| 2022-04-20 21:49:15 +0000 | deadmarshal_ | (~deadmarsh@95.38.229.55) (Ping timeout: 256 seconds) |
| 2022-04-20 21:49:54 +0000 | <geekosaur> | mm, more generally Either Ordering a |
| 2022-04-20 21:50:38 +0000 | <energizer> | what about by applying id and flip to (<) |
| 2022-04-20 21:51:34 +0000 | <monochrom> | You mean id < flip ? |
| 2022-04-20 21:52:07 +0000 | <monochrom> | Ugh the vagueness of this discussion is too high for me. |
| 2022-04-20 21:52:32 +0000 | Guest18 | (~Guest18@dynamic-186-154-26-31.dynamic.etb.net.co) |
| 2022-04-20 21:52:47 +0000 | <Rembane> | This is not very elegant but could work: f x = all (uncurry (<)) $ zip xs $ tail xs |
| 2022-04-20 21:53:29 +0000 | Guest18 | (~Guest18@dynamic-186-154-26-31.dynamic.etb.net.co) (Client Quit) |
| 2022-04-20 21:55:40 +0000 | <geekosaur> | I think at this point I just write a bespoke inRange function |
| 2022-04-20 21:55:56 +0000 | <geekosaur> | rather than try to get tricky with operators |
| 2022-04-20 21:56:15 +0000 | <geekosaur> | come to think of it, there should already be one in Data.Ix |
| 2022-04-20 21:56:21 +0000 | <hpc> | :t on |
| 2022-04-20 21:56:21 +0000 | <geekosaur> | @hoogle inRange |
| 2022-04-20 21:56:22 +0000 | <lambdabot> | Data.Ix inRange :: Ix a => (a, a) -> a -> Bool |
| 2022-04-20 21:56:22 +0000 | <lambdabot> | GHC.Arr inRange :: Ix a => (a, a) -> a -> Bool |
| 2022-04-20 21:56:22 +0000 | <lambdabot> | GHC.Ix inRange :: Ix a => (a, a) -> a -> Bool |
| 2022-04-20 21:56:22 +0000 | <lambdabot> | (b -> b -> c) -> (a -> b) -> a -> a -> c |
| 2022-04-20 21:56:38 +0000 | <hpc> | :t over |
| 2022-04-20 21:56:40 +0000 | <lambdabot> | ASetter s t a b -> (a -> b) -> s -> t |
| 2022-04-20 21:56:47 +0000 | <hpc> | hmm, on is almost it |
| 2022-04-20 21:58:29 +0000 | Topsi | (~Tobias@dyndsl-095-033-095-193.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-04-20 22:00:01 +0000 | abiss27 | (~abiss27@user/abiss) |
| 2022-04-20 22:02:01 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-20 22:02:06 +0000 | werneta | (~werneta@137.79.218.82) (Ping timeout: 276 seconds) |
| 2022-04-20 22:08:30 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::46a8) |
| 2022-04-20 22:09:37 +0000 | <abastro[m]> | Actual range datatype would be great |
| 2022-04-20 22:09:50 +0000 | xff0x_ | (~xff0x@om126194210237.10.openmobile.ne.jp) |
| 2022-04-20 22:10:17 +0000 | <abastro[m]> | Which can act as foldable |
| 2022-04-20 22:14:08 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds) |
| 2022-04-20 22:15:39 +0000 | [Leary] | (~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Ping timeout: 240 seconds) |
| 2022-04-20 22:19:39 +0000 | ubert | (~Thunderbi@p200300ecdf1588a8ad1d2aec8363db05.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-20 22:19:57 +0000 | ubert | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) |
| 2022-04-20 22:23:42 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-04-20 22:24:45 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 22:25:15 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-20 22:27:04 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-20 22:28:47 +0000 | acidjnk | (~acidjnk@p200300d0c722df425cfbfca65ef55eb7.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-20 22:31:28 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-20 22:35:26 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) |
| 2022-04-20 22:36:40 +0000 | zyklotomic | (~ethan@r4-128-61-92-91.res.gatech.edu) (Ping timeout: 250 seconds) |
| 2022-04-20 22:38:37 +0000 | zyklotomic | (~ethan@res380d-128-61-86-145.res.gatech.edu) |
| 2022-04-20 22:39:38 +0000 | <Guest27> | If I have a do-block of the form |
| 2022-04-20 22:39:39 +0000 | <Guest27> | ``` |
| 2022-04-20 22:39:39 +0000 | <Guest27> | a <- ma |
| 2022-04-20 22:39:40 +0000 | <Guest27> | b <- f a |
| 2022-04-20 22:39:41 +0000 | <Guest27> | someBigOperation b |
| 2022-04-20 22:39:41 +0000 | <Guest27> | ``` |
| 2022-04-20 22:39:41 +0000 | <Guest27> | Is this a memory leak? Is a reference to `a` being held when it isn't needed anymore? |
| 2022-04-20 22:41:45 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-20 22:42:45 +0000 | <geekosaur> | the compiler should see it isn't needed any more |
| 2022-04-20 22:44:17 +0000 | <geekosaur> | I wouldn't be surprised to see there be no reference, in fact: that could easily compile down to |
| 2022-04-20 22:44:34 +0000 | <geekosaur> | @. pl undo do { a <- ma; b <- f a; someBigOperation b } |
| 2022-04-20 22:44:35 +0000 | <lambdabot> | someBigOperation =<< f =<< ma |
| 2022-04-20 22:44:38 +0000 | renzhi | (~xp@2607:fa49:6500:b100::229c) |
| 2022-04-20 22:46:22 +0000 | <Guest27> | geekosaur Thanks. If no optimizations were applied would that still be true? I'm unsure how to reason about reference lifetimes in Haskell in general |
| 2022-04-20 22:46:52 +0000 | <geekosaur> | it should still be true, I think |
| 2022-04-20 22:47:11 +0000 | <geekosaur> | things are held in scope by actual references, not just bindings |
| 2022-04-20 22:47:32 +0000 | <geekosaur> | like avg xs = sum xs / length xs holds xs because it's used twice |
| 2022-04-20 22:47:47 +0000 | <geekosaur> | but just having xs be there unused would not count as a reference |
| 2022-04-20 22:48:00 +0000 | <geekosaur> | it's not a "variable" that has space allocated for it or etc. |
| 2022-04-20 22:48:26 +0000 | <Guest27> | Thanks, that's a great explanation |
| 2022-04-20 22:48:34 +0000 | <geekosaur> | (well, with the right coercions so that typechecks) |
| 2022-04-20 22:52:52 +0000 | Guest91 | (~Guest91@caliga.eecs.tufts.edu) |
| 2022-04-20 22:54:16 +0000 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 248 seconds) |
| 2022-04-20 22:54:52 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-20 22:54:59 +0000 | <Guest91> | I am a systems administrator. I wish to install the latest set of Haskell tools -- a custom list -- centrally on my servers. I have so far found no way to do this; everything wants to install in my home directory. I specifically do not want anything installed in ~/.ghc or ~/.cabal, as my goal at the end of this is 'rm -rf ~/.ghc ~/.cabal' and |
| 2022-04-20 22:55:00 +0000 | <Guest91> | have everything I install still present -- libraries, dependencies, documentation -- in a central directory somewhere else. Is there documentation anywhere on how to do this? |
| 2022-04-20 22:55:44 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 22:55:54 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-04-20 22:56:11 +0000 | joo-_ | (~joo-_@80-62-117-45-mobile.dk.customer.tdc.net) |
| 2022-04-20 22:56:11 +0000 | joo-_ | (~joo-_@80-62-117-45-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-20 22:56:11 +0000 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-20 22:56:18 +0000 | <geekosaur> | maerwald? ^^ |
| 2022-04-20 22:57:13 +0000 | <geekosaur> | ghcup has some options that can make it work globally, and cabal install has a strongly disrecommended --global flag. the problem with --global is it pretty much locks you into the exact versions of libraries you have installed globally |
| 2022-04-20 22:58:15 +0000 | <Guest91> | This is for a class being taught; lock-in is desirable, as it makes consistent grading much easier. |
| 2022-04-20 22:58:19 +0000 | <sclv> | you can install ghc itself globally, and cabal the executable globally |
| 2022-04-20 22:58:55 +0000 | <sclv> | you can then cabal v1-install —global individual libs. However i really urge you not to |
| 2022-04-20 22:59:20 +0000 | <Guest91> | I've tried the --global flag in various flavors. It keeps thinking it has everything installed in my home directory and only installs the new thing in the place I've specified with --prefix --installdir and --libdir. It's also so far barfed on trying to install ghc there. |
| 2022-04-20 22:59:26 +0000 | <sclv> | Just install the tools globally and let cabal and ghc manage per user lib envs — thats how things are designed to worj |
| 2022-04-20 22:59:28 +0000 | <sclv> | Work |
| 2022-04-20 23:00:11 +0000 | <Guest91> | Per-user library environments are exactly the problem I'm trying to avoid. Makes grading difficult when the instructor has no ready way to see what version the student has grabbed. Everyone should be using the central libraries, nothing else. |
| 2022-04-20 23:00:39 +0000 | <sclv> | you can say they must specify their deps in a cabal file |
| 2022-04-20 23:01:22 +0000 | <sclv> | to install ghc globally dont use ghcup, use the installer directly from ghchq |
| 2022-04-20 23:01:34 +0000 | <sclv> | or just use a distro package manager |
| 2022-04-20 23:01:46 +0000 | <Guest91> | Distro version is too old, so installer it is. |
| 2022-04-20 23:01:55 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-20 23:02:03 +0000 | <sm> | you could force them to use stack with a specific resolver and no extra-deps |
| 2022-04-20 23:02:04 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Quit: Client closed) |
| 2022-04-20 23:02:14 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-20 23:02:52 +0000 | <Guest91> | Instructor has specifically told me to use cabal, not stack. Last I tried building stack, it would not play at all with cabal, but that was probably 3-4 years ago. Have things improved since then, that I can install both? |
| 2022-04-20 23:02:58 +0000 | <sclv> | or just give a skeleton project with a cabal file with pinned deps and tell them they can’t alter those deps |
| 2022-04-20 23:03:41 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 23:03:47 +0000 | <exarkun> | Guest91: stack uses cabal, so depending on what you mean, they play quite well together. |
| 2022-04-20 23:04:01 +0000 | <sm> | you could also set up your own hackage server I guess and force them to use that. (Sounds like a lot of effort) |
| 2022-04-20 23:04:23 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-04-20 23:04:40 +0000 | <Guest91> | 'cabal install --global [umpty flags] stack' blew up in multiple ways I could not fix at the time. Haven't tried this round, as the whole --global thing I left myself notes on from last time is no longer working. |
| 2022-04-20 23:04:54 +0000 | <geekosaur> | both of them use the same mechanism to whack ghc over the head and make it use the right librariesneither stack nor cabal can see the other's sandboxed libraries. this is irrelevant if you'reinstalling everything in the global db though |
| 2022-04-20 23:05:14 +0000 | <geekosaur> | whoops |
| 2022-04-20 23:05:28 +0000 | <geekosaur> | neither stack nor cabal can see the other's sandboxed libraries. this is irrelevant if you'reinstalling everything in the global db though |
| 2022-04-20 23:06:09 +0000 | <Guest91> | Is using the global db going to involve cabal and stack stepping on each other as I try to get a central install working? |
| 2022-04-20 23:06:14 +0000 | <geekosaur> | and anything you did a few years ago with cabal install now needs to be cabal v1-install |
| 2022-04-20 23:06:16 +0000 | <sm> | installing stack with cabal would be a waste of effort, there are many easier ways |
| 2022-04-20 23:06:38 +0000 | <geekosaur> | (and I don't think stack can do global installs at all) |
| 2022-04-20 23:06:47 +0000 | <monochrom> | ghcup can get you cabal or stack or both. |
| 2022-04-20 23:06:55 +0000 | <Guest91> | I'm pretty sure the last time I invoked 'cabal install' in earnest was in 2018. |
| 2022-04-20 23:06:59 +0000 | <sclv> | you're getting too much conflicting advice here from everyone. but i think stack is a red herring |
| 2022-04-20 23:07:04 +0000 | <monochrom> | But there is no longer any --global |
| 2022-04-20 23:07:22 +0000 | <sclv> | the first step is a global ghc -- do that by installing ghc from ghchq |
| 2022-04-20 23:07:36 +0000 | <sclv> | second, get a cabal executable and place it in the global /bin |
| 2022-04-20 23:07:36 +0000 | tired | (~tired@user/tired) (Quit: /) |
| 2022-04-20 23:07:40 +0000 | <sclv> | finally, worry about the libs |
| 2022-04-20 23:07:53 +0000 | <Guest91> | Got it. Will try that; many thanks. |
| 2022-04-20 23:07:59 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-20 23:08:11 +0000 | <sm> | well, it's an interesting problem with many solutions, none of them easy |
| 2022-04-20 23:08:37 +0000 | <sclv> | vis a vis the libs you can either "cabal v1-install --global LIBNAME" _or_ my preferred way would be to give every student a template cabal project with the allowed libs pinned and just tell them "don't alter em" |
| 2022-04-20 23:08:45 +0000 | <Guest91> | This is why I take notes. But my notes are no good, which was leading me to getting a flat spot on my forehead. |
| 2022-04-20 23:09:04 +0000 | tired | (~tired@user/tired) |
| 2022-04-20 23:09:16 +0000 | <sclv> | a lot has changed in the last few years, so it requires thinking through the goals again based on the current state of tools |
| 2022-04-20 23:09:22 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-20 23:09:24 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 23:09:25 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-20 23:09:37 +0000 | <sm> | haskell notes decay in about six months :) |
| 2022-04-20 23:10:15 +0000 | <Guest91> | ...and these last worked in July 2018. Well decayed by now. |
| 2022-04-20 23:10:55 +0000 | <Guest91> | OK, off to run the steps sclv listed. Thanks! |
| 2022-04-20 23:11:12 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-20 23:11:23 +0000 | <sm> | I would suggest an amendment, start with ghcup. Why wouldn't you |
| 2022-04-20 23:12:57 +0000 | <Guest91> | I already tried ghcup. It put ghc in my home directory along with all the other tools. I then tried using the cabal that came with to 'cabal install --global [umpty path flags] ghc', which failed with a version conflict on the first dependency it tried. |
| 2022-04-20 23:13:22 +0000 | <Guest91> | Unfortunately, the specific error is out of my scrollback, so I'd have to rebuild that whole sequence to reproduce it. |
| 2022-04-20 23:13:39 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-04-20 23:14:01 +0000 | <sm> | Guest91: ah right, you don't want things installed in $HOME |
| 2022-04-20 23:14:02 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:39b1:39b8:aa61:2e31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-20 23:14:08 +0000 | <Guest91> | Not even a little bit. |
| 2022-04-20 23:14:15 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 23:14:42 +0000 | <sm> | cabal install-ing ghc would be crazy, unless you are really intent on building everything from source ? |
| 2022-04-20 23:15:10 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 23:15:28 +0000 | <Guest91> | That's certainly how I've done it in the past. Using the distro elderly ghc to bootstrap my way up to latest, then grabbing a cabal binary and doing the same with that, then installing tools. |
| 2022-04-20 23:15:45 +0000 | <jackdk> | If you want this level of control, have you considered Nix? |
| 2022-04-20 23:16:19 +0000 | <Guest91> | I don't know Nix. nix-shell ? |
| 2022-04-20 23:16:20 +0000 | <sm> | I see... what about GHC binaries from haskell.org/ghc ? |
| 2022-04-20 23:16:49 +0000 | <Guest91> | Part of the problem here is that I'm a sysadmin -- I am not a Haskell user. I put stuff in place, other people use it. |
| 2022-04-20 23:17:19 +0000 | <sm> | maerwald: does/should ghcup have an option to install things elsewhere than $HOME ? |
| 2022-04-20 23:19:17 +0000 | <Guest91> | Hah, having just looked at the binary distros on haskell.org, my OS isn't there -- RHEL 8. I suspect I'm going to have to build at least ghc from source regardless. |
| 2022-04-20 23:19:47 +0000 | <Guest91> | With luck my notes for that haven't decayed quite so badly. |
| 2022-04-20 23:20:13 +0000 | <sm> | note, `cabal install ghc` does not install GHC, but the `ghc` API package |
| 2022-04-20 23:20:33 +0000 | <Guest91> | Aha, useful to know. Thank you. I was figuring it was the compiler itself. |
| 2022-04-20 23:21:08 +0000 | <sm> | and perhaps you don't need a RHEL 8 specific binary ? Just Linux (ARCH) |
| 2022-04-20 23:21:22 +0000 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-20 23:21:46 +0000 | <Guest91> | We put things in weird places to avoid disturbing the system binaries & libraries, so I often need to build to make sure that any baked-in paths are correct. |
| 2022-04-20 23:22:44 +0000 | <sm> | you have a fun job don't you :) |
| 2022-04-20 23:23:10 +0000 | <Guest91> | Academic sysadmin! It has its moments. Dealing with Haskell and cabal are... not my favorite, I must say. |
| 2022-04-20 23:23:33 +0000 | <sm> | I was going to throw docker into the mix... |
| 2022-04-20 23:24:27 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-20 23:24:29 +0000 | <Guest91> | So far managed to avoid that one. We use VMWare to good effect, and have handed user-level docker privs on specific machines to the three users who so far have required that. |
| 2022-04-20 23:25:01 +0000 | cawfee | (~root@2406:3003:2077:2758::babe) (Ping timeout: 240 seconds) |
| 2022-04-20 23:25:15 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Ping timeout: 260 seconds) |
| 2022-04-20 23:25:41 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 23:25:43 +0000 | cosimone` | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-20 23:25:59 +0000 | geekosaur | has been there |
| 2022-04-20 23:26:09 +0000 | <Guest91> | Yup, here's the ghc bootstrapping I was expecting. Can't build 9.2.2 with my distro's version 8.2.2. Interstitial versions, here I come... |
| 2022-04-20 23:26:13 +0000 | kronicma1 | (user73386@neotame.csclub.uwaterloo.ca) (Ping timeout: 240 seconds) |
| 2022-04-20 23:26:29 +0000 | <geekosaur> | bindist shouldn't need to bootstrap |
| 2022-04-20 23:26:35 +0000 | <geekosaur> | did I miss something? |
| 2022-04-20 23:26:40 +0000 | <sm> | ohh so old. I would definitely be trying the 9.2.2 binaries |
| 2022-04-20 23:27:09 +0000 | <geekosaur> | (managed cluster and grad student machines for Carnegie Mellon ECE for a decade, around a decade ago) |
| 2022-04-20 23:27:27 +0000 | kronicma1 | (user92502@neotame.csclub.uwaterloo.ca) |
| 2022-04-20 23:27:34 +0000 | <geekosaur> | ECE, so no compiler stuff unless you count Verilog |
| 2022-04-20 23:28:19 +0000 | <Guest91> | geekosaur no bindist for RHEL 8, and I'm already leery of our odd install pathing, so bootstrapping my way from 8.2.2 to 9.2.2. |
| 2022-04-20 23:28:37 +0000 | cawfee | (~root@2406:3003:2077:2758::babe) |
| 2022-04-20 23:29:37 +0000 | <monochrom> | Are you sure the one for Fedora 27 isn't good enough? |
| 2022-04-20 23:29:53 +0000 | <monochrom> | Are you already on https://www.haskell.org/ghc/download_ghc_9_2_2.html#linux_x86_64 ? |
| 2022-04-20 23:30:09 +0000 | <geekosaur> | RHEL is usually fairly old, so probably it's not |
| 2022-04-20 23:30:23 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-20 23:30:26 +0000 | <monochrom> | OK yikes |
| 2022-04-20 23:30:35 +0000 | <geekosaur> | had to deal with RHEL at my last job, it makes Debian look like rolling release |
| 2022-04-20 23:31:03 +0000 | <Guest91> | RHEL 8 is based on Fedora 28, might work. But I've done bootstrap in the past to good effect, so bootstrap here should -- I hope! -- still work. |
| 2022-04-20 23:31:07 +0000 | <monochrom> | Perhaps CentOS 7 is closer? |
| 2022-04-20 23:31:17 +0000 | <sm> | since you already succeeded installing a modern ghc with ghcup: there's also the option of doing that and just moving it |
| 2022-04-20 23:31:26 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 23:31:30 +0000 | <geekosaur> | that should be since CentOS is more or less free RHEL |
| 2022-04-20 23:31:36 +0000 | <geekosaur> | *should be OK |
| 2022-04-20 23:32:54 +0000 | <Guest91> | sm: no baked in paths to worry about? I've been bit by that on various occasions. |
| 2022-04-20 23:33:01 +0000 | <monochrom> | At any rate they are built for you to just say "./configure --prefix=/foo/bar && make install" so you can choose whatever /foo/bar you want, maximum flexibility. |
| 2022-04-20 23:33:16 +0000 | <sm> | I don't know, but I sure would give it a try before bootstrapping through multiple GHC versions on an ancient system |
| 2022-04-20 23:33:35 +0000 | <monochrom> | There are install-time bake-in paths. |
| 2022-04-20 23:33:48 +0000 | <geekosaur> | ghc doesn't bake in paths, and you'll find that an installed ghc uses wrapper scripts which pass -B options to find itself |
| 2022-04-20 23:33:50 +0000 | <monochrom> | But they are install-time. |
| 2022-04-20 23:34:13 +0000 | <geekosaur> | at need you can edit the wrappers |
| 2022-04-20 23:34:58 +0000 | <geekosaur> | oh, package db registrations have baked-in paths also. but you can edit the registration files and then run ghc-pkg recache --global |
| 2022-04-20 23:35:13 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-20 23:35:29 +0000 | <monochrom> | That gets out of hand quickly. |
| 2022-04-20 23:35:38 +0000 | <Guest91> | Eh, I have 8.6.5 building with 8.2.2. Next up: 8.10.7, and then 9.2.2. I vaguely remember not being able to skip quite so many versions last time I did this. |
| 2022-04-20 23:35:51 +0000 | <geekosaur> | hopefully it's only done once while provisioning the machine |
| 2022-04-20 23:36:01 +0000 | <monochrom> | I mean for those of us who deeply understand how GHC organizes itself it looks "trivial". |
| 2022-04-20 23:36:27 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-20 23:37:13 +0000 | <geekosaur> | Guest91, somewhere mid-8.x ghc went from "support one prior version" to "support two prior versions" |
| 2022-04-20 23:37:28 +0000 | <Guest91> | That'd explain it. Much appreciated! |
| 2022-04-20 23:37:36 +0000 | <monochrom> | I use ghcup but I pull a GHCUP_INSTALL_BASE_PREFIX=/usr/local trick. :) |
| 2022-04-20 23:37:37 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-20 23:37:54 +0000 | <sm> | monochrom: ah, there it is, nice |
| 2022-04-20 23:38:00 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:9093:7e91:d33a:2c42) (Ping timeout: 248 seconds) |
| 2022-04-20 23:38:04 +0000 | <Guest91> | Hm! I may try that separately while this interstitial is building. |
| 2022-04-20 23:38:25 +0000 | <Guest91> | It'll probably still leave me a pile of things in ~/.ghc and ~/.cabal. |
| 2022-04-20 23:38:34 +0000 | <monochrom> | But then it means /usr/local/.ghcup (generally $GHCUP_INSTALL_BASE_PREFIX/.ghcup). |
| 2022-04-20 23:38:39 +0000 | <Guest91> | Ooog. |
| 2022-04-20 23:38:56 +0000 | <monochrom> | But no matter, I then set up symlinks to get nicer directory names. |
| 2022-04-20 23:39:09 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 23:39:57 +0000 | <Guest91> | Our install paths are weird because we install everything into a per-version directory and then symlink into a common bin & lib & other stuff directory set. Lets us keep old versions around in case someone is relying on them. |
| 2022-04-20 23:40:07 +0000 | <geekosaur> | yup |
| 2022-04-20 23:40:17 +0000 | <monochrom> | ghcup does that internally too. |
| 2022-04-20 23:40:35 +0000 | <Guest91> | But many things look askance at being installed into a directory like /usr/local/ghc-9.2.2, which is why I'm leery of binary distros. |
| 2022-04-20 23:40:54 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-04-20 23:41:04 +0000 | <geekosaur> | ghc's "binary distro" has a configure script |
| 2022-04-20 23:41:06 +0000 | <monochrom> | Although, to be fair, "does it internally" also means not according to your established scheme. |
| 2022-04-20 23:41:18 +0000 | <sclv> | i'd also check if the prof really wants 9.2.2 -- the stable-tho-somewhat-old version still in production many places is 8.10.7 |
| 2022-04-20 23:41:41 +0000 | <sm> | +1 |
| 2022-04-20 23:41:43 +0000 | <jackdk> | I am aware of at least one academic institution that's still teaching with 8.6.5 |
| 2022-04-20 23:41:48 +0000 | <Guest91> | Latest release by request! That much I know. |
| 2022-04-20 23:41:53 +0000 | <geekosaur> | and 9.2.2 did change some details of parsing |
| 2022-04-20 23:42:06 +0000 | <monochrom> | Yes you should make the prof decide on the version and sign it black and white and witnessed by a lawyer and a justice of peace. |
| 2022-04-20 23:42:16 +0000 | <geekosaur> | notably spaces arenowrequires in someplaces where they were optional |
| 2022-04-20 23:42:24 +0000 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) |
| 2022-04-20 23:42:26 +0000 | <geekosaur> | *are now required |
| 2022-04-20 23:42:30 +0000 | <Guest91> | The prof is quite good about being consistent on these things. One of our best customers in that regard. |
| 2022-04-20 23:42:53 +0000 | <sm> | but hey, if 9.2.2 is acceptable it's faster and probably nicer all round and why not save a bunch of students some pain |
| 2022-04-20 23:43:18 +0000 | <Guest91> | And I'll have 8.10.7 as an interstitial anyhow, so I might as well keep it. |
| 2022-04-20 23:43:55 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-20 23:44:54 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 23:45:22 +0000 | <monochrom> | But yeah putting different versions in different directories is a good idea. |
| 2022-04-20 23:46:06 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-04-20 23:46:09 +0000 | <jackdk> | When you have time, I think you should give Nix (not the whole OS, just the package manager/build tool/floor wax) a good look - its whole point is that everything it builds lives under /nix/store, with a lot of work going into hardcoding rpaths etc such that it's not depending on system libs etc. Not sure if they support RHEL 8 though. |
| 2022-04-20 23:46:32 +0000 | <Guest91> | jackdk: I'll have a look while I'm building these interstitials. |
| 2022-04-20 23:46:52 +0000 | yauhsien | (~yauhsien@61-231-27-3.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-04-20 23:46:52 +0000 | russruss | (~russruss@my.russellmcc.com) (Ping timeout: 250 seconds) |
| 2022-04-20 23:47:09 +0000 | cynomys | (~cynomys@user/cynomys) |
| 2022-04-20 23:47:11 +0000 | <jackdk> | It also seems like a useful thing to have for reproducible science |
| 2022-04-20 23:47:44 +0000 | <geekosaur> | downside is you end up with Nix-flavored duplicates of half your system libraries |
| 2022-04-20 23:47:54 +0000 | <Guest91> | Yup. Another reason I dislike the default behavior of cabal putting everything in $HOME. |
| 2022-04-20 23:48:04 +0000 | <geekosaur> | as a sysadmin I find that annoying |
| 2022-04-20 23:48:43 +0000 | <monochrom> | I'm a sysadmin-wannabe so I have some of that sentiment too. |
| 2022-04-20 23:49:12 +0000 | <monochrom> | Although, I'm sysadminning for just one user (myself) so I am not really impacted. |
| 2022-04-20 23:49:28 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-20 23:50:23 +0000 | <sibnull[m]> | I'm a developer, and NixOS is great, because all the sysamin stuff is basically outsourced to professionals, and all I do is reproduce their curated configuration on my computer. |
| 2022-04-20 23:50:40 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-20 23:53:12 +0000 | <geekosaur> | I think nix*os* makes more sense than nix itself |
| 2022-04-20 23:53:58 +0000 | <geekosaur> | specifically because nix has to duplicate the host system to ensure its curated configuration is used |
| 2022-04-20 23:55:06 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-20 23:56:26 +0000 | redb | (~nmh@136.49.49.211) |