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