2025/07/20

2025-07-20 00:00:10 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-07-20 00:00:52 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-07-20 00:05:05 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-07-20 00:12:46 +0200ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-07-20 00:17:08 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 00:17:22 +0200trickard_(~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 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-20 00:29:00 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 00:29:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 00:30:00 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in)
2025-07-20 00:36:22 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 00:41:12 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-07-20 00:46:34 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-20 01:01:31 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 01:01:45 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 01:06:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2025-07-20 01:07:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-20 01:11:57 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) falafel
2025-07-20 01:13:28 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-07-20 01:22:09 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-07-20 01:26:26 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds)
2025-07-20 01:49:25 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-20 01:50:48 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 01:53:48 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-07-20 01:54:17 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 01:56:10 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-07-20 01:58:40 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 01:58:48 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-07-20 02:01:12 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 02:02:16 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-20 02:03:23 +0200sprotte24(~sprotte24@p200300d16f1e0200c8cbd284cf29dbca.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-20 02:14:57 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-07-20 02:15:39 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-07-20 02:21:19 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-07-20 02:22:07 +0200califax(~califax@user/califx) califx
2025-07-20 02:28:16 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 02:28:30 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 02:37:40 +0200acidjnk_new(~acidjnk@p200300d6e70b66939416f8ce665b0c8c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-07-20 02:38:01 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) (Ping timeout: 272 seconds)
2025-07-20 02:41:28 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-07-20 02:59:12 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-20 02:59:46 +0200falafel(~falafel@79.117.174.28) falafel
2025-07-20 03:03:19 +0200trickard_trickard
2025-07-20 03:11:42 +0200poscat0x04(~poscat@user/poscat) poscat
2025-07-20 03:13:56 +0200poscat(~poscat@user/poscat) (Ping timeout: 272 seconds)
2025-07-20 03:36:30 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 03:45:03 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-07-20 03:45:09 +0200falafel(~falafel@79.117.174.28) (Ping timeout: 272 seconds)
2025-07-20 03:46:28 +0200falafel(~falafel@79.117.174.28) falafel
2025-07-20 03:49:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-20 03:51:35 +0200elnegro(~elnegro@r167-57-4-53.dialup.adsl.anteldata.net.uy) elnegro
2025-07-20 03:51:59 +0200falafel(~falafel@79.117.174.28) (Remote host closed the connection)
2025-07-20 03:52:42 +0200weary-traveler(~user@user/user363627) user363627
2025-07-20 03:53:03 +0200elnegro(~elnegro@r167-57-4-53.dialup.adsl.anteldata.net.uy) (Quit: Client closed)
2025-07-20 03:53:20 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds)
2025-07-20 03:58:54 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-07-20 04:02:32 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-07-20 04:04:34 +0200Square2(~Square@user/square) (Ping timeout: 248 seconds)
2025-07-20 04:05:02 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-07-20 04:05:36 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-07-20 04:15:40 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!)
2025-07-20 04:15:43 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-20 04:23:01 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 04:23:15 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 04:29:10 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-07-20 04:33:28 +0200td_(~td@i5387093C.versanet.de) (Ping timeout: 265 seconds)
2025-07-20 04:35:14 +0200td_(~td@i53870910.versanet.de)
2025-07-20 04:37:07 +0200trickard_trickard
2025-07-20 04:49:54 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-07-20 04:50:22 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 04:58:28 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-20 05:12:27 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 05:12:41 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 05:20:15 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 05:20:58 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-07-20 05:25:27 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 276 seconds)
2025-07-20 05:39:19 +0200aforemny_(~aforemny@i59F4C53A.versanet.de) aforemny
2025-07-20 05:39:29 +0200aforemny(~aforemny@2001:9e8:6cc7:cf00:7058:61be:41c0:11e9) (Ping timeout: 260 seconds)
2025-07-20 05:39:40 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-07-20 05:51:17 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 248 seconds)
2025-07-20 05:53:33 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-07-20 05:53:50 +0200trickard_trickard
2025-07-20 05:54:13 +0200rhz(~rhz@190.5.35.164)
2025-07-20 05:58:45 +0200tsuki(~tsuki@49.37.43.51)
2025-07-20 06:19:45 +0200tcard_(~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a)
2025-07-20 06:23:03 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 268 seconds)
2025-07-20 06:48:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-07-20 06:49:08 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 06:56:44 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-07-20 06:57:09 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-07-20 07:16:35 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-07-20 07:28:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-20 07:32:37 +0200coldmountain(uid484352@id-484352.helmsley.irccloud.com) (Ping timeout: 248 seconds)
2025-07-20 07:33:09 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Ping timeout: 248 seconds)
2025-07-20 07:33:21 +0200shawwwn(sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 268 seconds)
2025-07-20 07:33:28 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-07-20 07:33:28 +0200ChanServ+v haskellbridge
2025-07-20 07:33:34 +0200cptaffe`(~cptaffe@user/cptaffe) cptaffe
2025-07-20 07:33:36 +0200cptaffe(~cptaffe@user/cptaffe) (Ping timeout: 272 seconds)
2025-07-20 07:33:41 +0200mustafa(sid502723@rockylinux/releng/mustafa) (Ping timeout: 248 seconds)
2025-07-20 07:34:52 +0200tolt(~weechat-h@li219-154.members.linode.com) (Ping timeout: 272 seconds)
2025-07-20 07:34:52 +0200alfiee(~alfiee@user/alfiee) (Ping timeout: 272 seconds)
2025-07-20 07:35:11 +0200coldmountain(sid484352@id-484352.helmsley.irccloud.com) coldmountain
2025-07-20 07:35:27 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-07-20 07:35:50 +0200mustafa(sid502723@rockylinux/releng/mustafa) mustafa
2025-07-20 07:36:07 +0200shawwwn(sid6132@id-6132.helmsley.irccloud.com) shawwwn
2025-07-20 07:36:11 +0200tolt(~weechat-h@li219-154.members.linode.com) tolt
2025-07-20 07:36:18 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2025-07-20 07:36:25 +0200alfiee(~alfiee@user/alfiee) alfiee
2025-07-20 07:36:55 +0200cptaffe`cptaffe
2025-07-20 07:43:01 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 07:43:43 +0200shawwwn(sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 245 seconds)
2025-07-20 07:49:39 +0200shawwwn(sid6132@id-6132.helmsley.irccloud.com) shawwwn
2025-07-20 07:49:52 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 07:50:06 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 07:57:41 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-20 07:58:59 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-07-20 07:59:14 +0200tromp(~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd)
2025-07-20 07:59:22 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 08:00:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2025-07-20 08:05:45 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-20 08:15:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-07-20 08:17:32 +0200trickard_trickard
2025-07-20 08:20:44 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 08:21:38 +0200hakutaku(~textual@178.66.130.92) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-07-20 08:22:24 +0200hakutaku(~textual@178.66.130.92)
2025-07-20 08:30:01 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 08:30:15 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 08:36:21 +0200tromp(~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-20 08:36:38 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-07-20 08:41:37 +0200euphores(~SASL_euph@user/euphores) euphores
2025-07-20 08:52:16 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-20 08:52:57 +0200rhz(~rhz@190.5.35.164) (Ping timeout: 272 seconds)
2025-07-20 09:00:00 +0200caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-20 09:00:39 +0200caconym74(~caconym@user/caconym) caconym
2025-07-20 09:10:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-20 09:12:57 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-20 09:20:04 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-07-20 09:38:29 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 09:45:11 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-07-20 09:46:49 +0200califax(~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 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 09:55:36 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 09:56:19 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds)
2025-07-20 10:15:00 +0200hakutaku(~textual@178.66.130.92) (Quit: Textual IRC Client: www.textualapp.com)
2025-07-20 10:16:45 +0200tromp(~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd)
2025-07-20 10:18:38 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 10:18:52 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 10:20:05 +0200acidjnk_new(~acidjnk@p200300d6e70b66938010d81d5f28c9b9.dip0.t-ipconnect.de)
2025-07-20 10:23:56 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-07-20 10:25:42 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-07-20 10:30:27 +0200trickard_trickard
2025-07-20 10:40:10 +0200nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-07-20 11:05:17 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-07-20 11:08:34 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-20 11:17:11 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-07-20 11:17:19 +0200biberu(~biberu@user/biberu) biberu
2025-07-20 11:20:16 +0200arahael(~arahael@user/arahael) (Ping timeout: 276 seconds)
2025-07-20 11:41:37 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-20 11:55:35 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 11:57:45 +0200__monty__(~toonn@user/toonn) toonn
2025-07-20 12:16:31 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 12:23:44 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-07-20 12:35:23 +0200acidjnk_new(~acidjnk@p200300d6e70b66938010d81d5f28c9b9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-07-20 12:36:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 12:37:58 +0200acidjnk(~acidjnk@p200300d6e70b669341e4993971a3ef7d.dip0.t-ipconnect.de) acidjnk
2025-07-20 12:42:47 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2025-07-20 12:44:02 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-07-20 12:45:28 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-20 12:47:45 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-07-20 12:51:27 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-07-20 12:54:17 +0200img(~img@user/img) img
2025-07-20 12:54:26 +0200euphores(~SASL_euph@user/euphores) euphores
2025-07-20 12:58:00 +0200sprotte24(~sprotte24@p200300d16f2948009c678ec48f5f588c.dip0.t-ipconnect.de)
2025-07-20 12:58:06 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 13:05:32 +0200tromp(~textual@2001:1c00:3487:1b00:ed2e:c1ec:99e:6acd) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-20 13:05:53 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-07-20 13:07:22 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2025-07-20 13:11:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 13:17:35 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-07-20 13:18:00 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-07-20 13:18:56 +0200Lord_of_Life_Lord_of_Life
2025-07-20 13:23:18 +0200fp(~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) fp
2025-07-20 13:25:45 +0200fp(~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) (Read error: Connection reset by peer)
2025-07-20 13:26:49 +0200fp(~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) fp
2025-07-20 13:35:37 +0200arahael(~arahael@user/arahael) arahael
2025-07-20 13:37:03 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n
2025-07-20 13:41:29 +0200fp(~Thunderbi@2001-14bb-ce-ec18-dea2-5cd-93cc-55e7.rev.dnainternet.fi) (Ping timeout: 260 seconds)
2025-07-20 13:59:05 +0200weary-traveler(~user@user/user363627) user363627
2025-07-20 14:00:21 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-07-20 14:01:13 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-07-20 14:01:21 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-20 14:02:44 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Client Quit)
2025-07-20 14:03:24 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-07-20 14:09:49 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-07-20 14:11:42 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-07-20 14:14:24 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 14:14:29 +0200biberu(~biberu@user/biberu) biberu
2025-07-20 14:20:43 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-20 14:28:49 +0200tromp(~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea)
2025-07-20 14:32:35 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2025-07-20 14:35:26 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-07-20 14:35:35 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-07-20 14:35:58 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds)
2025-07-20 14:41:41 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-20 14:45:40 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-07-20 14:45:41 +0200ljdarj1ljdarj
2025-07-20 14:57:39 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-07-20 14:58:24 +0200acidjnk_new(~acidjnk@p200300d6e70b66936d699bc24dec73d4.dip0.t-ipconnect.de)
2025-07-20 14:58:41 +0200hsw(~hsw@106.104.103.23) (Remote host closed the connection)
2025-07-20 14:59:27 +0200hsw(~hsw@106.104.103.23) hsw
2025-07-20 14:59:29 +0200acidjnk(~acidjnk@p200300d6e70b669341e4993971a3ef7d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-07-20 15:02:17 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-20 15:02:17 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 15:02:51 +0200Square2(~Square@user/square) Square
2025-07-20 15:16:57 +0200zfnmxt(~zfnmxt@user/zfnmxt) zfnmxt
2025-07-20 15:16:57 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-20 15:21:48 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 15:24:26 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-07-20 15:24:42 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-07-20 15:24:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 15:25:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-20 15:31:58 +0200troydm(~troydm@user/troydm) troydm
2025-07-20 15:35:14 +0200falafel(~falafel@syn-076-094-081-093.res.spectrum.com) falafel
2025-07-20 15:39:07 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 15:39:22 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-20 15:40:07 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-20 15:40:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-07-20 15:41:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 15:42:43 +0200falafel(~falafel@syn-076-094-081-093.res.spectrum.com) (Ping timeout: 272 seconds)
2025-07-20 15:44:19 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-20 15:49:53 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-20 15:57:35 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 15:58:12 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 15:59:13 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) falafel
2025-07-20 16:06:09 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 260 seconds)
2025-07-20 16:12:14 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in)
2025-07-20 16:21:59 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) (Ping timeout: 272 seconds)
2025-07-20 16:23:54 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-20 16:23:56 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) falafel
2025-07-20 16:25:11 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 16:36:48 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-07-20 16:37:15 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-07-20 16:38:16 +0200Square2(~Square@user/square) (Ping timeout: 272 seconds)
2025-07-20 16:41:21 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-20 16:47:55 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-07-20 16:49:31 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
2025-07-20 16:50:28 +0200AlexNoo_(~AlexNoo@5.139.233.5)
2025-07-20 16:50:43 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-07-20 16:51:09 +0200poscat(~poscat@user/poscat) poscat
2025-07-20 16:51:14 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer)
2025-07-20 16:52:30 +0200AlexZenon(~alzenon@178.34.150.25) (Ping timeout: 252 seconds)
2025-07-20 16:53:50 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 16:53:57 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-20 16:53:59 +0200AlexNoo(~AlexNoo@178.34.150.25) (Ping timeout: 260 seconds)
2025-07-20 16:55:20 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-07-20 16:56:03 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-07-20 16:56:42 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) falafel
2025-07-20 16:59:58 +0200AlexZenon(~alzenon@5.139.233.5)
2025-07-20 17:07:16 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-20 17:09:16 +0200AlexNoo_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 +0200internatetional(~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 +0200weary-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 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 17:24:08 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 17:43:05 +0200Square2(~Square@user/square) Square
2025-07-20 17:45:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 17:47:19 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
2025-07-20 17:48:55 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n
2025-07-20 17:50:59 +0200hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1))
2025-07-20 17:51:31 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 17:52:34 +0200srazkvt(~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 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in)
2025-07-20 18:03:06 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2025-07-20 18:11:34 +0200internatetional_(~nate@2001:448a:20a3:c2e5:5090:665f:aa5a:b470) internatetional
2025-07-20 18:11:58 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 18:14:06 +0200p3n(~p3n@217.198.124.246) p3n
2025-07-20 18:15:03 +0200internatetional(~nate@2404:c0:2120::1e03:aa46) (Ping timeout: 276 seconds)
2025-07-20 18:15:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-20 18:16:24 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-20 18:19:15 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 18:27:04 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-07-20 18:27:29 +0200internatetional_(~nate@2001:448a:20a3:c2e5:5090:665f:aa5a:b470) (Quit: CoreIRC for Android - www.coreirc.com)
2025-07-20 18:28:53 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-07-20 18:31:42 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 18:32:07 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-07-20 18:35:26 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 18:37:44 +0200nek0(~nek0@user/nek0) nek0
2025-07-20 18:41:07 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-07-20 18:41:46 +0200tromp(~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-20 18:46:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-07-20 18:48:16 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 18:49:35 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-07-20 18:51:11 +0200califax(~califax@user/califx) califx
2025-07-20 18:52:47 +0200Frostillicus(~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 +0200acidjnk(~acidjnk@p200300d6e70b6627bd08c11034972950.dip0.t-ipconnect.de) acidjnk
2025-07-20 19:03:14 +0200acidjnk_new(~acidjnk@p200300d6e70b66936d699bc24dec73d4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-07-20 19:05:44 +0200tromp(~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea)
2025-07-20 19:09:39 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2025-07-20 19:10:03 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-20 19:20:19 +0200fp(~Thunderbi@178-133-0-100.mobile.vf-ua.net) fp
2025-07-20 19:28:09 +0200ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3)
2025-07-20 19:39:24 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 19:40:28 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 19:41:50 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 19:42:09 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 19:53:50 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 19:54:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-20 19:58:20 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 20:01:48 +0200tromp(~textual@2001:1c00:3487:1b00:e568:6986:f662:22ea) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-20 20:08:49 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 20:30:41 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-07-20 20:31:24 +0200fp(~Thunderbi@178-133-0-100.mobile.vf-ua.net) (Ping timeout: 252 seconds)
2025-07-20 20:35:55 +0200rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-07-20 20:36:27 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds)
2025-07-20 20:42:59 +0200rvalue-rvalue
2025-07-20 20:44:36 +0200rhz(~rhz@190.5.35.164)
2025-07-20 20:45:20 +0200Frostillicus(~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 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 20:51:38 +0200ouilemur(~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 +0200ciadsyyyl^(~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 +0200caconym74(~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 +0200rhz(~rhz@190.5.35.164) (Quit: Client closed)
2025-07-20 21:00:42 +0200caconym74(~caconym@user/caconym) caconym
2025-07-20 21:01:04 +0200trickard_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 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-20 21:15:39 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-20 21:15:53 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-20 21:16:30 +0200rhz(~rhz@190.5.35.164)
2025-07-20 21:17:00 +0200turlando_(~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 +0200turlando(~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 +0200caubert(~caubert@user/caubert) caubert
2025-07-20 21:23:19 +0200trickard_(~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 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-20 21:25:53 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 21:26:17 +0200trickard_(~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 +0200fp(~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 +0200Guest88(~Guest64@193.138.7.210)
2025-07-20 21:31:47 +0200 <Guest88> hello
2025-07-20 21:33:18 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-20 21:33:23 +0200Guest88(~Guest64@193.138.7.210) (Client Quit)
2025-07-20 21:34:30 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-20 21:38:23 +0200gues89935(~username@2600:4040:7fd8:100:74d3:42e9:814d:734a)
2025-07-20 21:38:24 +0200fp(~Thunderbi@178-133-0-100.mobile.vf-ua.net) (Read error: Connection reset by peer)
2025-07-20 21:40:43 +0200tsuki(~tsuki@49.37.43.51) (Read error: Connection reset by peer)
2025-07-20 21:41:17 +0200Guest40(~Guest40@2600:4040:7fd8:100:74d3:42e9:814d:734a)