Logs on 2023-09-21 (liberachat/#haskell)
| 00:00:22 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 00:00:28 | → | hyiltiz joins (~hyiltiz@2620:149:13d1:100::43d) |
| 00:01:48 | × | xff0x quits (~xff0x@2405:6580:b080:900:eab7:30b3:9805:b55b) (Ping timeout: 248 seconds) |
| 00:01:58 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:04:32 | → | xff0x joins (~xff0x@2405:6580:b080:900:47b:b9cb:7202:50e2) |
| 00:05:02 | × | Square quits (~Square@user/square) (Ping timeout: 255 seconds) |
| 00:05:43 | × | hyiltiz quits (~hyiltiz@2620:149:13d1:100::43d) (Ping timeout: 264 seconds) |
| 00:05:57 | → | Square3 joins (~Square4@user/square) |
| 00:06:06 | × | ell quits (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 00:06:36 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 00:07:39 | → | ell joins (~ellie@user/ellie) |
| 00:10:43 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Read error: Connection reset by peer) |
| 00:13:24 | → | JeremyB99 joins (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) |
| 00:17:52 | × | JeremyB99 quits (~JeremyB99@2607:fb91:17ee:23f5:edee:2b44:e73e:1db8) (Ping timeout: 260 seconds) |
| 00:19:07 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 00:20:26 | → | hyiltiz joins (~hyiltiz@2620:149:13d1:100::43d) |
| 00:21:13 | → | gooba joins (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 00:21:18 | × | ell quits (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 00:21:53 | → | ell joins (~ellie@user/ellie) |
| 00:23:35 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 00:23:37 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 00:28:29 | → | EvanR joins (~EvanR@user/evanr) |
| 00:32:06 | × | Nixkernal quits (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 252 seconds) |
| 00:32:22 | → | Nixkernal joins (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 00:34:25 | → | hyiltiz2 joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 00:36:39 | × | hyiltiz quits (~hyiltiz@2620:149:13d1:100::43d) (Ping timeout: 246 seconds) |
| 00:40:35 | × | billchenchina quits (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Quit: Leaving) |
| 00:43:05 | × | slack1256 quits (~slack1256@191.125.144.122) (Read error: Connection reset by peer) |
| 00:46:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 00:47:25 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 00:52:27 | × | Hooloovoo quits (~Hooloovoo@hax0rbana.org) (Read error: Connection reset by peer) |
| 00:53:02 | → | Hooloovoo joins (~Hooloovoo@hax0rbana.org) |
| 01:01:47 | <monochrom> | Haskell doesn't nerd-snipe programmers like C++ does. (It nerd-snipes some other kind of talents.) |
| 01:02:16 | <monochrom> | Haskell doesn't kiss up to the majority like Python does. |
| 01:02:45 | <monochrom> | Haskell doesn't have massive markettng money like Java or C# does. |
| 01:23:31 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 01:26:04 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:26:04 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:26:04 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:29:37 | → | libertyprime joins (~libertypr@125-237-102-54-adsl.sparkbb.co.nz) |
| 01:30:12 | × | hyiltiz2 quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 01:35:45 | × | bsima quits (~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:36:30 | → | bsima joins (~bsima@2604:a880:400:d0::19f1:7001) |
| 01:36:41 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 01:37:00 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 01:46:21 | × | otto_s quits (~user@p5de2f825.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 01:48:09 | → | otto_s joins (~user@p5b044509.dip0.t-ipconnect.de) |
| 01:54:31 | <jackdk> | dsal: can you cook up some custom pairlike structure to put the forall somewhere that GHC doesn't complain? |
| 01:56:43 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 02:01:31 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 02:01:40 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 02:03:04 | → | Inst joins (~Inst@120.244.192.250) |
| 02:06:25 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 02:06:36 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:08:12 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 02:08:56 | × | libertyprime quits (~libertypr@125-237-102-54-adsl.sparkbb.co.nz) (Ping timeout: 258 seconds) |
| 02:10:27 | × | xff0x quits (~xff0x@2405:6580:b080:900:47b:b9cb:7202:50e2) (Ping timeout: 260 seconds) |
| 02:11:02 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 02:11:29 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 02:15:42 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 02:17:41 | × | td_ quits (~td@i53870932.versanet.de) (Ping timeout: 244 seconds) |
| 02:18:59 | <dsal> | Hmm. Maybe. I barely understand all the implications of impredicative types. I wouldn’t expect it to care about ‘b’ at all. |
| 02:19:22 | → | td_ joins (~td@i5387091A.versanet.de) |
| 02:19:43 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 02:20:18 | <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 |
| 02:21:30 | → | libertyprime joins (~libertypr@210.55.232.12) |
| 02:22:31 | <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. |
| 02:23:30 | <dsal> | I possibly don’t need impredicative types, but all the signatures look a lot worse otherwise |
| 02:24:26 | <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. |
| 02:25:08 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:25:09 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:25:09 | finn_elija | is now known as FinnElija |
| 02:29:21 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 02:31:15 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 02:32:52 | <dsal> | I’m not familiar. The set will always be pretty small. I’m still waiting for more specific pushback. :) |
| 02:38:18 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 02:39:02 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f8be:f518:9050:8a06) (Remote host closed the connection) |
| 02:39:17 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f8be:f518:9050:8a06) |
| 02:41:22 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 02:42:35 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 02:43:27 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 02:45:21 | × | libertyprime quits (~libertypr@210.55.232.12) (Ping timeout: 258 seconds) |
| 02:45:30 | <jackdk> | can you give me a concrete type signature for your list, to play with? |
| 02:56:40 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 03:08:07 | <EvanR> | dsal, that's annoying because it goes against the idea of snd :: forall a b . (a, b) -> b being serious about forall a |
| 03:08:22 | × | hueso quits (~root@user/hueso) (Ping timeout: 258 seconds) |
| 03:08:31 | <EvanR> | if a can't be an impredicative type... I want my money back |
| 03:08:43 | → | hueso joins (~root@user/hueso) |
| 03:09:54 | → | mysl_ joins (~mysl@user/mysl) |
| 03:13:57 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 255 seconds) |
| 03:16:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 03:17:13 | <Lears> | % :t map fst :: [forall b. (a, b)] -> [a] |
| 03:17:14 | <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... |
| 03:17:21 | <Lears> | % :t map (\t -> fst t) :: [forall b. (a, b)] -> [a] |
| 03:17:21 | <yahb2> | map (\t -> fst t) :: [forall b. (a, b)] -> [a] ; :: [forall b. (a, b)] -> [a] |
| 03:17:32 | <Lears> | dsal: Have you tried eta expanding? |
| 03:30:35 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 03:38:42 | <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. |
| 03:40:30 | × | hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Read error: Connection reset by peer) |
| 03:40:40 | → | hsw joins (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 03:41:18 | <dsal> | EvanR: yeah, my mental model is feeling a little violated |
| 03:41:43 | → | Inst joins (~Inst@120.244.192.250) |
| 03:43:32 | <EvanR> | formany a . |
| 03:43:58 | <EvanR> | forquitealotbutperhapsnotall a. |
| 03:48:34 | <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. |
| 03:48:41 | <Lears> | % :t map (\t -> fst (t @())) :: [forall b. (a, b)] -> [a] |
| 03:48:41 | <yahb2> | map (\t -> fst (t @())) :: [forall b. (a, b)] -> [a] ; :: [forall b. (a, b)] -> [a] |
| 03:49:18 | <Lears> | With the DeepSubsumption of the old days, GHC simply did this eta expansion automatically on your behalf. |
| 03:57:54 | → | aforemny_ joins (~aforemny@2001:9e8:6cf3:1100:cc54:3ca5:e7eb:bd95) |
| 03:58:13 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 03:58:23 | <EvanR> | oh... |
| 03:58:35 | × | aforemny quits (~aforemny@2001:9e8:6ccc:2c00:fe43:b3bc:2962:c2c4) (Ping timeout: 240 seconds) |
| 03:59:21 | <EvanR> | so current ImpredicativeTypes is more principled |
| 04:00:25 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 04:04:33 | × | haritz quits (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 04:05:05 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 04:07:20 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 04:08:18 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:13:05 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 04:14:37 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:17:37 | × | hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 04:20:01 | mysl_ | is now known as mysl |
| 04:20:30 | × | sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 04:23:22 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 04:24:05 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 04:31:17 | → | sm joins (~sm@plaintextaccounting/sm) |
| 04:32:02 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 04:32:32 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 04:33:10 | × | Aleksejs quits (~Aleksejs@107.170.21.106) (Ping timeout: 255 seconds) |
| 04:33:14 | → | anderson_ joins (~anderson@user/anderson) |
| 04:34:20 | × | davean quits (~davean@davean.sciesnet.net) (Ping timeout: 248 seconds) |
| 04:34:37 | → | sm joins (~sm@plaintextaccounting/sm) |
| 04:35:45 | → | Aleksejs joins (~Aleksejs@107.170.21.106) |
| 04:36:32 | → | michalz joins (~michalz@185.246.207.221) |
| 04:37:06 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:37:38 | → | davean joins (~davean@davean.sciesnet.net) |
| 04:44:27 | → | hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 04:49:48 | × | hpc quits (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 04:51:34 | → | acidjnk joins (~acidjnk@p200300d6e7072f687c874e90e36248c8.dip0.t-ipconnect.de) |
| 04:51:48 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 05:01:42 | → | hpc joins (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 05:10:55 | <dsal> | eta expansion did the trick |
| 05:18:06 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:25:19 | <dsal> | hlint is mad at me for not using fst |
| 05:31:31 | <monochrom> | hlint has not been updated for quick-look impredicativity, to say the least. |
| 05:32:18 | <monochrom> | Generally its default settings reflect author's personal strong opinion rather than community consensus. |
| 05:33:48 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 05:37:40 | <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 |
| 05:39:20 | → | CiaoSen joins (~Jura@2a05:5800:296:1300:664b:f0ff:fe37:9ef) |
| 05:40:08 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:45:07 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 05:48:59 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 05:53:57 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 06:01:50 | <haskellbridge> | <maerwald> There's a config file somewhere in the GHC directory where linker is hardcoded |
| 06:01:56 | <haskellbridge> | <maerwald> Maybe look for it |
| 06:03:30 | <monochrom> | <GHCUP dir>/ghc/<version>/lib/ghc-<version>/settings |
| 06:04:47 | <remexre> | ah, excellent, that seems to work |
| 06:07:52 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 06:08:15 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 06:08:28 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 06:09:11 | → | echoreply joins (~echoreply@45.32.163.16) |
| 06:09:26 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 06:10:28 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:11:30 | × | privacy quits (~privacy@47.219.84.6) (Remote host closed the connection) |
| 06:11:44 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 06:13:27 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 06:18:32 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds) |
| 06:22:28 | → | dcoutts_ joins (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) |
| 06:25:10 | → | ubert joins (~Thunderbi@77.119.223.203.wireless.dyn.drei.com) |
| 06:28:07 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 06:30:39 | → | lottaquestions_ joins (~nick@2607:fa49:503d:b200:c923:2296:5b4a:ca69) |
| 06:32:06 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 06:32:14 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:e04a:aac3:8d76:a5b7) |
| 06:32:22 | × | lottaquestions quits (~nick@2607:fa49:503d:b200:c12f:231b:a760:9783) (Ping timeout: 260 seconds) |
| 06:35:07 | × | raym quits (~ray@user/raym) (Ping timeout: 255 seconds) |
| 06:36:10 | → | mmhat joins (~mmh@p200300f1c70f8486ee086bfffe095315.dip0.t-ipconnect.de) |
| 06:36:36 | × | mmhat quits (~mmh@p200300f1c70f8486ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 06:36:36 | → | jackneill__ joins (~Jackneill@20014C4E1E062E00E2330F8EE5718FB1.dsl.pool.telekom.hu) |
| 06:38:12 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 06:39:11 | × | doyougnu quits (~doyougnu@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:39:54 | × | hololeap quits (~quassel@user/hololeap) (Remote host closed the connection) |
| 06:41:08 | → | hololeap joins (~quassel@user/hololeap) |
| 06:41:29 | → | doyougnu joins (~doyougnu@45.46.170.68) |
| 06:47:16 | × | marienz quits (~marienz@libera/staff/marienz) (Ping timeout: 624 seconds) |
| 06:48:43 | → | marienz joins (~marienz@libera/staff/marienz) |
| 06:48:57 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:50:08 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 06:54:52 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 06:59:45 | → | comerijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 07:02:05 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 07:03:55 | × | Square3 quits (~Square4@user/square) (Ping timeout: 264 seconds) |
| 07:09:49 | → | bilegeek joins (~bilegeek@2600:1008:b09a:4882:14a9:f9e8:b493:eac1) |
| 07:12:43 | <Inst> | hmmm, weird |
| 07:13:28 | × | tzh quits (~tzh@c-73-25-201-16.hsd1.or.comcast.net) (Quit: zzz) |
| 07:14:11 | → | vpan joins (~vpan@212.117.1.172) |
| 07:14:43 | → | Pickchea joins (~private@user/pickchea) |
| 07:17:23 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:18:05 | → | fendor joins (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 07:26:08 | aforemny_ | is now known as aforemny |
| 07:27:53 | × | Hooloovoo quits (~Hooloovoo@hax0rbana.org) (Ping timeout: 258 seconds) |
| 07:30:09 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 07:32:36 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:e04a:aac3:8d76:a5b7) (Quit: WeeChat 2.8) |
| 07:32:47 | × | son0p quits (~ff@186.114.32.184) (Read error: Connection reset by peer) |
| 07:33:37 | → | Hooloovoo joins (~Hooloovoo@hax0rbana.org) |
| 07:34:55 | × | comerijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 07:35:00 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:e04a:aac3:8d76:a5b7) |
| 07:38:07 | × | dcoutts_ quits (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) (Ping timeout: 264 seconds) |
| 07:40:21 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:31c:8400:f184:4168:559b:d91b) |
| 07:44:54 | → | danza joins (~francesco@rm-19-12-96.service.infuturo.it) |
| 07:48:54 | → | gmg joins (~user@user/gehmehgeh) |
| 07:56:11 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:57:25 | × | ft quits (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:57:50 | × | danza quits (~francesco@rm-19-12-96.service.infuturo.it) (Ping timeout: 246 seconds) |
| 08:00:50 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 08:02:27 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f8be:f518:9050:8a06) (Remote host closed the connection) |
| 08:02:44 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 08:09:49 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:14:29 | → | danza joins (~francesco@rm-19-12-96.service.infuturo.it) |
| 08:19:13 | × | danza quits (~francesco@rm-19-12-96.service.infuturo.it) (Ping timeout: 252 seconds) |
| 08:25:19 | → | kn07_ joins (~kn07@91.237.93.1) |
| 08:25:29 | <kn07_> | hello. Did anyone used yesod? |
| 08:28:07 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:28:10 | → | RSCASTILHO joins (~RSCASTILH@187.40.124.54) |
| 08:28:26 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:ad5e:c040:f132:72cb) |
| 08:33:02 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:ad5e:c040:f132:72cb) (Ping timeout: 258 seconds) |
| 08:35:04 | → | dcoutts_ joins (~duncan@2a02:8012:ae9a:0:217c:5666:d075:6292) |
| 08:37:18 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:47:16 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 08:48:33 | → | chele joins (~chele@user/chele) |
| 08:50:30 | → | notzmv joins (~zmv@user/notzmv) |
| 08:51:00 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 08:53:52 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 08:54:56 | → | sm joins (~sm@plaintextaccounting/sm) |
| 08:55:52 | <haskellbridge> | <sm> yes |
| 08:56:39 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 08:57:03 | → | danse-nr3_ joins (~francesco@rm-19-12-155.service.infuturo.it) |
| 09:00:51 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 09:04:38 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 09:05:48 | × | kn07_ quits (~kn07@91.237.93.1) (Ping timeout: 252 seconds) |
| 09:10:29 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 09:14:38 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 09:15:30 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 09:19:14 | × | monochrom quits (~trebla@216.138.220.146) (Quit: Leaving) |
| 09:20:17 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 09:26:23 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 09:36:40 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 09:40:58 | <Clint> | yup |
| 09:51:44 | → | raym joins (~ray@user/raym) |
| 09:57:19 | × | talismanick quits (~user@76.133.152.122) (Ping timeout: 264 seconds) |
| 10:01:44 | × | CiaoSen quits (~Jura@2a05:5800:296:1300:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 10:02:10 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 10:05:17 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 10:06:39 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 10:07:04 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 10:09:08 | → | kn07_ joins (~kn07@91.237.93.1) |
| 10:17:05 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 10:19:35 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 10:21:21 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 10:25:16 | → | __monty__ joins (~toonn@user/toonn) |
| 10:27:21 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 10:30:50 | → | Inst_ joins (~Inst@120.244.192.250) |
| 10:31:48 | × | kn07_ quits (~kn07@91.237.93.1) (Ping timeout: 240 seconds) |
| 10:32:42 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 260 seconds) |
| 10:33:17 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 10:39:12 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 10:39:13 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 10:39:13 | → | haritz joins (~hrtz@user/haritz) |
| 10:39:16 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 10:39:27 | × | bilegeek quits (~bilegeek@2600:1008:b09a:4882:14a9:f9e8:b493:eac1) (Quit: Leaving) |
| 10:48:26 | → | kn07_ joins (~kn07@91.237.93.1) |
| 10:53:24 | × | kn07_ quits (~kn07@91.237.93.1) (Ping timeout: 255 seconds) |
| 11:01:48 | × | micro quits (~micro@user/micro) (Ping timeout: 240 seconds) |
| 11:02:11 | → | micro joins (~micro@user/micro) |
| 11:03:14 | × | dsrt^ quits (~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 11:04:39 | → | kn07_ joins (~kn07@91.237.93.1) |
| 11:08:24 | × | micro quits (~micro@user/micro) (Ping timeout: 245 seconds) |
| 11:08:57 | → | micro joins (~micro@user/micro) |
| 11:10:08 | → | xff0x joins (~xff0x@2405:6580:b080:900:7a46:13e1:bddb:2397) |
| 11:11:58 | → | sm joins (~sm@plaintextaccounting/sm) |
| 11:13:39 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 11:14:39 | × | kn07_ quits (~kn07@91.237.93.1) (Ping timeout: 245 seconds) |
| 11:16:19 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 11:19:26 | → | CiaoSen joins (~Jura@2a05:5800:296:1300:664b:f0ff:fe37:9ef) |
| 11:22:57 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) |
| 11:27:02 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 11:28:28 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:28:58 | × | qqq quits (~qqq@92.43.167.61) (Ping timeout: 244 seconds) |
| 11:38:07 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:42:03 | → | qqq joins (~qqq@92.43.167.61) |
| 11:43:52 | × | Inst_ quits (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 11:44:11 | → | Inst_ joins (~Inst@120.244.192.250) |
| 11:44:48 | → | kn07_ joins (~kn07@91.237.93.1) |
| 11:47:35 | × | johnw quits (~johnw@69.62.242.138) (Ping timeout: 240 seconds) |
| 11:48:00 | → | johnw joins (~johnw@69.62.242.138) |
| 11:48:43 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 11:49:53 | × | kn07_ quits (~kn07@91.237.93.1) (Ping timeout: 246 seconds) |
| 11:50:15 | × | danse-nr3_ quits (~francesco@rm-19-12-155.service.infuturo.it) (Ping timeout: 240 seconds) |
| 11:50:17 | → | privacy joins (~privacy@47.219.84.6) |
| 11:51:27 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 11:52:14 | × | Inst_ quits (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 11:53:34 | → | Inst_ joins (~Inst@120.244.192.250) |
| 11:55:48 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 12:03:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:08:43 | × | bienjensu quits (~user@user/bienjensu) (Ping timeout: 264 seconds) |
| 12:09:47 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 12:14:03 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:15:24 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 12:18:26 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 258 seconds) |
| 12:21:22 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 12:35:13 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:36:30 | → | sm joins (~sm@plaintextaccounting/sm) |
| 12:39:07 | → | danse-nr3 joins (~francesco@rm-19-12-155.service.infuturo.it) |
| 12:44:08 | × | RSCASTILHO quits (~RSCASTILH@187.40.124.54) (Ping timeout: 258 seconds) |
| 12:53:07 | × | libertyprime quits (~libertypr@203.96.203.44) (Ping timeout: 264 seconds) |
| 12:55:30 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 12:55:43 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 12:56:24 | × | danse-nr3 quits (~francesco@rm-19-12-155.service.infuturo.it) (Read error: Connection reset by peer) |
| 12:56:49 | → | danse-nr3 joins (~francesco@151.47.7.212) |
| 12:58:27 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 13:02:21 | → | Pickchea joins (~private@user/pickchea) |
| 13:09:42 | → | powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 13:14:04 | <Inst_> | did FP complete totally ditch Haskell? :( |
| 13:14:11 | <Inst_> | https://www.fpcomplete.com/our-technology/ |
| 13:17:58 | <leah2> | rust is the new fp apparently :p |
| 13:21:54 | <leah2> | their github repos have some commits lately |
| 13:25:23 | Inst_ | is now known as Inst |
| 13:25:25 | → | RSCASTILHO joins (~RSCASTILH@187.40.124.54) |
| 13:26:01 | <carter> | sounds like they pivoted to general consulting biz |
| 13:26:03 | <carter> | larger market |
| 13:26:08 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 13:28:23 | → | ystael joins (~ystael@user/ystael) |
| 13:29:07 | <Inst> | i heard FP complete gave up stack |
| 13:29:11 | <Inst> | to Haskell Foundation |
| 13:29:14 | <Inst> | erm, stackage |
| 13:31:29 | → | bontaq joins (~user@ool-45707d2c.dyn.optonline.net) |
| 13:35:15 | <danse-nr3> | impressive, they did invest in haskell a lot in the past |
| 13:36:05 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 240 seconds) |
| 13:36:35 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 13:38:56 | → | tremon joins (~tremon@83.80.159.219) |
| 13:39:17 | → | stef204 joins (~stef204@user/stef204) |
| 13:41:07 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 13:42:00 | × | CiaoSen quits (~Jura@2a05:5800:296:1300:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 13:43:28 | → | kn07_ joins (~kn07@91.237.93.1) |
| 13:45:20 | → | billchenchina joins (~billchenc@117.136.74.143) |
| 13:49:35 | × | kn07_ quits (~kn07@91.237.93.1) (Ping timeout: 240 seconds) |
| 13:50:42 | → | kn07_ joins (~kn07@91.237.93.1) |
| 13:55:11 | × | Inst quits (~Inst@120.244.192.250) (Ping timeout: 244 seconds) |
| 13:55:39 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 13:56:39 | → | malte joins (~malte@mal.tc) |
| 13:58:59 | → | Inst joins (~Inst@120.244.192.250) |
| 13:59:26 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 14:00:24 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 14:01:42 | × | kn07_ quits (~kn07@91.237.93.1) (Ping timeout: 252 seconds) |
| 14:03:56 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 4.0.4) |
| 14:04:52 | → | kn07_ joins (~kn07@91.237.93.1) |
| 14:05:11 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 14:07:27 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:07:30 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 14:12:13 | <geekosaur> | my understanding is they passed on only the hardware parts, the stackage crew are still there |
| 14:12:26 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 14:13:01 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 14:13:21 | <haskellbridge> | <tewuzij> Am I the omly active non-IRC member here? |
| 14:13:22 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 14:13:50 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 14:14:08 | <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 |
| 14:15:05 | × | kn07_ quits (~kn07@91.237.93.1) (Ping timeout: 255 seconds) |
| 14:15:33 | <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 :/ |
| 14:15:47 | <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) |
| 14:16:26 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 255 seconds) |
| 14:16:42 | → | kn07_ joins (~kn07@91.237.93.1) |
| 14:17:09 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 14:17:27 | → | lex_ joins (~alex@188.26.233.194) |
| 14:18:24 | <haskellbridge> | <jade> hi |
| 14:18:44 | <haskellbridge> | <jade> just a lot less active than I used to be because work :) |
| 14:20:09 | <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 (!) |
| 14:20:25 | <haskellbridge> | <sm> hard to know how accurate those numbers are |
| 14:22:29 | <haskellbridge> | <sm> the fragmentation/complectification of chat windows creates more chat-suppressing friction, also |
| 14:23:54 | × | billchenchina quits (~billchenc@117.136.74.143) (Quit: Leaving) |
| 14:25:25 | × | powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 14:35:23 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 14:38:57 | <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 |
| 14:40:38 | <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 |
| 14:41:18 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 14:43:31 | × | kn07_ quits (~kn07@91.237.93.1) (Ping timeout: 264 seconds) |
| 14:46:38 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 14:47:50 | → | acidjnk_new joins (~acidjnk@p200300d6e7072f687c874e90e36248c8.dip0.t-ipconnect.de) |
| 14:48:08 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 14:48:32 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 14:50:04 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 14:50:35 | × | acidjnk quits (~acidjnk@p200300d6e7072f687c874e90e36248c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 14:53:18 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 14:53:43 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 14:56:57 | × | danse-nr3 quits (~francesco@151.47.7.212) (Ping timeout: 260 seconds) |
| 14:59:05 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 14:59:41 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 15:00:04 | → | malte joins (~malte@mal.tc) |
| 15:05:35 | <EvanR> | welcome to the freenodealyptic afterscape |
| 15:06:33 | <yushyin> | :-| |
| 15:06:43 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 15:07:45 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 15:09:24 | <EvanR> | it seems most people went to the next world (matrix), 2600 users?? |
| 15:10:53 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 15:11:05 | <yushyin> | don't take this number too seriously, anyone who has joined this room even once and has not intentionally left counts |
| 15:11:53 | × | lex_ quits (~alex@188.26.233.194) (Remote host closed the connection) |
| 15:12:18 | <haskellbridge> | <sm> is that still true now that the portal bridge is gone ? maybe |
| 15:12:42 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 15:12:56 | <haskellbridge> | <sm> if they're matrix users and they haven't left, I think that means they're in the room |
| 15:13:49 | <haskellbridge> | <sm> how many eyeballs 👀 see this message within 24 hours is another question |
| 15:15:32 | <haskellbridge> | <jean-paul.> Scrolling back 24 hours ... I do not see a lot of read notifications. Few than 10, I think |
| 15:15:55 | <haskellbridge> | <jean-paul.> (thanks for making me do a manual count, element) |
| 15:16:12 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 246 seconds) |
| 15:16:23 | <haskellbridge> | <sm> IIRC the Haskell room had a fairly large count before the bridgalypse also; don't know if it changed |
| 15:16:55 | <haskellbridge> | <jean-paul.> (That count was for this room, just to be clear) |
| 15:18:17 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 15:19:43 | <geekosaur> | we had only ~750 iirc |
| 15:19:54 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 15:19:57 | <geekosaur> | we lost a lot of people with the freenodealypse and never recovered |
| 15:20:51 | <geekosaur> | also the matrix room had that many users before the bridge dropped |
| 15:21:11 | <geekosaur> | I suspect most of that growth was during the freenode mess as well |
| 15:21:30 | <geekosaur> | (I'm told the matrix room used to be bridged on freenode) |
| 15:23:20 | → | kn07_ joins (~kn07@91.237.93.1) |
| 15:25:47 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 15:26:01 | → | tzh joins (~tzh@c-73-25-201-16.hsd1.or.comcast.net) |
| 15:27:03 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 15:27:39 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:e04a:aac3:8d76:a5b7) (Quit: WeeChat 2.8) |
| 15:27:40 | → | sm joins (~sm@plaintextaccounting/sm) |
| 15:27:46 | <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? |
| 15:28:17 | <geekosaur> | discord seems to be the new hotness in general |
| 15:28:25 | <geekosaur> | (bleagh) |
| 15:28:31 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 15:32:13 | → | danse-nr3 joins (~francesco@151.47.7.212) |
| 15:32:44 | <yushyin> | maybe people just chat less about haskell these days? |
| 15:34:40 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) |
| 15:36:17 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:39:54 | × | ubert quits (~Thunderbi@77.119.223.203.wireless.dyn.drei.com) (Quit: ubert) |
| 15:40:07 | <albet70> | does ST monad have monad transformer? |
| 15:42:18 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 15:43:08 | <ncf> | what does that mean? |
| 15:43:15 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 15:43:20 | <Inst> | i hang out on discord, it's not as active as it used to be |
| 15:43:28 | <Inst> | might be a small seasonal drop in Haskell activity / interest |
| 15:45:33 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 15:45:45 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 15:49:28 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) (Remote host closed the connection) |
| 15:49:43 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) |
| 15:50:56 | <geekosaur> | albet70, technically it could (unlike IO) but it doesn't. I think there might be a package with one |
| 15:51:39 | <geekosaur> | https://hackage.haskell.org/package/STMonadTrans |
| 15:51:49 | <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 |
| 15:52:19 | <geekosaur> | but the matrix folks prefer that the main room not be bridged to libera |
| 15:52:41 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 15:53:26 | <erisco> | I think that means there were 1000 idlers who never noticed anyways |
| 15:54:03 | → | jrm joins (~jrm@user/jrm) |
| 15:54:38 | <danse-nr3> | oh they want to keep it for themselves? Alright then |
| 15:54:52 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 15:55:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:56:34 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 15:56:34 | <erisco> | If it isn't in square brackets and it doesn't star Keanu Reeves, it is no matrix to me. |
| 15:56:50 | → | jinsun joins (~jinsun@user/jinsun) |
| 15:57:48 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:59:52 | <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 |
| 16:02:13 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 16:03:37 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 16:04:45 | → | malte joins (~malte@mal.tc) |
| 16:09:16 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 16:12:54 | → | phma_ joins (~phma@host-67-44-208-41.hnremote.net) |
| 16:14:32 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 16:16:52 | × | phma quits (phma@2001:5b0:211f:8718:5d9f:d28d:c834:ebef) (Ping timeout: 260 seconds) |
| 16:17:15 | phma_ | is now known as phma |
| 16:21:52 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) (Remote host closed the connection) |
| 16:34:30 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 16:35:32 | × | shapr quits (~user@2600:1700:c640:3100:5cbd:18d9:350a:daec) (Remote host closed the connection) |
| 16:40:34 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 16:44:55 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:49:52 | → | sm joins (~sm@plaintextaccounting/sm) |
| 16:51:12 | → | smoothdev_ joins (~smoothdev@2a01:e0a:279:fb20:4cf8:38ef:a356:a6a) |
| 16:51:35 | × | smoothdev quits (~smoothdev@91-169-231-236.subs.proxad.net) (Ping timeout: 240 seconds) |
| 16:51:35 | smoothdev_ | is now known as smoothdev |
| 16:54:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) |
| 16:56:16 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) (Remote host closed the connection) |
| 16:56:31 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) |
| 16:56:35 | → | danse-nr3_ joins (~francesco@151.47.3.155) |
| 16:57:04 | → | sabino joins (~sabino@user/sabino) |
| 16:57:17 | × | danse-nr3 quits (~francesco@151.47.7.212) (Read error: Connection reset by peer) |
| 17:00:36 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:31c:8400:f184:4168:559b:d91b) (Ping timeout: 240 seconds) |
| 17:00:40 | → | powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 17:06:59 | × | codaraxis quits (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 17:10:29 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 244 seconds) |
| 17:10:55 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 17:12:15 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-e48c-0989-9883-0bfd.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 17:14:58 | → | mysl joins (~mysl@user/mysl) |
| 17:23:35 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 17:23:58 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Quit: Leaving) |
| 17:24:18 | → | Simikando joins (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) |
| 17:28:58 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:428:57b0:1d2a:1b9e) (Remote host closed the connection) |
| 17:30:44 | → | hyiltiz joins (~hyiltiz@17.104.43.91) |
| 17:33:03 | → | stackdroid18 joins (14094@de1.hashbang.sh) |
| 17:33:44 | × | RSCASTILHO quits (~RSCASTILH@187.40.124.54) (Ping timeout: 244 seconds) |
| 17:44:42 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Read error: Connection reset by peer) |
| 17:45:02 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 17:50:12 | × | Simikando quits (~Simikando@adsl-dyn-244.95-102-83.t-com.sk) (Ping timeout: 260 seconds) |
| 17:50:52 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 17:51:12 | → | misterfish joins (~misterfis@84-53-85-146.bbserv.nl) |
| 17:51:52 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 18:00:28 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:182a:8598:da7e:1049) |
| 18:00:49 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 18:02:40 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 244 seconds) |
| 18:06:27 | × | kn07_ quits (~kn07@91.237.93.1) (Ping timeout: 252 seconds) |
| 18:13:58 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 18:19:33 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 18:25:58 | → | monochrom joins (~trebla@216.138.220.146) |
| 18:26:07 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 18:26:48 | → | RSCASTILHO joins (~RSCASTILH@187.40.124.54) |
| 18:27:18 | × | powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 18:29:06 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 18:34:42 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 18:36:51 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:39:02 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:40:29 | → | powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 18:43:51 | → | dut joins (~dut@user/dut) |
| 18:44:03 | <carter> | I’ve come to appreciate the not centrally logged by default nature of irc |
| 18:45:05 | × | danse-nr3_ quits (~francesco@151.47.3.155) (Ping timeout: 240 seconds) |
| 18:45:37 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 18:48:16 | <Clint> | as one should |
| 18:50:25 | <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? :) |
| 18:50:35 | × | jackneill__ quits (~Jackneill@20014C4E1E062E00E2330F8EE5718FB1.dsl.pool.telekom.hu) (Ping timeout: 258 seconds) |
| 18:50:40 | × | stackdroid18 quits (14094@de1.hashbang.sh) (Quit: hasta la vista... tchau!) |
| 18:53:11 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 18:54:14 | → | gmg joins (~user@user/gehmehgeh) |
| 18:54:46 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 18:55:26 | → | Pickchea joins (~private@user/pickchea) |
| 18:56:02 | → | ft joins (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 18:56:56 | × | Inst quits (~Inst@120.244.192.250) (Read error: Connection reset by peer) |
| 18:59:11 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 19:08:08 | <mauke> | plus #haskell has been centrally logged for years (decades?) |
| 19:09:18 | <Clint> | i guess it's unclear what everyone means by "central" then |
| 19:09:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:10:26 | <geekosaur> | don't confuse centrally and publicly |
| 19:10:50 | <geekosaur> | irc doesn't have centralized logging. people however can and do log various channels publicly |
| 19:11:23 | <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 |
| 19:11:29 | <exarkun> | That seems to be the distinction between "first party" and "third party", really. |
| 19:12:17 | <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) |
| 19:12:19 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 19:12:41 | <geekosaur> | agreed |
| 19:13:13 | × | deriamis_ quits (deriamis@50.34.50.53) (Quit: deriamis_) |
| 19:23:52 | <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 |
| 19:28:02 | <EvanR> | meanwhile linking to past discussions on ircbrowse.tomsmeding is really useful |
| 19:28:22 | <geekosaur> | when you can find them at least |
| 19:31:23 | × | fendor quits (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 19:34:29 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 19:36:48 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 19:37:57 | → | malte joins (~malte@mal.tc) |
| 19:39:07 | × | dut quits (~dut@user/dut) (Quit: Leaving) |
| 19:42:43 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 19:44:12 | × | tzh quits (~tzh@c-73-25-201-16.hsd1.or.comcast.net) (Ping timeout: 248 seconds) |
| 19:47:17 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:51:23 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:845:3622:d368:bbd5) |
| 19:55:46 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 258 seconds) |
| 19:57:55 | → | deriamis joins (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) |
| 19:59:14 | × | Psybur quits (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) (Ping timeout: 245 seconds) |
| 20:02:33 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 20:04:43 | <carter> | yeah |
| 20:05:00 | <carter> | but also that its ok to ask again about something previously discussed |
| 20:05:34 | <carter> | "go find the thing in the scroll back" is the worst indirect noun/pronoun ever, thingy is better |
| 20:12:43 | <erisco> | so what do you all think of IRC logging |
| 20:14:14 | <geekosaur> | anything I say on the net is public unless I'm using e2e |
| 20:14:21 | <mauke> | better than IRC lagging |
| 20:14:24 | <geekosaur> | safest assumption |
| 20:15:10 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:15:42 | <exarkun> | can you answer again I was disconnected |
| 20:20:19 | <monochrom> | OK-to-ask-again ≠ OK-to-repeat-answers |
| 20:20:33 | <monochrom> | It is OK to ask again. Then it is also OK to link to existing answers. |
| 20:21:34 | <monochrom> | OTOH I don't just tell people "just google it". I know that some hits are not what I would recommend. |
| 20:23:00 | <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. |
| 20:23:32 | <haskellbridge> | <jade> and even then it's not even a safe bet as long as a proprietary service is involved |
| 20:24:03 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:24:27 | × | shane quits (~shane@ana.rch.ist) (Ping timeout: 255 seconds) |
| 20:25:30 | <monochrom> | The underlying principle is give-fish vs show-how-to-fish. |
| 20:26:49 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 20:27:42 | <monochrom> | Actually, I lied. The secret underlying principle is Kolmogorov complexity! |
| 20:28:13 | → | danza joins (~francesco@151.47.3.155) |
| 20:28:15 | <mauke> | > show fish |
| 20:28:17 | <lambdabot> | "<))><" |
| 20:28:49 | <haskellbridge> | <jade> very fish |
| 20:28:56 | <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. :) ) |
| 20:29:41 | <monochrom> | Some other times "this <url> then ctrl-f for <foo>" is shorter than writing that 10-line paragraph. |
| 20:34:07 | × | powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 20:34:21 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:45:19 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:46:31 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:845:3622:d368:bbd5) (Quit: WeeChat 2.8) |
| 20:50:10 | → | darkstardevx joins (~darkstard@50.53.47.146) |
| 20:50:59 | × | darkstardevx quits (~darkstard@50.53.47.146) (Remote host closed the connection) |
| 20:51:25 | → | darkstardevx joins (~darkstard@50.53.47.146) |
| 20:52:49 | × | darkstardevx quits (~darkstard@50.53.47.146) (Client Quit) |
| 20:53:39 | × | RSCASTILHO quits (~RSCASTILH@187.40.124.54) (Ping timeout: 252 seconds) |
| 20:54:08 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 20:56:18 | → | shane joins (~shane@ana.rch.ist) |
| 20:56:40 | × | danza quits (~francesco@151.47.3.155) (Read error: Connection reset by peer) |
| 20:56:45 | → | danza_ joins (~francesco@na-19-84-136.service.infuturo.it) |
| 20:58:26 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 20:59:35 | × | libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving) |
| 21:00:04 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:00:11 | → | sm joins (~sm@plaintextaccounting/sm) |
| 21:01:20 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 21:01:24 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:01:51 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 21:02:20 | × | danza_ quits (~francesco@na-19-84-136.service.infuturo.it) (Remote host closed the connection) |
| 21:02:43 | → | danza_ joins (~francesco@na-19-84-136.service.infuturo.it) |
| 21:04:12 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 21:04:37 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 21:05:20 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 21:07:56 | × | Friendship quits (~Friendshi@181.230.235.244) (Changing host) |
| 21:07:56 | → | Friendship joins (~Friendshi@user/Friendship) |
| 21:08:13 | × | Friendship quits (~Friendshi@user/Friendship) (Quit: Leaving) |
| 21:08:58 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 21:09:21 | → | califax joins (~califax@user/califx) |
| 21:10:06 | → | Friendship joins (~Friendshi@user/Friendship) |
| 21:11:14 | × | Friendship quits (~Friendshi@user/Friendship) (Max SendQ exceeded) |
| 21:11:58 | → | Friendship joins (~Friendshi@user/Friendship) |
| 21:13:58 | → | troydm1 joins (~troydm@host-176-37-53-238.b025.la.net.ua) |
| 21:14:04 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) |
| 21:15:38 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:15:51 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 240 seconds) |
| 21:15:54 | × | hyiltiz quits (~hyiltiz@17.104.43.91) (Ping timeout: 245 seconds) |
| 21:31:14 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 21:32:46 | → | RSCASTILHO joins (~RSCASTILH@187.40.124.54) |
| 21:33:28 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 21:36:42 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 21:37:35 | × | acidjnk_new quits (~acidjnk@p200300d6e7072f687c874e90e36248c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 21:37:42 | × | danza_ quits (~francesco@na-19-84-136.service.infuturo.it) (Ping timeout: 260 seconds) |
| 21:46:17 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 21:46:18 | → | cole-k joins (~cole@128.54.36.179) |
| 21:46:33 | <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? |
| 21:47:20 | <geekosaur> | yes |
| 21:47:47 | <geekosaur> | ghc kinda breaks the rules with its use of llvm and that means it has really tight dependencies for things to work right |
| 21:47:50 | → | Alleria joins (~JohnGalt@user/alleria) |
| 21:48:00 | <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? |
| 21:48:48 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 21:50:15 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 21:50:31 | <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) |
| 21:52:17 | <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 :/ |
| 21:52:37 | <geekosaur> | yes, it doesn't even pretend to be stable |
| 21:52:59 | <geekosaur> | there's a little work in current ghc to try to change that, but it hasn't gotten very far as yet |
| 21:53:07 | × | Alleria quits (~JohnGalt@user/alleria) (Read error: Connection reset by peer) |
| 21:53:30 | → | Alleria joins (~JohnGalt@user/alleria) |
| 21:53:45 | <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. |
| 21:53:48 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 248 seconds) |
| 21:56:46 | → | danza joins (~francesco@na-19-82-154.service.infuturo.it) |
| 21:57:16 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
| 21:58:18 | × | RSCASTILHO quits (~RSCASTILH@187.40.124.54) () |
| 21:59:33 | <geekosaur> | segfault seems a bit extreme for a version mismatch |
| 21:59:36 | × | Alleria quits (~JohnGalt@user/alleria) (Read error: Connection reset by peer) |
| 21:59:59 | <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 |
| 22:00:18 | → | Alleria joins (~JohnGalt@user/alleria) |
| 22:01:14 | <geekosaur> | (nothing before 8.10.5 supports apple silicon, and 8.10.5 and 8.10.6 are unusably buggy) |
| 22:04:33 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 22:05:13 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 22:05:19 | × | cole-k quits (~cole@128.54.36.179) (Ping timeout: 258 seconds) |
| 22:05:43 | × | raym quits (~ray@user/raym) (Ping timeout: 264 seconds) |
| 22:07:33 | → | hyiltiz joins (~hyiltiz@2620:149:13d1::5a2) |
| 22:08:30 | <haskellbridge> | <sm> the ghc issue tracker is full of platform specific bugs with each ghc version, especially before 9.4 |
| 22:09:01 | <haskellbridge> | <sm> maybe working in a linux vm would be quicker |
| 22:10:20 | <jackdk> | The 8.6 era may be usable on mac via nix - I think nixpkgs had decent enough darwin support back then |
| 22:12:09 | × | Alleria quits (~JohnGalt@user/alleria) (Quit: Textual IRC Client: www.textualapp.com) |
| 22:15:43 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 22:16:19 | × | hyiltiz quits (~hyiltiz@2620:149:13d1::5a2) (Ping timeout: 245 seconds) |
| 22:17:13 | → | hyiltiz joins (~hyiltiz@2620:149:13d1::5a2) |
| 22:21:02 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 22:21:55 | × | hyiltiz quits (~hyiltiz@2620:149:13d1::5a2) (Ping timeout: 264 seconds) |
| 22:23:03 | × | misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 22:25:13 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 22:25:24 | × | smoothdev quits (~smoothdev@2a01:e0a:279:fb20:4cf8:38ef:a356:a6a) (Ping timeout: 240 seconds) |
| 22:26:40 | → | smoothdev joins (~smoothdev@2a01:e0a:279:fb20:7dd9:976f:b2c3:2ca) |
| 22:27:14 | → | cole-k joins (~cole@128.54.36.179) |
| 22:31:45 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:31:46 | × | cole-k quits (~cole@128.54.36.179) (Ping timeout: 258 seconds) |
| 22:43:02 | × | danza quits (~francesco@na-19-82-154.service.infuturo.it) (Ping timeout: 260 seconds) |
| 22:47:32 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 22:48:06 | × | privacy quits (~privacy@47.219.84.6) (Quit: Leaving) |
| 22:48:52 | → | privacy joins (~privacy@47.219.84.6) |
| 22:51:34 | → | hyiltiz joins (~hyiltiz@2620:149:13d1::5a2) |
| 22:55:36 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 22:57:01 | × | kaskal quits (~kaskal@213-147-167-98.nat.highway.webapn.at) (Quit: ZNC - https://znc.in) |
| 22:57:32 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:57:35 | → | kaskal joins (~kaskal@213-147-167-98.nat.highway.webapn.at) |
| 22:57:59 | × | hyiltiz quits (~hyiltiz@2620:149:13d1::5a2) (Ping timeout: 255 seconds) |
| 22:59:44 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 23:00:11 | → | hyiltiz joins (~hyiltiz@2620:149:13d1::5a2) |
| 23:05:43 | × | aforemny quits (~aforemny@2001:9e8:6cf3:1100:cc54:3ca5:e7eb:bd95) (Ping timeout: 264 seconds) |
| 23:09:52 | × | hyiltiz quits (~hyiltiz@2620:149:13d1::5a2) (Ping timeout: 260 seconds) |
| 23:12:57 | → | hyiltiz joins (~hyiltiz@2620:149:13d1::5a2) |
| 23:14:58 | → | smoothdev_ joins (~smoothdev@2a01:e0a:279:fb20:cded:cb9e:f595:9b75) |
| 23:15:00 | × | smoothdev quits (~smoothdev@2a01:e0a:279:fb20:7dd9:976f:b2c3:2ca) (Ping timeout: 246 seconds) |
| 23:15:00 | smoothdev_ | is now known as smoothdev |
| 23:19:17 | → | aforemny joins (~aforemny@i59F516F1.versanet.de) |
| 23:19:54 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
| 23:20:59 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 23:21:38 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 23:25:50 | → | smoothdev_ joins (~smoothdev@91-169-231-236.subs.proxad.net) |
| 23:26:37 | × | bontaq quits (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 23:26:43 | × | smoothdev quits (~smoothdev@2a01:e0a:279:fb20:cded:cb9e:f595:9b75) (Ping timeout: 264 seconds) |
| 23:26:43 | smoothdev_ | is now known as smoothdev |
| 23:39:22 | → | wroathe joins (~wroathe@user/wroathe) |
| 23:40:29 | × | deriamis quits (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 23:40:55 | → | deriamis joins (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) |
| 23:43:57 | → | libertyprime joins (~libertypr@203.96.203.44) |
| 23:49:59 | × | hyiltiz quits (~hyiltiz@2620:149:13d1::5a2) (Ping timeout: 258 seconds) |
| 23:50:04 | → | pavonia joins (~user@user/siracusa) |
| 23:50:15 | → | nyc joins (~nyc@user/nyc) |
| 23:50:34 | <nyc> | How do I find where an instance was defined? |
| 23:50:39 | × | xff0x quits (~xff0x@2405:6580:b080:900:7a46:13e1:bddb:2397) (Ping timeout: 240 seconds) |
| 23:51:02 | → | xff0x joins (~xff0x@178.255.149.135) |
| 23:52:47 | <glguy> | In GHCi, :info will show the module an instance came from |
| 23:53:40 | <glguy> | and :info! will show more than :info will, if you still don't see it |
| 23:55:33 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 23:56:45 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 23:57:14 | × | deriamis quits (deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) (Quit: ZNC - https://znc.in) |
| 23:57:40 | → | deriamis joins (deriamis@2600:1f14:1251:ba02:2994:f9dc:75a8:113b) |
All times are in UTC on 2023-09-21.