| 2025-07-20 00:00:10 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-07-20 00:00:52 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-07-20 00:05:05 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-07-20 00:12:46 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-07-20 00:17:08 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 00:17:22 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 00:20:56 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-07-20 00:22:41 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-20 00:29:00 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 00:29:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 00:30:00 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-20 00:36:22 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 00:41:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-07-20 00:46:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-20 01:01:31 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 01:01:45 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 01:06:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-07-20 01:07:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-20 01:11:57 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-20 01:13:28 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-07-20 01:22:09 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-07-20 01:26:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2025-07-20 01:49:25 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-20 01:50:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 01:53:48 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-07-20 01:54:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 01:56:10 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-07-20 01:58:40 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 01:58:48 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-07-20 02:01:12 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 02:02:16 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-20 02:03:23 +0200 | sprotte24 | (~sprotte24@p200300d16f1e0200c8cbd284cf29dbca.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-20 02:14:57 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-07-20 02:15:39 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-07-20 02:21:19 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 02:22:07 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-20 02:28:16 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 02:28:30 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 02:37:40 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b66939416f8ce665b0c8c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-07-20 02:38:01 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Ping timeout: 272 seconds) |
| 2025-07-20 02:41:28 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-07-20 02:59:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-20 02:59:46 +0200 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-20 03:03:19 +0200 | trickard_ | trickard |
| 2025-07-20 03:11:42 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-20 03:13:56 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2025-07-20 03:36:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 03:45:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-20 03:45:09 +0200 | falafel | (~falafel@79.117.174.28) (Ping timeout: 272 seconds) |
| 2025-07-20 03:46:28 +0200 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-20 03:49:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-20 03:51:35 +0200 | elnegro | (~elnegro@r167-57-4-53.dialup.adsl.anteldata.net.uy) elnegro |
| 2025-07-20 03:51:59 +0200 | falafel | (~falafel@79.117.174.28) (Remote host closed the connection) |
| 2025-07-20 03:52:42 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-20 03:53:03 +0200 | elnegro | (~elnegro@r167-57-4-53.dialup.adsl.anteldata.net.uy) (Quit: Client closed) |
| 2025-07-20 03:53:20 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2025-07-20 03:58:54 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-07-20 04:02:32 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-07-20 04:04:34 +0200 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-20 04:05:02 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-07-20 04:05:36 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-07-20 04:15:40 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 2025-07-20 04:15:43 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-20 04:23:01 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 04:23:15 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 04:29:10 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-07-20 04:33:28 +0200 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 265 seconds) |
| 2025-07-20 04:35:14 +0200 | td_ | (~td@i53870910.versanet.de) |
| 2025-07-20 04:37:07 +0200 | trickard_ | trickard |
| 2025-07-20 04:49:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-20 04:50:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 04:58:28 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 05:12:27 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 05:12:41 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 05:20:15 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 05:20:58 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-20 05:25:27 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 276 seconds) |
| 2025-07-20 05:39:19 +0200 | aforemny_ | (~aforemny@i59F4C53A.versanet.de) aforemny |
| 2025-07-20 05:39:29 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:cf00:7058:61be:41c0:11e9) (Ping timeout: 260 seconds) |
| 2025-07-20 05:39:40 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-20 05:51:17 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2025-07-20 05:53:33 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-07-20 05:53:50 +0200 | trickard_ | trickard |
| 2025-07-20 05:54:13 +0200 | rhz | (~rhz@190.5.35.164) |
| 2025-07-20 05:58:45 +0200 | tsuki | (~tsuki@49.37.43.51) |
| 2025-07-20 06:19:45 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2025-07-20 06:23:03 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 268 seconds) |
| 2025-07-20 06:48:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-20 06:49:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 06:56:44 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-07-20 06:57:09 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-20 07:16:35 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-20 07:28:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-20 07:32:37 +0200 | coldmountain | (uid484352@id-484352.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 2025-07-20 07:33:09 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-20 07:33:21 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 268 seconds) |
| 2025-07-20 07:33:28 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-07-20 07:33:28 +0200 | ChanServ | +v haskellbridge |
| 2025-07-20 07:33:34 +0200 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2025-07-20 07:33:36 +0200 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 272 seconds) |
| 2025-07-20 07:33:41 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (Ping timeout: 248 seconds) |
| 2025-07-20 07:34:52 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 272 seconds) |
| 2025-07-20 07:34:52 +0200 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-07-20 07:35:11 +0200 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) coldmountain |
| 2025-07-20 07:35:27 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-20 07:35:50 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) mustafa |
| 2025-07-20 07:36:07 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2025-07-20 07:36:11 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) tolt |
| 2025-07-20 07:36:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-07-20 07:36:25 +0200 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-07-20 07:36:55 +0200 | cptaffe` | cptaffe |
| 2025-07-20 07:43:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 07:43:43 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 245 seconds) |
| 2025-07-20 07:49:39 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2025-07-20 07:49:52 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 07:50:06 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 07:57:41 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-20 07:58:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-20 07:59:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd) |
| 2025-07-20 07:59:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 08:00:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-07-20 08:05:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-20 08:15:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-20 08:17:32 +0200 | trickard_ | trickard |
| 2025-07-20 08:20:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 08:21:38 +0200 | hakutaku | (~textual@178.66.130.92) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-07-20 08:22:24 +0200 | hakutaku | (~textual@178.66.130.92) |
| 2025-07-20 08:30:01 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 08:30:15 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 08:36:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-20 08:36:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-20 08:41:37 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-20 08:52:16 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-20 08:52:57 +0200 | rhz | (~rhz@190.5.35.164) (Ping timeout: 272 seconds) |
| 2025-07-20 09:00:00 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-20 09:00:39 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-20 09:10:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-20 09:12:57 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-20 09:20:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-20 09:38:29 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 09:45:11 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 09:46:49 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-20 09:54:40 +0200 | <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 09:54:40 +0200 | <lambdabot> | Consider it noted. |
| 2025-07-20 09:55:23 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 09:55:36 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 09:56:19 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2025-07-20 10:15:00 +0200 | hakutaku | (~textual@178.66.130.92) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-07-20 10:16:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd) |
| 2025-07-20 10:18:38 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 10:18:52 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 10:20:05 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b66938010d81d5f28c9b9.dip0.t-ipconnect.de) |
| 2025-07-20 10:23:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-20 10:25:42 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-20 10:30:27 +0200 | trickard_ | trickard |
| 2025-07-20 10:40:10 +0200 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-07-20 11:05:17 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-07-20 11:08:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-20 11:17:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-20 11:17:19 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2025-07-20 11:20:16 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 276 seconds) |
| 2025-07-20 11:41:37 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-20 11:55:35 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 11:57:45 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-20 12:16:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 12:23:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-20 12:35:23 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b66938010d81d5f28c9b9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-07-20 12:36:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 12:37:58 +0200 | acidjnk | (~acidjnk@p200300d6e70b669341e4993971a3ef7d.dip0.t-ipconnect.de) acidjnk |
| 2025-07-20 12:42:47 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-07-20 12:44:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-20 12:45:28 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 12:47:45 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-20 12:51:27 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-07-20 12:54:17 +0200 | img | (~img@user/img) img |
| 2025-07-20 12:54:26 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-20 12:58:00 +0200 | sprotte24 | (~sprotte24@p200300d16f2948009c678ec48f5f588c.dip0.t-ipconnect.de) |
| 2025-07-20 12:58:06 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 13:05:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-20 13:05:53 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-07-20 13:07:22 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-07-20 13:11:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 13:17:35 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-20 13:18:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-07-20 13:18:56 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-20 13:23:18 +0200 | fp | (~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) fp |
| 2025-07-20 13:25:45 +0200 | fp | (~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) (Read error: Connection reset by peer) |
| 2025-07-20 13:26:49 +0200 | fp | (~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) fp |
| 2025-07-20 13:35:37 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-20 13:37:03 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-07-20 13:41:29 +0200 | fp | (~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2025-07-20 13:59:05 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-20 14:00:21 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-07-20 14:01:13 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-20 14:01:21 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-20 14:02:44 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-07-20 14:03:24 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-20 14:09:49 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-20 14:11:42 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-07-20 14:14:24 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 14:14:29 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2025-07-20 14:20:43 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-20 14:28:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea) |
| 2025-07-20 14:32:35 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-07-20 14:35:26 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-07-20 14:35:35 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-20 14:35:58 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2025-07-20 14:41:41 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-20 14:45:40 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-07-20 14:45:41 +0200 | ljdarj1 | ljdarj |
| 2025-07-20 14:57:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-20 14:58:24 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b66936d699bc24dec73d4.dip0.t-ipconnect.de) |
| 2025-07-20 14:58:41 +0200 | hsw | (~hsw@106.104.103.23) (Remote host closed the connection) |
| 2025-07-20 14:59:27 +0200 | hsw | (~hsw@106.104.103.23) hsw |
| 2025-07-20 14:59:29 +0200 | acidjnk | (~acidjnk@p200300d6e70b669341e4993971a3ef7d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-20 15:02:17 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-20 15:02:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 15:02:51 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-20 15:16:57 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-07-20 15:16:57 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-20 15:21:48 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 15:24:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-20 15:24:42 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-07-20 15:24:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 15:25:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 15:31:58 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-07-20 15:35:14 +0200 | falafel | (~falafel@syn-076-094-081-093.res.spectrum.com) falafel |
| 2025-07-20 15:39:07 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 15:39:22 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-20 15:40:07 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-20 15:40:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-20 15:41:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 15:42:43 +0200 | falafel | (~falafel@syn-076-094-081-093.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-07-20 15:44:19 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-20 15:49:53 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-20 15:57:35 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 15:58:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 15:59:13 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-20 16:06:09 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-07-20 16:12:14 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-20 16:21:59 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Ping timeout: 272 seconds) |
| 2025-07-20 16:23:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-20 16:23:56 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-20 16:25:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 16:36:48 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-07-20 16:37:15 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-07-20 16:38:16 +0200 | Square2 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2025-07-20 16:41:21 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-20 16:47:55 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-20 16:49:31 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-20 16:50:28 +0200 | AlexNoo_ | (~AlexNoo@5.139.233.5) |
| 2025-07-20 16:50:43 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-20 16:51:09 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-20 16:51:14 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2025-07-20 16:52:30 +0200 | AlexZenon | (~alzenon@178.34.150.25) (Ping timeout: 252 seconds) |
| 2025-07-20 16:53:50 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 16:53:57 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-20 16:53:59 +0200 | AlexNoo | (~AlexNoo@178.34.150.25) (Ping timeout: 260 seconds) |
| 2025-07-20 16:55:20 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-20 16:56:03 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-20 16:56:42 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-20 16:59:58 +0200 | AlexZenon | (~alzenon@5.139.233.5) |
| 2025-07-20 17:07:16 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-20 17:09:16 +0200 | AlexNoo_ | AlexNoo |
| 2025-07-20 17:11:37 +0200 | <haskellbridge> | <magic_rb> tomsmeding briefly gonna hijack this room, easier over irc :P |
| 2025-07-20 17:12:24 +0200 | <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 17:12:34 +0200 | <tomsmeding> | lol |
| 2025-07-20 17:12:36 +0200 | <tomsmeding> | nice |
| 2025-07-20 17:12:40 +0200 | <tomsmeding> | awesome |
| 2025-07-20 17:13:14 +0200 | <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 17:13:27 +0200 | <haskellbridge> | <magic_rb> But the whole thing is meant to be fun and lighthearted |
| 2025-07-20 17:14:08 +0200 | <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 17:14:37 +0200 | <haskellbridge> | <magic_rb> Yeah, always sucked at being punctual, both in time and grammar :D |
| 2025-07-20 17:14:38 +0200 | <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 17:14:42 +0200 | <tomsmeding> | heh |
| 2025-07-20 17:14:58 +0200 | <haskellbridge> | <magic_rb> soyr yes i can send it to you too :D i see you reading |
| 2025-07-20 17:15:07 +0200 | <haskellbridge> | <soyr> lfggggg |
| 2025-07-20 17:15:23 +0200 | <haskellbridge> | <soyr> I also am submitting late my thesis lmao |
| 2025-07-20 17:15:44 +0200 | <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 17:16:06 +0200 | <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 17:16:11 +0200 | <tomsmeding> | oh and the thing in 3.6.1 |
| 2025-07-20 17:16:37 +0200 | <haskellbridge> | <soyr> magic_rb: Atze is at uni. I literally saw him friday |
| 2025-07-20 17:16:49 +0200 | <haskellbridge> | <magic_rb> He was supposed to be away wtf |
| 2025-07-20 17:16:50 +0200 | <haskellbridge> | <magic_rb> Lol |
| 2025-07-20 17:17:05 +0200 | <haskellbridge> | <magic_rb> Trying to get a break from smh, dont blame him ha |
| 2025-07-20 17:17:16 +0200 | <haskellbridge> | <magic_rb> (Pretty sure he's not lurking here) |
| 2025-07-20 17:18:05 +0200 | <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 17:18:09 +0200 | <haskellbridge> | <soyr> my supervisor left for a term rewriting system conference this week.... |
| 2025-07-20 17:18:11 +0200 | internatetional | (~nate@2404:c0:2120::1e03:aa46) internatetional |
| 2025-07-20 17:18:14 +0200 | <tomsmeding> | it counts as taking holiday hours but at a discount or something |
| 2025-07-20 17:18:29 +0200 | <tomsmeding> | people generally use that time to visit other universities etc |
| 2025-07-20 17:18:50 +0200 | <haskellbridge> | <magic_rb> Ah okay maybe, idk |
| 2025-07-20 17:18:51 +0200 | <tomsmeding> | that might be one way that "holiday" and "I saw him at the office" could be simultaneously true |
| 2025-07-20 17:19:05 +0200 | <haskellbridge> | <magic_rb> In any case, i got other people to bother with feedback >:) |
| 2025-07-20 17:19:11 +0200 | <haskellbridge> | <soyr> A valid explanation |
| 2025-07-20 17:20:21 +0200 | <haskellbridge> | <soyr> How do pictures work here? Because it's a bridge to irc right? |
| 2025-07-20 17:20:42 +0200 | <haskellbridge> | <magic_rb> They dont i think? |
| 2025-07-20 17:20:51 +0200 | <haskellbridge> | <magic_rb> And yes, its bridged to IRC |
| 2025-07-20 17:20:57 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-20 17:21:01 +0200 | <tomsmeding> | they may or may not be available from irc using a link hosted by the bridge service |
| 2025-07-20 17:21:26 +0200 | <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 17:22:17 +0200 | <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 17:22:20 +0200 | <haskellbridge> | <magic_rb> Its sunday anyway |
| 2025-07-20 17:22:31 +0200 | <tomsmeding> | yeah sure |
| 2025-07-20 17:23:08 +0200 | <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 17:23:29 +0200 | <haskellbridge> | <soyr> lmaoo |
| 2025-07-20 17:23:54 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 17:24:08 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 17:43:05 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-20 17:45:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 17:47:19 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-20 17:48:55 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-07-20 17:50:59 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-07-20 17:51:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 17:52:34 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-07-20 17:55:42 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-07-20 18:02:05 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-07-20 18:03:06 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-07-20 18:11:34 +0200 | internatetional_ | (~nate@2001:448a:20a3:c2e5:5090:665f:aa5a:b470) internatetional |
| 2025-07-20 18:11:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 18:14:06 +0200 | p3n | (~p3n@217.198.124.246) p3n |
| 2025-07-20 18:15:03 +0200 | internatetional | (~nate@2404:c0:2120::1e03:aa46) (Ping timeout: 276 seconds) |
| 2025-07-20 18:15:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-20 18:16:24 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-20 18:19:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 18:27:04 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-20 18:27:29 +0200 | internatetional_ | (~nate@2001:448a:20a3:c2e5:5090:665f:aa5a:b470) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2025-07-20 18:28:53 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-07-20 18:31:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 18:32:07 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-07-20 18:35:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 18:37:44 +0200 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-07-20 18:41:07 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-20 18:41:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-20 18:46:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-20 18:48:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 18:49:35 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 18:51:11 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-20 18:52:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 19:00:00 +0200 | <geekosaur> | images turn into links to the Matrix image cache |
| 2025-07-20 19:01:55 +0200 | acidjnk | (~acidjnk@p200300d6e70b6627bd08c11034972950.dip0.t-ipconnect.de) acidjnk |
| 2025-07-20 19:03:14 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b66936d699bc24dec73d4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-20 19:05:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea) |
| 2025-07-20 19:09:39 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-07-20 19:10:03 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-20 19:20:19 +0200 | fp | (~Thunderbi@178-133-0-100.mobile.vf-ua.net) fp |
| 2025-07-20 19:28:09 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
| 2025-07-20 19:39:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 19:40:28 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 19:41:50 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-20 19:42:09 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 19:53:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-20 19:54:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-20 19:58:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 20:01:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-20 20:08:49 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-20 20:30:41 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-20 20:31:24 +0200 | fp | (~Thunderbi@178-133-0-100.mobile.vf-ua.net) (Ping timeout: 252 seconds) |
| 2025-07-20 20:35:55 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-20 20:36:27 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
| 2025-07-20 20:42:59 +0200 | rvalue- | rvalue |
| 2025-07-20 20:44:36 +0200 | rhz | (~rhz@190.5.35.164) |
| 2025-07-20 20:45:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 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? |
| 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: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:49:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 20:51:38 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-07-20 20:52:58 +0200 | <monochrom> | I still use this IRC channel. |
| 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:55:17 +0200 | ciadsyyyl^ | (~ciadsyyyl@99-73-20-238.lightspeed.tukrga.sbcglobal.net) |
| 2025-07-20 20:59:00 +0200 | <rhz> | Thank you |
| 2025-07-20 21:00:02 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 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:42 +0200 | rhz | (~rhz@190.5.35.164) (Quit: Client closed) |
| 2025-07-20 21:00:42 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-20 21:01:04 +0200 | trickard_ | trickard |
| 2025-07-20 21:01:17 +0200 | <tomsmeding> | 2 seconds is not very long to wait for an answer :) |
| 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:43 +0200 | <lambdabot> | Consider it noted. |
| 2025-07-20 21:01:47 +0200 | <glguy> | going to make a great matrix user |
| 2025-07-20 21:11:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 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:15:53 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 21:16:30 +0200 | rhz | (~rhz@190.5.35.164) |
| 2025-07-20 21:17:00 +0200 | turlando_ | (~turlando@user/turlando) turlando |
| 2025-07-20 21:17:02 +0200 | <rhz> | I disconnected I don't know when |
| 2025-07-20 21:17:04 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 260 seconds) |
| 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:50 +0200 | <rhz> | Thank you geekosaur |
| 2025-07-20 21:18:12 +0200 | <tomsmeding> | i.e. you didn't miss much |
| 2025-07-20 21:18:51 +0200 | <rhz> | Thank you tomsmeding |
| 2025-07-20 21:19:27 +0200 | <rhz> | That's good to know |
| 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:22:00 +0200 | <rhz> | yushyin: that's interesting, I didn't know gitter was a matrix server |
| 2025-07-20 21:22:36 +0200 | caubert | (~caubert@user/caubert) caubert |
| 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:23:54 +0200 | <yushyin> | yup, for about 4-5 years by now |
| 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:25:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 21:26:17 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-20 21:26:31 +0200 | <rhz> | is this irc channel bridged to matrix? |
| 2025-07-20 21:26:59 +0200 | <geekosaur> | yes |
| 2025-07-20 21:27:08 +0200 | <geekosaur> | #haskell-irc:matrix.org |
| 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:32 +0200 | fp | (~Thunderbi@178-133-0-100.mobile.vf-ua.net) fp |
| 2025-07-20 21:27:48 +0200 | <rhz> | I see. Thank you geekosaur |
| 2025-07-20 21:28:09 +0200 | <geekosaur> | you can /whois haskellbridge for a link detailing the full list |
| 2025-07-20 21:29:47 +0200 | Guest88 | (~Guest64@193.138.7.210) |
| 2025-07-20 21:31:47 +0200 | <Guest88> | hello |
| 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:33:23 +0200 | Guest88 | (~Guest64@193.138.7.210) (Client Quit) |
| 2025-07-20 21:34:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 21:38:23 +0200 | gues89935 | (~username@2600:4040:7fd8:100:74d3:42e9:814d:734a) |
| 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:40:43 +0200 | tsuki | (~tsuki@49.37.43.51) (Read error: Connection reset by peer) |
| 2025-07-20 21:41:17 +0200 | Guest40 | (~Guest40@2600:4040:7fd8:100:74d3:42e9:814d:734a) |
| 2025-07-20 21:46:43 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-07-20 21:52:45 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-07-20 21:54:58 +0200 | Digit | (~user@user/digit) Digit |
| 2025-07-20 21:55:11 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 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:59:12 +0200 | Guest40 | (~Guest40@2600:4040:7fd8:100:74d3:42e9:814d:734a) (Quit: Client closed) |
| 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 22:02:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 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:11:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-07-20 22:14:34 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-20 22:19:20 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-20 22:25:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-20 22:36:18 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
| 2025-07-20 22:36:26 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 22:37:38 +0200 | califax | (~califax@user/califx) califx |
| 2025-07-20 22:44:13 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-07-20 22:44:24 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-20 22:44:32 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-07-20 22:44:32 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-07-20 22:44:32 +0200 | haritz | (~hrtz@user/haritz) haritz |