Logs on 2022-07-10 (liberachat/#haskell)
| 00:01:41 | <geekosaur[m]> | that one I don't understand ☹️ |
| 00:02:53 | <edwardk> | *sigh* |
| 00:02:57 | <edwardk> | i guess i can do this in rust |
| 00:03:44 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 00:04:56 | → | sammelweis__ joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 00:04:56 | × | unit73e quits (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 272 seconds) |
| 00:05:24 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 00:05:38 | × | sammelweis_ quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
| 00:05:41 | × | cosimone quits (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 00:06:13 | → | psh joins (~Gambino@user/polo) |
| 00:06:35 | → | cosimone joins (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 00:07:10 | <edwardk> | hacked around |
| 00:07:24 | <edwardk> | the 9.2.3 dist which isn't showing in ghcup works just fine if i install it by hand |
| 00:08:00 | <edwardk> | oh it does show if i upgrade |
| 00:08:31 | <geekosaur[m]> | huh, they must catch and exclude the bad lld, and the other might then be some other ld configuration setting that needs to be tweaked |
| 00:08:31 | <edwardk> | back to hashconsing |
| 00:08:44 | <geekosaur[m]> | I don't know what those need to be for ld64 |
| 00:10:37 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 00:11:31 | → | raym joins (~raym@user/raym) |
| 00:11:50 | × | psh quits (~Gambino@user/polo) (Ping timeout: 240 seconds) |
| 00:12:10 | × | winny quits (~weechat@user/winny) (Remote host closed the connection) |
| 00:12:41 | → | winny joins (~weechat@user/winny) |
| 00:14:37 | <BusConscious> | https://gitlab.haskell.org/ghc/ghc/-/issues/20287 |
| 00:15:11 | <BusConscious> | I had a similar issue to that earlier when crosscompiling to the sortix operating system, but could not reproduce it a second time |
| 00:17:35 | <BusConscious> | maybe the generation of the header #define HS_CONSTANTS is in happens in parallel to other rules, that depend on it? |
| 00:19:02 | <BusConscious> | or maybe it is the same problem as in the issue |
| 00:19:18 | → | psh joins (~Gambino@user/polo) |
| 00:19:26 | × | psh quits (~Gambino@user/polo) (Client Quit) |
| 00:21:42 | <edwardk> | ok, next question, ghcid seems dead? |
| 00:21:48 | <edwardk> | ghcid: fd:16: hGetLine: invalid argument (invalid byte sequence) |
| 00:21:57 | <edwardk> | i checked the obvious LANG and and LOCALE strings |
| 00:22:53 | <edwardk> | looks like i had an old one |
| 00:22:54 | <edwardk> | nm |
| 00:22:57 | <edwardk> | im being dumb today |
| 00:23:11 | <cdan> | I am having trouble crosscompile a simple haskell cmd tool using haskell.nix Host osX and target windows. This is the first time I've tried this and I am a bit lost. Are there other alternatives to haskell.nix that I could try? I've contemplated using a windows docker image, but I think I will need a window licence to stay legal. Any suggestions? |
| 00:24:18 | × | gurkenglas quits (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 00:26:20 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 00:27:33 | × | sammelweis__ quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 00:29:56 | <BusConscious> | how can I only build a specific target with cabal? |
| 00:31:22 | → | alexhandy2 joins (~trace@user/trace) |
| 00:33:38 | → | AndChat-624225 joins (~trace@user/trace) |
| 00:34:43 | <monochrom> | cabal build TARGET. Sometimes TARGET has to start with exe: or lib: or ... |
| 00:34:50 | × | alexhandy quits (~trace@user/trace) (Read error: Connection reset by peer) |
| 00:35:47 | × | alexhandy2 quits (~trace@user/trace) (Ping timeout: 256 seconds) |
| 00:36:38 | <BusConscious> | monochrom: tried that and it appeared like it didn't work, but I had a different problem: My crosscompiler was too bleeding edge compared to my gentoo ghc |
| 00:37:10 | <BusConscious> | because the test suite doesn't link with my sortix crosscompiler right now |
| 00:41:10 | → | machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 00:42:09 | <BusConscious> | https://github.com/MartinErhardt/sortix-cross-ghc yay I ported my shell (and the haskell runtime) to this operating system |
| 00:42:10 | × | maroloccio quits (~marolocci@151.70.128.107) (Ping timeout: 240 seconds) |
| 00:44:27 | → | maroloccio joins (~marolocci@151.70.151.79) |
| 00:44:38 | conjunctive_ | is now known as conjunctive |
| 00:45:06 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 00:54:56 | × | mrmr quits (~mrmr@user/mrmr) (Quit: The Lounge - https://thelounge.chat) |
| 00:54:56 | × | BusConscious quits (~martin@ip5f5bdf31.dynamic.kabel-deutschland.de) (Quit: leaving) |
| 00:56:41 | × | xff0x quits (~xff0x@2405:6580:b080:900:a92c:e315:1bd7:bee4) (Remote host closed the connection) |
| 00:56:59 | → | xff0x joins (~xff0x@2405:6580:b080:900:6f92:efec:520d:4c6c) |
| 01:10:31 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:16:39 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:18:33 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 01:29:08 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 244 seconds) |
| 01:34:03 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:40:24 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 01:40:30 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 01:41:06 | × | noteness quits (~noteness@user/noteness) (Remote host closed the connection) |
| 01:41:31 | → | noteness joins (~noteness@user/noteness) |
| 01:52:03 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 276 seconds) |
| 01:52:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 01:52:17 | × | beka quits (~beka@104.193.170.240) (Ping timeout: 256 seconds) |
| 01:52:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 01:53:56 | × | maroloccio quits (~marolocci@151.70.151.79) (Ping timeout: 244 seconds) |
| 01:54:00 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 276 seconds) |
| 01:56:10 | → | maroloccio joins (~marolocci@151.53.133.54) |
| 01:56:25 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:57:33 | → | califax joins (~califax@user/califx) |
| 02:08:18 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 02:10:20 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 02:12:39 | → | beka joins (~beka@104-244-24-117.PUBLIC.monkeybrains.net) |
| 02:14:28 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 02:22:16 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 02:24:24 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 02:24:49 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 02:26:53 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 02:30:50 | × | td_ quits (~td@muedsl-82-207-238-037.citykom.de) (Ping timeout: 240 seconds) |
| 02:32:47 | → | td_ joins (~td@muedsl-82-207-238-125.citykom.de) |
| 02:34:45 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 02:39:36 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 02:40:59 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 02:41:49 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 02:41:55 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 02:46:14 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 02:46:29 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 02:49:45 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 02:50:57 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 02:51:45 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 02:53:00 | → | zaquest joins (~notzaques@5.130.79.72) |
| 02:58:51 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 03:03:50 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 03:05:30 | × | aeka quits (~aeka@2606:6080:1002:3:1da3:d12a:3e5:ae70) (Ping timeout: 276 seconds) |
| 03:05:42 | → | aeka joins (~aeka@2606:6080:1001:15:45d:2b31:f931:2e2) |
| 03:11:01 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Quit: Going elsewhere) |
| 03:12:50 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
| 03:13:42 | × | noteness quits (~noteness@user/noteness) (Remote host closed the connection) |
| 03:14:50 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 03:15:27 | → | noteness joins (~noteness@user/noteness) |
| 03:25:53 | × | xff0x quits (~xff0x@2405:6580:b080:900:6f92:efec:520d:4c6c) (Ping timeout: 255 seconds) |
| 03:26:33 | → | xff0x joins (~xff0x@2405:6580:b080:900:742e:8a1a:bfb2:b3e7) |
| 03:39:50 | × | alp quits (~alp@user/alp) (Ping timeout: 255 seconds) |
| 03:41:17 | × | xff0x quits (~xff0x@2405:6580:b080:900:742e:8a1a:bfb2:b3e7) (Quit: xff0x) |
| 03:49:12 | → | xff0x joins (~xff0x@2405:6580:b080:900:a3df:31c3:754f:b320) |
| 03:50:00 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 03:50:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 03:58:48 | → | mattil joins (~mattil@77-105-77-70.lpok.fi) |
| 04:01:26 | × | jargon quits (~jargon@184.101.188.251) (Remote host closed the connection) |
| 04:09:10 | × | cdan quits (~user@122-58-88-198-vdsl.sparkbb.co.nz) (Ping timeout: 240 seconds) |
| 04:10:13 | → | fockerize joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 04:14:37 | → | kor1 joins (~kor1@user/kor1) |
| 04:15:35 | × | matthewmosior quits (~matthewmo@173.170.253.91) () |
| 04:17:46 | × | mattil quits (~mattil@77-105-77-70.lpok.fi) (Remote host closed the connection) |
| 04:29:00 | → | razetime joins (~quassel@117.193.3.176) |
| 04:37:56 | → | mud joins (~mud@user/kadoban) |
| 04:41:08 | → | causal joins (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 04:43:04 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 04:50:07 | × | machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 04:54:41 | → | mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 04:54:54 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Quit: Going elsewhere) |
| 04:59:28 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
| 05:05:38 | → | jargon joins (~jargon@184.101.188.251) |
| 05:10:36 | × | mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 276 seconds) |
| 05:11:05 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 05:12:00 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 05:12:22 | → | mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 05:15:10 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 05:22:36 | → | king_gs joins (~Thunderbi@187.201.38.129) |
| 05:22:45 | → | mrmr joins (~mrmr@user/mrmr) |
| 05:23:34 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 05:24:28 | × | Me-me quits (~me-me@user/me-me) (Remote host closed the connection) |
| 05:26:40 | → | Me-me joins (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) |
| 05:27:43 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 05:29:23 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 05:38:48 | × | aeka quits (~aeka@2606:6080:1001:15:45d:2b31:f931:2e2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:41:17 | × | king_gs quits (~Thunderbi@187.201.38.129) (Read error: Connection reset by peer) |
| 05:41:30 | → | king_gs joins (~Thunderbi@2806:103e:29:5946:ae8b:1218:3255:d41d) |
| 05:43:13 | × | jargon quits (~jargon@184.101.188.251) (Remote host closed the connection) |
| 05:46:42 | × | mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 276 seconds) |
| 05:46:42 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 05:47:43 | → | mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 05:57:48 | × | beka quits (~beka@104-244-24-117.PUBLIC.monkeybrains.net) (Ping timeout: 244 seconds) |
| 05:59:20 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:00:58 | × | king_gs quits (~Thunderbi@2806:103e:29:5946:ae8b:1218:3255:d41d) (Remote host closed the connection) |
| 06:04:51 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:07:23 | → | redmp joins (~redmp@mobile-166-170-40-104.mycingular.net) |
| 06:11:10 | × | fockerize quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 06:12:16 | → | dsrt^ joins (~dsrt@128-092-191-146.biz.spectrum.com) |
| 06:14:13 | × | razetime quits (~quassel@117.193.3.176) (Remote host closed the connection) |
| 06:14:24 | → | redmp_ joins (~redmp@mobile-166-170-40-104.mycingular.net) |
| 06:15:01 | × | redmp_ quits (~redmp@mobile-166-170-40-104.mycingular.net) (Client Quit) |
| 06:17:44 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:18:10 | × | redmp quits (~redmp@mobile-166-170-40-104.mycingular.net) (Ping timeout: 240 seconds) |
| 06:21:30 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 06:22:15 | → | mbuf joins (~Shakthi@122.165.55.71) |
| 06:26:44 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 244 seconds) |
| 06:26:52 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 06:28:29 | × | phma quits (~phma@2001:5b0:210d:9bd8:8a05:253a:5ea2:fc2a) (Read error: Connection reset by peer) |
| 06:29:25 | → | phma joins (~phma@2001:5b0:210f:4838:4693:94f9:748:968a) |
| 06:30:03 | × | Me-me quits (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) (Changing host) |
| 06:30:03 | → | Me-me joins (~me-me@user/me-me) |
| 06:30:10 | → | acidjnk joins (~acidjnk@p200300d6e7246c33bde5df6a905c507e.dip0.t-ipconnect.de) |
| 06:32:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:32:34 | × | mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz)) |
| 07:01:50 | × | dsrt^ quits (~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 07:06:35 | → | dsrt^ joins (~dsrt@128-092-191-146.biz.spectrum.com) |
| 07:13:05 | → | coot joins (~coot@213.134.190.95) |
| 07:17:26 | <qrpnxz> | edwardk: hey, found your cache-oblivious map. Kind of mind-blowing. Was wondering how things have changed since you uploaded that. For example, if it still had significant tradeoffs compared to Data.Map/HashMap or if you went and made another Map somewhere that I should look at or anything. |
| 07:23:05 | × | sagax quits (~sagax_nb@user/sagax) (Remote host closed the connection) |
| 07:41:24 | → | Tuplanolla joins (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 07:42:23 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 07:44:06 | × | acidjnk quits (~acidjnk@p200300d6e7246c33bde5df6a905c507e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 07:45:46 | → | acidjnk joins (~acidjnk@p200300d6e7246c33f99a28ea5fa0c307.dip0.t-ipconnect.de) |
| 07:46:38 | × | kjak quits (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 07:51:13 | → | yaxu joins (~yaxu@host-92-8-188-78.as13285.net) |
| 07:55:27 | × | azimut_ quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 08:01:00 | → | gmg joins (~user@user/gehmehgeh) |
| 08:01:55 | → | kjak joins (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 08:02:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e83b:f237:c3ef:87c1) (Remote host closed the connection) |
| 08:05:43 | × | maroloccio quits (~marolocci@151.53.133.54) (Ping timeout: 256 seconds) |
| 08:06:57 | → | kuribas` joins (~user@ptr-17d51epr8e240d12iuq.18120a2.ip6.access.telenet.be) |
| 08:07:41 | → | maroloccio joins (~marolocci@151.53.133.54) |
| 08:11:11 | × | kuribas quits (~user@ptr-17d51eo9ziftsfmurdv.18120a2.ip6.access.telenet.be) (Ping timeout: 255 seconds) |
| 08:13:10 | <yaxu> | Does someone know why cabal would fail to find folders specified in `include-dirs` in a cabal file? cabal says `Warning: 'include-dirs: link/include' directory does not exist.` but it surely does. This package builds in a github action but not on my (popos linux) laptop |
| 08:13:28 | <yaxu> | https://github.com/tidalcycles/Tidal/blob/main/tidal-link/tidal-link.cabal#L64-L67 |
| 08:15:43 | <yaxu> | https://pastebin.com/scEpRY0C |
| 08:15:57 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:16:16 | × | kjak quits (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 244 seconds) |
| 08:16:49 | <maerwald[m]> | yaxu: yes, there's a bug in that cabal file |
| 08:17:03 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 08:17:19 | <maerwald[m]> | The include stuff files need to be added to https://github.com/tidalcycles/Tidal/blob/main/tidal-link/tidal-link.cabal#L17 |
| 08:17:30 | × | dsrt^ quits (~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 08:17:41 | <yaxu> | Ah that makes sense, thanks a lot! |
| 08:17:51 | <maerwald[m]> | yaxu: using `cabal build` instead will work |
| 08:22:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:23:35 | <tomsmeding> | yaxu: `cabal install` will first create an sdist (a tarball containing only the listed source files as well as extra-source-files), then unpack and build that |
| 08:24:15 | <tomsmeding> | While there is some redundant work there, the point is to build in the same environment as a build straight from hackage would use |
| 08:24:53 | <tomsmeding> | `cabal build` doesn't do all that and simply builds in your working directory |
| 08:25:21 | <yaxu> | I see. This is a dependency of a library that I just want to use in ghci |
| 08:26:11 | <yaxu> | Should I list every c source file/header that the package uses? There might be quite a few |
| 08:27:04 | → | kjak joins (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 08:28:45 | <tomsmeding> | yaxu: I think extra-source-files supports wildcards |
| 08:28:55 | <tomsmeding> | link/include/* |
| 08:29:57 | <yaxu> | yes that doesn't work, but it works in filenames like `link/include/ableton/discovery/*.hpp` |
| 08:31:11 | <yaxu> | "'link/include/ableton/*/*.hpp'. A wildcard '**' is only allowed as the final parent directory. Stars must not otherwise appear in the parent directories." |
| 08:31:17 | <yaxu> | That error message doesn't make sense to me |
| 08:32:40 | <tomsmeding> | yaxu: link/include/**/*.hpp |
| 08:32:52 | <yaxu> | ahh ok misread that thanks |
| 08:33:10 | × | kjak quits (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 08:34:42 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 08:35:21 | → | kjak joins (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 08:38:20 | <yaxu> | Sorted, thanks again maerwald[m] tomsmeding |
| 08:38:29 | <yaxu> | https://github.com/tidalcycles/Tidal/pull/925/commits/8900f1919a1a9396078863c3aaa9739c64e02137 |
| 08:39:47 | <tomsmeding> | Nice :) |
| 08:44:37 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:47:43 | <DigitalKiwi> | tomsmeding: how come paste site only supports haskell language :( |
| 08:48:04 | <tomsmeding> | DigitalKiwi: for syntax highlighting, you mean? |
| 08:48:49 | <tomsmeding> | It even highlights .cabal files with haskell highlighting :p |
| 08:48:50 | <DigitalKiwi> | yesums |
| 08:49:03 | <tomsmeding> | I guess it could be an easy fix |
| 08:49:43 | × | yaxu quits (~yaxu@host-92-8-188-78.as13285.net) (Quit: Client closed) |
| 08:49:44 | <DigitalKiwi> | i guess it could be an extremely difficult and time consumig fix |
| 08:50:23 | <tomsmeding> | I have a highlight.js download in the repo, that should be a larger download that also contains rules for other languages (they have more languages, but I doubt cabal files are in there) |
| 08:50:54 | <tomsmeding> | Then set the right syntax based on file extension (?), and that might just be enough |
| 08:51:40 | <tomsmeding> | I'll put it on the todo list but currently recovering from a flu (and I have holiday :D) so it'll come at some point |
| 08:52:29 | → | alp joins (~alp@user/alp) |
| 08:53:56 | <DigitalKiwi> | skylighting |
| 08:53:59 | × | dcoutts quits (~duncan@host86-176-29-6.range86-176.btcentralplus.com) (Ping timeout: 244 seconds) |
| 08:54:58 | <tomsmeding> | The haskell lib? |
| 08:55:09 | <DigitalKiwi> | ya |
| 08:56:29 | <tomsmeding> | Help me, skylighting is GPL, does that mean that I can depend on it from a MIT program |
| 08:57:42 | <DigitalKiwi> | However, the skylighting-core package, which provides the core types and functions of this project is licensed under the BSD3 license and bundles the GPL-licensed XML files separately. |
| 08:57:43 | <DigitalKiwi> | The KDE project now recommends that new syntax highlighting files be MIT licensed. |
| 08:58:08 | <tomsmeding> | Yeah but the xml files are gpl-licensed |
| 08:58:13 | <tomsmeding> | So that split helps naught |
| 08:58:19 | <tomsmeding> | For me, at least |
| 08:58:44 | <tomsmeding> | But it might be I'm misunderstanding and I can just link against the stuff because I'm not modifying anything in skylighting |
| 08:59:01 | <tomsmeding> | pastebin-haskell will not be gpl because of a highlighting lib in any case |
| 08:59:48 | <tomsmeding> | Also no cabal :D |
| 08:59:56 | <DigitalKiwi> | https://github.com/tejasbubane/hakyll-css |
| 09:00:07 | × | janschneider[m] quits (~janschnei@2001:470:69fc:105::1:7625) (Quit: You have been kicked for being idle) |
| 09:00:07 | × | toluene quits (~toluene@user/toulene) (Ping timeout: 256 seconds) |
| 09:01:23 | <tomsmeding> | Ah that's useful indeed |
| 09:02:06 | → | toluene joins (~toluene@user/toulene) |
| 09:02:53 | <tomsmeding> | DigitalKiwi: skylighting already includes some styles though https://hackage.haskell.org/package/skylighting-core-0.12.3.1/docs/Skylighting-Styles.html |
| 09:02:55 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 09:06:00 | <tomsmeding> | Hm it seems bsd 3-clause is gpl-compatible? |
| 09:07:15 | <tomsmeding> | Oh but that doesn't help |
| 09:07:25 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Ping timeout: 244 seconds) |
| 09:07:35 | <darkling> | That means that you can put a 3-BSD package in a GPL-licensed project and retain the GPL. |
| 09:07:38 | <darkling> | Not the other way round. |
| 09:07:50 | × | Colere quits (~colere@about/linux/staff/sauvin) (Ping timeout: 240 seconds) |
| 09:08:08 | <tomsmeding> | Right, and I'd need the other way round, and the point of the GPL is of course that that doesn't work |
| 09:08:17 | <darkling> | Indeed. |
| 09:08:42 | → | Colere joins (~colere@about/linux/staff/sauvin) |
| 09:08:47 | <tomsmeding> | But thanks for confirming, I'm not well-versed in these things |
| 09:08:54 | <darkling> | If the core is MIT licensed, you could use that, but you'd have to develop your own versions of the GPL-licensed XML files. |
| 09:09:14 | <tomsmeding> | Yeah that is _a_ solution |
| 09:09:21 | <[exa]> | tomsmeding: LGPL ? |
| 09:09:32 | <tomsmeding> | The skylighting xml files are gpl, not lgpl |
| 09:10:14 | → | Furor joins (~colere@about/linux/staff/sauvin) |
| 09:10:33 | <[exa]> | I thought for pastebin-haskell |
| 09:10:41 | <tomsmeding> | Ah no, the haskell xml is lgpl! |
| 09:10:50 | → | cosimone` joins (~user@93-44-186-171.ip98.fastwebnet.it) |
| 09:10:52 | <[exa]> | o really? |
| 09:10:55 | <tomsmeding> | [exa]: doesn't matter, the linked stuff would need lgpl |
| 09:11:06 | <tomsmeding> | https://github.com/jgm/skylighting/blob/master/skylighting-core/xml/haskell.xml |
| 09:11:17 | <tomsmeding> | Would need to check all the xml files to see which are usable lol |
| 09:11:43 | × | cosimone quits (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Remote host closed the connection) |
| 09:12:44 | <darkling> | If it's LGPL, you need to be able to run the main project without it, without significantly compromising the core functionality. (And I think there are some restrictions about bundling the LGPL code in with everything else in a source release, but it's been a while since I looked at the license) |
| 09:13:09 | × | Colere quits (~colere@about/linux/staff/sauvin) (Ping timeout: 256 seconds) |
| 09:13:31 | <tomsmeding> | :( |
| 09:13:42 | <tomsmeding> | DigitalKiwi: see why I went with highlight.js :p |
| 09:13:51 | <tomsmeding> | darkling: thanks again |
| 09:15:05 | → | fweht joins (uid404746@id-404746.lymington.irccloud.com) |
| 09:15:06 | × | myme1 quits (~myme@2a01:799:d5a:cd00:b426:d25c:a4ca:786f) (Ping timeout: 264 seconds) |
| 09:15:21 | <tomsmeding> | darkling: wikipedia mentions no such restriction |
| 09:15:31 | → | myme1 joins (~myme@2a01:799:d5a:cd00:ae2e:877c:9fc6:a159) |
| 09:15:50 | → | unit73e joins (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 09:17:36 | <tomsmeding> | Ah but it requires shared library linking, which ghc doesn't do for haskell code |
| 09:18:10 | <tomsmeding> | darkling: were you referring to this phrase? "will operate properly with a modified version of the Library that is interface-compatible with the Linked Version." |
| 09:18:50 | <darkling> | The key concept here is: 'In LGPL 2.1, the non-(L)GPLed program can then be distributed under any terms if it is not a derivative work. If it is a derivative work, then the program's terms must allow for "modification of the work for the customer's own use and reverse engineering for debugging such modifications."' |
| 09:19:13 | <darkling> | And it's "derivative work" that's the complicated concept. |
| 09:21:13 | <tomsmeding> | Presumably MIT allows "modification of ... such modifications"? |
| 09:21:56 | <tomsmeding> | If it doesn't I should revisit my choice of license :p |
| 09:22:14 | <[exa]> | gah, could everyone just use gpl? :D |
| 09:22:45 | <darkling> | IIRC, MIT is basically "you can modify this code any way you like and redistribute it any way you like, with or without access to the modified source code". |
| 09:23:04 | <tomsmeding> | Right |
| 09:23:56 | <tomsmeding> | So in my limited understanding (from your quote), linking against LGPL code from a MIT application is allowable regardless of whether the combination counts as a derivative work of the LGPL code or not |
| 09:23:58 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:24:38 | <darkling> | If it's a derivative work, then it must be released under LGPL. |
| 09:24:55 | <tomsmeding> | If this is true, I wouldn't be able to use 'skylighting', but I _could_ use 'skylighting-core' with cherry-picked style files |
| 09:24:56 | <DigitalKiwi> | mit is just two clause bsd |
| 09:25:14 | <tomsmeding> | I'll relicense under 3-clause bsd without a second thought |
| 09:25:38 | <tomsmeding> | darkling: hm, I don't see that in your quote, but would make sense |
| 09:26:02 | <DigitalKiwi> | Neither the name of the [organization] nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. |
| 09:26:23 | <DigitalKiwi> | can i have your permission now before you forget |
| 09:27:02 | <tomsmeding> | DigitalKiwi: permission for what, for promoting pastebin-haskell using my name as an endorsement? |
| 09:27:38 | <tomsmeding> | Yes, but the key phrase is derived products |
| 09:27:43 | <DigitalKiwi> | no, to promote my pastebin :D |
| 09:27:53 | <tomsmeding> | Right |
| 09:28:01 | <tomsmeding> | Ask again when your pastebin is done :p |
| 09:28:10 | <DigitalKiwi> | https://github.com/Kiwi/pastebin-haskell |
| 09:28:18 | <tomsmeding> | Lol |
| 09:28:22 | <DigitalKiwi> | just needs syntax highlighting ;( |
| 09:28:34 | <tomsmeding> | :p |
| 09:29:04 | <tomsmeding> | It seems that even only using the lgpl files from skylighting is uncertain legally |
| 09:29:25 | <DigitalKiwi> | https://github.com/Kiwi/absurd-paste-client i suppose i should at least reupload pastebin-haskell as absurd-paste-server right right? |
| 09:29:47 | <tomsmeding> | What would the rename accomplish :p |
| 09:30:17 | <tomsmeding> | DigitalKiwi: what happens if you paste void with apc |
| 09:30:33 | <darkling> | (About the skylighting XML files) We're back to the definition of "derivative work", which is where the idea about "should be able to run usefully without them" comes in. |
| 09:30:40 | <tomsmeding> | Right |
| 09:31:03 | <tomsmeding> | No idea if "no syntax highlighting" counts as running usefully |
| 09:31:19 | <DigitalKiwi> | https://youtu.be/DF6JhvbSMxs?t=18 |
| 09:31:20 | <tomsmeding> | Depends on what the exact legalese is, I guess |
| 09:31:20 | <darkling> | You've still got the pastebin functionality. |
| 09:31:34 | <darkling> | The problem is, there *is* no legalese. |
| 09:32:32 | <darkling> | This is the sort of thing that's covered by case law in most jurisdictions (particularly the common-law based ones like US, UK), and there's precious little case law around the (L)GPL. |
| 09:32:33 | <tomsmeding> | darkling: because it's too hard a concept to pin down? :P |
| 09:32:39 | <tomsmeding> | Ah |
| 09:32:56 | <tomsmeding> | I'm _definitely_ not going to move into legally uncertain territories |
| 09:33:02 | <DigitalKiwi> | lest us forget it doesn't ever matter unless someone takes you to court lol |
| 09:33:08 | <tomsmeding> | I know |
| 09:33:12 | <tomsmeding> | Nobody will |
| 09:33:18 | <tomsmeding> | Unless they're sick |
| 09:33:30 | <DigitalKiwi> | github getting away with robbery |
| 09:33:46 | → | gurkenglas joins (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 09:33:48 | <darkling> | Someone might ask you not to do it, though. |
| 09:34:42 | <DigitalKiwi> | hey anyone want to join in my quest to sue microsoft over copilot |
| 09:36:19 | <DigitalKiwi> | https://twitter.com/ArchKiwi/status/1415663069733269505 |
| 09:36:20 | <DigitalKiwi> | lol |
| 09:37:35 | <darkling> | tomsmeding: If I were in your position and wanting to use skylighting, I'd use the skylighting-core package, provide a basic XML syntax file in my own project, and then point at the LGPL file for anyone who wants better highlighting. |
| 09:39:56 | <tomsmeding> | darkling: could I host the pastebin as a website using the LGPL xml file? |
| 09:40:14 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:40:14 | <darkling> | Yes. |
| 09:40:28 | × | hnOsmium0001 quits (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity) |
| 09:40:29 | → | `2jt joins (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 09:40:59 | <tomsmeding> | darkling: hm, that is an option then. More complicated than I would like though |
| 09:41:47 | <darkling> | AFAIK, there's no Affero version of the LGPL anyway, and that was created precisely to extend the GPL-ness to "distribution" as a web app, because the GPL didn't deal with that case. |
| 09:42:07 | <tomsmeding> | Ah |
| 09:43:23 | <darkling> | However, if you want to make the source code public, you've still got to deal with your source being a derived work or not. You could ship with a small shell script that grabs the latest XML file and puts it in the right place. |
| 09:43:43 | <darkling> | (But maaaaybe not if you integrate that step into the build process) |
| 09:44:01 | <[exa]> | DigitalKiwi: lol |
| 09:46:08 | <tomsmeding> | darkling: yes that's how I interpreted that possibility, have a script that a user can optionally run that makes the application use the LGPL xml files |
| 09:46:44 | <tomsmeding> | I'd prefer the license situation to be simple |
| 09:46:54 | <tomsmeding> | (for this application) |
| 09:47:35 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 09:47:50 | × | acidjnk quits (~acidjnk@p200300d6e7246c33f99a28ea5fa0c307.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 09:55:00 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 09:56:24 | × | maroloccio quits (~marolocci@151.53.133.54) (Quit: WeeChat 3.0) |
| 10:02:29 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 10:03:58 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 10:12:31 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 10:20:00 | <DigitalKiwi> | should i go to the trouble of emailing everyone https://raw.githubusercontent.com/NixOS/nixpkgs/master/maintainers/maintainer-list.nix or just use github notifications lol |
| 10:20:30 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 10:20:57 | <DigitalKiwi> | https://twitter.com/ArchKiwi/status/1293321119135662080 |
| 10:21:45 | <DigitalKiwi> | it's about 2273 now lol |
| 10:29:25 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 10:29:57 | <tomsmeding> | DigitalKiwi: why would you want to email them all |
| 10:31:42 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 10:35:19 | × | cosimone` quits (~user@93-44-186-171.ip98.fastwebnet.it) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 10:35:22 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 10:36:17 | → | cosimone joins (~user@93-44-186-171.ip98.fastwebnet.it) |
| 10:36:29 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 10:42:05 | <DigitalKiwi> | ...warm up |
| 10:42:40 | <DigitalKiwi> | i only have 4 patrons :( https://www.patreon.com/mostlyabsurd |
| 10:43:06 | <DigitalKiwi> | ...and ~6 million email addresses |
| 10:45:42 | <Rembane> | Would the recipients become happy or sad by that e-mail? |
| 10:57:44 | <DigitalKiwi> | both |
| 11:02:38 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 11:04:51 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 11:05:26 | <DigitalKiwi> | https://mostlyabsurd.com/files/stickers-for-all.html i |
| 11:05:28 | <DigitalKiwi> | i |
| 11:05:30 | <DigitalKiwi> | can |
| 11:05:39 | <DigitalKiwi> | 't type .... |
| 11:05:53 | <DigitalKiwi> | what i'd meant to say was i'd like to email them that lol |
| 11:09:56 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Ping timeout: 272 seconds) |
| 11:12:28 | → | fockerize joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 11:12:55 | → | christiansen joins (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 11:18:10 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 11:20:33 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 11:24:24 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 11:28:28 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 11:28:30 | Furor | is now known as Colere |
| 11:29:36 | → | __monty__ joins (~toonn@user/toonn) |
| 11:34:50 | × | fockerize quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 11:35:24 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 11:37:16 | × | phma quits (~phma@2001:5b0:210f:4838:4693:94f9:748:968a) (Read error: Connection reset by peer) |
| 11:46:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:47:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 11:48:02 | → | dsrt^ joins (~dsrt@128-092-191-146.biz.spectrum.com) |
| 11:50:02 | → | pleo joins (~pleo@user/pleo) |
| 11:51:50 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 11:53:23 | → | phma joins (~phma@host-67-44-208-203.hnremote.net) |
| 11:56:35 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 11:57:06 | × | phma quits (~phma@host-67-44-208-203.hnremote.net) (Read error: Connection reset by peer) |
| 11:57:50 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 11:59:00 | → | phma joins (~phma@2001:5b0:210d:2bb8:432d:5d7d:a63c:c40f) |
| 11:59:58 | × | phma quits (~phma@2001:5b0:210d:2bb8:432d:5d7d:a63c:c40f) (Read error: Connection reset by peer) |
| 12:00:22 | → | phma joins (~phma@host-67-44-208-134.hnremote.net) |
| 12:02:44 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 12:03:39 | × | phma quits (~phma@host-67-44-208-134.hnremote.net) (Read error: Connection reset by peer) |
| 12:07:06 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 12:07:38 | → | phma joins (~phma@host-67-44-208-149.hnremote.net) |
| 12:08:15 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 12:09:54 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 12:11:05 | × | dsrt^ quits (~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 256 seconds) |
| 12:15:41 | → | maroloccio joins (~marolocci@151.53.133.54) |
| 12:17:42 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 12:18:15 | × | m1dnight quits (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.5) |
| 12:18:55 | → | m1dnight joins (~christoph@78-22-0-121.access.telenet.be) |
| 12:19:14 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 12:20:35 | <kuribas`> | What does higher kinded mean? |
| 12:20:35 | → | fockerize joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 12:20:45 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 12:20:54 | <kuribas`> | Does it mean type level function, or higher order type level function? |
| 12:21:11 | <kuribas`> | as in (* -> *) vs ((* -> *) -> *) |
| 12:21:29 | <kuribas`> | I've seen the term used for both. |
| 12:22:35 | <geekosaur> | not sure "higher kinded" means much by itself. "higher kinded data" means a data declaration which takes a non-Type parameter, for example |
| 12:23:13 | <kuribas`> | geekosaur: you mean including a phantom type? |
| 12:23:19 | <geekosaur> | no |
| 12:23:26 | <kuribas`> | or Data-kind? |
| 12:23:33 | <kuribas`> | data-kind is a non-Type |
| 12:23:38 | × | raghavgururajan quits (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
| 12:23:49 | → | vai joins (~nikola@91-150-114-80.dynamic.isp.telekom.rs) |
| 12:24:08 | <geekosaur> | the HKD trick is doing something like: data Foo f (f :: * -> *) = Foo { foo1 : f Int, foo2 : f Bool, ... } |
| 12:24:22 | <geekosaur> | so every field is lifted into a (usually) Functor |
| 12:25:00 | <geekosaur> | which lets you have a variant where every field is a Maybe for building up a datum, then use Identity when done |
| 12:25:03 | <kuribas`> | what's the term for having type functions? |
| 12:25:26 | <geekosaur> | (this is usually accompanied by a closed type family which elides Identity so the result is a normal record) |
| 12:25:59 | <kuribas`> | yeah, and adds complexity over a simple wrapper. |
| 12:26:24 | <kuribas`> | I don't get why people are afraid of having to type `Identity` or `Const`. |
| 12:27:25 | <kuribas`> | IMO the newtype wrapper makes the functor more visible, which is a good thing. |
| 12:28:36 | <vai> | if i use ^>= to specify dependence on an external library, what will happen if that library changes its version requirements on base after a minor version change such that i don't have that base version installed (and it cannot be installed on its own, as it's tied to the compiler)? will cabal just switch to the lower version of the library which i can compile or will it just fail? |
| 12:28:38 | × | fockerize quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 12:31:14 | <geekosaur> | that library is required to bump its version. cabal/stack solvers should determine you need the older base and use the older version of the library |
| 12:31:19 | → | notzmv joins (~zmv@user/notzmv) |
| 12:32:28 | <geekosaur> | what it should not do is break your build, since it had a working build plan before it should continue to use that build plan |
| 12:32:44 | → | coot joins (~coot@213.134.190.95) |
| 12:35:10 | <unit73e> | as much as vscode is convenient (sort off) I always end up going back to nvim |
| 12:35:22 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:35:40 | <unit73e> | not much of an emacs fan, just because I would have to relearn it |
| 12:39:01 | → | dsrt^ joins (~dsrt@128-092-191-146.biz.spectrum.com) |
| 12:40:01 | <vai> | geekosaur: but solvers will not do that, right? |
| 12:40:19 | <kuribas`> | geekosaur: https://medium.com/@johnmcclean/simulating-higher-kinded-types-in-java-b52a18b72c74 |
| 12:40:30 | × | kor1 quits (~kor1@user/kor1) (Ping timeout: 240 seconds) |
| 12:40:33 | <kuribas`> | geekosaur: here higher kinded just seems to mean "having type functions". |
| 12:41:00 | <geekosaur[m]> | Solvers will not do what? |
| 12:42:20 | → | acidjnk joins (~acidjnk@p200300d6e7246c33f99a28ea5fa0c307.dip0.t-ipconnect.de) |
| 12:43:05 | <geekosaur[m]> | kuribas`: I think everyone has a different definition, like everyone has a different definition of functor |
| 12:43:37 | <kuribas`> | How many language allow nAry type constructors? |
| 12:44:22 | <vai> | select the lower version because it needs base that i have, unlike a higher version |
| 12:45:26 | <geekosaur[m]> | Solvers do that, it's a large part of why they exist |
| 12:45:55 | <vai> | cool then |
| 12:46:43 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 12:48:48 | <kuribas`> | java doesn't allow nAry types in generics, does it? |
| 12:49:00 | <kuribas`> | Functor isn't expressible? |
| 12:52:27 | <geekosaur[m]> | I don't think so |
| 12:52:59 | <geekosaur[m]> | That said I am no Java expert |
| 12:53:40 | × | vai quits (~nikola@91-150-114-80.dynamic.isp.telekom.rs) (Quit: leaving) |
| 12:54:40 | <hpc> | yeah, you can't class Foo<F> {F<A> something(){}} |
| 12:55:11 | <geekosaur[m]> | And in any case I pointed to functor just because it has at least three different meanings. |
| 12:55:57 | <geekosaur[m]> | The C++ one might be partially doable in Java |
| 12:56:30 | → | MajorBiscuit joins (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 12:57:21 | → | kor1 joins (~kor1@user/kor1) |
| 12:59:44 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:59:50 | × | dsrt^ quits (~dsrt@128-092-191-146.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 13:06:16 | → | dsrt^ joins (~dsrt@128-092-191-146.biz.spectrum.com) |
| 13:06:52 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 13:11:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Ping timeout: 264 seconds) |
| 13:11:43 | × | MajorBiscuit quits (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 13:21:36 | <tomsmeding> | A c++ "functor" is an object with an overloaded function-application operation |
| 13:21:58 | <tomsmeding> | Completely unrelated to what haskellers understand when they hear "functor" :p |
| 13:22:54 | <geekosaur> | exactly. and then there's the ML definition, which is a parameterized module |
| 13:23:27 | <geekosaur> | gotta be careful with what others mean by various terms |
| 13:24:06 | <Rembane> | And there's at least one definition in category theory and other mathematics. |
| 13:28:42 | → | phma_ joins (~phma@host-67-44-209-41.hnremote.net) |
| 13:29:08 | × | pleo quits (~pleo@user/pleo) (Quit: quit) |
| 13:29:16 | × | phma quits (~phma@host-67-44-208-149.hnremote.net) (Read error: Connection reset by peer) |
| 13:29:24 | × | frost quits (~frost@user/frost) (Ping timeout: 252 seconds) |
| 13:30:12 | <geekosaur> | (and in particular it's not uncommon that other languages try to take something from Haskell, but treat just one aspect of it as the main aspect because it's the only one they can emulate) |
| 13:30:52 | → | Guest1550 joins (~martin@ip5f5bdf31.dynamic.kabel-deutschland.de) |
| 13:30:57 | × | AndChat-624225 quits (~trace@user/trace) (Read error: Connection reset by peer) |
| 13:31:10 | → | alexhandy joins (~trace@user/trace) |
| 13:36:43 | × | dextaa quits (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 13:38:22 | Guest1550 | is now known as BusConscious |
| 13:38:54 | → | dextaa joins (~DV@user/dextaa) |
| 13:42:00 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 13:42:23 | → | gentauro joins (~gentauro@user/gentauro) |
| 13:42:24 | × | dextaa quits (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 13:44:35 | → | dextaa joins (~DV@user/dextaa) |
| 13:47:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:48:57 | → | machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 13:50:22 | → | zxx7529 joins (~Thunderbi@user/zxx7529) |
| 13:51:20 | → | nate4 joins (~nate@98.45.169.16) |
| 13:52:04 | × | xff0x quits (~xff0x@2405:6580:b080:900:a3df:31c3:754f:b320) (Ping timeout: 272 seconds) |
| 13:52:21 | → | xff0x joins (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 13:54:19 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 13:55:30 | × | nate4 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 14:01:55 | → | kenran joins (~kenran@200116b82bba5a00b5db2db65ae018a5.dip.versatel-1u1.de) |
| 14:03:08 | × | kenran quits (~kenran@200116b82bba5a00b5db2db65ae018a5.dip.versatel-1u1.de) (Client Quit) |
| 14:07:34 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 14:07:44 | <matthewmosior> | Hello! |
| 14:10:07 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 14:11:10 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 14:15:32 | <tomsmeding> | o/ |
| 14:15:38 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 14:16:24 | → | coot joins (~coot@213.134.190.95) |
| 14:17:33 | → | junjie_wu joins (~user@103.107.42.32) |
| 14:19:44 | <junjie_wu> | Hi there, a maybe silly question. I'm new to Haskell and just learned that Maybe can be a Monoid. One way is the Last newtype, after looking into the source code, I'm wondering why it does not have a customized mconcat method. Implement mconcat using foldl' is definitely better than the default foldr in performance. Can anybody enlighten me the reason? |
| 14:20:55 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 14:23:27 | <kuribas`> | I don't know about mconcat, but there is a strict foldMap in Data.Foldable. |
| 14:24:02 | <kuribas`> | > getLast $ foldMap Last [Nothing, Just 1, Just 3] |
| 14:24:04 | <lambdabot> | error: |
| 14:24:04 | <lambdabot> | Ambiguous occurrence ‘getLast’ |
| 14:24:04 | <lambdabot> | It could refer to |
| 14:24:23 | <kuribas`> | > Data.Monoid.getLast $ foldMap Last [Nothing, Just 1, Just 3] |
| 14:24:25 | <lambdabot> | error: |
| 14:24:25 | <lambdabot> | Ambiguous occurrence ‘Last’ |
| 14:24:25 | <lambdabot> | It could refer to |
| 14:24:34 | <kuribas`> | > Data.Monoid.getLast $ foldMap Data.Monoid.Last [Nothing, Just 1, Just 3] |
| 14:24:36 | <lambdabot> | Just 3 |
| 14:24:41 | <kuribas`> | > Data.Monoid.getLast $ foldMap Data.Monoid.Last [Nothing, undefined, Just 3] |
| 14:24:43 | <lambdabot> | Just 3 |
| 14:24:50 | <kuribas`> | > Data.Monoid.getLast $ foldMap' Data.Monoid.Last [Nothing, undefined, Just 3] |
| 14:24:53 | <lambdabot> | *Exception: Prelude.undefined |
| 14:24:56 | <[exa]> | also `ala` |
| 14:25:12 | <[exa]> | junjie_wu: you might like this https://hackage.haskell.org/package/lens-5.1.1/docs/Control-Lens-Combinators.html#v:ala |
| 14:26:09 | → | pleo joins (~pleo@user/pleo) |
| 14:28:18 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 14:29:08 | <junjie_wu> | [exa] kuribas` thanks for the tips! |
| 14:34:06 | × | junjie_wu quits (~user@103.107.42.32) (Quit: rcirc on GNU Emacs 28.1) |
| 14:36:36 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 14:38:56 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 14:42:15 | × | dsrt^ quits (~dsrt@128-092-191-146.biz.spectrum.com) (Remote host closed the connection) |
| 14:42:21 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 14:43:31 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 14:43:35 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Ping timeout: 255 seconds) |
| 15:00:36 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 15:00:50 | → | mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 15:02:52 | → | waleee joins (~waleee@h-176-10-144-223.NA.cust.bahnhof.se) |
| 15:03:40 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
| 15:06:43 | ← | jakalx parts (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 15:06:44 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 15:09:14 | → | lexixcx joins (~alex@cpc151793-shef17-2-0-cust19.17-1.cable.virginm.net) |
| 15:11:51 | × | `2jt quits (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 15:12:09 | → | `2jt joins (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 15:14:45 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 15:15:43 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:16:12 | → | Guest|69 joins (~Guest|69@1.200.121.21) |
| 15:16:15 | × | Guest|69 quits (~Guest|69@1.200.121.21) (Client Quit) |
| 15:16:18 | × | christiansen quits (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds) |
| 15:16:52 | → | Guest|74 joins (~Guest|74@1.200.121.21) |
| 15:18:05 | × | mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 256 seconds) |
| 15:19:51 | → | mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 15:20:29 | × | machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 15:21:06 | <Guest|74> | excuse me |
| 15:21:28 | <Guest|74> | i have issue on installing |
| 15:21:58 | <Guest|74> | am i in the right chanel? |
| 15:22:10 | × | pleo quits (~pleo@user/pleo) (Ping timeout: 240 seconds) |
| 15:22:22 | <int-e> | maybe |
| 15:23:03 | <int-e> | (for example, if you're installing an antenna... no you're not) |
| 15:23:54 | <Guest|74> | curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh |
| 15:24:36 | <Guest|74> | i copy this to term |
| 15:24:54 | <Guest|74> | but it failed |
| 15:25:18 | <Guest|74> | by macOs |
| 15:25:59 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 15:26:39 | <Guest|74> | curl performs SSL certificate verification by default, using a "bundle" |
| 15:26:40 | <Guest|74> | of Certificate Authority (CA) public keys (CA certs). If the default |
| 15:26:40 | <Guest|74> | bundle file isn't adequate, you can specify an alternate file |
| 15:26:41 | <Guest|74> | using the --cacert option. |
| 15:26:41 | <Guest|74> | If this HTTPS server uses a certificate signed by a CA represented in |
| 15:26:42 | <Guest|74> | the bundle, the certificate verification probably failed due to a |
| 15:26:42 | <Guest|74> | problem with the certificate (it might be expired, or the name might |
| 15:26:43 | <Guest|74> | not match the domain name in the URL). |
| 15:26:43 | <Guest|74> | If you'd like to turn off curl's verification of the certificate, use |
| 15:26:44 | <Guest|74> | the -k (or --insecure) option. |
| 15:26:44 | <Guest|74> | HTTPS-proxy has similar options --proxy-cacert and --proxy-insecure. |
| 15:27:04 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Remote host closed the connection) |
| 15:27:10 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 15:27:22 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 15:27:34 | → | machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 15:28:03 | × | waleee quits (~waleee@h-176-10-144-223.NA.cust.bahnhof.se) (Remote host closed the connection) |
| 15:29:09 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 15:31:13 | × | shapr quits (~user@2600:4040:2d31:7100:a531:2b41:3f53:e202) (Remote host closed the connection) |
| 15:31:26 | → | shapr joins (~user@2600:4040:2d31:7100:101e:d56a:4512:22d5) |
| 15:32:22 | → | Midjak joins (~Midjak@82.66.147.146) |
| 15:32:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:34:08 | <[exa]> | Guest|74: well looks like Mac certificates changed a bit or something |
| 15:34:22 | <[exa]> | Guest|74: can you download the file using the browser and run it manually with 'sh' ? |
| 15:34:57 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 276 seconds) |
| 15:35:12 | <Guest|74> | browers?? |
| 15:35:52 | <Guest|74> | sorry what is sh |
| 15:36:07 | <[exa]> | ah you are new to commandline? |
| 15:36:24 | <Guest|74> | yes very new |
| 15:36:39 | <Guest|74> | like a new born baby |
| 15:36:42 | <[exa]> | you can type this url https://get-ghcup.haskell.org into the browser, which should download you the script which installs the ghcup |
| 15:37:11 | <[exa]> | you will then need to run the script manually from terminal, using `sh` which is shell program, aka terminal command interpreter, which can run the installation script |
| 15:37:42 | <maerwald> | [exa]: we're already instructing on #haskell-ghcup |
| 15:37:49 | <[exa]> | ah okay great :] |
| 15:37:56 | <[exa]> | good luck then |
| 15:39:30 | × | mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 260 seconds) |
| 15:41:26 | → | mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 15:41:29 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 15:42:26 | × | kor1 quits (~kor1@user/kor1) (Quit: Leaving.) |
| 15:42:35 | <Guest|74> | thank you |
| 15:43:10 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 15:45:33 | <lexixcx> | I am trying to get Haskell Language Server working, but I get this error log https://pastebin.com/dCgm0UNM |
| 15:45:54 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:45:59 | <maerwald> | lexixcx: https://github.com/haskell/vscode-haskell#ghc-abis-dont-match |
| 15:46:15 | <lexixcx> | thanks maerwald, I will read this |
| 15:46:16 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 15:46:38 | → | ubert joins (~Thunderbi@178.165.191.175.wireless.dyn.drei.com) |
| 15:48:46 | <radhika> | Hi .. are there any tutorials or examples of use of Haskell for data science.. eg like importing a csv and getting aggregates like sum group etc and outputting to another csv?? |
| 15:53:15 | <monochrom> | I thought that was Excel. |
| 15:54:02 | <Rembane> | radhika: There's a book about it, I haven't read it but it might be helpful for you: http://haskelldata.com/ |
| 15:55:29 | <lexixcx> | thanks maerwald, you fixed it for me |
| 15:55:42 | <mesaoptimizer> | that ABI error was quite annoying. I switched to cabal after encountering it |
| 15:56:37 | × | mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 256 seconds) |
| 15:56:37 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 15:56:49 | <radhika> | monochrom: it is excel work.. I want to try and automate it in Haskell.. |
| 15:57:07 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 15:57:09 | <radhika> | Similar to what is done using pandas in python |
| 15:58:10 | × | machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 15:58:16 | <radhika> | Rembane: I saw this book.. not exactly what I was looking for.. focussed on stats.. |
| 15:58:41 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 15:59:11 | <Rembane> | radhika: If you want to use pandas I think pandas is the best tool for the job. |
| 15:59:22 | → | mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 15:59:39 | <Rembane> | radhika: OTOH, there is this: https://hackage.haskell.org/package/Frames |
| 15:59:49 | <radhika> | Rembane: r u saying Haskell is not suitable for this kind of work?? |
| 16:00:09 | → | machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 16:00:13 | <Rembane> | radhika: Yes |
| 16:06:43 | <radhika> | Rembane: oh.. I read somewhere Haskell is extremely suitable for data pipelines.. was not able to find any examples so was curious.. |
| 16:07:42 | <radhika> | Rembane: thanks for the help |
| 16:07:49 | <Rembane> | radhika: I haven't seen it used for that in the wild. No worries. :) |
| 16:09:05 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 16:09:14 | → | econo joins (uid147250@user/econo) |
| 16:10:30 | → | crazazy joins (~chatzilla@2001:1c00:831:4700:d072:b7cc:eb75:14a8) |
| 16:13:43 | → | jgeerds joins (~jgeerds@55d437cf.access.ecotel.net) |
| 16:14:43 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 16:15:09 | → | califax joins (~califax@user/califx) |
| 16:15:48 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 16:15:52 | → | beka joins (~beka@104.193.170.240) |
| 16:16:03 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 16:16:38 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 16:17:12 | phma_ | is now known as phma |
| 16:19:17 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 16:20:06 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 16:20:23 | → | pleo joins (~pleo@user/pleo) |
| 16:21:45 | × | jgeerds quits (~jgeerds@55d437cf.access.ecotel.net) (Ping timeout: 276 seconds) |
| 16:22:05 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 16:23:17 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 16:23:17 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 16:23:19 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Remote host closed the connection) |
| 16:23:20 | allbery_b | is now known as geekosaur |
| 16:23:50 | × | mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Ping timeout: 240 seconds) |
| 16:24:12 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 16:24:52 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 16:26:13 | × | Me-me quits (~me-me@user/me-me) (Quit: Disconnecting on purpose.) |
| 16:27:11 | → | mcglk joins (~mcglk@160-2-67-53.cpe.sparklight.net) |
| 16:27:58 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 16:28:32 | → | Me-me joins (~me-me@v.working.name) |
| 16:31:20 | × | lexixcx quits (~alex@cpc151793-shef17-2-0-cust19.17-1.cable.virginm.net) (Remote host closed the connection) |
| 16:36:32 | × | mcglk quits (~mcglk@160-2-67-53.cpe.sparklight.net) (Quit: (zzz)) |
| 16:38:00 | × | unit73e quits (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 272 seconds) |
| 16:38:53 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Remote host closed the connection) |
| 16:42:42 | → | gaff joins (~gaff@49.207.216.80) |
| 16:42:48 | × | gaff quits (~gaff@49.207.216.80) (Client Quit) |
| 16:44:01 | × | zxx7529 quits (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 16:44:15 | × | AkechiShiro quits (~licht@user/akechishiro) (Quit: WeeChat 3.5) |
| 16:48:11 | × | mbuf quits (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 16:48:53 | × | Guest|74 quits (~Guest|74@1.200.121.21) (Quit: Connection closed) |
| 16:49:13 | → | hnOsmium0001 joins (uid453710@user/hnOsmium0001) |
| 16:52:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 16:54:03 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 16:55:32 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 16:56:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:59:27 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 16:59:27 | × | ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 276 seconds) |
| 17:01:21 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
| 17:02:01 | <__monty__> | Maybe it's because of all the streaming frameworks? |
| 17:05:15 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:05:35 | → | zxx7529 joins (~Thunderbi@user/zxx7529) |
| 17:06:32 | → | yax__ joins (~yax@user/yax/x-9576643) |
| 17:07:27 | <yax__> | hi |
| 17:07:43 | × | noddy quits (~user@user/noddy) (Quit: WeeChat 3.5) |
| 17:07:49 | <geekosaur> | hi |
| 17:09:03 | → | jgeerds joins (~jgeerds@55d437cf.access.ecotel.net) |
| 17:09:43 | × | yax__ quits (~yax@user/yax/x-9576643) (Client Quit) |
| 17:10:44 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:11:13 | → | yax___ joins (~yax@user/yax/x-9576643) |
| 17:13:09 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 17:17:55 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 17:18:02 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 17:19:08 | → | unit73e joins (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 17:19:25 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 17:21:33 | × | pleo quits (~pleo@user/pleo) (Ping timeout: 276 seconds) |
| 17:26:56 | → | ShalokShalom joins (~quassel@2a02:8109:b40:42f4:4f45:338b:3ba8:8f20) |
| 17:27:17 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 17:28:15 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 17:30:52 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 17:30:59 | → | cyphase_eviltwin joins (~cyphase@user/cyphase) |
| 17:32:57 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 17:39:46 | × | ShalokShalom quits (~quassel@2a02:8109:b40:42f4:4f45:338b:3ba8:8f20) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 17:43:57 | × | alp quits (~alp@user/alp) (Remote host closed the connection) |
| 17:44:18 | → | alp joins (~alp@user/alp) |
| 17:44:45 | × | crazazy quits (~chatzilla@2001:1c00:831:4700:d072:b7cc:eb75:14a8) (Quit: ChatZilla 0.11 [SeaMonkey 2.53.11/20220220154834]) |
| 17:49:10 | → | henrytill joins (~user@2601:204:e881:4ac0:b3e4:6ff0:1e3c:3008) |
| 17:57:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:01:42 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 18:02:29 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:06:23 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 256 seconds) |
| 18:07:54 | × | yax___ quits (~yax@user/yax/x-9576643) (Ping timeout: 264 seconds) |
| 18:11:06 | × | martin02 quits (~silas@141.84.69.76) (Ping timeout: 272 seconds) |
| 18:15:19 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 18:15:34 | → | pleo joins (~pleo@user/pleo) |
| 18:17:08 | × | zxx7529 quits (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 18:19:13 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:22:55 | → | martin02 joins (~silas@141.84.69.76) |
| 18:23:00 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 18:23:58 | × | acacia quits (~alloca@user/suppi) (Quit: WeeChat 1.9.1) |
| 18:24:26 | → | coot joins (~coot@213.134.190.95) |
| 18:25:08 | → | yax__ joins (~yax@user/yax/x-9576643) |
| 18:29:14 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:31:08 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 18:31:33 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 18:32:30 | × | pleo quits (~pleo@user/pleo) (Ping timeout: 240 seconds) |
| 18:33:47 | × | mzan quits (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 18:35:48 | × | Fischmie1 quits (~Fischmiep@user/Fischmiep) (Quit: WeeChat 3.0) |
| 18:35:57 | × | henrytill quits (~user@2601:204:e881:4ac0:b3e4:6ff0:1e3c:3008) (Quit: ERC (IRC client for Emacs 27.1)) |
| 18:37:40 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 18:41:51 | → | mzan joins (~quassel@mail.asterisell.com) |
| 18:43:41 | × | mzan quits (~quassel@mail.asterisell.com) (Client Quit) |
| 18:44:45 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 18:46:22 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 18:46:33 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:48:03 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 18:49:30 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 18:52:01 | × | yax__ quits (~yax@user/yax/x-9576643) (Remote host closed the connection) |
| 18:53:57 | → | mzan joins (~quassel@mail.asterisell.com) |
| 19:03:37 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 19:07:11 | × | matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 19:07:17 | → | matthewmosior joins (~matthewmo@173.170.253.91) |
| 19:08:47 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 19:10:29 | × | kuribas` quits (~user@ptr-17d51epr8e240d12iuq.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 19:12:28 | × | matthewmosior quits (~matthewmo@173.170.253.91) () |
| 19:17:15 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 19:18:49 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 19:21:42 | × | jgeerds quits (~jgeerds@55d437cf.access.ecotel.net) (Ping timeout: 264 seconds) |
| 19:21:51 | × | beka quits (~beka@104.193.170.240) (Quit: WeeChat 3.0) |
| 19:23:18 | × | ubert quits (~Thunderbi@178.165.191.175.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 19:27:17 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 19:31:02 | → | dostoevsky6 joins (~5c42c5384@user/dostoevsky) |
| 19:33:05 | × | dostoevsky quits (~5c42c5384@user/dostoevsky) (Ping timeout: 256 seconds) |
| 19:33:06 | dostoevsky6 | is now known as dostoevsky |
| 19:38:45 | × | machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 19:45:08 | → | Cale joins (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 19:47:29 | → | Guest2638 joins (~Guest26@136.56.140.2) |
| 19:48:06 | <Guest2638> | Are there any examples of Profunctors that are Sieves but not Representable? |
| 19:48:26 | → | pleo joins (~pleo@user/pleo) |
| 19:50:00 | <Guest2638> | Is it a case like Distributive an Functor.Representable, where they could actually be a single class? |
| 19:53:40 | <Guest2638> | I tried reading ncatlab, and they talk about sieves being a subset of representable functors, but I'm not sure whether it's talking about the same things. |
| 19:54:50 | → | dudek joins (~dudek@185.150.236.103) |
| 19:55:33 | × | pleo quits (~pleo@user/pleo) (Quit: quit) |
| 19:56:36 | <geekosaur> | subset sounds like it would go the other direction, assuming they are: there would be things that are Representable but not Sieve |
| 19:57:13 | <geekosaur> | but I know very little about these things, and the only person I know who does I'm hesitant to randomly bug |
| 19:57:21 | <Guest2638> | Yeah, but again, I'm not sure whether they're talking about the same thing. |
| 19:58:12 | <Guest2638> | No worries. Nobody is going to die if I don't find out today. |
| 20:00:52 | <Guest2638> | 'Sieve' and 'Profunctor.Representable' do seem to break up 'Functor.Representable' into separate index and tabulate classes. Again, no idea which way is more sound. |
| 20:01:27 | → | ix joins (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 20:01:44 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:01:47 | → | pleo joins (~pleo@user/pleo) |
| 20:02:49 | → | mikoto-chan joins (~mikoto-ch@d59mf84twhjn22gzzgy-4.rev.dnainternet.fi) |
| 20:03:55 | <sshine> | in other news: someone died because Guest2638 didn't find out today. |
| 20:04:01 | <pleo> | dude |
| 20:04:27 | <sshine> | :-P |
| 20:05:45 | <hpc> | maybe you're reading the conditional wrong, and if he finds out today someone /will/ die |
| 20:05:53 | pleo | is now known as thepope |
| 20:06:03 | <sshine> | if representable functors are isomorphic to the reader monad, what's the use of having a separate notion? |
| 20:07:03 | <geekosaur> | is that a general isomorphism, or one specific to Hask? |
| 20:07:04 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:07:32 | <sshine> | ah, it's a general thing. I see that a Representable is indexable by some concrete Haskell type. |
| 20:07:56 | <hpc> | look at the instance lists on hackage |
| 20:08:01 | <hpc> | they're also different kinds entirely |
| 20:08:26 | <hpc> | for example, there's instance Representable Identity |
| 20:10:14 | thepope | is now known as billcosby |
| 20:10:51 | → | fockerize joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 20:11:03 | <sshine> | so something is always Representable with respect to a particular Rep f :: * for each instance. |
| 20:11:36 | <billcosby> | no |
| 20:12:03 | <sshine> | https://hackage.haskell.org/package/adjunctions-4.4/docs/src/Data-Functor-Rep.html#line-339 -- it just looks that way. how can type Rep differ for one instance, then? |
| 20:17:37 | <monochrom> | The reader monad is a specific programming thing. Representable functors are a general category theory thing. |
| 20:17:37 | × | cosimone quits (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 20:17:41 | → | jgeerds joins (~jgeerds@55d437cf.access.ecotel.net) |
| 20:18:00 | <geekosaur> | that was what I was angling toward with the Hask question tbh |
| 20:18:15 | <sshine> | sure, I understand. |
| 20:18:29 | → | dcoutts joins (~duncan@host86-176-29-6.range86-176.btcentralplus.com) |
| 20:18:46 | geekosaur | is rather more devops than math 🙂 |
| 20:18:59 | <monochrom> | However I don't make a big fuzz about the difference when representable functors are applied to programming. Then it's the reader monad. |
| 20:19:07 | <monochrom> | Why are there two notions? |
| 20:19:29 | <sshine> | so I suppose in general you can think of a Representable instance over some type with multiple Rep f's. but you can't have multiple instances of Representable for the same type in Haskell with differing Rep f's, can you? |
| 20:19:43 | <monochrom> | Well if you can explain why there are these two notions: continuations and callbacks, then I know how to answer. :) |
| 20:20:08 | <sshine> | monochrom, I think that comparison makes sense to me :) |
| 20:20:21 | <monochrom> | BTW I also know of people who advocate unnecessary differences ("differences") between flatMap and >>= |
| 20:23:43 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:24:22 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:24:34 | <dolio> | https://ncatlab.org/nlab/show/concept+with+an+attitude |
| 20:25:37 | → | cosimone joins (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) |
| 20:26:36 | × | ix quits (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
| 20:26:56 | <int-e> | :t concatMap |
| 20:26:57 | <lambdabot> | Foldable t => (a -> [b]) -> t a -> [b] |
| 20:27:35 | → | machinedgod joins (~machinedg@184.68.124.102) |
| 20:27:58 | → | ix joins (~ix@82-71-2-184.dsl.in-addr.zen.co.uk) |
| 20:30:57 | × | alexhandy quits (~trace@user/trace) (Read error: Connection reset by peer) |
| 20:31:09 | → | alexhandy joins (~trace@user/trace) |
| 20:33:11 | <Guest2638> | `instance MonadReader () Identity where{ reader f = Identity (f ()); local _ x = x }` |
| 20:33:17 | <Guest2638> | It's just trivial. |
| 20:34:59 | billcosby | is now known as pleo |
| 20:36:05 | → | pavonia joins (~user@user/siracusa) |
| 20:37:21 | <hpc> | dolio: that's a good link |
| 20:37:45 | → | chomwitt joins (~chomwitt@2a02:587:dc0d:4a00:bc12:23b1:7459:b5b8) |
| 20:37:50 | × | `2jt quits (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 20:40:00 | <dolio> | It pays to read the nlab. |
| 20:44:38 | × | Guest2638 quits (~Guest26@136.56.140.2) (Ping timeout: 252 seconds) |
| 20:44:56 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 255 seconds) |
| 20:45:57 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 20:46:09 | pleo | is now known as billcosby |
| 20:48:57 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::909a) |
| 20:51:50 | × | mikoto-chan quits (~mikoto-ch@d59mf84twhjn22gzzgy-4.rev.dnainternet.fi) (Ping timeout: 240 seconds) |
| 20:53:40 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 20:56:24 | → | cosimone` joins (~user@93-44-186-171.ip98.fastwebnet.it) |
| 20:56:52 | → | dsrt^ joins (~dsrt@50-246-23-230-static.hfc.comcastbusiness.net) |
| 20:57:01 | × | qwedfg quits (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 20:57:41 | × | cosimone quits (~user@2001:b07:ae5:db26:57c7:21a5:6e1c:6b81) (Read error: Connection reset by peer) |
| 21:03:04 | → | qwedfg joins (~qwedfg@user/qwedfg) |
| 21:07:24 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 21:07:43 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 21:10:11 | → | Guest2652 joins (~Guest26@136.56.140.2) |
| 21:20:10 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 21:21:40 | × | billcosby quits (~pleo@user/pleo) (Quit: quit) |
| 21:21:57 | → | pleo joins (~pleo@user/pleo) |
| 21:23:54 | × | pleo quits (~pleo@user/pleo) (Client Quit) |
| 21:24:10 | → | pleo joins (~pleo@user/pleo) |
| 21:24:36 | × | Guest2652 quits (~Guest26@136.56.140.2) (Quit: Client closed) |
| 21:24:50 | pleo | is now known as shutup |
| 21:28:20 | × | unit73e quits (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Remote host closed the connection) |
| 21:28:41 | × | dsrt^ quits (~dsrt@50-246-23-230-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds) |
| 21:37:22 | × | adium quits (adium@user/adium) (Ping timeout: 246 seconds) |
| 21:37:42 | <shutup> | Hi My name Is Edward Twindleton |
| 21:38:27 | <shutup> | I am from Glasgow Steer Committee |
| 21:39:08 | <shutup> | I like rugby because I am closested gay man |
| 21:41:13 | <geekosaur> | wrong channel |
| 21:45:27 | × | machinedgod quits (~machinedg@184.68.124.102) (Ping timeout: 276 seconds) |
| 21:48:08 | → | dsrt^ joins (~dsrt@50-246-23-230-static.hfc.comcastbusiness.net) |
| 21:49:39 | shutup | is now known as billcosby |
| 21:58:02 | <monochrom> | You know what, |
| 21:58:04 | ChanServ | sets mode +o monochrom |
| 21:58:08 | monochrom | sets mode +b *!*@user/pleo |
| 21:58:08 | billcosby | is kicked by monochrom (billcosby) |
| 21:58:34 | monochrom | sets mode -b+b *!*@user/pleo $a:pleo |
| 21:58:40 | monochrom | sets mode -o monochrom |
| 21:58:55 | <geekosaur> | I considered it but figured that was the lamest troll I've seen in a long time and not really worthy of any response |
| 21:59:26 | <geekosaur> | so I said "wrong channel" and went back to making dinner |
| 21:59:33 | → | machinedgod joins (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 21:59:36 | × | toluene quits (~toluene@user/toulene) (Read error: Connection reset by peer) |
| 22:00:21 | <geekosaur> | (I did miss that was the same person whose earlier "no" raised my hackles though) |
| 22:01:11 | → | toluene joins (~toluene@user/toulene) |
| 22:01:11 | <monochrom> | I wanted to not bother too, but then the nick change is indicative that they intend further disruptions. |
| 22:03:55 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:06:58 | × | fockerize quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 22:10:02 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:12:26 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 22:15:41 | × | acidjnk quits (~acidjnk@p200300d6e7246c33f99a28ea5fa0c307.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 22:18:19 | × | Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 246 seconds) |
| 22:20:49 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:22:39 | × | dudek quits (~dudek@185.150.236.103) (Quit: Leaving) |
| 22:25:39 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Remote host closed the connection) |
| 22:25:44 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:25:58 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 22:26:47 | <maerwald> | lol |
| 22:27:08 | <maerwald> | freenode had better trolls |
| 22:29:10 | <Clint> | demand a refund |
| 22:39:24 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 276 seconds) |
| 22:40:27 | × | chomwitt quits (~chomwitt@2a02:587:dc0d:4a00:bc12:23b1:7459:b5b8) (Ping timeout: 260 seconds) |
| 22:41:51 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:43:04 | → | sagax joins (~sagax_nb@user/sagax) |
| 22:45:06 | × | Kevin578 quits (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 22:50:53 | → | fockerize joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 22:58:52 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:02:30 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 264 seconds) |
| 23:03:47 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 23:05:01 | → | zaquest joins (~notzaques@5.130.79.72) |
| 23:14:00 | × | fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:18:08 | → | merijn joins (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) |
| 23:20:30 | → | adium joins (adium@user/adium) |
| 23:22:07 | → | Kevin578 joins (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 23:25:33 | × | fockerize quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 276 seconds) |
| 23:26:02 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 23:27:37 | → | Ram-Z joins (~Ram-Z@li1814-254.members.linode.com) |
| 23:28:16 | <DigitalKiwi> | freenode had bruenig before he was famous lol |
| 23:30:54 | × | liz quits (~liz@host86-159-158-175.range86-159.btcentralplus.com) (Quit: Lost terminal) |
| 23:31:17 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) (Ping timeout: 244 seconds) |
| 23:35:37 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 23:35:54 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 23:49:22 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:4df7:4e2c:3ff5:237f) |
| 23:50:21 | × | merijn quits (~merijn@c-001-001-028.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 23:53:10 | × | machinedgod quits (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds) |
All times are in UTC on 2022-07-10.