| 2024-09-20 00:00:51 +0200 | <geekosaur> | that constraint only applies to libraries, not executables. |
| 2024-09-20 00:02:03 +0200 | <geekosaur> | unfortunately, it doesn't look like '--build-tool-depends' is supported on the command line. if you can use a cabal.project, try https://paste.tomsmeding.com/W3BRWzp1 |
| 2024-09-20 00:03:06 +0200 | pavonia | (~user@user/siracusa) |
| 2024-09-20 00:03:23 +0200 | <tritlo> | Ah, it's in a CI so can't change the `cabal.project`. Thanks anyway, I'll use the `--prefer-oldest` until the issue is resolved |
| 2024-09-20 00:03:27 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-09-20 00:05:53 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-20 00:05:57 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2024-09-20 00:06:47 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-20 00:08:32 +0200 | <geekosaur> | fwiw I just filed a cabal feature request |
| 2024-09-20 00:08:41 +0200 | <geekosaur> | not that that will help now |
| 2024-09-20 00:09:10 +0200 | <geekosaur> | oh, you could also put that in cabal.project.local, which is not intended to be in CI |
| 2024-09-20 00:10:16 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 252 seconds) |
| 2024-09-20 00:11:15 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-09-20 00:21:27 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-20 00:25:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 00:43:49 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) |
| 2024-09-20 00:46:12 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-09-20 00:49:33 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb61e8eec24a54e24d68.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-09-20 00:57:46 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-09-20 01:08:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 01:12:20 +0200 | ystael | (~ystael@user/ystael) |
| 2024-09-20 01:13:15 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 252 seconds) |
| 2024-09-20 01:14:44 +0200 | mikess | (~mikess@user/mikess) |
| 2024-09-20 01:17:25 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
| 2024-09-20 01:19:14 +0200 | troojg | (~troojg@user/troojg) |
| 2024-09-20 01:28:42 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-09-20 01:34:36 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-09-20 01:36:56 +0200 | connrs | (~connrs@user/connrs) |
| 2024-09-20 01:43:54 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-09-20 01:44:14 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-09-20 01:44:39 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) |
| 2024-09-20 01:52:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-20 01:53:41 +0200 | neuroevolutus | (~neuroevol@37.19.200.165) (Ping timeout: 256 seconds) |
| 2024-09-20 01:54:15 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-20 01:56:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-20 02:00:07 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-20 02:01:24 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 2024-09-20 02:07:57 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-09-20 02:32:54 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1342:23f2:7011:a05) (Ping timeout: 260 seconds) |
| 2024-09-20 02:35:58 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-09-20 02:37:06 +0200 | califax | (~califax@user/califx) |
| 2024-09-20 02:38:40 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-20 02:39:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-20 02:40:54 +0200 | Inst_ | Inst |
| 2024-09-20 02:40:58 +0200 | <Inst> | did you guys meet Opaque yet? |
| 2024-09-20 02:41:20 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 02:41:36 +0200 | <Inst> | https://hackage.haskell.org/package/ghc-internal-9.1001.0/docs/src/GHC.Internal.Base.html |
| 2024-09-20 02:41:48 +0200 | <Inst> | data Opaque = forall a. O a |
| 2024-09-20 02:42:54 +0200 | <Inst> | you can't do anything with it, right? |
| 2024-09-20 02:43:07 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
| 2024-09-20 02:43:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-20 02:54:12 +0200 | <probie> | You can `unsafeCoerce` it back to the original type |
| 2024-09-20 02:55:20 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-20 02:55:22 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-20 03:06:45 +0200 | <int-e> | I've met GHC.Exts.Heap.Box which is vaguely related. Opaque looks... safer. |
| 2024-09-20 03:14:49 +0200 | <geekosaur> | I don't think that heap box is intended to be used for anything but analyzing heap boxes… |
| 2024-09-20 03:15:08 +0200 | <geekosaur> | if you try to use it for anything else, you get to keep the pieces |
| 2024-09-20 03:16:05 +0200 | <geekosaur> | (you should count yourself lucky it's even possible to introspect the heap from Haskell) |
| 2024-09-20 03:26:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 03:29:27 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-20 03:31:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-09-20 03:46:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 03:49:41 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-20 03:55:32 +0200 | <Axman6> | I think the linear prelude has something for using Box for safe mutable data structures |
| 2024-09-20 03:55:38 +0200 | <int-e> | geekosaur: Its heap representation is exactly the same as that of Opaque. But the type is more dangerous; data Box = Box Any, where type Any = forall a. a. So if you have a non-bottom value in a Box, it comes with `unsafeCoerce` preapplied. |
| 2024-09-20 03:56:02 +0200 | <Axman6> | https://github.com/tweag/linear-base/blob/master/examples/Foreign/Heap.hs |
| 2024-09-20 03:56:07 +0200 | <Axman6> | s/prelude/base |
| 2024-09-20 04:06:14 +0200 | cyphase_eviltwin | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2024-09-20 04:11:00 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-20 04:15:01 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:4cbd:5e71:282d:675b) |
| 2024-09-20 04:21:07 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-20 04:22:00 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-09-20 04:26:52 +0200 | <Lears> | Axman6: That's a rather different Box: https://hackage.haskell.org/package/linear-base-0.4.0/docs/src/Foreign.Marshal.Pure.Internal.html#… |
| 2024-09-20 04:28:42 +0200 | <Lears> | int-e: You mean Any ~= exists a. a? It's true that values have to be unsafely coerced /into/ a `Box`, but that's not dangerous until you try to unsafely coerce them out. |
| 2024-09-20 04:31:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-20 04:34:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-20 04:36:37 +0200 | td_ | (~td@83.135.9.0) (Ping timeout: 248 seconds) |
| 2024-09-20 04:38:39 +0200 | td_ | (~td@i53870926.versanet.de) |
| 2024-09-20 04:41:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 04:45:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 04:57:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 05:01:40 +0200 | user363627 | (~user@user/user363627) |
| 2024-09-20 05:05:09 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
| 2024-09-20 05:15:38 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-20 05:17:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 05:18:40 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.53) |
| 2024-09-20 05:21:22 +0200 | AlexZenon | (~alzenon@94.233.241.56) (Ping timeout: 248 seconds) |
| 2024-09-20 05:22:18 +0200 | AlexNoo | (~AlexNoo@94.233.241.56) (Ping timeout: 252 seconds) |
| 2024-09-20 05:26:00 +0200 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-20 05:29:06 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-20 05:48:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 05:53:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 05:57:29 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-20 06:00:49 +0200 | <feetwind> | nix q: i want to just build tests and not run them, anyone know how? |
| 2024-09-20 06:00:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 06:08:18 +0200 | <geekosaur> | tritlo, @grayjay on github points out that --constraint='any.happy < 2' should work, and a quick test here indicates it seems to |
| 2024-09-20 06:09:15 +0200 | <geekosaur> | that said, I don't think that prropagates, so cabal.project.local would still be needed if building a dependent of haskell-lib-parser |
| 2024-09-20 06:09:35 +0200 | chromo | (~chromo@210.185.108.225) (Remote host closed the connection) |
| 2024-09-20 06:09:37 +0200 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 265 seconds) |
| 2024-09-20 06:09:58 +0200 | chromo | (~chromo@210.185.108.225) |
| 2024-09-20 06:11:16 +0200 | michalz | (~michalz@185.246.207.201) |
| 2024-09-20 06:11:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 06:13:27 +0200 | AlexZenon | (~alzenon@178.34.162.53) |
| 2024-09-20 06:18:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-20 06:22:56 +0200 | chromo | (~chromo@210.185.108.225) (Remote host closed the connection) |
| 2024-09-20 06:25:39 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-09-20 06:29:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-20 06:30:58 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-20 06:48:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 06:50:46 +0200 | caconym8 | caconym |
| 2024-09-20 06:52:09 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2024-09-20 06:53:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 07:07:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 07:11:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 07:13:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-09-20 07:14:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 07:23:07 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-20 07:23:46 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-09-20 07:28:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-20 07:29:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-20 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-20 07:34:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-20 07:36:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-09-20 07:37:18 +0200 | euleritian | (~euleritia@dynamic-176-006-144-040.176.6.pool.telefonica.de) |
| 2024-09-20 07:38:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 07:48:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 07:54:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 08:09:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 08:13:12 +0200 | arahael | (~arahael@user/arahael) (Read error: Connection reset by peer) |
| 2024-09-20 08:13:54 +0200 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) |
| 2024-09-20 08:14:19 +0200 | michalz | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 2024-09-20 08:18:40 +0200 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Ping timeout: 265 seconds) |
| 2024-09-20 08:19:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-20 08:20:32 +0200 | michalz | (~michalz@185.246.207.218) |
| 2024-09-20 08:21:07 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-09-20 08:21:07 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2024-09-20 08:21:07 +0200 | jinsun_ | jinsun |
| 2024-09-20 08:26:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 08:26:47 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-09-20 08:26:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-09-20 08:36:25 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-09-20 08:47:57 +0200 | CiaoSen | (~Jura@2a05:5800:2ea:e800:ca4b:d6ff:fec1:99da) |
| 2024-09-20 08:51:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 08:51:33 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2024-09-20 08:54:53 +0200 | arahael | (~arahael@user/arahael) |
| 2024-09-20 08:57:05 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) |
| 2024-09-20 08:58:22 +0200 | greenflower | (~greenflow@125.16.7.78) |
| 2024-09-20 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-20 09:00:38 +0200 | caconym | (~caconym@user/caconym) |
| 2024-09-20 09:02:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-20 09:06:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-09-20 09:09:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-20 09:10:35 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-09-20 09:13:37 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-20 09:14:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 09:19:08 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Quit: Lost terminal) |
| 2024-09-20 09:20:22 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-09-20 09:27:15 +0200 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) |
| 2024-09-20 09:31:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 09:38:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 09:42:20 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-09-20 09:42:38 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-20 09:42:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-09-20 09:44:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 09:45:10 +0200 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) (Quit: on the move) |
| 2024-09-20 09:45:34 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-20 09:45:34 +0200 | ChanServ | +v haskellbridge |
| 2024-09-20 09:49:06 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-20 09:54:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-20 09:55:12 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) |
| 2024-09-20 09:55:39 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-20 09:56:20 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-20 09:56:20 +0200 | ChanServ | +v haskellbridge |
| 2024-09-20 09:57:55 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-20 09:59:58 +0200 | euleritian | (~euleritia@dynamic-176-006-144-040.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-09-20 10:00:34 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-09-20 10:00:46 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-20 10:01:34 +0200 | euleritian | (~euleritia@dynamic-176-002-015-017.176.2.pool.telefonica.de) |
| 2024-09-20 10:03:16 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-09-20 10:08:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 10:11:28 +0200 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) |
| 2024-09-20 10:13:13 +0200 | euleritian | (~euleritia@dynamic-176-002-015-017.176.2.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-09-20 10:13:57 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-09-20 10:14:17 +0200 | gehmehgeh | gmg |
| 2024-09-20 10:16:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-20 10:23:48 +0200 | euleritian | (~euleritia@dynamic-176-004-209-250.176.4.pool.telefonica.de) |
| 2024-09-20 10:25:18 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 246 seconds) |
| 2024-09-20 10:26:15 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer) |
| 2024-09-20 10:27:44 +0200 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) |
| 2024-09-20 10:28:50 +0200 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) |
| 2024-09-20 10:31:01 +0200 | greenflower | (~greenflow@125.16.7.78) (Quit: Client closed) |
| 2024-09-20 10:31:25 +0200 | greenflower | (~greenflow@14.99.164.82) |
| 2024-09-20 10:33:08 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-20 10:33:31 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-09-20 10:34:18 +0200 | euleritian | (~euleritia@dynamic-176-004-209-250.176.4.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-09-20 10:38:56 +0200 | Squared | (~Square@user/square) |
| 2024-09-20 10:41:44 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-20 10:46:37 +0200 | euleritian | (~euleritia@dynamic-176-001-128-209.176.1.pool.telefonica.de) |
| 2024-09-20 10:46:57 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) |
| 2024-09-20 10:46:59 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-09-20 10:47:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 10:53:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 10:53:29 +0200 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Quit: ash3en) |
| 2024-09-20 10:57:57 +0200 | potato44 | (uid421314@id-421314.lymington.irccloud.com) |
| 2024-09-20 11:00:00 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 252 seconds) |
| 2024-09-20 11:02:53 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-09-20 11:06:13 +0200 | arahael | (~arahael@user/arahael) |
| 2024-09-20 11:08:01 +0200 | greenflower | (~greenflow@14.99.164.82) (Quit: Client closed) |
| 2024-09-20 11:08:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 11:10:44 +0200 | euleritian | (~euleritia@dynamic-176-001-128-209.176.1.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-09-20 11:12:12 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 246 seconds) |
| 2024-09-20 11:13:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 11:13:42 +0200 | AlexNoo_ | AlexNoo |
| 2024-09-20 11:14:37 +0200 | euleritian | (~euleritia@176.2.2.66) |
| 2024-09-20 11:16:34 +0200 | <eugenrh> | Hi, I couldn't find Haskell 2010 report in epub format, so I want to try using pandoc to convert it using its html version. But I couldn't find any html zip of it.. yet. Where can I find a html archive of the report? |
| 2024-09-20 11:17:39 +0200 | <mari-estel> | huh isn't there a PDF version available? |
| 2024-09-20 11:18:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 11:18:17 +0200 | <eugenrh> | pandoc says it can't convert from pdf |
| 2024-09-20 11:18:37 +0200 | <mari-estel> | not what i meant |
| 2024-09-20 11:18:56 +0200 | <arahael> | eugenrh: PDF usually doesn't have reflow support, which is what people usually want if they're asking for epub. |
| 2024-09-20 11:19:32 +0200 | AlexNoo | AlexNoo__ |
| 2024-09-20 11:19:40 +0200 | <mari-estel> | yeah of course, but considering the age of the document i thought it could be an acceptable compromise |
| 2024-09-20 11:20:03 +0200 | AlexNoo__ | AlexNoo |
| 2024-09-20 11:20:29 +0200 | <mari-estel> | most epub readers are somewhat comfy also for PDFs |
| 2024-09-20 11:20:40 +0200 | <opqdonut> | https://github.com/haskell/haskell-report does this help? |
| 2024-09-20 11:21:14 +0200 | <eugenrh> | there is just the source, not the html files.. No releases... |
| 2024-09-20 11:21:55 +0200 | <Lears> | Perhaps `wget -r https://www.haskell.org/onlinereport/` would do? |
| 2024-09-20 11:22:56 +0200 | <mari-estel> | from the source opqdonut linked you can generate the HTML. Seems latek and pandoc understands that |
| 2024-09-20 11:23:19 +0200 | <eugenrh> | yes, before web scaping I thought about asking for an archive... maybe I've missed some place when looking |
| 2024-09-20 11:23:23 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-20 11:24:48 +0200 | <eugenrh> | I;m only using a small device right now and can't install tex & frineds to generate from source |
| 2024-09-20 11:25:17 +0200 | <mari-estel> | maybe pandoc can translate the tek directly |
| 2024-09-20 11:26:44 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-09-20 11:26:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 11:29:42 +0200 | euleritian | (~euleritia@176.2.2.66) (Ping timeout: 246 seconds) |
| 2024-09-20 11:31:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 11:31:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 11:35:53 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-09-20 11:36:08 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-09-20 11:38:49 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-20 11:42:01 +0200 | euleritian | (~euleritia@dynamic-176-006-130-016.176.6.pool.telefonica.de) |
| 2024-09-20 11:47:41 +0200 | greenflower | (~greenflow@14.99.164.82) |
| 2024-09-20 11:47:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-20 11:48:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2024-09-20 11:48:55 +0200 | euleritian | (~euleritia@dynamic-176-006-130-016.176.6.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-09-20 11:55:32 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-20 11:56:10 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) |
| 2024-09-20 11:59:58 +0200 | <tomsmeding> | yeah wget seems like the way to go :p |
| 2024-09-20 12:00:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 12:00:45 +0200 | <eugenrh> | I've managed to used wget.. now trying to make an epub.. |
| 2024-09-20 12:02:42 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-20 12:05:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 12:09:41 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-09-20 12:26:03 +0200 | <eugenrh> | no, this small and old ereader doesn't render properly the htmls and probably any epub based on it. I think I'll try to give the pdf another chance by finding a way to crop its huge margins, first.. |
| 2024-09-20 12:28:58 +0200 | bliminse_ | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-09-20 12:29:42 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-09-20 12:35:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 12:40:39 +0200 | CiaoSen | (~Jura@2a05:5800:2ea:e800:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2024-09-20 12:41:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-20 12:41:36 +0200 | mari-estel | (~mari-este@2a02:3032:30d:4a6e:216:3eff:fe65:4eef) (Ping timeout: 265 seconds) |
| 2024-09-20 12:46:00 +0200 | <eugenrh> | ( I've used the online tool croppdf.com . Easy and good. do NOT know if it's safe, too ) |
| 2024-09-20 12:48:55 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-09-20 12:52:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 12:56:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 12:58:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-09-20 12:58:13 +0200 | greenflower | (~greenflow@14.99.164.82) (Quit: Client closed) |
| 2024-09-20 13:02:02 +0200 | arahael | (~arahael@user/arahael) |
| 2024-09-20 13:04:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-20 13:04:49 +0200 | flounders_ | (~flounders@2607:fb91:f40:c71f:1db6:ca6:cd9b:ec1c) (Ping timeout: 248 seconds) |
| 2024-09-20 13:06:48 +0200 | flounders | (~flounders@173.246.214.210) |
| 2024-09-20 13:06:56 +0200 | potato44 | (uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-20 13:07:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 13:08:04 +0200 | <Inst> | come to think of it, does >>= leak? |
| 2024-09-20 13:08:24 +0200 | <Inst> | term >>= foo >>= bar starts stacking space |
| 2024-09-20 13:08:30 +0200 | <Inst> | tbh it can't be avoided due to laziness |
| 2024-09-20 13:12:34 +0200 | <Inst> | well, not really, but whereas >> can be optimized, it's harder to optimize a >>= chain |
| 2024-09-20 13:13:01 +0200 | <Inst> | . and >=> also has the wrong fixity, i think, but you can't really fix it without losing laziness |
| 2024-09-20 13:14:53 +0200 | <Inst> | or am i wrong here? |
| 2024-09-20 13:19:31 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-09-20 13:24:25 +0200 | morb | (~morb@108.41.100.120) |
| 2024-09-20 13:29:50 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-20 13:32:54 +0200 | morb | (~morb@108.41.100.120) (Ping timeout: 252 seconds) |
| 2024-09-20 13:42:35 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-20 13:46:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 13:52:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-20 13:55:51 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-09-20 13:58:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 14:00:23 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-09-20 14:00:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 14:05:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-20 14:10:34 +0200 | chiselfu1e | chiselfuse |
| 2024-09-20 14:11:09 +0200 | Blasius_ | (~Blasius@2.219.56.221) (Ping timeout: 260 seconds) |
| 2024-09-20 14:20:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:64be:ce6a:a0a8:1563) |
| 2024-09-20 14:35:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 14:37:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 14:41:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 14:47:15 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-20 14:49:36 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) |
| 2024-09-20 14:52:48 +0200 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2024-09-20 14:53:09 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-09-20 14:56:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 14:58:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 15:00:21 +0200 | <kuribas> | Inst: which instance? |
| 2024-09-20 15:00:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 15:09:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 15:14:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-20 15:20:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 15:28:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-20 15:28:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 15:28:30 +0200 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2024-09-20 15:29:43 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-20 15:30:59 +0200 | <tomsmeding> | Inst: _does_ (>>=) leak? |
| 2024-09-20 15:31:21 +0200 | <tomsmeding> | `a >>= b >>= c` is exceedingly rare |
| 2024-09-20 15:31:36 +0200 | <tomsmeding> | in practice it's more like `a >>= \x -> b >>= \y -> c`, which is associated perfectly well |
| 2024-09-20 15:31:48 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 15:32:33 +0200 | <tomsmeding> | the fixity of (.) and (>=>) only influences the nesting order of manually written chains of (.) or (>=>), which are by construction bounded length (your source file is not infinitely long) and GHC can see all of them together |
| 2024-09-20 15:33:02 +0200 | <tomsmeding> | hence, at least for (.), GHC will be able to beta-reduce the (.) chain very easily |
| 2024-09-20 15:33:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-20 15:33:12 +0200 | <tomsmeding> | (for (>=>) that depends on the monad instance) |
| 2024-09-20 15:35:55 +0200 | joeyh | (~joeyh@kitenet.net) |
| 2024-09-20 15:36:30 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-20 15:39:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 15:43:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-20 15:48:57 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-20 15:52:53 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-20 15:54:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 15:56:03 +0200 | weary-traveler | (~user@user/user363627) |
| 2024-09-20 15:59:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 16:00:23 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-20 16:01:55 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-20 16:03:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 16:08:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 16:09:53 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2024-09-20 16:10:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 16:13:38 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-20 16:15:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-20 16:21:37 +0200 | ystael | (~ystael@user/ystael) |
| 2024-09-20 16:22:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 16:25:56 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 255 seconds) |
| 2024-09-20 16:26:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 16:26:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 16:31:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-20 16:31:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-20 16:40:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-20 16:42:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 16:47:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 16:55:55 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 16:57:54 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-09-20 16:58:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 17:00:25 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 17:00:47 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-09-20 17:03:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-20 17:09:07 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-20 17:09:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-20 17:12:01 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-20 17:12:25 +0200 | srazkvt | (~sarah@user/srazkvt) (Remote host closed the connection) |
| 2024-09-20 17:12:50 +0200 | srazkvt | (~sarah@user/srazkvt) |
| 2024-09-20 17:13:43 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-20 17:13:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 17:15:49 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 17:18:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-20 17:24:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 17:28:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 17:29:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-20 17:29:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 17:37:15 +0200 | <monochrom> | "Does >>= leak?" is such a hyperbole. |
| 2024-09-20 17:37:59 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-09-20 17:38:15 +0200 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2024-09-20 17:38:32 +0200 | <monochrom> | Do people still use the dark pattern of provocative tactics and great exaggerations to get attention? |
| 2024-09-20 17:39:20 +0200 | <geekosaur> | just look at the US elections |
| 2024-09-20 17:39:55 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-09-20 17:39:58 +0200 | <monochrom> | Heh yeah but I mean in #haskell where challenging the channel has been banned for decades. |
| 2024-09-20 17:40:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 17:42:35 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.4.1) |
| 2024-09-20 17:43:53 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-09-20 17:44:04 +0200 | <glguy> | happy-2.0.1 fixed the indentation change that broke GHC in happy-2.0 |
| 2024-09-20 17:44:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-20 17:46:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 17:46:09 +0200 | <geekosaur> | ++ |
| 2024-09-20 17:46:37 +0200 | <geekosaur> | haven't gotten that far in my inbox yet but I saw some discussion from that ticket |
| 2024-09-20 17:48:06 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-09-20 17:52:15 +0200 | <mauke> | https://github.com/haskell/happy/issues/303 |
| 2024-09-20 17:52:26 +0200 | Digitteknohippie | Digit |
| 2024-09-20 17:53:24 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2024-09-20 17:56:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 17:59:54 +0200 | <weary-traveler> | what's "Does >>= leak"? |
| 2024-09-20 18:01:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 18:02:24 +0200 | Squared | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2024-09-20 18:03:49 +0200 | <monochrom> | Exactly. |
| 2024-09-20 18:06:11 +0200 | <weary-traveler> | monochrom: is that a reference to some discussion elsewhere? or simply earlier in the channel (haven't looked at the logs) |
| 2024-09-20 18:06:51 +0200 | <monochrom> | Yeah much earlier. 5 hours ago. |
| 2024-09-20 18:12:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 18:13:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 18:17:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-20 18:19:27 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-09-20 18:19:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 18:22:20 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-09-20 18:25:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 18:26:57 +0200 | <weary-traveler> | i see. someone needs to go read the freer paper. |
| 2024-09-20 18:31:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 18:31:16 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-20 18:31:56 +0200 | bilegeek | (~bilegeek@227.sub-174-208-228.myvzw.com) |
| 2024-09-20 18:35:23 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-20 18:41:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 18:44:02 +0200 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) (Read error: Connection reset by peer) |
| 2024-09-20 18:45:22 +0200 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) |
| 2024-09-20 18:46:15 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-20 18:47:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-20 18:50:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 18:55:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-20 18:57:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 19:02:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 19:02:41 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-20 19:04:15 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-20 19:06:40 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 19:07:28 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-20 19:08:18 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 245 seconds) |
| 2024-09-20 19:10:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 19:12:32 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-20 19:12:57 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Quit: ZNC - https://znc.in) |
| 2024-09-20 19:13:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 19:13:58 +0200 | forell | (~forell@user/forell) |
| 2024-09-20 19:14:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 19:18:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 19:19:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-09-20 19:23:44 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-20 19:23:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-09-20 19:26:36 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-20 19:26:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 19:28:02 +0200 | <sm> | @where+ FDA https://www.manning.com/books/functional-design-and-architecture Functional Design and Architecture, Granin 2024 |
| 2024-09-20 19:28:03 +0200 | <lambdabot> | I will remember. |
| 2024-09-20 19:29:04 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 19:32:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-20 19:33:44 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-20 19:42:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 19:42:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 19:44:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 19:45:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 19:47:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-20 19:50:56 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-20 19:55:19 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-09-20 19:56:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 19:57:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 19:58:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 20:03:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-20 20:09:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-20 20:11:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 20:14:02 +0200 | <lxsameer> | hey folks, how do you parse a string like '-43a' with megaparse or any parser combinator? -43a is a valid "symbol name" but not a valid number. If parse symbols first that's fine but then I will accidentally parse valid numbers as symbol too |
| 2024-09-20 20:14:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-20 20:14:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 20:15:44 +0200 | <geekosaur> | most parsers including combinator-based ones use a "maximal munch" rule, so if you parse as a number it should fail at the 'a' |
| 2024-09-20 20:16:36 +0200 | <lxsameer> | geekosaur: hmm it will, but it uses 'a' as a terminator an returns -43 as a number |
| 2024-09-20 20:16:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 20:17:07 +0200 | <geekosaur> | that's usually handled by the grammar: if 'a' isn't valid following the number then you get a parse error |
| 2024-09-20 20:17:26 +0200 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) |
| 2024-09-20 20:17:45 +0200 | <mauke> | > let a = -1 in (+) 43a |
| 2024-09-20 20:17:46 +0200 | <lambdabot> | 42 |
| 2024-09-20 20:18:34 +0200 | <mauke> | lxsameer: are you parsing a lisp? |
| 2024-09-20 20:18:35 +0200 | Versatile | (~Versatile@2.219.56.221) |
| 2024-09-20 20:19:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-20 20:19:26 +0200 | <lxsameer> | mauke: yupe |
| 2024-09-20 20:20:22 +0200 | <geekosaur> | yes, what language you're parsing matters too. gcc parses character suffixes after numbers and reports errors if the suffix(es) aren't valid ("error: invalid suffix "a" on integer constant") |
| 2024-09-20 20:20:36 +0200 | <geekosaur> | because C supports things like 1L, 1ULL, etc. |
| 2024-09-20 20:20:41 +0200 | <mauke> | aren't numbers just a type of symbol, syntactically? |
| 2024-09-20 20:20:57 +0200 | <lxsameer> | mauke: technically yes. |
| 2024-09-20 20:21:15 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-09-20 20:21:16 +0200 | <lxsameer> | geekosaur: i'm in charge of the lang, so I can change the grammar if I want to |
| 2024-09-20 20:21:55 +0200 | <lxsameer> | mauke: are you suggesting to parse them as symbol and the run another number parser on the symbol ? |
| 2024-09-20 20:22:37 +0200 | <mauke> | yeah, basically |
| 2024-09-20 20:22:57 +0200 | <mauke> | if the symbol name cleanly converts to a number, it is a number |
| 2024-09-20 20:23:00 +0200 | <lxsameer> | mauke: hmmm cool, thank you. I'll give it a shot |
| 2024-09-20 20:23:15 +0200 | <lxsameer> | mauke: yeah, that makes it much easier |
| 2024-09-20 20:27:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 20:32:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 20:33:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-20 20:37:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-20 20:43:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 20:44:13 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-20 20:46:54 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-20 20:48:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-20 20:59:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 21:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-20 21:00:40 +0200 | caconym | (~caconym@user/caconym) |
| 2024-09-20 21:04:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-20 21:05:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 21:13:54 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2024-09-20 21:15:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 21:18:45 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-09-20 21:19:50 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-20 21:20:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-20 21:26:52 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-20 21:27:18 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-09-20 21:27:35 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-20 21:27:35 +0200 | ChanServ | +v haskellbridge |
| 2024-09-20 21:28:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-20 21:29:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 21:33:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-20 21:42:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 21:43:23 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2024-09-20 21:44:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 21:48:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-20 21:49:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-20 22:00:17 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-09-20 22:00:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 22:05:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-20 22:06:00 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-20 22:11:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 22:16:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 22:16:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-20 22:21:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-20 22:29:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 22:32:09 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 276 seconds) |
| 2024-09-20 22:34:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-20 22:35:43 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-20 22:39:39 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-20 22:44:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 22:45:26 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-20 22:45:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 22:48:02 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-09-20 22:49:13 +0200 | qhong | (~qhong@DN160vrd000d6k3g00000000009p.stanford.edu) |
| 2024-09-20 22:50:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-20 22:52:14 +0200 | qhong_ | (~qhong@DN160vrd000d6k3g00000000009p.stanford.edu) (Ping timeout: 260 seconds) |
| 2024-09-20 22:52:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 22:53:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 22:53:48 +0200 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) (Read error: Connection reset by peer) |
| 2024-09-20 22:54:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-20 22:54:56 +0200 | synchromesh | (~john@2406:5a00:241a:5600:3c25:ae8:512d:c1ef) |
| 2024-09-20 22:55:29 +0200 | neuroevolutus | (~neuroevol@37.19.200.139) |
| 2024-09-20 22:59:31 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-20 23:01:01 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-20 23:01:23 +0200 | kimiamania20 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-09-20 23:01:44 +0200 | kimiamania208 | (~65804703@user/kimiamania) |
| 2024-09-20 23:02:04 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-20 23:03:04 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-20 23:04:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 23:08:14 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-09-20 23:09:38 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-20 23:09:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-20 23:10:24 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-09-20 23:10:24 +0200 | ChanServ | +v haskellbridge |
| 2024-09-20 23:17:48 +0200 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2024-09-20 23:18:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-20 23:20:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 23:22:27 +0200 | carbolymer | (~carbolyme@dropacid.net) (Remote host closed the connection) |
| 2024-09-20 23:25:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-20 23:35:55 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-20 23:39:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-20 23:40:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-20 23:46:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-20 23:51:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-20 23:52:38 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-09-20 23:53:11 +0200 | Inst | (~Inst@user/Inst) |
| 2024-09-20 23:54:25 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-09-20 23:55:51 +0200 | ash3en | (~Thunderbi@2a01:c23:8c85:a600:95cb:522:a5ea:bb0d) (Quit: ash3en) |
| 2024-09-20 23:57:11 +0200 | kimiamania208 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2024-09-20 23:57:57 +0200 | kimiamania208 | (~65804703@user/kimiamania) |
| 2024-09-20 23:59:44 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |