| 2024-05-29 00:01:21 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-29 00:01:34 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2024-05-29 00:02:20 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-29 00:06:58 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 00:09:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-29 00:11:34 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-29 00:13:43 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-29 00:15:55 +0200 | fliife | (~fliife@user/fliife) |
| 2024-05-29 00:17:03 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Ping timeout: 260 seconds) |
| 2024-05-29 00:17:23 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-05-29 00:21:23 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Remote host closed the connection) |
| 2024-05-29 00:21:50 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-05-29 00:24:26 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 00:25:47 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2024-05-29 00:26:25 +0200 | destituion | (~destituio@2a02:2121:6c3:b5b4:4960:5aad:77da:7e14) (Ping timeout: 255 seconds) |
| 2024-05-29 00:29:36 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-05-29 00:29:52 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-29 00:30:31 +0200 | aforemny_ | (~aforemny@2001:9e8:6cdb:9200:aef5:3682:ecf5:aa1a) |
| 2024-05-29 00:30:35 +0200 | aforemny | (~aforemny@i59F516EF.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-29 00:31:46 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-29 00:34:43 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 00:39:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-29 00:43:48 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-05-29 00:44:32 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: Ping timeout (120 seconds)) |
| 2024-05-29 00:44:52 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-29 00:52:36 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 00:57:38 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-29 01:01:36 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 01:06:23 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-29 01:10:46 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 01:17:38 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2024-05-29 01:20:16 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-29 01:24:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 01:31:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-29 01:32:09 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-29 01:32:48 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-05-29 01:33:59 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 01:35:52 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-05-29 01:39:57 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-29 01:41:46 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-29 01:42:54 +0200 | agent314_ | (~quassel@69.4.234.100) |
| 2024-05-29 01:44:08 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 01:45:21 +0200 | agent314_ | agent314 |
| 2024-05-29 01:48:02 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:7700:f799:bd8c:a20c:4c76) |
| 2024-05-29 01:48:19 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-29 01:49:27 +0200 | aforemny_ | (~aforemny@2001:9e8:6cdb:9200:aef5:3682:ecf5:aa1a) (Ping timeout: 260 seconds) |
| 2024-05-29 01:53:14 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 01:58:04 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-29 02:02:23 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 02:03:00 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-05-29 02:06:53 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-29 02:10:13 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 02:11:39 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-05-29 02:11:39 +0200 | ChanServ | +v haskellbridge |
| 2024-05-29 02:12:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-29 02:14:00 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-29 02:14:59 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 02:17:25 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-29 02:20:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-05-29 02:21:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-29 02:23:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 02:25:13 +0200 | Guest|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 +0200 | fizbin_ | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 02:32:09 +0200 | Guest|15 | (~Guest|15@138.199.60.33) (Quit: Connection closed) |
| 2024-05-29 02:37:11 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 02:43:41 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 240 seconds) |
| 2024-05-29 02:45:40 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-29 02:48:37 +0200 | <EvanR> | \o/ |
| 2024-05-29 02:49:15 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 02:54:11 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-29 02:58:29 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 02:59:11 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-29 02:59:37 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-29 02:59:52 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-05-29 02:59:52 +0200 | ChanServ | +v haskellbridge |
| 2024-05-29 03:00:29 +0200 | sudden | (~cat@user/sudden) |
| 2024-05-29 03:02:00 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 260 seconds) |
| 2024-05-29 03:02:56 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-29 03:03:32 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 252 seconds) |
| 2024-05-29 03:07:26 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-05-29 03:07:32 +0200 | <haskellbridge> | <maerwald> Yo |
| 2024-05-29 03:07:44 +0200 | geekosaur | waves |
| 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 +0200 | connrs | (~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 +0200 | BigKozlowski | (~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 +0200 | BigKozlowski | (~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 +0200 | Unicorn_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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 03:30:24 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-29 03:32:32 +0200 | Leary | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-05-29 03:32:52 +0200 | Leary | (~Leary@user/Leary/x-0910699) |
| 2024-05-29 03:34:34 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 03:35:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5bb0:16d5:561c:69e5) (Ping timeout: 272 seconds) |
| 2024-05-29 03:40:11 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 03:43:51 +0200 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-05-29 03:44:45 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-05-29 03:45:35 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 264 seconds) |
| 2024-05-29 03:45:35 +0200 | erisco_ | erisco |
| 2024-05-29 03:49:52 +0200 | phma | (phma@2001:5b0:210f:6488:3838:22e1:4b7c:272e) (Read error: Connection reset by peer) |
| 2024-05-29 03:50:15 +0200 | phma | (~phma@host-67-44-208-40.hnremote.net) |
| 2024-05-29 03:52:35 +0200 | BigKozlowski | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-29 04:02:27 +0200 | fizbin_ | (~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 +0200 | waleee | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 04:12:21 +0200 | Guest|15 | (~Guest|15@138.199.60.33) |
| 2024-05-29 04:13:58 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-05-29 04:14:48 +0200 | machinedgod | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-29 04:21:50 +0200 | BigKozlowski | (~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 +0200 | Guest|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 +0200 | xff0x | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 04:28:29 +0200 | Square2 | (~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 +0200 | BigKozlowski | (~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 +0200 | haskellbridge | sm 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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 04:36:40 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2024-05-29 04:37:17 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Quit: Konversation terminated!) |
| 2024-05-29 04:37:42 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-05-29 04:40:23 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 04:43:31 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-29 04:44:44 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-29 04:46:21 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-05-29 04:49:29 +0200 | BigKozlowski | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-29 04:55:39 +0200 | td_ | (~td@i53870912.versanet.de) (Ping timeout: 260 seconds) |
| 2024-05-29 04:57:29 +0200 | td_ | (~td@i5387092A.versanet.de) |
| 2024-05-29 04:58:29 +0200 | BigKozlowski | (~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 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-29 05:00:15 +0200 | titibandit | (~user@user/titibandit) |
| 2024-05-29 05:01:36 +0200 | <geekosaur> | went over 1500 at one point, iirc |
| 2024-05-29 05:02:26 +0200 | bjork1intosh | (~bjork@2600:1700:5400:c80:8572:7b8e:3c5f:b70) (Remote host closed the connection) |
| 2024-05-29 05:02:43 +0200 | bjork1intosh | (~bjork@2600:1700:5400:c80:7f46:b856:9661:438) |
| 2024-05-29 05:03:10 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-29 05:07:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-29 05:12:07 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 05:17:59 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 05:18:49 +0200 | phma | (~phma@host-67-44-208-40.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-29 05:19:42 +0200 | phma | (phma@2001:5b0:211c:60e8:6a1b:f7bb:b842:8218) |
| 2024-05-29 05:24:36 +0200 | aforemny_ | (~aforemny@i59F516FB.versanet.de) |
| 2024-05-29 05:25:51 +0200 | puke | (~puke@user/puke) |
| 2024-05-29 05:25:53 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:7700:f799:bd8c:a20c:4c76) (Ping timeout: 268 seconds) |
| 2024-05-29 05:26:53 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2024-05-29 05:28:19 +0200 | puke | (~puke@user/puke) |
| 2024-05-29 05:39:42 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 05:44:08 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-29 05:49:10 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-05-29 05:51:41 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 05:53:13 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-29 05:54:58 +0200 | agent314 | (~quassel@69.4.234.100) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-29 05:56:23 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 05:58:40 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 06:03:30 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-29 06:06:37 +0200 | califax_ | (~califax@user/califx) |
| 2024-05-29 06:06:42 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-05-29 06:07:39 +0200 | califax_ | califax |
| 2024-05-29 06:08:03 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-05-29 06:20:48 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-05-29 06:22:19 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 06:23:21 +0200 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-29 06:26:08 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:5344:aa07:6f5d:3db7) |
| 2024-05-29 06:29:23 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-29 06:32:19 +0200 | Buggys- | (Buggys@shelltalk.net) (Changing host) |
| 2024-05-29 06:32:19 +0200 | Buggys- | (Buggys@user/Buggys-) |
| 2024-05-29 06:34:01 +0200 | <Axman6> | it was often larger than #python |
| 2024-05-29 06:36:03 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-05-29 06:36:13 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-29 06:36:30 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 06:38:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 06:42:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-29 06:43:38 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-05-29 06:46:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 06:50:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-05-29 06:51:18 +0200 | slack1256 | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Remote host closed the connection) |
| 2024-05-29 06:54:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 06:54:59 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-05-29 06:56:03 +0200 | foul_owl | (~kerry@174-21-146-130.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 2024-05-29 06:58:29 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-05-29 07:00:48 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 07:05:47 +0200 | BigKozlowski | (~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 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-05-29 07:10:01 +0200 | foul_owl | (~kerry@185.216.231.181) |
| 2024-05-29 07:11:21 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-29 07:14:37 +0200 | zetef | (~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 +0200 | rodney____ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-05-29 07:24:05 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-05-29 07:29:52 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-29 07:33:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-29 07:36:05 +0200 | euleritian | (~euleritia@dynamic-176-002-146-001.176.2.pool.telefonica.de) |
| 2024-05-29 07:37:46 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 07:43:05 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-29 07:48:34 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 07:53:12 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-29 07:54:53 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-05-29 07:56:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2024-05-29 07:57:53 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 07:58:43 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-29 08:00:54 +0200 | ak-1 | (~ak-1@149.50.189.92) |
| 2024-05-29 08:02:23 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 08:06:28 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 08:11:09 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-29 08:14:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-29 08:15:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 08:15:49 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 08:20:32 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-29 08:24:47 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 08:28:20 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-29 08:30:04 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-29 08:35:34 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
| 2024-05-29 08:45:35 +0200 | euleritian | (~euleritia@dynamic-176-002-146-001.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-29 08:45:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-29 08:47:32 +0200 | son0p | (~ff@181.32.150.11) (Ping timeout: 268 seconds) |
| 2024-05-29 08:48:01 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-05-29 08:50:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-29 08:50:12 +0200 | danza | (~francesco@151.57.241.101) |
| 2024-05-29 08:53:33 +0200 | zetef | (~quassel@95.77.17.251) (Ping timeout: 255 seconds) |
| 2024-05-29 08:53:33 +0200 | ak-1_ | (~ak-1@149.50.189.92) |
| 2024-05-29 08:55:51 +0200 | ak-1 | (~ak-1@149.50.189.92) (Quit: Client closed) |
| 2024-05-29 08:57:33 +0200 | ak-1_ | (~ak-1@149.50.189.92) (Client Quit) |
| 2024-05-29 08:57:49 +0200 | ak-1 | (~ak-1@149.50.189.92) |
| 2024-05-29 09:07:19 +0200 | zetef | (~quassel@95.77.17.251) |
| 2024-05-29 09:07:47 +0200 | danza | (~francesco@151.57.241.101) (Ping timeout: 264 seconds) |
| 2024-05-29 09:10:15 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 09:12:17 +0200 | ak-1 | (~ak-1@149.50.189.92) (Quit: ak-1) |
| 2024-05-29 09:12:33 +0200 | ak-1 | (~ak-1@149.50.189.92) |
| 2024-05-29 09:15:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-29 09:15:35 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 09:15:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-05-29 09:19:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 09:23:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-29 09:24:00 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:f047:2251:133c:1d1c) (Ping timeout: 256 seconds) |
| 2024-05-29 09:27:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 09:33:13 +0200 | joeyadams | (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 2024-05-29 09:34:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-29 09:37:12 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 09:41:56 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:c84f:b43d:f9d2:fde4) |
| 2024-05-29 09:42:52 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-29 09:48:40 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2024-05-29 09:48:40 +0200 | Feuermagier | Guest5635 |
| 2024-05-29 09:48:40 +0200 | Guest5635 | (~Feuermagi@user/feuermagier) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2024-05-29 09:48:40 +0200 | Feuermagier_ | Feuermagier |
| 2024-05-29 09:52:09 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 09:56:07 +0200 | zetef | (~quassel@95.77.17.251) (Ping timeout: 255 seconds) |
| 2024-05-29 09:57:27 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-29 09:57:40 +0200 | machinedgod | (~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 +0200 | BigKozlowski | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-29 10:11:24 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 10:11:30 +0200 | zetef | (~quassel@95.77.17.251) |
| 2024-05-29 10:12:53 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-29 10:16:20 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-29 10:19:16 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-05-29 10:20:26 +0200 | BigKozlowski | (~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 +0200 | BigKozlowski | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 10:30:17 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-29 10:31:57 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-05-29 10:32:10 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-05-29 10:34:47 +0200 | BigKozlowski | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 10:41:25 +0200 | danse-nr3 | (~danse-nr3@151.57.241.101) |
| 2024-05-29 10:44:23 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 10:46:47 +0200 | danse-nr3 | (~danse-nr3@151.57.241.101) (Ping timeout: 264 seconds) |
| 2024-05-29 10:47:16 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 10:47:36 +0200 | chele | (~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 +0200 | danse-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 +0200 | son0p | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-29 11:07:26 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-29 11:07:58 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-29 11:08:50 +0200 | zetef | (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 2024-05-29 11:10:42 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-29 11:13:57 +0200 | tromp | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 11:26:56 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-29 11:28:26 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-29 11:31:09 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 11:35:34 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-29 11:36:05 +0200 | paddymahoney | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 11:40:24 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-29 11:44:23 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-29 11:48:34 +0200 | BigKozlowski | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 264 seconds) |
| 2024-05-29 11:54:34 +0200 | BigKozlowski | (~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 +0200 | kuribas | (~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 +0200 | BigKozlowski | (~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 +0200 | BigKozlowski | (~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 +0200 | lortabac | (~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 +0200 | BigKozlowski | (~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 +0200 | xff0x | (~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 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Read error: Connection reset by peer) |
| 2024-05-29 12:16:10 +0200 | xdminsy | (~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 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-29 12:21:15 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 12:26:44 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-29 12:33:15 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-29 12:34:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-29 12:34:58 +0200 | acidjnk | (~acidjnk@p200300d6e714dc80006b1211edb0087f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-05-29 12:39:30 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 12:45:46 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-29 12:48:04 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Quit: WeeChat 3.8) |
| 2024-05-29 12:48:48 +0200 | danse-nr3 | (~danse-nr3@151.57.241.101) (Read error: Connection reset by peer) |
| 2024-05-29 12:49:00 +0200 | danse-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 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-05-29 12:50:42 +0200 | sawilagar | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 12:59:11 +0200 | BigKozlowski | (~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 +0200 | chexum | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 13:04:08 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-05-29 13:07:30 +0200 | lortabac | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-29 13:09:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e74f:f72b:d715:de1d) |
| 2024-05-29 13:11:08 +0200 | CiaoSen | (~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 +0200 | BigKozlowski | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-29 13:31:28 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 13:31:49 +0200 | danse-nr3 | (~danse-nr3@151.37.240.103) (Ping timeout: 268 seconds) |
| 2024-05-29 13:31:56 +0200 | mreh | (~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 +0200 | chiselfuse | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-29 13:37:22 +0200 | chiselfuse | (~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 +0200 | acidjnk | (~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 +0200 | fizbin_ | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 13:55:07 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-29 13:56:02 +0200 | bjork1intosh | (~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 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-29 14:05:21 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 14:07:02 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-05-29 14:07:35 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-29 14:09:54 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-29 14:17:06 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-05-29 14:22:13 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 14:25:38 +0200 | danza | (~francesco@151.37.240.103) |
| 2024-05-29 14:25:45 +0200 | ekurtz | (~ekurtz@136.62.248.55) |
| 2024-05-29 14:27:23 +0200 | ekurtz | (~ekurtz@136.62.248.55) (Client Quit) |
| 2024-05-29 14:27:55 +0200 | danza | (~francesco@151.37.240.103) (Excess Flood) |
| 2024-05-29 14:28:08 +0200 | danza | (~francesco@151.37.240.103) |
| 2024-05-29 14:28:52 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds) |
| 2024-05-29 14:32:32 +0200 | ekurtz | (~ekurtz@136.62.248.55) |
| 2024-05-29 14:42:10 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 14:46:26 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-29 14:51:07 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 14:58:25 +0200 | visilii | (~visilii@213.24.125.5) |
| 2024-05-29 15:01:14 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-29 15:06:03 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 15:10:05 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2024-05-29 15:11:24 +0200 | danza | (~francesco@151.37.240.103) (Ping timeout: 260 seconds) |
| 2024-05-29 15:11:53 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 272 seconds) |
| 2024-05-29 15:15:54 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 15:16:33 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-29 15:18:12 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:d8e3:24e:8e0:b57e) |
| 2024-05-29 15:20:32 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds) |
| 2024-05-29 15:24:08 +0200 | fliife | (~fliife@user/fliife) |
| 2024-05-29 15:31:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-05-29 15:32:38 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-29 15:33:41 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 15:34:32 +0200 | euleritian | (~euleritia@dynamic-176-002-145-226.176.2.pool.telefonica.de) |
| 2024-05-29 15:38:07 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 255 seconds) |
| 2024-05-29 15:41:44 +0200 | joeyadams | (~joeyadams@38.48.105.67) |
| 2024-05-29 15:42:40 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 15:46:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-05-29 15:47:20 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds) |
| 2024-05-29 15:52:01 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 15:54:46 +0200 | euleritian | (~euleritia@dynamic-176-002-145-226.176.2.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-05-29 15:55:14 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-29 15:57:56 +0200 | ocra8 | (ocra8@user/ocra8) (Ping timeout: 252 seconds) |
| 2024-05-29 15:59:59 +0200 | ocra8 | (~ocra8@user/ocra8) |
| 2024-05-29 16:02:17 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds) |
| 2024-05-29 16:04:34 +0200 | lortabac | (~lortabac@37.165.224.139) |
| 2024-05-29 16:07:28 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) |
| 2024-05-29 16:07:38 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-29 16:08:02 +0200 | fizbin_ | (~fizbin@user/fizbin) |
| 2024-05-29 16:08:39 +0200 | koz | (~koz@121.99.240.58) |
| 2024-05-29 16:09:51 +0200 | BigKozlowski | (~BigKozlow@194.5.60.133) (Client Quit) |
| 2024-05-29 16:12:05 +0200 | ocra8 | (~ocra8@user/ocra8) (Ping timeout: 240 seconds) |
| 2024-05-29 16:15:51 +0200 | fizbin_ | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
| 2024-05-29 16:30:22 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-05-29 16:30:41 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-05-29 16:33:43 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-05-29 16:40:11 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-29 16:40:33 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
| 2024-05-29 16:40:40 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-29 16:49:41 +0200 | udo_ | (~udo@a89-182-201-82.net-htp.de) |
| 2024-05-29 16:52:38 +0200 | udo_ | (~udo@a89-182-201-82.net-htp.de) (Client Quit) |
| 2024-05-29 17:00:22 +0200 | lortabac | (~lortabac@37.165.224.139) (Quit: WeeChat 4.2.1) |
| 2024-05-29 17:01:29 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-05-29 17:02:10 +0200 | euleritian | (~euleritia@dynamic-176-003-079-141.176.3.pool.telefonica.de) |
| 2024-05-29 17:26:16 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 260 seconds) |
| 2024-05-29 17:27:03 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Read error: Connection reset by peer) |
| 2024-05-29 17:27:23 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-05-29 17:27:39 +0200 | koz | (~koz@121.99.240.58) |
| 2024-05-29 17:34:51 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.2.1) |
| 2024-05-29 17:35:06 +0200 | Pozyomka | (~pyon@user/pyon) |
| 2024-05-29 18:00:59 +0200 | destituion | (~destituio@2a02:2121:2c1:d808:e5d8:f8e7:d625:4745) |
| 2024-05-29 18:02:34 +0200 | CiaoSen | (~Jura@2a05:5800:28f:ea00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-05-29 18:02:53 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-05-29 18:03:27 +0200 | waleee | (~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 +0200 | cyphase | (~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 +0200 | ubert | (~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 +0200 | euleritian | (~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 +0200 | econo_ | (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 +0200 | kuribas | (~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 +0200 | cyphase | (~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 +0200 | ph88 | (~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 +0200 | segfaultfizzbuzz | (~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 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-05-29 18:38:32 +0200 | ekurtz | (~ekurtz@136.62.248.55) (Read error: Connection reset by peer) |
| 2024-05-29 18:39:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-29 18:40:08 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 2024-05-29 18:54:28 +0200 | ekurtz | (~ekurtz@136.62.248.55) |
| 2024-05-29 18:58:45 +0200 | causal | (~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 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-29 19:18:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-29 19:20:41 +0200 | ocra8 | (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 +0200 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-29 19:31:44 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-05-29 19:31:47 +0200 | laker | (~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 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-29 19:38:43 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-29 19:42:09 +0200 | Guest|20 | (~Guest|20@104.28.64.12) |
| 2024-05-29 19:42:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-29 19:43:48 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-29 19:47:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 19:54:59 +0200 | peterbecich | (~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 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 20:03:35 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-29 20:04:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-29 20:05:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-05-29 20:07:31 +0200 | peterbecich | (~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 +0200 | peterbecich | (~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 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 20:16:30 +0200 | remedan | (~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 +0200 | peterbecich | (~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 +0200 | remedan | (~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 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-05-29 20:58:01 +0200 | euleritian | (~euleritia@dynamic-176-006-023-147.176.6.pool.telefonica.de) |
| 2024-05-29 21:02:40 +0200 | euleritian | (~euleritia@dynamic-176-006-023-147.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-29 21:02:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-29 21:11:14 +0200 | son0p | (~ff@186.114.53.36) (Ping timeout: 268 seconds) |
| 2024-05-29 21:15:17 +0200 | visilii | (~visilii@213.24.125.5) (Ping timeout: 240 seconds) |
| 2024-05-29 21:15:27 +0200 | visilii_ | (~visilii@213.24.125.2) |
| 2024-05-29 21:22:48 +0200 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-05-29 21:24:46 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection) |
| 2024-05-29 21:31:42 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-05-29 21:34:33 +0200 | Guest|20 | (~Guest|20@104.28.64.12) (Quit: Connection closed) |
| 2024-05-29 21:37:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-29 21:43:59 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-29 21:48:47 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 2024-05-29 21:50:23 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-05-29 22:02:47 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-05-29 22:11:24 +0200 | shailangsa | (~shailangs@host86-158-128-238.range86-158.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2024-05-29 22:14:49 +0200 | danza | (~francesco@151.35.244.44) |
| 2024-05-29 22:14:57 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 272 seconds) |
| 2024-05-29 22:16:10 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:e61a:851b:d7b:27e8) |
| 2024-05-29 22:20:18 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-05-29 22:27:16 +0200 | killy | (~killy@staticline-31-183-186-9.toya.net.pl) |
| 2024-05-29 22:30:49 +0200 | mreh | (~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Quit: Lost terminal) |
| 2024-05-29 22:32:16 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-29 22:33:15 +0200 | danza | (~francesco@151.35.244.44) (Ping timeout: 268 seconds) |
| 2024-05-29 22:36:50 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2024-05-29 22:37:05 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2024-05-29 22:37:14 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-05-29 22:40:44 +0200 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-101-170.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-29 22:41:06 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-170.dsl.bell.ca) |
| 2024-05-29 22:41:59 +0200 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 260 seconds) |
| 2024-05-29 22:42:42 +0200 | endojelly | (~eselber_p@user/endojelly) (Quit: Bye) |
| 2024-05-29 22:42:56 +0200 | Xe | (~cadey@bras-base-orlnon0609w-grc-23-142-114-185-132.dsl.bell.ca) |
| 2024-05-29 22:43:04 +0200 | Xe | (~cadey@bras-base-orlnon0609w-grc-23-142-114-185-132.dsl.bell.ca) (Client Quit) |
| 2024-05-29 22:43:19 +0200 | Xe | (~cadey@bras-base-orlnon0609w-grc-23-142-114-185-132.dsl.bell.ca) |
| 2024-05-29 22:43:29 +0200 | Xe | (~cadey@bras-base-orlnon0609w-grc-23-142-114-185-132.dsl.bell.ca) (Changing host) |
| 2024-05-29 22:43:29 +0200 | Xe | (~cadey@perl/impostor/xe) |
| 2024-05-29 22:49:29 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-29 22:53:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-29 22:54:25 +0200 | killy | (~killy@staticline-31-183-186-9.toya.net.pl) (Ping timeout: 256 seconds) |