Logs: liberachat/#haskell
| 2025-10-08 07:30:41 | → | Googulator32 joins (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 07:31:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-08 07:33:29 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-10-08 07:34:51 | × | trampi8 quits (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-08 07:41:33 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-10-08 07:43:28 | → | trampi8 joins (~trampi@mx.trampusch.info) |
| 2025-10-08 07:44:42 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-10-08 07:45:03 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-10-08 07:50:58 | × | Googulator32 quits (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 07:50:59 | → | Googulator34 joins (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 07:52:32 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 265 seconds) |
| 2025-10-08 07:55:23 | → | chele joins (~chele@user/chele) |
| 2025-10-08 07:55:57 | trampi8 | is now known as trampi |
| 2025-10-08 08:00:07 | → | fp joins (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) |
| 2025-10-08 08:00:41 | → | Googulator79 joins (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 08:00:41 | × | Googulator34 quits (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 08:01:40 | → | fp1 joins (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) |
| 2025-10-08 08:02:33 | × | fp1 quits (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Remote host closed the connection) |
| 2025-10-08 08:04:18 | → | fp1 joins (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) |
| 2025-10-08 08:04:49 | × | fp quits (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Ping timeout: 264 seconds) |
| 2025-10-08 08:04:49 | fp1 | is now known as fp |
| 2025-10-08 08:08:33 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 08:08:47 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-08 08:15:15 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 08:15:26 | × | GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-08 08:20:07 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 08:20:48 | × | trampi quits (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-08 08:24:14 | → | trampi joins (~trampi@mx.trampusch.info) |
| 2025-10-08 08:26:13 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-10-08 08:27:06 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-08 08:27:37 | × | jackneill__ quits (~Jackneill@188-143-82-121.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2025-10-08 08:29:47 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2025-10-08 08:32:11 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 08:35:53 | <fgarcia> | i think type tetris is real. ghc is cool |
| 2025-10-08 08:39:02 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-08 08:40:43 | → | Googulator6 joins (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 08:40:43 | × | Googulator79 quits (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 08:40:56 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 08:43:21 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-10-08 08:44:29 | <[exa]> | fgarcia: type tetris is underrated |
| 2025-10-08 08:44:59 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-08 08:45:12 | → | trickard joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-10-08 08:47:12 | × | craunts7953 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-08 08:47:19 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 08:49:37 | <fgarcia> | [exa]: i have been learning haskell these few weeks and got curious enough to check out other types for the numbers. i am liking how the compiler is helping me make things more general |
| 2025-10-08 08:51:16 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-08 08:51:25 | <[exa]> | wait for the type tetris equivalent of smashing in the 4-square stick :D |
| 2025-10-08 08:53:56 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-08 08:56:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-10-08 08:59:38 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-10-08 09:04:43 | × | fp quits (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Quit: fp) |
| 2025-10-08 09:05:42 | → | Googulator63 joins (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 09:05:43 | × | Googulator6 quits (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 09:06:42 | → | fp joins (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) |
| 2025-10-08 09:07:17 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-10-08 09:10:06 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 09:13:23 | <haskellbridge> | <sm> are other matrix clients besides Element also very slow at showing the history of IRC-bridged matrix rooms like this one ? |
| 2025-10-08 09:13:30 | → | craunts7953 joins (~craunts@136.158.7.194) |
| 2025-10-08 09:15:47 | <haskellbridge> | <sm> because of the high number of join/leave events, presumably |
| 2025-10-08 09:17:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 09:20:09 | <haskellbridge> | <Morj> sm: Cinny is fine, but cinny doesn't collapse room state changes, and there are a ton of them. Afaik the amount of events fetched by default when scrolling up history is somewhat low, so to see just one uncollapsed message would take a lot of fetching |
| 2025-10-08 09:22:05 | <haskellbridge> | <sm> that sounds like my IRC client (Textual, on mac) which if I leave join/leave events visible, shows page after page of those with scattered actual messages |
| 2025-10-08 09:22:53 | × | fp quits (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Remote host closed the connection) |
| 2025-10-08 09:23:21 | <haskellbridge> | <sm> If I hide them entirely, I lose important presence hints. Still, I see I can do that in Element too, let's see if it helps performance |
| 2025-10-08 09:24:53 | <haskellbridge> | <sm> no; still takes tens of seconds to show a pageful of messages here |
| 2025-10-08 09:26:56 | <haskellbridge> | <sm> it makes rooms like this one or #GHC:matrix.org (https://matrix.to/#/#GHC:matrix.org) unattractive, which is unfortunate |
| 2025-10-08 09:30:40 | → | Googulator81 joins (~Googulato@193-226-241-224.pool.digikabel.hu) |
| 2025-10-08 09:30:44 | × | Googulator63 quits (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 09:30:47 | <haskellbridge> | <sm> maybe Element's famous "fast sliding sync" has regressed.. |
| 2025-10-08 09:31:25 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 09:32:18 | → | fp joins (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) |
| 2025-10-08 09:33:31 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-08 09:36:27 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-10-08 09:36:27 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-10-08 09:37:02 | × | fp quits (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Remote host closed the connection) |
| 2025-10-08 09:37:12 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-08 09:38:22 | → | fp joins (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) |
| 2025-10-08 09:40:15 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 09:41:12 | → | fp1 joins (~Thunderbi@wireless-86-50-141-222.open.aalto.fi) |
| 2025-10-08 09:42:01 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-10-08 09:42:25 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-08 09:45:07 | × | fp quits (~Thunderbi@dhcp-87-174.eduroam.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-10-08 09:45:07 | fp1 | is now known as fp |
| 2025-10-08 09:45:17 | <haskellbridge> | <Morj> sm: I'm itching to write an irc client that would show join/part events only for users that participated in the conversation recently |
| 2025-10-08 09:45:20 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-10-08 09:46:34 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-08 09:46:43 | <haskellbridge> | <maerwald> you're talking about merijn? xD |
| 2025-10-08 09:46:54 | <haskellbridge> | <Morj> Ditto for a matrix client, but there are so so many things one could improve. You know what they say, those who never used telegram-desktop are doomed to repeat its competitor's mistakes |
| 2025-10-08 09:47:09 | <haskellbridge> | <Morj> Isn't mеrijn a person? (= |
| 2025-10-08 09:47:21 | <haskellbridge> | <maerwald> used to be |
| 2025-10-08 09:47:30 | <haskellbridge> | <maerwald> these days maybe just an IRC bouncer |
| 2025-10-08 09:49:44 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-08 09:50:35 | × | Googulator81 quits (~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-08 09:50:37 | → | Googulator35 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-08 09:53:56 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-08 09:54:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-08 09:57:34 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-08 09:59:50 | × | fp quits (~Thunderbi@wireless-86-50-141-222.open.aalto.fi) (Remote host closed the connection) |
| 2025-10-08 10:02:07 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-08 10:02:07 | × | synchromesh quits (~john@2406:5a00:2412:2c00:59f4:ea7:a30f:8ab4) (Read error: Connection reset by peer) |
All times are in UTC.