Logs on 2023-04-02 (liberachat/#haskell)
| 00:00:15 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 00:01:47 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:02:55 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 260 seconds) |
| 00:03:16 | → | califax joins (~califax@user/califx) |
| 00:09:21 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 00:25:11 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 00:26:28 | → | superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 00:28:30 | × | jlee quits (~jlee@2601:248:1:d90:3fac:736e:cbdb:ae89) (Quit: Konversation terminated!) |
| 00:33:38 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 00:33:53 | × | codaraxis quits (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 00:51:21 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 00:55:20 | <Axman6> | Is there a way to teach hls about the dependencies a standalone haskell file needs? I have a cabal: comment at the top which works fine when I run the file using is shebang line, but when editing it (in helix currently) I get errors about imports needing packages specified in build-depends |
| 01:01:06 | → | dipper_ joins (~dipper@203.168.13.4) |
| 01:01:39 | <Axman6> | Looks like cabal/stack script support has been asked for, but not implemented: https://github.com/haskell/haskell-language-server/issues/111 |
| 01:09:56 | → | gurkenglas joins (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) |
| 01:11:04 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:17:14 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:23:38 | → | nate1 joins (~nate@98.45.169.16) |
| 01:28:53 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 01:31:24 | → | gurkengl1s joins (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) |
| 01:31:55 | × | gurkenglas quits (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 01:48:13 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:51:23 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 01:52:45 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 01:58:37 | → | razetime joins (~Thunderbi@49.207.192.117) |
| 02:01:23 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) |
| 02:05:02 | → | sex joins (~sex@1.213.228.20) |
| 02:05:06 | <sex> | printf("Hello slave World") |
| 02:07:13 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:07:13 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:07:13 | finn_elija | is now known as FinnElija |
| 02:07:17 | × | sex quits (~sex@1.213.228.20) (K-Lined) |
| 02:08:18 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 02:09:31 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:10:42 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 02:16:49 | → | nate1 joins (~nate@98.45.169.16) |
| 02:18:52 | <sm> | Axman6: alas yes |
| 02:22:29 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) (Remote host closed the connection) |
| 02:22:36 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 02:23:10 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 02:25:36 | × | Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 02:25:51 | × | td_ quits (~td@i5387093C.versanet.de) (Ping timeout: 255 seconds) |
| 02:27:02 | → | smallville7123 joins (~Android@116.90.72.44) |
| 02:27:25 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 02:27:34 | → | Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 02:27:36 | → | td_ joins (~td@i53870922.versanet.de) |
| 02:29:47 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 02:34:04 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) |
| 02:35:21 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 02:44:42 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Remote host closed the connection) |
| 02:55:11 | <Nosrep> | would it be possible for IntMap to use Bits instead of Ints |
| 02:55:54 | <Nosrep> | or finitebits i guess? |
| 02:56:28 | <Nosrep> | don't really know how it works internally but it sounds better than implementing a bunch of int32map word64maps and whatever else (there are none, but i wish there were) |
| 02:59:03 | <EvanR> | there's a package for IntMap that uses Enum |
| 02:59:13 | <EvanR> | which maps to and from Int |
| 02:59:41 | <EvanR> | https://hackage.haskell.org/package/enummaps |
| 03:00:15 | <EvanR> | which sounds more efficient than going through Bits |
| 03:02:01 | <EvanR> | Enum also allows you to use e.g. Char |
| 03:07:24 | <Nosrep> | it uses fromEnum under the hood |
| 03:07:37 | <Nosrep> | so might as well just use intset at that point |
| 03:07:56 | <Nosrep> | wait, is int64 a thing on 32bit systems? |
| 03:09:47 | <Nosrep> | okay never mind i was thinking about having int64map on 32 bit systems but yeah seems kinda pointless if it isnt |
| 03:10:20 | <Nosrep> | enummaps is cool though |
| 03:14:35 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 03:15:41 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 03:19:30 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 03:19:51 | <EvanR> | yes you can wrap IntMap yourself if you want |
| 03:21:15 | <EvanR> | Int64 is a thing on 32bit, two 32bit ints xD |
| 03:26:59 | <Nosrep> | how would i go about wrapping i |
| 03:27:11 | <Nosrep> | without just truncating it somehow which has collisiosn |
| 03:27:26 | <Nosrep> | wouldn't you have to like copy the whole intmap code over and change the key to int64? |
| 03:27:33 | <EvanR> | I'm not following |
| 03:27:42 | <EvanR> | you want to use IntMap with what kind of key |
| 03:28:38 | <EvanR> | if it can't fit into an Int it won't work |
| 03:32:17 | <EvanR> | if it can, Enum is a pre-existing gateway to do that |
| 03:33:32 | <Nosrep> | i want an intmap thats still 64bit on 32 bit systems so my program doesn't fall apart |
| 03:34:15 | <Nosrep> | it should be possible the a guy on github was like "oh i can modify the key but idk if i wanna put that in" |
| 03:36:17 | <EvanR> | Int64 map for 32bit systems, sounds like a bad idea |
| 03:36:21 | <EvanR> | but possible |
| 03:36:57 | <EvanR> | it kind of defeats the purpose of the performance gain of using Int |
| 03:39:53 | <EvanR> | there's always Map Int64 |
| 03:40:03 | <EvanR> | and hiding what kind of table you use behind a newtype |
| 03:52:21 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 03:52:32 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 04:01:15 | × | gurkengl1s quits (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 04:01:43 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 04:05:30 | <Nosrep> | good idea |
| 04:05:33 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 04:05:57 | → | califax joins (~califax@user/califx) |
| 04:06:24 | × | xff0x quits (~xff0x@2405:6580:b080:900:da20:b65a:3c49:4b97) (Ping timeout: 248 seconds) |
| 04:08:34 | → | xff0x joins (~xff0x@178.255.149.135) |
| 04:26:58 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 04:27:08 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 04:30:48 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 268 seconds) |
| 04:32:03 | → | xff0x joins (~xff0x@2405:6580:b080:900:da20:b65a:3c49:4b97) |
| 04:32:09 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 04:52:37 | → | trev joins (~trev@user/trev) |
| 04:55:41 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 05:04:06 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 05:08:49 | × | _xor quits (~xor@74.215.46.17) (Quit: bbiab) |
| 05:09:06 | pony | is now known as u-ou |
| 05:22:15 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 05:24:39 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 05:41:06 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 05:42:01 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 276 seconds) |
| 05:42:03 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:43:23 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 05:43:49 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:46:07 | × | hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 05:54:01 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 05:54:43 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:03:53 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 06:04:10 | × | phma quits (~phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265) (Read error: Connection reset by peer) |
| 06:04:31 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 06:04:34 | → | phma joins (phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265) |
| 06:05:09 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:08:36 | × | talismanick quits (~talismani@76.133.152.122) (Ping timeout: 255 seconds) |
| 06:16:05 | → | barzo joins (~hd@31.223.56.16) |
| 06:16:39 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 06:20:10 | × | razetime quits (~Thunderbi@49.207.192.117) (Quit: See You Space Cowboy) |
| 06:25:49 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 06:30:09 | → | kuribas joins (~user@ptr-17d51en67fh0zvyornk.18120a2.ip6.access.telenet.be) |
| 06:30:50 | <kuribas> | How do HKTs fit into the lambda cube? |
| 06:30:54 | <kuribas> | They are not types that depend on types, since (Type -> Type) is not a type... |
| 06:31:29 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:32:11 | <kuribas> | They are not terms either. |
| 06:32:27 | <kuribas> | (Type -> Type) is not a (value level) term. |
| 06:38:11 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 06:47:30 | × | kuribas quits (~user@ptr-17d51en67fh0zvyornk.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 06:50:18 | → | jargon joins (~jargon@174-22-223-2.phnx.qwest.net) |
| 06:58:44 | × | barzo quits (~hd@31.223.56.16) (Quit: Leaving) |
| 07:02:32 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:10:42 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 255 seconds) |
| 07:11:28 | × | hltk quits (~hltk@hltk.fi) (Remote host closed the connection) |
| 07:11:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:16:14 | → | nate1 joins (~nate@98.45.169.16) |
| 07:21:37 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 07:24:04 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 07:48:55 | → | zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe) |
| 07:49:34 | × | zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Client Quit) |
| 07:50:38 | → | zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe) |
| 07:51:02 | u-ou | is now known as no-n |
| 07:57:57 | × | jargon quits (~jargon@174-22-223-2.phnx.qwest.net) (Remote host closed the connection) |
| 07:59:02 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:03:31 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 08:17:35 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 08:19:16 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 08:21:41 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:21:52 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 08:22:20 | × | andreas303-apple quits (andreas303@is.drunk.and.ready-to.party) (Quit: fBNC - https://bnc4free.com) |
| 08:22:42 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 08:32:53 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 08:33:49 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:35:23 | × | andreas303 quits (andreas303@is.drunk.and.ready-to.party) (Remote host closed the connection) |
| 08:36:56 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 08:43:26 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 08:53:04 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:57:42 | × | phma quits (phma@2001:5b0:211b:ccf8:95c1:8152:d7ab:2265) (Read error: Connection reset by peer) |
| 08:58:34 | → | phma joins (~phma@2001:5b0:210d:32c8:ebb2:77d8:cd18:90d7) |
| 09:00:03 | × | remsense quits (~iarmatrix@2001:470:69fc:105::3:625) (Quit: You have been kicked for being idle) |
| 09:00:04 | × | famubu[m] quits (~famubumat@2001:470:69fc:105::1081) (Quit: You have been kicked for being idle) |
| 09:00:51 | × | bliminse quits (~bliminse@user/bliminse) (Ping timeout: 260 seconds) |
| 09:09:05 | → | NiceBird joins (~NiceBird@185.133.111.196) |
| 09:15:48 | → | bliminse joins (~bliminse@user/bliminse) |
| 09:16:42 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:33:12 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e98d:20ea:7c:5f58) (Remote host closed the connection) |
| 09:35:00 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:38:56 | → | freeside joins (~mengwong@103.252.202.85) |
| 09:42:29 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:46:38 | → | gurkenglas joins (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) |
| 09:59:54 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 10:10:58 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 10:14:24 | × | gurkenglas quits (~gurkengla@dynamic-046-114-179-233.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 10:16:28 | → | chomwitt joins (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 10:16:53 | → | paul_j joins (~user@2001:8b0:dea0:f3c9:52eb:f6ff:fe56:59ca) |
| 10:27:47 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection) |
| 10:34:10 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 10:35:22 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 10:38:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Ping timeout: 260 seconds) |
| 10:39:29 | × | sefidel quits (~sefidel@user/sefidel) (Remote host closed the connection) |
| 10:43:50 | → | sefidel joins (~sefidel@user/sefidel) |
| 10:49:36 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 260 seconds) |
| 10:57:14 | → | michalz joins (~michalz@185.246.207.221) |
| 11:05:20 | × | hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 246 seconds) |
| 11:06:04 | → | Sciencentistguy6 joins (~sciencent@hacksoc/ordinary-member) |
| 11:07:14 | → | hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 11:08:19 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 276 seconds) |
| 11:08:19 | Sciencentistguy6 | is now known as Sciencentistguy |
| 11:09:11 | → | nate1 joins (~nate@98.45.169.16) |
| 11:11:10 | → | titibandit joins (~titibandi@user/titibandit) |
| 11:14:20 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 11:16:27 | × | Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 248 seconds) |
| 11:18:04 | → | Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 11:19:29 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 11:25:41 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 11:27:33 | → | acidjnk joins (~acidjnk@p200300d6e715c445e51fa6d7ee391d2a.dip0.t-ipconnect.de) |
| 11:27:58 | → | __monty__ joins (~toonn@user/toonn) |
| 11:29:15 | × | cassiopea quits (~cassiopea@user/cassiopea) (Ping timeout: 260 seconds) |
| 11:30:01 | → | cassiopea joins (~cassiopea@user/cassiopea) |
| 11:35:20 | → | ph88 joins (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 11:35:35 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 11:37:12 | × | paul_j quits (~user@2001:8b0:dea0:f3c9:52eb:f6ff:fe56:59ca) (Quit: Asta la vista) |
| 11:39:18 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 11:43:40 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 11:45:43 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 11:46:20 | → | turlando joins (~turlando@user/turlando) |
| 11:47:04 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 11:48:24 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 11:52:57 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 268 seconds) |
| 11:54:53 | → | turlando joins (~turlando@user/turlando) |
| 11:55:45 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Ping timeout: 260 seconds) |
| 12:03:17 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 12:11:12 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 12:14:08 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 12:31:28 | → | talismanick joins (~talismani@76.133.152.122) |
| 12:48:10 | × | Alex_test quits (~al_test@178.34.151.91) (Quit: ;-) |
| 12:49:10 | × | AlexZenon quits (~alzenon@178.34.151.91) (Quit: ;-) |
| 12:49:17 | × | AlexNoo quits (~AlexNoo@178.34.151.91) (Quit: Leaving) |
| 13:02:04 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 13:02:49 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Client Quit) |
| 13:04:58 | → | Guest54 joins (~Guest54@pop.92-184-100-216.mobile.abo.orange.fr) |
| 13:06:00 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 13:06:53 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 13:07:39 | × | Guest54 quits (~Guest54@pop.92-184-100-216.mobile.abo.orange.fr) (Quit: Client closed) |
| 13:09:21 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 13:13:00 | → | AlexNoo joins (~AlexNoo@178.34.151.91) |
| 13:13:55 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 13:17:47 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 13:18:43 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 13:20:22 | → | AlexZenon joins (~alzenon@178.34.151.91) |
| 13:22:08 | × | smallville7123 quits (~Android@116.90.72.44) (Ping timeout: 248 seconds) |
| 13:22:25 | → | Alex_test joins (~al_test@178.34.151.91) |
| 13:25:27 | × | merijn quits (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 13:32:48 | → | kenran joins (~user@user/kenran) |
| 13:35:38 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 13:38:40 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:42:46 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 13:45:58 | → | irrgit_ joins (~irrgit@176.113.74.130) |
| 13:48:32 | → | titibandit joins (~titibandi@user/titibandit) |
| 13:48:35 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 13:49:24 | × | irrgit__ quits (~irrgit@176.113.74.74) (Ping timeout: 255 seconds) |
| 13:52:35 | → | Everything joins (~Everythin@46.185.124.65) |
| 13:52:43 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 248 seconds) |
| 13:53:36 | → | merijn joins (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 13:56:34 | → | pavonia joins (~user@user/siracusa) |
| 14:04:28 | → | kdass joins (~root@072-238-128-073.res.spectrum.com) |
| 14:04:52 | <kdass> | hello |
| 14:05:38 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 14:05:43 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:06:40 | → | kenran joins (~user@user/kenran) |
| 14:07:20 | × | kdass quits (~root@072-238-128-073.res.spectrum.com) (Client Quit) |
| 14:14:19 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:23:54 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 252 seconds) |
| 14:25:53 | × | merijn quits (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 14:30:05 | × | myme quits (~myme@2a01:799:d60:e400:152f:3afa:67d8:6d3c) (Ping timeout: 246 seconds) |
| 14:30:22 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Ping timeout: 252 seconds) |
| 14:31:17 | → | myme joins (~myme@2a01:799:d60:e400:53f1:6d0a:f3a2:798b) |
| 14:38:38 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 14:41:40 | <juri_> | hello! |
| 14:41:44 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) |
| 14:43:02 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 14:49:36 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:d9f7:bed9:104f:8b9) (Remote host closed the connection) |
| 14:52:23 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 14:53:11 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 14:53:42 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 14:53:52 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 248 seconds) |
| 14:54:32 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 14:57:52 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 252 seconds) |
| 14:59:02 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 14:59:31 | × | acidjnk quits (~acidjnk@p200300d6e715c445e51fa6d7ee391d2a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 15:01:38 | → | wroathe joins (~wroathe@50.205.197.50) |
| 15:01:38 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 15:01:38 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:06:40 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 15:07:15 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 255 seconds) |
| 15:09:15 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 15:10:41 | → | nate1 joins (~nate@98.45.169.16) |
| 15:11:09 | → | wroathe joins (~wroathe@50.205.197.50) |
| 15:11:10 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 15:11:10 | → | wroathe joins (~wroathe@user/wroathe) |
| 15:11:54 | × | krei-se quits (~krei-se@p50874388.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:14:23 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:15:50 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 15:17:37 | → | turlando joins (~turlando@user/turlando) |
| 15:22:39 | → | merijn joins (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 15:25:14 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 15:28:59 | → | irrgit__ joins (~irrgit@176.113.74.138) |
| 15:30:09 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 265 seconds) |
| 15:32:31 | × | irrgit_ quits (~irrgit@176.113.74.130) (Ping timeout: 252 seconds) |
| 15:42:04 | → | heraldo joins (~heraldo@user/heraldo) |
| 15:43:18 | → | taupiqueur joins (~taupiqueu@2a02:842a:8180:4601:7049:e98:928a:bbc8) |
| 15:47:44 | × | taupiqueur quits (~taupiqueu@2a02:842a:8180:4601:7049:e98:928a:bbc8) (Ping timeout: 248 seconds) |
| 15:49:01 | → | irrgit_ joins (~irrgit@176.113.74.130) |
| 15:50:24 | → | gensyst joins (~gensyst@user/gensyst) |
| 15:51:58 | <gensyst> | Any Haskell/Nix guys here? |
| 15:52:02 | <gensyst> | (and flakes) |
| 15:52:16 | × | irrgit__ quits (~irrgit@176.113.74.138) (Ping timeout: 252 seconds) |
| 15:53:20 | <ncf> | don't ask to ask |
| 15:53:53 | <[exa]> | quite a few people here use nix |
| 15:55:32 | <gensyst> | In Nix/flakes code like this, https://dpaste.com/AR6SKVPX3 .. (taken from serokell.io blog post) .. where would you insert "buildPhase = " to override the buildPhase? |
| 15:55:59 | <gensyst> | For testing I've tried putting buildPhase = ""; at a few places (to test if really no buildling happens), but always the build happens anyway. |
| 15:59:03 | <ncf> | i'd try calling overrideCabal on your package and setting preBuild or postBuild, see https://nixos.org/manual/nixpkgs/unstable/#haskell-overriding-haskell-packages |
| 16:01:21 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 16:03:04 | <Cale> | The result of callCabal2nix should have a buildPhase attribute, have you tried replacing that? |
| 16:05:09 | <Cale> | nix-repl> x = (import <nixpkgs> {}).haskell.packages.ghc8107.callCabal2nix "lumatone-hs" ./lumatone-hs.cabal {} |
| 16:05:09 | <Cale> | nix-repl> x.buildPhase |
| 16:05:09 | <Cale> | "runHook preBuild\n./Setup build \nrunHook postBuild\n" |
| 16:08:03 | <Cale> | er, passed the .cabal rather than the source path there, but you get the idea |
| 16:09:04 | → | econo joins (uid147250@user/econo) |
| 16:12:00 | <Cale> | x.overrideAttrs (self: { buildPhase = ""; }) resulted in the build not happening (and then the next steps failing to find .hi files) |
| 16:13:39 | × | dipper_ quits (~dipper@203.168.13.4) (Ping timeout: 265 seconds) |
| 16:13:54 | <ncf> | (why would you want that, though?) |
| 16:14:03 | <Cale> | Yeah, you probably wouldn't, haha |
| 16:17:37 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 252 seconds) |
| 16:19:04 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 16:20:19 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 16:20:26 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 16:21:52 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 16:26:03 | <gensyst> | Cale, ncf i'm just getting confused... (i have some existing addBuildDepends functions etc.) |
| 16:26:06 | <gensyst> | comparing with https://github.com/NixOS/nixpkgs/blob/master/doc/languages-frameworks/haskell.section.md |
| 16:26:19 | <gensyst> | was the argument order changed for functions like addBuildDepends, at some point? |
| 16:27:03 | <ncf> | there's two versions of those functions, one in haskell.lib and one in haskell.lib.compose, and they have swapped argument orders |
| 16:27:06 | <ncf> | don't ask me why |
| 16:27:22 | × | merijn quits (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 16:27:52 | <ncf> | (well, i'm gonna go out on a limb and guess haskell.lib is for backwards compatibility while haskell.lib.compose is for making chains of functions with lib.pipe) |
| 16:28:44 | <gensyst> | ah, good to know! |
| 16:30:08 | <gensyst> | ncf Cale, I tried replacing the buildPhase without any luck: https://dpaste.com/GX3HGTNUA |
| 16:30:09 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 16:31:00 | <ncf> | <ncf> i'd try calling overrideCabal on your package and setting preBuild or postBuild, see https://nixos.org/manual/nixpkgs/unstable/#haskell-overriding-haskell-packages |
| 16:31:41 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:34:33 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 16:35:46 | → | gentauro joins (~gentauro@user/gentauro) |
| 16:37:20 | × | chomwitt quits (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 265 seconds) |
| 16:38:48 | <gensyst> | ncf, that fails to compile: https://dpaste.com/3S2BKQHP6 |
| 16:39:05 | <gensyst> | ncf, fyi if I replace buildPhase with postInstall (which is not what I want), it at least compiles |
| 16:39:13 | <gensyst> | so i guess it shows we are on the right track, so to speak |
| 16:40:41 | → | chomwitt joins (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 16:43:04 | <ncf> | indeed, the arguments to https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/haskell-modules/generic-builder.nix don't let you override the entire build phase |
| 16:43:17 | <ncf> | if you still want to do that (why?), use .overrideAttrs |
| 16:45:05 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 16:45:29 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 16:47:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:50:10 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 16:50:47 | × | taupiqueur quits (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) (Ping timeout: 260 seconds) |
| 16:52:43 | → | merijn joins (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 16:57:00 | → | jumper149 joins (~jumper149@base.felixspringer.xyz) |
| 16:57:35 | <jumper149> | I am currently using brick to build a TUI, but just noticed that reflex-vty exists. Does anyone know whether one library is better than the other in any way? |
| 16:59:05 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 16:59:48 | <Cale> | As one of the authors of reflex-vty, I'd also be curious if you find one works out better for you than the other. reflex-vty is based on the same vty library as brick, but provides a functional reactive programming (FRP) interface to it. |
| 17:00:38 | <sm> | I assume brick provides more widgets and is easier to learn |
| 17:00:55 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 17:01:11 | sm | imagines brick-reflex |
| 17:02:03 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:02:07 | <Cale> | The only reason we're not based on top of brick is that at the time that we were starting reflex-vty at least, brick's author didn't want to expose a bunch of internals that we'd have needed. :P |
| 17:04:34 | <Cale> | I haven't looked at it much since then, and it looks a fair bit different from how I remember, so I'm not sure if writing a binding would go completely differently now. |
| 17:10:57 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 17:14:26 | × | ubert quits (~Thunderbi@p548c88d5.dip0.t-ipconnect.de) (Quit: ubert) |
| 17:16:07 | <jumper149> | Well overall I feel like brick is quite pragmatic. It uses the Elm approach (Model,View,Update), which is fine with me. |
| 17:16:25 | <jumper149> | But I feel like the abstractions could still be improved quite a bit. |
| 17:16:36 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 17:18:40 | <jumper149> | For example the `EventM` monad (to update the state) uses `MonadState` to access the application state. This is pragmatic, because you can now use mircrolens-mtl functions, but it doesn't play so good when combined with a custom monad stack for example. |
| 17:19:43 | <jumper149> | Maybe FRP makes life a little better, idk. |
| 17:21:48 | × | hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 255 seconds) |
| 17:22:33 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:23:23 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 17:23:31 | → | hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 17:24:26 | → | heraldo joins (~heraldo@user/heraldo) |
| 17:30:12 | <sm> | define "better" :) |
| 17:35:21 | <gensyst> | ncf, thanks for asking "why?". it pushed me to do what i originally wanted and for that preCheck should be fine. |
| 17:35:42 | <gensyst> | The real issue is "cabal build" not working when called from within a test suite (using turtle scripting) |
| 17:36:26 | <gensyst> | something about /homeless-shelter and even if I with preCheck set HOME=$(pwd) or HOME=$TMP some other errors about GHC env variables |
| 17:36:49 | <gensyst> | By what mechanism could cabal build work fine in the build phase, and even in nix develop shell, but not when call from within a test suite? |
| 17:36:59 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 17:37:07 | <gensyst> | (it's an integration test that builds the project itself and then runs it) |
| 17:38:05 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 17:39:36 | → | mikess joins (~sam@user/mikess) |
| 17:39:46 | <ncf> | i only know the builder does its own plumbing (rather than just calling cabal), but i don't know exactly how it works |
| 17:39:55 | <ncf> | i'd suggest asking the Nix Haskell room on matrix |
| 17:40:19 | <ncf> | https://matrix.to/#/#haskell:nixos.org |
| 17:40:29 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 17:42:00 | <gensyst> | what matrix clients are best for linux (debian) |
| 17:42:46 | <mauke> | if you find a good one, let me know |
| 17:43:17 | → | taupiqueur joins (~taupiqueu@2a02-842a-8180-4601-7049-0e98-928a-bbc8.rev.sfr.net) |
| 17:44:56 | <gensyst> | mauke, which have you tried? just checked and from the ones on Debian, nheko seems the most maintained/popular on GitHub |
| 17:47:14 | <mauke> | element, nheko, fluffychat |
| 17:48:39 | <mauke> | nheko's UI suffers from being a bunch of pre-fab components slapped together |
| 17:49:10 | <mauke> | there's no coherent design or look-and-feel; it's all just what Qt happens to offer in widget X |
| 17:49:33 | <gensyst> | ah ok. imo i gave up on "pretty" when i moved to linux. for linux, functionality matters to me now. pretty is for walled-garden, closed-source apple users |
| 17:49:45 | <mauke> | which is why e.g. scrolling in the preferences pane works completely differently from the main chat area |
| 17:50:07 | <mauke> | it's also great if you like HTML injection bugs in native C++ applications :-) |
| 17:52:42 | <sm> | ouch |
| 17:55:51 | <witcher> | gensyst: i'm on the lookout as well, currently, but am really struggling to find something |
| 17:56:05 | <witcher> | i've settled for a weechat plugin for the time being. not ideal |
| 17:56:46 | <sm> | Element is free software, isn't it ? |
| 17:56:55 | <witcher> | it is |
| 17:58:56 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 18:01:36 | × | winny quits (~weechat@user/winny) (Quit: rebooting because alpine nukes old kernels. Sad) |
| 18:02:21 | → | winny joins (~weechat@user/winny) |
| 18:02:22 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:02:58 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:03:25 | × | ddellaco1 quits (~ddellacos@146.70.165.10) (Ping timeout: 250 seconds) |
| 18:10:11 | × | gensyst quits (~gensyst@user/gensyst) (Quit: Leaving) |
| 18:14:57 | → | fercoder joins (~fercoder@dynamic-190-27-72-230.dynamic.etb.net.co) |
| 18:23:37 | → | Guest|27 joins (~Guest|27@168.194.233.219) |
| 18:30:08 | <Guest|27> | Hi. I wanted to ask if there was a problem with installing GHCup in admin mode because every time I try to install it closes the shell before doing any thing except if i use admin mode. |
| 18:32:35 | <mauke> | what do you mean by "close the shell"? |
| 18:33:07 | <mauke> | actually, what OS are you on and how are you trying to install it? |
| 18:34:17 | → | ph88 joins (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 18:35:41 | → | Guest|2731 joins (~Guest|27@168.194.233.219) |
| 18:36:51 | <yushyin> | most likely windows |
| 18:37:10 | <Guest|2731> | (I'm sorry i lost mi connection for a moment)I'm on windows 8.1 and by "close the shell" I mean that the power shell sends 3 herror messages and then it closes |
| 18:38:08 | × | Guest|27 quits (~Guest|27@168.194.233.219) (Ping timeout: 260 seconds) |
| 18:38:57 | <mauke> | what command are you using for installation? |
| 18:39:55 | <Guest|2731> | This is the one given in the official page |
| 18:39:56 | <Guest|2731> | "Set-ExecutionPolicy Bypass -Scope Process -Force;[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.ServicePointManager]::SecurityProtocol -bor 3072; try { Invoke-Command -ScriptBlock ([ScriptBlock]::Create((Invoke-WebRequest https://www.haskell.org/ghcup/sh/bootstrap-haskell.ps1 -UseBasicParsing))) -ArgumentList $true } catch { |
| 18:39:56 | <Guest|2731> | Write-Error $_ }" |
| 18:40:45 | <Guest|2731> | I already tried turning off mi antivirus but it didn't work so i was asking if there was really a problem with installing it in admin mode because that's the only time it didn't send mi error messages |
| 18:42:52 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:45:40 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:46:30 | → | kenran joins (~user@user/kenran) |
| 18:51:53 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 18:56:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:57:05 | → | mechap joins (~mechap@user/mechap) |
| 18:57:41 | → | pyook joins (~pyook@user/puke) |
| 19:00:11 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 19:01:01 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 19:07:05 | × | Guest|2731 quits (~Guest|27@168.194.233.219) (Ping timeout: 268 seconds) |
| 19:08:39 | → | Guest|27 joins (~Guest|27@168.194.233.219) |
| 19:08:47 | × | Guest|27 quits (~Guest|27@168.194.233.219) (Client Quit) |
| 19:12:10 | → | nate1 joins (~nate@98.45.169.16) |
| 19:16:13 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 19:17:20 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 19:31:20 | × | fercoder quits (~fercoder@dynamic-190-27-72-230.dynamic.etb.net.co) (Quit: Client closed) |
| 19:32:52 | × | NiceBird quits (~NiceBird@185.133.111.196) (Ping timeout: 252 seconds) |
| 19:35:23 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:36:25 | → | sagax joins (~sagax_nb@user/sagax) |
| 19:37:22 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 19:42:16 | → | zer0bitz_ joins (~zer0bitz@2001:2003:f443:d600:9c68:6672:1252:446) |
| 19:42:23 | → | acidjnk joins (~acidjnk@p54ad56b7.dip0.t-ipconnect.de) |
| 19:44:32 | × | zer0bitz quits (~zer0bitz@2001:2003:f443:d600:b94a:fdf5:9dc3:ac65) (Ping timeout: 248 seconds) |
| 19:44:38 | → | gurkenglas joins (~gurkengla@dynamic-046-114-178-123.46.114.pool.telefonica.de) |
| 19:51:04 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 19:52:30 | → | wroathe joins (~wroathe@50.205.197.50) |
| 19:52:30 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 19:52:30 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:55:40 | <heraldo> | This Steven Diehl document, the one, WIWIK I think |
| 19:56:04 | <heraldo> | Is anyone in here familiar with it |
| 19:56:41 | <heraldo> | I think I might have made a mess of the acryonym. It is the What I wish I knew document |
| 19:56:58 | <heraldo> | Wow I made typos all of the place |
| 19:57:11 | → | biberu joins (~biberu@user/biberu) |
| 19:57:47 | × | perrierjouet quits (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Ping timeout: 264 seconds) |
| 19:58:00 | <heraldo> | Thanks |
| 19:59:48 | ← | heraldo parts (~heraldo@user/heraldo) () |
| 20:00:30 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 20:01:28 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 20:02:13 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 20:04:08 | → | perrierjouet joins (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 20:05:44 | → | root joins (~root@072-238-128-073.res.spectrum.com) |
| 20:05:59 | × | root quits (~root@072-238-128-073.res.spectrum.com) (Client Quit) |
| 20:06:04 | → | Sciencentistguy1 joins (~sciencent@hacksoc/ordinary-member) |
| 20:06:08 | × | talismanick quits (~talismani@76.133.152.122) (Ping timeout: 265 seconds) |
| 20:07:01 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
| 20:08:45 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 20:08:46 | Sciencentistguy1 | is now known as Sciencentistguy |
| 20:10:03 | → | kachmar joins (~kachmar@pppoe.178-66-156-162.dynamic.avangarddsl.ru) |
| 20:13:16 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:16:50 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 20:17:03 | → | caubert joins (~caubert@user/caubert) |
| 20:19:51 | × | Everything quits (~Everythin@46.185.124.65) (Quit: leaving) |
| 20:27:11 | × | sagax quits (~sagax_nb@user/sagax) (Remote host closed the connection) |
| 20:30:47 | × | cawfee quits (~root@2406:3003:2077:2758::babe) (Ping timeout: 264 seconds) |
| 20:31:33 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 20:35:37 | → | talismanick joins (~talismani@76.133.152.122) |
| 20:37:13 | → | cawfee joins (~root@2406:3003:2077:2758::babe) |
| 20:40:02 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 20:48:05 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 20:50:01 | → | ph88 joins (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 20:50:04 | × | talismanick quits (~talismani@76.133.152.122) (Ping timeout: 268 seconds) |
| 20:50:08 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 21:02:13 | → | jesser[m]1 joins (~jesserjes@2001:470:69fc:105::3:3cd5) |
| 21:07:41 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 21:07:41 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 21:07:41 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:10:38 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 21:11:52 | × | merijn quits (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 265 seconds) |
| 21:18:02 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 21:34:43 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:34:47 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:38:19 | → | merijn joins (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 21:50:19 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
| 21:50:40 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 21:51:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:54:04 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 21:56:10 | × | zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 22:03:54 | × | jumper149 quits (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.8) |
| 22:07:05 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 22:08:25 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:12:16 | × | merijn quits (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 22:19:23 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 22:23:38 | no-n | is now known as pony |
| 22:28:11 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:31:24 | → | merijn joins (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 22:32:23 | × | tired quits (~tired@user/tired) (Quit: /) |
| 22:33:49 | → | tired joins (~tired@user/tired) |
| 22:38:03 | × | acidjnk quits (~acidjnk@p54ad56b7.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:11:27 | → | mauke_ joins (~mauke@user/mauke) |
| 23:13:11 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 265 seconds) |
| 23:13:11 | mauke_ | is now known as mauke |
| 23:13:40 | → | nate1 joins (~nate@98.45.169.16) |
| 23:16:01 | → | jmorris joins (uid537181@id-537181.uxbridge.irccloud.com) |
| 23:16:18 | × | mikess quits (~sam@user/mikess) (Quit: leaving) |
| 23:18:55 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 23:22:14 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 23:24:00 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 23:24:00 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 23:24:00 | → | haritz joins (~hrtz@user/haritz) |
| 23:26:43 | × | merijn quits (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 23:29:37 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:30:59 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 23:32:16 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 23:37:49 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 23:38:56 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 23:50:35 | × | chomwitt quits (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 23:52:20 | → | merijn joins (~merijn@c-001-001-009.client.esciencecenter.eduvpn.nl) |
| 23:53:15 | × | tabemann quits (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving) |
| 23:56:17 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 23:57:39 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 23:57:39 | Lord_of_Life_ | is now known as Lord_of_Life |
| 23:59:34 | <erisco> | if I have something where x >>= \a -> (y >>= \b -> z) does not equal (x >>= \a -> y) >>= \b -> z do I have something recognisable or do I just have a mess? |
All times are in UTC on 2023-04-02.