| 2023-09-21 00:01:23 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-21 00:05:06 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-21 00:10:07 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-09-21 00:14:35 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2023-09-21 00:15:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-09-21 00:24:11 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 2023-09-21 00:26:19 +0200 | dcoutts_ | (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) (Ping timeout: 252 seconds) |
| 2023-09-21 00:27:53 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 00:28:23 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 2023-09-21 00:29:43 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 2023-09-21 00:30:45 +0200 | <ph88> | how can i write in cabal that i want to include a package when the base version is less than a certain version ? |
| 2023-09-21 00:30:58 +0200 | <mauke> | something with flags, probably |
| 2023-09-21 00:34:52 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-21 00:36:01 +0200 | son0p | (~ff@186.114.32.184) (Quit: Bye) |
| 2023-09-21 00:37:15 +0200 | drewjose | (~drewjose@129.154.40.88) (Quit: Ping timeout (120 seconds)) |
| 2023-09-21 00:37:59 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-09-21 00:38:01 +0200 | <geekosaur> | https://paste.tomsmeding.com/tTlisw0p |
| 2023-09-21 00:38:57 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 2023-09-21 00:39:33 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 2023-09-21 00:39:44 +0200 | drewjose | (~drewjose@129.154.40.88) |
| 2023-09-21 00:41:59 +0200 | <dmj`> | is there a standalone SQL query DSL package (not tied to any specific db) |
| 2023-09-21 00:43:21 +0200 | <mauke> | I don't know if selda counts |
| 2023-09-21 00:45:46 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2023-09-21 00:47:27 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2023-09-21 00:49:42 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 2023-09-21 00:51:31 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 258 seconds) |
| 2023-09-21 00:52:21 +0200 | <dmj`> | mauke: yea that might be the best bet |
| 2023-09-21 00:54:16 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 2023-09-21 00:57:36 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 2023-09-21 00:59:41 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 2023-09-21 00:59:43 +0200 | son0p | (~ff@186.114.32.184) |
| 2023-09-21 01:02:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-21 01:07:15 +0200 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2023-09-21 01:09:05 +0200 | Lears | (~Leary]@user/Leary/x-0910699) |
| 2023-09-21 01:09:51 +0200 | ell | (~ellie@user/ellie) |
| 2023-09-21 01:10:02 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (Ping timeout: 246 seconds) |
| 2023-09-21 01:10:40 +0200 | Square | (~Square@user/square) |
| 2023-09-21 01:17:29 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 2023-09-21 01:20:43 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 2023-09-21 01:21:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-21 01:21:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-21 01:21:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-21 01:21:35 +0200 | tzh | (~tzh@c-73-25-201-16.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-21 01:22:25 +0200 | tzh | (~tzh@c-73-25-201-16.hsd1.or.comcast.net) |
| 2023-09-21 01:24:49 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 2023-09-21 01:26:37 +0200 | <dsal> | I've got some code using impredicative types where I end up with a list of [(a, b)] where `b` has a `forall` and `a` is boring. If I try to extract a list of `a`, I get "Cannot instantiate unification variable." Is there a straightforward way to accomplish this? |
| 2023-09-21 01:27:37 +0200 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 2023-09-21 01:28:38 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 2023-09-21 01:29:20 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Read error: Connection reset by peer) |
| 2023-09-21 01:29:40 +0200 | talismanick | (~user@76.133.152.122) |
| 2023-09-21 01:31:44 +0200 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2023-09-21 01:33:55 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 2023-09-21 01:34:45 +0200 | ell | (~ellie@user/ellie) |
| 2023-09-21 01:35:21 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 2023-09-21 01:36:23 +0200 | <ph88> | geekosaur, can it determine automatically whether old-base needs to be set ? |
| 2023-09-21 01:37:37 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-21 01:37:50 +0200 | <geekosaur[c]> | Yes if the solver can't produce a plan in One direction it will flip the flag and try again |
| 2023-09-21 01:38:36 +0200 | bienjensu | (~user@user/bienjensu) |
| 2023-09-21 01:39:25 +0200 | <geekosaur> | (that's what `manual: False` is for) |
| 2023-09-21 01:40:41 +0200 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2023-09-21 01:43:40 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::43d) (Ping timeout: 258 seconds) |
| 2023-09-21 01:45:05 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) |
| 2023-09-21 01:45:34 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 2023-09-21 01:45:40 +0200 | ell | (~ellie@user/ellie) |
| 2023-09-21 01:47:31 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 2023-09-21 01:48:38 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 258 seconds) |
| 2023-09-21 01:52:02 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-21 01:57:53 +0200 | <ph88> | interesting approach |
| 2023-09-21 01:58:06 +0200 | <Square> | I'm a bit surprised Haskell doesn't have a bigger market shares. Such a delight to use. |
| 2023-09-21 01:58:20 +0200 | <ph88> | Square, we just got you on board so it worked ;) |
| 2023-09-21 01:59:01 +0200 | <Square> | I've been around for years actually. But yeah, lured me in. |
| 2023-09-21 02:00:22 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2023-09-21 02:00:28 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::43d) |
| 2023-09-21 02:01:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:eab7:30b3:9805:b55b) (Ping timeout: 248 seconds) |
| 2023-09-21 02:01:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-21 02:04:32 +0200 | xff0x | (~xff0x@2405:6580:b080:900:47b:b9cb:7202:50e2) |
| 2023-09-21 02:05:02 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-09-21 02:05:43 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::43d) (Ping timeout: 264 seconds) |
| 2023-09-21 02:05:57 +0200 | Square3 | (~Square4@user/square) |
| 2023-09-21 02:06:06 +0200 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2023-09-21 02:06:36 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 2023-09-21 02:07:39 +0200 | ell | (~ellie@user/ellie) |
| 2023-09-21 02:10:43 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 2023-09-21 02:13:24 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 2023-09-21 02:17:52 +0200 | JeremyB99 | (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Ping timeout: 260 seconds) |
| 2023-09-21 02:19:07 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 02:20:26 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::43d) |
| 2023-09-21 02:21:13 +0200 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 2023-09-21 02:21:18 +0200 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2023-09-21 02:21:53 +0200 | ell | (~ellie@user/ellie) |
| 2023-09-21 02:23:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-21 02:23:37 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2023-09-21 02:28:29 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-09-21 02:32:06 +0200 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 252 seconds) |
| 2023-09-21 02:32:22 +0200 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-09-21 02:34:25 +0200 | hyiltiz2 | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 02:36:39 +0200 | hyiltiz | (~hyiltiz@2620:149:13d1:100::43d) (Ping timeout: 246 seconds) |
| 2023-09-21 02:40:35 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Quit: Leaving) |
| 2023-09-21 02:43:05 +0200 | slack1256 | (~slack1256@191.125.144.122) (Read error: Connection reset by peer) |
| 2023-09-21 02:46:49 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-21 02:47:25 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-09-21 02:52:27 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Read error: Connection reset by peer) |
| 2023-09-21 02:53:02 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2023-09-21 03:01:47 +0200 | <monochrom> | Haskell doesn't nerd-snipe programmers like C++ does. (It nerd-snipes some other kind of talents.) |
| 2023-09-21 03:02:16 +0200 | <monochrom> | Haskell doesn't kiss up to the majority like Python does. |
| 2023-09-21 03:02:45 +0200 | <monochrom> | Haskell doesn't have massive markettng money like Java or C# does. |
| 2023-09-21 03:23:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-21 03:26:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-21 03:26:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-21 03:26:04 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-21 03:29:37 +0200 | libertyprime | (~libertypr@125-237-102-54-adsl.sparkbb.co.nz) |
| 2023-09-21 03:30:12 +0200 | hyiltiz2 | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-09-21 03:35:45 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-21 03:36:30 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
| 2023-09-21 03:36:41 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2023-09-21 03:37:00 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-21 03:46:21 +0200 | otto_s | (~user@p5de2f825.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-09-21 03:48:09 +0200 | otto_s | (~user@p5b044509.dip0.t-ipconnect.de) |
| 2023-09-21 03:54:31 +0200 | <jackdk> | dsal: can you cook up some custom pairlike structure to put the forall somewhere that GHC doesn't complain? |
| 2023-09-21 03:56:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 04:01:31 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-09-21 04:01:40 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-09-21 04:03:04 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-21 04:06:25 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 04:06:36 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-21 04:08:12 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 04:08:56 +0200 | libertyprime | (~libertypr@125-237-102-54-adsl.sparkbb.co.nz) (Ping timeout: 258 seconds) |
| 2023-09-21 04:10:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:47b:b9cb:7202:50e2) (Ping timeout: 260 seconds) |
| 2023-09-21 04:11:02 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-09-21 04:11:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-09-21 04:15:42 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-09-21 04:17:41 +0200 | td_ | (~td@i53870932.versanet.de) (Ping timeout: 244 seconds) |
| 2023-09-21 04:18:59 +0200 | <dsal> | Hmm. Maybe. I barely understand all the implications of impredicative types. I wouldn’t expect it to care about ‘b’ at all. |
| 2023-09-21 04:19:22 +0200 | td_ | (~td@i5387091A.versanet.de) |
| 2023-09-21 04:19:43 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-21 04:20:18 +0200 | <dsal> | The hard parts of my code work, but the part where I tried to write a test that asserted there wasn’t a duplicate ‘a’ in that list seems impossibly hard. Heh |
| 2023-09-21 04:21:30 +0200 | libertyprime | (~libertypr@210.55.232.12) |
| 2023-09-21 04:22:31 +0200 | <dsal> | ‘a’ is ‘Text’ here. I’m using this as a namespaces dispatch. Someone is asking me what the performance implication is. I’d imagine it’s negligible. i.e. instead of calling a function, it now looks a function up in a map. But I wouldn’t expect that call to be more expensive. |
| 2023-09-21 04:23:30 +0200 | <dsal> | I possibly don’t need impredicative types, but all the signatures look a lot worse otherwise |
| 2023-09-21 04:24:26 +0200 | <jackdk> | would DSums be easier than foralls? You could then compute the text from your tag type too, if the set of namespaces is manageably finite. |
| 2023-09-21 04:25:08 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-09-21 04:25:09 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-21 04:25:09 +0200 | finn_elija | FinnElija |
| 2023-09-21 04:29:21 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-21 04:31:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-09-21 04:32:52 +0200 | <dsal> | I’m not familiar. The set will always be pretty small. I’m still waiting for more specific pushback. :) |
| 2023-09-21 04:38:18 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 04:39:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f8be:f518:9050:8a06) (Remote host closed the connection) |
| 2023-09-21 04:39:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f8be:f518:9050:8a06) |
| 2023-09-21 04:41:22 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-09-21 04:42:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-21 04:43:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2023-09-21 04:45:21 +0200 | libertyprime | (~libertypr@210.55.232.12) (Ping timeout: 258 seconds) |
| 2023-09-21 04:45:30 +0200 | <jackdk> | can you give me a concrete type signature for your list, to play with? |
| 2023-09-21 04:56:40 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-09-21 05:08:07 +0200 | <EvanR> | dsal, that's annoying because it goes against the idea of snd :: forall a b . (a, b) -> b being serious about forall a |
| 2023-09-21 05:08:22 +0200 | hueso | (~root@user/hueso) (Ping timeout: 258 seconds) |
| 2023-09-21 05:08:31 +0200 | <EvanR> | if a can't be an impredicative type... I want my money back |
| 2023-09-21 05:08:43 +0200 | hueso | (~root@user/hueso) |
| 2023-09-21 05:09:54 +0200 | mysl_ | (~mysl@user/mysl) |
| 2023-09-21 05:13:57 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 255 seconds) |
| 2023-09-21 05:16:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-09-21 05:17:13 +0200 | <Lears> | % :t map fst :: [forall b. (a, b)] -> [a] |
| 2023-09-21 05:17:14 +0200 | <yahb2> | <interactive>:1:1: error: ; • Couldn't match type: (a, b0) ; with: forall b. (a, b) ; Expected: [forall b. (a, b)] -> [a] ; Actual: [(a, b0)] -> [a] ; • I... |
| 2023-09-21 05:17:21 +0200 | <Lears> | % :t map (\t -> fst t) :: [forall b. (a, b)] -> [a] |
| 2023-09-21 05:17:21 +0200 | <yahb2> | map (\t -> fst t) :: [forall b. (a, b)] -> [a] ; :: [forall b. (a, b)] -> [a] |
| 2023-09-21 05:17:32 +0200 | <Lears> | dsal: Have you tried eta expanding? |
| 2023-09-21 05:30:35 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 2023-09-21 05:38:42 +0200 | <dsal> | Lears: I never think to try that, but that might be the thing that’s confusing me. I’ll try that later once my dog finishes walking me. Thanks. |
| 2023-09-21 05:40:30 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 2023-09-21 05:40:40 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-09-21 05:41:18 +0200 | <dsal> | EvanR: yeah, my mental model is feeling a little violated |
| 2023-09-21 05:41:43 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-21 05:43:32 +0200 | <EvanR> | formany a . |
| 2023-09-21 05:43:58 +0200 | <EvanR> | forquitealotbutperhapsnotall a. |
| 2023-09-21 05:48:34 +0200 | <Lears> | Well, `(a, b0)` and `forall b. (a, b)` really are different types; the latter really doesn't unify with the argument to `fst`. You need to give ghc a chance to supply that type argument, or supply it yourself. |
| 2023-09-21 05:48:41 +0200 | <Lears> | % :t map (\t -> fst (t @())) :: [forall b. (a, b)] -> [a] |
| 2023-09-21 05:48:41 +0200 | <yahb2> | map (\t -> fst (t @())) :: [forall b. (a, b)] -> [a] ; :: [forall b. (a, b)] -> [a] |
| 2023-09-21 05:49:18 +0200 | <Lears> | With the DeepSubsumption of the old days, GHC simply did this eta expansion automatically on your behalf. |
| 2023-09-21 05:57:54 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf3:1100:cc54:3ca5:e7eb:bd95) |
| 2023-09-21 05:58:13 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 05:58:23 +0200 | <EvanR> | oh... |
| 2023-09-21 05:58:35 +0200 | aforemny | (~aforemny@2001:9e8:6ccc:2c00:fe43:b3bc:2962:c2c4) (Ping timeout: 240 seconds) |
| 2023-09-21 05:59:21 +0200 | <EvanR> | so current ImpredicativeTypes is more principled |
| 2023-09-21 06:00:25 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 06:04:33 +0200 | haritz | (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 2023-09-21 06:05:05 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-09-21 06:07:20 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 06:08:18 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-21 06:13:05 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-09-21 06:14:37 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-21 06:17:37 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 2023-09-21 06:20:01 +0200 | mysl_ | mysl |
| 2023-09-21 06:20:30 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-09-21 06:23:22 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-21 06:24:05 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-09-21 06:31:17 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-21 06:32:02 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-09-21 06:32:32 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-21 06:33:10 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (Ping timeout: 255 seconds) |
| 2023-09-21 06:33:14 +0200 | anderson_ | (~anderson@user/anderson) |
| 2023-09-21 06:34:20 +0200 | davean | (~davean@davean.sciesnet.net) (Ping timeout: 248 seconds) |
| 2023-09-21 06:34:37 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-21 06:35:45 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2023-09-21 06:36:32 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-09-21 06:37:06 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-21 06:37:38 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2023-09-21 06:44:27 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-09-21 06:49:48 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 2023-09-21 06:51:34 +0200 | acidjnk | (~acidjnk@p200300d6e7072f687c874e90e36248c8.dip0.t-ipconnect.de) |
| 2023-09-21 06:51:48 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-09-21 07:01:42 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-09-21 07:10:55 +0200 | <dsal> | eta expansion did the trick |
| 2023-09-21 07:18:06 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-21 07:25:19 +0200 | <dsal> | hlint is mad at me for not using fst |
| 2023-09-21 07:31:31 +0200 | <monochrom> | hlint has not been updated for quick-look impredicativity, to say the least. |
| 2023-09-21 07:32:18 +0200 | <monochrom> | Generally its default settings reflect author's personal strong opinion rather than community consensus. |
| 2023-09-21 07:33:48 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-21 07:37:40 +0200 | <remexre> | This is kinda weird, but my ghcup-installed GHC on FreeBSD seems to have started to invoke the linker sufficiently strangely to get "ld.lld: error: unable to find library -lc" (and similar for lm, lrt, ldl, lpthread) on hello world |
| 2023-09-21 07:39:20 +0200 | CiaoSen | (~Jura@2a05:5800:296:1300:664b:f0ff:fe37:9ef) |
| 2023-09-21 07:40:08 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-21 07:45:07 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-09-21 07:48:59 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 07:53:57 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2023-09-21 08:01:50 +0200 | <haskellbridge> | <maerwald> There's a config file somewhere in the GHC directory where linker is hardcoded |
| 2023-09-21 08:01:56 +0200 | <haskellbridge> | <maerwald> Maybe look for it |
| 2023-09-21 08:03:30 +0200 | <monochrom> | <GHCUP dir>/ghc/<version>/lib/ghc-<version>/settings |
| 2023-09-21 08:04:47 +0200 | <remexre> | ah, excellent, that seems to work |
| 2023-09-21 08:07:52 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2023-09-21 08:08:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-21 08:08:28 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-21 08:09:11 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2023-09-21 08:09:26 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-21 08:10:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-21 08:11:30 +0200 | privacy | (~privacy@47.219.84.6) (Remote host closed the connection) |
| 2023-09-21 08:11:44 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-09-21 08:13:27 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-09-21 08:18:32 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds) |
| 2023-09-21 08:22:28 +0200 | dcoutts_ | (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) |
| 2023-09-21 08:25:10 +0200 | ubert | (~Thunderbi@77.119.223.203.wireless.dyn.drei.com) |
| 2023-09-21 08:28:07 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-21 08:30:39 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:c923:2296:5b4a:ca69) |
| 2023-09-21 08:32:06 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 08:32:14 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e04a:aac3:8d76:a5b7) |
| 2023-09-21 08:32:22 +0200 | lottaquestions | (~nick@2607:fa49:503d:b200:c12f:231b:a760:9783) (Ping timeout: 260 seconds) |
| 2023-09-21 08:35:07 +0200 | raym | (~ray@user/raym) (Ping timeout: 255 seconds) |
| 2023-09-21 08:36:10 +0200 | mmhat | (~mmh@p200300f1c70f8486ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-21 08:36:36 +0200 | mmhat | (~mmh@p200300f1c70f8486ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-09-21 08:36:36 +0200 | jackneill__ | (~Jackneill@20014C4E1E062E00E2330F8EE5718FB1.dsl.pool.telekom.hu) |
| 2023-09-21 08:38:12 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-09-21 08:39:11 +0200 | doyougnu | (~doyougnu@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-21 08:39:54 +0200 | hololeap | (~quassel@user/hololeap) (Remote host closed the connection) |
| 2023-09-21 08:41:08 +0200 | hololeap | (~quassel@user/hololeap) |
| 2023-09-21 08:41:29 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-09-21 08:47:16 +0200 | marienz | (~marienz@libera/staff/marienz) (Ping timeout: 624 seconds) |
| 2023-09-21 08:48:43 +0200 | marienz | (~marienz@libera/staff/marienz) |
| 2023-09-21 08:48:57 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-09-21 08:50:08 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-21 08:54:52 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-21 08:59:45 +0200 | comerijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 09:02:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-21 09:03:55 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2023-09-21 09:09:49 +0200 | bilegeek | (~bilegeek@2600:1008:b09a:4882:14a9:f9e8:b493:eac1) |
| 2023-09-21 09:12:43 +0200 | <Inst> | hmmm, weird |
| 2023-09-21 09:13:28 +0200 | tzh | (~tzh@c-73-25-201-16.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-09-21 09:14:11 +0200 | vpan | (~vpan@212.117.1.172) |
| 2023-09-21 09:14:43 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-21 09:17:23 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-21 09:18:05 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-09-21 09:26:08 +0200 | aforemny_ | aforemny |
| 2023-09-21 09:27:53 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Ping timeout: 258 seconds) |
| 2023-09-21 09:30:09 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-09-21 09:32:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e04a:aac3:8d76:a5b7) (Quit: WeeChat 2.8) |
| 2023-09-21 09:32:47 +0200 | son0p | (~ff@186.114.32.184) (Read error: Connection reset by peer) |
| 2023-09-21 09:33:37 +0200 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
| 2023-09-21 09:34:55 +0200 | comerijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-09-21 09:35:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e04a:aac3:8d76:a5b7) |
| 2023-09-21 09:38:07 +0200 | dcoutts_ | (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) (Ping timeout: 264 seconds) |
| 2023-09-21 09:40:21 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:f184:4168:559b:d91b) |
| 2023-09-21 09:44:54 +0200 | danza | (~francesco@rm-19-12-96.service.infuturo.it) |
| 2023-09-21 09:48:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-21 09:56:11 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-21 09:57:25 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-09-21 09:57:50 +0200 | danza | (~francesco@rm-19-12-96.service.infuturo.it) (Ping timeout: 246 seconds) |
| 2023-09-21 10:00:50 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-09-21 10:02:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f8be:f518:9050:8a06) (Remote host closed the connection) |
| 2023-09-21 10:02:44 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-21 10:09:49 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-21 10:14:29 +0200 | danza | (~francesco@rm-19-12-96.service.infuturo.it) |
| 2023-09-21 10:19:13 +0200 | danza | (~francesco@rm-19-12-96.service.infuturo.it) (Ping timeout: 252 seconds) |
| 2023-09-21 10:25:19 +0200 | kn07_ | (~kn07@91.237.93.1) |
| 2023-09-21 10:25:29 +0200 | <kn07_> | hello. Did anyone used yesod? |
| 2023-09-21 10:28:07 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-21 10:28:10 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) |
| 2023-09-21 10:28:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ad5e:c040:f132:72cb) |
| 2023-09-21 10:33:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ad5e:c040:f132:72cb) (Ping timeout: 258 seconds) |
| 2023-09-21 10:35:04 +0200 | dcoutts_ | (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) |
| 2023-09-21 10:37:18 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-21 10:47:16 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-21 10:48:33 +0200 | chele | (~chele@user/chele) |
| 2023-09-21 10:50:30 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-21 10:51:00 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 10:53:52 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-21 10:54:56 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-21 10:55:52 +0200 | <haskellbridge> | <sm> yes |
| 2023-09-21 10:56:39 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-21 10:57:03 +0200 | danse-nr3_ | (~francesco@rm-19-12-155.service.infuturo.it) |
| 2023-09-21 11:00:51 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2023-09-21 11:04:38 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-21 11:05:48 +0200 | kn07_ | (~kn07@91.237.93.1) (Ping timeout: 252 seconds) |
| 2023-09-21 11:10:29 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-09-21 11:14:38 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-09-21 11:15:30 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-09-21 11:19:14 +0200 | monochrom | (~trebla@216.138.220.146) (Quit: Leaving) |
| 2023-09-21 11:20:17 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-21 11:26:23 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-21 11:36:40 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-21 11:40:58 +0200 | <Clint> | yup |
| 2023-09-21 11:51:44 +0200 | raym | (~ray@user/raym) |
| 2023-09-21 11:57:19 +0200 | talismanick | (~user@76.133.152.122) (Ping timeout: 264 seconds) |
| 2023-09-21 12:01:44 +0200 | CiaoSen | (~Jura@2a05:5800:296:1300:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-09-21 12:02:10 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-21 12:05:17 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-09-21 12:06:39 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2023-09-21 12:07:04 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-21 12:09:08 +0200 | kn07_ | (~kn07@91.237.93.1) |
| 2023-09-21 12:17:05 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 2023-09-21 12:19:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-21 12:21:21 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-21 12:25:16 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-09-21 12:27:21 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2023-09-21 12:30:50 +0200 | Inst_ | (~Inst@120.244.192.250) |
| 2023-09-21 12:31:48 +0200 | kn07_ | (~kn07@91.237.93.1) (Ping timeout: 240 seconds) |
| 2023-09-21 12:32:42 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 260 seconds) |
| 2023-09-21 12:33:17 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-21 12:39:12 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2023-09-21 12:39:13 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2023-09-21 12:39:13 +0200 | haritz | (~hrtz@user/haritz) |
| 2023-09-21 12:39:16 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 12:39:27 +0200 | bilegeek | (~bilegeek@2600:1008:b09a:4882:14a9:f9e8:b493:eac1) (Quit: Leaving) |
| 2023-09-21 12:48:26 +0200 | kn07_ | (~kn07@91.237.93.1) |
| 2023-09-21 12:53:24 +0200 | kn07_ | (~kn07@91.237.93.1) (Ping timeout: 255 seconds) |
| 2023-09-21 13:01:48 +0200 | micro | (~micro@user/micro) (Ping timeout: 240 seconds) |
| 2023-09-21 13:02:11 +0200 | micro | (~micro@user/micro) |
| 2023-09-21 13:03:14 +0200 | dsrt^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-09-21 13:04:39 +0200 | kn07_ | (~kn07@91.237.93.1) |
| 2023-09-21 13:08:24 +0200 | micro | (~micro@user/micro) (Ping timeout: 245 seconds) |
| 2023-09-21 13:08:57 +0200 | micro | (~micro@user/micro) |
| 2023-09-21 13:10:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7a46:13e1:bddb:2397) |
| 2023-09-21 13:11:58 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-21 13:13:39 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2023-09-21 13:14:39 +0200 | kn07_ | (~kn07@91.237.93.1) (Ping timeout: 245 seconds) |
| 2023-09-21 13:16:19 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-09-21 13:19:26 +0200 | CiaoSen | (~Jura@2a05:5800:296:1300:664b:f0ff:fe37:9ef) |
| 2023-09-21 13:22:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) |
| 2023-09-21 13:27:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-21 13:28:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-21 13:28:58 +0200 | qqq | (~qqq@92.43.167.61) (Ping timeout: 244 seconds) |
| 2023-09-21 13:38:07 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-21 13:42:03 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-09-21 13:43:52 +0200 | Inst_ | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-21 13:44:11 +0200 | Inst_ | (~Inst@120.244.192.250) |
| 2023-09-21 13:44:48 +0200 | kn07_ | (~kn07@91.237.93.1) |
| 2023-09-21 13:47:35 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 240 seconds) |
| 2023-09-21 13:48:00 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-09-21 13:48:43 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-21 13:49:53 +0200 | kn07_ | (~kn07@91.237.93.1) (Ping timeout: 246 seconds) |
| 2023-09-21 13:50:15 +0200 | danse-nr3_ | (~francesco@rm-19-12-155.service.infuturo.it) (Ping timeout: 240 seconds) |
| 2023-09-21 13:50:17 +0200 | privacy | (~privacy@47.219.84.6) |
| 2023-09-21 13:51:27 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 13:52:14 +0200 | Inst_ | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-21 13:53:34 +0200 | Inst_ | (~Inst@120.244.192.250) |
| 2023-09-21 13:55:48 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-21 14:03:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-21 14:08:43 +0200 | bienjensu | (~user@user/bienjensu) (Ping timeout: 264 seconds) |
| 2023-09-21 14:09:47 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-21 14:14:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-09-21 14:15:24 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-09-21 14:18:26 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 258 seconds) |
| 2023-09-21 14:21:22 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 14:35:13 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-21 14:36:30 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-21 14:39:07 +0200 | danse-nr3 | (~francesco@rm-19-12-155.service.infuturo.it) |
| 2023-09-21 14:44:08 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) (Ping timeout: 258 seconds) |
| 2023-09-21 14:53:07 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 264 seconds) |
| 2023-09-21 14:55:30 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-21 14:55:43 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-21 14:56:24 +0200 | danse-nr3 | (~francesco@rm-19-12-155.service.infuturo.it) (Read error: Connection reset by peer) |
| 2023-09-21 14:56:49 +0200 | danse-nr3 | (~francesco@151.47.7.212) |
| 2023-09-21 14:58:27 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-21 15:02:21 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-21 15:09:42 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-21 15:14:04 +0200 | <Inst_> | did FP complete totally ditch Haskell? :( |
| 2023-09-21 15:14:11 +0200 | <Inst_> | https://www.fpcomplete.com/our-technology/ |
| 2023-09-21 15:17:58 +0200 | <leah2> | rust is the new fp apparently :p |
| 2023-09-21 15:21:54 +0200 | <leah2> | their github repos have some commits lately |
| 2023-09-21 15:25:23 +0200 | Inst_ | Inst |
| 2023-09-21 15:25:25 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) |
| 2023-09-21 15:26:01 +0200 | <carter> | sounds like they pivoted to general consulting biz |
| 2023-09-21 15:26:03 +0200 | <carter> | larger market |
| 2023-09-21 15:26:08 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-09-21 15:28:23 +0200 | ystael | (~ystael@user/ystael) |
| 2023-09-21 15:29:07 +0200 | <Inst> | i heard FP complete gave up stack |
| 2023-09-21 15:29:11 +0200 | <Inst> | to Haskell Foundation |
| 2023-09-21 15:29:14 +0200 | <Inst> | erm, stackage |
| 2023-09-21 15:31:29 +0200 | bontaq | (~user@ool-45707d2c.dyn.optonline.net) |
| 2023-09-21 15:35:15 +0200 | <danse-nr3> | impressive, they did invest in haskell a lot in the past |
| 2023-09-21 15:36:05 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 240 seconds) |
| 2023-09-21 15:36:35 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 15:38:56 +0200 | tremon | (~tremon@83.80.159.219) |
| 2023-09-21 15:39:17 +0200 | stef204 | (~stef204@user/stef204) |
| 2023-09-21 15:41:07 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-09-21 15:42:00 +0200 | CiaoSen | (~Jura@2a05:5800:296:1300:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 2023-09-21 15:43:28 +0200 | kn07_ | (~kn07@91.237.93.1) |
| 2023-09-21 15:45:20 +0200 | billchenchina | (~billchenc@117.136.74.143) |
| 2023-09-21 15:49:35 +0200 | kn07_ | (~kn07@91.237.93.1) (Ping timeout: 240 seconds) |
| 2023-09-21 15:50:42 +0200 | kn07_ | (~kn07@91.237.93.1) |
| 2023-09-21 15:55:11 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 244 seconds) |
| 2023-09-21 15:55:39 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-21 15:56:39 +0200 | malte | (~malte@mal.tc) |
| 2023-09-21 15:58:59 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-21 15:59:26 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-21 16:00:24 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 16:01:42 +0200 | kn07_ | (~kn07@91.237.93.1) (Ping timeout: 252 seconds) |
| 2023-09-21 16:03:56 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.0.4) |
| 2023-09-21 16:04:52 +0200 | kn07_ | (~kn07@91.237.93.1) |
| 2023-09-21 16:05:11 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-09-21 16:07:27 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-21 16:07:30 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-21 16:12:13 +0200 | <geekosaur> | my understanding is they passed on only the hardware parts, the stackage crew are still there |
| 2023-09-21 16:12:26 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 16:13:01 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2023-09-21 16:13:21 +0200 | <haskellbridge> | <tewuzij> Am I the omly active non-IRC member here? |
| 2023-09-21 16:13:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2023-09-21 16:13:50 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-21 16:14:08 +0200 | <geekosaur> | no, jean-paul. and a few others use it. I think a lot of people just haven't found #haskell-irc:matrix.org yet, or think it doesn't work because the EMS bridge is still down |
| 2023-09-21 16:15:05 +0200 | kn07_ | (~kn07@91.237.93.1) (Ping timeout: 255 seconds) |
| 2023-09-21 16:15:33 +0200 | <haskellbridge> | <jean-paul.> I like that the bridge is here but it is a bit less fun to use when the majority of folks are on the other side :/ |
| 2023-09-21 16:15:47 +0200 | <haskellbridge> | <sm> I watch it, when my IRC client has been disconnected. It's useful but not as pleasant as the old bridge (when it worked) |
| 2023-09-21 16:16:26 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-09-21 16:16:42 +0200 | kn07_ | (~kn07@91.237.93.1) |
| 2023-09-21 16:17:09 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-09-21 16:17:27 +0200 | lex_ | (~alex@188.26.233.194) |
| 2023-09-21 16:18:24 +0200 | <haskellbridge> | <jade> hi |
| 2023-09-21 16:18:44 +0200 | <haskellbridge> | <jade> just a lot less active than I used to be because work :) |
| 2023-09-21 16:20:09 +0200 | <haskellbridge> | <sm> there appears to be ~300 matrix and ~600 libera users right now. Matrix users chat here less often, perhaps because they have a more comfortable pure-matrix Haskell room next door with ~2600 users (!) |
| 2023-09-21 16:20:25 +0200 | <haskellbridge> | <sm> hard to know how accurate those numbers are |
| 2023-09-21 16:22:29 +0200 | <haskellbridge> | <sm> the fragmentation/complectification of chat windows creates more chat-suppressing friction, also |
| 2023-09-21 16:23:54 +0200 | billchenchina | (~billchenc@117.136.74.143) (Quit: Leaving) |
| 2023-09-21 16:25:25 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 2023-09-21 16:35:23 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-21 16:38:57 +0200 | <danse-nr3> | there is not much traffic here, arguably it would make sense to bridge directly to Haskell rather than #haskell-irc, even if we miss some stickers, reactions or other stuff. I am fine with keeping as-is anyways |
| 2023-09-21 16:40:38 +0200 | <danse-nr3> | from the viewpoint of a newcomer that finds matrix cooler or just easier, there aren't many reasons to get to #haskell-irc i guess |
| 2023-09-21 16:41:18 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 16:43:31 +0200 | kn07_ | (~kn07@91.237.93.1) (Ping timeout: 264 seconds) |
| 2023-09-21 16:46:38 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-09-21 16:47:50 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f687c874e90e36248c8.dip0.t-ipconnect.de) |
| 2023-09-21 16:48:08 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-21 16:48:32 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 16:50:04 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-09-21 16:50:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f687c874e90e36248c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-21 16:53:18 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-09-21 16:53:43 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-21 16:56:57 +0200 | danse-nr3 | (~francesco@151.47.7.212) (Ping timeout: 260 seconds) |
| 2023-09-21 16:59:05 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-21 16:59:41 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 17:00:04 +0200 | malte | (~malte@mal.tc) |
| 2023-09-21 17:05:35 +0200 | <EvanR> | welcome to the freenodealyptic afterscape |
| 2023-09-21 17:06:33 +0200 | <yushyin> | :-| |
| 2023-09-21 17:06:43 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2023-09-21 17:07:45 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 17:09:24 +0200 | <EvanR> | it seems most people went to the next world (matrix), 2600 users?? |
| 2023-09-21 17:10:53 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2023-09-21 17:11:05 +0200 | <yushyin> | don't take this number too seriously, anyone who has joined this room even once and has not intentionally left counts |
| 2023-09-21 17:11:53 +0200 | lex_ | (~alex@188.26.233.194) (Remote host closed the connection) |
| 2023-09-21 17:12:18 +0200 | <haskellbridge> | <sm> is that still true now that the portal bridge is gone ? maybe |
| 2023-09-21 17:12:42 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-09-21 17:12:56 +0200 | <haskellbridge> | <sm> if they're matrix users and they haven't left, I think that means they're in the room |
| 2023-09-21 17:13:49 +0200 | <haskellbridge> | <sm> how many eyeballs 👀 see this message within 24 hours is another question |
| 2023-09-21 17:15:32 +0200 | <haskellbridge> | <jean-paul.> Scrolling back 24 hours ... I do not see a lot of read notifications. Few than 10, I think |
| 2023-09-21 17:15:55 +0200 | <haskellbridge> | <jean-paul.> (thanks for making me do a manual count, element) |
| 2023-09-21 17:16:12 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-09-21 17:16:23 +0200 | <haskellbridge> | <sm> IIRC the Haskell room had a fairly large count before the bridgalypse also; don't know if it changed |
| 2023-09-21 17:16:55 +0200 | <haskellbridge> | <jean-paul.> (That count was for this room, just to be clear) |
| 2023-09-21 17:18:17 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-09-21 17:19:43 +0200 | <geekosaur> | we had only ~750 iirc |
| 2023-09-21 17:19:54 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 17:19:57 +0200 | <geekosaur> | we lost a lot of people with the freenodealypse and never recovered |
| 2023-09-21 17:20:51 +0200 | <geekosaur> | also the matrix room had that many users before the bridge dropped |
| 2023-09-21 17:21:11 +0200 | <geekosaur> | I suspect most of that growth was during the freenode mess as well |
| 2023-09-21 17:21:30 +0200 | <geekosaur> | (I'm told the matrix room used to be bridged on freenode) |
| 2023-09-21 17:23:20 +0200 | kn07_ | (~kn07@91.237.93.1) |
| 2023-09-21 17:25:47 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-21 17:26:01 +0200 | tzh | (~tzh@c-73-25-201-16.hsd1.or.comcast.net) |
| 2023-09-21 17:27:03 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-09-21 17:27:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e04a:aac3:8d76:a5b7) (Quit: WeeChat 2.8) |
| 2023-09-21 17:27:40 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-21 17:27:46 +0200 | <ddellacosta> | where are folks going though? I don't see a ton of activity in the FP slack, and I'm not sure where else folks are chatting about Haskell. Discord? |
| 2023-09-21 17:28:17 +0200 | <geekosaur> | discord seems to be the new hotness in general |
| 2023-09-21 17:28:25 +0200 | <geekosaur> | (bleagh) |
| 2023-09-21 17:28:31 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-09-21 17:32:13 +0200 | danse-nr3 | (~francesco@151.47.7.212) |
| 2023-09-21 17:32:44 +0200 | <yushyin> | maybe people just chat less about haskell these days? |
| 2023-09-21 17:34:40 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 2023-09-21 17:36:17 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-09-21 17:39:54 +0200 | ubert | (~Thunderbi@77.119.223.203.wireless.dyn.drei.com) (Quit: ubert) |
| 2023-09-21 17:40:07 +0200 | <albet70> | does ST monad have monad transformer? |
| 2023-09-21 17:42:18 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-21 17:43:08 +0200 | <ncf> | what does that mean? |
| 2023-09-21 17:43:15 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-21 17:43:20 +0200 | <Inst> | i hang out on discord, it's not as active as it used to be |
| 2023-09-21 17:43:28 +0200 | <Inst> | might be a small seasonal drop in Haskell activity / interest |
| 2023-09-21 17:45:33 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-09-21 17:45:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-21 17:49:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) (Remote host closed the connection) |
| 2023-09-21 17:49:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) |
| 2023-09-21 17:50:56 +0200 | <geekosaur> | albet70, technically it could (unlike IO) but it doesn't. I think there might be a package with one |
| 2023-09-21 17:51:39 +0200 | <geekosaur> | https://hackage.haskell.org/package/STMonadTrans |
| 2023-09-21 17:51:49 +0200 | <danse-nr3> | even if there was (or is) a drop of interest in haskell, communication also depends on its opportunities to occurr, and fragmentation limits its meaninfulness. Having two rooms on matrix is not the best of accessibility, and as i said this channel is silent sometimes for whole days, so again maybe bridging to the main room on matrix would be sensible |
| 2023-09-21 17:52:19 +0200 | <geekosaur> | but the matrix folks prefer that the main room not be bridged to libera |
| 2023-09-21 17:52:41 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2023-09-21 17:53:26 +0200 | <erisco> | I think that means there were 1000 idlers who never noticed anyways |
| 2023-09-21 17:54:03 +0200 | jrm | (~jrm@user/jrm) |
| 2023-09-21 17:54:38 +0200 | <danse-nr3> | oh they want to keep it for themselves? Alright then |
| 2023-09-21 17:54:52 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-21 17:55:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-21 17:56:34 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-09-21 17:56:34 +0200 | <erisco> | If it isn't in square brackets and it doesn't star Keanu Reeves, it is no matrix to me. |
| 2023-09-21 17:56:50 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-09-21 17:57:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-21 17:59:52 +0200 | <danse-nr3> | yeah, makes me wonder whether the irc/matrix split does not also map a generational split, anyways if they did decide, it is not our problem i guess |
| 2023-09-21 18:02:13 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 18:03:37 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-21 18:04:45 +0200 | malte | (~malte@mal.tc) |
| 2023-09-21 18:09:16 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-09-21 18:12:54 +0200 | phma_ | (~phma@host-67-44-208-41.hnremote.net) |
| 2023-09-21 18:14:32 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-09-21 18:16:52 +0200 | phma | (phma@2001:5b0:211f:8718:5d9f:d28d:c834:ebef) (Ping timeout: 260 seconds) |
| 2023-09-21 18:17:15 +0200 | phma_ | phma |
| 2023-09-21 18:21:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) (Remote host closed the connection) |
| 2023-09-21 18:34:30 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-21 18:35:32 +0200 | shapr | (~user@2600:1700:c640:3100:5cbd:18d9:350a:daec) (Remote host closed the connection) |
| 2023-09-21 18:40:34 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-21 18:44:55 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-09-21 18:49:52 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-21 18:51:12 +0200 | smoothdev_ | (~smoothdev@2a01:e0a:279:fb20:4cf8:38ef:a356:a6a) |
| 2023-09-21 18:51:35 +0200 | smoothdev | (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 240 seconds) |
| 2023-09-21 18:51:35 +0200 | smoothdev_ | smoothdev |
| 2023-09-21 18:54:55 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) |
| 2023-09-21 18:56:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) (Remote host closed the connection) |
| 2023-09-21 18:56:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) |
| 2023-09-21 18:56:35 +0200 | danse-nr3_ | (~francesco@151.47.3.155) |
| 2023-09-21 18:57:04 +0200 | sabino | (~sabino@user/sabino) |
| 2023-09-21 18:57:17 +0200 | danse-nr3 | (~francesco@151.47.7.212) (Read error: Connection reset by peer) |
| 2023-09-21 19:00:36 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:31c:8400:f184:4168:559b:d91b) (Ping timeout: 240 seconds) |
| 2023-09-21 19:00:40 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-21 19:06:59 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-09-21 19:10:29 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 244 seconds) |
| 2023-09-21 19:10:55 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-09-21 19:12:15 +0200 | hyiltiz | (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-09-21 19:14:58 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-21 19:23:35 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-21 19:23:58 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Quit: Leaving) |
| 2023-09-21 19:24:18 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 2023-09-21 19:28:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) (Remote host closed the connection) |
| 2023-09-21 19:30:44 +0200 | hyiltiz | (~hyiltiz@17.104.43.91) |
| 2023-09-21 19:33:03 +0200 | stackdroid18 | (14094@de1.hashbang.sh) |
| 2023-09-21 19:33:44 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) (Ping timeout: 244 seconds) |
| 2023-09-21 19:44:42 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 2023-09-21 19:45:02 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-09-21 19:50:12 +0200 | Simikando | (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-09-21 19:50:52 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-21 19:51:12 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-09-21 19:51:52 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 20:00:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:182a:8598:da7e:1049) |
| 2023-09-21 20:00:49 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-21 20:02:40 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 244 seconds) |
| 2023-09-21 20:06:27 +0200 | kn07_ | (~kn07@91.237.93.1) (Ping timeout: 252 seconds) |
| 2023-09-21 20:13:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-21 20:19:33 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-09-21 20:25:58 +0200 | monochrom | (~trebla@216.138.220.146) |
| 2023-09-21 20:26:07 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2023-09-21 20:26:48 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) |
| 2023-09-21 20:27:18 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 2023-09-21 20:29:06 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-21 20:34:42 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-09-21 20:36:51 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-21 20:39:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-21 20:40:29 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-21 20:43:51 +0200 | dut | (~dut@user/dut) |
| 2023-09-21 20:44:03 +0200 | <carter> | I’ve come to appreciate the not centrally logged by default nature of irc |
| 2023-09-21 20:45:05 +0200 | danse-nr3_ | (~francesco@151.47.3.155) (Ping timeout: 240 seconds) |
| 2023-09-21 20:45:37 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-09-21 20:48:16 +0200 | <Clint> | as one should |
| 2023-09-21 20:50:25 +0200 | <exarkun> | unclear why the assumption of an open-access unencrypted forum would be that it is not being logged centrally. maybe what you mean is that you appreciate that there is not just _one_ central logger but many? :) |
| 2023-09-21 20:50:35 +0200 | jackneill__ | (~Jackneill@20014C4E1E062E00E2330F8EE5718FB1.dsl.pool.telekom.hu) (Ping timeout: 258 seconds) |
| 2023-09-21 20:50:40 +0200 | stackdroid18 | (14094@de1.hashbang.sh) (Quit: hasta la vista... tchau!) |
| 2023-09-21 20:53:11 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-09-21 20:54:14 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-21 20:54:46 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-09-21 20:55:26 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-21 20:56:02 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-09-21 20:56:56 +0200 | Inst | (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 2023-09-21 20:59:11 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-21 21:08:08 +0200 | <mauke> | plus #haskell has been centrally logged for years (decades?) |
| 2023-09-21 21:09:18 +0200 | <Clint> | i guess it's unclear what everyone means by "central" then |
| 2023-09-21 21:09:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-21 21:10:26 +0200 | <geekosaur> | don't confuse centrally and publicly |
| 2023-09-21 21:10:50 +0200 | <geekosaur> | irc doesn't have centralized logging. people however can and do log various channels publicly |
| 2023-09-21 21:11:23 +0200 | <geekosaur> | matrix does centralized logging but you can configure it so the logs are only visible to channel members, and channel membership can be restricted in various ways |
| 2023-09-21 21:11:29 +0200 | <exarkun> | That seems to be the distinction between "first party" and "third party", really. |
| 2023-09-21 21:12:17 +0200 | <exarkun> | (not sure whether there is a point to this hair-splitting though ... at the end of the day, you have no expectation of confidentiality regarding your IRC messages, for a variety of reasons) |
| 2023-09-21 21:12:19 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 2023-09-21 21:12:41 +0200 | <geekosaur> | agreed |
| 2023-09-21 21:13:13 +0200 | deriamis_ | (deriamis@50.34.50.53) (Quit: deriamis_) |
| 2023-09-21 21:23:52 +0200 | <probie> | The lack of central logging for IRC is a feature, not because of its privacy, but because there's no social expectation that I've read messages sent when I was offline |
| 2023-09-21 21:28:02 +0200 | <EvanR> | meanwhile linking to past discussions on ircbrowse.tomsmeding is really useful |
| 2023-09-21 21:28:22 +0200 | <geekosaur> | when you can find them at least |
| 2023-09-21 21:31:23 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-09-21 21:34:29 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-21 21:36:48 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-09-21 21:37:57 +0200 | malte | (~malte@mal.tc) |
| 2023-09-21 21:39:07 +0200 | dut | (~dut@user/dut) (Quit: Leaving) |
| 2023-09-21 21:42:43 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 21:44:12 +0200 | tzh | (~tzh@c-73-25-201-16.hsd1.or.comcast.net) (Ping timeout: 248 seconds) |
| 2023-09-21 21:47:17 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-21 21:51:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:845:3622:d368:bbd5) |
| 2023-09-21 21:55:46 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 258 seconds) |
| 2023-09-21 21:57:55 +0200 | deriamis | (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) |
| 2023-09-21 21:59:14 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) (Ping timeout: 245 seconds) |
| 2023-09-21 22:02:33 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-09-21 22:04:43 +0200 | <carter> | yeah |
| 2023-09-21 22:05:00 +0200 | <carter> | but also that its ok to ask again about something previously discussed |
| 2023-09-21 22:05:34 +0200 | <carter> | "go find the thing in the scroll back" is the worst indirect noun/pronoun ever, thingy is better |
| 2023-09-21 22:12:43 +0200 | <erisco> | so what do you all think of IRC logging |
| 2023-09-21 22:14:14 +0200 | <geekosaur> | anything I say on the net is public unless I'm using e2e |
| 2023-09-21 22:14:21 +0200 | <mauke> | better than IRC lagging |
| 2023-09-21 22:14:24 +0200 | <geekosaur> | safest assumption |
| 2023-09-21 22:15:10 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-21 22:15:42 +0200 | <exarkun> | can you answer again I was disconnected |
| 2023-09-21 22:20:19 +0200 | <monochrom> | OK-to-ask-again ≠ OK-to-repeat-answers |
| 2023-09-21 22:20:33 +0200 | <monochrom> | It is OK to ask again. Then it is also OK to link to existing answers. |
| 2023-09-21 22:21:34 +0200 | <monochrom> | OTOH I don't just tell people "just google it". I know that some hits are not what I would recommend. |
| 2023-09-21 22:23:00 +0200 | <monochrom> | But if there is one page or one log file where a "ctrl-f foo" gives a unique hit and it is what I have no trouble recommending, I won't be ashamed of saying that. |
| 2023-09-21 22:23:32 +0200 | <haskellbridge> | <jade> and even then it's not even a safe bet as long as a proprietary service is involved |
| 2023-09-21 22:24:03 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-21 22:24:27 +0200 | shane | (~shane@ana.rch.ist) (Ping timeout: 255 seconds) |
| 2023-09-21 22:25:30 +0200 | <monochrom> | The underlying principle is give-fish vs show-how-to-fish. |
| 2023-09-21 22:26:49 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-21 22:27:42 +0200 | <monochrom> | Actually, I lied. The secret underlying principle is Kolmogorov complexity! |
| 2023-09-21 22:28:13 +0200 | danza | (~francesco@151.47.3.155) |
| 2023-09-21 22:28:15 +0200 | <mauke> | > show fish |
| 2023-09-21 22:28:17 +0200 | <lambdabot> | "<))><" |
| 2023-09-21 22:28:49 +0200 | <haskellbridge> | <jade> very fish |
| 2023-09-21 22:28:56 +0200 | <monochrom> | Sometimes "it's <ghcup-dir>/ghc/<version>/lib/ghc-<version>/settings" is shorter than writing a human-readable algorithm that guides you to find it. (Like last night. :) ) |
| 2023-09-21 22:29:41 +0200 | <monochrom> | Some other times "this <url> then ctrl-f for <foo>" is shorter than writing that 10-line paragraph. |
| 2023-09-21 22:34:07 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 2023-09-21 22:34:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-21 22:45:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-09-21 22:46:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:845:3622:d368:bbd5) (Quit: WeeChat 2.8) |
| 2023-09-21 22:50:10 +0200 | darkstardevx | (~darkstard@50.53.47.146) |
| 2023-09-21 22:50:59 +0200 | darkstardevx | (~darkstard@50.53.47.146) (Remote host closed the connection) |
| 2023-09-21 22:51:25 +0200 | darkstardevx | (~darkstard@50.53.47.146) |
| 2023-09-21 22:52:49 +0200 | darkstardevx | (~darkstard@50.53.47.146) (Client Quit) |
| 2023-09-21 22:53:39 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) (Ping timeout: 252 seconds) |
| 2023-09-21 22:54:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-21 22:56:18 +0200 | shane | (~shane@ana.rch.ist) |
| 2023-09-21 22:56:40 +0200 | danza | (~francesco@151.47.3.155) (Read error: Connection reset by peer) |
| 2023-09-21 22:56:45 +0200 | danza_ | (~francesco@na-19-84-136.service.infuturo.it) |
| 2023-09-21 22:58:26 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-21 22:59:35 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-21 23:00:04 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-09-21 23:00:11 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-21 23:01:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-09-21 23:01:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-21 23:01:51 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-21 23:02:20 +0200 | danza_ | (~francesco@na-19-84-136.service.infuturo.it) (Remote host closed the connection) |
| 2023-09-21 23:02:43 +0200 | danza_ | (~francesco@na-19-84-136.service.infuturo.it) |
| 2023-09-21 23:04:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-09-21 23:04:37 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-09-21 23:05:20 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-09-21 23:07:56 +0200 | Friendship | (~Friendshi@181.230.235.244) (Changing host) |
| 2023-09-21 23:07:56 +0200 | Friendship | (~Friendshi@user/Friendship) |
| 2023-09-21 23:08:13 +0200 | Friendship | (~Friendshi@user/Friendship) (Quit: Leaving) |
| 2023-09-21 23:08:58 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-21 23:09:21 +0200 | califax | (~califax@user/califx) |
| 2023-09-21 23:10:06 +0200 | Friendship | (~Friendshi@user/Friendship) |
| 2023-09-21 23:11:14 +0200 | Friendship | (~Friendshi@user/Friendship) (Max SendQ exceeded) |
| 2023-09-21 23:11:58 +0200 | Friendship | (~Friendshi@user/Friendship) |
| 2023-09-21 23:13:58 +0200 | troydm1 | (~troydm@host-176-37-53-238.b025.la.net.ua) |
| 2023-09-21 23:14:04 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) |
| 2023-09-21 23:15:38 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-09-21 23:15:51 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 240 seconds) |
| 2023-09-21 23:15:54 +0200 | hyiltiz | (~hyiltiz@17.104.43.91) (Ping timeout: 245 seconds) |
| 2023-09-21 23:31:14 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-21 23:32:46 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) |
| 2023-09-21 23:33:28 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-21 23:36:42 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2023-09-21 23:37:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f687c874e90e36248c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-21 23:37:42 +0200 | danza_ | (~francesco@na-19-84-136.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2023-09-21 23:46:17 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-09-21 23:46:18 +0200 | cole-k | (~cole@128.54.36.179) |
| 2023-09-21 23:46:33 +0200 | <cole-k> | I'm trying to build an old project using cabal with GHC 8.10.7 on Apple silicon and I'm getting a syntax error from the LLVM Optimiser regarding the `opt -passname` flag. It seems like GHC 8 expects LLVM 9 and I'm on LLVM 16 - do I just need to install the old version of LLVM? |
| 2023-09-21 23:47:20 +0200 | <geekosaur> | yes |
| 2023-09-21 23:47:47 +0200 | <geekosaur> | ghc kinda breaks the rules with its use of llvm and that means it has really tight dependencies for things to work right |
| 2023-09-21 23:47:50 +0200 | Alleria | (~JohnGalt@user/alleria) |
| 2023-09-21 23:48:00 +0200 | <cole-k> | This might not be the place to ask, but is there a recommended way to do this so that I can switch back to 16 for compiling regular stuff? |
| 2023-09-21 23:48:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-21 23:50:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-09-21 23:50:31 +0200 | <geekosaur> | most stuff will use apple's llvm. generally you would use brew or macports to install an appropriate llvm, and similarly you can use them to switch which one is default (but again, most things will use apple's because apple's toolchain doesn't know about either brew or macports) |
| 2023-09-21 23:52:17 +0200 | <cole-k> | got it, thanks for that. I didn't know compiling stuff would be such a headache... So far the biggest annoyance has been that the projects depends on the GHC API which it seems has breaking changes all the time :/ |
| 2023-09-21 23:52:37 +0200 | <geekosaur> | yes, it doesn't even pretend to be stable |
| 2023-09-21 23:52:59 +0200 | <geekosaur> | there's a little work in current ghc to try to change that, but it hasn't gotten very far as yet |
| 2023-09-21 23:53:07 +0200 | Alleria | (~JohnGalt@user/alleria) (Read error: Connection reset by peer) |
| 2023-09-21 23:53:30 +0200 | Alleria | (~JohnGalt@user/alleria) |
| 2023-09-21 23:53:45 +0200 | <cole-k> | I was getting segfaults trying to compile text and some other packages it depends on when I installed GHC 7.3 to compile it, maybe the right move here is to not try and port it forward but to try and find a version to pin text and friends to so that and older GHC can compile them. |
| 2023-09-21 23:53:48 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 248 seconds) |
| 2023-09-21 23:56:46 +0200 | danza | (~francesco@na-19-82-154.service.infuturo.it) |
| 2023-09-21 23:57:16 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
| 2023-09-21 23:58:18 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) () |
| 2023-09-21 23:59:33 +0200 | <geekosaur> | segfault seems a bit extreme for a version mismatch |
| 2023-09-21 23:59:36 +0200 | Alleria | (~JohnGalt@user/alleria) (Read error: Connection reset by peer) |
| 2023-09-21 23:59:59 +0200 | <geekosaur> | arch mismatch might be more likely though since it would have to use rosetta to run 7.3, which doesn't support apple silicon |