| 2025-01-10 00:01:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 00:01:37 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 2025-01-10 00:03:00 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-10 00:06:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 00:07:38 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Ping timeout: 252 seconds) |
| 2025-01-10 00:09:17 +0100 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-01-10 00:10:13 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-10 00:10:49 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-10 00:11:11 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-01-10 00:11:40 +0100 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-01-10 00:12:33 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f740:949c:e296:8382) (Quit: xff0x) |
| 2025-01-10 00:13:40 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-01-10 00:16:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 00:21:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 00:21:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-10 00:22:49 +0100 | housemate_ | (~housemate@pa49-185-168-48.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 00:23:08 +0100 | housemate_ | (~housemate@pa49-185-168-48.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 2025-01-10 00:24:57 +0100 | housemate | (~housemate@pa49-183-78-10.pa.vic.optusnet.com.au) (Ping timeout: 244 seconds) |
| 2025-01-10 00:30:02 +0100 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2025-01-10 00:30:47 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-10 00:32:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 00:38:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-10 00:42:45 +0100 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2025-01-10 00:44:11 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fcda:45c6:b5b3:4ead) |
| 2025-01-10 00:50:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 00:51:59 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-10 00:54:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 00:55:45 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-10 01:01:54 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 01:03:54 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) orangeFlu |
| 2025-01-10 01:05:33 +0100 | itscaleb | (~itscaleb@user/itscaleb) (Quit: away) |
| 2025-01-10 01:05:33 +0100 | rdcdr | (~rdcdr@user/rdcdr) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-01-10 01:05:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 01:06:16 +0100 | itscaleb | (~itscaleb@user/itscaleb) itscaleb |
| 2025-01-10 01:06:18 +0100 | rdcdr | (~rdcdr@user/rdcdr) rdcdr |
| 2025-01-10 01:08:40 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2025-01-10 01:10:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-10 01:20:37 +0100 | itscaleb | (~itscaleb@user/itscaleb) (Read error: Connection reset by peer) |
| 2025-01-10 01:20:37 +0100 | rdcdr | (~rdcdr@user/rdcdr) (Read error: Connection reset by peer) |
| 2025-01-10 01:20:55 +0100 | itscaleb | (~itscaleb@user/itscaleb) itscaleb |
| 2025-01-10 01:20:58 +0100 | rdcdr | (~rdcdr@user/rdcdr) rdcdr |
| 2025-01-10 01:21:07 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f44e10a42b706ab358a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-01-10 01:21:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 01:23:49 +0100 | Buliarous | (~gypsydang@46.232.210.139) (Quit: leaving) |
| 2025-01-10 01:24:17 +0100 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-01-10 01:25:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 01:35:29 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-10 01:36:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 01:37:21 +0100 | agent314 | (~quassel@37.19.210.25) (Ping timeout: 246 seconds) |
| 2025-01-10 01:38:19 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-10 01:40:15 +0100 | OftenFaded1 | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-01-10 01:40:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-10 01:42:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-10 01:42:52 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-10 01:45:09 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-10 01:45:17 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-10 01:46:30 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-01-10 01:46:30 +0100 | ChanServ | +v haskellbridge |
| 2025-01-10 01:50:58 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-01-10 01:51:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 01:52:16 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-10 01:52:50 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.198) Jeanne-Kamikaze |
| 2025-01-10 01:53:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-10 01:55:29 +0100 | nkatte | (~nkatte@user/nkatte) (Remote host closed the connection) |
| 2025-01-10 01:56:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-10 01:57:18 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::e5) |
| 2025-01-10 01:57:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 02:01:18 +0100 | sprotte24 | (~sprotte24@p200300d16f253600c5a38787ced491fd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-10 02:03:17 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-01-10 02:04:03 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-10 02:06:46 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) (Ping timeout: 272 seconds) |
| 2025-01-10 02:08:28 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) orangeFlu |
| 2025-01-10 02:08:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 02:10:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fcda:45c6:b5b3:4ead) (Ping timeout: 264 seconds) |
| 2025-01-10 02:15:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 02:18:07 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-10 02:18:41 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 248 seconds) |
| 2025-01-10 02:26:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-10 02:26:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 02:27:22 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2025-01-10 02:31:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 02:32:08 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-01-10 02:32:41 +0100 | <euouae> | Hello why does `stack --stack-yaml stack.yaml exec ghc -- --numeric-version` return 9.8.4? |
| 2025-01-10 02:32:51 +0100 | <euouae> | for my project that I craeted with stack 3.1.1? |
| 2025-01-10 02:33:34 +0100 | <euouae> | I think it retunrs the version in ~/.stack/global-projects/stack.yaml as `resolver: nightly-2024-09-26` but how should I configure my setup to prevent this? I can't load lsp correclty |
| 2025-01-10 02:38:15 +0100 | otto_s | (~user@p4ff270f4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-01-10 02:38:33 +0100 | <geekosaur> | what's the snapshot (or resolver) in your stack.yaml? |
| 2025-01-10 02:38:38 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-10 02:38:47 +0100 | <euouae> | there is none, I created the project with `stack new foo` |
| 2025-01-10 02:39:13 +0100 | <euouae> | it says snapshot: url: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/23/3.yaml |
| 2025-01-10 02:39:36 +0100 | <geekosaur> | uh, there should always be one in there, if there isn't then it should use the one from the global as a default but it should always add one |
| 2025-01-10 02:39:55 +0100 | <euouae> | from the link I can see resolver: compiler: ghc-9.8.4 |
| 2025-01-10 02:40:00 +0100 | <geekosaur> | yes, that5 LTS uses 9.8.4 |
| 2025-01-10 02:40:14 +0100 | otto_s | (~user@p5de2f8cc.dip0.t-ipconnect.de) |
| 2025-01-10 02:40:18 +0100 | <euouae> | why is LTS 9.8.4 and ghcup recommended is different versions? |
| 2025-01-10 02:40:20 +0100 | <geekosaur> | if you want to change it, use a different resolver |
| 2025-01-10 02:40:28 +0100 | orangeFlu | (~orangeFlu@240-100-179-143.ftth.glasoperator.nl) (Quit: Lost terminal) |
| 2025-01-10 02:40:33 +0100 | Guest57 | (~Guest57@2a00:fbc:ead6:daa8:3d67:28a5:8699:d1db) |
| 2025-01-10 02:40:42 +0100 | <geekosaur> | because stack does things its own way |
| 2025-01-10 02:41:01 +0100 | <geekosaur> | if you don't install the ghcup shim it even installs its own private ghcs instead of ghcup's |
| 2025-01-10 02:41:19 +0100 | <geekosaur> | (but then you have to build your own HLSs to work with them) |
| 2025-01-10 02:41:52 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-10 02:42:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 02:42:21 +0100 | <geekosaur> | stack predates ghcup and was intended to be an all-in-one solution |
| 2025-01-10 02:43:28 +0100 | <euouae> | I just installed the shim like you said, but I guess that was anothe rthing |
| 2025-01-10 02:43:39 +0100 | <geekosaur> | also, while stack snapshots tend to be fairly recent, ghcup is quite conservative |
| 2025-01-10 02:43:49 +0100 | <euouae> | Yeah that makes sense, more stable |
| 2025-01-10 02:43:58 +0100 | <euouae> | I am new to this stuff (or it's been years) so I don't remember any of it |
| 2025-01-10 02:44:08 +0100 | <geekosaur> | although supposedly with the next patch release to 9.6 that will become ghcup recommended |
| 2025-01-10 02:44:30 +0100 | <euouae> | How do I figure out which snapshot to use with stack if I have ghc 9.4.8? Does it follow that version? |
| 2025-01-10 02:44:46 +0100 | <geekosaur> | stackage.org has a list |
| 2025-01-10 02:45:00 +0100 | <geekosaur> | it says the latest snapshot for 9.4.8 is 21.25 |
| 2025-01-10 02:45:13 +0100 | <euouae> | nice! thank you!!! |
| 2025-01-10 02:47:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 02:47:52 +0100 | _73 | (~user@pool-173-76-100-193.bstnma.fios.verizon.net) _73 |
| 2025-01-10 02:48:03 +0100 | hawer | (~newyear@2.219.56.221) |
| 2025-01-10 02:51:02 +0100 | <euouae> | how can I make this the default behavior? |
| 2025-01-10 02:51:10 +0100 | <euouae> | sigh this is difficult to figure out... I guess I can use stack new --resolver |
| 2025-01-10 02:52:05 +0100 | <geekosaur> | edit that file in ~/.stack to specify the snapshot you want by default |
| 2025-01-10 02:53:24 +0100 | <geekosaur> | you probably want to do that anyway as that's a relatively old nightly; if you want ghc 9.8 you want LTS 23.3 |
| 2025-01-10 02:53:37 +0100 | <geekosaur> | and nightlies are not especially stable |
| 2025-01-10 02:54:00 +0100 | housemate | (~housemate@pa49-185-174-252.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 02:54:06 +0100 | <geekosaur> | oh right, that's what you got at first, sorry |
| 2025-01-10 02:54:23 +0100 | <euouae> | I've tried to edit ~/.stack/config.yaml and ~/.stack/global-projects/stack.yaml but neither works with `stack new` |
| 2025-01-10 02:54:46 +0100 | <euouae> | Maybe I shouldn't use stack? |
| 2025-01-10 02:55:48 +0100 | <geekosaur> | no, it just means I'm not actually a stack expert and don't know the exact place to edit off the top of my head 🙂 |
| 2025-01-10 02:56:09 +0100 | <geekosaur> | (I'm mostly a cabal user and only use stack when debuggig an xmonad user's config that's stack-based) |
| 2025-01-10 02:56:27 +0100 | <euouae> | it does make me a little sekptical because I can't figure out in the docs where 'resolver' is mentioned |
| 2025-01-10 02:56:32 +0100 | <haskellbridge> | <sm> "stack new" is a command I think not many people use, do its docs say how to configure it ? |
| 2025-01-10 02:56:55 +0100 | <haskellbridge> | <sm> https://docs.haskellstack.org/en/stable/commands/new_command/ |
| 2025-01-10 02:57:37 +0100 | <euouae> | apparently the value in ~/.stack/config.yaml must be indented to take effect |
| 2025-01-10 02:57:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 02:58:33 +0100 | <haskellbridge> | <sm> if I'm reading it right, https://github.com/commercialhaskell/stack-templates/blob/master/new-template.hsfiles seems to be the default template. But it doesn't seem to provide the stack.yaml file itself. |
| 2025-01-10 02:58:48 +0100 | <geekosaur> | it might not be mentioned because recent versions of stack renamed it to "snapshot" |
| 2025-01-10 02:58:55 +0100 | <haskellbridge> | <sm> #haskell-stack:matrix.org (https://matrix.to/#/#haskell-stack:matrix.org) will know for sure |
| 2025-01-10 02:59:33 +0100 | <euouae> | I don't use matrix though, I'm bothered by their encryption |
| 2025-01-10 03:00:05 +0100 | <haskellbridge> | <sm> ah. Well these are all FOSS rooms, unencrypted |
| 2025-01-10 03:00:29 +0100 | <euouae> | no, I meant to say that I dislike vector.im and their phony privacy thing |
| 2025-01-10 03:01:44 +0100 | <euouae> | interesting that I've specified GPL-3.0 in my ~/.stack/config.yaml template but it still gave me BSD too |
| 2025-01-10 03:01:53 +0100 | <haskellbridge> | <sm> I think you're right that "stack new" will use whatever snapshot you have in your global user config |
| 2025-01-10 03:02:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 03:02:23 +0100 | <euouae> | it also calls it copyright: ... when it's a license. o_O |
| 2025-01-10 03:02:58 +0100 | <euouae> | I'm wondering if that was me being an idiot back then. Well I've made up my mind, I'm switching to cabal before I go nuts |
| 2025-01-10 03:04:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-10 03:09:24 +0100 | <euouae> | sm: if you care, <https://gitlab.com/libremonde-org/papers/research/privacy-matrix.org>, it's criticism of the privacy "features" of matrix |
| 2025-01-10 03:10:25 +0100 | <haskellbridge> | <sm> thank you. I don't use it for privacy currently |
| 2025-01-10 03:10:58 +0100 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 252 seconds) |
| 2025-01-10 03:11:22 +0100 | itscaleb | (~itscaleb@user/itscaleb) (Ping timeout: 265 seconds) |
| 2025-01-10 03:11:53 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-10 03:12:50 +0100 | <euouae> | although `--resolver 21.25` works from the command line for `stack new`, and although `stack new` informs me that I can set parameters under ~/.stack/config.yaml uner templates: params: it does seem to get ignored |
| 2025-01-10 03:13:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 03:13:10 +0100 | <euouae> | I've tried both resolver: lts-21.25, resolver: compiler: ghc-9.4.8, resolver: ghc-9.4.8 and snapshot: lts-21.25 |
| 2025-01-10 03:13:25 +0100 | <haskellbridge> | <sm> I can't test right now because of the usual transient network failures with some back end server :( |
| 2025-01-10 03:13:43 +0100 | <haskellbridge> | <sm> if I hear more, I'll cc it here |
| 2025-01-10 03:13:48 +0100 | <euouae> | When I read the message under `stack new` I see: "Selecting the best among 13 snapshots..." |
| 2025-01-10 03:13:56 +0100 | <euouae> | It seems like it's deciding based on some heuristic instead of my setting |
| 2025-01-10 03:14:35 +0100 | <haskellbridge> | <sm> euouae: the parameters you can set, might be just the parameters defined in the template you are using ? not sure |
| 2025-01-10 03:15:14 +0100 | <haskellbridge> | <sm> eg {{name}} and {{category}} in https://github.com/commercialhaskell/stack-templates/blob/master/new-template.hsfiles. The stack.yaml snapshot is not one of those |
| 2025-01-10 03:16:02 +0100 | <euouae> | sm, you must be right. this is so difficult lol. |
| 2025-01-10 03:16:25 +0100 | <haskellbridge> | <sm> oh yes, unless you specify it on command line it will probably look at the package.yaml generated from the template, and try to pick the snapshot that is likely to work with that |
| 2025-01-10 03:16:56 +0100 | <haskellbridge> | <sm> stack is well designed, but haskell tooling is a bit complex, it takes more than a few minutes to grok |
| 2025-01-10 03:17:00 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) orangeFlu |
| 2025-01-10 03:17:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 03:18:44 +0100 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-10 03:19:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-10 03:20:01 +0100 | <euouae> | alright thanks. I'll move on by just using the command line for nwo |
| 2025-01-10 03:20:53 +0100 | <haskellbridge> | <sm> (GHC's way of optimising and linking causes tight version sensitivities, which complicates everything else above. Also the tools have a long dev history.) |
| 2025-01-10 03:22:13 +0100 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2025-01-10 03:24:04 +0100 | <haskellbridge> | <sm> for the record, you can forget "resolver" and just use "snapshot:" and "--snapshot" everywhere now, if you are using any modern stack version |
| 2025-01-10 03:24:19 +0100 | <euouae> | with lts-21.25 as argument? |
| 2025-01-10 03:24:27 +0100 | <haskellbridge> | <sm> yup |
| 2025-01-10 03:24:27 +0100 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Ping timeout: 246 seconds) |
| 2025-01-10 03:24:28 +0100 | housemate | (~housemate@pa49-185-174-252.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-10 03:25:44 +0100 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) pja |
| 2025-01-10 03:27:01 +0100 | <euouae> | it's nto the same as --resolver? |
| 2025-01-10 03:27:15 +0100 | <haskellbridge> | <sm> it is |
| 2025-01-10 03:27:56 +0100 | <haskellbridge> | <sm> stack originally used both terms, modern stack has picked "snapshot" |
| 2025-01-10 03:28:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 03:30:10 +0100 | Guest57 | (~Guest57@2a00:fbc:ead6:daa8:3d67:28a5:8699:d1db) (Ping timeout: 240 seconds) |
| 2025-01-10 03:32:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-10 03:34:14 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-10 03:35:07 +0100 | <euouae> | yay lsp works :D thank you sm!!! |
| 2025-01-10 03:35:45 +0100 | <haskellbridge> | <sm> congrats euouae. With which editor/ide ? |
| 2025-01-10 03:35:52 +0100 | <euouae> | emacs |
| 2025-01-10 03:36:01 +0100 | <haskellbridge> | <sm> nice |
| 2025-01-10 03:36:12 +0100 | <euouae> | I've been using it a long time and it's my thing now |
| 2025-01-10 03:43:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 03:47:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-10 03:49:05 +0100 | vanishing | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-01-10 03:51:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 03:51:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-10 03:51:16 +0100 | <sim590> | After installing my package with cabal v2-install, and trying to run it, I get: "habanga-tui: /home/simon/.cabal/store/ghc-9.4.8/...fcfc097/share/resources/habanga-tui/Habanga-title.txt: openFile: does not exist (No such file or directory)". So, cabal didn't install my data-files. Why ? |
| 2025-01-10 03:52:43 +0100 | <sim590> | Here's my project: https://github.com/sim590/habanga |
| 2025-01-10 03:53:39 +0100 | <sim590> | I do use `Paths_mypackage` automatically generated module for resolving paths. |
| 2025-01-10 03:53:50 +0100 | <sim590> | It used to work, but Idk what I did and now it doesn't anymore. |
| 2025-01-10 03:54:46 +0100 | <haskellbridge> | <sm> is that file listed in data-files: in your .cabal file ? |
| 2025-01-10 03:55:40 +0100 | <sim590> | yeah, you can see the cabal file here: https://github.com/sim590/habanga/blob/01b1c1c41054c1a070841b5aa90bd42581bb3160/habanga.cabal#L35 |
| 2025-01-10 03:55:45 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-01-10 03:56:12 +0100 | <haskellbridge> | <sm> but it's not currently installed at that path mentioned in the error message ? |
| 2025-01-10 03:56:26 +0100 | <sim590> | Exactly. I see other files though. |
| 2025-01-10 03:56:33 +0100 | <sim590> | Just not the resources directory. |
| 2025-01-10 03:56:49 +0100 | <haskellbridge> | <sm> recently timestamped, eg from your latest "cabal install" ? |
| 2025-01-10 03:56:52 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-10 03:57:48 +0100 | <geekosaur> | you have a case mismatch? |
| 2025-01-10 03:58:06 +0100 | <geekosaur> | Habanga-… vs. habanga-… |
| 2025-01-10 03:58:14 +0100 | <sim590> | Yeah. I just went and removed everything that mentioned "habanga" under ~/.cabal and tried to reinstall. It resintalled again and I got this: https://paste.debian.net/1344668/ |
| 2025-01-10 03:58:32 +0100 | <geekosaur> | that will work on Windows or macOS but not Linux or probably WSL2 |
| 2025-01-10 03:58:52 +0100 | <sim590> | But it works well when I just run the program in with `cabal v2-run habanga-tui`. |
| 2025-01-10 03:59:37 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Read error: Connection reset by peer) |
| 2025-01-10 03:59:40 +0100 | <sim590> | geekosaur: there's no mismatch. I don't think so. |
| 2025-01-10 03:59:47 +0100 | <haskellbridge> | <sm> where's the case mismatch ? using a capital should be ok, no ? |
| 2025-01-10 04:00:11 +0100 | <haskellbridge> | <sm> v2-run is just running files from the source tree I believe |
| 2025-01-10 04:00:18 +0100 | <geekosaur> | habanga.cabal uses lowercase "h" for the data files, resources/habanga-tui has uppercase |
| 2025-01-10 04:00:50 +0100 | <geekosaur> | this will cause problems on case-sensitive systems |
| 2025-01-10 04:01:22 +0100 | <haskellbridge> | <sm> I see line 35 saying "resources/habanga-tui/Habanga-title.txt" |
| 2025-01-10 04:01:34 +0100 | menschenmensch | (~menschenm@41.66.98.89) |
| 2025-01-10 04:01:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 04:01:57 +0100 | <geekosaur> | right, I just looked again after reloafding and maybe that is the only uppercase one |
| 2025-01-10 04:01:59 +0100 | <geekosaur> | I don't see why they didn't get sdisted then |
| 2025-01-10 04:02:00 +0100 | <sim590> | Yeah. Only the title file has a capital. I guess I forgot about it, but everything is consistent. |
| 2025-01-10 04:02:04 +0100 | <geekosaur> | cabal check? |
| 2025-01-10 04:02:43 +0100 | <haskellbridge> | <sm> I suggested checking the timestamps of those installed data files, in case they are leftovers from an older install, perhaps with a different ghc version or store path |
| 2025-01-10 04:02:58 +0100 | <sim590> | I get this: Warning: [parser-warning] habanga.cabal:28:1: Ignoring trailing fields after sections: "data-files" |
| 2025-01-10 04:03:12 +0100 | <sim590> | Seems related, but Idk what that means. I don't see any issue in the file. |
| 2025-01-10 04:03:38 +0100 | housemate | (~housemate@pa49-185-174-252.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 04:04:16 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) rekahsoft |
| 2025-01-10 04:05:31 +0100 | <sim590> | Also, the tarball from `cabal sdist` doesn't have the data-files. |
| 2025-01-10 04:05:42 +0100 | <monochrom> | Shouldn't data-files belong to a libary or executable section, rather than "top level"? |
| 2025-01-10 04:06:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-10 04:06:30 +0100 | <geekosaur> | that was what I was thinking, but it's listed with the top level stuff |
| 2025-01-10 04:07:06 +0100 | <monochrom> | Err nevermind, it belongs to top level. |
| 2025-01-10 04:07:10 +0100 | menschenmensch | (~menschenm@41.66.98.89) (Ping timeout: 240 seconds) |
| 2025-01-10 04:07:35 +0100 | <haskellbridge> | <sm> the files exist in your source tree I assume |
| 2025-01-10 04:07:36 +0100 | menschenmensch | (~menschenm@41.66.98.89) |
| 2025-01-10 04:08:01 +0100 | <geekosaur> | the next question might be indentation, since the warn9ing you got does suggest the entries are being misread as not being part of the value of `data-files` |
| 2025-01-10 04:08:34 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-10 04:09:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-10 04:10:00 +0100 | <geekosaur> | you might want to not split it over lines and say `data-files: resources/habanga-tui/*.txt` |
| 2025-01-10 04:10:19 +0100 | <sim590> | I tried multiple indentation styles. ALl on the same line, with indentation of 2 under the line `data-files`, all files aligned together with the first one on the same line as `data-files`. It's all the same it seems. |
| 2025-01-10 04:12:11 +0100 | <geekosaur> | sm, they're in the source tree, they pointed to the git repo and it has them |
| 2025-01-10 04:12:12 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-01-10 04:12:16 +0100 | orangeFlu | (orangeFlu@gateway/vpn/protonvpn/orangeflu) (Quit: Lost terminal) |
| 2025-01-10 04:12:36 +0100 | <sim590> | I think that I need to fix the error that `cabal check` reports, but Idk how. |
| 2025-01-10 04:13:26 +0100 | <geekosaur> | OH |
| 2025-01-10 04:13:37 +0100 | <geekosaur> | you put data-files after source-repository |
| 2025-01-10 04:13:55 +0100 | <sim590> | This person had the same issue here: https://stackoverflow.com/questions/73258030/cabal-ignoring-trailing-fields-after-sections, but no answers were given. |
| 2025-01-10 04:13:56 +0100 | <geekosaur> | that ended the global fields, so data-files is ignored |
| 2025-01-10 04:14:06 +0100 | <sim590> | Hmmm |
| 2025-01-10 04:14:09 +0100 | <sim590> | Let me see |
| 2025-01-10 04:14:12 +0100 | <euouae> | it would be nice if a warning was given about data-files being ignored |
| 2025-01-10 04:14:32 +0100 | <sim590> | That's it |
| 2025-01-10 04:14:39 +0100 | <sim590> | god damn. |
| 2025-01-10 04:14:43 +0100 | <monochrom> | Like this? "Ignoring trailing fields after sections: "data-files"" |
| 2025-01-10 04:14:56 +0100 | <geekosaur> | had to run cabal chrck to get that |
| 2025-01-10 04:15:05 +0100 | <geekosaur> | arguably should be default\ |
| 2025-01-10 04:15:30 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Ping timeout: 252 seconds) |
| 2025-01-10 04:15:30 +0100 | <sim590> | That's because I added `source-repository` later in development and I didn't understand that it broke data-files section. |
| 2025-01-10 04:15:50 +0100 | <sim590> | Thanks for help everyone. |
| 2025-01-10 04:16:04 +0100 | <haskellbridge> | <sm> that's annoying. Just figured out the same thing |
| 2025-01-10 04:16:12 +0100 | <geekosaur> | not quite. source-repository is a section. it ended the top level (outside any section) fields, so data-files: was ignored from then on |
| 2025-01-10 04:17:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 04:17:30 +0100 | <haskellbridge> | <sm> is there a flag that would have turned that cabal data-files warning into an install error ? |
| 2025-01-10 04:18:00 +0100 | sabathan | (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) (Ping timeout: 246 seconds) |
| 2025-01-10 04:19:12 +0100 | <geekosaur> | no, I think |
| 2025-01-10 04:19:16 +0100 | <sim590> | I guess that would need to be an error, yeah because data-files are required at runtime by definition. |
| 2025-01-10 04:20:14 +0100 | <geekosaur> | I would file a cabal bug, it should (a) be noisier about such problems, not hide them under cabal check (b) perhaps specifically check for fields like data-files and complain even more loudly |
| 2025-01-10 04:21:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-10 04:22:05 +0100 | sabathan | (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) |
| 2025-01-10 04:22:05 +0100 | <geekosaur> | also I think that used to be an error but then someone got the idea that the only errors should be the things preventing a package from being accepted on hackage. there's still some ongoing shakedown about that |
| 2025-01-10 04:25:20 +0100 | <haskellbridge> | <sm> also data-files is inherently fragile, I think. I prefer file-embed |
| 2025-01-10 04:26:58 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) rekahsoft |
| 2025-01-10 04:28:04 +0100 | <sim590> | what's the advantage? |
| 2025-01-10 04:29:00 +0100 | <haskellbridge> | <sm> .cabal/store/ghc-9.4.8/...fcfc097/ is not a very durable place to store essential data. It typically gets wiped when your disk fills up or when you uninstall old ghc versions, then the app breaks |
| 2025-01-10 04:29:45 +0100 | <haskellbridge> | <sm> or if you copy the executable to a new machine, the data won't come along |
| 2025-01-10 04:30:06 +0100 | <haskellbridge> | <sm> it's excluded from backups. etc. |
| 2025-01-10 04:30:51 +0100 | <haskellbridge> | <sm> (whereas embedding files in your executable makes it more self-contained) |
| 2025-01-10 04:31:18 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Ping timeout: 246 seconds) |
| 2025-01-10 04:32:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 04:33:12 +0100 | <sim590> | Oh, so the files are embeded in the binary? |
| 2025-01-10 04:33:21 +0100 | <haskellbridge> | <sm> yup |
| 2025-01-10 04:34:42 +0100 | <sim590> | But, am I gonna have to change my approach of recovering the contents since it's not on the disk anymore? For data-files, I have Paths_mypackage automatic module which resolves paths. How does that play out with your approach? |
| 2025-01-10 04:36:21 +0100 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 248 seconds) |
| 2025-01-10 04:36:25 +0100 | <haskellbridge> | <sm> yes; there's a different api for reading the files. (If you absolutely need them to be in the file system, eg to pass to a legacy app, you can write them out to a temp file at runtime) |
| 2025-01-10 04:37:08 +0100 | rongwey | (~rongwey@user/rongwey) rongwey |
| 2025-01-10 04:37:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-10 04:37:53 +0100 | <haskellbridge> | <sm> I use https://hackage.haskell.org/package/file-embed-0.0.16.0/docs/Data-FileEmbed.html#v:embedFileRelative . The type signature is confusing, but basically it evaluates to a bytestring |
| 2025-01-10 04:38:14 +0100 | <rongwey> | https://justpaste.it/Naruto_Makes_Love_Samuel_Garcia |
| 2025-01-10 04:38:31 +0100 | <rongwey> | Naruto Has Ninja Sex with Nuevo Leon Governor Samuel Garcia |
| 2025-01-10 04:38:31 +0100 | <rongwey> | Naruto Uzumaki visits Monterrey and meets Governor Samuel Garcia and starts a romantic escapade with him. |
| 2025-01-10 04:38:35 +0100 | ChanServ | +o monochrom |
| 2025-01-10 04:38:39 +0100 | monochrom | +b *!*@user/rongwey |
| 2025-01-10 04:38:39 +0100 | rongwey | monochrom (rongwey) |
| 2025-01-10 04:38:52 +0100 | <haskellbridge> | <sm> https://github.com/simonmichael/hledger/blob/master/hledger/Hledger/Cli/DocFiles.hs#L47 |
| 2025-01-10 04:39:00 +0100 | monochrom | -o monochrom |
| 2025-01-10 04:39:55 +0100 | haskellbridge | sm high-fives monochrom |
| 2025-01-10 04:47:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 04:52:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 04:53:04 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: OftenFaded) |
| 2025-01-10 04:59:23 +0100 | euouae | (~euouae@user/euouae) () |
| 2025-01-10 05:03:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 05:04:16 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
| 2025-01-10 05:05:21 +0100 | OftenFaded | (OftenFaded@user/tisktisk) OftenFaded |
| 2025-01-10 05:07:10 +0100 | menschenmensch | (~menschenm@41.66.98.89) (Ping timeout: 240 seconds) |
| 2025-01-10 05:07:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-10 05:07:48 +0100 | OftenFaded | (OftenFaded@user/tisktisk) (Client Quit) |
| 2025-01-10 05:18:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 05:18:44 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-10 05:25:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-10 05:29:25 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-10 05:32:54 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2025-01-10 05:36:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 05:41:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 05:56:08 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.198) (Quit: Leaving) |
| 2025-01-10 05:57:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 05:58:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-10 06:02:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 06:12:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 06:17:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 06:28:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 06:33:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-10 06:44:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 06:46:27 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-10 06:48:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 06:54:18 +0100 | michalz | (~michalz@185.246.207.217) |
| 2025-01-10 06:59:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 07:06:57 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-10 07:08:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 07:08:41 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-10 07:09:42 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-10 07:11:14 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-01-10 07:15:05 +0100 | housemate | (~housemate@pa49-185-174-252.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-10 07:17:35 +0100 | housemate | (~housemate@pa49-183-112-187.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 07:17:44 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-10 07:19:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 07:21:57 +0100 | housemate | (~housemate@pa49-183-112-187.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-10 07:26:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-10 07:27:00 +0100 | housemate | (~housemate@pa49-183-116-80.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 07:28:53 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-01-10 07:29:27 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 2025-01-10 07:30:32 +0100 | housemate | (~housemate@pa49-183-116-80.pa.vic.optusnet.com.au) (Max SendQ exceeded) |
| 2025-01-10 07:31:51 +0100 | housemate | (~housemate@pa49-183-116-80.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 07:33:45 +0100 | rvalue- | rvalue |
| 2025-01-10 07:37:02 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-10 07:37:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 07:42:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-10 07:44:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-10 07:47:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-10 07:52:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 07:57:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 07:57:25 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-01-10 07:58:06 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f46bd50ad676bb48b83.dip0.t-ipconnect.de) |
| 2025-01-10 08:00:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-10 08:05:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 08:09:45 +0100 | housemate | (~housemate@pa49-183-116-80.pa.vic.optusnet.com.au) (Ping timeout: 260 seconds) |
| 2025-01-10 08:10:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 08:10:26 +0100 | CiaoSen | (~Jura@2a05:5800:2e7:b00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-10 08:16:26 +0100 | housemate | (~housemate@pa49-183-116-80.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 08:20:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 08:21:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-10 08:25:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 08:26:11 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) ionut_f |
| 2025-01-10 08:36:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 08:40:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-10 08:41:33 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-10 08:43:23 +0100 | housemate | (~housemate@pa49-183-116-80.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-10 08:45:45 +0100 | forell | (~forell@user/forell) (Ping timeout: 276 seconds) |
| 2025-01-10 08:47:23 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-01-10 08:50:52 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2025-01-10 08:51:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 08:55:51 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-10 08:55:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-10 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-10 09:00:44 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-10 09:02:47 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-01-10 09:04:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-01-10 09:05:27 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-01-10 09:05:43 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-10 09:05:56 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-10 09:06:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 09:13:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-10 09:24:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 09:29:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-10 09:30:04 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-10 09:37:00 +0100 | ionut_f | (~ionut_f@user/ionut-f:27329) (Remote host closed the connection) |
| 2025-01-10 09:38:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-10 09:39:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 09:46:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 09:48:12 +0100 | Angelz | (Angelz@user/angelz) (Remote host closed the connection) |
| 2025-01-10 09:51:25 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2025-01-10 09:56:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 10:07:16 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) (Remote host closed the connection) |
| 2025-01-10 10:09:28 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-10 10:10:51 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-10 10:11:40 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2025-01-10 10:16:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-10 10:17:58 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Remote host closed the connection) |
| 2025-01-10 10:19:57 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-01-10 10:21:31 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-10 10:23:09 +0100 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 2025-01-10 10:23:21 +0100 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Remote host closed the connection) |
| 2025-01-10 10:26:28 +0100 | mange | (~user@user/mange) mange |
| 2025-01-10 10:27:29 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2025-01-10 10:35:44 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-01-10 10:39:00 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-10 10:42:23 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-10 10:44:40 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-10 10:45:01 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-10 10:47:33 +0100 | forell | (~forell@user/forell) forell |
| 2025-01-10 10:48:00 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-10 10:51:08 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-10 10:52:49 +0100 | alist | (~alist@user/alist) alist |
| 2025-01-10 10:54:24 +0100 | <alist> | i have another question about the paper "theorems for free" |
| 2025-01-10 10:55:55 +0100 | <alist> | in the parametricity demonstration in section 3.1 on page 8, the author uses their trick of specializing the quantified relations to the case of set-theoretic functions |
| 2025-01-10 10:56:58 +0100 | <alist> | however, i'm confused, because i thought the relations we are quantifying over are inductively built from the constant types, which are represented as identity relations |
| 2025-01-10 10:57:26 +0100 | <alist> | as far as i can tell, none of the type constructors' relation analogs will give rise to relations which are also set-theoretic functions |
| 2025-01-10 10:58:54 +0100 | <alist> | so, then, is the author really is quantifying over all possible relations? i am just confused |
| 2025-01-10 11:00:39 +0100 | <alist> | any thoughts are appreciated |
| 2025-01-10 11:02:25 +0100 | <merijn> | Link? Because my copy has section 3.1 on page 5 :p |
| 2025-01-10 11:02:57 +0100 | <alist> | oh it is on page 5. sorry, it's 4am here |
| 2025-01-10 11:05:06 +0100 | <alist> | i will add that although the identity relations are functions, on page 1 the author says that the result holds for "all total functions" with the proper (co)domain |
| 2025-01-10 11:09:34 +0100 | <merijn> | I'm not really sure which part of the section you're referring too (and also, it's been a while since I read this xD) |
| 2025-01-10 11:09:51 +0100 | <alist> | ah no worries |
| 2025-01-10 11:11:03 +0100 | <alist> | in the paragraph preceding the fifth block of latex in section 3.1, the author says they are "specializing to the case where the relation[...]" |
| 2025-01-10 11:11:47 +0100 | <alist> | it begins with the phrase "This can be further expanded in terms of the definition[...]" |
| 2025-01-10 11:19:56 +0100 | <merijn> | alist: ah, I think you misinterpreted part of the intro stuff |
| 2025-01-10 11:20:15 +0100 | <merijn> | alist: "i thought the relations we are quantifying over are inductively built |
| 2025-01-10 11:20:22 +0100 | <merijn> | from the constant types, which are represented as identity relations |
| 2025-01-10 11:20:47 +0100 | <merijn> | I don't think that's intended anywhere in the paper |
| 2025-01-10 11:21:03 +0100 | <alist> | i see i see |
| 2025-01-10 11:21:26 +0100 | <merijn> | alist: The identity type is only mentioned as a special relation |
| 2025-01-10 11:21:32 +0100 | <merijn> | Not that everything is built in term of those |
| 2025-01-10 11:22:57 +0100 | <merijn> | alist: In section 2, on the bottom of page 4 the example is basically explaining an isomorphism between "types and functions" and "sets and relations" |
| 2025-01-10 11:23:36 +0100 | <merijn> | i.e. types as sets of elements and functions as relations between their input set and output set |
| 2025-01-10 11:24:57 +0100 | <alist> | ok now i am confused |
| 2025-01-10 11:26:07 +0100 | <merijn> | That sounds about right for reading type theory papers :D |
| 2025-01-10 11:27:42 +0100 | <alist> | lol |
| 2025-01-10 11:28:53 +0100 | <merijn> | What is the source of confusion? |
| 2025-01-10 11:30:11 +0100 | <alist> | sorry i was just trying to understand what you wrote and what the author wrote |
| 2025-01-10 11:30:35 +0100 | <alist> | so, what are the targets of this isomorphism you mention? what are the types mapped to? |
| 2025-01-10 11:31:08 +0100 | <alist> | i thought they were relations, at first. i thought the author was saying that because just naively modeling types as sets of their elements didn't work out, so we are going to use relations |
| 2025-01-10 11:31:17 +0100 | <alist> | *values, not elements |
| 2025-01-10 11:33:59 +0100 | <geekosaur> | types are sets, (mathematical) functions are relations between sets/types |
| 2025-01-10 11:35:30 +0100 | <merijn> | alist: ah, so I think the confusion is this: Wadler we want to specifically talk about *function* types for our theorems |
| 2025-01-10 11:35:30 +0100 | <geekosaur> | basically, to do anything with values of a type, you need relations saying what can be done with them |
| 2025-01-10 11:35:58 +0100 | <merijn> | alist: And the "type as set" view is inconvenient specifically for functions |
| 2025-01-10 11:37:25 +0100 | <Athas> | Hello Haskell friends. |
| 2025-01-10 11:37:28 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:6af7:7356:266e:a6fb) ubert |
| 2025-01-10 11:38:25 +0100 | <hellwolf> | hello |
| 2025-01-10 11:39:07 +0100 | <Athas> | I need to parse git timestamps using the "strict ISO 8601 format". It produces timestamps that look like "2025-01-09T10:06:27+01:00" or "2025-01-09T10:06:27Z". That is, the timezone is either an offset or Z (which means 0). I can't find a simple way to do this with the 'time' library. Am I missing something? |
| 2025-01-10 11:39:20 +0100 | <alist> | merijn: i see. and so if the "type as set" view is inconvenient, what exactly is our view? "type as ..."? |
| 2025-01-10 11:39:48 +0100 | <Athas> | The ISO8601 instance for ZonedTime allows the offset (but not Z), while the instance for UTCTime allows Z (but not the offset). |
| 2025-01-10 11:41:24 +0100 | <merijn> | alist: we view types of functions as *relations* between sets, that's what that bit is about |
| 2025-01-10 11:42:04 +0100 | <merijn> | alist: Which, can be confusing, because in some sense relations are just "more sets" depending how you squint and how rigid you like your formalisms :p |
| 2025-01-10 11:42:47 +0100 | <geekosaur> | Athas, git is the one being annoying there, it should be consistent. I think the best you can do is try both and use the one that succeeds |
| 2025-01-10 11:42:53 +0100 | <alist> | ah yes, but the advantage i guess is that they are not the same "kind" of set as the just collections of values. they are actual mappings? |
| 2025-01-10 11:43:04 +0100 | <merijn> | Athas: Crazy talk: Why not replace Z with offset 0:00? :) |
| 2025-01-10 11:43:11 +0100 | <geekosaur> | ^ |
| 2025-01-10 11:43:15 +0100 | <geekosaur> | probably easiest |
| 2025-01-10 11:43:19 +0100 | <merijn> | alist: That's beyond what I can skim from the paper and it's lunchtime |
| 2025-01-10 11:43:44 +0100 | <alist> | merijn: i see. well thank you anyway, you have been very kind |
| 2025-01-10 11:44:18 +0100 | <alist> | geekosaur: ive been staring at what you wrote for like 10 minutes now and i think maybe im starting to get it? |
| 2025-01-10 11:44:27 +0100 | <geekosaur> | so, mathematically a function is exactly a mapping of values in the domain (input, with some handwaving) to values in the codomain (output, with similar handwaving) |
| 2025-01-10 11:44:37 +0100 | <Athas> | merijn: yes, or just check for the Z and pick the right function. It feels a bit dumb, though. |
| 2025-01-10 11:45:13 +0100 | <alist> | geekosaur: right i understand this. i also understand how functions are relations. i have a mathematics background, but nothing related to type theory. |
| 2025-01-10 11:45:41 +0100 | <geekosaur> | I'm fairly weak on type theory myself but can generally follow this stuff to some extent |
| 2025-01-10 11:46:07 +0100 | <geekosaur> | that said, I got there by hanging out here for a couple decades 🙂 |
| 2025-01-10 11:46:35 +0100 | <alist> | haha well i dont know if i have that kind of time |
| 2025-01-10 11:46:41 +0100 | <alist> | im hoping for the fast track |
| 2025-01-10 11:49:26 +0100 | <haskellbridge> | <sm> haha, the old "hang out for a couple of decades" manouver eh |
| 2025-01-10 11:50:15 +0100 | <alist> | to be honest it seems to really have worked, ive been here for two days and both times people were able to answer really specific questions about this paper really quickly |
| 2025-01-10 11:52:46 +0100 | <alist> | the paper is also sort of doubly confusing because it seems to use like an old version of set-builder notation? and it sometimes uses lambdas to describe set-theoretic functions haha |
| 2025-01-10 11:53:02 +0100 | <alist> | i think i can parse it but. idk sorry to flood the chat with like this one obsession i have |
| 2025-01-10 11:58:33 +0100 | alist | (~alist@user/alist) (Quit: Leaving) |
| 2025-01-10 12:07:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 12:13:45 +0100 | mari47944 | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-10 12:14:37 +0100 | <hellwolf> | They look very similar to me, in forms and shapes. But probably someone here knows more can answer immediately, is ImpredicativeType possible to replace the common usage of existential types? |
| 2025-01-10 12:15:15 +0100 | <hellwolf> | say [forall a. D a] vs. [AnyD] where data AnyD = forall a. D a |
| 2025-01-10 12:15:49 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-01-10 12:17:56 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) (Ping timeout: 272 seconds) |
| 2025-01-10 12:19:32 +0100 | alist | (~alist@user/alist) alist |
| 2025-01-10 12:20:51 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-10 12:21:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 12:24:09 +0100 | CiaoSen | (~Jura@2a05:5800:2e7:b00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-01-10 12:25:16 +0100 | <Leary> | hellwolf: You should regard the syntax `data AnyD = forall a. D a` as a mistake and not be misled by it. One list has a universally quantified type, the other existentially---they're very different. |
| 2025-01-10 12:25:23 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-10 12:26:34 +0100 | <Leary> | If you wish, you can encode the existential with `[forall r. (forall a. D a -> r) -> r]`, but I don't really think that's an improvement. |
| 2025-01-10 12:27:38 +0100 | <Leary> | (taking `D` as a type unrelated to the constructor) |
| 2025-01-10 12:27:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 12:28:19 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 245 seconds) |
| 2025-01-10 12:34:01 +0100 | todi1 | todi |
| 2025-01-10 12:41:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 12:41:52 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 2025-01-10 12:46:09 +0100 | alist | (~alist@user/alist) (Quit: Leaving) |
| 2025-01-10 12:46:40 +0100 | <[exa]> | if I have a datatype with 2 arguments, say `X a b`, and I want to make a Functor instance so that the thing is functorial in the `a` variable (i.e, not the last one as usual), is there some kind of adaptor that would allow me to fit this somewhat nicely, or do I always have to reorder the type arguments? |
| 2025-01-10 12:47:02 +0100 | <hellwolf> | Leary: thanks! |
| 2025-01-10 12:47:57 +0100 | <[exa]> | (background: I didn't write that type but it screams for a functor instance) |
| 2025-01-10 12:48:29 +0100 | sprotte24 | (~sprotte24@p200300d16f053e00ccd1db6c99978e80.dip0.t-ipconnect.de) |
| 2025-01-10 12:49:23 +0100 | sprotte24 | (~sprotte24@p200300d16f053e00ccd1db6c99978e80.dip0.t-ipconnect.de) (Client Quit) |
| 2025-01-10 12:50:04 +0100 | <mari47944> | reorder or wrap it, not aware of anything better |
| 2025-01-10 12:50:07 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-10 12:53:22 +0100 | <[exa]> | "wrap" basically a newtype wrapper that would have to inherit all other instances too, right? |
| 2025-01-10 12:53:41 +0100 | <merijn> | alinab: Keep in mind that many papers like these are incredibly concisely written and truly grasping them can take a few reads to unpack |
| 2025-01-10 12:53:45 +0100 | [exa] | contemplates fmapAla |
| 2025-01-10 12:53:49 +0100 | <merijn> | s/alinab/alist |
| 2025-01-10 12:53:51 +0100 | <mari47944> | yeah, nest it |
| 2025-01-10 12:54:03 +0100 | <[exa]> | ok let's see |
| 2025-01-10 12:54:17 +0100 | <merijn> | [exa]: Bifunactor? :) |
| 2025-01-10 12:54:34 +0100 | <merijn> | [exa]: Then you can do functory things in both :p |
| 2025-01-10 12:54:42 +0100 | <merijn> | [exa]: That, or a newtype wrapper |
| 2025-01-10 12:55:27 +0100 | <[exa]> | merijn: yeah except it's not super functorial in the second arg, so the bifunctor would lie a lot |
| 2025-01-10 12:55:27 +0100 | <mari47944> | %:t fmapAla |
| 2025-01-10 12:55:42 +0100 | mari47944 | forgot that syntax again... |
| 2025-01-10 12:55:45 +0100 | <[exa]> | mari47944: no I don't think that exists |
| 2025-01-10 12:56:07 +0100 | <[exa]> | `ala` does something similar for lensy stuff |
| 2025-01-10 12:56:35 +0100 | <merijn> | [exa]: Then if you don't wanna swap the arguments the closest you can get is newtype shenanigans |
| 2025-01-10 12:57:23 +0100 | <mari47944> | i mean swapping technically fits into "fearless refactoring" ^^ |
| 2025-01-10 13:01:41 +0100 | <hellwolf> | Am I crazy to envision that type class and type families (perhaps type family fundeps) too could achieve the module system that we deserve? Though, perhaps packaging around it would be needed to make it more close to module system, instead of boilerplated type classes. |
| 2025-01-10 13:03:31 +0100 | <hellwolf> | hmm, no, even with orphaned instance you can't swap it out later, since compiling the library would require such type class exist. |
| 2025-01-10 13:03:49 +0100 | <hellwolf> | nevermind. |
| 2025-01-10 13:07:20 +0100 | <[exa]> | hellwolf: "module system" we don't have one? |
| 2025-01-10 13:07:48 +0100 | <mari47944> | many consider it improvable |
| 2025-01-10 13:07:51 +0100 | l_k | (~student@85.172.110.73) |
| 2025-01-10 13:07:55 +0100 | <[exa]> | heretics! |
| 2025-01-10 13:08:02 +0100 | <hellwolf> | I think people wanted a module where you can swap implementations after distribution |
| 2025-01-10 13:08:06 +0100 | <hellwolf> | there is a specific name to it |
| 2025-01-10 13:08:18 +0100 | <[exa]> | ah, the backpacky stuff |
| 2025-01-10 13:08:18 +0100 | <hellwolf> | some referred to it as ML module maybe |
| 2025-01-10 13:08:41 +0100 | l_k_ | (~student@85.172.110.63) |
| 2025-01-10 13:09:01 +0100 | <mari47944> | hm not sure whether that feature requires a different module system or a different binary interface or both |
| 2025-01-10 13:09:23 +0100 | <hellwolf> | perhaps just a different build mechanism |
| 2025-01-10 13:09:31 +0100 | <hellwolf> | we don't usually distribute libraries binary form |
| 2025-01-10 13:09:38 +0100 | <hellwolf> | so there is room just to change how things are built |
| 2025-01-10 13:10:04 +0100 | <[exa]> | module-level forall, module monomorphization, yay, gogogo! |
| 2025-01-10 13:10:46 +0100 | l__k | (~student@217.107.126.148) (Ping timeout: 252 seconds) |
| 2025-01-10 13:12:44 +0100 | l_k | (~student@85.172.110.73) (Ping timeout: 264 seconds) |
| 2025-01-10 13:13:01 +0100 | l_k | (~student@217.107.126.75) |
| 2025-01-10 13:14:36 +0100 | l__k | (~student@85.172.110.137) |
| 2025-01-10 13:15:57 +0100 | l_k_ | (~student@85.172.110.63) (Ping timeout: 246 seconds) |
| 2025-01-10 13:17:12 +0100 | <hellwolf> | Type theory people will laugh at our enthusiasm. |
| 2025-01-10 13:17:24 +0100 | <hellwolf> | It must be very complicated, theory wise :p |
| 2025-01-10 13:17:53 +0100 | <hellwolf> | CPP people just simply #define A TO_BE_B |
| 2025-01-10 13:17:58 +0100 | <hellwolf> | no theory needed |
| 2025-01-10 13:18:24 +0100 | l_k | (~student@217.107.126.75) (Ping timeout: 244 seconds) |
| 2025-01-10 13:18:47 +0100 | <mari47944> | huh i think there are a few proposals aligned, but i might be wrong |
| 2025-01-10 13:20:11 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2025-01-10 13:21:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-10 13:21:57 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-01-10 13:22:10 +0100 | <merijn> | hellwolf: monomorphising everything is (conceptually and theoretically) trivial |
| 2025-01-10 13:22:27 +0100 | <merijn> | But people already complain about binary sizes :p |
| 2025-01-10 13:22:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-10 13:22:55 +0100 | <merijn> | And did you look at backpack? |
| 2025-01-10 13:23:11 +0100 | <hellwolf> | I used mixins from cabal, if that's the same thing |
| 2025-01-10 13:23:54 +0100 | <merijn> | they're part of backpack, yeah |
| 2025-01-10 13:23:55 +0100 | l_k | (~student@81.177.127.117) |
| 2025-01-10 13:24:22 +0100 | <hellwolf> | I have watched a talk about backpack, awhile back. But I also heard that people behind backpack left. |
| 2025-01-10 13:25:15 +0100 | <merijn> | I think it was ezyang's baby? |
| 2025-01-10 13:26:21 +0100 | <geekosaur> | yes |
| 2025-01-10 13:26:26 +0100 | <geekosaur> | thesis project |
| 2025-01-10 13:26:40 +0100 | l__k | (~student@85.172.110.137) (Ping timeout: 244 seconds) |
| 2025-01-10 13:28:18 +0100 | l__k | (~student@85.172.77.123) |
| 2025-01-10 13:30:44 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) mreh |
| 2025-01-10 13:31:19 +0100 | l_k | (~student@81.177.127.117) (Ping timeout: 264 seconds) |
| 2025-01-10 13:31:37 +0100 | l_k | (~student@85.172.76.97) |
| 2025-01-10 13:33:12 +0100 | <mreh> | before I delve into the literature, does anyone know if StableName equality is guaranteed when called on the same constructor? i.e. if I evaluate an object to WNHF will it always have the same StableName returned by makeStableName? |
| 2025-01-10 13:33:21 +0100 | <hellwolf> | the achilles' heel of of thesis project |
| 2025-01-10 13:34:13 +0100 | <merijn> | mreh: Very much no of the top of my head |
| 2025-01-10 13:34:25 +0100 | l__k | (~student@85.172.77.123) (Ping timeout: 248 seconds) |
| 2025-01-10 13:34:33 +0100 | <merijn> | The creation of the StableName is what guarantees the stability |
| 2025-01-10 13:34:46 +0100 | <mreh> | merijn: okay |
| 2025-01-10 13:35:04 +0100 | l_k | (~student@85.172.76.97) (Read error: Connection reset by peer) |
| 2025-01-10 13:35:12 +0100 | <merijn> | Wait, I'm confusing StableName and StablePtr |
| 2025-01-10 13:35:48 +0100 | <merijn> | mreh: But I would say it's certainly not guaranteed that "stableNameOf Foo == stableNameOf Foo" (with Foo being a constructor), it seems likely they will be the same |
| 2025-01-10 13:35:56 +0100 | l_k | (~student@213.24.133.111) |
| 2025-01-10 13:35:58 +0100 | <merijn> | but hard guarantees are hard ;) |
| 2025-01-10 13:36:24 +0100 | <merijn> | mreh: See also the note in the haddocks |
| 2025-01-10 13:36:27 +0100 | <merijn> | "The reverse is not necessarily true: if two stable names are not equal, then the objects they name may still be equal. Note in particular that makeStableName may return a different StableName after an object is evaluated." |
| 2025-01-10 13:37:00 +0100 | <merijn> | So StableName guarantees no false positives, but does not guarantee no false negatives |
| 2025-01-10 13:38:11 +0100 | <mreh> | merijn: a luke-warm guarantee is probably enough for my purposes |
| 2025-01-10 13:38:14 +0100 | <merijn> | For WHNF constructors it seems *likely* they will be the same, but no guarantees |
| 2025-01-10 13:38:59 +0100 | <mreh> | it seems to work for Gpipe and the way it builds GLSL expressions, but I haven't ever inspected the GLSL it outputs |
| 2025-01-10 13:39:04 +0100 | <mreh> | https://hackage.haskell.org/package/GPipe-2.2.5/docs/src/Data.SNMap.html#local-6989586621679049777 |
| 2025-01-10 13:39:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8710:a51a:14b3:2b97) |
| 2025-01-10 13:40:03 +0100 | <merijn> | mreh: It depends on "how bad is a false negative * probability of false negative" |
| 2025-01-10 13:40:31 +0100 | <mreh> | I think in my case, it would be a performance issue, so not terrible |
| 2025-01-10 13:40:48 +0100 | <mreh> | gpipe uses them to prevent recomputation of intermediate expressions |
| 2025-01-10 13:40:57 +0100 | <mreh> | I *think* at least |
| 2025-01-10 13:42:29 +0100 | CiaoSen | (~Jura@2a05:5800:2e7:b00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-10 13:42:31 +0100 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:84ab:2b5:da25:e47f) ubert |
| 2025-01-10 13:42:39 +0100 | <merijn> | mreh: Yeah, so small impact * low probability of happening = your probably fine |
| 2025-01-10 13:43:57 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:6af7:7356:266e:a6fb) (Ping timeout: 246 seconds) |
| 2025-01-10 13:43:57 +0100 | ubert1 | ubert |
| 2025-01-10 13:48:01 +0100 | <mreh> | I think it does CSE, but it might have a more important role than that, not sure |
| 2025-01-10 13:48:34 +0100 | <mreh> | so yeah, pretty low impact definitely |
| 2025-01-10 13:54:09 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 248 seconds) |
| 2025-01-10 14:03:40 +0100 | LearnHaskell | (~LearnHask@88.197.71.220) |
| 2025-01-10 14:15:55 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-10 14:22:26 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-01-10 14:24:44 +0100 | jespada | (~jespada@2800:a4:161:4200:1503:f643:a41c:4d0c) jespada |
| 2025-01-10 14:25:25 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) son0p |
| 2025-01-10 14:25:58 +0100 | rynite | (~bwkam@user/rynite) rynite |
| 2025-01-10 14:25:59 +0100 | jespada | (~jespada@2800:a4:161:4200:1503:f643:a41c:4d0c) (Client Quit) |
| 2025-01-10 14:26:59 +0100 | jespada | (~jespada@2800:a4:161:4200:1503:f643:a41c:4d0c) jespada |
| 2025-01-10 14:28:17 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:e108:469f:fb3b:55a7) (Ping timeout: 248 seconds) |
| 2025-01-10 14:29:25 +0100 | LearnHaskell26 | (~LearnHask@88.197.71.220) |
| 2025-01-10 14:29:33 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:bd6e:6edf:b3ad:783f) iamsleepy |
| 2025-01-10 14:29:39 +0100 | LearnHaskell26 | (~LearnHask@88.197.71.220) (Client Quit) |
| 2025-01-10 14:29:51 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-01-10 14:30:08 +0100 | LearnHaskell69 | (~LearnHask@88.197.71.220) |
| 2025-01-10 14:32:52 +0100 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-01-10 14:33:10 +0100 | LearnHaskell | (~LearnHask@88.197.71.220) (Ping timeout: 240 seconds) |
| 2025-01-10 14:33:59 +0100 | LearnHaskell69 | (~LearnHask@88.197.71.220) (Client Quit) |
| 2025-01-10 14:34:13 +0100 | LearnHaskell | (~LearnHask@88.197.71.220) |
| 2025-01-10 14:34:25 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f46bd50ad676bb48b83.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-10 14:37:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-10 14:38:15 +0100 | l__k | (~student@85.172.110.44) |
| 2025-01-10 14:39:12 +0100 | l_k_ | (~student@217.107.126.203) |
| 2025-01-10 14:39:21 +0100 | l_k_ | (~student@217.107.126.203) (Client Quit) |
| 2025-01-10 14:41:34 +0100 | l_k | (~student@213.24.133.111) (Ping timeout: 265 seconds) |
| 2025-01-10 14:42:02 +0100 | housemate | (~housemate@pa49-199-179-125.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 14:42:45 +0100 | l__k | (~student@85.172.110.44) (Ping timeout: 246 seconds) |
| 2025-01-10 14:52:40 +0100 | LearnHaskell | (~LearnHask@88.197.71.220) (Ping timeout: 240 seconds) |
| 2025-01-10 15:17:48 +0100 | CiaoSen | (~Jura@2a05:5800:2e7:b00:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2025-01-10 15:20:48 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f46bd50ad676bb48b83.dip0.t-ipconnect.de) acidjnk |
| 2025-01-10 15:28:41 +0100 | rynite | (~bwkam@user/rynite) (Quit: WeeChat 4.4.1) |
| 2025-01-10 15:57:29 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f46bd50ad676bb48b83.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-01-10 15:59:04 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-01-10 15:59:41 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-10 16:00:21 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-10 16:06:47 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-10 16:13:27 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-10 16:15:38 +0100 | mari47944 | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-01-10 16:20:18 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-10 16:30:56 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-10 16:31:39 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-01-10 16:31:39 +0100 | tnt2 | tnt1 |
| 2025-01-10 16:35:46 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-10 16:36:11 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-10 16:38:43 +0100 | housemate | (~housemate@pa49-199-179-125.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-10 16:39:56 +0100 | <sim590> | sm: thanks. I'll look into Data-FileEmbed |
| 2025-01-10 16:40:09 +0100 | housemate | (~housemate@pa49-199-179-125.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 16:44:57 +0100 | halloy1022 | (~halloy102@2a02:810b:489a:f200:989e:2ff7:7ae0:de5) |
| 2025-01-10 16:48:20 +0100 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-10 16:52:10 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f46e96610344c895098.dip0.t-ipconnect.de) acidjnk |
| 2025-01-10 16:55:20 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 272 seconds) |
| 2025-01-10 16:59:45 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 276 seconds) |
| 2025-01-10 17:00:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-10 17:01:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-01-10 17:05:01 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-10 17:07:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-10 17:24:36 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-01-10 17:25:28 +0100 | Digit | (~user@user/digit) Digit |
| 2025-01-10 17:26:44 +0100 | <sim590> | sm: I just changed it: https://github.com/sim590/habanga/commit/1e66cb11ee70e990270517661422e72bbc4c92ad. It worked like a charm. I like i! |
| 2025-01-10 17:26:47 +0100 | <sim590> | it* |
| 2025-01-10 17:27:14 +0100 | <sim590> | It removed alot of code which I didn't need. |
| 2025-01-10 17:30:11 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-10 17:31:36 +0100 | halloy1022 | (~halloy102@2a02:810b:489a:f200:989e:2ff7:7ae0:de5) (Ping timeout: 276 seconds) |
| 2025-01-10 17:46:16 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:84ab:2b5:da25:e47f) (Remote host closed the connection) |
| 2025-01-10 17:53:41 +0100 | jespada | (~jespada@2800:a4:161:4200:1503:f643:a41c:4d0c) (Ping timeout: 248 seconds) |
| 2025-01-10 17:57:41 +0100 | jespada | (~jespada@2800:a4:17b:1400:759f:3d74:e37f:8445) jespada |
| 2025-01-10 18:10:01 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-10 18:11:08 +0100 | jespada | (~jespada@2800:a4:17b:1400:759f:3d74:e37f:8445) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-10 18:12:48 +0100 | mchav | (~mchav@197.221.254.145) |
| 2025-01-10 18:13:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-10 18:14:43 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 265 seconds) |
| 2025-01-10 18:16:37 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-10 18:16:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 18:20:17 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f46e96610344c895098.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-10 18:26:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 18:29:58 +0100 | housemate | (~housemate@pa49-199-179-125.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-10 18:31:43 +0100 | housemate | (~housemate@pa49-199-179-125.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 18:32:34 +0100 | housemate | (~housemate@pa49-199-179-125.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-10 18:32:47 +0100 | Square | (~Square@user/square) Square |
| 2025-01-10 18:36:41 +0100 | housemate | (~housemate@pa49-199-188-98.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 18:36:53 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2025-01-10 18:38:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 18:42:06 +0100 | sprotte24 | (~sprotte24@p200300d16f053e002de39e6a7dd83ed5.dip0.t-ipconnect.de) |
| 2025-01-10 18:44:18 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-10 18:45:09 +0100 | mchav | (~mchav@197.221.254.145) (Quit: Client closed) |
| 2025-01-10 18:45:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-10 18:49:54 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-10 18:50:46 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-10 18:54:15 +0100 | halloy1022 | (~halloy102@2a02:810b:489a:f200:989e:2ff7:7ae0:de5) |
| 2025-01-10 18:55:02 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-10 18:55:12 +0100 | housemate | (~housemate@pa49-199-188-98.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-10 18:56:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 18:57:22 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-01-10 18:57:45 +0100 | housemate | (~housemate@pa49-185-71-102.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 19:00:01 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-10 19:01:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-10 19:02:18 +0100 | housemate | (~housemate@pa49-185-71-102.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-10 19:03:45 +0100 | housemate | (~housemate@pa49-183-109-231.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 19:05:45 +0100 | housemate | (~housemate@pa49-183-109-231.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-10 19:09:41 +0100 | halloy1022 | (~halloy102@2a02:810b:489a:f200:989e:2ff7:7ae0:de5) (Remote host closed the connection) |
| 2025-01-10 19:11:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 19:16:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 19:17:26 +0100 | cowboy8625 | (~cowboy@2605-4A80-7405-640-6874-3892-A3C7-18B3-dynamic.midco.net) (Quit: WeeChat 3.5) |
| 2025-01-10 19:17:45 +0100 | housemate | (~housemate@pa49-183-115-133.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 19:28:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 19:28:32 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-10 19:29:49 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-10 19:31:53 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-10 19:32:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-10 19:32:35 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-10 19:35:32 +0100 | swamp_ | (~zmt00@user/zmt00) zmt00 |
| 2025-01-10 19:35:38 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-10 19:35:45 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2025-01-10 19:36:24 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2025-01-10 19:38:09 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 244 seconds) |
| 2025-01-10 19:38:35 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-10 19:38:46 +0100 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2025-01-10 19:38:56 +0100 | mceresa_ | (~mceresa@user/mceresa) mceresa |
| 2025-01-10 19:39:15 +0100 | mceresa | (~mceresa@user/mceresa) (Read error: Connection reset by peer) |
| 2025-01-10 19:39:15 +0100 | mceresa_ | mceresa |
| 2025-01-10 19:39:30 +0100 | jespada | (~jespada@2800:a4:17b:1400:759f:3d74:e37f:8445) jespada |
| 2025-01-10 19:39:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-10 19:40:26 +0100 | mchav | (~mchav@197.221.254.145) |
| 2025-01-10 19:41:42 +0100 | mceresa | (~mceresa@user/mceresa) (Read error: Connection reset by peer) |
| 2025-01-10 19:41:53 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-01-10 19:43:19 +0100 | jespada | (~jespada@2800:a4:17b:1400:759f:3d74:e37f:8445) (Client Quit) |
| 2025-01-10 19:43:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 19:43:40 +0100 | housemate | (~housemate@pa49-183-115-133.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-10 19:46:29 +0100 | housemate | (~housemate@pa49-185-91-130.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 19:47:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-10 19:58:51 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-10 19:59:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 20:03:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 20:07:22 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-10 20:12:35 +0100 | housemate | (~housemate@pa49-185-91-130.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-10 20:13:07 +0100 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-01-10 20:13:12 +0100 | mari51520 | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-10 20:14:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 20:16:21 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-01-10 20:18:03 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2025-01-10 20:21:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 20:24:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 20:28:11 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f46e96610344c895098.dip0.t-ipconnect.de) acidjnk |
| 2025-01-10 20:28:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 20:35:43 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-10 20:38:56 +0100 | Guest70 | (~Guest70@197.3.121.34) |
| 2025-01-10 20:39:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 20:39:32 +0100 | housemate | (~housemate@pa49-184-16-169.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 20:40:21 +0100 | housemate | (~housemate@pa49-184-16-169.pa.vic.optusnet.com.au) (Max SendQ exceeded) |
| 2025-01-10 20:40:50 +0100 | Guest70 | (~Guest70@197.3.121.34) (Client Quit) |
| 2025-01-10 20:41:09 +0100 | housemate | (~housemate@pa49-184-16-169.pa.vic.optusnet.com.au) housemate |
| 2025-01-10 20:42:42 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-10 20:43:22 +0100 | housemate_ | (~housemate@146.70.66.228) housemate |
| 2025-01-10 20:43:47 +0100 | ahisho | (~ahisoooo@88.90.222.87.dynamic.jazztel.es) |
| 2025-01-10 20:43:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 20:44:10 +0100 | housemate_ | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 20:44:58 +0100 | housemate_ | (~housemate@146.70.66.228) housemate |
| 2025-01-10 20:44:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-10 20:45:19 +0100 | housemate | (~housemate@pa49-184-16-169.pa.vic.optusnet.com.au) (Ping timeout: 244 seconds) |
| 2025-01-10 20:46:13 +0100 | housemate_ | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 20:46:47 +0100 | housemate_ | (~housemate@146.70.66.228) housemate |
| 2025-01-10 20:48:49 +0100 | housemate_ | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 20:49:59 +0100 | housemate_ | (~housemate@146.70.66.228) housemate |
| 2025-01-10 20:51:12 +0100 | housemate_ | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 20:52:58 +0100 | housemate_ | (~housemate@146.70.66.228) housemate |
| 2025-01-10 20:54:04 +0100 | housemate_ | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 20:54:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 20:55:29 +0100 | housemate_ | (~housemate@146.70.66.228) housemate |
| 2025-01-10 20:56:53 +0100 | housemate_ | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 20:57:27 +0100 | housemate_ | (~housemate@146.70.66.228) housemate |
| 2025-01-10 20:59:23 +0100 | housemate_ | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 20:59:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 20:59:57 +0100 | housemate_ | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-10 21:00:40 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-10 21:01:35 +0100 | housemate_ | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:02:59 +0100 | housemate_ | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:03:04 +0100 | housemate_ | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-10 21:08:05 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:08:48 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:09:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-10 21:09:48 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:10:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 21:11:18 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:12:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-10 21:13:08 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:14:04 +0100 | housemate | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-10 21:14:34 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:14:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-10 21:15:31 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:17:53 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:18:59 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:19:33 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:20:45 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:22:04 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:23:28 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:25:05 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:25:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 21:26:13 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:27:34 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:29:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-10 21:30:27 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:30:49 +0100 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
| 2025-01-10 21:31:03 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:32:26 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:33:40 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:35:00 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:36:47 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:38:01 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 21:39:44 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 21:40:33 +0100 | housemate | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-10 21:40:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 21:42:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-10 21:44:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-10 21:45:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 21:56:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 21:59:08 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2025-01-10 22:01:32 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2025-01-10 22:01:52 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-10 22:01:55 +0100 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2025-01-10 22:03:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 22:12:22 +0100 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2025-01-10 22:14:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 22:18:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-10 22:22:31 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2025-01-10 22:23:19 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Max SendQ exceeded) |
| 2025-01-10 22:23:39 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f46e96610344c895098.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-01-10 22:24:23 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-10 22:24:29 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 22:25:29 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 22:26:15 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 22:26:29 +0100 | housemate | (~housemate@146.70.66.228) (Remote host closed the connection) |
| 2025-01-10 22:28:11 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2025-01-10 22:29:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 22:31:48 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 22:32:04 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::e5) (Read error: Connection reset by peer) |
| 2025-01-10 22:32:09 +0100 | acidjnk | (~acidjnk@p200300d6e7283f46ed3dd32d3de732cf.dip0.t-ipconnect.de) acidjnk |
| 2025-01-10 22:32:15 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-10 22:32:37 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 22:34:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 22:34:24 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 252 seconds) |
| 2025-01-10 22:42:29 +0100 | ahisho | (~ahisoooo@88.90.222.87.dynamic.jazztel.es) (Ping timeout: 265 seconds) |
| 2025-01-10 22:43:40 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 22:43:47 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 22:44:26 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 22:44:37 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 22:44:53 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-01-10 22:45:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 22:45:13 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 22:45:25 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 22:46:06 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2025-01-10 22:46:17 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2025-01-10 22:47:47 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-10 22:49:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 22:53:46 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-01-10 22:55:01 +0100 | <euouae> | Hello, I've never done this before & I'm wondering if anyone has advice: If want to try some scientific computations of very specific number-crunching stuff I have in mind, how can I pay a reasonable amount to get access to some computing power? In particular haskell-friendly becuase I want to write it in haskell |
| 2025-01-10 22:56:19 +0100 | <mari51520> | huh i would advice starting from your personal machine |
| 2025-01-10 22:56:56 +0100 | <euouae> | I mean I've done that much |
| 2025-01-10 22:57:24 +0100 | <euouae> | I know that on 6 cores my operation for (say n=6) takes around an hour? I want to run it for say 1000 data points |
| 2025-01-10 22:57:47 +0100 | <euouae> | it would be nice to go higher too, I haven't yet done any calculations that tell me roughly what n=7 or general 'n' look like, n=8 might not be feasible e.g. |
| 2025-01-10 22:59:18 +0100 | <euouae> | Specifically those were the numbers with C++, fixed width integers, and openmp. With MPI in place and bignum stuff, it'll probably take longer |
| 2025-01-10 23:00:06 +0100 | <mari51520> | cool. Well i do not know many providers, everyone obviously is craze about amazon services while i have heard good reports about haskell&digitalocean in the past. I am too curious not to ask though: which lib are you relying on? |
| 2025-01-10 23:00:23 +0100 | <haskellbridge> | <sm> sim590: 👍️ |
| 2025-01-10 23:01:03 +0100 | <haskellbridge> | <magic_rb> mari51520 i dont know what you mean by compute friendly hardware. Hardware is hardware, but for compute id look at hetzner dedicated servers. |
| 2025-01-10 23:01:18 +0100 | <haskellbridge> | <magic_rb> Or equinix |
| 2025-01-10 23:01:28 +0100 | <mari51520> | huh for euouae prob |
| 2025-01-10 23:01:35 +0100 | <euouae> | magic_rb: some supercomputers don't run ghc ... it depends on their setups |
| 2025-01-10 23:01:50 +0100 | <euouae> | and it might not be supercomputers I need, maybe just amazon's cloud is fine |
| 2025-01-10 23:02:00 +0100 | <euouae> | but it depends on the level of control, that's what I mean by friendly |
| 2025-01-10 23:02:31 +0100 | <haskellbridge> | <magic_rb> On amazon cloud if you get a dedicated machine. You get a remote kvm and you can do whatever. Install freebsd if you want |
| 2025-01-10 23:02:40 +0100 | <euouae> | mari51520: I don't depend on anything, it's all my own code. In C++ it was with OpenMP and libgmp/libmpfr. |
| 2025-01-10 23:02:55 +0100 | <euouae> | magic_rb: a single dedicated machine though? |
| 2025-01-10 23:03:02 +0100 | <mari51520> | why do you need haskell-friendly then? |
| 2025-01-10 23:03:14 +0100 | <haskellbridge> | <magic_rb> But id recommend equinix or hetznee, theyre cheaper and more simple. Also youre not helping jeff bazos |
| 2025-01-10 23:03:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-10 23:03:24 +0100 | <euouae> | openMP is for single-host. if you want multi-host you need MPI. I don't have that code |
| 2025-01-10 23:03:29 +0100 | <euouae> | I'm expecting Haskell to simplify the MPI integration |
| 2025-01-10 23:03:43 +0100 | <euouae> | also, for fun |
| 2025-01-10 23:04:24 +0100 | <mchav> | Haskell is really heavy-handed for this sort of thing. It'll be costly just to have Haskell running on each instance. |
| 2025-01-10 23:04:32 +0100 | <mchav> | *GHC |
| 2025-01-10 23:04:37 +0100 | <mari51520> | well but it makes sense to have a server for crunching and another for haskell |
| 2025-01-10 23:04:49 +0100 | <euouae> | mchav, OK but what do you mean costly? If my computations need 1+hr each? |
| 2025-01-10 23:05:00 +0100 | <euouae> | does the jumpstart matter? |
| 2025-01-10 23:05:31 +0100 | <mchav> | Memory and as result money, I guess. Have you profiled a sample implementation on your computer? |
| 2025-01-10 23:06:01 +0100 | <euouae> | Ah -- memory-wise. hm... OK fine. Maybe I'll do it in C++. |
| 2025-01-10 23:07:35 +0100 | <mari51520> | the interface will not need much logic anyways |
| 2025-01-10 23:08:20 +0100 | <mchav> | Well I would still profile the run. I've been working on a dataframe library and I find I REALLY have to be careful to avoid copies. Intuitive/readable Haskell ends up being a memory hog. Or maybe I'm not that good at writing it. I don't know how this changes when you use something that FFIs to C and how GHC will then deal with pinned memory etc. |
| 2025-01-10 23:09:13 +0100 | <euouae> | Yeah fair enough. I'm fairly good at reasoning with C++ so I don't need to involve Haskell to end up having to write expert-level Haskell for it |
| 2025-01-10 23:09:54 +0100 | <euouae> | I was reading this paper <https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/rationals.pdf> which I need in some small part in my code, and it sort of made me think about doing it all in Haskell for the fun of it |
| 2025-01-10 23:10:21 +0100 | <euouae> | because the paper has Haskell pseudo-code to explain its concepts... call me easily influenceable |
| 2025-01-10 23:10:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 23:11:23 +0100 | <mchav> | Well if you try it and get the performance under control it'll make for a lot of learning. I would still say do a prototype on your machine and profile it. |
| 2025-01-10 23:11:34 +0100 | <mchav> | That'll give you a sense of how the approach will scale. |
| 2025-01-10 23:11:44 +0100 | <mari51520> | do you need that to be in the middle of the crunching euouae? |
| 2025-01-10 23:12:29 +0100 | <mari51520> | that looks like it could be just another input to it |
| 2025-01-10 23:14:09 +0100 | <euouae> | mari51520: yes that's true. it's just an enumeration of the rationals, it doesn't need to be in the middle of it |
| 2025-01-10 23:14:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-10 23:14:44 +0100 | <euouae> | & it won't be -- I still wanted to know (perhaps curiosity) how to produce the rationals without duplicates |
| 2025-01-10 23:14:49 +0100 | ahisho | (~ahisoooo@88.90.222.87.dynamic.jazztel.es) |
| 2025-01-10 23:15:45 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2025-01-10 23:16:50 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Max SendQ exceeded) |
| 2025-01-10 23:17:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 23:17:48 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2025-01-10 23:18:23 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2025-01-10 23:18:58 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2025-01-10 23:19:53 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2025-01-10 23:20:30 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2025-01-10 23:21:24 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2025-01-10 23:22:34 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2025-01-10 23:22:53 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Remote host closed the connection) |
| 2025-01-10 23:25:39 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-10 23:27:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-10 23:28:34 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-10 23:28:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 23:33:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-10 23:40:45 +0100 | mari51520 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-01-10 23:41:11 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-10 23:44:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-10 23:46:29 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-10 23:49:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-10 23:51:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-10 23:51:29 +0100 | mchav | (~mchav@197.221.254.145) (Quit: Client closed) |