Newest at the top
| 2025-11-17 17:43:44 +0100 | trickard_ | trickard |
| 2025-11-17 17:40:34 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-11-17 17:40:19 +0100 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 17:39:44 +0100 | Core7738 | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 240 seconds) |
| 2025-11-17 17:36:48 +0100 | Zemy | (~Zemy@mobile-107-80-206-70.mycingular.net) (Ping timeout: 252 seconds) |
| 2025-11-17 17:36:29 +0100 | Core3185 | (~Zemy@2600:100c:b0a9:8436:8888:7bff:fe6b:db6a) |
| 2025-11-17 17:36:29 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:8436:4cc2:daff:fe21:757b) (Read error: Connection reset by peer) |
| 2025-11-17 17:35:30 +0100 | Core7738 | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-17 17:34:53 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-17 17:34:06 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:8436:4cc2:daff:fe21:757b) |
| 2025-11-17 17:31:41 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-17 17:31:28 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-17 17:31:26 +0100 | Zemy_ | (~Zemy@2600:100c:b0a9:8436:1c98:a0ff:fed8:7a71) (Ping timeout: 265 seconds) |
| 2025-11-17 17:31:15 +0100 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2025-11-17 17:30:03 +0100 | vulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2025-11-17 17:29:22 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-11-17 17:28:08 +0100 | Zemy | (~Zemy@mobile-107-80-206-70.mycingular.net) |
| 2025-11-17 17:27:54 +0100 | Googulator89 | Googulator |
| 2025-11-17 17:25:54 +0100 | Googulator89 | (~Googulato@85-238-67-234.pool.digikabel.hu) |
| 2025-11-17 17:25:52 +0100 | Googulator | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 17:25:11 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-17 17:23:05 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-17 17:21:02 +0100 | Googulator21 | Googulator |
| 2025-11-17 17:20:46 +0100 | Googulator | (~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-17 17:20:42 +0100 | Googulator21 | (~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) |
| 2025-11-17 17:19:42 +0100 | <lucabtz> | sorry for the slight off topic |
| 2025-11-17 17:19:40 +0100 | <tomsmeding> | matrix.org used to have one of those with libera.chat, but there were complaints about spam and they stopped offering that |
| 2025-11-17 17:19:35 +0100 | <lucabtz> | thx |
| 2025-11-17 17:19:29 +0100 | <lucabtz> | oh i see |
| 2025-11-17 17:19:17 +0100 | <tomsmeding> | you can do it with a self-hosted matrix server |
| 2025-11-17 17:19:09 +0100 | <tomsmeding> | I think you can only achieve that with a proper bridge plugin on a matrix server, and public servers don't tend to run those because of abuse potential |
| 2025-11-17 17:18:48 +0100 | <lucabtz> | tomsmeding yeah |
| 2025-11-17 17:18:37 +0100 | <tomsmeding> | lucabtz: do you mean speaking with a proper irc nick instead of via haskellbridge? |
| 2025-11-17 17:18:21 +0100 | <lucabtz> | i thought there is a way to have that |
| 2025-11-17 17:18:10 +0100 | <lucabtz> | while mine looks weird |
| 2025-11-17 17:18:04 +0100 | <merijn> | tomsmeding: :) |
| 2025-11-17 17:18:01 +0100 | <lucabtz> | idk because some people on the bridge in matrix have a proper name |
| 2025-11-17 17:17:59 +0100 | <tomsmeding> | I cannot believe my luck |
| 2025-11-17 17:17:53 +0100 | <tomsmeding> | merijn: it has an install-includes!!!!!! |
| 2025-11-17 17:17:39 +0100 | <merijn> | lucabtz: You don't, afaik? |
| 2025-11-17 17:17:19 +0100 | <lucabtz> | how do you connect a matrix account to a IRC one? |
| 2025-11-17 17:17:00 +0100 | <tomsmeding> | makes sense, thanks! |
| 2025-11-17 17:16:51 +0100 | <merijn> | tomsmeding: At any rate, the answer is basically IFF they include it in install-includes you can, else you're hosed |
| 2025-11-17 17:16:40 +0100 | <tomsmeding> | so I believe my only option is writing a fromListNChecked that does almost the same as fromListN but not quite |
| 2025-11-17 17:16:14 +0100 | <tomsmeding> | possible, but I want a checked fromListN and I can't have that now, because doing a length check before calling V.fromListN forces the entire list and breaks all streaming |
| 2025-11-17 17:15:44 +0100 | <merijn> | tomsmeding: Which doesn't support any kind of error flow |
| 2025-11-17 17:15:35 +0100 | <merijn> | tomsmeding: That behaviour is because those functions seem like they're intended to be use with OverloadedList? |
| 2025-11-17 17:15:23 +0100 | <pounce> | if i do readelf -e /lib64/libtinfo.so.6 | grep VER the library has VERSYM and VERNEED but not VERDEF |
| 2025-11-17 17:15:03 +0100 | <pounce> | Clint: well, libtinfo might not have those versions. but im not an expert on linkers so im not sure |
| 2025-11-17 17:14:45 +0100 | <tomsmeding> | (concretely: the fromListN on vectors just ignores additional elements in the list and returns a shorter vector if the list was too short; I think that's boneheaded behaviour and want an error to be thrown instead) |