Newest at the top
| 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. |
| 2025-07-20 21:01:43 +0200 | <geekosaur> | @tell rhz most people use matrix.org unless they choose to set up their own homeserver and federate with matrix.org or a homeserver federated to it |
| 2025-07-20 21:01:17 +0200 | <tomsmeding> | 2 seconds is not very long to wait for an answer :) |
| 2025-07-20 21:01:04 +0200 | trickard_ | trickard |
| 2025-07-20 21:00:42 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-20 21:00:42 +0200 | rhz | (~rhz@190.5.35.164) (Quit: Client closed) |
| 2025-07-20 21:00:40 +0200 | <rhz> | I've been wanting to make myself a matrix account, but I don't have enough info to pick a server. What's the most common matrix server people here use? |
| 2025-07-20 21:00:02 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-20 20:59:00 +0200 | <rhz> | Thank you |
| 2025-07-20 20:55:17 +0200 | ciadsyyyl^ | (~ciadsyyyl@99-73-20-238.lightspeed.tukrga.sbcglobal.net) |
| 2025-07-20 20:54:43 +0200 | <tomsmeding> | rhz: I think both see activity; not sure where the most CAD knowledge resides. I recommend patience in waiting for answers, in classic IRC style :) |
| 2025-07-20 20:52:58 +0200 | <monochrom> | I still use this IRC channel. |
| 2025-07-20 20:51:38 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-07-20 20:49:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 20:48:31 +0200 | <rhz> | Regarding the house blueprint library, I've been looking into implicitCAD, but it seems mostly focused on 3d printing |
| 2025-07-20 20:47:14 +0200 | <rhz> | Also, are people still using this irc channel or have most moved to the matrix channel? |
| 2025-07-20 20:46:21 +0200 | <rhz> | Hello haskellers. I hope you are well. I'm looking for a library to programmatically draw blueprints for a house. What would you recommend? |