2024/05/29

2024-05-29 00:01:21 +0200philopsos1(~caecilius@user/philopsos)
2024-05-29 00:01:34 +0200puke(~puke@user/puke) (Read error: Connection reset by peer)
2024-05-29 00:02:20 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 00:06:58 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 00:09:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-29 00:11:34 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds)
2024-05-29 00:13:43 +0200fliife(~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-05-29 00:15:55 +0200fliife(~fliife@user/fliife)
2024-05-29 00:17:03 +0200xdminsy(~xdminsy@117.147.70.240) (Ping timeout: 260 seconds)
2024-05-29 00:17:23 +0200xdminsy(~xdminsy@117.147.70.212)
2024-05-29 00:21:23 +0200xdminsy(~xdminsy@117.147.70.212) (Remote host closed the connection)
2024-05-29 00:21:50 +0200xdminsy(~xdminsy@117.147.70.212)
2024-05-29 00:24:26 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 00:25:47 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2024-05-29 00:26:25 +0200destituion(~destituio@2a02:2121:6c3:b5b4:4960:5aad:77da:7e14) (Ping timeout: 255 seconds)
2024-05-29 00:29:36 +0200notzmv(~daniel@user/notzmv)
2024-05-29 00:29:52 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 00:30:31 +0200aforemny_(~aforemny@2001:9e8:6cdb:9200:aef5:3682:ecf5:aa1a)
2024-05-29 00:30:35 +0200aforemny(~aforemny@i59F516EF.versanet.de) (Ping timeout: 264 seconds)
2024-05-29 00:31:46 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-29 00:34:43 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 00:39:47 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds)
2024-05-29 00:43:48 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 256 seconds)
2024-05-29 00:44:32 +0200Luj(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: Ping timeout (120 seconds))
2024-05-29 00:44:52 +0200Luj(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-05-29 00:52:36 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 00:57:38 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-29 01:01:36 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 01:06:23 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds)
2024-05-29 01:10:46 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 01:17:38 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
2024-05-29 01:20:16 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 01:24:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 01:31:47 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-29 01:32:09 +0200Square2(~Square4@user/square)
2024-05-29 01:32:48 +0200Feuermagier(~Feuermagi@user/feuermagier)
2024-05-29 01:33:59 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 01:35:52 +0200Square(~Square@user/square) (Ping timeout: 268 seconds)
2024-05-29 01:39:57 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds)
2024-05-29 01:41:46 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-05-29 01:42:54 +0200agent314_(~quassel@69.4.234.100)
2024-05-29 01:44:08 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 01:45:21 +0200agent314_agent314
2024-05-29 01:48:02 +0200aforemny(~aforemny@2001:9e8:6cdf:7700:f799:bd8c:a20c:4c76)
2024-05-29 01:48:19 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds)
2024-05-29 01:49:27 +0200aforemny_(~aforemny@2001:9e8:6cdb:9200:aef5:3682:ecf5:aa1a) (Ping timeout: 260 seconds)
2024-05-29 01:53:14 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 01:58:04 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-29 02:02:23 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 02:03:00 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-05-29 02:06:53 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 02:10:13 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 02:11:39 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-05-29 02:11:39 +0200ChanServ+v haskellbridge
2024-05-29 02:12:40 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-29 02:14:00 +0200causal(~eric@50.35.88.207)
2024-05-29 02:14:59 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 02:17:25 +0200fizbin_(~fizbin@user/fizbin)
2024-05-29 02:20:53 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-05-29 02:21:56 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-05-29 02:23:57 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 02:25:13 +0200Guest|15(~Guest|15@138.199.60.33)
2024-05-29 02:26:20 +0200 <haskellbridge> <geekosaur> the bridge is finally back up
2024-05-29 02:26:32 +0200fizbin_(~fizbin@user/fizbin) (Ping timeout: 260 seconds)
2024-05-29 02:27:02 +0200 <haskellbridge> <geekosaur> this is a temporary arrangement, but while I was setting it up I laid the groundwork for transferring the bridge and newly-associated homeserver to haskell.org
2024-05-29 02:29:31 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 02:32:09 +0200Guest|15(~Guest|15@138.199.60.33) (Quit: Connection closed)
2024-05-29 02:37:11 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 02:43:41 +0200sudden(~cat@user/sudden) (Ping timeout: 240 seconds)
2024-05-29 02:45:40 +0200fizbin_(~fizbin@user/fizbin)
2024-05-29 02:48:37 +0200 <EvanR> \o/
2024-05-29 02:49:15 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 02:54:11 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-29 02:58:29 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 02:59:11 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2024-05-29 02:59:37 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-05-29 02:59:52 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-05-29 02:59:52 +0200ChanServ+v haskellbridge
2024-05-29 03:00:29 +0200sudden(~cat@user/sudden)
2024-05-29 03:02:00 +0200connrs(~connrs@user/connrs) (Ping timeout: 260 seconds)
2024-05-29 03:02:56 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 03:03:32 +0200pointlessslippe1(~pointless@212.82.82.3) (Ping timeout: 252 seconds)
2024-05-29 03:07:26 +0200pointlessslippe1(~pointless@212.82.82.3)
2024-05-29 03:07:32 +0200 <haskellbridge> <maerwald> Yo
2024-05-29 03:07:44 +0200geekosaurwaves
2024-05-29 03:09:42 +0200 <haskellbridge> <sm> go geekosaur. Restrained applause because I don't know the impacts of heisenbridge or a haskell home server but it all sounds very interesting
2024-05-29 03:10:17 +0200 <geekosaur> lots of people would like :haskell.org matrix accounts
2024-05-29 03:11:14 +0200 <geekosaur> heisenbridge is because matterbridge shattered after my recent network outage, just endlessly recycled messages weithout marking them read (it has been doing that with IRC as well but kill and restart stopped that)
2024-05-29 03:12:10 +0200connrs(~connrs@user/connrs)
2024-05-29 03:14:09 +0200 <geekosaur> but it's also much smarter: it pastebins large messages, pastebins media (which should now also provide valid URLs), supports edits to some extent, etc.
2024-05-29 03:15:13 +0200 <haskellbridge> <sm> great! 👍🏻 did you have to set up your own synapse server for this ?
2024-05-29 03:15:18 +0200 <geekosaur> yes
2024-05-29 03:15:47 +0200 <geekosaur> currently it doesn't accept new accounts, since I only want to use it for the bridge
2024-05-29 03:16:21 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 03:16:51 +0200 <haskellbridge> <sm> very cool
2024-05-29 03:16:52 +0200 <geekosaur> I don't expect that to change until I turn it over (well, redo it; you can't rename a homeserver) to the infrastructure folks
2024-05-29 03:17:50 +0200 <haskellbridge> <sm> how do you persuade those folks to take on this largish new job ?
2024-05-29 03:18:03 +0200 <geekosaur> actually, sclv offered to do it
2024-05-29 03:18:13 +0200 <haskellbridge> <sm> sweet
2024-05-29 03:19:02 +0200 <sclv> well i offered a server :-)
2024-05-29 03:19:03 +0200 <geekosaur> I will not be surprised if I end up on the infra team, tasked with keeping it working
2024-05-29 03:19:15 +0200 <geekosaur> which is a large part of why I took the time to learn how to set it up properly
2024-05-29 03:19:42 +0200 <haskellbridge> <sm> well thanks for your R & D & ops, I hope you'll get some funding then
2024-05-29 03:20:35 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 03:21:43 +0200 <haskellbridge> <sm> sclv: hehe
2024-05-29 03:22:05 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-05-29 03:23:30 +0200 <haskellbridge> <sm> having separate nicks on the matrix side now is so much better
2024-05-29 03:23:42 +0200 <haskellbridge> <sm> * seeing
2024-05-29 03:25:36 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 03:30:24 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds)
2024-05-29 03:32:32 +0200Leary(~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2024-05-29 03:32:52 +0200Leary(~Leary@user/Leary/x-0910699)
2024-05-29 03:34:34 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 03:35:13 +0200xff0x(~xff0x@2405:6580:b080:900:5bb0:16d5:561c:69e5) (Ping timeout: 272 seconds)
2024-05-29 03:40:11 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 03:43:51 +0200erisco_(~erisco@d24-141-66-165.home.cgocable.net)
2024-05-29 03:44:45 +0200Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2024-05-29 03:45:35 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 264 seconds)
2024-05-29 03:45:35 +0200erisco_erisco
2024-05-29 03:49:52 +0200phma(phma@2001:5b0:210f:6488:3838:22e1:4b7c:272e) (Read error: Connection reset by peer)
2024-05-29 03:50:15 +0200phma(~phma@host-67-44-208-40.hnremote.net)
2024-05-29 03:52:35 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 03:55:10 +0200 <haskellbridge> <maerwald> So heisenbridge only needs OPs rights on the IRC side?
2024-05-29 03:59:53 +0200 <haskellbridge> <maerwald> Now the question is... why we have two Haskell matrix channels
2024-05-29 04:00:07 +0200 <haskellbridge> <maerwald> Imo would make sense to fold them into one
2024-05-29 04:01:49 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds)
2024-05-29 04:02:27 +0200fizbin_(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2024-05-29 04:02:39 +0200 <geekosaur> heisenbridge doesn't need ops on irc either
2024-05-29 04:03:05 +0200 <geekosaur> it has voice but that has more to do with the spambot potentially kicking it
2024-05-29 04:03:52 +0200 <geekosaur> as to multiple matrix channels, #haskell:matrix.org users specifically requested that the IRC channel not be bridged there
2024-05-29 04:04:27 +0200 <geekosaur> but there are matrix users who want access to the IRC channel, so now there's a separate room for that
2024-05-29 04:05:08 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2024-05-29 04:07:42 +0200 <haskellbridge> <maerwald> geekosaur: Interesting, what was their reasoning?
2024-05-29 04:11:32 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 04:12:21 +0200Guest|15(~Guest|15@138.199.60.33)
2024-05-29 04:13:58 +0200Feuermagier(~Feuermagi@user/feuermagier)
2024-05-29 04:14:48 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-05-29 04:15:44 +0200 <geekosaur> bridging? it was bridged in the freenode days. they didn't like the extra traffic
2024-05-29 04:16:34 +0200 <glguy> People in the matrix-only channel can be free to use message editing, multi-line pasting, control their own moderation, etc.
2024-05-29 04:17:01 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds)
2024-05-29 04:21:50 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 04:22:50 +0200 <geekosaur> those (aside from moderation) should work reasonably with this bot
2024-05-29 04:23:23 +0200 <glguy> Is the bot going to stay single-user on the IRC side? all the matrix traffic through one nick?
2024-05-29 04:23:34 +0200 <geekosaur> anything longer than 2 lines gets pastebinned, and it at least partially understands edits
2024-05-29 04:23:50 +0200 <geekosaur> heisenbridge doesn't support any other mode for IRC side
2024-05-29 04:23:59 +0200Guest|15(~Guest|15@138.199.60.33) (Ping timeout: 272 seconds)
2024-05-29 04:24:05 +0200 <geekosaur> on the matrix side, since it has its own pet homeserver, it can be more flexible
2024-05-29 04:24:10 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-05-29 04:25:26 +0200 <geekosaur> (in particular, it owns all mxids @irc_*:kf8nh.com)
2024-05-29 04:26:03 +0200 <geekosaur> that part can apparently be turned off, but I haven't looked closely into it as yet
2024-05-29 04:26:23 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 04:28:29 +0200Square2(~Square4@user/square) (Ping timeout: 240 seconds)
2024-05-29 04:30:52 +0200 <haskellbridge> <sm> I think a certain proportion of people on both sides of the original bridge got tired of (a) the limitations of the other side being imposed on them and especially (b) the recurring hassles and instability of the bridging. It's probably something that could be polled yearly, things can change
2024-05-29 04:31:09 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 04:31:19 +0200 <haskellbridge> <sm> more sophisticated and stable bridges means less resistance
2024-05-29 04:32:17 +0200haskellbridgesm is speaking of the big central bridge previously operated by the matrix folk, not geekosaur's previous bridge
2024-05-29 04:33:47 +0200 <haskellbridge> <sm> I guess we're now on Part III, Return of the Bridge
2024-05-29 04:35:59 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 04:36:40 +0200earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net)
2024-05-29 04:37:17 +0200xdminsy(~xdminsy@117.147.70.212) (Quit: Konversation terminated!)
2024-05-29 04:37:42 +0200xdminsy(~xdminsy@117.147.70.212)
2024-05-29 04:40:23 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 04:43:31 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2024-05-29 04:44:44 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 04:46:21 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2024-05-29 04:49:29 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 04:51:20 +0200 <haskellbridge> <sm> Stats from the matrix side: 125 people in Haskell IRC (this bridged room), 2.8K people in Haskell (the pure matrix room)
2024-05-29 04:52:43 +0200 <haskellbridge> <sm> and from the irc side: 582 people here from irc
2024-05-29 04:54:10 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds)
2024-05-29 04:55:39 +0200td_(~td@i53870912.versanet.de) (Ping timeout: 260 seconds)
2024-05-29 04:57:29 +0200td_(~td@i5387092A.versanet.de)
2024-05-29 04:58:29 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 04:58:38 +0200 <haskellbridge> <sm> I think at peak Freenode #haskell IRC channel was about 1000 ?
2024-05-29 04:59:40 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-29 05:00:15 +0200titibandit(~user@user/titibandit)
2024-05-29 05:01:36 +0200 <geekosaur> went over 1500 at one point, iirc
2024-05-29 05:02:26 +0200bjork1intosh(~bjork@2600:1700:5400:c80:8572:7b8e:3c5f:b70) (Remote host closed the connection)
2024-05-29 05:02:43 +0200bjork1intosh(~bjork@2600:1700:5400:c80:7f46:b856:9661:438)
2024-05-29 05:03:10 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds)
2024-05-29 05:07:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-29 05:12:07 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 05:17:59 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 05:18:49 +0200phma(~phma@host-67-44-208-40.hnremote.net) (Read error: Connection reset by peer)
2024-05-29 05:19:42 +0200phma(phma@2001:5b0:211c:60e8:6a1b:f7bb:b842:8218)
2024-05-29 05:24:36 +0200aforemny_(~aforemny@i59F516FB.versanet.de)
2024-05-29 05:25:51 +0200puke(~puke@user/puke)
2024-05-29 05:25:53 +0200aforemny(~aforemny@2001:9e8:6cdf:7700:f799:bd8c:a20c:4c76) (Ping timeout: 268 seconds)
2024-05-29 05:26:53 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-05-29 05:28:19 +0200puke(~puke@user/puke)
2024-05-29 05:39:42 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 05:44:08 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 05:49:10 +0200monochrom(trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
2024-05-29 05:51:41 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 05:53:13 +0200fizbin_(~fizbin@user/fizbin)
2024-05-29 05:54:58 +0200agent314(~quassel@69.4.234.100) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-05-29 05:56:23 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 05:58:40 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 06:03:30 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-29 06:06:37 +0200califax_(~califax@user/califx)
2024-05-29 06:06:42 +0200califax(~califax@user/califx) (Ping timeout: 260 seconds)
2024-05-29 06:07:39 +0200califax_califax
2024-05-29 06:08:03 +0200michalz(~michalz@185.246.207.221)
2024-05-29 06:20:48 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-05-29 06:22:19 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 06:23:21 +0200michalz(~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-29 06:26:08 +0200slack1256(~slack1256@2803:c600:5111:80cb:5344:aa07:6f5d:3db7)
2024-05-29 06:29:23 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds)
2024-05-29 06:32:19 +0200Buggys-(Buggys@shelltalk.net) (Changing host)
2024-05-29 06:32:19 +0200Buggys-(Buggys@user/Buggys-)
2024-05-29 06:34:01 +0200 <Axman6> it was often larger than #python
2024-05-29 06:36:03 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2024-05-29 06:36:13 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-29 06:36:30 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 06:38:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 06:42:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-29 06:43:38 +0200bliminse(~bliminse@user/bliminse)
2024-05-29 06:46:15 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 06:50:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-05-29 06:51:18 +0200slack1256(~slack1256@2803:c600:5111:80cb:5344:aa07:6f5d:3db7) (Remote host closed the connection)
2024-05-29 06:52:31 +0200 <glguy> Haskell used to be more popular
2024-05-29 06:54:22 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Remote host closed the connection)
2024-05-29 06:54:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 06:54:59 +0200michalz(~michalz@185.246.207.205)
2024-05-29 06:56:03 +0200foul_owl(~kerry@174-21-146-130.tukw.qwest.net) (Ping timeout: 256 seconds)
2024-05-29 06:58:29 +0200Pixi(~Pixi@user/pixi)
2024-05-29 07:00:48 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 07:05:47 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-29 07:08:53 +0200 <haskellbridge> <sm> do you mean Haskell as a whole ? not sure about that
2024-05-29 07:09:42 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-05-29 07:10:01 +0200foul_owl(~kerry@185.216.231.181)
2024-05-29 07:11:21 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-29 07:14:37 +0200zetef(~quassel@95.77.17.251)
2024-05-29 07:17:42 +0200 <haskellbridge> <magic_rb> Id imagine the distribution of discord vs matrix/irc is much more skewed to the matrix/irc side for haskell and the discord side for python
2024-05-29 07:22:35 +0200rodney____(~Rodney@176.254.244.83) (Ping timeout: 252 seconds)
2024-05-29 07:24:05 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288)
2024-05-29 07:29:52 +0200philopsos1(~caecilius@user/philopsos)
2024-05-29 07:33:17 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2024-05-29 07:36:05 +0200euleritian(~euleritia@dynamic-176-002-146-001.176.2.pool.telefonica.de)
2024-05-29 07:37:46 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 07:43:05 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds)
2024-05-29 07:48:34 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 07:53:12 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 07:54:53 +0200monochrom(trebla@216.138.220.146)
2024-05-29 07:56:29 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2024-05-29 07:57:53 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 07:58:43 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-29 08:00:54 +0200ak-1(~ak-1@149.50.189.92)
2024-05-29 08:02:23 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 08:06:28 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 08:11:09 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-29 08:14:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2024-05-29 08:15:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 08:15:49 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 08:20:32 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds)
2024-05-29 08:24:47 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 08:28:20 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving)
2024-05-29 08:30:04 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 08:35:34 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 255 seconds)
2024-05-29 08:45:35 +0200euleritian(~euleritia@dynamic-176-002-146-001.176.2.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-29 08:45:53 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-29 08:47:32 +0200son0p(~ff@181.32.150.11) (Ping timeout: 268 seconds)
2024-05-29 08:48:01 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
2024-05-29 08:50:08 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-29 08:50:12 +0200danza(~francesco@151.57.241.101)
2024-05-29 08:53:33 +0200zetef(~quassel@95.77.17.251) (Ping timeout: 255 seconds)
2024-05-29 08:53:33 +0200ak-1_(~ak-1@149.50.189.92)
2024-05-29 08:55:51 +0200ak-1(~ak-1@149.50.189.92) (Quit: Client closed)
2024-05-29 08:57:33 +0200ak-1_(~ak-1@149.50.189.92) (Client Quit)
2024-05-29 08:57:49 +0200ak-1(~ak-1@149.50.189.92)
2024-05-29 09:07:19 +0200zetef(~quassel@95.77.17.251)
2024-05-29 09:07:47 +0200danza(~francesco@151.57.241.101) (Ping timeout: 264 seconds)
2024-05-29 09:10:15 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 09:12:17 +0200ak-1(~ak-1@149.50.189.92) (Quit: ak-1)
2024-05-29 09:12:33 +0200ak-1(~ak-1@149.50.189.92)
2024-05-29 09:15:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-29 09:15:35 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 09:15:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-29 09:19:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 09:23:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-29 09:24:00 +0200jle`(~jle`@2603:8001:3b02:84d4:f047:2251:133c:1d1c) (Ping timeout: 256 seconds)
2024-05-29 09:27:14 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 09:33:13 +0200joeyadams(~joeyadams@38.48.105.67) (Quit: Leaving)
2024-05-29 09:34:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-29 09:37:12 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 09:41:56 +0200jle`(~jle`@2603:8001:3b02:84d4:c84f:b43d:f9d2:fde4)
2024-05-29 09:42:52 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 09:48:40 +0200Feuermagier_(~Feuermagi@user/feuermagier)
2024-05-29 09:48:40 +0200FeuermagierGuest5635
2024-05-29 09:48:40 +0200Guest5635(~Feuermagi@user/feuermagier) (Killed (zirconium.libera.chat (Nickname regained by services)))
2024-05-29 09:48:40 +0200Feuermagier_Feuermagier
2024-05-29 09:52:09 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 09:56:07 +0200zetef(~quassel@95.77.17.251) (Ping timeout: 255 seconds)
2024-05-29 09:57:27 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds)
2024-05-29 09:57:40 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-29 10:00:58 +0200 <tomsmeding> the 1500 indeed happened but I suspect a significant percentage of that was idlers :)
2024-05-29 10:02:27 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 10:02:42 +0200 <tomsmeding> geekosaur: how much disk space does the server have? Or does the lack of media use in this channel mean that disk space requirements are modest, for the matrix server
2024-05-29 10:07:04 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds)
2024-05-29 10:11:24 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 10:11:30 +0200zetef(~quassel@95.77.17.251)
2024-05-29 10:12:53 +0200Square2(~Square4@user/square)
2024-05-29 10:16:20 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-29 10:19:16 +0200Square2(~Square4@user/square) (Ping timeout: 260 seconds)
2024-05-29 10:20:26 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 10:24:03 +0200 <geekosaur> 2TB
2024-05-29 10:24:18 +0200 <geekosaur> but I'm hoping I don't have to run this for too long
2024-05-29 10:24:27 +0200 <geekosaur> (it's not a server, it's my laptop)
2024-05-29 10:24:29 +0200 <tomsmeding> that's a significant amount of space!
2024-05-29 10:24:43 +0200 <tomsmeding> is this a VPS somewhere or something you have physically?
2024-05-29 10:24:52 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 10:24:57 +0200 <tomsmeding> renting that amount of disk space becomes relatively expensive
2024-05-29 10:25:10 +0200 <haskellbridge> <sm> ouch..
2024-05-29 10:26:00 +0200 <haskellbridge> <sm> is it storing all history of N haskell rooms ?
2024-05-29 10:26:09 +0200 <tomsmeding> that's how matrix works
2024-05-29 10:27:19 +0200 <tomsmeding> but 2TB should be more than enough :p
2024-05-29 10:29:36 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 10:30:17 +0200__monty__(~toonn@user/toonn)
2024-05-29 10:31:57 +0200jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 272 seconds)
2024-05-29 10:32:10 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-05-29 10:34:47 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds)
2024-05-29 10:36:52 +0200 <haskellbridge> <sm> seems excessive
2024-05-29 10:37:33 +0200 <tomsmeding> maybe a little; I collected ~40GB over some time of idling in the Conduit (a matrix server) development channel
2024-05-29 10:39:09 +0200 <tomsmeding> (I just realised that I utterly misread geekosaur's response -- it's not a VPS, it's a laptop)
2024-05-29 10:39:32 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 10:41:25 +0200danse-nr3(~danse-nr3@151.57.241.101)
2024-05-29 10:44:23 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 10:46:47 +0200danse-nr3(~danse-nr3@151.57.241.101) (Ping timeout: 264 seconds)
2024-05-29 10:47:16 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 10:47:36 +0200chele(~chele@user/chele)
2024-05-29 10:50:44 +0200 <geekosaur> right, I'm keeping it close, in part because I'm using it to learn stuff I haven't done a lot with before (notably docker and docker compose)
2024-05-29 10:51:02 +0200danse-nr3(~danse-nr3@151.57.241.101)
2024-05-29 10:51:03 +0200 <geekosaur> but I also expect to be refining the config over the next few days
2024-05-29 10:51:42 +0200 <geekosaur> such as bringing up redis and configuring synapse with a background worker
2024-05-29 10:55:36 +0200son0p(~ff@186.114.53.36)
2024-05-29 10:56:26 +0200 <dminuoso> "Error in $: mzero"
2024-05-29 10:57:14 +0200 <tomsmeding> dminuoso: you need to upgrade your $, you ran out of credits
2024-05-29 10:57:29 +0200 <dminuoso> Yeah Im trying to find out what account number to wire the money to.
2024-05-29 10:58:44 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 11:07:26 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-29 11:07:58 +0200rvalue(~rvalue@user/rvalue)
2024-05-29 11:08:50 +0200zetef(~quassel@95.77.17.251) (Ping timeout: 256 seconds)
2024-05-29 11:10:42 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-05-29 11:13:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-05-29 11:16:29 +0200 <dminuoso> But honestly, diagnostics is not a strong suit of Haskell.
2024-05-29 11:16:39 +0200 <dminuoso> Neither in the compiler, nor in runtime errors.
2024-05-29 11:20:20 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 11:26:56 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 11:28:26 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-29 11:31:09 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 11:35:34 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds)
2024-05-29 11:36:05 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
2024-05-29 11:38:46 +0200 <haskellbridge> <sm> I think it's slowly changing
2024-05-29 11:39:40 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 11:40:24 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
2024-05-29 11:44:23 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 11:48:34 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 11:51:26 +0200 <dminuoso> Perhaps it is one of the larger reasons for the low adoption.
2024-05-29 11:53:15 +0200 <dminuoso> At any rate: https://hackage.haskell.org/package/ip-1.7.8/docs/src/Net.IPv4.html#line-1319
2024-05-29 11:53:20 +0200 <dminuoso> Lovely mzero there.
2024-05-29 11:53:59 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds)
2024-05-29 11:54:34 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 11:57:40 +0200 <tomsmeding> the difficulty of getting a proper callstack, even if you write an explicit `error` call, is a contributor
2024-05-29 11:58:37 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-05-29 11:59:06 +0200 <tomsmeding> even if you compile with profiling and use -xc the callstacks are still sometimes fairly useless, and on top of that you get lots of callstacks you didn't want
2024-05-29 11:59:08 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 12:03:35 +0200 <dminuoso> It's so surprising that even IO exceptions do not have stacktraces.
2024-05-29 12:03:40 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 12:03:50 +0200 <tomsmeding> where should the stacktrace come from, and what frames should be in it?
2024-05-29 12:04:36 +0200 <tomsmeding> if you obtain an `IO ()` from some function and then run it elsewhere, what does the stacktrace look like?
2024-05-29 12:04:42 +0200 <tomsmeding> I get that this is complicated in haskell
2024-05-29 12:04:46 +0200 <dminuoso> The RTS should make it happen, as for frames, anything similar to cost centers is fine?
2024-05-29 12:04:57 +0200 <tomsmeding> that severely impacts performance in some cases
2024-05-29 12:05:02 +0200 <dminuoso> For IO? I doubt it.
2024-05-29 12:05:08 +0200 <tomsmeding> perhaps limiting it to IO functions that may not be true
2024-05-29 12:05:11 +0200 <tomsmeding> but then, what is an "IO function"?
2024-05-29 12:05:33 +0200 <dminuoso> For what its worth, there is a large accepted proposal that is currently WIP to make stacktraces happen.
2024-05-29 12:05:46 +0200 <tomsmeding> what if there is some Monad-polymorphic function in your callstack
2024-05-29 12:05:55 +0200 <tomsmeding> would that count as an IO function?
2024-05-29 12:06:12 +0200 <tomsmeding> (what's the name of that proposal?)
2024-05-29 12:06:36 +0200 <dminuoso> https://github.com/ghc-proposals/ghc-proposals/pull/330
2024-05-29 12:07:36 +0200 <dminuoso> https://gitlab.haskell.org/ghc/ghc/-/merge_requests/8869
2024-05-29 12:07:41 +0200 <dminuoso> Oh, apparently that branch is closed?
2024-05-29 12:07:50 +0200 <tomsmeding> oh hah, that's even more basic than I realised
2024-05-29 12:08:12 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
2024-05-29 12:08:14 +0200 <tomsmeding> I didn't realise that IO exceptions don't _have_ stacktraces, and I thought you were talking about a more reliable way to _collect_ stacktraces specifically for IO exceptions
2024-05-29 12:08:45 +0200 <dminuoso> I've more or less accepted that for `error` its not going to happen, and honestly thats fine.
2024-05-29 12:08:56 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 12:09:29 +0200 <dminuoso> The amount of database errors blowing up random parts in one of our programs is extremely frustrating mostly because you always have to spend 15 minutes tracing which query that was.
2024-05-29 12:10:07 +0200 <dminuoso> And yes, with some foresight I would have decorated every damn database interface function with some `prependContext "user-fetch"`
2024-05-29 12:10:17 +0200 <tomsmeding> so am I correct that this proposal doesn't do anything to solve the problem of "now I need to annotate EVERYTHING with HasCallstac"?
2024-05-29 12:10:25 +0200 <dminuoso> tomsmeding: It does.
2024-05-29 12:10:39 +0200 <dminuoso> tomsmeding: there's a couple of different backtrace collection mechanisms
2024-05-29 12:10:51 +0200 <dminuoso> you can select between cost centre, HasCallStack, Execution or IPE
2024-05-29 12:11:15 +0200 <dminuoso> (Where execution refers to DWARF)
2024-05-29 12:11:15 +0200 <tomsmeding> HasCallStack is near-useless, cost centres are only with profiling which makes code a lot slower and requires a separate build, dwarf requires a custom GHC
2024-05-29 12:11:26 +0200 <tomsmeding> that leaves IPE which I'm not familiar with
2024-05-29 12:11:29 +0200 <dminuoso> tomsmeding: Whether its useless to you is besides the point
2024-05-29 12:11:34 +0200 <tomsmeding> fair
2024-05-29 12:11:40 +0200 <dminuoso> The infrastructure is there, and if it works for some programs, then great.
2024-05-29 12:11:44 +0200 <tomsmeding> true
2024-05-29 12:12:02 +0200 <dminuoso> And funnily:
2024-05-29 12:12:15 +0200 <dminuoso> For a while I did think HasCallStack did just that to IO exceptions
2024-05-29 12:12:16 +0200 <tomsmeding> oh I'm definitely not saying that this proposal is a bad idea, make it happen please
2024-05-29 12:12:24 +0200 <dminuoso> Which is why I annotated every darn function of that project with it.
2024-05-29 12:12:29 +0200 <tomsmeding> I'm just saying that even with this proposal, we're not there yet
2024-05-29 12:12:30 +0200 <dminuoso> Just to find out, it didnt do anything :D
2024-05-29 12:12:35 +0200 <tomsmeding> hah
2024-05-29 12:13:32 +0200 <dminuoso> I do wonder, how do other traditional languages deal with stack frames when inlining?
2024-05-29 12:14:23 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds)
2024-05-29 12:15:04 +0200 <tomsmeding> functions are typically a little larger than in haskell, and with sufficient rearrangement of the inlined code, stacktrace quality suffers
2024-05-29 12:15:42 +0200xdminsy(~xdminsy@117.147.70.212) (Read error: Connection reset by peer)
2024-05-29 12:16:10 +0200xdminsy(~xdminsy@117.147.70.212)
2024-05-29 12:16:17 +0200 <haskellbridge> <sm> call stacks are hilariously complicated in Haskell, but I think maybe we'll get there
2024-05-29 12:19:45 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-29 12:21:15 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 12:26:44 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 12:33:15 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-29 12:34:14 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-29 12:34:58 +0200acidjnk(~acidjnk@p200300d6e714dc80006b1211edb0087f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-05-29 12:39:30 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 12:45:46 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds)
2024-05-29 12:48:04 +0200earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Quit: WeeChat 3.8)
2024-05-29 12:48:48 +0200danse-nr3(~danse-nr3@151.57.241.101) (Read error: Connection reset by peer)
2024-05-29 12:49:00 +0200danse-nr3(~danse-nr3@151.37.240.103)
2024-05-29 12:49:51 +0200 <dminuoso> sm: Id argue that they are complicated in any language that does enough non-local optimizations/program transformations.
2024-05-29 12:50:17 +0200sawilagar(~sawilagar@user/sawilagar) (Remote host closed the connection)
2024-05-29 12:50:42 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-29 12:51:10 +0200 <dminuoso> I mean if you look at programs with optimizations enabled, you generally lose many (possible) stack frames also.
2024-05-29 12:54:52 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 12:59:11 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 13:03:21 +0200 <dminuoso> I have an unrelated question: I have a QQ, and modifications to the text inside the QQ are seemingly recompiled, but the resulting binary behaves as if the changes were not made. If I make some irrelevant whitespace change in the same file, the QQ modification makes it into the binary.
2024-05-29 13:03:26 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-05-29 13:03:47 +0200 <dminuoso> What could cause this? Im using cabal 3.10.2.1 together with GHC 9.2.8
2024-05-29 13:03:52 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 13:04:08 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-05-29 13:07:30 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-29 13:07:59 +0200 <haskellbridge> <maerwald> Can reproduce with 9.4.8?
2024-05-29 13:08:16 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds)
2024-05-29 13:09:37 +0200xff0x(~xff0x@2405:6580:b080:900:e74f:f72b:d715:de1d)
2024-05-29 13:11:08 +0200CiaoSen(~Jura@2a05:5800:28f:ea00:e6b9:7aff:fe80:3d03)
2024-05-29 13:15:52 +0200 <dminuoso> maerwald: I might have to spent a bit of time adjusting some bounds. Do you have a specific reason to believe this would be fixed in 9.4.8?
2024-05-29 13:16:47 +0200 <haskellbridge> <maerwald> dminuoso: no, but 9.2 wasn't a great release, so spending any time on it is a waste
2024-05-29 13:17:12 +0200 <haskellbridge> <maerwald> Also discontinued
2024-05-29 13:18:38 +0200 <haskellbridge> <maerwald> 9.4, although discontinued by upstream, still seems more robust than 9.6
2024-05-29 13:18:47 +0200 <tomsmeding> https://gitlab.haskell.org/ghc/ghc/-/wikis/GHC-status
2024-05-29 13:21:13 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 13:21:53 +0200 <dminuoso> Curious, 9.2 is yellow stable, 9.4 is green stable.
2024-05-29 13:22:54 +0200 <tomsmeding> the colours aren't explained on the page, unfortunately
2024-05-29 13:26:41 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 13:31:28 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 13:31:49 +0200danse-nr3(~danse-nr3@151.37.240.103) (Ping timeout: 268 seconds)
2024-05-29 13:31:56 +0200mreh(~matthew@host86-160-168-107.range86-160.btcentralplus.com)
2024-05-29 13:34:20 +0200 <mreh> anyone familiar with `linear` know if there's a way to enumerate the axes of the Vector types?
2024-05-29 13:34:42 +0200 <mreh> I'm sure I could write my own class to do it
2024-05-29 13:36:09 +0200 <ncf> axes?
2024-05-29 13:36:33 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-29 13:36:44 +0200 <ncf> you mean a basis? https://hackage.haskell.org/package/linear-1.23/docs/Linear-Vector.html#v:basis
2024-05-29 13:37:08 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 13:37:22 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-29 13:37:56 +0200 <mreh> ncf: sounds like it could be... thanks
2024-05-29 13:40:03 +0200_________(~nobody@user/noodly) (Ping timeout: 272 seconds)
2024-05-29 13:40:08 +0200 <mreh> It's close, I think what I need is analagous. I'd like to get the lenses for each basis.
2024-05-29 13:40:54 +0200 <ncf> then holesOf
2024-05-29 13:41:00 +0200 <mreh> And then `mapM f bases $ point`
2024-05-29 13:41:17 +0200 <ncf> holesOf traversed
2024-05-29 13:41:28 +0200_________(~nobody@user/noodly)
2024-05-29 13:41:29 +0200acidjnk(~acidjnk@p200300d6e714dc60b15ce67d57b130c2.dip0.t-ipconnect.de)
2024-05-29 13:42:04 +0200 <ncf> well that gets you partially applied lenses
2024-05-29 13:43:10 +0200 <mreh> okay, so `fmap ($ p) . holesOf $ traversed` ?
2024-05-29 13:43:40 +0200 <mreh> or something like `fmap (flip view p) . holesOf $ traversed` ?
2024-05-29 13:44:31 +0200 <ncf> what are you trying to do exactly?
2024-05-29 13:44:52 +0200 <mreh> I'm trying to find the largest bounds of axis aligned bounded boxes/cubes
2024-05-29 13:45:09 +0200 <mreh> I'm doing collision detection in 2 and 3D
2024-05-29 13:45:23 +0200fizbin_(~fizbin@user/fizbin) (Ping timeout: 268 seconds)
2024-05-29 13:45:48 +0200 <mreh> building bounded volume hierachies to speed it up, more specifically
2024-05-29 13:46:43 +0200 <mreh> apologies, my lens-fu is a bit basic
2024-05-29 13:48:22 +0200 <mreh> I'm going to naively split the AABB of a group of objects and partition them based on which side the centroid of the AABB of each object lies
2024-05-29 13:49:00 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 13:55:07 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-29 13:56:02 +0200bjork1intosh(~bjork@2600:1700:5400:c80:7f46:b856:9661:438) (Quit: "Every day, computers are making people easier to use." David Temkin)
2024-05-29 14:00:29 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds)
2024-05-29 14:05:21 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 14:07:02 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-05-29 14:07:35 +0200fliife(~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-05-29 14:09:54 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds)
2024-05-29 14:17:06 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds)
2024-05-29 14:22:13 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 14:25:38 +0200danza(~francesco@151.37.240.103)
2024-05-29 14:25:45 +0200ekurtz(~ekurtz@136.62.248.55)
2024-05-29 14:27:23 +0200ekurtz(~ekurtz@136.62.248.55) (Client Quit)
2024-05-29 14:27:55 +0200danza(~francesco@151.37.240.103) (Excess Flood)
2024-05-29 14:28:08 +0200danza(~francesco@151.37.240.103)
2024-05-29 14:28:52 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds)
2024-05-29 14:32:32 +0200ekurtz(~ekurtz@136.62.248.55)
2024-05-29 14:42:10 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 14:46:26 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 14:51:07 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 14:58:25 +0200visilii(~visilii@213.24.125.5)
2024-05-29 15:01:14 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-29 15:06:03 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 15:10:05 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
2024-05-29 15:11:24 +0200danza(~francesco@151.37.240.103) (Ping timeout: 260 seconds)
2024-05-29 15:11:53 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds)
2024-05-29 15:15:54 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 15:16:33 +0200philopsos1(~caecilius@user/philopsos)
2024-05-29 15:18:12 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:d8e3:24e:8e0:b57e)
2024-05-29 15:20:32 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-29 15:24:08 +0200fliife(~fliife@user/fliife)
2024-05-29 15:31:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-05-29 15:32:38 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
2024-05-29 15:33:41 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 15:34:32 +0200euleritian(~euleritia@dynamic-176-002-145-226.176.2.pool.telefonica.de)
2024-05-29 15:38:07 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds)
2024-05-29 15:41:44 +0200joeyadams(~joeyadams@38.48.105.67)
2024-05-29 15:42:40 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 15:46:40 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds)
2024-05-29 15:47:20 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-29 15:52:01 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 15:54:46 +0200euleritian(~euleritia@dynamic-176-002-145-226.176.2.pool.telefonica.de) (Ping timeout: 255 seconds)
2024-05-29 15:55:14 +0200euleritian(~euleritia@77.22.252.56)
2024-05-29 15:57:56 +0200ocra8(ocra8@user/ocra8) (Ping timeout: 252 seconds)
2024-05-29 15:59:59 +0200ocra8(~ocra8@user/ocra8)
2024-05-29 16:02:17 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-29 16:04:34 +0200lortabac(~lortabac@37.165.224.139)
2024-05-29 16:07:28 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-29 16:07:38 +0200koz(~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-29 16:08:02 +0200fizbin_(~fizbin@user/fizbin)
2024-05-29 16:08:39 +0200koz(~koz@121.99.240.58)
2024-05-29 16:09:51 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Client Quit)
2024-05-29 16:12:05 +0200ocra8(~ocra8@user/ocra8) (Ping timeout: 240 seconds)
2024-05-29 16:15:51 +0200fizbin_(~fizbin@user/fizbin) (Ping timeout: 268 seconds)
2024-05-29 16:30:22 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-05-29 16:30:41 +0200EvanR(~EvanR@user/evanr)
2024-05-29 16:33:43 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
2024-05-29 16:40:11 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-29 16:40:33 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 272 seconds)
2024-05-29 16:40:40 +0200rvalue(~rvalue@user/rvalue)
2024-05-29 16:49:41 +0200udo_(~udo@a89-182-201-82.net-htp.de)
2024-05-29 16:52:38 +0200udo_(~udo@a89-182-201-82.net-htp.de) (Client Quit)
2024-05-29 17:00:22 +0200lortabac(~lortabac@37.165.224.139) (Quit: WeeChat 4.2.1)
2024-05-29 17:01:29 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 268 seconds)
2024-05-29 17:02:10 +0200euleritian(~euleritia@dynamic-176-003-079-141.176.3.pool.telefonica.de)
2024-05-29 17:26:16 +0200koz(~koz@121.99.240.58) (Ping timeout: 260 seconds)
2024-05-29 17:27:03 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Read error: Connection reset by peer)
2024-05-29 17:27:23 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
2024-05-29 17:27:39 +0200koz(~koz@121.99.240.58)
2024-05-29 17:34:51 +0200Pozyomka(~pyon@user/pyon) (Quit: WeeChat 4.2.1)
2024-05-29 17:35:06 +0200Pozyomka(~pyon@user/pyon)
2024-05-29 18:00:59 +0200destituion(~destituio@2a02:2121:2c1:d808:e5d8:f8e7:d625:4745)
2024-05-29 18:02:34 +0200CiaoSen(~Jura@2a05:5800:28f:ea00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds)
2024-05-29 18:02:53 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-05-29 18:03:27 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
2024-05-29 18:03:30 +0200 <lxsameer> hey folks, could you please help me understand these two lines https://github.com/haskell/mtl/blob/master/Control/Monad/Reader/Class.hs#L58-L59 it imports only ReaderT from Reader module and then imports the entire Reader module as ReaderT again?
2024-05-29 18:04:02 +0200 <ncf> yes, qualified
2024-05-29 18:04:47 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 260 seconds)
2024-05-29 18:04:52 +0200 <lxsameer> ncf: so, what would be ReaderT at the end?
2024-05-29 18:05:34 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:d8e3:24e:8e0:b57e) (Quit: ubert)
2024-05-29 18:06:04 +0200 <ncf> a type, and also a namespace qualifier
2024-05-29 18:06:51 +0200 <ncf> there's no ambiguity in the syntax
2024-05-29 18:07:06 +0200 <Franciman> is haskell the new java?
2024-05-29 18:07:09 +0200 <lxsameer> ncf: ow, so two different things and depending on the context compiler picks the correct one
2024-05-29 18:07:17 +0200 <Franciman> in terms of adoption
2024-05-29 18:08:04 +0200 <ncf> lxsameer: this is no problem at all; you also have a syntactic distinction between the type namespace and the value namespace
2024-05-29 18:08:34 +0200 <ncf> so you have the type ReaderT, the type ReaderT.ReaderT, the constructor ReaderT.ReaderT...
2024-05-29 18:08:59 +0200 <EvanR> haskell is older than java
2024-05-29 18:09:00 +0200 <ncf> (first two are the same of course)
2024-05-29 18:09:07 +0200 <EvanR> so it's the old java
2024-05-29 18:09:28 +0200 <lxsameer> ncf: yeah, but confusing
2024-05-29 18:09:31 +0200 <Franciman> so java is the new haskell
2024-05-29 18:09:33 +0200 <Franciman> nice
2024-05-29 18:10:36 +0200 <EvanR> cue monochrome's java exception passing style to implement laziness
2024-05-29 18:10:45 +0200 <joeyadams> Java and C# took several good pieces from Haskell. But for some reason they left sum types on the shelf, so those pieces don't fit together.
2024-05-29 18:11:59 +0200 <Franciman> is haskell's Core typed?
2024-05-29 18:12:01 +0200euleritian(~euleritia@dynamic-176-003-079-141.176.3.pool.telefonica.de) (Ping timeout: 255 seconds)
2024-05-29 18:12:42 +0200 <Franciman> i want to run this term in haskell: (\x y -> (x id) (x id) y) id id
2024-05-29 18:14:24 +0200 <EvanR> core is typed!
2024-05-29 18:14:25 +0200 <ncf> > (\(x :: forall a. a -> a) y -> (x id) (x id) y) id id 42
2024-05-29 18:14:27 +0200 <lambdabot> 42
2024-05-29 18:14:47 +0200 <Franciman> ncf: are you a pro aren't you?
2024-05-29 18:16:48 +0200 <EvanR> running terms is for plebs, visceral and vulgar. As long as it type checks you should be satisfied!
2024-05-29 18:17:10 +0200 <Franciman> i need to test fully lazy sharing
2024-05-29 18:17:26 +0200 <EvanR> to see sharing you need something like ghc-viz
2024-05-29 18:17:28 +0200 <Franciman> i found a term that should take exponential time using haskell's evaluation strategy
2024-05-29 18:17:40 +0200 <Franciman> but only linear time using fully lazy sharing
2024-05-29 18:18:04 +0200 <Franciman> So for teh lulz, i'd like to test the term on ghc and then on my custom fully lazy small interpreter, so i can laugh like an idiot
2024-05-29 18:18:09 +0200 <Franciman> because i overperformed ghc
2024-05-29 18:19:42 +0200 <EvanR> never evaluate the same expression twice, cache every answer in IPFS
2024-05-29 18:19:58 +0200 <EvanR> keyed by the expression
2024-05-29 18:20:04 +0200 <Franciman> that leads to optimal evaluation?
2024-05-29 18:20:08 +0200 <Franciman> i think that is also exponential lol
2024-05-29 18:21:00 +0200 <lxsameer> is there any way to get the source location of a certain type or function in ghci?
2024-05-29 18:21:39 +0200 <EvanR> try :doc funcname
2024-05-29 18:22:44 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-05-29 18:22:45 +0200 <lxsameer> EvanR: it gives me the module name. I'm looking for a source file
2024-05-29 18:23:05 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer)
2024-05-29 18:23:27 +0200 <glguy> lxsameer: ghci will give you source locations for modules it has loaded from source
2024-05-29 18:23:33 +0200 <glguy> >>> :info parse; parse :: Text -> Either ParseError (Value Position); -- Defined at src/Config.hs:289:1
2024-05-29 18:23:53 +0200 <glguy> but it can't do that for ones loaded from a package like: >>> :i id; id :: a -> a; -- Defined in ‘ghc-internal-9.1001.0:GHC.Internal.Base’
2024-05-29 18:24:33 +0200cyphase(~cyphase@user/cyphase)
2024-05-29 18:24:44 +0200 <lxsameer> glguy: thank you
2024-05-29 18:26:17 +0200 <Franciman> ncf: what about this term? (\x y -> (x id) (x id) y) ((\x y -> (x id) (x id)) id) id 42
2024-05-29 18:26:20 +0200 <Franciman> i can't find the right type
2024-05-29 18:27:10 +0200ph88(~ph88@2a02:8109:9e26:c800:728b:dc6e:a428:192b)
2024-05-29 18:27:44 +0200 <EvanR> is this the monomorphism restriction
2024-05-29 18:27:46 +0200 <ncf> just slap a type signature on every binder. see here for a general procedure https://cstheory.stackexchange.com/a/53681
2024-05-29 18:27:54 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection)
2024-05-29 18:27:58 +0200 <ncf> note that this isn't a great way to embed the untyped lambda calculus in haskell
2024-05-29 18:28:29 +0200 <ncf> you might want some sort of HOAS thing instead
2024-05-29 18:29:10 +0200 <Franciman> hm thanks
2024-05-29 18:29:54 +0200 <ph88> any hackage admins here ?
2024-05-29 18:30:20 +0200 <Franciman> ncf: does HOAS automatically do call by need?
2024-05-29 18:33:59 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
2024-05-29 18:38:32 +0200ekurtz(~ekurtz@136.62.248.55) (Read error: Connection reset by peer)
2024-05-29 18:39:09 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-29 18:40:08 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de)
2024-05-29 18:54:28 +0200ekurtz(~ekurtz@136.62.248.55)
2024-05-29 18:58:45 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-05-29 19:14:02 +0200 <joeyadams> When using DuplicateRecordFields, is there a syntax to specify a particular record field when updating? Cases like existingRec{name = "Foo"} fail when there are other records with the same field name. (This bug was fixed very recently, but I'm using stack which wants GHC 9.4.8)
2024-05-29 19:17:41 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2024-05-29 19:18:37 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-29 19:20:41 +0200ocra8(ocra8@user/ocra8)
2024-05-29 19:31:22 +0200 <monochrom> Bless GHC2021, I can now write type sigs in instances :) (Have always wanted that for educational purpose.)
2024-05-29 19:31:24 +0200michalz(~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-29 19:31:44 +0200michalz(~michalz@185.246.207.221)
2024-05-29 19:31:47 +0200laker(~laker78@user/laker78) (Read error: Connection reset by peer)
2024-05-29 19:34:49 +0200 <joeyadams> In VS Code with the Haskell extension (Haskell Language Server), instance type signatures appear automatically as code lenses. Bless whoever implemented that as well.
2024-05-29 19:37:20 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-05-29 19:38:43 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-29 19:42:09 +0200Guest|20(~Guest|20@104.28.64.12)
2024-05-29 19:42:12 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-05-29 19:43:48 +0200euphores(~SASL_euph@user/euphores)
2024-05-29 19:47:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 19:54:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2024-05-29 19:55:21 +0200 <Guest|20> Hello. I am new to Haskell frontend development. I made a toy project using miso and jsaddle-warp. For development it's nice to not compile to js but use ghcid for reloading. Since jsaddle-warp delivers hardcoded html I wonder if there is a way to "inject" a stylesheet?
2024-05-29 20:01:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 20:03:35 +0200Square2(~Square4@user/square)
2024-05-29 20:04:45 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-05-29 20:05:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2024-05-29 20:07:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 20:10:58 +0200 <lxsameer> monochrom: you teach haskell right?
2024-05-29 20:12:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-29 20:15:25 +0200 <[exa]> Guest|20: at absolutely worst you can modify the jsaddle-warp to deliver a modified html that includes your custom stylesheet. But I guess they'll have a custom function for that
2024-05-29 20:15:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 20:16:30 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2024-05-29 20:24:26 +0200 <ph88> joeyadams, this is what you want to use https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/overloaded_record_dot.html
2024-05-29 20:25:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-29 20:29:39 +0200 <Guest|20> exa, that is my temporary solution. Unfortunately the only thing the jsaddle-warp api allows, is to append custom javascript. But maybe I am missing something and someone can share a proper way to do this.
2024-05-29 20:40:01 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz)
2024-05-29 20:44:54 +0200 <joeyadams> phh8: Thanks. I'm using that, but I believe it only handles get right now. The GHC devs are still working on set; see https://gitlab.haskell.org/ghc/ghc/-/wikis/records/overloaded-record-fields
2024-05-29 20:46:17 +0200 <joeyadams> I got around my problem by adding a helper method with a type signature, and disabling a warning. I also had to make sure the field selector was in scope.
2024-05-29 20:53:56 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-05-29 20:58:01 +0200euleritian(~euleritia@dynamic-176-006-023-147.176.6.pool.telefonica.de)
2024-05-29 21:02:40 +0200euleritian(~euleritia@dynamic-176-006-023-147.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-29 21:02:57 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-29 21:11:14 +0200son0p(~ff@186.114.53.36) (Ping timeout: 268 seconds)
2024-05-29 21:15:17 +0200visilii(~visilii@213.24.125.5) (Ping timeout: 240 seconds)
2024-05-29 21:15:27 +0200visilii_(~visilii@213.24.125.2)
2024-05-29 21:22:48 +0200Lycurgus(~georg@user/Lycurgus)
2024-05-29 21:24:46 +0200hgolden_(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection)
2024-05-29 21:31:42 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9)
2024-05-29 21:34:33 +0200Guest|20(~Guest|20@104.28.64.12) (Quit: Connection closed)
2024-05-29 21:37:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 21:43:59 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-29 21:48:47 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 260 seconds)
2024-05-29 21:50:23 +0200Rodney_(~Rodney@176.254.244.83)
2024-05-29 22:02:47 +0200tomboy64(~tomboy64@user/tomboy64)
2024-05-29 22:11:24 +0200shailangsa(~shailangs@host86-158-128-238.range86-158.btcentralplus.com) (Ping timeout: 255 seconds)
2024-05-29 22:14:49 +0200danza(~francesco@151.35.244.44)
2024-05-29 22:14:57 +0200barak(~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 272 seconds)
2024-05-29 22:16:10 +0200barak(~barak@2a0d:6fc2:68c1:7200:e61a:851b:d7b:27e8)
2024-05-29 22:20:18 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds)
2024-05-29 22:27:16 +0200killy(~killy@staticline-31-183-186-9.toya.net.pl)
2024-05-29 22:30:49 +0200mreh(~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Quit: Lost terminal)
2024-05-29 22:32:16 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-29 22:33:15 +0200danza(~francesco@151.35.244.44) (Ping timeout: 268 seconds)
2024-05-29 22:36:50 +0200statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2024-05-29 22:37:05 +0200statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
2024-05-29 22:37:14 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288)
2024-05-29 22:40:44 +0200pieguy128(~pieguy128@bas1-quebec14-67-70-101-170.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-29 22:41:06 +0200pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-170.dsl.bell.ca)
2024-05-29 22:41:59 +0200Xe(~cadey@perl/impostor/xe) (Ping timeout: 260 seconds)
2024-05-29 22:42:42 +0200endojelly(~eselber_p@user/endojelly) (Quit: Bye)
2024-05-29 22:42:56 +0200Xe(~cadey@bras-base-orlnon0609w-grc-23-142-114-185-132.dsl.bell.ca)
2024-05-29 22:43:04 +0200Xe(~cadey@bras-base-orlnon0609w-grc-23-142-114-185-132.dsl.bell.ca) (Client Quit)
2024-05-29 22:43:19 +0200Xe(~cadey@bras-base-orlnon0609w-grc-23-142-114-185-132.dsl.bell.ca)
2024-05-29 22:43:29 +0200Xe(~cadey@bras-base-orlnon0609w-grc-23-142-114-185-132.dsl.bell.ca) (Changing host)
2024-05-29 22:43:29 +0200Xe(~cadey@perl/impostor/xe)
2024-05-29 22:49:29 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-05-29 22:53:56 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-05-29 22:54:25 +0200killy(~killy@staticline-31-183-186-9.toya.net.pl) (Ping timeout: 256 seconds)
2024-05-29 23:09:42 +0200shailangsa(~shailangs@host86-186-127-241.range86-186.btcentralplus.com)
2024-05-29 23:10:47 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-29 23:11:59 +0200Logio(em@kapsi.fi) (Ping timeout: 256 seconds)
2024-05-29 23:12:04 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds)
2024-05-29 23:12:09 +0200ent(entgod@kapsi.fi) (Ping timeout: 255 seconds)
2024-05-29 23:12:50 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-29 23:13:17 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds)
2024-05-29 23:13:41 +0200titibandit(~user@user/titibandit) (Ping timeout: 240 seconds)
2024-05-29 23:14:19 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-29 23:14:55 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-29 23:17:08 +0200Logio(em@kapsi.fi)
2024-05-29 23:17:17 +0200ent(entgod@kapsi.fi)
2024-05-29 23:19:30 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-29 23:20:09 +0200son0p(~ff@191.104.16.31)
2024-05-29 23:20:15 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-29 23:22:23 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-29 23:25:01 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-29 23:25:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-29 23:26:55 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-29 23:27:33 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-29 23:33:53 +0200michalz(~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-29 23:36:36 +0200joeyadams(~joeyadams@38.48.105.67) (Quit: Leaving)
2024-05-29 23:38:00 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds)
2024-05-29 23:45:06 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
2024-05-29 23:52:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)