Newest at the top
| 2025-07-20 22:19:20 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-20 22:14:34 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-20 22:11:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-07-20 22:09:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-20 22:02:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 22:02:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-20 21:59:12 +0200 | Guest40 | (~Guest40@2600:4040:7fd8:100:74d3:42e9:814d:734a) (Quit: Client closed) |
| 2025-07-20 21:57:52 +0200 | gues89935 | (~username@2600:4040:7fd8:100:74d3:42e9:814d:734a) (Remote host closed the connection) |
| 2025-07-20 21:55:11 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-20 21:54:58 +0200 | Digit | (~user@user/digit) Digit |
| 2025-07-20 21:52:45 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-07-20 21:46:43 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-07-20 21:41:17 +0200 | Guest40 | (~Guest40@2600:4040:7fd8:100:74d3:42e9:814d:734a) |
| 2025-07-20 21:40:43 +0200 | tsuki | (~tsuki@49.37.43.51) (Read error: Connection reset by peer) |
| 2025-07-20 21:38:24 +0200 | fp | (~Thunderbi@178-133-0-100.mobile.vf-ua.net) (Read error: Connection reset by peer) |
| 2025-07-20 21:38:23 +0200 | gues89935 | (~username@2600:4040:7fd8:100:74d3:42e9:814d:734a) |
| 2025-07-20 21:34:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 21:33:23 +0200 | Guest88 | (~Guest64@193.138.7.210) (Client Quit) |
| 2025-07-20 21:33:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-20 21:31:47 +0200 | <Guest88> | hello |
| 2025-07-20 21:29:47 +0200 | Guest88 | (~Guest64@193.138.7.210) |
| 2025-07-20 21:28:09 +0200 | <geekosaur> | you can /whois haskellbridge for a link detailing the full list |
| 2025-07-20 21:27:48 +0200 | <rhz> | I see. Thank you geekosaur |
| 2025-07-20 21:27:32 +0200 | fp | (~Thunderbi@178-133-0-100.mobile.vf-ua.net) fp |
| 2025-07-20 21:27:23 +0200 | <geekosaur> | (#haskell:matrix.org asked not to be bridged to IRC at all) |
| 2025-07-20 21:27:08 +0200 | <geekosaur> | #haskell-irc:matrix.org |
| 2025-07-20 21:26:59 +0200 | <geekosaur> | yes |
| 2025-07-20 21:26:31 +0200 | <rhz> | is this irc channel bridged to matrix? |
| 2025-07-20 21:26:17 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 21:25:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 21:24:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 21:23:54 +0200 | <yushyin> | yup, for about 4-5 years by now |
| 2025-07-20 21:23:19 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-07-20 21:22:36 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 21:22:00 +0200 | <rhz> | yushyin: that's interesting, I didn't know gitter was a matrix server |
| 2025-07-20 21:20:04 +0200 | <yushyin> | rhz: when i need to use matrix, i usually do it via gitter, because this is (for some time now) also a matrix homeserver and i have a github account anyway |
| 2025-07-20 21:19:27 +0200 | <rhz> | That's good to know |
| 2025-07-20 21:18:51 +0200 | <rhz> | Thank you tomsmeding |
| 2025-07-20 21:18:12 +0200 | <tomsmeding> | i.e. you didn't miss much |
| 2025-07-20 21:17:50 +0200 | <rhz> | Thank you geekosaur |
| 2025-07-20 21:17:46 +0200 | <tomsmeding> | rhz: https://ircbrowse.tomsmeding.com/day/lchaskell/2025/07/20?id=1612260#trid1612260 |
| 2025-07-20 21:17:04 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 260 seconds) |
| 2025-07-20 21:17:02 +0200 | <rhz> | I disconnected I don't know when |
| 2025-07-20 21:17:00 +0200 | turlando_ | (~turlando@user/turlando) turlando |
| 2025-07-20 21:16:30 +0200 | rhz | (~rhz@190.5.35.164) |
| 2025-07-20 21:15:53 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 21:15:39 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 21:11:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 21:01:47 +0200 | <glguy> | going to make a great matrix user |
| 2025-07-20 21:01:43 +0200 | <lambdabot> | Consider it noted. |