| 2025-07-20 00:01:12 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 00:02:16 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-20 00:03:23 +0000 | sprotte24 | (~sprotte24@p200300d16f1e0200c8cbd284cf29dbca.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-20 00:14:57 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-07-20 00:15:39 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-07-20 00:21:19 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 00:22:07 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-20 00:28:16 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 00:28:30 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 00:37:40 +0000 | acidjnk_new | (~acidjnk@p200300d6e70b66939416f8ce665b0c8c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-07-20 00:38:01 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Ping timeout: 272 seconds) |
| 2025-07-20 00:41:28 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-07-20 00:59:12 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-20 00:59:46 +0000 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-20 01:03:19 +0000 | trickard_ | trickard |
| 2025-07-20 01:11:42 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-20 01:13:56 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2025-07-20 01:36:30 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 01:45:03 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-20 01:45:09 +0000 | falafel | (~falafel@79.117.174.28) (Ping timeout: 272 seconds) |
| 2025-07-20 01:46:28 +0000 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-20 01:49:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-20 01:51:35 +0000 | elnegro | (~elnegro@r167-57-4-53.dialup.adsl.anteldata.net.uy) elnegro |
| 2025-07-20 01:51:59 +0000 | falafel | (~falafel@79.117.174.28) (Remote host closed the connection) |
| 2025-07-20 01:52:42 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-20 01:53:03 +0000 | elnegro | (~elnegro@r167-57-4-53.dialup.adsl.anteldata.net.uy) (Quit: Client closed) |
| 2025-07-20 01:53:20 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2025-07-20 01:58:54 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-07-20 02:02:32 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-07-20 02:04:34 +0000 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-20 02:05:02 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-07-20 02:05:36 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-07-20 02:15:40 +0000 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-07-20 02:15:43 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-20 02:23:01 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 02:23:15 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 02:29:10 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-07-20 02:33:28 +0000 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 265 seconds) |
| 2025-07-20 02:35:14 +0000 | td_ | (~td@i53870910.versanet.de) |
| 2025-07-20 02:37:07 +0000 | trickard_ | trickard |
| 2025-07-20 02:49:54 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-20 02:50:22 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 02:58:28 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 03:12:27 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 03:12:41 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 03:20:15 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 03:20:58 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-20 03:25:27 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 276 seconds) |
| 2025-07-20 03:39:19 +0000 | aforemny_ | (~aforemny@i59F4C53A.versanet.de) aforemny |
| 2025-07-20 03:39:29 +0000 | aforemny | (~aforemny@2001:9e8:6cc7:cf00:7058:61be:41c0:11e9) (Ping timeout: 260 seconds) |
| 2025-07-20 03:39:40 +0000 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-20 03:51:17 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2025-07-20 03:53:33 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-07-20 03:53:50 +0000 | trickard_ | trickard |
| 2025-07-20 03:54:13 +0000 | rhz | (~rhz@190.5.35.164) |
| 2025-07-20 03:58:45 +0000 | tsuki | (~tsuki@49.37.43.51) |
| 2025-07-20 04:19:45 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2025-07-20 04:23:03 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 268 seconds) |
| 2025-07-20 04:48:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-20 04:49:08 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 04:56:44 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-07-20 04:57:09 +0000 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-20 05:16:35 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-20 05:28:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-20 05:32:37 +0000 | coldmountain | (uid484352@id-484352.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-07-20 05:33:09 +0000 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-20 05:33:21 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2025-07-20 05:33:28 +0000 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-07-20 05:33:28 +0000 | ChanServ | +v haskellbridge |
| 2025-07-20 05:33:34 +0000 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2025-07-20 05:33:36 +0000 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 272 seconds) |
| 2025-07-20 05:33:41 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) (Ping timeout: 248 seconds) |
| 2025-07-20 05:34:52 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 272 seconds) |
| 2025-07-20 05:34:52 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-07-20 05:35:11 +0000 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) coldmountain |
| 2025-07-20 05:35:27 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-20 05:35:50 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) mustafa |
| 2025-07-20 05:36:07 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2025-07-20 05:36:11 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) tolt |
| 2025-07-20 05:36:18 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-07-20 05:36:25 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-07-20 05:36:55 +0000 | cptaffe` | cptaffe |
| 2025-07-20 05:43:01 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 05:43:43 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 245 seconds) |
| 2025-07-20 05:49:39 +0000 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2025-07-20 05:49:52 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 05:50:06 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 05:57:41 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-20 05:58:59 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-20 05:59:14 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd) |
| 2025-07-20 05:59:22 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 06:00:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-07-20 06:05:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-20 06:15:49 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-20 06:17:32 +0000 | trickard_ | trickard |
| 2025-07-20 06:20:44 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 06:21:38 +0000 | hakutaku | (~textual@178.66.130.92) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-07-20 06:22:24 +0000 | hakutaku | (~textual@178.66.130.92) |
| 2025-07-20 06:30:01 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 06:30:15 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 06:36:21 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-20 06:36:38 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-20 06:41:37 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-20 06:52:16 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-20 06:52:57 +0000 | rhz | (~rhz@190.5.35.164) (Ping timeout: 272 seconds) |
| 2025-07-20 07:00:00 +0000 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-20 07:00:39 +0000 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-20 07:10:30 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-20 07:12:57 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-20 07:20:04 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-20 07:38:29 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 07:45:11 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 07:46:49 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-20 07:54:40 +0000 | <tomsmeding> | @tell HaskellLearner you can find the list of instances of a type class in the documentation, below the methods: https://hackage.haskell.org/package/base-4.20.0.0/docs/Prelude.html#t:Integral . You can also type `:info Integral` in ghci, though that will only show you the instances that you have currently imported |
| 2025-07-20 07:54:40 +0000 | <lambdabot> | Consider it noted. |
| 2025-07-20 07:55:23 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 07:55:36 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 07:56:19 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2025-07-20 08:15:00 +0000 | hakutaku | (~textual@178.66.130.92) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-07-20 08:16:45 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd) |
| 2025-07-20 08:18:38 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 08:18:52 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 08:20:05 +0000 | acidjnk_new | (~acidjnk@p200300d6e70b66938010d81d5f28c9b9.dip0.t-ipconnect.de) |
| 2025-07-20 08:23:56 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-20 08:25:42 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-20 08:30:27 +0000 | trickard_ | trickard |
| 2025-07-20 08:40:10 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-07-20 09:05:17 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-07-20 09:08:34 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-20 09:17:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-20 09:17:19 +0000 | biberu | (~biberu@user/biberu) biberu |
| 2025-07-20 09:20:16 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 276 seconds) |
| 2025-07-20 09:41:37 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-20 09:55:35 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 09:57:45 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-20 10:16:31 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 10:23:44 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-20 10:35:23 +0000 | acidjnk_new | (~acidjnk@p200300d6e70b66938010d81d5f28c9b9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-07-20 10:36:43 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 10:37:58 +0000 | acidjnk | (~acidjnk@p200300d6e70b669341e4993971a3ef7d.dip0.t-ipconnect.de) acidjnk |
| 2025-07-20 10:42:47 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-07-20 10:44:02 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-20 10:45:28 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 10:47:45 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-20 10:51:27 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-07-20 10:54:17 +0000 | img | (~img@user/img) img |
| 2025-07-20 10:54:26 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-20 10:58:00 +0000 | sprotte24 | (~sprotte24@p200300d16f2948009c678ec48f5f588c.dip0.t-ipconnect.de) |
| 2025-07-20 10:58:06 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 11:05:32 +0000 | tromp | (~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-20 11:05:53 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-07-20 11:07:22 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-07-20 11:11:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 11:17:35 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-20 11:18:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-07-20 11:18:56 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-20 11:23:18 +0000 | fp | (~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) fp |
| 2025-07-20 11:25:45 +0000 | fp | (~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) (Read error: Connection reset by peer) |
| 2025-07-20 11:26:49 +0000 | fp | (~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) fp |
| 2025-07-20 11:35:37 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-20 11:37:03 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-07-20 11:41:29 +0000 | fp | (~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2025-07-20 11:59:05 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-20 12:00:21 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-07-20 12:01:13 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-20 12:01:21 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-20 12:02:44 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-07-20 12:03:24 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-20 12:09:49 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-20 12:11:42 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-07-20 12:14:24 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 12:14:29 +0000 | biberu | (~biberu@user/biberu) biberu |
| 2025-07-20 12:20:43 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-20 12:28:49 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea) |
| 2025-07-20 12:32:35 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-07-20 12:35:26 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-07-20 12:35:35 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-20 12:35:58 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-07-20 12:41:41 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-20 12:45:40 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-07-20 12:45:41 +0000 | ljdarj1 | ljdarj |
| 2025-07-20 12:57:39 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-20 12:58:24 +0000 | acidjnk_new | (~acidjnk@p200300d6e70b66936d699bc24dec73d4.dip0.t-ipconnect.de) |
| 2025-07-20 12:58:41 +0000 | hsw | (~hsw@106.104.103.23) (Remote host closed the connection) |
| 2025-07-20 12:59:27 +0000 | hsw | (~hsw@106.104.103.23) hsw |
| 2025-07-20 12:59:29 +0000 | acidjnk | (~acidjnk@p200300d6e70b669341e4993971a3ef7d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-20 13:02:17 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-20 13:02:17 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 13:02:51 +0000 | Square2 | (~Square@user/square) Square |
| 2025-07-20 13:16:57 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-07-20 13:16:57 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-20 13:21:48 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 13:24:26 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-20 13:24:42 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-07-20 13:24:49 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 13:25:58 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 13:31:58 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2025-07-20 13:35:14 +0000 | falafel | (~falafel@syn-076-094-081-093.res.spectrum.com) falafel |
| 2025-07-20 13:39:07 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 13:39:22 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-20 13:40:07 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-20 13:40:19 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-20 13:41:29 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 13:42:43 +0000 | falafel | (~falafel@syn-076-094-081-093.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-07-20 13:44:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-20 13:49:53 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-20 13:57:35 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 13:58:12 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 13:59:13 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-20 14:06:09 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-07-20 14:12:14 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-20 14:21:59 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Ping timeout: 272 seconds) |
| 2025-07-20 14:23:54 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-20 14:23:56 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-20 14:25:11 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 14:36:48 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-07-20 14:37:15 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-07-20 14:38:16 +0000 | Square2 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2025-07-20 14:41:21 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-20 14:47:55 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-20 14:49:31 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-20 14:50:28 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.5) |
| 2025-07-20 14:50:43 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-20 14:51:09 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-20 14:51:14 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-07-20 14:52:30 +0000 | AlexZenon | (~alzenon@178.34.150.25) (Ping timeout: 252 seconds) |
| 2025-07-20 14:53:50 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 14:53:57 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-20 14:53:59 +0000 | AlexNoo | (~AlexNoo@178.34.150.25) (Ping timeout: 260 seconds) |
| 2025-07-20 14:55:20 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-20 14:56:03 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-20 14:56:42 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-20 14:59:58 +0000 | AlexZenon | (~alzenon@5.139.233.5) |
| 2025-07-20 15:07:16 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-20 15:09:16 +0000 | AlexNoo_ | AlexNoo |
| 2025-07-20 15:11:37 +0000 | <haskellbridge> | <magic_rb> tomsmeding briefly gonna hijack this room, easier over irc :P |
| 2025-07-20 15:12:24 +0000 | <haskellbridge> | <magic_rb> The informal style i my thesis, has been agreed upon, the section with "i have to have a research question" was my supervisors idea. He is 100% on board with the weirdness, said himself i dont have to worry about it being a proper thesis |
| 2025-07-20 15:12:34 +0000 | <tomsmeding> | lol |
| 2025-07-20 15:12:36 +0000 | <tomsmeding> | nice |
| 2025-07-20 15:12:40 +0000 | <tomsmeding> | awesome |
| 2025-07-20 15:13:14 +0000 | <haskellbridge> | <magic_rb> So im more concerned whether it reads well, does it? Ive looked over your comments beyond the intro and theyre good, so ill incorporate then |
| 2025-07-20 15:13:27 +0000 | <haskellbridge> | <magic_rb> But the whole thing is meant to be fun and lighthearted |
| 2025-07-20 15:14:08 +0000 | <tomsmeding> | there's a few punctuation things, some of which I highlighted, but those are little bumps more than any kind of actual problem |
| 2025-07-20 15:14:37 +0000 | <haskellbridge> | <magic_rb> Yeah, always sucked at being punctual, both in time and grammar :D |
| 2025-07-20 15:14:38 +0000 | <tomsmeding> | I think the most important readability things are the structure comment at the start of section 3 and the order of presentation inside section 3 |
| 2025-07-20 15:14:42 +0000 | <tomsmeding> | heh |
| 2025-07-20 15:14:58 +0000 | <haskellbridge> | <magic_rb> soyr yes i can send it to you too :D i see you reading |
| 2025-07-20 15:15:07 +0000 | <haskellbridge> | <soyr> lfggggg |
| 2025-07-20 15:15:23 +0000 | <haskellbridge> | <soyr> I also am submitting late my thesis lmao |
| 2025-07-20 15:15:44 +0000 | <haskellbridge> | <magic_rb> tomsmeding okay then ill incorporate those, i also sent it to robert, has yet to give feedback, (its the weekend after all), atze is on holidays right now so he's MIA |
| 2025-07-20 15:16:06 +0000 | <haskellbridge> | <magic_rb> thanks for the read, ill check whether i dont have the same ordering problem later and fix if i do |
| 2025-07-20 15:16:11 +0000 | <tomsmeding> | oh and the thing in 3.6.1 |
| 2025-07-20 15:16:37 +0000 | <haskellbridge> | <soyr> magic_rb: Atze is at uni. I literally saw him friday |
| 2025-07-20 15:16:49 +0000 | <haskellbridge> | <magic_rb> He was supposed to be away wtf |
| 2025-07-20 15:16:50 +0000 | <haskellbridge> | <magic_rb> Lol |
| 2025-07-20 15:17:05 +0000 | <haskellbridge> | <magic_rb> Trying to get a break from smh, dont blame him ha |
| 2025-07-20 15:17:16 +0000 | <haskellbridge> | <magic_rb> (Pretty sure he's not lurking here) |
| 2025-07-20 15:18:05 +0000 | <tomsmeding> | I don't know who he is and whether this makes sense timing-wise but academics sometimes do a sabbatical thing where they continue doing research but take a break from other responsibilities at the uni |
| 2025-07-20 15:18:09 +0000 | <haskellbridge> | <soyr> my supervisor left for a term rewriting system conference this week.... |
| 2025-07-20 15:18:11 +0000 | internatetional | (~nate@2404:c0:2120::1e03:aa46) internatetional |
| 2025-07-20 15:18:14 +0000 | <tomsmeding> | it counts as taking holiday hours but at a discount or something |
| 2025-07-20 15:18:29 +0000 | <tomsmeding> | people generally use that time to visit other universities etc |
| 2025-07-20 15:18:50 +0000 | <haskellbridge> | <magic_rb> Ah okay maybe, idk |
| 2025-07-20 15:18:51 +0000 | <tomsmeding> | that might be one way that "holiday" and "I saw him at the office" could be simultaneously true |
| 2025-07-20 15:19:05 +0000 | <haskellbridge> | <magic_rb> In any case, i got other people to bother with feedback >:) |
| 2025-07-20 15:19:11 +0000 | <haskellbridge> | <soyr> A valid explanation |
| 2025-07-20 15:20:21 +0000 | <haskellbridge> | <soyr> How do pictures work here? Because it's a bridge to irc right? |
| 2025-07-20 15:20:42 +0000 | <haskellbridge> | <magic_rb> They dont i think? |
| 2025-07-20 15:20:51 +0000 | <haskellbridge> | <magic_rb> And yes, its bridged to IRC |
| 2025-07-20 15:20:57 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-20 15:21:01 +0000 | <tomsmeding> | they may or may not be available from irc using a link hosted by the bridge service |
| 2025-07-20 15:21:26 +0000 | <tomsmeding> | but mind that regardless of the current conversation, this _is_ still a general haskell room with ~500 people in it on the irc side :p |
| 2025-07-20 15:22:17 +0000 | <haskellbridge> | <magic_rb> :P yeah i just needed a brief hijack as my bridge is still takimg a shit and nothing much seemed to be happening here |
| 2025-07-20 15:22:20 +0000 | <haskellbridge> | <magic_rb> Its sunday anyway |
| 2025-07-20 15:22:31 +0000 | <tomsmeding> | yeah sure |
| 2025-07-20 15:23:08 +0000 | <haskellbridge> | <magic_rb> Anyway, we've concluded our little side quest, so room can return to normal, being offtopic while the offtopic room is ontopic, balanced as everything should be |
| 2025-07-20 15:23:29 +0000 | <haskellbridge> | <soyr> lmaoo |
| 2025-07-20 15:23:54 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 15:24:08 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 15:43:05 +0000 | Square2 | (~Square@user/square) Square |
| 2025-07-20 15:45:51 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 15:47:19 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-20 15:48:55 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-07-20 15:50:59 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-07-20 15:51:31 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 15:52:34 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-07-20 15:55:42 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-07-20 16:02:05 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-20 16:03:06 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-07-20 16:11:34 +0000 | internatetional_ | (~nate@2001:448a:20a3:c2e5:5090:665f:aa5a:b470) internatetional |
| 2025-07-20 16:11:58 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 16:14:06 +0000 | p3n | (~p3n@217.198.124.246) p3n |
| 2025-07-20 16:15:03 +0000 | internatetional | (~nate@2404:c0:2120::1e03:aa46) (Ping timeout: 276 seconds) |
| 2025-07-20 16:15:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-20 16:16:24 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-20 16:19:15 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 16:27:04 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-20 16:27:29 +0000 | internatetional_ | (~nate@2001:448a:20a3:c2e5:5090:665f:aa5a:b470) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2025-07-20 16:28:53 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-07-20 16:31:42 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 16:32:07 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-07-20 16:35:26 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 16:37:44 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-07-20 16:41:07 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-20 16:41:46 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-20 16:46:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-20 16:48:16 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 16:49:35 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 16:51:11 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-20 16:52:47 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 17:00:00 +0000 | <geekosaur> | images turn into links to the Matrix image cache |
| 2025-07-20 17:01:55 +0000 | acidjnk | (~acidjnk@p200300d6e70b6627bd08c11034972950.dip0.t-ipconnect.de) acidjnk |
| 2025-07-20 17:03:14 +0000 | acidjnk_new | (~acidjnk@p200300d6e70b66936d699bc24dec73d4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-20 17:05:44 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea) |
| 2025-07-20 17:09:39 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-07-20 17:10:03 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-20 17:20:19 +0000 | fp | (~Thunderbi@178-133-0-100.mobile.vf-ua.net) fp |
| 2025-07-20 17:28:09 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
| 2025-07-20 17:39:24 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 17:40:28 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 17:41:50 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 17:42:09 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 17:53:50 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 17:54:58 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 17:58:20 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 18:01:48 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-20 18:08:49 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 18:30:41 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-20 18:31:24 +0000 | fp | (~Thunderbi@178-133-0-100.mobile.vf-ua.net) (Ping timeout: 252 seconds) |
| 2025-07-20 18:35:55 +0000 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-20 18:36:27 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
| 2025-07-20 18:42:59 +0000 | rvalue- | rvalue |
| 2025-07-20 18:44:36 +0000 | rhz | (~rhz@190.5.35.164) |
| 2025-07-20 18:45:20 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 18:46:21 +0000 | <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? |
| 2025-07-20 18:47:14 +0000 | <rhz> | Also, are people still using this irc channel or have most moved to the matrix channel? |
| 2025-07-20 18:48:31 +0000 | <rhz> | Regarding the house blueprint library, I've been looking into implicitCAD, but it seems mostly focused on 3d printing |
| 2025-07-20 18:49:56 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 18:51:38 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-07-20 18:52:58 +0000 | <monochrom> | I still use this IRC channel. |
| 2025-07-20 18:54:43 +0000 | <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 18:55:17 +0000 | ciadsyyyl^ | (~ciadsyyyl@99-73-20-238.lightspeed.tukrga.sbcglobal.net) |
| 2025-07-20 18:59:00 +0000 | <rhz> | Thank you |
| 2025-07-20 19:00:02 +0000 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-20 19:00:40 +0000 | <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 19:00:42 +0000 | rhz | (~rhz@190.5.35.164) (Quit: Client closed) |
| 2025-07-20 19:00:42 +0000 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-20 19:01:04 +0000 | trickard_ | trickard |
| 2025-07-20 19:01:17 +0000 | <tomsmeding> | 2 seconds is not very long to wait for an answer :) |
| 2025-07-20 19:01:43 +0000 | <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 19:01:43 +0000 | <lambdabot> | Consider it noted. |
| 2025-07-20 19:01:47 +0000 | <glguy> | going to make a great matrix user |
| 2025-07-20 19:11:58 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 19:15:39 +0000 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 19:15:53 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 19:16:30 +0000 | rhz | (~rhz@190.5.35.164) |
| 2025-07-20 19:17:00 +0000 | turlando_ | (~turlando@user/turlando) turlando |
| 2025-07-20 19:17:02 +0000 | <rhz> | I disconnected I don't know when |
| 2025-07-20 19:17:04 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 260 seconds) |
| 2025-07-20 19:17:46 +0000 | <tomsmeding> | rhz: https://ircbrowse.tomsmeding.com/day/lchaskell/2025/07/20?id=1612260#trid1612260 |
| 2025-07-20 19:17:50 +0000 | <rhz> | Thank you geekosaur |
| 2025-07-20 19:18:12 +0000 | <tomsmeding> | i.e. you didn't miss much |
| 2025-07-20 19:18:51 +0000 | <rhz> | Thank you tomsmeding |
| 2025-07-20 19:19:27 +0000 | <rhz> | That's good to know |
| 2025-07-20 19:20:04 +0000 | <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 19:22:00 +0000 | <rhz> | yushyin: that's interesting, I didn't know gitter was a matrix server |
| 2025-07-20 19:22:36 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 19:23:19 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-07-20 19:23:54 +0000 | <yushyin> | yup, for about 4-5 years by now |
| 2025-07-20 19:24:43 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 19:25:53 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 19:26:17 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 19:26:31 +0000 | <rhz> | is this irc channel bridged to matrix? |
| 2025-07-20 19:26:59 +0000 | <geekosaur> | yes |
| 2025-07-20 19:27:08 +0000 | <geekosaur> | #haskell-irc:matrix.org |
| 2025-07-20 19:27:23 +0000 | <geekosaur> | (#haskell:matrix.org asked not to be bridged to IRC at all) |
| 2025-07-20 19:27:32 +0000 | fp | (~Thunderbi@178-133-0-100.mobile.vf-ua.net) fp |
| 2025-07-20 19:27:48 +0000 | <rhz> | I see. Thank you geekosaur |
| 2025-07-20 19:28:09 +0000 | <geekosaur> | you can /whois haskellbridge for a link detailing the full list |
| 2025-07-20 19:29:47 +0000 | Guest88 | (~Guest64@193.138.7.210) |
| 2025-07-20 19:31:47 +0000 | <Guest88> | hello |
| 2025-07-20 19:33:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-20 19:33:23 +0000 | Guest88 | (~Guest64@193.138.7.210) (Client Quit) |
| 2025-07-20 19:34:30 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 19:38:23 +0000 | gues89935 | (~username@2600:4040:7fd8:100:74d3:42e9:814d:734a) |
| 2025-07-20 19:38:24 +0000 | fp | (~Thunderbi@178-133-0-100.mobile.vf-ua.net) (Read error: Connection reset by peer) |
| 2025-07-20 19:40:43 +0000 | tsuki | (~tsuki@49.37.43.51) (Read error: Connection reset by peer) |
| 2025-07-20 19:41:17 +0000 | Guest40 | (~Guest40@2600:4040:7fd8:100:74d3:42e9:814d:734a) |
| 2025-07-20 19:46:43 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-07-20 19:52:45 +0000 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-07-20 19:54:58 +0000 | Digit | (~user@user/digit) Digit |
| 2025-07-20 19:55:11 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-20 19:57:52 +0000 | gues89935 | (~username@2600:4040:7fd8:100:74d3:42e9:814d:734a) (Remote host closed the connection) |
| 2025-07-20 19:59:12 +0000 | Guest40 | (~Guest40@2600:4040:7fd8:100:74d3:42e9:814d:734a) (Quit: Client closed) |
| 2025-07-20 20:02:02 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-20 20:02:26 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 20:09:22 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-20 20:11:57 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-07-20 20:14:34 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-20 20:19:20 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-20 20:25:34 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 20:36:18 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
| 2025-07-20 20:36:26 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 20:37:38 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-20 20:44:13 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 20:44:24 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-20 20:44:32 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-07-20 20:44:32 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-07-20 20:44:32 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-07-20 20:45:47 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-20 20:47:57 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-07-20 20:48:46 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 20:49:58 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-20 20:55:32 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 20:58:32 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 20:58:47 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-20 20:59:44 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 21:00:12 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 21:02:32 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-20 21:03:39 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-20 21:08:10 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 21:08:32 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 21:11:05 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-07-20 21:15:28 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 21:17:09 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-20 21:29:36 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 21:34:37 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 265 seconds) |
| 2025-07-20 21:36:10 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-07-20 21:40:01 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-07-20 21:42:44 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-07-20 21:48:33 +0000 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-20 21:50:07 +0000 | ft | (~ft@p508db189.dip0.t-ipconnect.de) ft |
| 2025-07-20 21:52:24 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 276 seconds) |
| 2025-07-20 21:52:24 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-20 21:52:37 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
| 2025-07-20 21:56:54 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-07-20 21:59:02 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: "exit") |
| 2025-07-20 22:01:01 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 22:01:20 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 22:02:56 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-20 22:04:34 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-20 22:05:58 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-07-20 22:07:20 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 22:10:50 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-20 22:11:27 +0000 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 22:32:39 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 22:34:24 +0000 | califax | (~califax@user/califx) califx |
| 2025-07-20 22:34:33 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 22:38:17 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-20 22:50:28 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-07-20 22:51:38 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-07-20 22:53:27 +0000 | sprotte24 | (~sprotte24@p200300d16f2948009c678ec48f5f588c.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-07-20 22:55:23 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-20 22:57:24 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-07-20 22:57:24 +0000 | ljdarj1 | ljdarj |
| 2025-07-20 23:10:49 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-20 23:16:28 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 240 seconds) |
| 2025-07-20 23:17:59 +0000 | califax_ | (~califax@user/califx) califx |
| 2025-07-20 23:19:07 +0000 | califax | (~califax@user/califx) (Ping timeout: 244 seconds) |
| 2025-07-20 23:19:14 +0000 | califax_ | califax |
| 2025-07-20 23:24:33 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 23:27:45 +0000 | acidjnk | (~acidjnk@p200300d6e70b6627bd08c11034972950.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-20 23:32:46 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 23:41:59 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-20 23:44:54 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-20 23:46:23 +0000 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-20 23:59:13 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 248 seconds) |