| 2023-02-01 00:00:15 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-01 00:04:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-01 00:05:09 +0100 | phma | (~phma@host-67-44-208-33.hnremote.net) (Read error: Connection reset by peer) |
| 2023-02-01 00:06:07 +0100 | phma | (~phma@2001:5b0:211f:3c78:58ef:9097:8d8f:e01b) |
| 2023-02-01 00:09:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-02-01 00:12:28 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-01 00:16:55 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-01 00:20:12 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-01 00:21:53 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-01 00:22:06 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-01 00:22:35 +0100 | Guest75 | (~Guest75@178.141.149.12) |
| 2023-02-01 00:24:37 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-01 00:31:04 +0100 | Alex_test | (~al_test@178.34.160.79) (Ping timeout: 252 seconds) |
| 2023-02-01 00:31:37 +0100 | AlexZenon | (~alzenon@178.34.160.79) (Ping timeout: 252 seconds) |
| 2023-02-01 00:34:52 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 3.8) |
| 2023-02-01 00:35:17 +0100 | Alex_test | (~al_test@178.34.160.79) |
| 2023-02-01 00:35:22 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-01 00:35:28 +0100 | AlexZenon | (~alzenon@178.34.160.79) |
| 2023-02-01 00:36:47 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-01 00:36:51 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-01 00:48:39 +0100 | varoo | (~varoo@122.161.91.19) (Quit: Internet messed up) |
| 2023-02-01 00:52:03 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-02-01 00:52:41 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-02-01 00:52:50 +0100 | <Inst__> | huh |
| 2023-02-01 00:52:57 +0100 | <Inst__> | i'm surprised no one realized that Haskell is an excellent recession language |
| 2023-02-01 00:53:04 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2023-02-01 00:53:08 +0100 | <Inst__> | +#1: get more done with less staff! |
| 2023-02-01 00:53:22 +0100 | <Inst__> | +#2: encourage non-productive coders to switch by switching to Haskell! |
| 2023-02-01 00:54:20 +0100 | <monochrom> | No, I'm surprised that you didn't realize that I realized. |
| 2023-02-01 00:57:36 +0100 | Inst__ | Inst |
| 2023-02-01 01:02:39 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-02-01 01:03:32 +0100 | PepsiLepreux | (~pepsi@iron.vengarl.com) (Quit: leaving) |
| 2023-02-01 01:04:05 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-02-01 01:04:10 +0100 | <Inst> | *quit, not switch, avoid having to pay severence |
| 2023-02-01 01:05:11 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-01 01:10:48 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-01 01:28:25 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-01 01:31:31 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-01 01:32:26 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-01 01:36:23 +0100 | <EvanR> | is a recession language like a d&d alignment language, once you're no longer in a recession do you inexplicably forget how to speak it? |
| 2023-02-01 01:37:09 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2023-02-01 01:41:59 +0100 | xff0x | (~xff0x@2405:6580:b080:900:edaa:53ba:199:2268) (Ping timeout: 252 seconds) |
| 2023-02-01 01:42:22 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2023-02-01 01:43:09 +0100 | <monochrom> | Students inexplicably forget what they learned after exams all the time. >:) |
| 2023-02-01 01:46:51 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-01 01:47:46 +0100 | acidjnk_new | (~acidjnk@p200300d6e715c4834c3cc29fc31c516a.dip0.t-ipconnect.de) |
| 2023-02-01 01:48:57 +0100 | acidjnk | (~acidjnk@p200300d6e715c483d4ac9ea2255c502f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-02-01 01:49:53 +0100 | <c_wraith> | monochrom: inexplicably? I forgot everything from my operating systems course 3 minutes after finishing the final. Because I only learned it cramming all night the night before. |
| 2023-02-01 01:50:19 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-02-01 01:50:26 +0100 | cheater_ | cheater |
| 2023-02-01 01:52:19 +0100 | <monochrom> | Heh of course tongue-in-cheek and/or sarcastic and/or hyperbol in "inexplicably" :) |
| 2023-02-01 01:53:02 +0100 | <c_wraith> | it was kind of funny walking out of the final, relaxing, and just feeling my brain empty |
| 2023-02-01 01:53:35 +0100 | <hpc> | like a reverse keanu reeves :D |
| 2023-02-01 01:54:06 +0100 | <hpc> | i remember all the stuff from those classes, but i don't remember learning it |
| 2023-02-01 01:54:18 +0100 | <hpc> | and i distinctly remember having not learned it then |
| 2023-02-01 01:54:40 +0100 | <hpc> | i don't know where the knowledge came from |
| 2023-02-01 02:00:37 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-01 02:01:39 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-01 02:02:35 +0100 | johnw | (~johnw@2600:1700:cf00:db0:b1ce:dda8:9e3c:6a3c) |
| 2023-02-01 02:02:56 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-01 02:03:14 +0100 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2023-02-01 02:03:26 +0100 | thongpv | (~thongpv87@14.179.159.25) |
| 2023-02-01 02:05:08 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 2023-02-01 02:06:46 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2023-02-01 02:10:22 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-02-01 02:13:31 +0100 | acidjnk_new | (~acidjnk@p200300d6e715c4834c3cc29fc31c516a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-02-01 02:16:08 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-01 02:16:09 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-01 02:16:09 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-01 02:16:30 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-02-01 02:21:35 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 252 seconds) |
| 2023-02-01 02:23:34 +0100 | xff0x | (~xff0x@2405:6580:b080:900:edaa:53ba:199:2268) |
| 2023-02-01 02:28:01 +0100 | phma | (~phma@2001:5b0:211f:3c78:58ef:9097:8d8f:e01b) (Read error: Connection reset by peer) |
| 2023-02-01 02:28:54 +0100 | phma | (~phma@host-67-44-208-184.hnremote.net) |
| 2023-02-01 02:29:24 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2023-02-01 02:35:51 +0100 | ystael | (~ystael@user/ystael) |
| 2023-02-01 02:44:55 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-02-01 02:45:47 +0100 | xff0x | (~xff0x@2405:6580:b080:900:edaa:53ba:199:2268) (Ping timeout: 252 seconds) |
| 2023-02-01 02:50:24 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2023-02-01 02:52:23 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-02-01 02:56:53 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-02-01 02:58:30 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-02-01 02:59:21 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-01 03:00:58 +0100 | Bocaneri | (~sauvin@user/Sauvin) |
| 2023-02-01 03:01:21 +0100 | Bocaneri | Guest7808 |
| 2023-02-01 03:02:36 +0100 | Sauvin | Guest6400 |
| 2023-02-01 03:02:36 +0100 | Guest6400 | (~sauvin@user/Sauvin) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2023-02-01 03:02:36 +0100 | Guest7808 | sauvin |
| 2023-02-01 03:02:44 +0100 | sauvin | Sauvin |
| 2023-02-01 03:04:47 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-01 03:05:52 +0100 | crns | (~netcrns@user/crns) (Ping timeout: 248 seconds) |
| 2023-02-01 03:06:23 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-02-01 03:07:25 +0100 | crns | (~netcrns@p5dc33b38.dip0.t-ipconnect.de) |
| 2023-02-01 03:07:25 +0100 | crns | (~netcrns@p5dc33b38.dip0.t-ipconnect.de) (Changing host) |
| 2023-02-01 03:07:25 +0100 | crns | (~netcrns@user/crns) |
| 2023-02-01 03:08:51 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-01 03:10:21 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2023-02-01 03:12:31 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-02-01 03:12:53 +0100 | varoo | (~varoo@2401:4900:47ff:1072:0:12:7dc4:6a01) |
| 2023-02-01 03:13:07 +0100 | bilegeek | (~bilegeek@2600:1008:b051:5649:7c56:29c8:ae47:2dcd) |
| 2023-02-01 03:13:10 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-01 03:15:07 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2023-02-01 03:17:30 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-02-01 03:20:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) |
| 2023-02-01 03:21:20 +0100 | ratapaca | (~ratapaca@98.40.240.33) |
| 2023-02-01 03:22:33 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-01 03:23:11 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-02-01 03:24:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-01 03:25:03 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) (Ping timeout: 248 seconds) |
| 2023-02-01 03:25:03 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-02-01 03:27:36 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-01 03:30:03 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-02-01 03:30:33 +0100 | varoo | (~varoo@2401:4900:47ff:1072:0:12:7dc4:6a01) (Quit: Internet messed up) |
| 2023-02-01 03:30:46 +0100 | varoo | (~varoo@2401:4900:47ff:1072:0:12:7dc4:6a01) |
| 2023-02-01 03:33:35 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-02-01 03:45:11 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-02-01 03:45:55 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-02-01 03:52:38 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-02-01 03:53:07 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-01 03:58:58 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-02-01 03:59:29 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-02-01 04:01:50 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-01 04:10:46 +0100 | razetime | (~Thunderbi@117.193.0.35) |
| 2023-02-01 04:11:44 +0100 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 260 seconds) |
| 2023-02-01 04:13:23 +0100 | td_ | (~td@i5387093B.versanet.de) |
| 2023-02-01 04:17:13 +0100 | Guest75 | (~Guest75@178.141.149.12) (Ping timeout: 260 seconds) |
| 2023-02-01 04:19:28 +0100 | thegeekinside | (~thegeekin@189.180.66.244) (Ping timeout: 248 seconds) |
| 2023-02-01 04:28:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) |
| 2023-02-01 04:28:17 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-02-01 04:35:40 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:2a22:c4e3:dc8b:e5c2) (Remote host closed the connection) |
| 2023-02-01 04:39:37 +0100 | eruditass | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-02-01 04:39:39 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-02-01 04:39:39 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-01 04:39:39 +0100 | finn_elija | FinnElija |
| 2023-02-01 04:40:46 +0100 | ratapaca | (~ratapaca@98.40.240.33) (Ping timeout: 252 seconds) |
| 2023-02-01 04:42:37 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-02-01 04:44:01 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 2023-02-01 04:49:53 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-01 04:49:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-01 04:51:43 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-02-01 04:51:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-02-01 04:52:15 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-01 04:53:05 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-01 05:02:55 +0100 | razetime | (~Thunderbi@117.193.0.35) (Ping timeout: 252 seconds) |
| 2023-02-01 05:03:14 +0100 | bilegeek | (~bilegeek@2600:1008:b051:5649:7c56:29c8:ae47:2dcd) (Quit: Leaving) |
| 2023-02-01 05:11:43 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:d1aa:86d0:796e:605) (Ping timeout: 248 seconds) |
| 2023-02-01 05:25:49 +0100 | cole-k | (~cole@rrcs-24-43-123-72.west.biz.rr.com) |
| 2023-02-01 05:26:36 +0100 | <cole-k> | simple question I know, but where may I find functions for converting number bases? My search engine skills are only bringing up GHC.Base |
| 2023-02-01 05:26:59 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-01 05:29:02 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 268 seconds) |
| 2023-02-01 05:29:54 +0100 | m5zs7k | (aquares@web10.mydevil.net) |
| 2023-02-01 05:29:58 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-01 05:30:37 +0100 | <maerwald[m]> | monochrom: yes, exams are not designed for students to learn and remember stuff. They are designed to torture them (test their stress tolerance) |
| 2023-02-01 05:30:58 +0100 | <maerwald[m]> | Unsurprisingly, this concept is largely derived from military practices |
| 2023-02-01 05:31:22 +0100 | <maerwald[m]> | And somewhat goes against recent brain/learning science |
| 2023-02-01 05:31:49 +0100 | <maerwald[m]> | But educational institutions are largely backwards, so can't expect them to catch up |
| 2023-02-01 05:36:45 +0100 | <monochrom> | The "Numeric" module has showIntBase etc. |
| 2023-02-01 05:37:58 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2023-02-01 05:40:27 +0100 | <cole-k> | monochrom: thanks! |
| 2023-02-01 05:43:49 +0100 | m5zs7k | (aquares@web10.mydevil.net) |
| 2023-02-01 05:46:55 +0100 | cole-k | (~cole@rrcs-24-43-123-72.west.biz.rr.com) (Ping timeout: 252 seconds) |
| 2023-02-01 05:47:10 +0100 | cole-k | (~cole@rrcs-24-43-123-72.west.biz.rr.com) |
| 2023-02-01 05:47:57 +0100 | cole-k | (~cole@rrcs-24-43-123-72.west.biz.rr.com) (Client Quit) |
| 2023-02-01 05:51:45 +0100 | razetime | (~Thunderbi@117.193.0.35) |
| 2023-02-01 05:52:59 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-02-01 05:54:29 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 05:56:09 +0100 | thongpv | (~thongpv87@14.179.159.25) (Ping timeout: 268 seconds) |
| 2023-02-01 05:56:34 +0100 | hounded | (~hounded@2603:7000:da43:eccc::cec) (Quit: Leaving) |
| 2023-02-01 05:56:34 +0100 | hounded_woodstoc | (~hounded@2603:7000:da43:eccc::cec) (Quit: Leaving) |
| 2023-02-01 06:03:48 +0100 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-02-01 06:04:22 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2023-02-01 06:08:06 +0100 | troydm | (~troydm@user/troydm) |
| 2023-02-01 06:08:23 +0100 | razetime | (~Thunderbi@117.193.0.35) (Quit: See You Space Cowboy) |
| 2023-02-01 06:08:42 +0100 | jushur | (~human@user/jushur) |
| 2023-02-01 06:11:05 +0100 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2023-02-01 06:14:39 +0100 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 248 seconds) |
| 2023-02-01 06:15:03 +0100 | ddellacosta | (~ddellacos@143.244.47.74) |
| 2023-02-01 06:21:03 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-01 06:54:13 +0100 | razetime | (~Thunderbi@117.193.0.35) |
| 2023-02-01 06:54:13 +0100 | razetime | (~Thunderbi@117.193.0.35) (Client Quit) |
| 2023-02-01 07:05:55 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-01 07:05:55 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-01 07:05:55 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-01 07:12:39 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-02-01 07:17:16 +0100 | titibandit1 | (~titibandi@xdsl-85-197-0-96.nc.de) |
| 2023-02-01 07:22:17 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:912f:f982:adce:9ea) |
| 2023-02-01 07:23:27 +0100 | varoo | (~varoo@2401:4900:47ff:1072:0:12:7dc4:6a01) (Ping timeout: 248 seconds) |
| 2023-02-01 07:23:46 +0100 | varoo | (~varoo@2401:4900:5d10:824a:60c8:7dfa:d6b5:b6cd) |
| 2023-02-01 07:24:42 +0100 | coderpath | (~coderpath@d66-183-126-83.bchsia.telus.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-02-01 07:25:00 +0100 | coderpath | (~coderpath@d66-183-126-83.bchsia.telus.net) |
| 2023-02-01 07:25:55 +0100 | Inst | (~Inst@2601:6c4:4081:54f0:d8af:1b99:f61a:780e) (Ping timeout: 252 seconds) |
| 2023-02-01 07:26:05 +0100 | Inst__ | (~Inst@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2023-02-01 07:29:57 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:912f:f982:adce:9ea) (Ping timeout: 252 seconds) |
| 2023-02-01 07:29:57 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-02-01 07:30:29 +0100 | Inst_ | (~Inst@2601:6c4:4081:54f0:6ca9:ab81:4dc0:f885) |
| 2023-02-01 07:33:04 +0100 | Inst__ | (~Inst@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 248 seconds) |
| 2023-02-01 07:33:51 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-02-01 07:34:03 +0100 | Guest75 | (~Guest75@178.141.149.12) |
| 2023-02-01 07:38:26 +0100 | kenran | (~user@user/kenran) |
| 2023-02-01 07:39:05 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-02-01 07:47:13 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-02-01 07:54:56 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
| 2023-02-01 07:55:15 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 2023-02-01 07:56:54 +0100 | bhall | (~brunohall@85.255.237.186) |
| 2023-02-01 07:58:41 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7da9:4d15:6e86:af8c) |
| 2023-02-01 08:00:17 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-01 08:01:20 +0100 | bhall | (~brunohall@85.255.237.186) (Ping timeout: 248 seconds) |
| 2023-02-01 08:01:23 +0100 | byorgey | (~byorgey@155.138.238.211) (Ping timeout: 264 seconds) |
| 2023-02-01 08:05:12 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-01 08:11:29 +0100 | shawwwn | shawwwwwwwn |
| 2023-02-01 08:12:38 +0100 | shawwwwwwwn | shawwwn |
| 2023-02-01 08:17:36 +0100 | michalz | (~michalz@185.246.207.197) |
| 2023-02-01 08:22:38 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-01 08:22:56 +0100 | byorgey | (~byorgey@155.138.238.211) |
| 2023-02-01 08:24:48 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-02-01 08:24:52 +0100 | cheater_ | cheater |
| 2023-02-01 08:25:31 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-02-01 08:35:52 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-02-01 08:41:40 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-02-01 08:43:06 +0100 | den_jc | (~lds@5.153.183.142) |
| 2023-02-01 08:50:40 +0100 | <Unhammer> | Does anyone have a trick for showing documentation inside ghci in the emacs haskell-mode repl? |
| 2023-02-01 08:50:57 +0100 | <Unhammer> | (I feel like eglot should be able to do it) |
| 2023-02-01 08:54:37 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:5424:2177:1ddc:dd58) |
| 2023-02-01 08:59:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-01 09:03:29 +0100 | <[exa]> | Unhammer: tbh I never saw the haskell docs directly in the ghci; they're generally not "visible" to the language except if you run haddock and somehow put them back |
| 2023-02-01 09:09:04 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 2023-02-01 09:10:10 +0100 | mokee | (~mokee@37.228.215.106) (Ping timeout: 260 seconds) |
| 2023-02-01 09:15:57 +0100 | <[Leary]> | % :doc Maybe |
| 2023-02-01 09:15:57 +0100 | <yahb2> | The 'Maybe' type encapsulates an optional value. A value of type ; @'Maybe' a@ either contains a value of type @a@ (represented as @'Just' a@), ; or it is empty (represented as 'Nothing'). Usin... |
| 2023-02-01 09:16:19 +0100 | <[Leary]> | I think that's recent. I haven't used it much myself. |
| 2023-02-01 09:16:31 +0100 | <[Leary]> | Unhammer, [exa] ^ |
| 2023-02-01 09:17:09 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-01 09:18:47 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 09:19:37 +0100 | <[exa]> | oh wow, TIL |
| 2023-02-01 09:20:24 +0100 | <tomsmeding> | doesn't work on a module you loaded directly into ghci, though |
| 2023-02-01 09:20:30 +0100 | <tomsmeding> | have to :set +d first, or what was it |
| 2023-02-01 09:22:31 +0100 | nschoe | (~q@2a01:e0a:8e:a190:a241:9f54:4474:e582) |
| 2023-02-01 09:22:48 +0100 | <tomsmeding> | ah no, :set -haddock |
| 2023-02-01 09:23:10 +0100 | <tomsmeding> | and after that you have to :reload to make it work but its dependency analysis doesn't realise that everything needs to be reloaded now :p |
| 2023-02-01 09:23:21 +0100 | <tomsmeding> | so more reliable is 'cabal repl --repl-flags=-haddock' |
| 2023-02-01 09:26:55 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 2023-02-01 09:27:51 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-01 09:30:42 +0100 | kuribas | (~user@ptr-17d51en46cl4ay9xl0a.18120a2.ip6.access.telenet.be) |
| 2023-02-01 09:31:00 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) (Remote host closed the connection) |
| 2023-02-01 09:37:09 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-02-01 09:39:49 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-01 09:40:40 +0100 | freeside | (~mengwong@165.173.6.35) |
| 2023-02-01 09:44:10 +0100 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-02-01 09:44:28 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 09:45:16 +0100 | mechap | (~mechap@user/mechap) |
| 2023-02-01 09:52:04 +0100 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) (Ping timeout: 252 seconds) |
| 2023-02-01 09:53:01 +0100 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) |
| 2023-02-01 09:53:20 +0100 | <Unhammer> | omg |
| 2023-02-01 09:53:22 +0100 | <Unhammer> | :doc is great |
| 2023-02-01 09:53:41 +0100 | <Unhammer> | how did I not know about that =D |
| 2023-02-01 09:54:04 +0100 | <[exa]> | yeah like, when was that added? |
| 2023-02-01 09:54:18 +0100 | <Unhammer> | I'm on 8.10.7 |
| 2023-02-01 09:55:17 +0100 | <Unhammer> | it even tells me (when I try on my own fn's) that I have to :set -haddock and :load, very helpful |
| 2023-02-01 09:56:04 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-01 09:59:13 +0100 | acidjnk_new | (~acidjnk@p200300d6e715c483583a1c499a1e309c.dip0.t-ipconnect.de) |
| 2023-02-01 09:59:46 +0100 | <kuribas> | Unhammer: long time ago |
| 2023-02-01 10:02:53 +0100 | yoneda | (~mike@193.206.102.122) |
| 2023-02-01 10:06:36 +0100 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-02-01 10:07:55 +0100 | Batzy | (~quassel@user/batzy) |
| 2023-02-01 10:09:21 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) |
| 2023-02-01 10:12:47 +0100 | kuribas | (~user@ptr-17d51en46cl4ay9xl0a.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-02-01 10:13:14 +0100 | kuribas | (~user@ptr-17d51en46cl4ay9xl0a.18120a2.ip6.access.telenet.be) |
| 2023-02-01 10:16:37 +0100 | titibandit1 | (~titibandi@xdsl-85-197-0-96.nc.de) (Remote host closed the connection) |
| 2023-02-01 10:18:43 +0100 | trev_ | (~trev@109.252.35.99) |
| 2023-02-01 10:19:16 +0100 | Batzy_ | (~quassel@user/batzy) |
| 2023-02-01 10:21:38 +0100 | chele | (~chele@user/chele) |
| 2023-02-01 10:21:54 +0100 | Batzy | (~quassel@user/batzy) (Ping timeout: 252 seconds) |
| 2023-02-01 10:27:01 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-02-01 10:31:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) |
| 2023-02-01 10:32:11 +0100 | kuribas | (~user@ptr-17d51en46cl4ay9xl0a.18120a2.ip6.access.telenet.be) (Ping timeout: 252 seconds) |
| 2023-02-01 10:36:00 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) (Ping timeout: 248 seconds) |
| 2023-02-01 10:39:55 +0100 | den_jc | (~lds@5.153.183.142) (Remote host closed the connection) |
| 2023-02-01 10:39:57 +0100 | proportions | (~proportio@91.150.188.137) |
| 2023-02-01 10:40:11 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-02-01 10:43:38 +0100 | k | taylor |
| 2023-02-01 10:43:58 +0100 | king_gs | (~Thunderbi@187.201.2.248) |
| 2023-02-01 10:45:29 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-01 10:47:13 +0100 | freeside | (~mengwong@165.173.6.35) (Ping timeout: 252 seconds) |
| 2023-02-01 10:48:15 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-02-01 10:48:41 +0100 | king_gs | (~Thunderbi@187.201.2.248) (Ping timeout: 252 seconds) |
| 2023-02-01 10:55:52 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 2023-02-01 11:07:13 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-01 11:07:56 +0100 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-02-01 11:08:49 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 11:09:04 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
| 2023-02-01 11:09:37 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2023-02-01 11:09:45 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-02-01 11:11:16 +0100 | freeside | (~mengwong@151.192.214.154) |
| 2023-02-01 11:16:32 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:7da9:4d15:6e86:af8c) (Ping timeout: 248 seconds) |
| 2023-02-01 11:17:18 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:ce27:9939:eb6b:be4d) |
| 2023-02-01 11:27:50 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-02-01 11:33:56 +0100 | ubert | (~Thunderbi@p548c879c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-02-01 11:37:21 +0100 | ubert | (~Thunderbi@p200300ecdf13fe00de4d2ca001e0a477.dip0.t-ipconnect.de) |
| 2023-02-01 11:40:40 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2023-02-01 11:42:29 +0100 | king_gs | (~Thunderbi@187.201.2.248) |
| 2023-02-01 11:43:26 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-01 11:50:46 +0100 | thongpv | (~thongpv87@14.179.159.25) |
| 2023-02-01 11:50:54 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-02-01 11:56:05 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-01 11:59:02 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-02-01 11:59:50 +0100 | mechap1 | (~mechap@user/mechap) |
| 2023-02-01 12:02:39 +0100 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:dcd6:3c5a:50c0:3a94) |
| 2023-02-01 12:02:55 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 2023-02-01 12:11:51 +0100 | xff0x | (~xff0x@2405:6580:b080:900:eb1:bbe6:622a:f170) |
| 2023-02-01 12:17:16 +0100 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
| 2023-02-01 12:17:52 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:ce27:9939:eb6b:be4d) (Ping timeout: 248 seconds) |
| 2023-02-01 12:20:22 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-182-217.46.114.pool.telefonica.de) |
| 2023-02-01 12:21:32 +0100 | <freeside> | so, I'm working on a family of little embedded DSLs, starting with good old MathLang and branching out to BoolPropLang and BoolPredLang. In each language I naturally want to be able to eval() expressions, which is fine. But I also want the evaluator to "show your work" -- to verbosely output a tree of expressions that reduce rootward to the overall answer. |
| 2023-02-01 12:22:18 +0100 | <freeside> | Is there a generally accepted pattern for this? I am thinking about having a typeclass that i can instantiate each of my languages into, which will perform both eval() and explain() |
| 2023-02-01 12:22:22 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!) |
| 2023-02-01 12:28:59 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-01 12:30:53 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 12:32:37 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-02-01 12:33:32 +0100 | kimiamania | (~65804703@user/kimiamania) |
| 2023-02-01 12:33:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) |
| 2023-02-01 12:35:02 +0100 | king_gs | (~Thunderbi@187.201.2.248) (Read error: Connection reset by peer) |
| 2023-02-01 12:35:53 +0100 | king_gs | (~Thunderbi@2806:103e:29:34e5:ecc6:ec8d:1c5b:35a6) |
| 2023-02-01 12:38:03 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) (Ping timeout: 260 seconds) |
| 2023-02-01 12:43:35 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-01 12:46:39 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-02-01 12:46:40 +0100 | cheater_ | cheater |
| 2023-02-01 12:51:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-02-01 12:51:38 +0100 | king_gs | (~Thunderbi@2806:103e:29:34e5:ecc6:ec8d:1c5b:35a6) (Quit: king_gs) |
| 2023-02-01 12:54:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-01 12:54:52 +0100 | teo | (~teo@user/teo) |
| 2023-02-01 12:55:15 +0100 | mmhat | (~mmh@p200300f1c707be3cee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-02-01 12:55:49 +0100 | mmhat | (~mmh@p200300f1c707be3cee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-02-01 12:55:52 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-01 12:57:32 +0100 | proportions | (~proportio@91.150.188.137) (Remote host closed the connection) |
| 2023-02-01 12:57:50 +0100 | proportions | (~proportio@91.150.188.137) |
| 2023-02-01 13:01:35 +0100 | freeside | (~mengwong@151.192.214.154) (Ping timeout: 248 seconds) |
| 2023-02-01 13:04:53 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-01 13:05:12 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c4a7:73e3:2d8:d256) |
| 2023-02-01 13:05:12 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 13:06:49 +0100 | <chreekat> | freeside: free monads? |
| 2023-02-01 13:07:35 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-02-01 13:08:07 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-01 13:14:55 +0100 | <jackdk> | instead of evaluating all the way to a normal form, write small step evaluation rules for your expr |
| 2023-02-01 13:15:32 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 2023-02-01 13:15:56 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) |
| 2023-02-01 13:16:27 +0100 | <jackdk> | each step rule is a function Expr -> Maybe Expr that returns Just if it applies, and it should be the case that exactly one applies |
| 2023-02-01 13:16:40 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-02-01 13:17:31 +0100 | <jackdk> | recursing into an expression for a rule like (foo && bar) -> (foo' && bar) if foo not a value and foo -> foo' will need you to pass the step function into itself in a tie-the-knot style |
| 2023-02-01 13:17:53 +0100 | <jackdk> | I think there's a bit about that in https://www.youtube.com/watch?v=CZp9IFgFFts |
| 2023-02-01 13:18:17 +0100 | <jackdk> | but then your trace is an unfold on your initial expression: apply your small step until it does nothing |
| 2023-02-01 13:36:15 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-02-01 13:36:55 +0100 | <christiansen[m]> | freeside: I'd do this by converting the evaluator to something like a CEK machine, and then saving machine states |
| 2023-02-01 13:38:30 +0100 | mechap1 | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-02-01 13:42:03 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-01 13:42:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-01 13:44:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-01 13:47:45 +0100 | ncf | sighs |
| 2023-02-01 13:58:22 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) |
| 2023-02-01 13:59:58 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-02-01 14:05:37 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-02-01 14:07:36 +0100 | Mahi | (~Mahi@91-159-147-164.elisa-laajakaista.fi) |
| 2023-02-01 14:09:05 +0100 | <Mahi> | Hello! I am having trouble with Maybe types: https://paste.tomsmeding.com/QdANTCQl |
| 2023-02-01 14:09:05 +0100 | <Mahi> | It complains that I don't have Eq for CountryCode, but I'm trying to compare Maybe to Nothing instead of comparing the country code? |
| 2023-02-01 14:10:26 +0100 | <Mahi> | I can easily fix it by adding "deriving (Eq)", but I'm wondering why it needs that for Maybe? |
| 2023-02-01 14:10:57 +0100 | <__monty__> | Mahi: Consider the case where both Maybes are Justs. |
| 2023-02-01 14:11:04 +0100 | <lortabac> | Mahi: you can use 'isNothing' from Data.Maybe |
| 2023-02-01 14:11:29 +0100 | <Mahi> | Ah, right, then it compares the internal values of the Justs. Well that explains already, thank you! |
| 2023-02-01 14:11:32 +0100 | <__monty__> | Equality comparison wouldn't be able to give a proper answer unless the values are also comparable. |
| 2023-02-01 14:11:32 +0100 | <lortabac> | it doesn't require Eq because it only pattern matches on the constructors |
| 2023-02-01 14:11:41 +0100 | <Mahi> | lortabac thank you, did not know such thing exists |
| 2023-02-01 14:11:51 +0100 | <Mahi> | Exactly what I need! |
| 2023-02-01 14:13:16 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2023-02-01 14:13:46 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-01 14:14:16 +0100 | <lortabac> | Mahi: may I suggest you to define your own 'displayPhoneNumber' function instead of using Show? |
| 2023-02-01 14:14:41 +0100 | <Mahi> | These are for university exercises and the teacher requires me to use Show so I don't believe that to be possible :D |
| 2023-02-01 14:14:47 +0100 | <lortabac> | oh ok :) |
| 2023-02-01 14:15:14 +0100 | <Mahi> | Also I ran into issues, we're not allowed to use readMaybe ;__; I hate courses where you can't use common tools of the language, as if I would run into this issue in the real world... |
| 2023-02-01 14:19:13 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-01 14:22:21 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 14:22:45 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Read error: Connection reset by peer) |
| 2023-02-01 14:23:16 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-01 14:24:07 +0100 | <Mahi> | Now my `show Phone`prints out things like `MakePhoneNo 123456 (Just Other)`instead of desired `123456 (Other)` https://paste.tomsmeding.com/rVDmcmSU |
| 2023-02-01 14:24:25 +0100 | <Mahi> | Help appreciated! |
| 2023-02-01 14:25:44 +0100 | <Mahi> | https://paste.tomsmeding.com/hOgNLaSF Here's the entire code, my read functions are at the bottom, they could be the cause as well |
| 2023-02-01 14:27:37 +0100 | gentauro_ | (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) (Read error: Connection reset by peer) |
| 2023-02-01 14:27:52 +0100 | phma | (~phma@host-67-44-208-184.hnremote.net) (Read error: Connection reset by peer) |
| 2023-02-01 14:28:04 +0100 | <AndreasK> | Mahi: You call show on the `Maybe` value in the Just case, not on the value wrapped by the just |
| 2023-02-01 14:28:17 +0100 | phma | (phma@2001:5b0:211f:3c78:58ef:9097:8d8f:e01b) |
| 2023-02-01 14:28:41 +0100 | <AndreasK> | The MakePhoneNo comes from the derived Show instance, if you want to avoid that you have to write the instance yourself. |
| 2023-02-01 14:30:08 +0100 | <Mahi> | Ah, thank you. I am lost with Maybe's, the derived Show makes sense though :) |
| 2023-02-01 14:30:34 +0100 | <AndreasK> | what happens is that you call show (Just x) which produces "Just <x>" |
| 2023-02-01 14:30:52 +0100 | <ncf> | freeside: you received three answers while you were away https://f.monade.li/Rhr8Ud |
| 2023-02-01 14:31:18 +0100 | <ncf> | chreekat, jackdk, christiansen[m]: you need to configure your irc client to tell you when people leave |
| 2023-02-01 14:31:23 +0100 | <Mahi> | I'm completely lost on how to extract the "x" from "Just x":D We're not allowed to use the "import" anywhere so I can't use fromJust |
| 2023-02-01 14:32:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-02-01 14:32:10 +0100 | <AndreasK> | `maybe` is in the prelude you can use that probably |
| 2023-02-01 14:32:35 +0100 | proportions | (~proportio@91.150.188.137) () |
| 2023-02-01 14:33:15 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2023-02-01 14:33:54 +0100 | <Mahi> | That appears to have worked, thank you very much AndreasK |
| 2023-02-01 14:34:25 +0100 | <Mahi> | Tried to use `maybe` yesterday and couldn't get anything done, now I took one glance at it after a good night's sleep and it was obvious how to use it :D |
| 2023-02-01 14:34:52 +0100 | <AndreasK> | That's often the way it goes :D |
| 2023-02-01 14:35:46 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-02-01 14:35:52 +0100 | <chreekat> | sigh. I should just not bother answering questions in #haskell, they've already left 99% of the time anyway |
| 2023-02-01 14:36:11 +0100 | <chreekat> | Though I agree it's annoying that Element will still tab-complete somebody's name after they've left |
| 2023-02-01 14:36:17 +0100 | <AndreasK> | chreekat: I just make sure to try to autocomplete their name if that fails their gone :D |
| 2023-02-01 14:36:25 +0100 | <AndreasK> | Ah I see |
| 2023-02-01 14:44:47 +0100 | <ncf> | element is annoying in its own right, but using it to interface with IRC is just pure masochism |
| 2023-02-01 14:48:09 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 260 seconds) |
| 2023-02-01 14:48:24 +0100 | <maerwald> | well, it's better than all IRC android clients |
| 2023-02-01 14:48:30 +0100 | <maerwald> | that's the only reason I use it |
| 2023-02-01 14:50:54 +0100 | Hammdist | (~Hammdist@67.169.114.135) |
| 2023-02-01 14:53:54 +0100 | bhall | (~brunohall@85.255.237.174) |
| 2023-02-01 14:55:09 +0100 | <geekosaur> | ^ |
| 2023-02-01 14:58:27 +0100 | Batzy_ | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-02-01 14:58:51 +0100 | Batzy | (~quassel@user/batzy) |
| 2023-02-01 14:59:28 +0100 | <chreekat> | ¯\_(ツ)_/¯ IRC has always been masochism |
| 2023-02-01 14:59:32 +0100 | Batzy | (~quassel@user/batzy) (Client Quit) |
| 2023-02-01 14:59:47 +0100 | Mahi | (~Mahi@91-159-147-164.elisa-laajakaista.fi) (Quit: Client closed) |
| 2023-02-01 14:59:57 +0100 | Batzy | (~quassel@user/batzy) |
| 2023-02-01 15:00:03 +0100 | <christiansen[m]> | yeah, I'm in element too |
| 2023-02-01 15:01:58 +0100 | <ncf> | weechat-android is alright (but it's only a relay client) |
| 2023-02-01 15:03:27 +0100 | <christiansen[m]> | Maybe I should just go back to running a bouncer on linode :) |
| 2023-02-01 15:05:24 +0100 | ratapaca | (~ratapaca@98.40.240.33) |
| 2023-02-01 15:05:47 +0100 | <sm> | element FTW! But I do look forward to when the irc bridge can show presence accurately |
| 2023-02-01 15:05:55 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-01 15:06:56 +0100 | bhall | (~brunohall@85.255.237.174) (Ping timeout: 248 seconds) |
| 2023-02-01 15:07:47 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-02-01 15:07:54 +0100 | h4|80 | (~h4|80@92.206.56.114) |
| 2023-02-01 15:08:07 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c4a7:73e3:2d8:d256) (Remote host closed the connection) |
| 2023-02-01 15:08:13 +0100 | Guest75 | (~Guest75@178.141.149.12) (Ping timeout: 260 seconds) |
| 2023-02-01 15:08:23 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1aaf:1740:1bf7:a380) |
| 2023-02-01 15:12:22 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-01 15:13:06 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-02-01 15:14:05 +0100 | proportions | (~proportio@91.150.188.137) |
| 2023-02-01 15:16:16 +0100 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-02-01 15:16:32 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-02-01 15:17:27 +0100 | Batzy | (~quassel@user/batzy) |
| 2023-02-01 15:18:49 +0100 | thegeekinside | (~thegeekin@189.180.66.244) |
| 2023-02-01 15:21:09 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-02-01 15:22:04 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 2023-02-01 15:24:11 +0100 | varoo | (~varoo@2401:4900:5d10:824a:60c8:7dfa:d6b5:b6cd) (Ping timeout: 260 seconds) |
| 2023-02-01 15:24:44 +0100 | varoo | (~varoo@2401:4900:5d3e:ebdd:5a43:1f94:3f3d:c9c) |
| 2023-02-01 15:25:55 +0100 | ubert | (~Thunderbi@p200300ecdf13fe00de4d2ca001e0a477.dip0.t-ipconnect.de) (Quit: ubert) |
| 2023-02-01 15:25:55 +0100 | ubert1 | ubert |
| 2023-02-01 15:26:07 +0100 | ub | (~Thunderbi@p200300ecdf13fe0035a08cfa14c11c0d.dip0.t-ipconnect.de) |
| 2023-02-01 15:35:21 +0100 | zer0bitz_ | (~zer0bitz@196.244.192.58) (Read error: Connection reset by peer) |
| 2023-02-01 15:36:11 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-02-01 15:37:53 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:9164:2543:12c5:e53e) |
| 2023-02-01 15:38:17 +0100 | ratapaca | (~ratapaca@98.40.240.33) (Quit: Leaving) |
| 2023-02-01 15:50:12 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-02-01 15:50:12 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-02-01 15:50:12 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-01 15:58:28 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-02-01 15:58:32 +0100 | mechap | (~mechap@user/mechap) |
| 2023-02-01 15:59:16 +0100 | <jean-paul[m]> | Are there options other than hpc for coverage measurement? |
| 2023-02-01 16:00:13 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-01 16:01:17 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-02-01 16:02:51 +0100 | ccapndave | (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) |
| 2023-02-01 16:04:25 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-02-01 16:09:34 +0100 | proportions | tsns |
| 2023-02-01 16:09:50 +0100 | gaff | (~gaff@49.207.218.11) |
| 2023-02-01 16:11:15 +0100 | <Guillaum[m]> | jean-paul.: what do you mean about "other options". You can convert the hpc result files (mix/tix) to something else, such as lcov. There are also https://cs-syd.eu/posts/2022-12-16-announcing-dekking which was recently announced. |
| 2023-02-01 16:14:08 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 2023-02-01 16:14:18 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-02-01 16:14:42 +0100 | d0x3r | (~jeff@2804:378:82c1:3600:ef24:8728:6f2b:cbbd) |
| 2023-02-01 16:15:38 +0100 | varoo | (~varoo@2401:4900:5d3e:ebdd:5a43:1f94:3f3d:c9c) (Read error: Connection reset by peer) |
| 2023-02-01 16:16:43 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-01 16:18:10 +0100 | <jean-paul[m]> | I guess Dekking is exactly the kind of thing I was wondering about as far as "other options" |
| 2023-02-01 16:18:41 +0100 | thongpv | (~thongpv87@14.179.159.25) (Ping timeout: 252 seconds) |
| 2023-02-01 16:19:09 +0100 | varoo | (~varoo@117.203.246.41) (Read error: Connection reset by peer) |
| 2023-02-01 16:20:26 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-01 16:21:44 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1aaf:1740:1bf7:a380) (Quit: WeeChat 2.8) |
| 2023-02-01 16:22:27 +0100 | <Guillaum[m]> | jean-paul.: read the limitations of dekking, they can be really "limiting" for your use case, or totally acceptable ;) Have fun doing coverage. |
| 2023-02-01 16:23:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-01 16:25:44 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-02-01 16:28:05 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-02-01 16:28:57 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 2023-02-01 16:29:38 +0100 | bhall | (~brunohall@85.255.237.169) |
| 2023-02-01 16:30:21 +0100 | tsns | (~proportio@91.150.188.137) () |
| 2023-02-01 16:30:35 +0100 | ddellacosta | (~ddellacos@143.244.47.74) (Ping timeout: 260 seconds) |
| 2023-02-01 16:35:52 +0100 | gaff | (~gaff@49.207.218.11) () |
| 2023-02-01 16:35:59 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-01 16:40:05 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-01 16:44:35 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-02-01 16:45:52 +0100 | titibandit1 | (~titibandi@xdsl-85-197-0-96.nc.de) |
| 2023-02-01 16:47:37 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 2023-02-01 16:49:47 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-02-01 16:55:02 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-02-01 16:55:33 +0100 | kurbus | (~kurbus@user/kurbus) (Ping timeout: 260 seconds) |
| 2023-02-01 16:55:47 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Quit: beteigeuze) |
| 2023-02-01 16:56:17 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-01 16:58:10 +0100 | king_gs | (~Thunderbi@2806:103e:29:34e5:ecc6:ec8d:1c5b:35a6) |
| 2023-02-01 17:02:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-01 17:04:17 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-02-01 17:04:38 +0100 | freeside_ | (~mengwong@103.252.202.170) |
| 2023-02-01 17:04:59 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-02-01 17:06:11 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 264 seconds) |
| 2023-02-01 17:07:22 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-02-01 17:08:36 +0100 | ccapndave | (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-02-01 17:12:50 +0100 | Hammdist | (~Hammdist@67.169.114.135) (Quit: Client closed) |
| 2023-02-01 17:18:02 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-02-01 17:18:23 +0100 | mastarija | (~mastarija@2a05:4f46:e03:6000:5424:2177:1ddc:dd58) (Quit: WeeChat 3.7.1) |
| 2023-02-01 17:19:23 +0100 | king_gs | (~Thunderbi@2806:103e:29:34e5:ecc6:ec8d:1c5b:35a6) (Ping timeout: 264 seconds) |
| 2023-02-01 17:21:23 +0100 | freeside_ | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-01 17:24:14 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) |
| 2023-02-01 17:25:42 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-01 17:27:17 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-01 17:30:51 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-01 17:32:15 +0100 | turlando | (~turlando@user/turlando) |
| 2023-02-01 17:35:18 +0100 | thegeekinside | (~thegeekin@189.180.66.244) (Ping timeout: 252 seconds) |
| 2023-02-01 17:36:20 +0100 | thegeekinside | (~thegeekin@189.180.81.69) |
| 2023-02-01 17:37:00 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-01 17:39:01 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-02-01 17:41:11 +0100 | varoo | (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 2023-02-01 17:41:51 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-02-01 17:41:55 +0100 | d0x3r | (~jeff@2804:378:82c1:3600:ef24:8728:6f2b:cbbd) (Quit: Leaving) |
| 2023-02-01 17:42:06 +0100 | ccapndave | (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) |
| 2023-02-01 17:42:09 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-02-01 17:42:31 +0100 | varoo | (~varoo@2401:4900:5d28:bef2:4162:9d5f:98b:14c1) |
| 2023-02-01 17:43:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) (Remote host closed the connection) |
| 2023-02-01 17:44:41 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) |
| 2023-02-01 17:44:43 +0100 | varoo | (~varoo@2401:4900:5d28:bef2:4162:9d5f:98b:14c1) (Read error: Connection reset by peer) |
| 2023-02-01 17:45:41 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-02-01 17:46:17 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-02-01 17:46:55 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-01 17:47:14 +0100 | slack1256 | (~slack1256@186.11.59.217) |
| 2023-02-01 17:51:05 +0100 | varoo | (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 2023-02-01 17:52:49 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-01 17:56:05 +0100 | ccapndave | (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-02-01 17:56:49 +0100 | king_gs | (~Thunderbi@187.201.2.248) |
| 2023-02-01 17:59:09 +0100 | varoo | (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 2023-02-01 17:59:51 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-01 18:00:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) (Remote host closed the connection) |
| 2023-02-01 18:01:27 +0100 | king_gs | (~Thunderbi@187.201.2.248) (Ping timeout: 260 seconds) |
| 2023-02-01 18:01:41 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-02-01 18:03:56 +0100 | varoo | (~varoo@117.203.246.41) (Read error: Connection reset by peer) |
| 2023-02-01 18:04:35 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-01 18:04:43 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-01 18:07:09 +0100 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 265 seconds) |
| 2023-02-01 18:08:20 +0100 | bhall | (~brunohall@85.255.237.169) (Ping timeout: 246 seconds) |
| 2023-02-01 18:11:25 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-02-01 18:16:36 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-01 18:17:15 +0100 | varoo | (~varoo@117.203.246.41) (Read error: Connection reset by peer) |
| 2023-02-01 18:17:36 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-01 18:19:03 +0100 | mechap | (~mechap@user/mechap) |
| 2023-02-01 18:19:51 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-02-01 18:20:32 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-02-01 18:22:02 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-02-01 18:22:50 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-01 18:24:07 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-01 18:24:48 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-02-01 18:30:58 +0100 | econo | (uid147250@user/econo) |
| 2023-02-01 18:31:12 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2023-02-01 18:34:15 +0100 | teo | (~teo@user/teo) (Ping timeout: 260 seconds) |
| 2023-02-01 18:37:17 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:dcd6:3c5a:50c0:3a94) (Remote host closed the connection) |
| 2023-02-01 18:37:17 +0100 | ub | ubert |
| 2023-02-01 18:38:09 +0100 | king_gs | (~Thunderbi@187.201.2.248) |
| 2023-02-01 18:41:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-01 18:41:51 +0100 | Mahi | (~Mahi@91-159-147-164.elisa-laajakaista.fi) |
| 2023-02-01 18:42:25 +0100 | king_gs | (~Thunderbi@187.201.2.248) (Ping timeout: 252 seconds) |
| 2023-02-01 18:42:28 +0100 | <Mahi> | Hi, why isn't my map insert working? https://paste.tomsmeding.com/DCxRIOzd |
| 2023-02-01 18:42:44 +0100 | <Mahi> | Here's the error I'm getting, I kind of understand what it means but I don't see how it fits my code: https://paste.tomsmeding.com/H9HOVTzd |
| 2023-02-01 18:43:08 +0100 | <Mahi> | Where exactly am I comparing `[Phone]` with a `Phone` is my question I guess |
| 2023-02-01 18:43:48 +0100 | <Mahi> | the `(readPhone pt cc pn)` is provided by teaches and produces a `Phone` |
| 2023-02-01 18:43:50 +0100 | <geekosaur> | You can't append a single item to a list tjay wau |
| 2023-02-01 18:43:54 +0100 | <geekosaur> | *that way |
| 2023-02-01 18:44:03 +0100 | <geekosaur> | :t (:) |
| 2023-02-01 18:44:04 +0100 | <lambdabot> | a -> [a] -> [a] |
| 2023-02-01 18:44:07 +0100 | king_gs | (~Thunderbi@187.201.2.248) |
| 2023-02-01 18:44:27 +0100 | <Mahi> | Ohhhh so I need to add it to the front |
| 2023-02-01 18:44:38 +0100 | <geekosaur> | either prepend it or use `++ [phone]` |
| 2023-02-01 18:44:47 +0100 | <Mahi> | Ahh thank you very much! |
| 2023-02-01 18:56:07 +0100 | Mahi | (~Mahi@91-159-147-164.elisa-laajakaista.fi) (Quit: Client closed) |
| 2023-02-01 18:57:40 +0100 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2023-02-01 18:59:19 +0100 | nschoe | (~q@2a01:e0a:8e:a190:a241:9f54:4474:e582) (Ping timeout: 252 seconds) |
| 2023-02-01 19:00:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) |
| 2023-02-01 19:01:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-01 19:01:55 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) (Quit: WeeChat 3.6) |
| 2023-02-01 19:04:29 +0100 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-02-01 19:04:29 +0100 | king_gs | (~Thunderbi@187.201.2.248) (Read error: Connection reset by peer) |
| 2023-02-01 19:04:37 +0100 | king_gs1 | (~Thunderbi@2806:103e:29:34e5:ecc6:ec8d:1c5b:35a6) |
| 2023-02-01 19:05:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) (Ping timeout: 248 seconds) |
| 2023-02-01 19:06:54 +0100 | king_gs1 | king_gs |
| 2023-02-01 19:08:23 +0100 | h4|80 | (~h4|80@92.206.56.114) (Quit: Client closed) |
| 2023-02-01 19:08:49 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-01 19:11:37 +0100 | rodental | (~rodental@38.146.5.222) (Remote host closed the connection) |
| 2023-02-01 19:11:50 +0100 | rodental | (~rodental@38.146.5.222) |
| 2023-02-01 19:12:49 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-01 19:14:15 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 19:14:24 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-01 19:16:58 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 19:17:16 +0100 | <freeside> | ncf: thank you, reviewing |
| 2023-02-01 19:17:37 +0100 | <freeside> | apologies for my bouncy bouncy, i think i might need to switch to a more stable client |
| 2023-02-01 19:18:25 +0100 | trev_ | (~trev@109.252.35.99) (Remote host closed the connection) |
| 2023-02-01 19:19:15 +0100 | vgtw | (~vgtw@user/vgtw) |
| 2023-02-01 19:23:35 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-02-01 19:28:13 +0100 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) |
| 2023-02-01 19:28:46 +0100 | hounded | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2023-02-01 19:28:50 +0100 | hounded_woodstoc | (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 2023-02-01 19:31:27 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2023-02-01 19:32:03 +0100 | <freeside> | chreekat, jackdk: thank you for your answers |
| 2023-02-01 19:32:15 +0100 | <freeside> | i am now watching the David Laing -- Little Languages talk |
| 2023-02-01 19:32:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) |
| 2023-02-01 19:34:24 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-01 19:35:38 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-01 19:37:25 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-01 19:39:49 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 19:41:05 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-01 19:43:05 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 19:46:07 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!) |
| 2023-02-01 19:47:23 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-02-01 19:48:00 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-182-217.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-02-01 19:54:14 +0100 | king_gs | (~Thunderbi@2806:103e:29:34e5:ecc6:ec8d:1c5b:35a6) (Read error: Connection reset by peer) |
| 2023-02-01 19:54:30 +0100 | king_gs | (~Thunderbi@187.201.2.248) |
| 2023-02-01 19:59:40 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-182-217.46.114.pool.telefonica.de) |
| 2023-02-01 20:05:01 +0100 | trev_ | (~trev@109-252-35-99.nat.spd-mgts.ru) |
| 2023-02-01 20:07:12 +0100 | <eldritchcookie[4> | i considering doing a library similar to HaTeX for ConTeXt and i would like for it to be impossible to with normal use generate invalid ConTeXt markup, however it is common and expected to define your own commands in ConTeXt how can i prevent the use of a undefined command but allow defined ones? |
| 2023-02-01 20:10:19 +0100 | nschoe | (~q@2a01:e0a:8e:a190:7f8f:17e2:e042:ecb1) |
| 2023-02-01 20:11:16 +0100 | witcher | (~witcher@wiredspace.de) (Remote host closed the connection) |
| 2023-02-01 20:11:34 +0100 | witcher | (~witcher@wiredspace.de) |
| 2023-02-01 20:11:47 +0100 | mcglk | (~mcglk@131.191.49.120) (Quit: (zzz)) |
| 2023-02-01 20:17:33 +0100 | titibandit1 | (~titibandi@xdsl-85-197-0-96.nc.de) (Quit: Leaving.) |
| 2023-02-01 20:17:45 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-01 20:18:33 +0100 | trev_ | (~trev@109-252-35-99.nat.spd-mgts.ru) (Remote host closed the connection) |
| 2023-02-01 20:20:21 +0100 | mcglk | (~mcglk@131.191.49.120) |
| 2023-02-01 20:30:44 +0100 | ddellacosta | (~ddellacos@146.70.166.234) |
| 2023-02-01 20:33:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) (Remote host closed the connection) |
| 2023-02-01 20:42:41 +0100 | king_gs | (~Thunderbi@187.201.2.248) (Read error: Connection reset by peer) |
| 2023-02-01 20:42:57 +0100 | king_gs | (~Thunderbi@2806:103e:29:34e5:19d4:8e22:892b:562) |
| 2023-02-01 20:43:47 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2023-02-01 20:44:23 +0100 | barzo | (~hd@31.223.42.145) |
| 2023-02-01 20:48:03 +0100 | dfg | (dfg@user/dfg) (Quit: I hate quit messages.) |
| 2023-02-01 20:49:08 +0100 | dfg | (~dfg@dfg.rocks) |
| 2023-02-01 20:49:08 +0100 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2023-02-01 20:49:08 +0100 | dfg | (~dfg@user/dfg) |
| 2023-02-01 20:50:11 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-01 20:51:00 +0100 | proportions | (~proportio@91.150.188.137) |
| 2023-02-01 20:51:15 +0100 | <proportions> | Why im banned here on nickname but not on account |
| 2023-02-01 20:51:20 +0100 | <proportions> | This is not logical at all |
| 2023-02-01 20:51:44 +0100 | <proportions> | It *forces* banned person to troll you under another nickname |
| 2023-02-01 20:52:34 +0100 | <c_wraith> | or it's just a warning. |
| 2023-02-01 20:52:43 +0100 | <c_wraith> | perhaps you aren't required to troll at all |
| 2023-02-01 20:53:37 +0100 | <proportions> | At the moment I have no such plans but that may change |
| 2023-02-01 20:53:48 +0100 | proportions | tsns |
| 2023-02-01 20:54:23 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-01 20:54:39 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-01 20:54:56 +0100 | tsns | (~proportio@91.150.188.137) () |
| 2023-02-01 20:55:10 +0100 | <jean-paul[m]> | I renamed my project's .cabal file and now cabal can't find it ... what else do I have to do to be able to rename it? |
| 2023-02-01 20:55:24 +0100 | <jean-paul[m]> | (it still ends with .cabal, the renaming was like foo.cabal to bar.cabal) |
| 2023-02-01 20:55:43 +0100 | mcglk | (~mcglk@131.191.49.120) (Quit: (zzz)) |
| 2023-02-01 20:55:49 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Quit: beteigeuze) |
| 2023-02-01 20:56:16 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-01 20:56:37 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-02-01 20:57:52 +0100 | ChanServ | +o dolio |
| 2023-02-01 20:57:52 +0100 | dolio | +b *!*@91.150.188.137 |
| 2023-02-01 20:57:59 +0100 | <geekosaur> | I'm surprised, unless you pointed to it by name in `cabal.project` |
| 2023-02-01 20:58:01 +0100 | dolio | -o dolio |
| 2023-02-01 20:58:05 +0100 | nschoe | (~q@2a01:e0a:8e:a190:7f8f:17e2:e042:ecb1) (Ping timeout: 252 seconds) |
| 2023-02-01 20:58:17 +0100 | titibandit1 | (~titibandi@xdsl-85-197-0-96.nc.de) |
| 2023-02-01 20:58:52 +0100 | <geekosaur> | (usually one points to the directory containing it instead) |
| 2023-02-01 20:59:55 +0100 | varoo | (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 2023-02-01 20:59:55 +0100 | mcglk | (~mcglk@131.191.49.120) |
| 2023-02-01 21:00:21 +0100 | varoo | (~varoo@2401:4900:5d11:a168:2146:ef73:3c4f:d9de) |
| 2023-02-01 21:01:12 +0100 | <jean-paul[m]> | https://gist.github.com/exarkun/b38944443d9ea6d1a76d8f522a16696d |
| 2023-02-01 21:02:26 +0100 | <geekosaur> | if you have a `cabal.project` then you need a `src:` line in it indicating the (directories containing) cabal packages to build |
| 2023-02-01 21:03:33 +0100 | <geekosaur> | sorry, `packages:` |
| 2023-02-01 21:03:41 +0100 | <geekosaur> | https://github.com/geekosaur/xmonad.hs/blob/skkukuk/cabal.project |
| 2023-02-01 21:04:49 +0100 | <jean-paul[m]> | Huh. I definitely successfully ran cabal build after adding that cabal.project file (but maybe only once or twice). Maybe something was cached and I wiped out the cache while I was renaming everything? |
| 2023-02-01 21:04:59 +0100 | <jean-paul[m]> | Indeed, adding packages: ./ fixes it |
| 2023-02-01 21:07:20 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-02-01 21:07:30 +0100 | <geekosaur> | possibly `cabal build` works unless it has to do a reconfigure, yeh. you'd have to ask someone better versed in cabal internals about that |
| 2023-02-01 21:07:34 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-01 21:09:49 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-02-01 21:09:56 +0100 | cheater_ | cheater |
| 2023-02-01 21:10:40 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 268 seconds) |
| 2023-02-01 21:11:59 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-01 21:12:47 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-01 21:13:08 +0100 | vgtw | (~vgtw@user/vgtw) |
| 2023-02-01 21:17:05 +0100 | trev_ | (~trev@109.252.35.99) |
| 2023-02-01 21:17:10 +0100 | <jean-paul[m]> | Thanks! |
| 2023-02-01 21:18:14 +0100 | <jean-paul[m]> | How about an emacs question! With lsp-haskell I get suggestions to the right of real text in a haskell-mode buffer (terminal mode emacs). Suggestions like "Set module name to Tahoe.CHK.Types". I could press a bunch of buttons my keyboard like a schlub to do that, but surely there's some keystroke for "yea, sure, do it for me"? |
| 2023-02-01 21:18:32 +0100 | trev_ | (~trev@109.252.35.99) (Remote host closed the connection) |
| 2023-02-01 21:18:48 +0100 | trev_ | (~trev@109.252.35.99) |
| 2023-02-01 21:21:15 +0100 | <geekosaur> | I don't use lsp-haskell so wouldn't know, sorry |
| 2023-02-01 21:27:13 +0100 | <jean-paul[m]> | no worries, thanks for reading, and for the cabal help |
| 2023-02-01 21:28:28 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-02-01 21:33:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) |
| 2023-02-01 21:34:10 +0100 | <ddellacosta> | jean-paul[m]: if you find out, please let me know --another terminal mode emacs user |
| 2023-02-01 21:35:01 +0100 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-01 21:35:08 +0100 | <jean-paul[m]> | #emacs helped me to lsp-avy-lens, which is apparently a way to click on things in the terminal. it seems to work in the one very simple case I've tried so far. |
| 2023-02-01 21:35:20 +0100 | <ddellacosta> | oh cool, will take a look, thank you! |
| 2023-02-01 21:36:03 +0100 | <ddellacosta> | I have to admit I largely avoid #emacs |
| 2023-02-01 21:36:51 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-01 21:36:56 +0100 | <jean-paul[m]> | I get it. There are some places on the internet you just don't want to be. |
| 2023-02-01 21:37:01 +0100 | <geekosaur> | I found it pretty toxic the few times I went there |
| 2023-02-01 21:38:00 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1805:fe0d:6c6e:4fba) (Ping timeout: 260 seconds) |
| 2023-02-01 21:38:06 +0100 | kurbus | (~kurbus@user/kurbus) (Client Quit) |
| 2023-02-01 21:38:33 +0100 | <ddellacosta> | yep :-( |
| 2023-02-01 21:38:44 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2023-02-01 21:39:17 +0100 | califax | (~califax@user/califx) |
| 2023-02-01 21:40:00 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2023-02-01 21:43:21 +0100 | Joao003 | (~Joao003@2804:840:8302:200:347e:ad5b:e169:aa63) |
| 2023-02-01 21:45:17 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-02-01 21:52:31 +0100 | trev_ | (~trev@109.252.35.99) (Remote host closed the connection) |
| 2023-02-01 21:54:27 +0100 | king_gs | (~Thunderbi@2806:103e:29:34e5:19d4:8e22:892b:562) (Ping timeout: 256 seconds) |
| 2023-02-01 21:57:35 +0100 | barzo | (~hd@31.223.42.145) (Read error: Connection reset by peer) |
| 2023-02-01 21:57:40 +0100 | ft | (~ft@p4fc2a257.dip0.t-ipconnect.de) |
| 2023-02-01 21:58:05 +0100 | barzo | (~hd@31.223.42.145) |
| 2023-02-01 21:59:28 +0100 | <sm> | I lurk there.. not watching it 24/7 but seems pretty good humoured most of the time |
| 2023-02-01 21:59:33 +0100 | <sm> | extremely off topic though.. |
| 2023-02-01 22:00:13 +0100 | <sm> | there's also #emacs:matrix.org |
| 2023-02-01 22:00:23 +0100 | <geekosaur> | huh. maybe it's improved since freenode days |
| 2023-02-01 22:00:30 +0100 | sm | gives #emacs a hug |
| 2023-02-01 22:00:50 +0100 | Joao003 | (~Joao003@2804:840:8302:200:347e:ad5b:e169:aa63) (Quit: Leaving) |
| 2023-02-01 22:00:56 +0100 | <sm> | it's definitely got the funniest bot. I don't know what the heck is going on with it most of the time :) |
| 2023-02-01 22:01:39 +0100 | <sm> | lambdabot could learn a thing or two |
| 2023-02-01 22:03:05 +0100 | Bocaneri | (~sauvin@user/Sauvin) |
| 2023-02-01 22:03:29 +0100 | Bocaneri | Guest857 |
| 2023-02-01 22:05:30 +0100 | varoo | (~varoo@2401:4900:5d11:a168:2146:ef73:3c4f:d9de) (Read error: Connection reset by peer) |
| 2023-02-01 22:05:36 +0100 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 248 seconds) |
| 2023-02-01 22:05:37 +0100 | varoo | (~varoo@117.203.246.41) |
| 2023-02-01 22:07:14 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-02-01 22:07:39 +0100 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-02-01 22:09:19 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-02-01 22:12:22 +0100 | phma | (phma@2001:5b0:211f:3c78:58ef:9097:8d8f:e01b) (Read error: Connection reset by peer) |
| 2023-02-01 22:13:03 +0100 | phma | (~phma@host-67-44-208-195.hnremote.net) |
| 2023-02-01 22:13:29 +0100 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-02-01 22:14:58 +0100 | barzo | (~hd@31.223.42.145) (Quit: Leaving) |
| 2023-02-01 22:15:34 +0100 | slack1256 | (~slack1256@186.11.59.217) (Ping timeout: 260 seconds) |
| 2023-02-01 22:20:10 +0100 | tomsmeding | is curious but not curious enough to join #emacs as a vim user |
| 2023-02-01 22:20:14 +0100 | king_gs | (~Thunderbi@187.201.2.248) |
| 2023-02-01 22:20:35 +0100 | pavonia | (~user@user/siracusa) |
| 2023-02-01 22:22:36 +0100 | <yushyin> | try donald-bot in #latex then, afaik it is the same software |
| 2023-02-01 22:25:07 +0100 | telser_ | (~quassel@user/telser) |
| 2023-02-01 22:27:00 +0100 | telser | (~quassel@user/telser) (Ping timeout: 260 seconds) |
| 2023-02-01 22:27:56 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-02-01 22:28:00 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
| 2023-02-01 22:28:22 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 268 seconds) |
| 2023-02-01 22:28:25 +0100 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2023-02-01 22:35:59 +0100 | dolio | (~dolio@130.44.134.54) (Ping timeout: 260 seconds) |
| 2023-02-01 22:39:44 +0100 | king_gs | (~Thunderbi@187.201.2.248) (Read error: Connection reset by peer) |
| 2023-02-01 22:39:56 +0100 | king_gs1 | (~Thunderbi@2806:103e:29:34e5:1b75:65a2:52db:6194) |
| 2023-02-01 22:42:13 +0100 | king_gs1 | king_gs |
| 2023-02-01 22:46:10 +0100 | dolio | (~dolio@130.44.134.54) |
| 2023-02-01 22:50:26 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 2023-02-01 22:53:39 +0100 | vgtw | (~vgtw@user/vgtw) |
| 2023-02-01 22:54:49 +0100 | vgtw | (~vgtw@user/vgtw) (Client Quit) |
| 2023-02-01 22:56:13 +0100 | thegeekinside | (~thegeekin@189.180.81.69) (Ping timeout: 256 seconds) |
| 2023-02-01 22:56:37 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-02-01 22:57:17 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-01 23:07:00 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 2023-02-01 23:07:31 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 2023-02-01 23:07:47 +0100 | bhall | (~brunohall@85.255.237.179) |
| 2023-02-01 23:08:26 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-02-01 23:09:59 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-01 23:12:46 +0100 | bhall | (~brunohall@85.255.237.179) (Ping timeout: 268 seconds) |
| 2023-02-01 23:13:02 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-02-01 23:17:12 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-01 23:17:48 +0100 | ub | (~Thunderbi@p200300ecdf13fe8bb79a89b306658b5f.dip0.t-ipconnect.de) |
| 2023-02-01 23:18:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-01 23:18:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-01 23:18:40 +0100 | ubert | (~Thunderbi@p200300ecdf13fe0035a08cfa14c11c0d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-02-01 23:18:40 +0100 | ub | ubert |
| 2023-02-01 23:18:53 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-182-217.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-02-01 23:19:10 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-182-217.46.114.pool.telefonica.de) |
| 2023-02-01 23:20:59 +0100 | <alexfmpe[m]> | is there a 'standard' library for semigroup actions? |
| 2023-02-01 23:21:38 +0100 | <alexfmpe[m]> | I'm mostly looking for something that'd allow me multiplying numbers by vector-ish stuff |
| 2023-02-01 23:21:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-02-01 23:23:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-01 23:24:35 +0100 | <alexfmpe[m]> | and Num just makes me want to pull my hair out |
| 2023-02-01 23:27:19 +0100 | telser_ | (~quassel@user/telser) (Ping timeout: 252 seconds) |
| 2023-02-01 23:27:51 +0100 | Guest857 | Sauvin |
| 2023-02-01 23:27:53 +0100 | telser | (~quassel@user/telser) |
| 2023-02-01 23:29:10 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2023-02-01 23:31:31 +0100 | <Jadeitits[m]> | how would semigroups help here |
| 2023-02-01 23:31:57 +0100 | <Jadeitits[m]> | your question seems to be asymmetric in types so it wouldnt help would it |
| 2023-02-01 23:32:05 +0100 | <alexfmpe[m]> | https://en.wikipedia.org/wiki/Semigroup_action#Formal_definitions |
| 2023-02-01 23:32:26 +0100 | <geekosaur> | yeh, this makes mathematical sense, not necessarily Haskell Semigroup sense |
| 2023-02-01 23:32:55 +0100 | <alexfmpe[m]> | as I understand it, the semigroup acting here would be Product, and the other type could be vector/matrix-ish stuff |
| 2023-02-01 23:33:06 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-02-01 23:33:13 +0100 | <alexfmpe[m]> | data Semigroup s => SemigroupAction s x where |
| 2023-02-01 23:33:13 +0100 | <alexfmpe[m]> | act :: s -> x -> x |
| 2023-02-01 23:33:16 +0100 | <alexfmpe[m]> | something like this? |
| 2023-02-01 23:33:33 +0100 | <alexfmpe[m]> | I know there was a kmett talk about this somewhere |
| 2023-02-01 23:33:41 +0100 | <Jadeitits[m]> | I think constraints in types are deprecated |
| 2023-02-01 23:33:52 +0100 | <alexfmpe[m]> | oops, that was meant to be class |
| 2023-02-01 23:33:56 +0100 | <alexfmpe[m]> | not data |
| 2023-02-01 23:35:37 +0100 | <c_wraith> | he mentioned the idea in his blog, if nothing else |
| 2023-02-01 23:37:12 +0100 | king_gs | (~Thunderbi@2806:103e:29:34e5:1b75:65a2:52db:6194) (Quit: king_gs) |
| 2023-02-01 23:37:56 +0100 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-02-01 23:37:56 +0100 | telser | (~quassel@user/telser) (Ping timeout: 252 seconds) |
| 2023-02-01 23:38:27 +0100 | <alexfmpe[m]> | https://github.com/sheaf/acts#comparison ok this is what I was looking for |
| 2023-02-01 23:38:34 +0100 | telser | (~quassel@user/telser) |
| 2023-02-01 23:45:01 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-02-01 23:49:18 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-02-01 23:51:45 +0100 | <ddellacosta> | jean-paul[m]: fyi, I couldn't figure out how to get lsp-avy-lens working for me to apply hints, but I finally discovered lsp-ui-sideline-apply-code-actions in lsp-ui, which does it |
| 2023-02-01 23:53:01 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) |