2025-09-03 00:00:55 +0200 | trickard_ | trickard |
2025-09-03 00:01:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-03 00:04:25 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-09-03 00:05:12 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-09-03 00:06:41 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
2025-09-03 00:06:51 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-09-03 00:08:34 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
2025-09-03 00:09:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-03 00:10:39 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) rekahsoft |
2025-09-03 00:16:34 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.0) |
2025-09-03 00:19:08 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
2025-09-03 00:19:16 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2025-09-03 00:21:28 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) |
2025-09-03 00:21:28 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8444:30d3:95fc:6db) (Changing host) |
2025-09-03 00:21:28 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 00:28:34 +0200 | Lycurgus | ColinRobinson |
2025-09-03 00:29:03 +0200 | ColinRobinson | (~juan@user/Lycurgus) (Changing host) |
2025-09-03 00:29:03 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-09-03 00:29:12 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-09-03 00:29:57 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-03 00:33:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-09-03 00:34:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-03 00:36:39 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-09-03 00:37:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-09-03 00:41:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-09-03 00:42:47 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-09-03 00:46:37 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-03 00:47:03 +0200 | <EvanR> | this centralized chat thing is so unreliable |
2025-09-03 00:47:03 +0200 | Vq | (~vq@81-226-147-244-no600.tbcn.telia.com) (Ping timeout: 260 seconds) |
2025-09-03 00:47:25 +0200 | <EvanR> | somebody should invent a distributed set of relays which routes internet chat |
2025-09-03 00:49:56 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 244 seconds) |
2025-09-03 00:55:17 +0200 | <TMA> | EvanR: there are some such routing schemes. I guess they are even more unreliable |
2025-09-03 00:56:24 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
2025-09-03 00:56:44 +0200 | pierrot | (~pi@user/pierrot) pierrot |
2025-09-03 00:56:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-09-03 00:57:35 +0200 | <EvanR> | you're right, would never work |
2025-09-03 00:59:26 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-03 01:05:03 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-03 01:10:05 +0200 | mange | (~mange@user/mange) mange |
2025-09-03 01:28:24 +0200 | jespada | (~jespada@2800:a4:2226:6800:3911:7f22:43ac:8faa) (Ping timeout: 248 seconds) |
2025-09-03 01:31:30 +0200 | jespada | (~jespada@2800:a4:2234:6500:1986:c97a:a8b1:bed2) jespada |
2025-09-03 01:45:46 +0200 | <monochrom> | Everything is unreliable. >:) |
2025-09-03 01:46:16 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-09-03 01:49:46 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 258 seconds) |
2025-09-03 01:51:20 +0200 | mange | (~mange@user/mange) (Ping timeout: 248 seconds) |
2025-09-03 01:53:34 +0200 | sprotte24 | (~sprotte24@p200300d16f0e05007d73d2bb3e42b132.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-09-03 01:55:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-09-03 01:57:03 +0200 | sindu | (~sindu@176.75.108.200) (Ping timeout: 258 seconds) |
2025-09-03 01:57:22 +0200 | Nosrep | (~jimothy@user/nosrep) Nosrep |
2025-09-03 02:03:54 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2025-09-03 02:14:07 +0200 | Square3 | (~Square4@user/square) Square |
2025-09-03 02:17:28 +0200 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
2025-09-03 02:19:49 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-09-03 02:20:06 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 02:22:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-09-03 02:27:37 +0200 | otto_s | (~user@p4ff27345.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-09-03 02:28:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
2025-09-03 02:29:04 +0200 | otto_s | (~user@p4ff278ce.dip0.t-ipconnect.de) |
2025-09-03 02:33:07 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
2025-09-03 02:34:11 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-09-03 02:39:07 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
2025-09-03 02:42:03 +0200 | emergence | (~emergence@vm0.max-p.me) (Ping timeout: 248 seconds) |
2025-09-03 02:42:43 +0200 | emergence | (thelounge@vm0.max-p.me) emergence |
2025-09-03 02:46:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9380:4ceb:f05e:7729) (Ping timeout: 265 seconds) |
2025-09-03 02:47:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-09-03 02:48:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-09-03 02:50:19 +0200 | emergence | (thelounge@vm0.max-p.me) (Quit: emergence) |
2025-09-03 02:50:41 +0200 | emergence | (emergence@vm0.max-p.me) emergence |
2025-09-03 02:58:29 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-09-03 02:58:29 +0200 | jmcantrell_ | jmcantrell |
2025-09-03 02:59:47 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
2025-09-03 02:59:47 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
2025-09-03 02:59:47 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 03:07:31 +0200 | mange | (~mange@user/mange) mange |
2025-09-03 03:14:22 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
2025-09-03 03:15:19 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-09-03 03:18:23 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 03:19:52 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
2025-09-03 03:26:19 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-09-03 03:33:01 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 03:40:33 +0200 | trickard_ | trickard |
2025-09-03 03:41:18 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-03 03:47:39 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-03 03:59:52 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
2025-09-03 04:00:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-09-03 04:03:10 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
2025-09-03 04:08:27 +0200 | anselmschueler | (~Thunderbi@user/schuelermine) (Ping timeout: 248 seconds) |
2025-09-03 04:08:51 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-03 04:17:39 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-03 04:17:53 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-03 04:24:06 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 04:31:02 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2025-09-03 04:31:33 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-09-03 04:34:47 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
2025-09-03 04:40:02 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-09-03 04:40:30 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-09-03 04:43:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
2025-09-03 04:43:04 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
2025-09-03 04:54:42 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 04:56:17 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
2025-09-03 04:56:36 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
2025-09-03 05:03:11 +0200 | twb | (~twb@user/twb) (Read error: Connection reset by peer) |
2025-09-03 05:03:46 +0200 | twb | (~twb@user/twb) twb |
2025-09-03 05:22:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 05:25:42 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd5:4200:5433:65c2:adc9:91af) aforemny |
2025-09-03 05:26:41 +0200 | aforemny | (~aforemny@i59F4C7D6.versanet.de) (Ping timeout: 248 seconds) |
2025-09-03 05:32:51 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-03 05:36:44 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 05:43:20 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 05:48:30 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 05:48:30 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-09-03 05:49:14 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-09-03 05:50:55 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
2025-09-03 05:50:55 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
2025-09-03 05:50:55 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 05:53:40 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 06:01:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2025-09-03 06:12:21 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 258 seconds) |
2025-09-03 06:12:44 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
2025-09-03 06:14:39 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
2025-09-03 06:14:53 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 06:18:07 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-09-03 06:19:39 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
2025-09-03 06:20:33 +0200 | michalz | (~michalz@185.246.207.203) |
2025-09-03 06:28:08 +0200 | <sm> | "we're having to do a full 55TB DB snapshot restore from last night, which will take >10h to recover the data, and then >4h to actually restore, and then >3h to catch up on missing traffic. Huge apologies for the outage. Again, folks using their own homeservers are not impacted." |
2025-09-03 06:29:20 +0200 | <sm> | so uh.. yay for fallback systems! |
2025-09-03 06:31:16 +0200 | <sm> | another: https://mastodon.matrix.org/@matrix |
2025-09-03 06:36:33 +0200 | trickard_ | trickard |
2025-09-03 06:36:59 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 250 seconds) |
2025-09-03 06:37:52 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
2025-09-03 06:39:04 +0200 | ziyn | (~ziyn@113.190.226.190) |
2025-09-03 06:39:45 +0200 | ziyn | (~ziyn@113.190.226.190) (Changing host) |
2025-09-03 06:39:45 +0200 | ziyn | (~ziyn@user/ziyn) ziyn |
2025-09-03 06:48:07 +0200 | tv | (~tv@user/tv) tv |
2025-09-03 06:48:10 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-03 06:49:23 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 06:51:35 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2025-09-03 06:51:35 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-09-03 06:51:41 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2025-09-03 06:52:01 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
2025-09-03 06:52:02 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2025-09-03 06:52:10 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-09-03 06:52:17 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-09-03 06:52:40 +0200 | tv | (~tv@user/tv) (Ping timeout: 265 seconds) |
2025-09-03 06:54:34 +0200 | Frostillicus | (~Frostilli@71.174.119.69) |
2025-09-03 06:58:04 +0200 | <sm> | re matrix decentralisation.. I found you can easily sign up with a different matrix homeserver at http://joinmatrix.org , but you can't join a room that was created on matrix.org, unless (presumably) someone on the alternate server had previously joined it and caused it to be mirrored |
2025-09-03 07:04:18 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
2025-09-03 07:04:36 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
2025-09-03 07:04:36 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
2025-09-03 07:04:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 07:05:02 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 244 seconds) |
2025-09-03 07:06:36 +0200 | tv | (~tv@user/tv) tv |
2025-09-03 07:11:55 +0200 | tv | (~tv@user/tv) (Ping timeout: 248 seconds) |
2025-09-03 07:16:51 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-09-03 07:17:15 +0200 | <sm> | even then, it tends not to work. True decentralisation is hard. |
2025-09-03 07:25:31 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-09-03 07:28:52 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
2025-09-03 07:40:54 +0200 | Frostillicus | (~Frostilli@71.174.119.69) (Ping timeout: 258 seconds) |
2025-09-03 07:56:58 +0200 | twb | (~twb@user/twb) (Read error: Connection reset by peer) |
2025-09-03 07:57:15 +0200 | twb | (~twb@user/twb) twb |
2025-09-03 07:57:20 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 07:57:33 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 07:57:46 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
2025-09-03 07:59:18 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
2025-09-03 07:59:27 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-09-03 08:00:27 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
2025-09-03 08:02:22 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 258 seconds) |
2025-09-03 08:05:04 +0200 | pyooque | (~puke@user/puke) puke |
2025-09-03 08:05:04 +0200 | puke | (~puke@user/puke) (Killed (silver.libera.chat (Nickname regained by services))) |
2025-09-03 08:05:04 +0200 | pyooque | puke |
2025-09-03 08:05:17 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-09-03 08:05:43 +0200 | michalz_ | (~michalz@185.246.207.200) |
2025-09-03 08:05:49 +0200 | Moyst | (~moyst@user/moyst) (Ping timeout: 258 seconds) |
2025-09-03 08:05:59 +0200 | Katarushisu8 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
2025-09-03 08:06:35 +0200 | mange | (~mange@user/mange) (Ping timeout: 258 seconds) |
2025-09-03 08:06:48 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-09-03 08:06:50 +0200 | dysfigured | (~dfg@dfg.rocks) |
2025-09-03 08:06:57 +0200 | gawen | (~gawen@user/gawen) gawen |
2025-09-03 08:06:58 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Ping timeout: 258 seconds) |
2025-09-03 08:06:58 +0200 | otto_s | (~user@p4ff278ce.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
2025-09-03 08:06:58 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 258 seconds) |
2025-09-03 08:07:21 +0200 | dfg | (~dfg@user/dfg) (Ping timeout: 258 seconds) |
2025-09-03 08:07:29 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
2025-09-03 08:07:29 +0200 | Katarushisu8 | Katarushisu |
2025-09-03 08:07:44 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 258 seconds) |
2025-09-03 08:07:44 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 258 seconds) |
2025-09-03 08:07:44 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 258 seconds) |
2025-09-03 08:07:44 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 258 seconds) |
2025-09-03 08:07:44 +0200 | gawen_ | (~gawen@user/gawen) (Ping timeout: 258 seconds) |
2025-09-03 08:08:06 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-03 08:08:07 +0200 | michalz | (~michalz@185.246.207.203) (Ping timeout: 258 seconds) |
2025-09-03 08:08:41 +0200 | otto_s | (~user@p4ff278ce.dip0.t-ipconnect.de) |
2025-09-03 08:08:46 +0200 | Moyst | (~moyst@user/moyst) Moyst |
2025-09-03 08:08:56 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
2025-09-03 08:09:31 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-03 08:13:03 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-09-03 08:13:52 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 08:14:38 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 08:14:55 +0200 | <probie> | sm: Is it? Email seems to work pretty reliably |
2025-09-03 08:18:05 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-09-03 08:19:32 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
2025-09-03 08:20:12 +0200 | edwtjo | (~edwtjo@h-155-4-52-101.A213.priv.bahnhof.se) |
2025-09-03 08:20:12 +0200 | edwtjo | (~edwtjo@h-155-4-52-101.A213.priv.bahnhof.se) (Changing host) |
2025-09-03 08:20:12 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
2025-09-03 08:25:17 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 08:28:21 +0200 | tv | (~tv@user/tv) tv |
2025-09-03 08:28:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-09-03 08:31:46 +0200 | <sm> | of real-time chat, I meant. Yes email works pretty well |
2025-09-03 08:33:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) |
2025-09-03 08:41:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-09-03 08:42:34 +0200 | twb | (~twb@user/twb) (Read error: Connection reset by peer) |
2025-09-03 08:42:52 +0200 | twb | (~twb@user/twb) twb |
2025-09-03 08:43:05 +0200 | trickard_ | trickard |
2025-09-03 08:43:15 +0200 | <haskellbridge> | <magic_rb> Email is completely different from matrix, nothing in common except that both allow humans to exchange text |
2025-09-03 08:45:09 +0200 | <sm> | FWIW, here's how to join a matrix room when its homeserver is down - if OTHERSERVER has it synced: https://matrix.to/#/!ROOMID?via=OTHERSERVER |
2025-09-03 08:45:29 +0200 | <sm> | Eg https://matrix.to/#/!hskonBonfjiIefqLUV:matrix.org?via=envs.net for the Haskell room via envs.net homeserver |
2025-09-03 08:48:57 +0200 | <haskellbridge> | <magic_rb> Yeah you can join via another HS and it should eventually catch with m.org when it goes up again. Thats the beauty of decentralized services. Matrix is far from perfect but i dont see anyone with anything better |
2025-09-03 08:48:59 +0200 | <haskellbridge> | <magic_rb> +up |
2025-09-03 08:50:27 +0200 | <sm> | it was pretty hard to find this out, matrix clients can improve |
2025-09-03 08:51:24 +0200 | <sm> | if clients handled it better, it would feel pretty much like an IRC net split |
2025-09-03 08:53:08 +0200 | <sm> | rather than a total outage |
2025-09-03 08:54:54 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
2025-09-03 08:54:54 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
2025-09-03 08:54:54 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 08:57:31 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
2025-09-03 08:59:05 +0200 | <haskellbridge> | <magic_rb> I do think that most complaints about matrix are actually the clients fault. Yes split brains do happen, spam is a problem. But the most glaring user facing issues are shitty clients |
2025-09-03 08:59:22 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-03 09:00:03 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-03 09:00:44 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-03 09:01:18 +0200 | <sm> | I agree they could provide much better UX in many cases. Even if it's just "current matrix protocol doesn't allow this to work; info: URL, for now do: X |
2025-09-03 09:02:25 +0200 | <haskellbridge> | <magic_rb> Mhm, were in the realm of the general free software UI/UX problem. Not many UX/UI people around |
2025-09-03 09:02:35 +0200 | <sm> | probably the high cost of updating and shipping a popular client makes it hard to be agile and detailed |
2025-09-03 09:02:48 +0200 | raym | (~ray@user/raym) (Ping timeout: 248 seconds) |
2025-09-03 09:03:11 +0200 | <sm> | even for a TUI client, I think the cost is super high |
2025-09-03 09:03:50 +0200 | <haskellbridge> | <magic_rb> brick tui matrix client when |
2025-09-03 09:04:30 +0200 | <sm> | glguy has one maybe ? I forget |
2025-09-03 09:06:00 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 258 seconds) |
2025-09-03 09:07:42 +0200 | <sm> | messaging clients are a bit like web browsers these days, they are expected to do a LOT |
2025-09-03 09:07:59 +0200 | <haskellbridge> | <magic_rb> Mhm |
2025-09-03 09:08:14 +0200 | <haskellbridge> | <magic_rb> No wonder most of them are webbrowsers :P |
2025-09-03 09:08:18 +0200 | <haskellbridge> | <magic_rb> Its just convenient |
2025-09-03 09:09:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-09-03 09:09:53 +0200 | <sm> | reconnecting with haskell... simplex is very interesting messaging alternative, written in haskell. Semi decentralised. |
2025-09-03 09:10:37 +0200 | <sm> | let me try that again: Simplex Chat is a very interesting alternative messaging system, written in haskell. |
2025-09-03 09:13:10 +0200 | <sm> | (Are the clients written in haskell too ? Not sure) |
2025-09-03 09:13:57 +0200 | <sm> | AI says yes, the core of them is |
2025-09-03 09:14:13 +0200 | xstill_ | (xstill@fimu/xstill) xstill |
2025-09-03 09:14:24 +0200 | <sm> | oh well time to do something useful |
2025-09-03 09:19:28 +0200 | ziyn | (~ziyn@user/ziyn) (Remote host closed the connection) |
2025-09-03 09:19:38 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
2025-09-03 09:21:33 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-09-03 09:22:46 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-09-03 09:28:21 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-09-03 09:33:43 +0200 | <haskellbridge> | <magic_rb> Simplex is more like signal, not like matrix |
2025-09-03 09:33:55 +0200 | <haskellbridge> | <magic_rb> Matrix is more like irc than signal |
2025-09-03 09:34:51 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
2025-09-03 09:36:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-09-03 09:36:08 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
2025-09-03 09:36:27 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
2025-09-03 09:41:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
2025-09-03 09:47:49 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
2025-09-03 09:55:14 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-03 09:56:26 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-03 09:56:59 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 258 seconds) |
2025-09-03 09:57:04 +0200 | akegalj | (~akegalj@95.168.107.22) akegalj |
2025-09-03 09:57:29 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-09-03 09:58:33 +0200 | xff0x_ | xff0x |
2025-09-03 10:09:33 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 10:09:46 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 10:11:11 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-03 10:14:38 +0200 | tv | (~tv@user/tv) tv |
2025-09-03 10:15:35 +0200 | Vq | (~vq@90-224-37-169-no600.tbcn.telia.com) Vq |
2025-09-03 10:18:59 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-03 10:19:32 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-03 10:25:50 +0200 | trickard_ | trickard |
2025-09-03 10:28:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-03 10:30:07 +0200 | chele | (~chele@user/chele) chele |
2025-09-03 10:30:07 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-09-03 10:31:46 +0200 | haritz | (~hrtz@209.35.65.79) |
2025-09-03 10:31:46 +0200 | haritz | (~hrtz@209.35.65.79) (Changing host) |
2025-09-03 10:31:46 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-09-03 10:32:37 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
2025-09-03 10:32:37 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
2025-09-03 10:32:37 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 10:39:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) |
2025-09-03 10:53:47 +0200 | fp | (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) fp |
2025-09-03 11:11:32 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-03 11:13:11 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-03 11:15:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
2025-09-03 11:15:45 +0200 | ljdarj1 | ljdarj |
2025-09-03 11:17:00 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 11:17:14 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 11:20:10 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 258 seconds) |
2025-09-03 11:21:06 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-03 11:28:07 +0200 | meritamen | (~user@user/meritamen) meritamen |
2025-09-03 11:31:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-09-03 11:33:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-09-03 11:35:30 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-09-03 11:36:44 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-03 11:36:58 +0200 | meritamen | (~user@user/meritamen) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
2025-09-03 11:38:47 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-09-03 11:41:19 +0200 | Everything | (~Everythin@46.211.101.199) Everything |
2025-09-03 12:01:15 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 12:01:28 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 12:06:31 +0200 | trickard_ | trickard |
2025-09-03 12:08:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) (Read error: Connection reset by peer) |
2025-09-03 12:08:58 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
2025-09-03 12:10:58 +0200 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) (Quit: Ping timeout (120 seconds)) |
2025-09-03 12:11:13 +0200 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) |
2025-09-03 12:13:03 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
2025-09-03 12:18:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2025-09-03 12:25:52 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-03 12:26:02 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) |
2025-09-03 12:26:47 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 12:27:01 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 12:27:26 +0200 | fired | (la@2600:3c00::f03c:92ff:fee3:aace) (Ping timeout: 244 seconds) |
2025-09-03 12:28:01 +0200 | fired | (la@2600:3c00::f03c:92ff:fee3:aace) |
2025-09-03 12:32:30 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-09-03 12:33:25 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
2025-09-03 12:33:25 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
2025-09-03 12:33:25 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 12:34:41 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 12:37:37 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 12:39:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-09-03 12:41:20 +0200 | fp | (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) (Ping timeout: 256 seconds) |
2025-09-03 12:41:53 +0200 | tomsmeding | (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in) |
2025-09-03 12:42:43 +0200 | fp | (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) fp |
2025-09-03 12:42:57 +0200 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
2025-09-03 12:44:27 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 12:45:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-09-03 12:46:48 +0200 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
2025-09-03 12:59:08 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 13:03:30 +0200 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
2025-09-03 13:04:07 +0200 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
2025-09-03 13:11:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-09-03 13:11:47 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-09-03 13:12:11 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
2025-09-03 13:12:30 +0200 | pierrot | (~pi@user/pierrot) pierrot |
2025-09-03 13:14:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7acf:f68c:d0d:6cb3) |
2025-09-03 13:15:16 +0200 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-03 13:18:13 +0200 | <dminuoso> | magic_rb: There is also the issue of server complexity. There is only synapse really, and configuring synapse is about as much fun as administering Azure AD/Entra ID. |
2025-09-03 13:18:36 +0200 | <dminuoso> | So its not just shitty clients. :-) |
2025-09-03 13:19:43 +0200 | <dminuoso> | Plus the protocol choices made it impossible to create simple linear clinets with. |
2025-09-03 13:20:34 +0200 | <haskellbridge> | <magic_rb> Synapse is tbh not that bad, its worse than hedgedoc but much easier than kube |
2025-09-03 13:22:04 +0200 | <dminuoso> | Matrix is what happens if you crossed IRC and mailing lists, and did the client with electron using all the SPA UX of a modern web application. |
2025-09-03 13:23:36 +0200 | <haskellbridge> | <magic_rb> No matrix is what happens if you rewrite irc with a crdt dag |
2025-09-03 13:26:40 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-03 13:27:37 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-09-03 13:27:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2025-09-03 13:28:02 +0200 | tv | (~tv@user/tv) tv |
2025-09-03 13:29:13 +0200 | califax | (~califax@user/califx) califx |
2025-09-03 13:29:30 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-09-03 13:31:10 +0200 | ubert | (~Thunderbi@2001:871:263:7eb3:cef7:e125:c0d9:e695) ubert |
2025-09-03 13:37:12 +0200 | <bwe> | I encounter an `undefined` error in a data constructor. But I don't know where it happens. ghc only throws `undefined`. How can I let ghc show more context? |
2025-09-03 13:38:42 +0200 | <dminuoso> | bwe: Run with +RTS -xc (after compiling with -prof and -fprof-auto) |
2025-09-03 13:38:54 +0200 | <dminuoso> | And do some praying. |
2025-09-03 13:39:28 +0200 | <dminuoso> | Most of the time you get a half usable stack trace. |
2025-09-03 13:39:38 +0200 | jespada | (~jespada@2800:a4:2234:6500:1986:c97a:a8b1:bed2) (Ping timeout: 265 seconds) |
2025-09-03 13:40:07 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
2025-09-03 13:41:33 +0200 | <dminuoso> | bwe: The quality largely depends on your code style and how it interacts with -fprof-auto - otherwise you might have to granularly add SCC annotations. |
2025-09-03 13:41:50 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 13:41:51 +0200 | jespada | (~jespada@2800:a4:2229:b100:e0a4:75ef:98aa:50af) jespada |
2025-09-03 13:42:03 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 13:42:37 +0200 | <dminuoso> | It's one of the big price points of our execution model that good stack traces are really hard.. :( |
2025-09-03 13:43:25 +0200 | <haskellbridge> | <magic_rb> With a lot of tiny functions relying on inlining it should produce sensible stack traces right |
2025-09-03 13:44:33 +0200 | <dminuoso> | I wonder whether ghci shouldnt be able to instrument the code such that every exception is properly traceable. |
2025-09-03 13:45:20 +0200 | <dminuoso> | At first glance it seems easy If we disabled the simplifier |
2025-09-03 13:45:46 +0200 | <haskellbridge> | <magic_rb> With -prof it disables opts by default |
2025-09-03 13:45:56 +0200 | <haskellbridge> | <magic_rb> You have to force them back on with -O2 i think |
2025-09-03 13:46:14 +0200 | <dminuoso> | Well INLINE is still respected |
2025-09-03 13:46:24 +0200 | <dminuoso> | I think the SCC are just optimization barriers? |
2025-09-03 13:46:24 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-09-03 13:46:39 +0200 | <haskellbridge> | <magic_rb> Last time i did -prof it was for heatmaps and without -O2 the result is unusable since no inlining occurs |
2025-09-03 13:46:58 +0200 | <haskellbridge> | <magic_rb> dminuoso no thats the issue. Inlining deletes SCCs |
2025-09-03 13:47:24 +0200 | <haskellbridge> | <magic_rb> You have to disable inlining if you want a full stack trace. Enable inlining if youre hunting performance bottlenecks |
2025-09-03 13:47:53 +0200 | <dminuoso> | haskellbridge: okay then I consider it a but for -fprof-auto to not SCC annotate INLINE bindings. |
2025-09-03 13:48:08 +0200 | <dminuoso> | If -prof already disables that, that's just intentional inconvenience. |
2025-09-03 13:48:10 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
2025-09-03 13:48:14 +0200 | <dminuoso> | It makes no sense. |
2025-09-03 13:48:27 +0200 | <dminuoso> | s/but/bug/ |
2025-09-03 13:51:21 +0200 | <haskellbridge> | <magic_rb> Idk if i did -prof-auto, but i think so. Im not an expert tho |
2025-09-03 13:54:39 +0200 | <bwe> | dminuoso: thx |
2025-09-03 13:59:06 +0200 | trickard_ | trickard |
2025-09-03 14:02:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-03 14:04:25 +0200 | tv | (~tv@user/tv) tv |
2025-09-03 14:07:36 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:ca94:5e7:f880:789a) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-09-03 14:07:48 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:26ef:a68:404a:576a) |
2025-09-03 14:10:23 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-09-03 14:10:35 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
2025-09-03 14:10:35 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
2025-09-03 14:10:35 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 14:15:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-03 14:22:39 +0200 | ubert | (~Thunderbi@2001:871:263:7eb3:cef7:e125:c0d9:e695) (Ping timeout: 265 seconds) |
2025-09-03 14:24:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) |
2025-09-03 14:28:53 +0200 | tv | (~tv@user/tv) tv |
2025-09-03 14:34:30 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 14:35:14 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
2025-09-03 14:35:35 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 14:39:46 +0200 | tv | (~tv@user/tv) (Ping timeout: 256 seconds) |
2025-09-03 14:39:55 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-09-03 14:46:28 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-09-03 14:48:33 +0200 | califax | (~califax@user/califx) califx |
2025-09-03 14:52:28 +0200 | tv | (~tv@user/tv) tv |
2025-09-03 14:53:46 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
2025-09-03 14:53:46 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
2025-09-03 14:53:46 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 14:59:02 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-03 14:59:12 +0200 | mari56772 | (~mari-este@user/mari-estel) mari-estel |
2025-09-03 15:00:44 +0200 | tv | (~tv@user/tv) (Ping timeout: 256 seconds) |
2025-09-03 15:01:48 +0200 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
2025-09-03 15:05:43 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 15:07:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-03 15:07:17 +0200 | trickard_ | trickard |
2025-09-03 15:10:03 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-03 15:12:36 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
2025-09-03 15:12:36 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
2025-09-03 15:12:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 15:21:02 +0200 | tv | (~tv@user/tv) tv |
2025-09-03 15:21:08 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
2025-09-03 15:21:27 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 15:21:43 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-09-03 15:21:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
2025-09-03 15:23:00 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-09-03 15:26:14 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
2025-09-03 15:38:45 +0200 | tv | (~tv@user/tv) tv |
2025-09-03 15:38:59 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 15:39:55 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 15:40:01 +0200 | comonad | (~comonad@p200300d0271e9900c772a68d96fd2955.dip0.t-ipconnect.de) |
2025-09-03 15:40:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-03 15:44:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-09-03 15:44:27 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
2025-09-03 15:44:35 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-03 15:46:04 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-09-03 15:49:46 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-03 15:50:20 +0200 | fp | (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) (Ping timeout: 245 seconds) |
2025-09-03 15:54:28 +0200 | fp | (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) fp |
2025-09-03 15:57:45 +0200 | Square3 | (~Square4@user/square) Square |
2025-09-03 15:58:53 +0200 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 16:00:28 +0200 | <__monty__> | Re my filtering question from yesterday. Pandoc has a Walkable class that gets very close to what I was thinking of. I don't think it quite corresponds to Witherable or Filterable, those don't seem to capture the recursive quality I was looking for. |
2025-09-03 16:02:06 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-09-03 16:05:20 +0200 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-09-03 16:07:56 +0200 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 16:08:34 +0200 | trickard_ | trickard |
2025-09-03 16:08:56 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-09-03 16:09:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
2025-09-03 16:10:49 +0200 | ubert | (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) ubert |
2025-09-03 16:13:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-09-03 16:14:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) |
2025-09-03 16:16:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-03 16:16:59 +0200 | mari56772 | (~mari-este@user/mari-estel) (Ping timeout: 248 seconds) |
2025-09-03 16:18:18 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 16:18:31 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 16:22:35 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 16:33:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-03 16:39:50 +0200 | ziyn | (~ziyn@113.190.226.190) |
2025-09-03 16:42:24 +0200 | ziyn | (~ziyn@113.190.226.190) (Remote host closed the connection) |
2025-09-03 16:48:40 +0200 | fp | (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) (Ping timeout: 245 seconds) |
2025-09-03 16:50:09 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
2025-09-03 16:56:29 +0200 | cawfee | pongers |
2025-09-03 16:59:03 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 16:59:17 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 17:01:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) |
2025-09-03 17:03:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-09-03 17:09:12 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
2025-09-03 17:09:12 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
2025-09-03 17:09:12 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 17:10:16 +0200 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
2025-09-03 17:12:35 +0200 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 17:14:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
2025-09-03 17:16:20 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-09-03 17:18:47 +0200 | califax | (~califax@user/califx) califx |
2025-09-03 17:18:52 +0200 | Guest58 | (~Guest58@host-79-54-98-191.retail.telecomitalia.it) |
2025-09-03 17:19:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-03 17:20:59 +0200 | Guest58 | (~Guest58@host-79-54-98-191.retail.telecomitalia.it) (Client Quit) |
2025-09-03 17:26:52 +0200 | trickard_ | trickard |
2025-09-03 17:29:12 +0200 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-09-03 17:32:47 +0200 | mochie | (~username@93.124.228.5) |
2025-09-03 17:34:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-03 17:34:45 +0200 | mochie | (~username@93.124.228.5) () |
2025-09-03 17:36:03 +0200 | Everything | (~Everythin@46.211.101.199) (Read error: Connection reset by peer) |
2025-09-03 17:39:35 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-09-03 17:42:00 +0200 | Everything | (~Everythin@217.147.163.184) Everything |
2025-09-03 17:42:25 +0200 | califax | (~califax@user/califx) califx |
2025-09-03 17:42:30 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-03 17:42:51 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-03 17:42:59 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Remote host closed the connection) |
2025-09-03 17:43:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) |
2025-09-03 17:45:05 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
2025-09-03 17:46:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-03 17:47:35 +0200 | akegalj | (~akegalj@95.168.107.22) () |
2025-09-03 17:50:03 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
2025-09-03 17:52:34 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-09-03 17:58:41 +0200 | califax | (~califax@user/califx) califx |
2025-09-03 17:58:58 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
2025-09-03 18:01:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-09-03 18:02:45 +0200 | califax | (~califax@user/califx) califx |
2025-09-03 18:12:19 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
2025-09-03 18:12:45 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
2025-09-03 18:13:06 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-03 18:13:21 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 250 seconds) |
2025-09-03 18:13:26 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-09-03 18:14:33 +0200 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 18:16:04 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
2025-09-03 18:20:06 +0200 | rvalue- | rvalue |
2025-09-03 18:28:19 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-09-03 18:29:40 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 18:29:54 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 18:30:28 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-09-03 18:32:20 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Quit: WeeChat 4.7.1) |
2025-09-03 18:32:39 +0200 | califax | (~califax@user/califx) califx |
2025-09-03 18:32:44 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
2025-09-03 18:34:00 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-09-03 18:43:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) (Ping timeout: 248 seconds) |
2025-09-03 18:45:14 +0200 | califax | (~califax@user/califx) califx |
2025-09-03 18:47:12 +0200 | jespada_ | (~jespada@2800:a4:2229:b100:543a:9848:ff52:5c0e) jespada |
2025-09-03 18:48:27 +0200 | jespada | (~jespada@2800:a4:2229:b100:e0a4:75ef:98aa:50af) (Ping timeout: 248 seconds) |
2025-09-03 18:50:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-03 18:54:20 +0200 | trickard_ | trickard |
2025-09-03 18:59:00 +0200 | mari71727 | (~mari-este@user/mari-estel) mari-estel |
2025-09-03 18:59:22 +0200 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
2025-09-03 19:00:39 +0200 | sindu | (~sindu@176.75.108.200) |
2025-09-03 19:01:59 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-09-03 19:03:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-03 19:04:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-09-03 19:06:02 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
2025-09-03 19:08:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-03 19:10:43 +0200 | <lyxia> | __monty__: Have you seen uniplate https://hackage.haskell.org/package/uniplate-1.6.13/docs/Data-Generics-Uniplate-Operations.html |
2025-09-03 19:13:49 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-09-03 19:14:35 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 265 seconds) |
2025-09-03 19:16:42 +0200 | <__monty__> | lyxia: Hmm, that does look a lot like Pandoc's Walkable. |
2025-09-03 19:16:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-03 19:17:16 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-09-03 19:17:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-09-03 19:19:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-09-03 19:20:52 +0200 | <__monty__> | That might be as close as I can get to "generic recursive filtering." |
2025-09-03 19:21:01 +0200 | <__monty__> | Thank you! |
2025-09-03 19:23:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-03 19:24:48 +0200 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-09-03 19:25:19 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2025-09-03 19:26:33 +0200 | <__monty__> | I do wonder why the `Str` type has `Zero`, `One a` and `Two (Str a) (Str a)`. It looks so much like `data Str a = One a | Many [Str a]`. |
2025-09-03 19:32:50 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-03 19:33:30 +0200 | myxos | (~myxos@syn-065-025-110-175.res.spectrum.com) (Remote host closed the connection) |
2025-09-03 19:35:40 +0200 | Square2 | (~Square@user/square) Square |
2025-09-03 19:38:57 +0200 | <tomsmeding> | two fewer pointers if (<>) is dumb and just produces `Many [a,b]`? |
2025-09-03 19:39:05 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 245 seconds) |
2025-09-03 19:39:07 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-03 19:39:24 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) |
2025-09-03 19:39:26 +0200 | <tomsmeding> | three fewer pointers even -- to the list, to the second cons cell, and to the nil |
2025-09-03 19:40:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-03 19:40:11 +0200 | mari71727 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
2025-09-03 19:42:10 +0200 | zarakshR | (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) zarakshR |
2025-09-03 19:44:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-03 19:50:06 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-09-03 19:50:52 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-09-03 19:51:53 +0200 | <__monty__> | But it saves pointers whenever you do have a list-like sequence of children, no/ |
2025-09-03 19:51:56 +0200 | <__monty__> | *? |
2025-09-03 19:55:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-03 19:55:42 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
2025-09-03 19:57:03 +0200 | acidjnk | (~acidjnk@p200300d6e7171976182de2090fb12ade.dip0.t-ipconnect.de) acidjnk |
2025-09-03 20:02:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-03 20:03:07 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-03 20:05:15 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
2025-09-03 20:05:52 +0200 | <Enrico63> | Hi there! I've just created a pull request (https://github.com/haskell/haskeline/pull/207) for some fix to the haskeline library (that mimics the famous readline library), but the repo has no actual maintainer, but simply a custodian, so my PR can't be reviewed by them :( |
2025-09-03 20:05:52 +0200 | <Enrico63> | I've posted the code on https://codereview.stackexchange.com/questions/298044/augment-vi-editing-mode-in-haskeline-by-impl… so you can look at as an alternative to github. |
2025-09-03 20:06:44 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Ping timeout: 256 seconds) |
2025-09-03 20:06:59 +0200 | <Enrico63> | I would really be greatful if somebody could help me get that reviewed. Not because the feature is a big deal, but I'm without a job, and I want to get better at Haskell to eventually target some haskell job |
2025-09-03 20:07:14 +0200 | <Enrico63> | And doing open source seems a way to learn, I suppose |
2025-09-03 20:13:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-03 20:15:41 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 258 seconds) |
2025-09-03 20:19:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-03 20:20:27 +0200 | sprotte24 | (~sprotte24@p200300d16f10bc004086942b78d8edfa.dip0.t-ipconnect.de) |
2025-09-03 20:20:34 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
2025-09-03 20:23:18 +0200 | <__monty__> | Fair warning, if your priority is landing a job, focusing on Haskell is probably not the way. |
2025-09-03 20:24:19 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
2025-09-03 20:24:25 +0200 | <[exa]> | (otoh don't get demotivated, saying "I can do haskell" helps :D ) |
2025-09-03 20:24:40 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-09-03 20:24:56 +0200 | <chromoblob> | "I can do Haskell but can't do anything other" |
2025-09-03 20:25:21 +0200 | <[exa]> | s/can't/don't want to/ :D |
2025-09-03 20:25:21 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Ping timeout: 244 seconds) |
2025-09-03 20:25:31 +0200 | <chromoblob> | you are right |
2025-09-03 20:26:02 +0200 | <[exa]> | Enrico63: just from the point of the reviewer, could you separate the commits into formatting changes and then actual changes by topic? (not part 1,2,...; these are kinda very anonymous) |
2025-09-03 20:26:28 +0200 | <[exa]> | OTOH I have to say that some of the formatting changes there are for a very good reason :D |
2025-09-03 20:28:48 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
2025-09-03 20:29:17 +0200 | <[exa]> | Enrico63: anyway the PR is open for literal 5 hours now and you got feedback already, I'd say wait a day or so and it's gonna get attention |
2025-09-03 20:30:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-03 20:31:29 +0200 | <[exa]> | Enrico63: oh wait you have very good comments in the longer commit messages, stupid me, sorry :D |
2025-09-03 20:33:14 +0200 | <[exa]> | ^ actual reviewer simulation ^ |
2025-09-03 20:35:24 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Ping timeout: 252 seconds) |
2025-09-03 20:37:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-03 20:41:20 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-09-03 20:44:47 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-03 20:48:20 +0200 | Everything | (~Everythin@217.147.163.184) (Quit: leaving) |
2025-09-03 20:48:39 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
2025-09-03 20:49:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-03 20:51:29 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-09-03 20:57:50 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-03 20:58:03 +0200 | trickard_ | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-09-03 20:59:27 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Ping timeout: 244 seconds) |
2025-09-03 21:00:03 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-03 21:00:44 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-03 21:01:51 +0200 | <tomsmeding> | __monty__: no it doesn't save pointers |
2025-09-03 21:02:11 +0200 | <tomsmeding> | __monty__: https://paste.tomsmeding.com/LCpzehi8 even with a dumb Zero at the end, it's one pointer less |
2025-09-03 21:03:22 +0200 | <tomsmeding> | (because the Two is like (:)) |
2025-09-03 21:03:46 +0200 | <tomsmeding> | if you had Many [a], then that would save some pointers |
2025-09-03 21:07:35 +0200 | <int-e> | you kind of save the pointer to []: https://paste.tomsmeding.com/EC4Txwvi |
2025-09-03 21:08:20 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
2025-09-03 21:08:30 +0200 | <tomsmeding> | that's if you sensibly don't use Zero, yes |
2025-09-03 21:09:51 +0200 | <int-e> | you'd save more if `One a` gets unpacked but that doesn't work with polymorphic types |
2025-09-03 21:10:25 +0200 | <int-e> | and sure, you can "waste" pointers if you keep using `Zero`. |
2025-09-03 21:13:21 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) (Ping timeout: 252 seconds) |
2025-09-03 21:14:46 +0200 | <int-e> | Oh wait my second example is missing the `One` constructors. |
2025-09-03 21:26:15 +0200 | trickard_ | trickard |
2025-09-03 21:26:28 +0200 | cherryramatisdev | (~cherryram@user/cherryramatisdev) cherryramatisdev |
2025-09-03 21:32:42 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-09-03 21:37:36 +0200 | rustisafungus | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-03 21:43:07 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-09-03 21:46:05 +0200 | <__monty__> | I guess the real question is why do we even have [] and (:)? We should have Zero, One, Two : > |
2025-09-03 21:47:13 +0200 | <tomsmeding> | because [] has O(1) head :p |
2025-09-03 21:48:01 +0200 | <tomsmeding> | but if all you do is build a sequence up using Monoid operations and then fold over the thing once, that's unnecessary and something like Str works better |
2025-09-03 21:48:12 +0200 | <tomsmeding> | I typically call this Bag |
2025-09-03 21:49:34 +0200 | zarakshR | (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Quit: zarakshR) |
2025-09-03 21:49:52 +0200 | zarakshR | (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) zarakshR |
2025-09-03 21:50:17 +0200 | <int-e> | __monty__: add Three and maybe Four and some inside-out zipper and you might get a finger tree |
2025-09-03 21:50:57 +0200 | <__monty__> | They're called finger trees because they have a constructor for each of my fingers? : O |
2025-09-03 21:51:27 +0200 | <tomsmeding> | (see also https://www.cs.tufts.edu/~nr/cs257/archive/koen-claessen/finger-trees.pdf ) |
2025-09-03 21:51:29 +0200 | <int-e> | I like to explain it as them having a huge middle finger. |
2025-09-03 21:51:40 +0200 | ubert | (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
2025-09-03 21:52:10 +0200 | <int-e> | Anyway, what I said isn't too accurate... but there are some parts that actually fit. |