| 2024-09-19 00:00:20 +0200 | <Zer000> | mauke, oh so it's how my list gets used? |
| 2024-09-19 00:01:08 +0200 | <Zer000> | You're probably right... maybe i should profile my program then |
| 2024-09-19 00:02:22 +0200 | <int-e> | hmmm https://mail.haskell.org/pipermail/haskell/2009-April/021173.html references the motto :P |
| 2024-09-19 00:02:30 +0200 | <Rembane> | int-e: Good stuff! :D |
| 2024-09-19 00:02:51 +0200 | <c_wraith> | Zer000: note that that line creates a list that's only three elements long. did you want [x, y .. z] instead? |
| 2024-09-19 00:03:43 +0200 | <mauke> | <Zer000> and my code isn't even right, it's building a list with three things in it, but I wanted to use the [n1, n2...n] syntax |
| 2024-09-19 00:03:51 +0200 | <c_wraith> | oh, whoops |
| 2024-09-19 00:04:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-19 00:04:59 +0200 | <Zer000> | magic_rb are you replying to me from matrix? I got confused by the briding for a second |
| 2024-09-19 00:05:26 +0200 | <Zer000> | you guys should use the matrix appservices bridge IMO it's way better but slightly more annoying to set up |
| 2024-09-19 00:05:39 +0200 | <haskellbridge> | <magic_rb> Zer000 yes is it showing up weirdly on the irc side? |
| 2024-09-19 00:05:50 +0200 | <Zer000> | It looks like someone is replying to you |
| 2024-09-19 00:06:10 +0200 | <int-e> | Tge motto appears in these slides from 2003. https://www.microsoft.com/en-us/research/publication/wearing-hair-shirt-retrospective-haskell-2003/ (via https://es.costashine-autospa.com/wg-cgi/marc.info/?l=haskell-cafe&m=120491982137885&w=2 ) |
| 2024-09-19 00:06:10 +0200 | <Zer000> | Like this: haskellbridge: <magic_rb> Zer000 yes is it showing up weirdly on the irc side? |
| 2024-09-19 00:06:49 +0200 | <int-e> | hmm, that second link is suspicious, should be https://marc.info/?l=haskell-cafe&m=120491982137885&w=2 |
| 2024-09-19 00:07:21 +0200 | <haskellbridge> | <magic_rb> Zer000 ah, i should finally get around to using heisenbridge to interact with this room, works much better in my experience |
| 2024-09-19 00:08:02 +0200 | <Rembane> | int-e: This gets even better! Thank you! |
| 2024-09-19 00:10:19 +0200 | Squared | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-09-19 00:11:06 +0200 | <int-e> | That timing feels about right to me; my memory isn't good enough to say whether the motto was conceived then or has an earlier origin. |
| 2024-09-19 00:11:16 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 00:11:20 +0200 | <monochrom> | Haha "gives too much power to implementers?" came true. |
| 2024-09-19 00:12:39 +0200 | <Rembane> | The most powerful implementers! |
| 2024-09-19 00:12:40 +0200 | <int-e> | hugs was still alive in 2003 |
| 2024-09-19 00:13:26 +0200 | <int-e> | Heck we had a cambric explosion of Haskell compilers for a while. Darwin killed them all or something. |
| 2024-09-19 00:14:48 +0200 | <Rembane> | Too few lovely islands for them to thrive? |
| 2024-09-19 00:14:55 +0200 | EvanR | sues GHC for being a monopoly |
| 2024-09-19 00:15:52 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-19 00:16:12 +0200 | <int-e> | (Realistically none of them had much staying power, and people who would've implemented Haskell around 2000 are now implementing new languages instead. A trend that maybe started with Clean? I don't really know, but it's an early example that I remember.) |
| 2024-09-19 00:16:48 +0200 | <Rembane> | That seems reasonable. And I think it's better for the world to have more languages rather than having more implementations of Haskell. |
| 2024-09-19 00:17:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-19 00:18:53 +0200 | <JuanDaugherty> | the hybrids thrived in niches, curry e.g. |
| 2024-09-19 00:19:58 +0200 | <JuanDaugherty> | u need a uni with a renewable labor pool |
| 2024-09-19 00:20:44 +0200 | <JuanDaugherty> | and not just some guy in a dept |
| 2024-09-19 00:22:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-19 00:24:25 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 2024-09-19 00:25:16 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-09-19 00:28:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-19 00:28:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-19 00:34:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-19 00:39:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-19 00:43:18 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 00:48:14 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 260 seconds) |
| 2024-09-19 00:50:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-19 00:54:15 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-19 00:54:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-19 01:00:29 +0200 | athan | (~athan@2600:382:3a0d:4939:9511:a0d6:8db3:c9e4) (Ping timeout: 260 seconds) |
| 2024-09-19 01:01:07 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 01:03:43 +0200 | <c_wraith> | can you allow-newer a native dependency? |
| 2024-09-19 01:04:55 +0200 | <c_wraith> | the cairo package seems to depend on librsvg-2.0 < 2.51 and debian stable currently packages 2.54 |
| 2024-09-19 01:05:21 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb224ccb10fade5fa5a7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-09-19 01:05:34 +0200 | <c_wraith> | err. the svgcairo package. |
| 2024-09-19 01:05:35 +0200 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-19 01:06:17 +0200 | <c_wraith> | Huh. I suppose I could have just tried. It seems to be trying to build now, at least. |
| 2024-09-19 01:06:22 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-19 01:07:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-19 01:08:54 +0200 | remedan_ | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-19 01:09:11 +0200 | <c_wraith> | didn't actually work. Seems it's not passing correct flags to pkg-config. |
| 2024-09-19 01:09:36 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
| 2024-09-19 01:11:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-19 01:12:49 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-19 01:13:11 +0200 | dolio | (~dolio@130.44.140.168) |
| 2024-09-19 01:19:40 +0200 | tv1 | (~tv@user/tv) (Ping timeout: 252 seconds) |
| 2024-09-19 01:23:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-19 01:28:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-19 01:39:07 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-19 01:39:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-19 01:39:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-19 01:43:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-19 01:52:18 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 01:53:13 +0200 | Axma52822 | Axman6 |
| 2024-09-19 01:54:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-19 01:58:19 +0200 | synchrom1 | (~john@2406:5a00:241a:5600:613a:461c:b683:86cf) |
| 2024-09-19 01:59:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-19 02:01:06 +0200 | synchromesh | (~john@203.94.52.182) (Ping timeout: 252 seconds) |
| 2024-09-19 02:02:24 +0200 | pavonia | (~user@user/siracusa) |
| 2024-09-19 02:05:41 +0200 | Angelz | (Angelz@user/angelz) (Ping timeout: 265 seconds) |
| 2024-09-19 02:14:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-19 02:16:29 +0200 | tv | (~tv@user/tv) |
| 2024-09-19 02:20:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-19 02:24:11 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-19 02:29:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6729:dbd:b464:a963) (Ping timeout: 248 seconds) |
| 2024-09-19 02:29:45 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
| 2024-09-19 02:32:57 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-09-19 02:36:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-19 02:40:55 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-19 03:04:10 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2024-09-19 03:04:44 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-09-19 03:05:37 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-09-19 03:06:13 +0200 | mceresa | (~mceresa@user/mceresa) |
| 2024-09-19 03:12:24 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-19 03:13:59 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 03:14:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-19 03:19:11 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-09-19 03:19:24 +0200 | blober | (~blober@185.98.172.26) |
| 2024-09-19 03:19:40 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (Remote host closed the connection) |
| 2024-09-19 03:20:01 +0200 | st_aldini | (~Thunderbi@136.48.22.91) |
| 2024-09-19 03:20:09 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 246 seconds) |
| 2024-09-19 03:22:10 +0200 | <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 03:22:11 +0200 | <blober> | ``` |
| 2024-09-19 03:22:11 +0200 | <blober> | example = decode1 "- 1\n- 2" :: Either (Pos, String) [Int] |
| 2024-09-19 03:22:12 +0200 | <blober> | ``` |
| 2024-09-19 03:22:12 +0200 | <blober> | the above works, but this doesn't |
| 2024-09-19 03:22:13 +0200 | <blober> | ``` |
| 2024-09-19 03:22:13 +0200 | <blober> | my_example = decode1 "- foo" :: Either (Pos, String) [String] |
| 2024-09-19 03:22:14 +0200 | <blober> | ``` |
| 2024-09-19 03:22:15 +0200 | <blober> | ``` |
| 2024-09-19 03:22:15 +0200 | <blober> | • No instance for ‘FromYAML Char’ arising from a use of ‘decode1’ |
| 2024-09-19 03:22:16 +0200 | <blober> | ``` |
| 2024-09-19 03:22:42 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-19 03:28:43 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-19 03:29:10 +0200 | institor | (~henricus@user/institor) (Killed (ozone (No Spam))) |
| 2024-09-19 03:30:44 +0200 | zzz | (~z@user/zero) |
| 2024-09-19 03:31:08 +0200 | zero | (~z@user/zero) (Read error: Connection reset by peer) |
| 2024-09-19 03:31:08 +0200 | zzz | zero |
| 2024-09-19 03:31:16 +0200 | <Axman6> | blober: Does using [Text] work? |
| 2024-09-19 03:31:50 +0200 | <Axman6> | because I think it's actually expecting to parse [[Char]] which is where that error is coming from |
| 2024-09-19 03:32:44 +0200 | <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 03:33:42 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 03:33:44 +0200 | <blober> | yes, you were correct |
| 2024-09-19 03:38:20 +0200 | <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 03:47:27 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-19 03:51:39 +0200 | lystra | (~lystra@208.59.105.41) (Ping timeout: 246 seconds) |
| 2024-09-19 03:51:41 +0200 | <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 03:53:17 +0200 | <blober> | like doing roundtrip and inserting a key |
| 2024-09-19 03:54:40 +0200 | <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 03:54:59 +0200 | <blober> | I see |
| 2024-09-19 03:58:38 +0200 | <Axman6> | how you use that to change specific parts of the structure I'm not sure |
| 2024-09-19 03:58:47 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-19 03:59:17 +0200 | <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 04:01:11 +0200 | <blober> | TY |
| 2024-09-19 04:04:50 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-19 04:05:30 +0200 | lystra | (~lystra@208.59.105.41) |
| 2024-09-19 04:12:30 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 04:17:04 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 260 seconds) |
| 2024-09-19 04:27:32 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 04:32:09 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-19 04:33:28 +0200 | blober | (~blober@185.98.172.26) (Quit: Client closed) |
| 2024-09-19 04:36:58 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-09-19 04:37:03 +0200 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 245 seconds) |
| 2024-09-19 04:38:56 +0200 | td_ | (~td@83.135.9.0) |
| 2024-09-19 04:51:03 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-19 04:59:51 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 05:28:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-19 05:28:42 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-19 05:31:29 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-19 05:34:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-19 05:35:31 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-19 05:35:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-09-19 05:36:53 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-09-19 05:46:27 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-19 05:49:16 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
| 2024-09-19 06:15:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-09-19 06:15:51 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-19 06:15:54 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-09-19 06:21:28 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-19 06:24:39 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-19 06:24:59 +0200 | califax | (~califax@user/califx) |
| 2024-09-19 06:25:11 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed) |
| 2024-09-19 06:25:47 +0200 | neuroevolutus | (~neuroevol@206.217.206.41) |
| 2024-09-19 06:26:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-19 06:26:25 +0200 | califax | (~califax@user/califx) |
| 2024-09-19 06:32:31 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-19 06:32:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-19 06:34:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-19 06:51:04 +0200 | neuroevolutus | (~neuroevol@206.217.206.41) (Quit: Client closed) |
| 2024-09-19 06:53:43 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-19 06:53:55 +0200 | Guest60 | (~Guest60@118.33.40.93) |
| 2024-09-19 06:54:40 +0200 | michalz | (~michalz@185.246.207.218) |
| 2024-09-19 06:55:02 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2024-09-19 06:56:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-19 07:04:55 +0200 | Guest60 | dontdieych2 |
| 2024-09-19 07:05:35 +0200 | dontdieych2 | (~Guest60@118.33.40.93) (Changing host) |
| 2024-09-19 07:05:35 +0200 | dontdieych2 | (~Guest60@user/dontdieych2) |
| 2024-09-19 07:05:48 +0200 | dontdieych2 | (~Guest60@user/dontdieych2) (Quit: Client closed) |
| 2024-09-19 07:06:23 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) |
| 2024-09-19 07:15:25 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
| 2024-09-19 07:17:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-19 07:17:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-19 07:24:15 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed) |
| 2024-09-19 07:24:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-09-19 07:25:36 +0200 | euleritian | (~euleritia@dynamic-176-006-137-170.176.6.pool.telefonica.de) |
| 2024-09-19 07:27:14 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2024-09-19 07:28:38 +0200 | st_aldini1 | (~Thunderbi@136.48.22.91) |
| 2024-09-19 07:30:03 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (Ping timeout: 246 seconds) |
| 2024-09-19 07:30:03 +0200 | st_aldini1 | st_aldini |
| 2024-09-19 07:30:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-19 07:36:36 +0200 | euleritian | (~euleritia@dynamic-176-006-137-170.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-09-19 07:40:49 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-19 07:41:38 +0200 | euleritian | (~euleritia@dynamic-176-003-002-000.176.3.pool.telefonica.de) |
| 2024-09-19 07:44:20 +0200 | euleritian | (~euleritia@dynamic-176-003-002-000.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-19 07:44:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-19 07:46:21 +0200 | rosco | (~rosco@175.136.158.234) |
| 2024-09-19 07:55:08 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) (Quit: Client closed) |
| 2024-09-19 07:55:09 +0200 | lol_ | jcarpenter2 |
| 2024-09-19 07:55:32 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) |
| 2024-09-19 07:56:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-19 07:59:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-19 08:11:38 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2024-09-19 08:23:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-19 08:24:32 +0200 | Zer000 | (~02@64.137.132.10) (Quit: Leaving) |
| 2024-09-19 08:31:59 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-09-19 08:36:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-19 08:39:42 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2024-09-19 08:40:48 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-09-19 08:41:01 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-09-19 08:53:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-19 08:57:58 +0200 | ash3en | (~Thunderbi@2a02:3100:754f:5e00:95a2:6c11:ef9c:ede2) |
| 2024-09-19 08:58:34 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-09-19 08:58:44 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-09-19 08:59:08 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-19 09:00:03 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-19 09:00:39 +0200 | caconym8 | (~caconym@user/caconym) |
| 2024-09-19 09:03:47 +0200 | mreh | (~matthew@host86-146-138-19.range86-146.btcentralplus.com) |
| 2024-09-19 09:06:10 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) |
| 2024-09-19 09:08:22 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
| 2024-09-19 09:21:28 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-09-19 09:21:50 +0200 | Digitteknohippie | Digit |
| 2024-09-19 09:37:23 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb61e8eec24a54e24d68.dip0.t-ipconnect.de) |
| 2024-09-19 09:43:15 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-19 09:46:00 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
| 2024-09-19 09:47:45 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-19 09:52:19 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-09-19 09:59:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-19 10:00:04 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-19 10:02:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-19 10:02:17 +0200 | astroanax1 | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Quit: WeeChat 3.8) |
| 2024-09-19 10:02:31 +0200 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
| 2024-09-19 10:12:27 +0200 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 246 seconds) |
| 2024-09-19 10:14:21 +0200 | synchrom1 | (~john@2406:5a00:241a:5600:613a:461c:b683:86cf) (Read error: Connection reset by peer) |
| 2024-09-19 10:15:53 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) |
| 2024-09-19 10:18:04 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.3.3) |
| 2024-09-19 10:23:35 +0200 | CiaoSen | (~Jura@2a05:5800:2e9:bc00:ca4b:d6ff:fec1:99da) |
| 2024-09-19 10:24:01 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2024-09-19 10:25:22 +0200 | ash3en | (~Thunderbi@2a02:3100:754f:5e00:95a2:6c11:ef9c:ede2) (Quit: ash3en) |
| 2024-09-19 10:29:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-19 10:31:19 +0200 | ubert | (~Thunderbi@2001:871:263:a33:a011:6ea3:41b6:46f6) |
| 2024-09-19 10:33:05 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-19 10:39:42 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-19 10:44:55 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-19 10:46:51 +0200 | <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 10:48:57 +0200 | <kuribas> | I know for many the overhead of static (dependent) types swamps the benefits, but I don't feel it. |
| 2024-09-19 10:53:02 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-19 11:06:44 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
| 2024-09-19 11:08:27 +0200 | CiaoSen | (~Jura@2a05:5800:2e9:bc00:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-09-19 11:14:38 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-09-19 11:16:43 +0200 | gvg | (~dcd@user/gvg) |
| 2024-09-19 11:17:09 +0200 | polyphem | (~rod@pd9fbfabc.dip0.t-ipconnect.de) |
| 2024-09-19 11:25:42 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-19 11:26:04 +0200 | califax | (~califax@user/califx) |
| 2024-09-19 11:26:24 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-19 11:26:45 +0200 | califax | (~califax@user/califx) |
| 2024-09-19 11:27:40 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 11:28:31 +0200 | chromo | (~chromo@210.185.108.225) (Remote host closed the connection) |
| 2024-09-19 11:28:48 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 11:32:22 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-19 11:34:28 +0200 | mari-estel | (~mari-este@2a02:3032:303:4dbd:216:3eff:fe65:4eef) |
| 2024-09-19 11:48:47 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Ping timeout: 256 seconds) |
| 2024-09-19 11:55:09 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 11:56:23 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-19 11:57:54 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-09-19 11:58:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-19 12:00:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-19 12:13:41 +0200 | Squared | (~Square@user/square) |
| 2024-09-19 12:20:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2024-09-19 12:32:23 +0200 | bairyn | (~bairyn@50.250.232.19) (Ping timeout: 255 seconds) |
| 2024-09-19 12:32:32 +0200 | bairyn | (~bairyn@50.250.232.19) |
| 2024-09-19 12:35:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-19 12:36:52 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-19 12:42:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-09-19 12:43:26 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-19 12:47:13 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 248 seconds) |
| 2024-09-19 12:49:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-19 12:49:55 +0200 | euleritian | (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) |
| 2024-09-19 12:50:17 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 12:53:13 +0200 | euleritian | (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-19 12:53:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-19 13:00:04 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-19 13:02:19 +0200 | caconym8 | (~caconym@user/caconym) |
| 2024-09-19 13:03:21 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) (Quit: Client closed) |
| 2024-09-19 13:03:30 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 265 seconds) |
| 2024-09-19 13:03:40 +0200 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-09-19 13:04:57 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-19 13:06:02 +0200 | youthlic1 | youthlic |
| 2024-09-19 13:07:22 +0200 | Square2 | (~Square4@user/square) |
| 2024-09-19 13:07:42 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2024-09-19 13:10:45 +0200 | Squared | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2024-09-19 13:11:10 +0200 | polyphem | (~rod@pd9fbfabc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-09-19 13:12:19 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-09-19 13:12:24 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 13:13:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1342:23f2:7011:a05) |
| 2024-09-19 13:16:43 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-09-19 13:17:54 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 2024-09-19 13:19:06 +0200 | ash3en | (~Thunderbi@149.222.143.226) |
| 2024-09-19 13:20:54 +0200 | mreh | (~matthew@host86-146-138-19.range86-146.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-09-19 13:20:59 +0200 | Blasius | (~Blasius@2.219.56.221) |
| 2024-09-19 13:21:39 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-19 13:22:00 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-09-19 13:41:06 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-09-19 13:41:15 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-09-19 13:43:49 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2024-09-19 13:45:33 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2024-09-19 13:49:06 +0200 | mari-estel | (~mari-este@2a02:3032:303:4dbd:216:3eff:fe65:4eef) (Ping timeout: 246 seconds) |
| 2024-09-19 13:53:25 +0200 | ubert | (~Thunderbi@2001:871:263:a33:a011:6ea3:41b6:46f6) (Ping timeout: 248 seconds) |
| 2024-09-19 13:54:05 +0200 | <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 13:54:51 +0200 | <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 13:54:56 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-19 13:55:30 +0200 | <dminuoso> | In practice, a rich library ecosystem beats a good language. |
| 2024-09-19 13:59:05 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 265 seconds) |
| 2024-09-19 14:00:16 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-09-19 14:00:34 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-09-19 14:06:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-19 14:06:47 +0200 | Digitteknohippie | Digit |
| 2024-09-19 14:06:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-19 14:13:15 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 246 seconds) |
| 2024-09-19 14:15:05 +0200 | misterfish | (~misterfis@178.229.231.194) |
| 2024-09-19 14:16:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2024-09-19 14:17:27 +0200 | euleritian | (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) |
| 2024-09-19 14:22:23 +0200 | ChanServ | +o litharge |
| 2024-09-19 14:22:24 +0200 | litharge | -bo *!*@46.56.199.104 litharge |
| 2024-09-19 14:22:46 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
| 2024-09-19 14:23:55 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer) |
| 2024-09-19 14:25:28 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) |
| 2024-09-19 14:27:17 +0200 | user363627 | (~user@user/user363627) |
| 2024-09-19 14:31:36 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 272 seconds) |
| 2024-09-19 14:36:02 +0200 | <L29Ah> | gotta create a good libraries foundation |
| 2024-09-19 14:36:36 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-19 14:37:25 +0200 | causal | (~eric@50.35.88.207) |
| 2024-09-19 14:42:01 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-19 14:51:39 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-19 14:51:49 +0200 | euleritian | (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-09-19 14:52:37 +0200 | euleritian | (~euleritia@dynamic-176-001-139-185.176.1.pool.telefonica.de) |
| 2024-09-19 15:02:06 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-19 15:07:03 +0200 | ubert | (~Thunderbi@2001:871:263:a33:ce4c:87cf:207:8819) |
| 2024-09-19 15:07:29 +0200 | itaipu | (~itaipu@168.121.98.63) (Ping timeout: 260 seconds) |
| 2024-09-19 15:10:39 +0200 | itaipu | (~itaipu@168.121.98.63) |
| 2024-09-19 15:11:36 +0200 | euleritian | (~euleritia@dynamic-176-001-139-185.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-19 15:11:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-19 15:12:50 +0200 | <kuribas> | dminuoso: That's not the price of dependent types, it's the price of anything new. |
| 2024-09-19 15:13:19 +0200 | <kuribas> | At one point it was like this for haskell, or lazy functional languages. |
| 2024-09-19 15:19:48 +0200 | <[exa]> | basically for any "practical" language |
| 2024-09-19 15:20:35 +0200 | ash3en | (~Thunderbi@149.222.143.226) (Quit: ash3en) |
| 2024-09-19 15:21:59 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Quit: Lost terminal) |
| 2024-09-19 15:22:46 +0200 | ystael | (~ystael@user/ystael) |
| 2024-09-19 15:34:42 +0200 | <cheater> | if we're gonna do an overhaul of the haskell ecosystem we should have: |
| 2024-09-19 15:36:14 +0200 | <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 15:36:33 +0200 | ubert | (~Thunderbi@2001:871:263:a33:ce4c:87cf:207:8819) (Ping timeout: 246 seconds) |
| 2024-09-19 15:36:42 +0200 | <cheater> | 2. some other stuff i was going to say but i forgot |
| 2024-09-19 15:37:13 +0200 | <mauke> | 3 a partridge in a pear tree |
| 2024-09-19 15:37:17 +0200 | <cheater> | 3. a type system for tracking the complexity of algorithms |
| 2024-09-19 15:39:01 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2024-09-19 15:40:38 +0200 | mari-estel | (~mari-este@2a02:3032:315:94fa:216:3eff:fe65:4eef) |
| 2024-09-19 15:40:59 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-09-19 15:44:12 +0200 | ubert | (~Thunderbi@2001:871:263:a33:b08b:9e0:b0bb:8ab2) |
| 2024-09-19 15:58:10 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 248 seconds) |
| 2024-09-19 15:58:56 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 16:00:57 +0200 | <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 16:04:12 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-09-19 16:04:14 +0200 | <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 16:06:36 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-09-19 16:10:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-19 16:17:51 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 246 seconds) |
| 2024-09-19 16:32:49 +0200 | <kuribas> | Haskell already has linear types |
| 2024-09-19 16:33:20 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 16:34:19 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-09-19 16:34:44 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-19 16:34:57 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Ping timeout: 256 seconds) |
| 2024-09-19 16:37:03 +0200 | misterfish | (~misterfis@178.229.231.194) (Ping timeout: 245 seconds) |
| 2024-09-19 16:38:55 +0200 | misterfish | (~misterfis@178.229.202.223) |
| 2024-09-19 16:40:05 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-09-19 16:40:06 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-09-19 16:40:19 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 264 seconds) |
| 2024-09-19 16:44:11 +0200 | rvalue- | rvalue |
| 2024-09-19 16:46:11 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 255 seconds) |
| 2024-09-19 16:47:20 +0200 | <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 16:47:51 +0200 | athan | (~athan@2600:382:1f1b:231a:7a65:ae9e:1d60:7f0d) |
| 2024-09-19 16:47:56 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 16:47:59 +0200 | <kuribas> | dminuoso: That's where you get the nonsense to run in kubernetes where you can scale and restart at will. |
| 2024-09-19 16:49:00 +0200 | <kaol> | Is it good for small projects either? |
| 2024-09-19 16:49:17 +0200 | <kuribas> | For one of scripts. For a small POC of a calculation. |
| 2024-09-19 16:49:50 +0200 | <kuribas> | Where it's too big for bash, but not big enough for java. |
| 2024-09-19 16:50:31 +0200 | <mari-estel> | django is quite powerful, also data crunching with python is neat |
| 2024-09-19 16:51:11 +0200 | <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 16:51:48 +0200 | <mari-estel> | just because that's the industry, i don't see researchers striving to ship it |
| 2024-09-19 16:53:53 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 16:55:24 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:63b4:82b1:f852:f702) (Ping timeout: 260 seconds) |
| 2024-09-19 17:02:47 +0200 | <kuribas> | sure, it's managers pushing to ship research level code. |
| 2024-09-19 17:05:15 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-19 17:06:54 +0200 | terrorjack4 | (~terrorjac@2a01:4f8:c17:dc9f::) |
| 2024-09-19 17:08:31 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-09-19 17:08:42 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-09-19 17:09:18 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-09-19 17:13:22 +0200 | mari-estel | (~mari-este@2a02:3032:315:94fa:216:3eff:fe65:4eef) (Quit: on the move) |
| 2024-09-19 17:18:03 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 246 seconds) |
| 2024-09-19 17:25:58 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 17:31:07 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-19 17:32:26 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 252 seconds) |
| 2024-09-19 17:34:18 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-09-19 17:36:38 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
| 2024-09-19 17:37:48 +0200 | athan | (~athan@2600:382:1f1b:231a:7a65:ae9e:1d60:7f0d) (Ping timeout: 272 seconds) |
| 2024-09-19 17:42:41 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-09-19 17:45:33 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) |
| 2024-09-19 17:47:26 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2024-09-19 17:53:25 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-09-19 17:54:31 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
| 2024-09-19 17:58:21 +0200 | <dmj`> | thesisware |
| 2024-09-19 17:59:28 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-19 18:01:09 +0200 | dontdieych2 | (~dontdieyc@user/dontdieych2) (Quit: Client closed) |
| 2024-09-19 18:03:10 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 18:06:09 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) |
| 2024-09-19 18:07:44 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 260 seconds) |
| 2024-09-19 18:10:25 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 265 seconds) |
| 2024-09-19 18:16:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-19 18:21:07 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-09-19 18:21:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-19 18:22:43 +0200 | <cheater> | why are we suddenly talking about django? |
| 2024-09-19 18:22:56 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 18:28:23 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-09-19 18:28:40 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-19 18:33:44 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.4.2) |
| 2024-09-19 18:33:50 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-19 18:34:30 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) (Quit: Client closed) |
| 2024-09-19 18:35:47 +0200 | <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 18:36:04 +0200 | <srazkvt> | or should i just make it an example for now ? |
| 2024-09-19 18:38:49 +0200 | <sclv> | you can use a cabal.project file to point to that package and have something else depend on it |
| 2024-09-19 18:44:40 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-19 18:53:21 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 18:55:20 +0200 | athan | (~athan@207.212.61.145) |
| 2024-09-19 18:58:29 +0200 | misterfish | (~misterfis@178.229.202.223) (Ping timeout: 248 seconds) |
| 2024-09-19 19:00:22 +0200 | athan | (~athan@207.212.61.145) (Read error: Connection reset by peer) |
| 2024-09-19 19:00:27 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-19 19:00:52 +0200 | athan | (~athan@2600:382:3a25:bcb9:eadf:7952:979f:403) |
| 2024-09-19 19:01:34 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-19 19:02:08 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-19 19:02:30 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-09-19 19:03:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-19 19:05:22 +0200 | misterfish | (~misterfis@87.215.131.102) (Read error: Connection reset by peer) |
| 2024-09-19 19:08:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-09-19 19:08:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-19 19:09:32 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-19 19:10:26 +0200 | euleritian | (~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de) |
| 2024-09-19 19:13:25 +0200 | euleritian | (~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-19 19:13:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-19 19:14:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-19 19:21:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-09-19 19:23:27 +0200 | euleritian | (~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de) |
| 2024-09-19 19:31:39 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-19 19:33:22 +0200 | euleritian | (~euleritia@dynamic-176-006-143-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-19 19:33:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-19 19:33:32 +0200 | ubert | (~Thunderbi@2001:871:263:a33:b08b:9e0:b0bb:8ab2) (Ping timeout: 246 seconds) |
| 2024-09-19 19:35:22 +0200 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2024-09-19 19:57:03 +0200 | athan | (~athan@2600:382:3a25:bcb9:eadf:7952:979f:403) (Ping timeout: 276 seconds) |
| 2024-09-19 20:04:00 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 265 seconds) |
| 2024-09-19 20:11:09 +0200 | steew | (~steew@user/steew) (Remote host closed the connection) |
| 2024-09-19 20:12:35 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-19 20:13:01 +0200 | steew | (~steew@user/steew) |
| 2024-09-19 20:14:31 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-09-19 20:16:10 +0200 | steew | (~steew@user/steew) (Remote host closed the connection) |
| 2024-09-19 20:16:22 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-19 20:16:29 +0200 | steew_ | (~steew@user/steew) |
| 2024-09-19 20:16:34 +0200 | steew_ | (~steew@user/steew) (Remote host closed the connection) |
| 2024-09-19 20:16:52 +0200 | steew_ | (~steew@user/steew) |
| 2024-09-19 20:17:30 +0200 | steew_ | (~steew@user/steew) (Remote host closed the connection) |
| 2024-09-19 20:17:32 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-19 20:18:41 +0200 | <tomsmeding> | srazkvt: more precisely: put "packages: . path/to/your/example" in a `cabal.project` file |
| 2024-09-19 20:18:55 +0200 | <tomsmeding> | then the directory with that cabal.project file is now a "project" that contains two packages |
| 2024-09-19 20:19:25 +0200 | <tomsmeding> | those packages will override hackage, so if you then "just" depend on the other as usual, cabal will find it |
| 2024-09-19 20:20:17 +0200 | <srazkvt> | huh |
| 2024-09-19 20:20:19 +0200 | <srazkvt> | interesting |
| 2024-09-19 20:20:40 +0200 | <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 20:21:02 +0200 | <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 20:21:08 +0200 | <srazkvt> | i ended up making a local noindex cabal repository and manually sdist but that will probably be much better |
| 2024-09-19 20:21:17 +0200 | <srazkvt> | yeah im in the second case |
| 2024-09-19 20:21:26 +0200 | <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 20:22:08 +0200 | <tomsmeding> | srazkvt: https://cabal.readthedocs.io/en/latest/cabal-project-description-file.html |
| 2024-09-19 20:22:29 +0200 | visilii | (~visilii@46.61.242.158) (Ping timeout: 260 seconds) |
| 2024-09-19 20:23:14 +0200 | <tomsmeding> | cabal.project files don't get uploaded to hackage, they're a local-only thing |
| 2024-09-19 20:23:59 +0200 | ash3en | (~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf) |
| 2024-09-19 20:24:20 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:9f14:9018:36b4:c89c) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2024-09-19 20:24:33 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2024-09-19 20:24:40 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2024-09-19 20:28:09 +0200 | ash3en | (~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf) (Client Quit) |
| 2024-09-19 20:31:11 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-19 20:31:38 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-19 20:32:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-19 20:34:24 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 20:34:40 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 252 seconds) |
| 2024-09-19 20:35:52 +0200 | euandreh | (~Thunderbi@189.6.105.228) |
| 2024-09-19 20:38:50 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 255 seconds) |
| 2024-09-19 20:39:02 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-09-19 20:39:41 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
| 2024-09-19 20:42:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-19 20:42:47 +0200 | euandreh | (~Thunderbi@189.6.105.228) (Quit: euandreh) |
| 2024-09-19 20:43:11 +0200 | euandreh | (~Thunderbi@189.6.105.228) |
| 2024-09-19 20:44:57 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-09-19 20:46:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-19 20:49:36 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) |
| 2024-09-19 20:50:41 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
| 2024-09-19 20:50:48 +0200 | califax_ | (~califax@user/califx) |
| 2024-09-19 20:51:01 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-09-19 20:51:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-09-19 20:51:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-19 20:51:18 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer) |
| 2024-09-19 20:51:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
| 2024-09-19 20:51:22 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-19 20:51:36 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-09-19 20:51:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-19 20:51:49 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-19 20:51:53 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-09-19 20:52:05 +0200 | califax_ | califax |
| 2024-09-19 20:52:11 +0200 | chiselfu1e | (~chiselfus@user/chiselfuse) |
| 2024-09-19 20:52:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-09-19 20:56:48 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-19 20:58:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-09-19 21:00:00 +0200 | caconym8 | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-19 21:00:36 +0200 | caconym8 | (~caconym@user/caconym) |
| 2024-09-19 21:00:37 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 248 seconds) |
| 2024-09-19 21:03:07 +0200 | ash3en | (~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf) |
| 2024-09-19 21:03:59 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-09-19 21:04:17 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-09-19 21:04:51 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 2024-09-19 21:10:07 +0200 | <mreh> | hmm, why might stack be hanging... |
| 2024-09-19 21:10:23 +0200 | rvalue- | rvalue |
| 2024-09-19 21:12:18 +0200 | <mreh> | this is an idle process hanging, rather than taking a long time to compile hang |
| 2024-09-19 21:12:19 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Quit: WeeChat 4.3.5) |
| 2024-09-19 21:14:34 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2024-09-19 21:17:18 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 21:19:47 +0200 | <mreh> | -cabal-verbosity shows nothing at all... so odd |
| 2024-09-19 21:20:25 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-19 21:24:19 +0200 | <tomsmeding> | mreh: what OS are you on? If linux, try 'strace <your stack command>' |
| 2024-09-19 21:24:47 +0200 | <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 21:25:10 +0200 | <tomsmeding> | iirc dtrace can do the same on macos |
| 2024-09-19 21:25:31 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-19 21:27:28 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-19 21:28:07 +0200 | <mreh> | The last line is "futex(0x7fff635c7af4, FUTEX_WAIT_PRI" but the rest is cut off. Deadlocked on something maybe? |
| 2024-09-19 21:31:54 +0200 | Blasius | (~Blasius@2.219.56.221) (Ping timeout: 260 seconds) |
| 2024-09-19 21:33:04 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-19 21:41:54 +0200 | <tomsmeding> | yeah, futex is a mutex operation |
| 2024-09-19 21:42:21 +0200 | <tomsmeding> | if you show the whole output, perhaps someone can see something |
| 2024-09-19 21:42:42 +0200 | <tomsmeding> | (strace -o log <...>) |
| 2024-09-19 21:44:28 +0200 | <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 21:44:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-09-19 21:45:07 +0200 | <tomsmeding> | (pstree $(pgrep stack)) |
| 2024-09-19 21:46:44 +0200 | <monochrom> | Haha thanks for the pstree tip. I have always only known htop. |
| 2024-09-19 21:47:37 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-19 21:47:49 +0200 | <mreh> | no child processes |
| 2024-09-19 21:47:49 +0200 | Blasius | (~Blasius@2.219.56.221) |
| 2024-09-19 21:49:23 +0200 | <mreh> | it's only when I add this once package `hsnoise` |
| 2024-09-19 21:49:30 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-09-19 21:49:35 +0200 | <mreh> | so maybe that's a clue |
| 2024-09-19 21:49:52 +0200 | <mreh> | it's not in the stackage snapshot I'm using |
| 2024-09-19 21:50:35 +0200 | <mreh> | who wants 4.5k lines of strace output? |
| 2024-09-19 21:52:24 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 272 seconds) |
| 2024-09-19 21:53:54 +0200 | <mreh> | I think that might be it for the day anyway... |
| 2024-09-19 21:54:48 +0200 | <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 21:58:37 +0200 | <tomsmeding> | monochrom: I always use htop but I didn't want to assume htop presence here :p |
| 2024-09-19 21:58:59 +0200 | <tomsmeding> | mreh: a pastebin is happy to receive 4.5k lines of strace output |
| 2024-09-19 21:59:19 +0200 | <geekosaur> | well, some of them are |
| 2024-09-19 21:59:26 +0200 | <tomsmeding> | geekosaur: indeed, but mutexes are used too generally for that to be much of a clue :) |
| 2024-09-19 21:59:29 +0200 | <mreh> | @where paste |
| 2024-09-19 21:59:29 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-09-19 21:59:38 +0200 | <mreh> | lol |
| 2024-09-19 22:00:01 +0200 | tomsmeding | whistles |
| 2024-09-19 22:00:06 +0200 | <geekosaur> | yeh, my response was basically "speak for yourself" 😛 |
| 2024-09-19 22:02:31 +0200 | <tomsmeding> | hm, that pastebin's max paste size may well be on the low side for this |
| 2024-09-19 22:02:46 +0200 | <tomsmeding> | curl --data-binary @the/path/to/the/log/file https://tomsmeding.com/gooi/stracelog |
| 2024-09-19 22:02:57 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-19 22:06:00 +0200 | ash3en | (~Thunderbi@2a01:c23:95e7:2900:bca2:198b:9d2c:14cf) (Quit: ash3en) |
| 2024-09-19 22:06:04 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-09-19 22:06:36 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) (Quit: Client closed) |
| 2024-09-19 22:07:15 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 265 seconds) |
| 2024-09-19 22:08:01 +0200 | Blasius_ | (~Blasius@2.219.56.221) |
| 2024-09-19 22:10:57 +0200 | Blasius | (~Blasius@2.219.56.221) (Ping timeout: 276 seconds) |
| 2024-09-19 22:15:39 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 2024-09-19 22:15:53 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-09-19 22:25:58 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-19 22:27:54 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 260 seconds) |
| 2024-09-19 22:28:03 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-19 22:32:26 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-19 22:32:31 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-19 22:34:20 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-09-19 22:41:42 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer) |
| 2024-09-19 22:43:07 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) |
| 2024-09-19 22:51:47 +0200 | tritlo_ | tritlo |
| 2024-09-19 22:55:15 +0200 | <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 22:56:51 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2024-09-19 22:57:29 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 23:00:31 +0200 | <geekosaur> | what's the error? |
| 2024-09-19 23:00:33 +0200 | <geekosaur> | @where paste |
| 2024-09-19 23:00:33 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-09-19 23:02:12 +0200 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2024-09-19 23:03:41 +0200 | <tritlo> | https://paste.tomsmeding.com/GulpmqNz |
| 2024-09-19 23:04:13 +0200 | <tritlo> | happens both on github CI and my local computer |
| 2024-09-19 23:04:25 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-19 23:05:40 +0200 | <tritlo> | (specifically when trying to install fourmolu) |
| 2024-09-19 23:06:43 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 264 seconds) |
| 2024-09-19 23:07:20 +0200 | <geekosaur> | the indentation there looks kinda skeevy to me |
| 2024-09-19 23:08:17 +0200 | <tritlo> | It's weird that it was working earlier today, but then broke an hour or two ago |
| 2024-09-19 23:08:54 +0200 | <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 23:09:02 +0200 | <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 23:09:20 +0200 | <geekosaur> | like, earlier today |
| 2024-09-19 23:10:10 +0200 | <tritlo> | hmm, yes, the CI does run cabal update |
| 2024-09-19 23:10:11 +0200 | <geekosaur> | my local build just succeeded, with `happy-1.20.1.1` |
| 2024-09-19 23:10:31 +0200 | <haskellbridge> | <sm> This is why stackage was invented |
| 2024-09-19 23:10:45 +0200 | <haskellbridge> | <sm> * created |
| 2024-09-19 23:10:55 +0200 | <geekosaur> | people are supposed to set bounds |
| 2024-09-19 23:10:58 +0200 | <mauke> | discovered |
| 2024-09-19 23:11:04 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-19 23:11:23 +0200 | <mauke> | my happiness knows no bounds |
| 2024-09-19 23:11:35 +0200 | <haskellbridge> | <sm> 😂 |
| 2024-09-19 23:12:26 +0200 | <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 23:12:51 +0200 | <geekosaur> | executable version handling's a hack in the Haskell ecosystem |
| 2024-09-19 23:13:43 +0200 | <mauke> | happy 2: manic |
| 2024-09-19 23:13:45 +0200 | <mauke> | https://www.youtube.com/watch?v=AzVPelmFKPk |
| 2024-09-19 23:16:43 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-09-19 23:18:26 +0200 | <tritlo> | Yeah seems like there's no version bound on `happy` in the executable |
| 2024-09-19 23:18:38 +0200 | <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 23:19:49 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 23:20:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-19 23:22:29 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-09-19 23:24:04 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 252 seconds) |
| 2024-09-19 23:26:21 +0200 | <glguy> | You can set bounds on your build-tools |
| 2024-09-19 23:28:05 +0200 | <tritlo> | Already done so :) |
| 2024-09-19 23:28:19 +0200 | <geekosaur> | already commented on 😛 |
| 2024-09-19 23:28:41 +0200 | <glguy> | already already |
| 2024-09-19 23:33:46 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-09-19 23:35:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-19 23:36:06 +0200 | <mauke> | iamiam cedant tristia |
| 2024-09-19 23:40:29 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-19 23:44:48 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 246 seconds) |
| 2024-09-19 23:46:50 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-19 23:48:07 +0200 | <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 23:49:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |