2024/09/19

2024-09-19 00:01:06 +0000synchromesh(~john@203.94.52.182) (Ping timeout: 252 seconds)
2024-09-19 00:02:24 +0000pavonia(~user@user/siracusa)
2024-09-19 00:05:41 +0000Angelz(Angelz@user/angelz) (Ping timeout: 265 seconds)
2024-09-19 00:14:40 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-09-19 00:16:29 +0000tv(~tv@user/tv)
2024-09-19 00:20:24 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-19 00:24:11 +0000athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-19 00:29:41 +0000xff0x(~xff0x@2405:6580:b080:900:6729:dbd:b464:a963) (Ping timeout: 248 seconds)
2024-09-19 00:29:45 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds)
2024-09-19 00:32:57 +0000Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
2024-09-19 00:36:09 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-09-19 00:40:55 +0000rosco(~rosco@175.136.158.234)
2024-09-19 01:04:10 +0000mceresa(~mceresa@user/mceresa) (Ping timeout: 265 seconds)
2024-09-19 01:04:44 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-09-19 01:05:37 +0000machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds)
2024-09-19 01:06:13 +0000mceresa(~mceresa@user/mceresa)
2024-09-19 01:12:24 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-19 01:13:59 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 01:14:37 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-09-19 01:19:11 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-09-19 01:19:24 +0000blober(~blober@185.98.172.26)
2024-09-19 01:19:40 +0000st_aldini(~Thunderbi@136.48.22.91) (Remote host closed the connection)
2024-09-19 01:20:01 +0000st_aldini(~Thunderbi@136.48.22.91)
2024-09-19 01:20:09 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds)
2024-09-19 01:22:10 +0000 <blober> Based on https://hackage.haskell.org/package/HsYAML-0.2.1.4/docs/Data-YAML.html#g:3 , I don't get how
2024-09-19 01:22:11 +0000 <blober> ```
2024-09-19 01:22:11 +0000 <blober> example = decode1 "- 1\n- 2" :: Either (Pos, String) [Int]
2024-09-19 01:22:12 +0000 <blober> ```
2024-09-19 01:22:12 +0000 <blober> the above works, but this doesn't
2024-09-19 01:22:13 +0000 <blober> ```
2024-09-19 01:22:13 +0000 <blober> my_example = decode1 "- foo" :: Either (Pos, String) [String]
2024-09-19 01:22:14 +0000 <blober> ```
2024-09-19 01:22:15 +0000 <blober> ```
2024-09-19 01:22:15 +0000 <blober>     • No instance for ‘FromYAML Char’ arising from a use of ‘decode1’
2024-09-19 01:22:16 +0000 <blober> ```
2024-09-19 01:22:42 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-09-19 01:28:43 +0000ZharMeny(~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-19 01:29:10 +0000institor(~henricus@user/institor) (Killed (ozone (No Spam)))
2024-09-19 01:30:44 +0000zzz(~z@user/zero)
2024-09-19 01:31:08 +0000zero(~z@user/zero) (Read error: Connection reset by peer)
2024-09-19 01:31:08 +0000zzzzero
2024-09-19 01:31:16 +0000 <Axman6> blober: Does using [Text] work?
2024-09-19 01:31:50 +0000 <Axman6> because I think it's actually expecting to parse [[Char]] which is where that error is coming from
2024-09-19 01:32:44 +0000 <Axman6> since there's no isntance for FromYAML for Char it doesn't even get to the point of trying to parse.
2024-09-19 01:33:42 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 01:33:44 +0000 <blober> yes, you were correct
2024-09-19 01:38:20 +0000 <blober> can you preserve comments when dumping yaml? I see there was some work in https://github.com/haskell-hvr/HsYAML/pull/24 but not sure how to use it
2024-09-19 01:47:27 +0000rosco(~rosco@175.136.158.234) (Quit: Lost terminal)
2024-09-19 01:51:39 +0000lystra(~lystra@208.59.105.41) (Ping timeout: 246 seconds)
2024-09-19 01:51:41 +0000 <Axman6> I'm not familiar with the library, but it looks like support for comments is in the released version. What do you mean when you say dumping yaml?
2024-09-19 01:53:17 +0000 <blober> like doing roundtrip and inserting a key
2024-09-19 01:54:40 +0000 <Axman6> I have a feeling you might be able to do it using the event based interface but I can't see how to do it using the Node type
2024-09-19 01:54:59 +0000 <blober> I see
2024-09-19 01:58:38 +0000 <Axman6> how you use that to change specific parts of the structure I'm not sure
2024-09-19 01:58:47 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds)
2024-09-19 01:59:17 +0000 <Axman6> but I'd start here: https://hackage.haskell.org/package/HsYAML-0.2.1.4/docs/Data-YAML-Event.html#g:1
2024-09-19 02:01:11 +0000 <blober> TY
2024-09-19 02:04:50 +0000youthlic(~Thunderbi@user/youthlic)
2024-09-19 02:05:30 +0000lystra(~lystra@208.59.105.41)
2024-09-19 02:12:30 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 02:17:04 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 260 seconds)
2024-09-19 02:27:32 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 02:32:09 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds)
2024-09-19 02:33:28 +0000blober(~blober@185.98.172.26) (Quit: Client closed)
2024-09-19 02:36:58 +0000hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2024-09-19 02:37:03 +0000td_(~td@i53870921.versanet.de) (Ping timeout: 245 seconds)
2024-09-19 02:38:56 +0000td_(~td@83.135.9.0)
2024-09-19 02:51:03 +0000weary-traveler(~user@user/user363627)
2024-09-19 02:59:51 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 03:28:39 +0000youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-19 03:28:42 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-19 03:31:29 +0000youthlic(~Thunderbi@user/youthlic)
2024-09-19 03:34:08 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-19 03:35:31 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-09-19 03:35:35 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-09-19 03:36:53 +0000Lord_of_Life_Lord_of_Life
2024-09-19 03:46:27 +0000JuanDaugherty(~juan@user/JuanDaugherty)
2024-09-19 03:49:16 +0000greenflower(~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b)
2024-09-19 04:15:32 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-09-19 04:15:51 +0000athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-19 04:15:54 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2024-09-19 04:21:28 +0000JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-19 04:24:39 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-09-19 04:24:59 +0000califax(~califax@user/califx)
2024-09-19 04:25:11 +0000greenflower(~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed)
2024-09-19 04:25:47 +0000neuroevolutus(~neuroevol@206.217.206.41)
2024-09-19 04:26:05 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-09-19 04:26:25 +0000califax(~califax@user/califx)
2024-09-19 04:32:31 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-09-19 04:32:54 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2024-09-19 04:34:49 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2024-09-19 04:51:04 +0000neuroevolutus(~neuroevol@206.217.206.41) (Quit: Client closed)
2024-09-19 04:53:43 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-19 04:53:55 +0000Guest60(~Guest60@118.33.40.93)
2024-09-19 04:54:40 +0000michalz(~michalz@185.246.207.218)
2024-09-19 04:55:02 +0000meinside(uid24933@id-24933.helmsley.irccloud.com)
2024-09-19 04:56:10 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-09-19 05:04:55 +0000Guest60dontdieych2
2024-09-19 05:05:35 +0000dontdieych2(~Guest60@118.33.40.93) (Changing host)
2024-09-19 05:05:35 +0000dontdieych2(~Guest60@user/dontdieych2)
2024-09-19 05:05:48 +0000dontdieych2(~Guest60@user/dontdieych2) (Quit: Client closed)
2024-09-19 05:06:23 +0000dontdieych2(~dontdieyc@user/dontdieych2)
2024-09-19 05:15:25 +0000greenflower(~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b)
2024-09-19 05:17:09 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-19 05:17:23 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-19 05:24:15 +0000greenflower(~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed)
2024-09-19 05:24:44 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-09-19 05:25:36 +0000euleritian(~euleritia@dynamic-176-006-137-170.176.6.pool.telefonica.de)
2024-09-19 05:27:14 +0000jinsun(~jinsun@user/jinsun) (Ping timeout: 260 seconds)
2024-09-19 05:28:38 +0000st_aldini1(~Thunderbi@136.48.22.91)
2024-09-19 05:30:03 +0000st_aldini(~Thunderbi@136.48.22.91) (Ping timeout: 246 seconds)
2024-09-19 05:30:03 +0000st_aldini1st_aldini
2024-09-19 05:30:05 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-09-19 05:36:36 +0000euleritian(~euleritia@dynamic-176-006-137-170.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-09-19 05:40:49 +0000misterfish(~misterfis@84.53.85.146)
2024-09-19 05:41:38 +0000euleritian(~euleritia@dynamic-176-003-002-000.176.3.pool.telefonica.de)
2024-09-19 05:44:20 +0000euleritian(~euleritia@dynamic-176-003-002-000.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-19 05:44:37 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-19 05:46:21 +0000rosco(~rosco@175.136.158.234)
2024-09-19 05:55:08 +0000dontdieych2(~dontdieyc@user/dontdieych2) (Quit: Client closed)
2024-09-19 05:55:09 +0000lol_jcarpenter2
2024-09-19 05:55:32 +0000dontdieych2(~dontdieyc@user/dontdieych2)
2024-09-19 05:56:21 +0000sord937(~sord937@gateway/tor-sasl/sord937)
2024-09-19 05:59:32 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-19 06:11:38 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 245 seconds)
2024-09-19 06:23:32 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-19 06:24:32 +0000Zer000(~02@64.137.132.10) (Quit: Leaving)
2024-09-19 06:31:59 +0000mesaoptimizer(~mesaoptim@user/PapuaHardyNet)
2024-09-19 06:36:08 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-09-19 06:39:42 +0000echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8)
2024-09-19 06:40:48 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-09-19 06:41:01 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2024-09-19 06:53:04 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-09-19 06:57:58 +0000ash3en(~Thunderbi@2a02:3100:754f:5e00:95a2:6c11:ef9c:ede2)
2024-09-19 06:58:34 +0000Digitteknohippie(~user@user/digit)
2024-09-19 06:58:44 +0000Digit(~user@user/digit) (Ping timeout: 252 seconds)
2024-09-19 06:59:08 +0000ft(~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving)
2024-09-19 07:00:03 +0000caconym8(~caconym@user/caconym) (Quit: bye)
2024-09-19 07:00:39 +0000caconym8(~caconym@user/caconym)
2024-09-19 07:03:47 +0000mreh(~matthew@host86-146-138-19.range86-146.btcentralplus.com)
2024-09-19 07:06:10 +0000misterfish(~misterfis@h239071.upc-h.chello.nl)
2024-09-19 07:08:22 +0000ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com)
2024-09-19 07:21:28 +0000ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2024-09-19 07:21:50 +0000DigitteknohippieDigit
2024-09-19 07:37:23 +0000acidjnk(~acidjnk@p200300d6e72cfb61e8eec24a54e24d68.dip0.t-ipconnect.de)
2024-09-19 07:43:15 +0000sourcetarius(~sourcetar@user/sourcetarius)
2024-09-19 07:46:00 +0000rosco(~rosco@175.136.158.234) (Quit: Lost terminal)
2024-09-19 07:47:45 +0000lxsameer(~lxsameer@Serene/lxsameer)
2024-09-19 07:52:19 +0000briandaed(~root@185.234.210.211.r.toneticgroup.pl)
2024-09-19 07:59:14 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-19 08:00:04 +0000machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net)
2024-09-19 08:02:00 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-19 08:02:17 +0000astroanax1(~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Quit: WeeChat 3.8)
2024-09-19 08:02:31 +0000astroanax(~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7)
2024-09-19 08:12:27 +0000misterfish(~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 246 seconds)
2024-09-19 08:14:21 +0000synchrom1(~john@2406:5a00:241a:5600:613a:461c:b683:86cf) (Read error: Connection reset by peer)
2024-09-19 08:15:53 +0000synchromesh(~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17)
2024-09-19 08:18:04 +0000superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.3.3)
2024-09-19 08:23:35 +0000CiaoSen(~Jura@2a05:5800:2e9:bc00:ca4b:d6ff:fec1:99da)
2024-09-19 08:24:01 +0000superbil(~superbil@114-32-231-70.hinet-ip.hinet.net)
2024-09-19 08:25:22 +0000ash3en(~Thunderbi@2a02:3100:754f:5e00:95a2:6c11:ef9c:ede2) (Quit: ash3en)
2024-09-19 08:29:15 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-09-19 08:31:19 +0000ubert(~Thunderbi@2001:871:263:a33:a011:6ea3:41b6:46f6)
2024-09-19 08:33:05 +0000misterfish(~misterfis@87.215.131.102)
2024-09-19 08:39:42 +0000econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-19 08:44:55 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-09-19 08:46:51 +0000 <kuribas> Man, I miss having dependent types with python pandas, where I could have the compiler tell me when a field is missing from a dataframe.
2024-09-19 08:48:57 +0000 <kuribas> I know for many the overhead of static (dependent) types swamps the benefits, but I don't feel it.
2024-09-19 08:53:02 +0000srazkvt(~sarah@user/srazkvt)
2024-09-19 09:06:44 +0000greenflower(~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b)
2024-09-19 09:08:27 +0000CiaoSen(~Jura@2a05:5800:2e9:bc00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds)
2024-09-19 09:14:38 +0000__monty__(~toonn@user/toonn)
2024-09-19 09:16:43 +0000gvg(~dcd@user/gvg)
2024-09-19 09:17:09 +0000polyphem(~rod@pd9fbfabc.dip0.t-ipconnect.de)
2024-09-19 09:25:42 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-09-19 09:26:04 +0000califax(~califax@user/califx)
2024-09-19 09:26:24 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-09-19 09:26:45 +0000califax(~califax@user/califx)
2024-09-19 09:27:40 +0000chromo(~chromo@210.185.108.225)
2024-09-19 09:28:31 +0000chromo(~chromo@210.185.108.225) (Remote host closed the connection)
2024-09-19 09:28:48 +0000chromo(~chromo@210.185.108.225)
2024-09-19 09:32:22 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds)
2024-09-19 09:34:28 +0000mari-estel(~mari-este@2a02:3032:303:4dbd:216:3eff:fe65:4eef)
2024-09-19 09:48:47 +0000greenflower(~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Ping timeout: 256 seconds)
2024-09-19 09:55:09 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 09:56:23 +0000Smiles(uid551636@id-551636.lymington.irccloud.com)
2024-09-19 09:57:54 +0000srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2024-09-19 09:58:43 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-09-19 10:00:15 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-09-19 10:13:41 +0000Squared(~Square@user/square)
2024-09-19 10:20:04 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds)
2024-09-19 10:32:23 +0000bairyn(~bairyn@50.250.232.19) (Ping timeout: 255 seconds)
2024-09-19 10:32:32 +0000bairyn(~bairyn@50.250.232.19)
2024-09-19 10:35:31 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-09-19 10:36:52 +0000ZharMeny(~ZharMeny@user/ZharMeny)
2024-09-19 10:42:55 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-09-19 10:43:26 +0000cfricke(~cfricke@user/cfricke)
2024-09-19 10:47:13 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 248 seconds)
2024-09-19 10:49:06 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-19 10:49:55 +0000euleritian(~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de)
2024-09-19 10:50:17 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 10:53:13 +0000euleritian(~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-19 10:53:30 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-19 11:00:04 +0000caconym8(~caconym@user/caconym) (Quit: bye)
2024-09-19 11:02:19 +0000caconym8(~caconym@user/caconym)
2024-09-19 11:03:21 +0000dontdieych2(~dontdieyc@user/dontdieych2) (Quit: Client closed)
2024-09-19 11:03:30 +0000youthlic(~Thunderbi@user/youthlic) (Ping timeout: 265 seconds)
2024-09-19 11:03:40 +0000youthlic1(~Thunderbi@user/youthlic)
2024-09-19 11:04:57 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds)
2024-09-19 11:06:02 +0000youthlic1youthlic
2024-09-19 11:07:22 +0000Square2(~Square4@user/square)
2024-09-19 11:07:42 +0000cfricke(~cfricke@user/cfricke) (Ping timeout: 252 seconds)
2024-09-19 11:10:45 +0000Squared(~Square@user/square) (Ping timeout: 265 seconds)
2024-09-19 11:11:10 +0000polyphem(~rod@pd9fbfabc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-09-19 11:12:19 +0000remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2024-09-19 11:12:24 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 11:13:30 +0000xff0x(~xff0x@2405:6580:b080:900:1342:23f2:7011:a05)
2024-09-19 11:16:43 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2024-09-19 11:17:54 +0000remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz)
2024-09-19 11:19:06 +0000ash3en(~Thunderbi@149.222.143.226)
2024-09-19 11:20:54 +0000mreh(~matthew@host86-146-138-19.range86-146.btcentralplus.com) (Ping timeout: 260 seconds)
2024-09-19 11:20:59 +0000Blasius(~Blasius@2.219.56.221)
2024-09-19 11:21:39 +0000cfricke(~cfricke@user/cfricke)
2024-09-19 11:22:00 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2024-09-19 11:41:06 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-09-19 11:41:15 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2024-09-19 11:43:49 +0000Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2024-09-19 11:45:33 +0000Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
2024-09-19 11:49:06 +0000mari-estel(~mari-este@2a02:3032:303:4dbd:216:3eff:fe65:4eef) (Ping timeout: 246 seconds)
2024-09-19 11:53:25 +0000ubert(~Thunderbi@2001:871:263:a33:a011:6ea3:41b6:46f6) (Ping timeout: 248 seconds)
2024-09-19 11:54:05 +0000 <dminuoso> The biggest price of dependent types is the lack of a rich ecosystem of libraries and tools for the same languages.
2024-09-19 11:54:51 +0000 <dminuoso> It's just a sad reality that when you want to solve problem XYZ, it's often not worth the perceived benefit of some additional safety over the convenience of not having to write 90% of the code required for the solution.
2024-09-19 11:54:56 +0000weary-traveler(~user@user/user363627)
2024-09-19 11:55:30 +0000 <dminuoso> In practice, a rich library ecosystem beats a good language.
2024-09-19 11:59:05 +0000sourcetarius(~sourcetar@user/sourcetarius) (Ping timeout: 265 seconds)
2024-09-19 12:00:16 +0000Digitteknohippie(~user@user/digit)
2024-09-19 12:00:34 +0000Digit(~user@user/digit) (Ping timeout: 260 seconds)
2024-09-19 12:06:19 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-19 12:06:47 +0000DigitteknohippieDigit
2024-09-19 12:06:52 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-19 12:13:15 +0000misterfish(~misterfis@87.215.131.102) (Ping timeout: 246 seconds)
2024-09-19 12:15:05 +0000misterfish(~misterfis@178.229.231.194)
2024-09-19 12:16:29 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2024-09-19 12:17:27 +0000euleritian(~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de)
2024-09-19 12:22:23 +0000ChanServ+o litharge
2024-09-19 12:22:24 +0000litharge-bo *!*@46.56.199.104 litharge
2024-09-19 12:22:46 +0000greenflower(~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b)
2024-09-19 12:23:55 +0000synchromesh(~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer)
2024-09-19 12:25:28 +0000synchromesh(~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17)
2024-09-19 12:27:17 +0000user363627(~user@user/user363627)
2024-09-19 12:31:36 +0000weary-traveler(~user@user/user363627) (Ping timeout: 272 seconds)
2024-09-19 12:36:02 +0000 <L29Ah> gotta create a good libraries foundation
2024-09-19 12:36:36 +0000user363627(~user@user/user363627) (Remote host closed the connection)
2024-09-19 12:37:25 +0000causal(~eric@50.35.88.207)
2024-09-19 12:42:01 +0000srazkvt(~sarah@user/srazkvt)
2024-09-19 12:51:39 +0000weary-traveler(~user@user/user363627)
2024-09-19 12:51:49 +0000euleritian(~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-09-19 12:52:37 +0000euleritian(~euleritia@dynamic-176-001-139-185.176.1.pool.telefonica.de)
2024-09-19 13:02:06 +0000JuanDaugherty(~juan@user/JuanDaugherty)
2024-09-19 13:07:03 +0000ubert(~Thunderbi@2001:871:263:a33:ce4c:87cf:207:8819)
2024-09-19 13:07:29 +0000itaipu(~itaipu@168.121.98.63) (Ping timeout: 260 seconds)
2024-09-19 13:10:39 +0000itaipu(~itaipu@168.121.98.63)
2024-09-19 13:11:36 +0000euleritian(~euleritia@dynamic-176-001-139-185.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-19 13:11:54 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-19 13:12:50 +0000 <kuribas> dminuoso: That's not the price of dependent types, it's the price of anything new.
2024-09-19 13:13:19 +0000 <kuribas> At one point it was like this for haskell, or lazy functional languages.
2024-09-19 13:19:48 +0000 <[exa]> basically for any "practical" language
2024-09-19 13:20:35 +0000ash3en(~Thunderbi@149.222.143.226) (Quit: ash3en)
2024-09-19 13:21:59 +0000briandaed(~root@185.234.210.211.r.toneticgroup.pl) (Quit: Lost terminal)
2024-09-19 13:22:46 +0000ystael(~ystael@user/ystael)
2024-09-19 13:34:42 +0000 <cheater> if we're gonna do an overhaul of the haskell ecosystem we should have:
2024-09-19 13:36:14 +0000 <cheater> 1. linear or affine types, controllable memory layout, copy counting, and the ability for multiple runtimes to use the same memory objects
2024-09-19 13:36:33 +0000ubert(~Thunderbi@2001:871:263:a33:ce4c:87cf:207:8819) (Ping timeout: 246 seconds)
2024-09-19 13:36:42 +0000 <cheater> 2. some other stuff i was going to say but i forgot
2024-09-19 13:37:13 +0000 <mauke> 3 a partridge in a pear tree
2024-09-19 13:37:17 +0000 <cheater> 3. a type system for tracking the complexity of algorithms
2024-09-19 13:39:01 +0000mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2024-09-19 13:40:38 +0000mari-estel(~mari-este@2a02:3032:315:94fa:216:3eff:fe65:4eef)
2024-09-19 13:40:59 +0000srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2024-09-19 13:44:12 +0000ubert(~Thunderbi@2001:871:263:a33:b08b:9e0:b0bb:8ab2)
2024-09-19 13:58:10 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 248 seconds)
2024-09-19 13:58:56 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 14:00:57 +0000 <probie> Exploring linear types in Haskell is fun. I don't think they should be a base for optimisation. At that point, just make a new language
2024-09-19 14:04:12 +0000mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 246 seconds)
2024-09-19 14:04:14 +0000 <probie> Haskell is a strongly typed functional language with laziness and typeclasses. Any attempt to move away from any part of that is going to get a lot of flak from certain parts of the community
2024-09-19 14:06:36 +0000athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 272 seconds)
2024-09-19 14:10:23 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
2024-09-19 14:17:51 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 246 seconds)
2024-09-19 14:32:49 +0000 <kuribas> Haskell already has linear types
2024-09-19 14:33:20 +0000chromo(~chromo@210.185.108.225)
2024-09-19 14:34:19 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2024-09-19 14:34:44 +0000sord937(~sord937@gateway/tor-sasl/sord937)
2024-09-19 14:34:57 +0000greenflower(~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Ping timeout: 256 seconds)
2024-09-19 14:37:03 +0000misterfish(~misterfis@178.229.231.194) (Ping timeout: 245 seconds)
2024-09-19 14:38:55 +0000misterfish(~misterfis@178.229.202.223)
2024-09-19 14:40:05 +0000rvalue-(~rvalue@user/rvalue)
2024-09-19 14:40:06 +0000rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-09-19 14:40:19 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 264 seconds)
2024-09-19 14:44:11 +0000rvalue-rvalue
2024-09-19 14:46:11 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 255 seconds)
2024-09-19 14:47:20 +0000 <kuribas> dminuoso: in that sense Python would be the better language, but I am still convinced python is a bad language for any large projects, that need to be stable and long running.
2024-09-19 14:47:51 +0000athan(~athan@2600:382:1f1b:231a:7a65:ae9e:1d60:7f0d)
2024-09-19 14:47:56 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 14:47:59 +0000 <kuribas> dminuoso: That's where you get the nonsense to run in kubernetes where you can scale and restart at will.
2024-09-19 14:49:00 +0000 <kaol> Is it good for small projects either?
2024-09-19 14:49:17 +0000 <kuribas> For one of scripts. For a small POC of a calculation.
2024-09-19 14:49:50 +0000 <kuribas> Where it's too big for bash, but not big enough for java.
2024-09-19 14:50:31 +0000 <mari-estel> django is quite powerful, also data crunching with python is neat
2024-09-19 14:51:11 +0000 <kuribas> It is neat, until you have to maintain a project that has been written by researchers, and made into a product just because they could.
2024-09-19 14:51:48 +0000 <mari-estel> just because that's the industry, i don't see researchers striving to ship it
2024-09-19 14:53:53 +0000chromo(~chromo@210.185.108.225)
2024-09-19 14:55:24 +0000tabemann(~tabemann@2600:1700:7990:24e0:63b4:82b1:f852:f702) (Ping timeout: 260 seconds)
2024-09-19 15:02:47 +0000 <kuribas> sure, it's managers pushing to ship research level code.
2024-09-19 15:05:15 +0000terrorjack4(~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat)
2024-09-19 15:06:54 +0000terrorjack4(~terrorjac@2a01:4f8:c17:dc9f::)
2024-09-19 15:08:31 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-09-19 15:08:42 +0000rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-09-19 15:09:18 +0000rvalue(~rvalue@user/rvalue)
2024-09-19 15:13:22 +0000mari-estel(~mari-este@2a02:3032:315:94fa:216:3eff:fe65:4eef) (Quit: on the move)
2024-09-19 15:18:03 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 246 seconds)
2024-09-19 15:25:58 +0000chromo(~chromo@210.185.108.225)
2024-09-19 15:31:07 +0000Sgeo(~Sgeo@user/sgeo)
2024-09-19 15:32:26 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 252 seconds)
2024-09-19 15:34:18 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-09-19 15:36:38 +0000greenflower(~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b)
2024-09-19 15:37:48 +0000athan(~athan@2600:382:1f1b:231a:7a65:ae9e:1d60:7f0d) (Ping timeout: 272 seconds)
2024-09-19 15:42:41 +0000euphores(~SASL_euph@user/euphores)
2024-09-19 15:45:33 +0000dontdieych2(~dontdieyc@user/dontdieych2)
2024-09-19 15:47:26 +0000mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com)
2024-09-19 15:53:25 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-09-19 15:54:31 +0000causal(~eric@50.35.88.207) (Quit: WeeChat 4.3.1)
2024-09-19 15:58:21 +0000 <dmj`> thesisware
2024-09-19 15:59:28 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2024-09-19 16:01:09 +0000dontdieych2(~dontdieyc@user/dontdieych2) (Quit: Client closed)
2024-09-19 16:03:10 +0000chromo(~chromo@210.185.108.225)
2024-09-19 16:06:09 +0000ft(~ft@p508db65d.dip0.t-ipconnect.de)
2024-09-19 16:07:44 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 260 seconds)
2024-09-19 16:10:25 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds)
2024-09-19 16:16:32 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-19 16:21:07 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-09-19 16:21:53 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-19 16:22:43 +0000 <cheater> why are we suddenly talking about django?
2024-09-19 16:22:56 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 16:28:23 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-09-19 16:28:40 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-09-19 16:33:44 +0000superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.4.2)
2024-09-19 16:33:50 +0000srazkvt(~sarah@user/srazkvt)
2024-09-19 16:34:30 +0000greenflower(~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed)
2024-09-19 16:35:47 +0000 <srazkvt> hey, a little question, with cabal, can i depend on a package that is just on my drive ? i have a library i haven't yet released because i'm still figuring out a proper api for it, but i want something a little more complex than just an example to actually test it out
2024-09-19 16:36:04 +0000 <srazkvt> or should i just make it an example for now ?
2024-09-19 16:38:49 +0000 <sclv> you can use a cabal.project file to point to that package and have something else depend on it
2024-09-19 16:44:40 +0000JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-19 16:53:21 +0000chromo(~chromo@210.185.108.225)
2024-09-19 16:55:20 +0000athan(~athan@207.212.61.145)
2024-09-19 16:58:29 +0000misterfish(~misterfis@178.229.202.223) (Ping timeout: 248 seconds)
2024-09-19 17:00:22 +0000athan(~athan@207.212.61.145) (Read error: Connection reset by peer)
2024-09-19 17:00:27 +0000misterfish(~misterfis@87.215.131.102)
2024-09-19 17:00:52 +0000athan(~athan@2600:382:3a25:bcb9:eadf:7952:979f:403)
2024-09-19 17:01:34 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2024-09-19 17:02:08 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-09-19 17:02:30 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-09-19 17:03:23 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2024-09-19 17:05:22 +0000misterfish(~misterfis@87.215.131.102) (Read error: Connection reset by peer)
2024-09-19 17:08:23 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-09-19 17:08:34 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-19 17:09:32 +0000misterfish(~misterfis@87.215.131.102)
2024-09-19 17:10:26 +0000euleritian(~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de)
2024-09-19 17:13:25 +0000euleritian(~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-19 17:13:42 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-19 17:14:38 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-19 17:21:57 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2024-09-19 17:23:27 +0000euleritian(~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de)
2024-09-19 17:31:39 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-09-19 17:33:22 +0000euleritian(~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-09-19 17:33:27 +0000euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-09-19 17:33:32 +0000ubert(~Thunderbi@2001:871:263:a33:b08b:9e0:b0bb:8ab2) (Ping timeout: 246 seconds)
2024-09-19 17:35:22 +0000superbil(~superbil@114-32-231-70.hinet-ip.hinet.net)
2024-09-19 17:57:03 +0000athan(~athan@2600:382:3a25:bcb9:eadf:7952:979f:403) (Ping timeout: 276 seconds)
2024-09-19 18:04:00 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 265 seconds)
2024-09-19 18:11:09 +0000steew(~steew@user/steew) (Remote host closed the connection)
2024-09-19 18:12:35 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-09-19 18:13:01 +0000steew(~steew@user/steew)
2024-09-19 18:14:31 +0000gmg(~user@user/gehmehgeh)
2024-09-19 18:16:10 +0000steew(~steew@user/steew) (Remote host closed the connection)
2024-09-19 18:16:22 +0000athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-19 18:16:29 +0000steew_(~steew@user/steew)
2024-09-19 18:16:34 +0000steew_(~steew@user/steew) (Remote host closed the connection)
2024-09-19 18:16:52 +0000steew_(~steew@user/steew)
2024-09-19 18:17:30 +0000steew_(~steew@user/steew) (Remote host closed the connection)
2024-09-19 18:17:32 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2024-09-19 18:18:41 +0000 <tomsmeding> srazkvt: more precisely: put "packages: . path/to/your/example" in a `cabal.project` file
2024-09-19 18:18:55 +0000 <tomsmeding> then the directory with that cabal.project file is now a "project" that contains two packages
2024-09-19 18:19:25 +0000 <tomsmeding> those packages will override hackage, so if you then "just" depend on the other as usual, cabal will find it
2024-09-19 18:20:17 +0000 <srazkvt> huh
2024-09-19 18:20:19 +0000 <srazkvt> interesting
2024-09-19 18:20:40 +0000 <tomsmeding> in particular, if you e.g. want to locally patch a hackage package, say 'containers', then you can make a local git clone of 'containers'. Then whenever you put that clone in a cabal.project, the other packages in that "project" will use the local version of 'containers'
2024-09-19 18:21:02 +0000 <tomsmeding> this is useful if you have a number of related packages that you want to develop together, that all also exist on hackage
2024-09-19 18:21:08 +0000 <srazkvt> i ended up making a local noindex cabal repository and manually sdist but that will probably be much better
2024-09-19 18:21:17 +0000 <srazkvt> yeah im in the second case
2024-09-19 18:21:26 +0000 <tomsmeding> put them all in a directory, put a cabal.project file in there that lists all of them, and then `cabal build` will use the local stuff
2024-09-19 18:22:08 +0000 <tomsmeding> srazkvt: https://cabal.readthedocs.io/en/latest/cabal-project-description-file.html
2024-09-19 18:22:29 +0000visilii(~visilii@46.61.242.158) (Ping timeout: 260 seconds)
2024-09-19 18:23:14 +0000 <tomsmeding> cabal.project files don't get uploaded to hackage, they're a local-only thing
2024-09-19 18:23:59 +0000ash3en(~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf)
2024-09-19 18:24:20 +0000YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:9f14:9018:36b4:c89c) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2024-09-19 18:24:33 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 245 seconds)
2024-09-19 18:24:40 +0000YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
2024-09-19 18:28:09 +0000ash3en(~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf) (Client Quit)
2024-09-19 18:31:11 +0000athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!)
2024-09-19 18:31:38 +0000raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-09-19 18:32:17 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-19 18:34:24 +0000chromo(~chromo@210.185.108.225)
2024-09-19 18:34:40 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds)
2024-09-19 18:35:52 +0000euandreh(~Thunderbi@189.6.105.228)
2024-09-19 18:38:50 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 255 seconds)
2024-09-19 18:39:02 +0000srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2024-09-19 18:39:41 +0000dhruvasagar(~dhruvasag@49.207.204.156)
2024-09-19 18:42:37 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-19 18:42:47 +0000euandreh(~Thunderbi@189.6.105.228) (Quit: euandreh)
2024-09-19 18:43:11 +0000euandreh(~Thunderbi@189.6.105.228)
2024-09-19 18:44:57 +0000infinity0(~infinity0@pwned.gg)
2024-09-19 18:46:46 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-09-19 18:49:36 +0000neuroevolutus(~neuroevol@37.19.200.165)
2024-09-19 18:50:41 +0000ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com)
2024-09-19 18:50:48 +0000califax_(~califax@user/califx)
2024-09-19 18:51:01 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-09-19 18:51:01 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-09-19 18:51:17 +0000califax(~califax@user/califx) (Remote host closed the connection)
2024-09-19 18:51:18 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer)
2024-09-19 18:51:18 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer)
2024-09-19 18:51:22 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-19 18:51:36 +0000chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds)
2024-09-19 18:51:48 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-09-19 18:51:49 +0000sord937(~sord937@gateway/tor-sasl/sord937)
2024-09-19 18:51:53 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2024-09-19 18:52:05 +0000califax_califax
2024-09-19 18:52:11 +0000chiselfu1e(~chiselfus@user/chiselfuse)
2024-09-19 18:52:32 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2024-09-19 18:56:48 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-09-19 18:58:11 +0000raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
2024-09-19 19:00:00 +0000caconym8(~caconym@user/caconym) (Quit: bye)
2024-09-19 19:00:36 +0000caconym8(~caconym@user/caconym)
2024-09-19 19:00:37 +0000misterfish(~misterfis@87.215.131.102) (Ping timeout: 248 seconds)
2024-09-19 19:03:07 +0000ash3en(~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf)
2024-09-19 19:03:59 +0000machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds)
2024-09-19 19:04:17 +0000rvalue-(~rvalue@user/rvalue)
2024-09-19 19:04:51 +0000rvalue(~rvalue@user/rvalue) (Ping timeout: 246 seconds)
2024-09-19 19:10:07 +0000 <mreh> hmm, why might stack be hanging...
2024-09-19 19:10:23 +0000rvalue-rvalue
2024-09-19 19:12:18 +0000 <mreh> this is an idle process hanging, rather than taking a long time to compile hang
2024-09-19 19:12:19 +0000dhruvasagar(~dhruvasag@49.207.204.156) (Quit: WeeChat 4.3.5)
2024-09-19 19:14:34 +0000ubert(~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2024-09-19 19:17:18 +0000chromo(~chromo@210.185.108.225)
2024-09-19 19:19:47 +0000 <mreh> -cabal-verbosity shows nothing at all... so odd
2024-09-19 19:20:25 +0000athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-19 19:24:19 +0000 <tomsmeding> mreh: what OS are you on? If linux, try 'strace <your stack command>'
2024-09-19 19:24:47 +0000 <tomsmeding> shows the system calls that it does, and crucially it outputs something when the call _started_ as well as when it ends
2024-09-19 19:25:10 +0000 <tomsmeding> iirc dtrace can do the same on macos
2024-09-19 19:25:31 +0000Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-19 19:27:28 +0000weary-traveler(~user@user/user363627)
2024-09-19 19:28:07 +0000 <mreh> The last line is "futex(0x7fff635c7af4, FUTEX_WAIT_PRI" but the rest is cut off. Deadlocked on something maybe?
2024-09-19 19:31:54 +0000Blasius(~Blasius@2.219.56.221) (Ping timeout: 260 seconds)
2024-09-19 19:33:04 +0000athan(~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 260 seconds)
2024-09-19 19:41:54 +0000 <tomsmeding> yeah, futex is a mutex operation
2024-09-19 19:42:21 +0000 <tomsmeding> if you show the whole output, perhaps someone can see something
2024-09-19 19:42:42 +0000 <tomsmeding> (strace -o log <...>)
2024-09-19 19:44:28 +0000 <tomsmeding> mreh: it could also be that stack is waiting on some child process to finish that never finishes. Are there any live child processes when stack hangs?
2024-09-19 19:44:51 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-09-19 19:45:07 +0000 <tomsmeding> (pstree $(pgrep stack))
2024-09-19 19:46:44 +0000 <monochrom> Haha thanks for the pstree tip. I have always only known htop.
2024-09-19 19:47:37 +0000misterfish(~misterfis@87.215.131.102)
2024-09-19 19:47:49 +0000 <mreh> no child processes
2024-09-19 19:47:49 +0000Blasius(~Blasius@2.219.56.221)
2024-09-19 19:49:23 +0000 <mreh> it's only when I add this once package `hsnoise`
2024-09-19 19:49:30 +0000target_i(~target_i@user/target-i/x-6023099)
2024-09-19 19:49:35 +0000 <mreh> so maybe that's a clue
2024-09-19 19:49:52 +0000 <mreh> it's not in the stackage snapshot I'm using
2024-09-19 19:50:35 +0000 <mreh> who wants 4.5k lines of strace output?
2024-09-19 19:52:24 +0000misterfish(~misterfis@87.215.131.102) (Ping timeout: 272 seconds)
2024-09-19 19:53:54 +0000 <mreh> I think that might be it for the day anyway...
2024-09-19 19:54:48 +0000 <geekosaur> if a futex op is incomplete that way, it usually means the futex is blocked waiting for the call to finish
2024-09-19 19:58:37 +0000 <tomsmeding> monochrom: I always use htop but I didn't want to assume htop presence here :p
2024-09-19 19:58:59 +0000 <tomsmeding> mreh: a pastebin is happy to receive 4.5k lines of strace output
2024-09-19 19:59:19 +0000 <geekosaur> well, some of them are
2024-09-19 19:59:26 +0000 <tomsmeding> geekosaur: indeed, but mutexes are used too generally for that to be much of a clue :)
2024-09-19 19:59:29 +0000 <mreh> @where paste
2024-09-19 19:59:29 +0000 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2024-09-19 19:59:38 +0000 <mreh> lol
2024-09-19 20:00:01 +0000tomsmedingwhistles
2024-09-19 20:00:06 +0000 <geekosaur> yeh, my response was basically "speak for yourself" 😛
2024-09-19 20:02:31 +0000 <tomsmeding> hm, that pastebin's max paste size may well be on the low side for this
2024-09-19 20:02:46 +0000 <tomsmeding> curl --data-binary @the/path/to/the/log/file https://tomsmeding.com/gooi/stracelog
2024-09-19 20:02:57 +0000misterfish(~misterfis@87.215.131.102)
2024-09-19 20:06:00 +0000ash3en(~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf) (Quit: ash3en)
2024-09-19 20:06:04 +0000jinsun(~jinsun@user/jinsun)
2024-09-19 20:06:36 +0000neuroevolutus(~neuroevol@37.19.200.165) (Quit: Client closed)
2024-09-19 20:07:15 +0000mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 265 seconds)
2024-09-19 20:08:01 +0000Blasius_(~Blasius@2.219.56.221)
2024-09-19 20:10:57 +0000Blasius(~Blasius@2.219.56.221) (Ping timeout: 276 seconds)
2024-09-19 20:15:39 +0000misterfish(~misterfis@87.215.131.102) (Ping timeout: 260 seconds)
2024-09-19 20:15:53 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2024-09-19 20:25:58 +0000CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-19 20:27:54 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 260 seconds)
2024-09-19 20:28:03 +0000CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-09-19 20:32:26 +0000misterfish(~misterfis@87.215.131.102)
2024-09-19 20:32:31 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-09-19 20:34:20 +0000gmg(~user@user/gehmehgeh)
2024-09-19 20:41:42 +0000synchromesh(~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer)
2024-09-19 20:43:07 +0000synchromesh(~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17)
2024-09-19 20:51:47 +0000tritlo_tritlo
2024-09-19 20:55:15 +0000 <tritlo> Hey all, is `ghc-lib-parser-9.10.1.20240511` failing to build for anyone else? It was working on our CI fine earlier today, but now I'm getting a weird build error (on 9.6.6)
2024-09-19 20:56:51 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds)
2024-09-19 20:57:29 +0000chromo(~chromo@210.185.108.225)
2024-09-19 21:00:31 +0000 <geekosaur> what's the error?
2024-09-19 21:00:33 +0000 <geekosaur> @where paste
2024-09-19 21:00:33 +0000 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2024-09-19 21:02:12 +0000michalz(~michalz@185.246.207.218) (Remote host closed the connection)
2024-09-19 21:03:41 +0000 <tritlo> https://paste.tomsmeding.com/GulpmqNz
2024-09-19 21:04:13 +0000 <tritlo> happens both on github CI and my local computer
2024-09-19 21:04:25 +0000machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net)
2024-09-19 21:05:40 +0000 <tritlo> (specifically when trying to install fourmolu)
2024-09-19 21:06:43 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 264 seconds)
2024-09-19 21:07:20 +0000 <geekosaur> the indentation there looks kinda skeevy to me
2024-09-19 21:08:17 +0000 <tritlo> It's weird that it was working earlier today, but then broke an hour or two ago
2024-09-19 21:08:54 +0000 <tritlo> I think this file is autogenerated from the parser, so there might be something going on there. But I don't see how that would have changed now
2024-09-19 21:09:02 +0000 <geekosaur> did you happen to do a `cabal update`? that looks like `happy`-generated code, and I note that `happy-2.0` was just released
2024-09-19 21:09:20 +0000 <geekosaur> like, earlier today
2024-09-19 21:10:10 +0000 <tritlo> hmm, yes, the CI does run cabal update
2024-09-19 21:10:11 +0000 <geekosaur> my local build just succeeded, with `happy-1.20.1.1`
2024-09-19 21:10:31 +0000 <haskellbridge> <sm> This is why stackage was invented
2024-09-19 21:10:45 +0000 <haskellbridge> <sm> * created
2024-09-19 21:10:55 +0000 <geekosaur> people are supposed to set bounds
2024-09-19 21:10:58 +0000 <mauke> discovered
2024-09-19 21:11:04 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-19 21:11:23 +0000 <mauke> my happiness knows no bounds
2024-09-19 21:11:35 +0000 <haskellbridge> <sm> 😂
2024-09-19 21:12:26 +0000 <geekosaur> but actually I don't think either one of those will help because both are for libraries and happy's an executable
2024-09-19 21:12:51 +0000 <geekosaur> executable version handling's a hack in the Haskell ecosystem
2024-09-19 21:13:43 +0000 <mauke> happy 2: manic
2024-09-19 21:13:45 +0000 <mauke> https://www.youtube.com/watch?v=AzVPelmFKPk
2024-09-19 21:16:43 +0000misterfish(~misterfis@87.215.131.102) (Ping timeout: 252 seconds)
2024-09-19 21:18:26 +0000 <tritlo> Yeah seems like there's no version bound on `happy` in the executable
2024-09-19 21:18:38 +0000 <geekosaur> and sure enough, with happy-2.0 I get that error. go file a bug against happy, and tell the haskell-lib-parser folks (or maybe a hackage trustee) that haskell-lib-parser needs a constraint added (I think to build-tool-depends)
2024-09-19 21:19:49 +0000chromo(~chromo@210.185.108.225)
2024-09-19 21:20:49 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-19 21:22:29 +0000misterfish(~misterfis@87.215.131.102)
2024-09-19 21:24:04 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 252 seconds)
2024-09-19 21:26:21 +0000 <glguy> You can set bounds on your build-tools
2024-09-19 21:28:05 +0000 <tritlo> Already done so :)
2024-09-19 21:28:19 +0000 <geekosaur> already commented on 😛
2024-09-19 21:28:41 +0000 <glguy> already already
2024-09-19 21:33:46 +0000ystael(~ystael@user/ystael) (Ping timeout: 265 seconds)
2024-09-19 21:35:46 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-19 21:36:06 +0000 <mauke> iamiam cedant tristia
2024-09-19 21:40:29 +0000chromo(~chromo@210.185.108.225)
2024-09-19 21:44:48 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 246 seconds)
2024-09-19 21:46:50 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-09-19 21:48:07 +0000 <tritlo> Any way I can force cabal to select `happy` 1.20.1.1? I can get a build plan with `happy` 1.19 if I do `--prefer-oldest`, but I'd rather select only the one. `--constraint "happy == 1.20.1.1"` doesn't seem to cut it
2024-09-19 21:49:00 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-09-19 22:00:51 +0000 <geekosaur> that constraint only applies to libraries, not executables.
2024-09-19 22:02:03 +0000 <geekosaur> unfortunately, it doesn't look like '--build-tool-depends' is supported on the command line. if you can use a cabal.project, try https://paste.tomsmeding.com/W3BRWzp1
2024-09-19 22:03:06 +0000pavonia(~user@user/siracusa)
2024-09-19 22:03:23 +0000 <tritlo> Ah, it's in a CI so can't change the `cabal.project`. Thanks anyway, I'll use the `--prefer-oldest` until the issue is resolved
2024-09-19 22:03:27 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-09-19 22:05:53 +0000chromo(~chromo@210.185.108.225)
2024-09-19 22:05:57 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer)
2024-09-19 22:06:47 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2024-09-19 22:08:32 +0000 <geekosaur> fwiw I just filed a cabal feature request
2024-09-19 22:08:41 +0000 <geekosaur> not that that will help now
2024-09-19 22:09:10 +0000 <geekosaur> oh, you could also put that in cabal.project.local, which is not intended to be in CI
2024-09-19 22:10:16 +0000chromo(~chromo@210.185.108.225) (Ping timeout: 252 seconds)
2024-09-19 22:11:15 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2024-09-19 22:21:27 +0000chromo(~chromo@210.185.108.225)
2024-09-19 22:25:51 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-19 22:43:49 +0000neuroevolutus(~neuroevol@37.19.200.165)
2024-09-19 22:46:12 +0000misterfish(~misterfis@87.215.131.102) (Ping timeout: 252 seconds)
2024-09-19 22:49:33 +0000acidjnk(~acidjnk@p200300d6e72cfb61e8eec24a54e24d68.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2024-09-19 22:57:46 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-09-19 23:08:44 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-09-19 23:12:20 +0000ystael(~ystael@user/ystael)
2024-09-19 23:13:15 +0000connrs(~connrs@user/connrs) (Ping timeout: 252 seconds)
2024-09-19 23:14:44 +0000mikess(~mikess@user/mikess)
2024-09-19 23:17:25 +0000neuroevolutus(~neuroevol@37.19.200.165) (Ping timeout: 256 seconds)
2024-09-19 23:19:14 +0000troojg(~troojg@user/troojg)
2024-09-19 23:28:42 +0000machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds)
2024-09-19 23:34:36 +0000ystael(~ystael@user/ystael) (Ping timeout: 265 seconds)
2024-09-19 23:36:56 +0000connrs(~connrs@user/connrs)
2024-09-19 23:43:54 +0000EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-09-19 23:44:14 +0000EvanR(~EvanR@user/evanr)
2024-09-19 23:44:39 +0000neuroevolutus(~neuroevol@37.19.200.165)
2024-09-19 23:52:13 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-09-19 23:53:41 +0000neuroevolutus(~neuroevol@37.19.200.165) (Ping timeout: 256 seconds)
2024-09-19 23:54:15 +0000athan(~athan@syn-098-153-145-140.biz.spectrum.com)
2024-09-19 23:56:01 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)