Home liberachat/#haskell: Logs Calendar

Logs on 2025-07-20 (liberachat/#haskell)

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

All times are in UTC on 2025-07-20.