Home liberachat/#haskell: Logs Calendar

Logs on 2023-01-29 (liberachat/#haskell)

00:02:40 → f2 joins (~f@129.234.0.191)
00:03:06 × f2 quits (~f@129.234.0.191) (Client Quit)
00:03:54 → freeside joins (~mengwong@103.252.202.170)
00:10:07 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
00:18:59 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
00:26:08 → freeside joins (~mengwong@103.252.202.170)
00:30:34 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds)
00:39:43 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Remote host closed the connection)
00:50:33 → dsrt^ joins (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
00:55:03 × acidjnk quits (~acidjnk@p200300d6e715c413fca66e98e589647d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
00:55:43 → opticblast joins (~Thunderbi@172.58.84.5)
00:56:16 → freeside joins (~mengwong@103.252.202.170)
01:00:41 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
01:08:02 × ell quits (~ellie@user/ellie) (Quit: Ping timeout (120 seconds))
01:08:21 → ell joins (~ellie@user/ellie)
01:13:53 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246)
01:18:51 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
01:18:51 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
01:18:51 → wroathe joins (~wroathe@user/wroathe)
01:22:11 → motherfsck joins (~motherfsc@user/motherfsck)
01:24:17 → freeside joins (~mengwong@103.252.202.170)
01:28:31 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
01:28:57 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Remote host closed the connection)
01:35:58 → emmanuelux joins (~emmanuelu@user/emmanuelux)
01:44:21 × beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 255 seconds)
01:46:25 → freeside joins (~mengwong@103.252.202.170)
01:48:15 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds)
01:50:55 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
01:55:08 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c)
01:56:06 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
01:56:06 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
01:56:06 → wroathe joins (~wroathe@user/wroathe)
02:04:16 → freeside joins (~mengwong@103.252.202.170)
02:08:32 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
02:14:23 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
02:15:25 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
02:29:22 → jimmy2shoots joins (~igloo@071-085-131-232.res.spectrum.com)
02:34:18 → freeside joins (~mengwong@103.252.202.170)
02:36:59 → gmg joins (~user@user/gehmehgeh)
02:38:22 × jimmy2shoots quits (~igloo@071-085-131-232.res.spectrum.com) (Remote host closed the connection)
02:39:47 × gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds)
02:49:26 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
02:58:26 × unit73e quits (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Remote host closed the connection)
03:01:52 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds)
03:03:05 A_Cow is now known as oldfashionedcow
03:06:22 → razetime joins (~Thunderbi@117.193.7.249)
03:07:33 → bilegeek joins (~bilegeek@2600:1008:b020:8240:8b42:f523:cd42:2b12)
03:13:25 → jargon joins (~jargon@184.101.188.5)
03:14:26 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds)
03:14:55 → gmg joins (~user@user/gehmehgeh)
03:15:39 × td_ quits (~td@i53870921.versanet.de) (Ping timeout: 260 seconds)
03:17:05 → td_ joins (~td@i5387093F.versanet.de)
03:25:22 → stevenxl joins (uid133530@id-133530.uxbridge.irccloud.com)
03:32:29 → eruditass joins (uid248673@id-248673.uxbridge.irccloud.com)
03:41:58 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
03:41:58 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
03:41:58 finn_elija is now known as FinnElija
03:47:20 × ddellacosta quits (~ddellacos@89.45.224.33) (Ping timeout: 268 seconds)
04:03:34 × aeroplane quits (~user@user/aeroplane) (Remote host closed the connection)
04:05:55 × razetime quits (~Thunderbi@117.193.7.249) (Ping timeout: 260 seconds)
04:09:28 → ddellacosta joins (~ddellacos@143.244.47.83)
04:21:19 × troydm quits (~troydm@user/troydm) (Ping timeout: 248 seconds)
04:29:11 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds)
04:34:18 → Guest75 joins (~Guest75@178.141.149.12)
04:38:50 × bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds)
04:38:51 × bilegeek quits (~bilegeek@2600:1008:b020:8240:8b42:f523:cd42:2b12) (Quit: Leaving)
04:50:31 → troydm joins (~troydm@user/troydm)
04:57:44 × slack1256 quits (~slack1256@181.42.52.9) (Remote host closed the connection)
04:58:00 → JoelMcCracken joins (5ea8252fbb@2604:bf00:561:2000::10e3)
04:58:47 × Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
05:00:31 × nonzen quits (~nonzen@user/nonzen) (Ping timeout: 260 seconds)
05:00:49 × sajith quits (~sajith@user/sajith) (Ping timeout: 252 seconds)
05:01:44 × tstat quits (~tstat@user/tstat) (Ping timeout: 246 seconds)
05:01:55 × krjst quits (~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 260 seconds)
05:01:55 × heath quits (~heath@user/heath) (Ping timeout: 260 seconds)
05:02:02 × oats quits (~thomas@user/oats) (Ping timeout: 246 seconds)
05:02:28 × energizer quits (~energizer@user/energizer) (Ping timeout: 252 seconds)
05:02:45 × russruss quits (~russruss@my.russellmcc.com) (Ping timeout: 260 seconds)
05:04:45 → foul_owl joins (~kerry@71.212.143.88)
05:08:48 → sajith joins (~sajith@user/sajith)
05:09:33 → nonzen joins (~nonzen@user/nonzen)
05:10:03 → krjst joins (~krjst@2604:a880:800:c1::16b:8001)
05:11:34 → oats joins (~thomas@user/oats)
05:11:37 → tstat joins (~tstat@user/tstat)
05:12:20 × opticblast quits (~Thunderbi@172.58.84.5) (Read error: Connection reset by peer)
05:12:38 → opticblast joins (~Thunderbi@172.58.84.5)
05:12:48 → energizer joins (~energizer@user/energizer)
05:15:02 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
05:15:59 → heath joins (~heath@user/heath)
05:17:03 jackhill is now known as KM4MBG
05:17:25 × foul_owl quits (~kerry@71.212.143.88) (Quit: WeeChat 2.3)
05:17:37 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
05:18:20 KM4MBG is now known as jackhill[m]
05:18:26 jackhill[m] is now known as jackhill
05:22:38 → razetime joins (~Thunderbi@117.193.7.249)
05:23:56 → russruss joins (~russruss@my.russellmcc.com)
05:25:02 → foul_owl joins (~kerry@71.212.143.88)
05:38:54 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds)
05:39:17 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
05:39:17 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
05:39:17 → wroathe joins (~wroathe@user/wroathe)
05:44:55 × stevenxl quits (uid133530@id-133530.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
05:52:11 → libertyprime joins (~libertypr@203.96.203.167)
06:03:37 × libertyprime quits (~libertypr@203.96.203.167) (Ping timeout: 268 seconds)
06:07:30 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds)
06:32:39 → falafel joins (~falafel@2607:fb91:1449:aea0:b035:594b:ba87:1cbb)
06:33:46 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
06:34:24 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
06:36:31 × opticblast quits (~Thunderbi@172.58.84.5) (Ping timeout: 252 seconds)
06:46:14 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds)
06:48:48 → opticblast joins (~Thunderbi@172.58.84.5)
06:49:47 → freeside joins (~mengwong@103.252.202.170)
06:52:17 → dtman34 joins (~dtman34@76.156.89.180)
06:53:15 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
06:58:49 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:59:26 × zachel quits (~zachel@user/zachel) (Remote host closed the connection)
07:08:52 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
07:09:59 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
07:13:39 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds)
07:15:31 × inversed quits (~inversed@bcdcac82.skybroadband.com) (Read error: No route to host)
07:21:27 → inversed joins (~inversed@bcdcac82.skybroadband.com)
07:29:16 → freeside joins (~mengwong@103.252.202.170)
07:33:38 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 246 seconds)
07:37:35 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds)
07:37:51 × use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:5582:a4fc:2e23:bfc5) (Remote host closed the connection)
07:38:10 → use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
07:39:47 × jelewis2 quits (~lewisje@72.49.207.113) (Ping timeout: 264 seconds)
07:43:45 × oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8)
07:53:30 → freeside joins (~mengwong@103.252.202.170)
07:54:39 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
07:58:20 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds)
08:00:00 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
08:00:19 × dtman34 quits (~dtman34@76.156.89.180) (Ping timeout: 260 seconds)
08:03:19 → dtman34 joins (~dtman34@2601:447:d000:93c9:187f:7b7b:3012:4a8d)
08:04:30 → freeside joins (~mengwong@103.252.202.170)
08:05:06 × foul_owl quits (~kerry@71.212.143.88) (Ping timeout: 268 seconds)
08:06:08 <Inst_> [exa] I can't run pkg-config
08:06:22 <Inst_> ehhh, back to being depressed about Haskell
08:06:42 <Inst_> working with a Clojurist who's happy working in Python, especially since Python being bad makes him money when he's hired to clean up
08:06:55 <Inst_> I literally can't get the Haskell cleaner than the Python version
08:14:08 × myxokeph quits (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokeph)
08:14:23 → myxokeph joins (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com)
08:18:31 → foul_owl joins (~kerry@193.29.61.202)
08:19:20 × falafel quits (~falafel@2607:fb91:1449:aea0:b035:594b:ba87:1cbb) (Ping timeout: 260 seconds)
08:23:29 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
08:23:29 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
08:23:29 finn_elija is now known as FinnElija
08:48:44 × myxokeph quits (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection)
08:53:34 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Remote host closed the connection)
08:55:04 → myxokeph joins (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com)
08:56:15 → zeenk joins (~zeenk@2a02:2f04:a014:8700::7fe)
08:56:58 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:59:29 → wootehfoot joins (~wootehfoo@user/wootehfoot)
09:00:12 × gqplox[m] quits (~gqploxmat@2001:470:69fc:105::2:d10d) (Quit: You have been kicked for being idle)
09:00:51 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
09:17:25 <sm> darn.. https://hackage.haskell.org/package/pager, or terminfo, is not well supported on windows
09:24:02 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
09:25:28 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:26:24 × rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
09:27:48 → wootehfoot joins (~wootehfoo@user/wootehfoot)
09:28:33 → rembo10 joins (~rembo10@main.remulis.com)
09:37:50 → acidjnk joins (~acidjnk@p200300d6e715c427397aaa65a333c5a9.dip0.t-ipconnect.de)
09:38:11 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 255 seconds)
09:47:21 → cheater_ joins (~Username@user/cheater)
09:50:06 → coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
09:50:40 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
09:50:47 cheater_ is now known as cheater
09:51:48 × rburkholder quits (~blurb@96.45.2.121) (Ping timeout: 268 seconds)
09:53:07 → gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
09:54:04 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c)
09:58:43 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Ping timeout: 260 seconds)
10:13:13 → briandaed joins (~briandaed@185.234.210.211)
10:15:28 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
10:17:54 → freeside joins (~mengwong@103.252.202.170)
10:17:56 → mc47 joins (~mc47@xmonad/TheMC47)
10:21:32 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
10:22:39 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
10:25:14 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
10:25:59 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
10:26:15 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
10:30:25 × freeside quits (~mengwong@103.252.202.170) (Remote host closed the connection)
10:32:23 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
10:35:11 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:35:38 → jtza8 joins (~user@165.255.34.21)
10:38:14 <Inst_> GHCI will not spark, right?
10:38:23 Inst_ is now known as Inst
10:38:28 → gqplox[m] joins (~gqploxmat@2001:470:69fc:105::2:d10d)
10:38:55 <Inst> In informal benchmarks I've done with GHCI, I don't see any performance improvements
10:39:25 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
10:43:41 <Inst> also, is a vector of vectors a bad idea in Haskell?
10:43:56 <Inst> like, I can have a vector containing vectors that are 3 elements long, 8 elements long
10:44:02 <Inst> am I going to end up recreating the vector if I do this?
10:47:15 × jtza8 quits (~user@165.255.34.21) (Remote host closed the connection)
10:48:40 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
10:48:53 → jtza8 joins (~user@165.255.34.21)
10:52:26 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
10:53:15 → mikoto-chan joins (~mikoto-ch@2001:999:401:530e:b6da:f4ef:2c6b:3dcc)
10:57:37 → mechap joins (~mechap@user/mechap)
11:07:59 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
11:09:16 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
11:10:24 → mmhat joins (~mmh@p200300f1c707bee5ee086bfffe095315.dip0.t-ipconnect.de)
11:10:50 × mmhat quits (~mmh@p200300f1c707bee5ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
11:19:16 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
11:20:22 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
11:22:54 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
11:24:56 → ahrm joins (~Thunderbi@cpc68288-cdif17-2-0-cust110.5-1.cable.virginm.net)
11:25:27 × ahrm quits (~Thunderbi@cpc68288-cdif17-2-0-cust110.5-1.cable.virginm.net) (Client Quit)
11:36:46 → ahrm joins (~Thunderbi@cpc68288-cdif17-2-0-cust110.5-1.cable.virginm.net)
11:37:11 × ahrm quits (~Thunderbi@cpc68288-cdif17-2-0-cust110.5-1.cable.virginm.net) (Client Quit)
11:56:15 × acidjnk quits (~acidjnk@p200300d6e715c427397aaa65a333c5a9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
11:56:23 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c)
12:01:00 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Ping timeout: 260 seconds)
12:14:42 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
12:15:50 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
12:19:11 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
12:21:59 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
12:23:29 × razetime quits (~Thunderbi@117.193.7.249) (Ping timeout: 268 seconds)
12:25:17 → coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
12:27:40 → acidjnk joins (~acidjnk@p200300d6e715c427397aaa65a333c5a9.dip0.t-ipconnect.de)
12:28:27 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit)
12:32:42 → nschoe joins (~q@2a01:e0a:8e:a190:272b:a5f1:e051:dc23)
12:33:48 × mei quits (~mei@user/mei) (Quit: mei)
12:35:06 → mei joins (~mei@user/mei)
12:41:33 × eruditass quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
12:42:49 × zeenk quits (~zeenk@2a02:2f04:a014:8700::7fe) (Quit: Konversation terminated!)
12:48:35 → oldfashionedcow joins (~Rahul_San@user/oldfashionedcow)
12:51:42 → varoo joins (~varoo@122.161.91.19)
12:59:05 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:5dbc:1bef:ff30:3f07)
13:00:34 <[exa]> Inst: what is the python vs haskell problem btw?
13:02:47 × biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer)
13:03:11 <[exa]> Inst: anyway, re that package and pkg-config -- you're hitting windows tooling problems, mostly because windows tooling just sucks at a level that is absolutely incomparable to anything sane, and only very limited amount of people are willing to deal with that. And these might not really include the cpython package devs (and I think their decision would be the reasonable one). Just go for WSL. :]
13:07:15 → biberu joins (~biberu@user/biberu)
13:09:26 × mei quits (~mei@user/mei) (Quit: mei)
13:09:30 → bontaq joins (~user@ool-45779fe5.dyn.optonline.net)
13:10:01 → mei joins (~mei@user/mei)
13:12:30 → beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt)
13:12:41 → razetime joins (~Thunderbi@117.193.7.249)
13:12:53 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:5dbc:1bef:ff30:3f07) (Quit: WeeChat 2.8)
13:17:08 × troydm quits (~troydm@user/troydm) (Ping timeout: 268 seconds)
13:23:23 → freeside joins (~mengwong@103.252.202.170)
13:24:39 → trev_ joins (~trev@109.252.35.99)
13:29:46 × mei quits (~mei@user/mei) (Quit: mei)
13:30:25 → mei joins (~mei@user/mei)
13:34:20 AlexNoo_ is now known as AlexNoo
13:48:12 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
13:48:46 × superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split)
13:49:03 → superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net)
13:49:30 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
14:00:19 → Guest|96 joins (~Guest|96@cpc142644-benw12-2-0-cust298.16-2.cable.virginm.net)
14:00:25 × Guest|96 quits (~Guest|96@cpc142644-benw12-2-0-cust298.16-2.cable.virginm.net) (Client Quit)
14:02:33 × cheater quits (~Username@user/cheater) (Read error: Connection timed out)
14:03:44 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
14:04:19 → cheater joins (~Username@user/cheater)
14:05:13 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
14:06:57 × cheater quits (~Username@user/cheater) (Read error: Connection reset by peer)
14:07:42 → cheater joins (~Username@user/cheater)
14:12:27 × razetime quits (~Thunderbi@117.193.7.249) (Remote host closed the connection)
14:18:38 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
14:19:35 → gmg joins (~user@user/gehmehgeh)
14:24:08 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
14:27:02 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:28:03 × trev_ quits (~trev@109.252.35.99) (Ping timeout: 268 seconds)
14:35:35 × nschoe quits (~q@2a01:e0a:8e:a190:272b:a5f1:e051:dc23) (Ping timeout: 260 seconds)
14:43:27 × jtza8 quits (~user@165.255.34.21) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.2))
14:44:41 × peutri quits (~peutri@bobo.desast.re) (Remote host closed the connection)
14:49:56 → h2017 joins (~h2017@bras-base-clbaon0201w-grc-68-174-95-130-177.dsl.bell.ca)
14:49:57 <h2017> hi
14:50:06 <geekosaur> hello
14:50:37 <h2017> hi've been reading worrying things about haskell's decline in popularity? how worried should i be as someone who wants to create thing in haskell?
14:51:35 <h2017> someone who wants to create things in haskell but doesn't necessarily want to invest if haskell is going to stop being a thing
14:52:34 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
14:54:09 → simendsjo joins (~user@84.211.91.241)
14:54:37 <geekosaur[m]> Pandoc isn't going away
14:55:48 <geekosaur[m]> I know Facebook just retired their Haskell based spam detector but they also have a new Haskell project
14:56:55 <geekosaur[m]> That article you saw on Reddit didn't tell the whole story
14:58:20 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
14:59:59 × vulpine quits (xfnw@tilde.team) (Quit: Connection reset by purr)
15:01:48 → vulpine joins (xfnw@tilde.team)
15:14:04 × jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer)
15:14:25 → jinsun joins (~jinsun@user/jinsun)
15:18:32 → gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
15:21:09 × jrm quits (~jrm@user/jrm) (Read error: Connection reset by peer)
15:21:19 → jrm2 joins (~jrm@user/jrm)
15:22:47 jrm2 is now known as jrm
15:25:41 → Barfolomew joins (~Barfolome@2a0a-a546-115e-1-543e-6496-271f-e040.ipv6dyn.netcologne.de)
15:28:00 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds)
15:29:45 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
15:30:06 → Midjak joins (~Midjak@82.66.147.146)
15:36:19 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
15:37:10 <gqplox[m]> I'm looking to build a terminal app
15:37:35 <gqplox[m]> Is there something to haskell as rich to python, or bubble tea to go?
15:38:21 <geekosaur> brick?
15:39:21 <geekosaur> or or vty for the underlying TUI implementation
15:45:27 <gqplox[m]> Ah nice, thank you
15:45:48 <maerwald> gqplox[m]: doesn't support windows though
15:46:46 <gqplox[m]> Would you recommend haskell for this? Im learning both haskell and rust atm and I want to make a terminal app which will also interact with an sqlite3 database. Which do you think would be better
15:46:58 <gqplox[m]> Ah thanks, good to know. I use mac so I should be fine there
15:49:12 <geekosaur> honestly I think I'd say try both. we do have sqlite-simple, or various weird type level sql interfaces that I don't really recommend because type level's just a pain in Haskell
16:03:01 × simendsjo quits (~user@84.211.91.241) (Ping timeout: 252 seconds)
16:04:54 <[exa]> gqplox[m]: btw any hint on what the terminal app is about? that might make the correct decision much easier
16:05:17 <gqplox[m]> Do you know the app Anki?
16:05:39 <gqplox[m]> It will be a terminal version of that, but with limited scope
16:06:02 <gqplox[m]> Basically a simple flashcard app, where the front and back will be plaintext/markdown (so i need to show italic, bold, bullet points etc to the terminal)
16:07:06 <[exa]> ah yes brick + sqlite-simple should be perfect for that
16:07:23 <[exa]> I'd expect most problems with rendering the markdown to the terminal but there might be another library for doing that
16:09:07 <sm> pandoc can render to txt, though it's a huge dependency
16:10:06 <[exa]> ah nice, this should do https://hackage.haskell.org/package/brick-0.65/docs/Brick-Markup.html
16:10:37 <[exa]> and yeah, I guess there should be a more lightweight markdown parser than pandoc out there
16:10:48 <geekosaur> https://hackage.haskell.org/package/hascard might be something to look at for inspiration
16:11:19 <gqplox[m]> Rich is very nice for python, for example here is about 5 lines of code, it has a Markdown class to render and a table class for showing to the terminal
16:11:20 <gqplox[m]> https://imgur.com/a/LSThHi9
16:11:40 <gqplox[m]> I would want to do it in haskell just to improve my skills
16:11:49 <gqplox[m]> But something similar to that
16:11:57 <gqplox[m]> Ah thanks, il l look at that
16:12:20 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
16:13:37 → troydm joins (~troydm@user/troydm)
16:14:51 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c)
16:16:31 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds)
16:17:27 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:17:41 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
16:22:32 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:30:31 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Remote host closed the connection)
16:33:37 → trev joins (~trev@user/trev)
16:34:02 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
16:35:08 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
16:35:08 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
16:35:08 → wroathe joins (~wroathe@user/wroathe)
16:37:35 × cstml quits (cstml@tilde.club) (Quit: WeeChat 3.6)
16:37:36 × ddb quits (~ddb@tilde.club) (Quit: WeeChat 3.6)
16:42:01 → mc47 joins (~mc47@xmonad/TheMC47)
16:44:02 → mechap1 joins (~mechap@user/mechap)
16:45:07 ← jakalx parts (~jakalx@base.jakalx.net) ()
16:45:42 × mechap quits (~mechap@user/mechap) (Killed (zinc.libera.chat (Nickname regained by services)))
16:45:42 mechap1 is now known as mechap
16:47:35 × turlando quits (~turlando@user/turlando) ()
16:48:00 × elkcl quits (~elkcl@broadband-188-255-19-11.ip.moscow.rt.ru) (Ping timeout: 248 seconds)
16:49:50 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c)
16:53:21 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:02:19 × kmein quits (~weechat@user/kmein) (Quit: ciao kakao)
17:04:13 → eruditass joins (uid248673@id-248673.uxbridge.irccloud.com)
17:04:25 → kmein joins (~weechat@user/kmein)
17:06:40 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds)
17:11:05 oldfashionedcow is now known as A_Cow
17:14:12 → CiaoSen joins (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
17:14:21 → danza joins (~francesco@151.57.99.247)
17:18:49 → azimut joins (~azimut@gateway/tor-sasl/azimut)
17:19:46 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection)
17:20:57 → jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
17:21:15 → michalz joins (~michalz@185.246.207.193)
17:21:40 × Barfolomew quits (~Barfolome@2a0a-a546-115e-1-543e-6496-271f-e040.ipv6dyn.netcologne.de) (Quit: Client closed)
17:23:55 A_Cow is now known as oldfashionedcow
17:28:00 → nattiestnate joins (~nate@202.138.250.37)
17:28:18 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
17:38:32 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection)
17:41:19 × jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 260 seconds)
17:43:13 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
17:43:16 → jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com)
17:44:49 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
17:46:17 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
17:49:13 → thyriaen joins (~thyriaen@2a01:aea0:dd4:4fa4:6245:cbff:fe9f:48b1)
17:50:05 × thyriaen quits (~thyriaen@2a01:aea0:dd4:4fa4:6245:cbff:fe9f:48b1) (Client Quit)
17:50:37 → thyriaen joins (~thyriaen@2a01:aea0:dd4:4fa4:6245:cbff:fe9f:48b1)
17:52:24 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
17:55:02 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
17:57:09 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
18:01:03 → econo joins (uid147250@user/econo)
18:02:36 → nschoe joins (~q@2a01:e0a:8e:a190:1f27:ea99:8528:5cdf)
18:06:43 → jakalx joins (~jakalx@base.jakalx.net)
18:08:58 × nschoe quits (~q@2a01:e0a:8e:a190:1f27:ea99:8528:5cdf) (Ping timeout: 252 seconds)
18:09:41 → gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
18:10:32 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:10:52 × kmein quits (~weechat@user/kmein) (Quit: ciao kakao)
18:12:58 → kmein joins (~weechat@user/kmein)
18:19:27 × trev quits (~trev@user/trev) (Remote host closed the connection)
18:22:09 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds)
18:25:09 × kmein quits (~weechat@user/kmein) (Quit: ciao kakao)
18:27:13 → kmein joins (~weechat@user/kmein)
18:29:07 × mikoto-chan quits (~mikoto-ch@2001:999:401:530e:b6da:f4ef:2c6b:3dcc) (Ping timeout: 256 seconds)
18:36:46 <Jadeitits[m]> I'm doing some trying-out with dependent types and I have a type family `(>)` which is essentially a comparison between two `Nat`s.
18:36:46 <Jadeitits[m]> How can I incorporate this into the signature of `Cons :: forall (n :: Nat) (s :: Nat) (t :: Nat). SNat n -> Sorted s t -> Sorted ('S s) n` to statically ensure the vector is sorted in ascending order?
18:37:15 → elevenkb joins (~elevenkb@105.184.125.233)
18:37:26 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:37:47 <Jadeitits[m]> right now the vectors second type parameter just "stores" the value of the latest value and I was wondering how to use this to verify a new value is bigger than it
18:41:50 → freeside joins (~mengwong@103.252.202.170)
18:43:48 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
18:52:16 <[exa]> Jadeitits[m]: depends on your (>) probably. What does it "return" ?
18:53:42 <Jadeitits[m]> Bool
18:53:53 <Jadeitits[m]> type family (>) (x :: Nat) (y :: Nat) :: Bool where
18:53:53 <Jadeitits[m]> 'Z > _ = 'False
18:53:53 <Jadeitits[m]> _ > 'Z = 'True
18:53:53 <Jadeitits[m]> ('S x) > ('S y) = x > y
18:55:13 <[exa]> ok so you need to patternmatch on the Bool so that you can (somehow) convert the 'False to a typelevel failure
18:56:11 <[exa]> (on a side note, MPTCs might be much better for failing at typelevel)
18:56:28 <Jadeitits[m]> [exa]: What would that roughly look like?
18:56:37 <Jadeitits[m]> [exa]: I don't know what this means
18:56:44 <[exa]> multiparameter type classes
18:56:53 <Jadeitits[m]> how does it work?
18:57:03 <[exa]> you know how normal typeclasses work?
18:57:17 → elkcl joins (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru)
18:57:29 <Jadeitits[m]> yes
18:58:44 <[exa]> ok, so multiparameter ones just have more parameters. Which is nice because you can easily use that for typelevel programming (just as type families), but typeclasses additionally have a "nice" form of failing (instance doesn't exist)
18:59:01 <Jadeitits[m]> mhm ok
18:59:05 <[exa]> MPTC programming is basically a restricted prolog, the best tutorial is ironically this one: https://aphyr.com/posts/342-typing-the-technical-interview
18:59:37 <Jadeitits[m]> Thank you
18:59:50 <[exa]> anyway, with type families I kinda guess you might make it work by making a "check the type" function
19:00:06 <[exa]> hand-wavy example:
19:01:47 <[exa]> type family CheckNumbersAreReallyBigger (smaller::Nat) (bigger::Nat) t :: t where { (bigger > smaller) ~ 'False = t }
19:02:04 <[exa]> not sure if ghc won't complain about a partial type family tho
19:03:35 <Jadeitits[m]> `error: Not in scope: type variable 't'`
19:03:50 <Jadeitits[m]> hmm, isn't it defined in the signature above?
19:03:53 × briandaed quits (~briandaed@185.234.210.211) (Remote host closed the connection)
19:04:03 <[exa]> I guess you may need to add a kind to it with ::
19:04:18 <Jadeitits[m]> t :: *?
19:04:24 <[exa]> (I didn't really touch type families for like a year now, hoping others might intervene :D )
19:04:27 <[exa]> yes
19:04:33 <Jadeitits[m]> same error
19:04:36 <Lears> Can't you just do `Cons :: (t > n) ~ 'True => ...`?
19:05:27 <[exa]> ah wait I didn't actually patternmatch there
19:05:37 <[exa]> my fail, sorry
19:11:09 × h2017 quits (~h2017@bras-base-clbaon0201w-grc-68-174-95-130-177.dsl.bell.ca) (Ping timeout: 260 seconds)
19:11:27 × danza quits (~francesco@151.57.99.247) (Ping timeout: 248 seconds)
19:11:58 <[exa]> kinda wondering, is there even a way to force * ~ * check in a type family instance?
19:14:19 → Lycurgus joins (~juan@user/Lycurgus)
19:15:07 <Jadeitits[m]> <Lears> "Can't you just do `Cons :: (t..." <- This worked!
19:15:25 Jadeitits[m] uploaded an image: (25KiB) < https://libera.ems.host/_matrix/media/v3/download/matrix.org/CrzjRWsZBsBQDOcgpYNVhNgk/image.png >
19:15:25 <Jadeitits[m]> Very cool, this seems to be very powerful
19:15:27 <ddellacosta> let me know if this would be better for a nix channel, but wondering if anyone has a fix for the error "LICENSE: copyFile: does not exist (No such file or directory)" when running 'nix build' (with a flake based on this https://magnus.therning.org/2022-03-13-simple-nix-flake-for-haskell-development.html), even when my license file clearly exists as specified by my cabal file
19:15:45 → enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
19:16:18 <ddellacosta> looks same as this, but my project is pretty vanilla without any subdirs https://github.com/NixOS/nixpkgs/issues/42550
19:16:39 <ddellacosta> (so that workaround doesn't make any sense for me)
19:20:25 × enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
19:24:08 → danza joins (~francesco@151.57.36.192)
19:25:41 → Sgeo joins (~Sgeo@user/sgeo)
19:25:53 → angelore joins (~u0_a291@151.135.79.53)
19:28:27 → brettgilio joins (~brettgili@x-irc.gq)
19:31:16 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
19:32:24 × angelore quits (~u0_a291@151.135.79.53) (Quit: WeeChat 3.8)
19:33:54 × varoo quits (~varoo@122.161.91.19) (Quit: Probably got disconnect dure to unstable internet)
19:36:34 → peutri joins (~peutri@bobo.desast.re)
19:44:57 × JoelMcCracken quits (5ea8252fbb@2604:bf00:561:2000::10e3) (Remote host closed the connection)
19:45:06 → JoelMcCracken joins (5ea8252fbb@2604:bf00:561:2000::10e3)
19:45:24 → califax_ joins (~califax@user/califx)
19:45:26 → kjak joins (~kjak@pool-72-66-75-40.washdc.fios.verizon.net)
19:45:37 × CiaoSen quits (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
19:45:47 × califax quits (~califax@user/califx) (Ping timeout: 255 seconds)
19:45:48 × laalyn quits (~laalyn@c-73-241-126-7.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
19:46:39 califax_ is now known as califax
19:48:16 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
19:58:37 × elevenkb quits (~elevenkb@105.184.125.233) (Quit: Client closed)
19:59:56 → kenran joins (~user@user/kenran)
20:00:04 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Remote host closed the connection)
20:01:33 × Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
20:01:49 → freeside joins (~mengwong@103.252.202.170)
20:06:53 × tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds)
20:08:24 → elevenkb joins (~elevenkb@105.184.125.233)
20:12:56 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c)
20:15:50 → azimut_ joins (~azimut@gateway/tor-sasl/azimut)
20:15:56 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
20:24:32 → spacenautx joins (~spacenaut@user/spacenautx)
20:24:38 → justsomeguy joins (~justsomeg@user/justsomeguy)
20:33:32 → rburkholder joins (~blurb@96.45.2.121)
20:36:24 × spacenautx quits (~spacenaut@user/spacenautx) (Quit: WeeChat 3.8)
20:42:07 × danza quits (~francesco@151.57.36.192) (Read error: Connection reset by peer)
20:42:30 → danza joins (~francesco@151.57.36.192)
20:42:40 → jmdaemon joins (~jmdaemon@user/jmdaemon)
20:48:38 → pavonia joins (~user@user/siracusa)
20:49:35 → h2017 joins (~h2017@bras-base-clbaon0201w-grc-20-184-144-57-44.dsl.bell.ca)
20:54:38 × elevenkb quits (~elevenkb@105.184.125.233) (Ping timeout: 260 seconds)
20:56:18 → elevenkb joins (~elevenkb@105.184.125.233)
21:00:21 × Sauvin quits (~sauvin@user/Sauvin) (Quit: Leaving)
21:01:54 → Sauvin joins (~sauvin@user/Sauvin)
21:03:51 × kenran quits (~user@user/kenran) (Remote host closed the connection)
21:07:01 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 252 seconds)
21:07:46 × elevenkb quits (~elevenkb@105.184.125.233) (Quit: Client closed)
21:08:12 → freeside joins (~mengwong@103.252.202.170)
21:10:01 → talismanick joins (~talismani@2601:200:c181:4c40::1be2)
21:12:47 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 264 seconds)
21:14:38 → tomku joins (~tomku@user/tomku)
21:18:37 × danza quits (~francesco@151.57.36.192) (Read error: Connection reset by peer)
21:19:00 → danza joins (~francesco@151.57.36.192)
21:25:14 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Remote host closed the connection)
21:29:17 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
21:31:26 → ec joins (~ec@gateway/tor-sasl/ec)
21:31:43 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c)
21:33:50 oldfashionedcow is now known as He
21:34:04 He is now known as oldfashionedcow
21:40:53 → freeside joins (~mengwong@103.252.202.170)
21:45:53 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
21:46:08 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
21:47:12 → jero98772 joins (~jero98772@2800:484:1d80:d8ce:4f4f:dc32:b9c4:cb5b)
21:47:25 Lord_of_Life_ is now known as Lord_of_Life
21:49:27 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
21:58:46 Momentum_ is now known as Momentum
22:04:41 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
22:07:12 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
22:08:19 → sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
22:10:07 × kjak quits (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 248 seconds)
22:22:59 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds)
22:35:14 × michalz quits (~michalz@185.246.207.193) (Remote host closed the connection)
22:35:16 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:46:47 → Jeanne-Kamikaze joins (~Jeanne-Ka@142.147.89.202)
22:47:10 → justsomeguy joins (~justsomeg@user/justsomeguy)
22:47:23 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:49:04 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
22:49:11 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
22:49:55 → freeside joins (~mengwong@103.252.202.170)
22:50:47 × Jeanne-Kamikaze quits (~Jeanne-Ka@142.147.89.202) (Remote host closed the connection)
22:54:23 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
22:55:42 → freeside joins (~mengwong@103.252.202.170)
22:57:55 → laalyn joins (~laalyn@c-73-241-126-7.hsd1.ca.comcast.net)
23:00:15 × freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds)
23:01:38 → Jeanne-Kamikaze joins (~Jeanne-Ka@142.147.89.202)
23:02:15 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
23:06:04 × cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com))
23:06:24 <hololeap> instance {-# OVERLAPPABLE #-} Monad m => MonadSay (EnvT m) where
23:06:31 <hololeap> instance {-# OVERLAPPING #-} MonadSay (EnvT IO) where
23:06:32 → cheater joins (~Username@user/cheater)
23:06:53 → tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
23:07:05 <hololeap> I get an error about overlapping instances here: Monad m => EnvT m (Set Cabal.PackageId, Set FilePath)
23:07:36 <hololeap> what can I do about this, other than just get rid of that first instance?
23:07:48 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:08:51 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Remote host closed the connection)
23:09:49 <hololeap> basically, I want `MonadSay (EnvT IO)` to be the special case and anything else to fallback to the first instance
23:10:11 × danza quits (~francesco@151.57.36.192) (Read error: Connection reset by peer)
23:10:36 <hololeap> here's the full error: http://sprunge.us/xCb2rL
23:14:08 → freeside joins (~mengwong@103.252.202.170)
23:15:18 <hololeap> adding IncoherentInstances to both modules didn't change the error
23:23:17 × eruditass quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
23:24:23 → danza joins (~francesco@rm-19-52-159.service.infuturo.it)
23:28:10 × Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Ping timeout: 260 seconds)
23:33:56 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
23:37:02 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
23:38:08 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
23:39:09 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
23:41:24 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c)
23:47:53 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
23:50:42 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
23:51:41 → Nolrai joins (~Nolrai@c-73-240-99-98.hsd1.or.comcast.net)
23:53:27 <Nolrai> Hey, so I used to use summoner for making new projects in Haskell, but it hasn't been updated since 2020, should I use a cabal-install template or what?
23:55:57 → jwiegley joins (~jwiegley@2600:1700:cf00:db0:ad33:58f8:1ff9:4d13)
23:59:57 × Nolrai quits (~Nolrai@c-73-240-99-98.hsd1.or.comcast.net) (Quit: Client closed)

All times are in UTC on 2023-01-29.