Logs on 2023-02-22 (liberachat/#haskell)
| 00:03:37 | → | Charles joins (~Charles@host-23-251-65-156.VALOLT4.epbfi.com) |
| 00:04:01 | × | Charles quits (~Charles@host-23-251-65-156.VALOLT4.epbfi.com) (Client Quit) |
| 00:05:52 | × | slack1256 quits (~slack1256@186.11.53.84) (Remote host closed the connection) |
| 00:06:07 | → | slack1256 joins (~slack1256@186.11.53.84) |
| 00:08:11 | → | falafel joins (~falafel@2607:fb91:143f:e47f:4665:b996:efff:9a7e) |
| 00:11:45 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 00:12:39 | × | cassaundra quits (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 255 seconds) |
| 00:13:22 | → | cassaundra joins (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 00:14:33 | × | elevenkb quits (~elevenkb@105.225.107.83) (Quit: Client closed) |
| 00:16:16 | → | mauke_ joins (~mauke@user/mauke) |
| 00:17:42 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 265 seconds) |
| 00:17:42 | mauke_ | is now known as mauke |
| 00:22:47 | × | Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:23:42 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 00:27:06 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 00:29:28 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 00:31:50 | → | mei joins (~mei@user/mei) |
| 00:33:45 | × | notzmv quits (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 00:33:59 | → | notzmv- joins (~zmv@user/notzmv) |
| 00:35:02 | notzmv- | is now known as livoreno |
| 00:36:03 | × | iteratee quits (~kyle@162.218.222.107) (Ping timeout: 255 seconds) |
| 00:41:00 | × | dcoutts__ quits (~duncan@host86-153-135-38.range86-153.btcentralplus.com) (Ping timeout: 255 seconds) |
| 00:41:01 | × | acidjnk quits (~acidjnk@p200300d6e715c43364f4044e674f7620.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:42:24 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 00:44:29 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 00:44:54 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:45:23 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 00:45:37 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 246 seconds) |
| 00:48:44 | → | biberu joins (~biberu@user/biberu) |
| 00:58:33 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:58:33 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:58:33 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:58:34 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 246 seconds) |
| 00:58:41 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 01:01:39 | → | gpncarl joins (~gpncarl@210.12.195.2) |
| 01:02:23 | × | gpncarl_ quits (~gpncarl@210.12.195.2) (Ping timeout: 248 seconds) |
| 01:02:56 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 01:03:51 | → | biberu joins (~biberu@user/biberu) |
| 01:04:52 | × | livoreno quits (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 01:06:15 | → | notzmv joins (~zmv@user/notzmv) |
| 01:07:16 | Square2 | is now known as Square |
| 01:10:30 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:10:49 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:13:23 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 01:14:50 | → | gmg joins (~user@user/gehmehgeh) |
| 01:16:32 | → | iteratee joins (~kyle@162.218.222.107) |
| 01:16:37 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:19 | × | mei quits (~mei@user/mei) (Ping timeout: 252 seconds) |
| 01:19:23 | → | zaquest joins (~notzaques@5.130.79.72) |
| 01:21:01 | → | mei joins (~mei@user/mei) |
| 01:22:08 | × | werneta quits (~werneta@137.79.195.231) (Remote host closed the connection) |
| 01:27:06 | → | freeside joins (~mengwong@103.252.202.170) |
| 01:30:07 | × | gpncarl quits (~gpncarl@210.12.195.2) (Ping timeout: 248 seconds) |
| 01:30:26 | → | captnemo joins (~captnemo@193.32.127.226) |
| 01:31:32 | → | ddellacosta joins (~ddellacos@146.70.166.157) |
| 01:32:11 | × | slack1256 quits (~slack1256@186.11.53.84) (Ping timeout: 255 seconds) |
| 01:38:36 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 01:41:59 | → | iteratee_ joins (~kyle@2001:470:4071:0:5054:e5ff:fe3b:2859) |
| 01:41:59 | × | iteratee quits (~kyle@162.218.222.107) (Read error: Connection reset by peer) |
| 01:42:54 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:43:13 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 01:43:22 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 01:44:07 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 01:44:54 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 01:48:30 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 01:50:23 | → | freeside joins (~mengwong@103.252.202.170) |
| 01:54:17 | → | nattiestnate joins (~nate@202.138.250.31) |
| 01:54:40 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 01:56:29 | × | xff0x quits (~xff0x@ai081074.d.east.v6connect.net) (Ping timeout: 255 seconds) |
| 01:58:00 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 02:00:47 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 02:06:51 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 02:10:06 | × | Square quits (~Square4@user/square) (Ping timeout: 255 seconds) |
| 02:11:12 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 02:13:08 | × | hsw quits (~hsw@2001:b030:2303:104:172:25:12:132) (Quit: Leaving) |
| 02:13:44 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 02:17:12 | × | telser quits (~quassel@user/telser) (Ping timeout: 255 seconds) |
| 02:17:16 | → | telser_ joins (~quassel@user/telser) |
| 02:18:23 | → | freeside joins (~mengwong@103.252.202.170) |
| 02:19:00 | × | falafel quits (~falafel@2607:fb91:143f:e47f:4665:b996:efff:9a7e) (Ping timeout: 260 seconds) |
| 02:20:00 | × | n8chan quits (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 02:22:42 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 02:25:16 | → | king_gs joins (~Thunderbi@2806:103e:29:1779:d3eb:b709:cb67:5171) |
| 02:26:23 | × | sidy quits (~sidy@user/sidy) (Read error: Connection reset by peer) |
| 02:26:42 | → | sidy joins (~sidy@user/sidy) |
| 02:28:03 | → | raehik joins (~raehik@82.21.176.157) |
| 02:28:32 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 02:29:13 | × | cassaundra quits (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 02:29:43 | → | gmg joins (~user@user/gehmehgeh) |
| 02:29:52 | × | sphynx quits (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Ping timeout: 248 seconds) |
| 02:30:13 | → | cassaundra joins (~cassaundr@73.25.18.25) |
| 02:30:20 | → | sphynx joins (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 02:30:37 | → | werneta joins (~werneta@70.142.214.115) |
| 02:31:03 | → | opticblast joins (~Thunderbi@172.58.82.191) |
| 02:33:18 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 02:37:51 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 02:43:45 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:47:41 | → | n8chan joins (~nate@98.45.169.16) |
| 02:51:07 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:52:44 | × | n8chan quits (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 02:57:06 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6111:c483:164:5daf) |
| 02:59:09 | × | mei quits (~mei@user/mei) (Ping timeout: 255 seconds) |
| 03:01:44 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6111:c483:164:5daf) (Ping timeout: 255 seconds) |
| 03:03:13 | → | mei joins (~mei@user/mei) |
| 03:03:14 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:03:21 | × | jarkad quits (~u@188.163.45.157) (Quit: No Ping reply in 180 seconds.) |
| 03:03:57 | → | prasadi01Newuser joins (~Thunderbi@c-73-22-232-123.hsd1.il.comcast.net) |
| 03:04:46 | → | jarkad joins (~u@188.163.45.157) |
| 03:08:16 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 03:09:43 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 03:11:30 | → | darchitect joins (~darchitec@host86-152-93-169.range86-152.btcentralplus.com) |
| 03:11:39 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:d3eb:b709:cb67:5171) (Ping timeout: 248 seconds) |
| 03:13:44 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 03:14:13 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:afc:ac:1a46:ba2c) (Remote host closed the connection) |
| 03:15:43 | × | darchitect quits (~darchitec@host86-152-93-169.range86-152.btcentralplus.com) (Ping timeout: 248 seconds) |
| 03:15:46 | × | prasadi01Newuser quits (~Thunderbi@c-73-22-232-123.hsd1.il.comcast.net) (Quit: prasadi01Newuser) |
| 03:16:01 | → | prasadi01Newuser joins (~Thunderbi@c-73-22-232-123.hsd1.il.comcast.net) |
| 03:17:09 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 03:18:17 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 03:18:22 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 03:21:07 | × | ell quits (~ellie@user/ellie) (Quit: The Lounge - https://thelounge.chat) |
| 03:22:17 | → | ell joins (~ellie@user/ellie) |
| 03:22:39 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 03:23:31 | → | Vajb joins (~Vajb@85-76-136-128-nat.elisa-mobile.fi) |
| 03:25:15 | → | freeside joins (~mengwong@103.252.202.170) |
| 03:28:55 | × | raehik quits (~raehik@82.21.176.157) (Ping timeout: 252 seconds) |
| 03:29:18 | × | captnemo quits (~captnemo@193.32.127.226) (Quit: WeeChat 3.8) |
| 03:29:45 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 03:32:43 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 03:32:43 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 03:32:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:34:07 | → | gastus_ joins (~gastus@5.83.191.2) |
| 03:37:19 | × | gastus quits (~gastus@5.83.191.28) (Ping timeout: 268 seconds) |
| 03:40:40 | → | razetime joins (~Thunderbi@117.193.7.131) |
| 03:40:49 | → | tzh joins (~tzh@24.21.73.154) |
| 03:42:27 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 03:43:51 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 03:46:34 | × | td_ quits (~td@i5387093F.versanet.de) (Ping timeout: 268 seconds) |
| 03:48:01 | → | td_ joins (~td@i53870915.versanet.de) |
| 03:48:56 | → | freeside joins (~mengwong@103.252.202.170) |
| 03:52:36 | → | falafel joins (~falafel@2607:fb91:143f:e47f:d94d:e852:9047:4282) |
| 03:53:56 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:53:56 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:53:56 | finn_elija | is now known as FinnElija |
| 03:53:57 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 03:54:30 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 03:58:33 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 04:00:30 | × | king_gs quits (~Thunderbi@187.201.41.239) (Ping timeout: 260 seconds) |
| 04:06:55 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 04:09:48 | × | razetime quits (~Thunderbi@117.193.7.131) (Ping timeout: 255 seconds) |
| 04:12:29 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 04:14:24 | × | hololeap quits (~quassel@user/hololeap) (Ping timeout: 248 seconds) |
| 04:14:49 | → | hololeap joins (~quassel@user/hololeap) |
| 04:15:16 | → | razetime joins (~Thunderbi@117.193.7.131) |
| 04:15:25 | → | cheater_ joins (~Username@user/cheater) |
| 04:18:04 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 04:18:10 | cheater_ | is now known as cheater |
| 04:20:05 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 04:23:55 | × | cassaundra quits (~cassaundr@73.25.18.25) (Ping timeout: 252 seconds) |
| 04:24:40 | → | cassaundra joins (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 04:26:34 | → | polyphem joins (~polyphem@2a02:810d:840:8754:4d31:9178:35f:6608) |
| 04:27:05 | → | brettgilio joins (~brettgili@x-irc.gq) |
| 04:27:40 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 04:29:47 | × | raym quits (~ray@user/raym) (Quit: kernel update! Rebooting server...) |
| 04:31:43 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
| 04:34:30 | × | prasadi01Newuser quits (~Thunderbi@c-73-22-232-123.hsd1.il.comcast.net) (Remote host closed the connection) |
| 04:49:04 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 04:50:03 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 04:59:44 | × | Vajb quits (~Vajb@85-76-136-128-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 05:00:32 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 05:02:02 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 05:02:42 | → | Vajb joins (~Vajb@2001:999:230:f561:4ee8:ad7f:13ff:9959) |
| 05:03:31 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 05:08:35 | × | thegeekinside quits (~thegeekin@189.180.66.126) (Ping timeout: 268 seconds) |
| 05:08:38 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 05:09:39 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 05:11:46 | × | jwiegley quits (~jwiegley@2600:1700:cf00:db0:a854:9d9d:a060:90b3) (Quit: ZNC - http://znc.in) |
| 05:11:46 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 05:12:01 | → | mbuf joins (~Shakthi@49.204.138.71) |
| 05:13:26 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 05:14:34 | → | notzmv joins (~zmv@user/notzmv) |
| 05:15:07 | × | polyphem_ quits (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 246 seconds) |
| 05:16:23 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 05:16:51 | × | ddellacosta quits (~ddellacos@146.70.166.157) (Ping timeout: 255 seconds) |
| 05:18:03 | × | polyphem quits (~polyphem@2a02:810d:840:8754:4d31:9178:35f:6608) (Ping timeout: 248 seconds) |
| 05:23:25 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:28:51 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6111:c483:164:5daf) |
| 05:31:42 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 05:38:04 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 05:46:37 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
| 05:47:57 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 05:50:20 | × | mei quits (~mei@user/mei) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 05:50:25 | → | mei joins (~mei@user/mei) |
| 06:01:24 | × | razetime quits (~Thunderbi@117.193.7.131) (Ping timeout: 255 seconds) |
| 06:09:14 | → | razetime joins (~Thunderbi@117.193.7.51) |
| 06:09:59 | → | trev joins (~trev@user/trev) |
| 06:11:13 | × | srk quits (~sorki@user/srk) (Quit: ZNC 1.8.1 - https://znc.in) |
| 06:11:33 | → | srk joins (~sorki@user/srk) |
| 06:19:24 | × | cassaundra quits (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 255 seconds) |
| 06:20:10 | → | cassaundra joins (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 06:21:24 | → | zephyr__ joins (~irfan@106.214.197.187) |
| 06:22:14 | → | razetime1 joins (~Thunderbi@117.254.35.206) |
| 06:22:32 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 06:22:33 | × | razetime quits (~Thunderbi@117.193.7.51) (Ping timeout: 255 seconds) |
| 06:22:34 | razetime1 | is now known as razetime |
| 06:26:40 | × | king_gs quits (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 06:26:52 | → | king_gs1 joins (~Thunderbi@2806:103e:29:1779:7761:b38b:912d:54c8) |
| 06:28:41 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 06:29:09 | king_gs1 | is now known as king_gs |
| 06:32:52 | → | Bocaneri joins (~sauvin@user/Sauvin) |
| 06:33:15 | Bocaneri | is now known as Guest7366 |
| 06:35:13 | × | Sauvin quits (~sauvin@user/Sauvin) (Ping timeout: 252 seconds) |
| 06:35:19 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 06:35:49 | → | jwiegley joins (~jwiegley@2600:1700:cf00:db0:54a5:e5fd:6f88:147e) |
| 06:37:21 | Guest7366 | is now known as SenFache |
| 06:41:00 | × | mcglk_ quits (~mcglk@131.191.19.145) (Ping timeout: 255 seconds) |
| 06:42:45 | → | mcglk joins (~mcglk@131.191.19.145) |
| 06:45:38 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 06:49:33 | × | opticblast quits (~Thunderbi@172.58.82.191) (Ping timeout: 255 seconds) |
| 06:49:59 | → | n8chan joins (~nate@98.45.169.16) |
| 06:50:00 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 06:53:02 | × | mcglk quits (~mcglk@131.191.19.145) (Ping timeout: 255 seconds) |
| 06:54:21 | → | mcglk joins (~mcglk@131.191.19.145) |
| 06:54:52 | × | SenFache quits (~sauvin@user/Sauvin) (Ping timeout: 246 seconds) |
| 06:57:35 | × | n8chan quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 06:58:16 | → | Sauvin joins (~sauvin@user/Sauvin) |
| 07:02:19 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:02:34 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 07:04:56 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 07:07:45 | × | falafel quits (~falafel@2607:fb91:143f:e47f:d94d:e852:9047:4282) (Ping timeout: 260 seconds) |
| 07:10:05 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 07:13:46 | × | razetime quits (~Thunderbi@117.254.35.206) (Ping timeout: 268 seconds) |
| 07:25:49 | → | talismanick joins (~talismani@45.23.184.231) |
| 07:30:55 | → | akegalj joins (~akegalj@78.3.45.165) |
| 07:46:00 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:47:08 | → | michalz joins (~michalz@185.246.207.217) |
| 07:49:15 | → | _xor joins (~xor@72.49.195.228) |
| 07:49:38 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:7761:b38b:912d:54c8) (Remote host closed the connection) |
| 07:49:56 | → | king_gs joins (~Thunderbi@2806:103e:29:1779:7761:b38b:912d:54c8) |
| 07:51:58 | → | razetime joins (~Thunderbi@117.254.35.206) |
| 07:52:54 | → | kenran joins (~user@user/kenran) |
| 07:57:05 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 07:59:25 | → | chele joins (~chele@user/chele) |
| 08:05:49 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 08:06:50 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 08:07:25 | → | acidjnk joins (~acidjnk@p200300d6e715c435546b3c17a2b6e065.dip0.t-ipconnect.de) |
| 08:08:29 | → | nschoe joins (~q@141.101.51.197) |
| 08:13:37 | × | JimL quits (~quassel@89-162-26-217.fiber.signal.no) (Ping timeout: 246 seconds) |
| 08:14:06 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 08:16:50 | × | ft quits (~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:18:52 | × | cassaundra quits (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 08:19:43 | → | cassaundra joins (~cassaundr@73.25.18.25) |
| 08:30:19 | → | JimL joins (~quassel@89-162-26-217.fiber.signal.no) |
| 08:30:25 | → | raym joins (~ray@user/raym) |
| 08:32:01 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 08:32:44 | × | JimL quits (~quassel@89-162-26-217.fiber.signal.no) (Client Quit) |
| 08:35:33 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 08:36:51 | → | sympt6 joins (~sympt@user/sympt) |
| 08:36:54 | → | JimL joins (~quassel@89-162-26-217.fiber.signal.no) |
| 08:37:25 | × | sympt quits (~sympt@user/sympt) (Ping timeout: 246 seconds) |
| 08:37:25 | sympt6 | is now known as sympt |
| 08:41:42 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 08:42:15 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:46:21 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:47:04 | × | mauke quits (~mauke@user/mauke) (Quit: bbl) |
| 08:47:14 | × | razetime quits (~Thunderbi@117.254.35.206) (Remote host closed the connection) |
| 08:50:58 | → | dcoutts__ joins (~duncan@host86-153-135-38.range86-153.btcentralplus.com) |
| 08:55:12 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 08:59:27 | × | zephyr__ quits (~irfan@106.214.197.187) (Quit: leaving) |
| 08:59:43 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 09:00:04 | × | FurudeRika[m] quits (~chitandae@2001:470:69fc:105::1:6039) (Quit: You have been kicked for being idle) |
| 09:00:06 | × | kosmikus[m]1 quits (~andresloe@2001:470:69fc:105::95d) (Quit: You have been kicked for being idle) |
| 09:04:33 | × | dcoutts__ quits (~duncan@host86-153-135-38.range86-153.btcentralplus.com) (Ping timeout: 255 seconds) |
| 09:07:07 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 09:07:41 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 09:08:15 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 09:09:31 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:7761:b38b:912d:54c8) (Ping timeout: 248 seconds) |
| 09:10:55 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 248 seconds) |
| 09:12:12 | → | darchitect joins (~darchitec@host86-152-93-169.range86-152.btcentralplus.com) |
| 09:12:40 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 09:14:04 | → | zeenk joins (~zeenk@2a02:2f04:a214:1e00::7fe) |
| 09:15:33 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 09:16:30 | × | darchitect quits (~darchitec@host86-152-93-169.range86-152.btcentralplus.com) (Ping timeout: 252 seconds) |
| 09:21:40 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 09:22:34 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 09:30:09 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6111:c483:164:5daf) (Remote host closed the connection) |
| 09:31:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:31:36 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:32:08 | → | MajorBiscuit joins (~MajorBisc@145.94.170.210) |
| 09:39:07 | → | cstml joins (~cstml@user/cstml) |
| 09:45:56 | → | elevenkb joins (~elevenkb@105.225.107.83) |
| 09:48:41 | → | ubert joins (~Thunderbi@2a02:8109:abc0:6434:ad27:25b5:8296:f188) |
| 09:56:17 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 09:57:15 | → | califax joins (~califax@user/califx) |
| 10:02:43 | → | teo joins (~teo@user/teo) |
| 10:05:19 | → | mauke joins (~mauke@user/mauke) |
| 10:06:12 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 10:09:27 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:d437:53e9:44b4:c725) |
| 10:17:40 | pwntips | is now known as Guest4217 |
| 10:17:40 | × | Guest4217 quits (~user@24-113-98-114.wavecable.com) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 10:17:57 | → | pwntips_ joins (~user@24-113-98-114.wavecable.com) |
| 10:18:51 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:18:54 | × | cstml quits (~cstml@user/cstml) (Quit: Leaving) |
| 10:26:58 | → | mmhat joins (~mmh@p200300f1c71c1721ee086bfffe095315.dip0.t-ipconnect.de) |
| 10:27:16 | × | akegalj quits (~akegalj@78.3.45.165) (Quit: leaving) |
| 10:28:45 | × | talismanick quits (~talismani@45.23.184.231) (Ping timeout: 252 seconds) |
| 10:29:52 | × | elevenkb quits (~elevenkb@105.225.107.83) (Quit: Client closed) |
| 10:30:39 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
| 10:35:25 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Ping timeout: 260 seconds) |
| 10:35:55 | → | tromp joins (~textual@92.110.219.57) |
| 10:38:26 | → | freeside joins (~mengwong@103.6.151.67) |
| 10:42:08 | × | mmhat quits (~mmh@p200300f1c71c1721ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 10:42:29 | → | mmhat joins (~mmh@p200300f1c71c17a3ee086bfffe095315.dip0.t-ipconnect.de) |
| 10:45:18 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 10:46:19 | × | king_gs quits (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 10:46:34 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 10:46:48 | × | king_gs quits (~Thunderbi@187.201.41.239) (Client Quit) |
| 10:51:39 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 255 seconds) |
| 10:53:26 | <Athas> | How do I make ghci show me the actual type of things with :t? E.g ':info ($)' does not tell me this: https://hackage.haskell.org/package/base-4.17.0.0/docs/Prelude.html#v:-36- |
| 10:56:14 | × | Sauvin quits (~sauvin@user/Sauvin) (Remote host closed the connection) |
| 10:56:44 | → | Sauvin joins (~sauvin@user/Sauvin) |
| 10:56:51 | <mauke> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/representation_polymorphism.html#printing-representation-polymorphic-types ? |
| 10:59:55 | → | xff0x joins (~xff0x@ai081074.d.east.v6connect.net) |
| 11:05:38 | × | tromp quits (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:07:50 | → | tromp joins (~textual@92.110.219.57) |
| 11:10:46 | × | tzh quits (~tzh@24.21.73.154) (Quit: zzz) |
| 11:11:26 | × | nattiestnate quits (~nate@202.138.250.31) (Quit: WeeChat 3.8) |
| 11:12:47 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 11:17:01 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 11:17:48 | → | freeside joins (~mengwong@103.6.151.67) |
| 11:18:36 | → | CiaoSen joins (~Jura@2003:c9:5704:6000:2a3a:4dff:fe84:dbd5) |
| 11:21:01 | → | califax joins (~califax@user/califx) |
| 11:26:18 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 255 seconds) |
| 11:27:51 | → | freeside joins (~mengwong@103.6.151.67) |
| 11:32:13 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 252 seconds) |
| 11:32:17 | <Unhammer> | Just tried ghcup install hls since hls no longer has binary releases – is it normal that it ends up taking 2G disk space? My old ~bin/haskell-language-server-8.10.7 is 200M |
| 11:33:39 | × | cassaundra quits (~cassaundr@73.25.18.25) (Ping timeout: 252 seconds) |
| 11:37:43 | <Hecate> | Unhammer: you're saying that just the binary is taking 2GB? Or the whole tree + compilation artefacts? |
| 11:37:51 | <Unhammer> | whole tree |
| 11:39:33 | <Unhammer> | seems like it has to include all compiler versions, I can't just get 8.10.7 |
| 11:40:32 | → | cassaundra joins (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 11:40:52 | <Unhammer> | but even so du -sh says |
| 11:40:54 | <Unhammer> | 348M .ghcup/hls/1.9.1.0/lib/haskell-language-server-1.9.1.0/lib/8.10.7/ |
| 11:40:56 | <Unhammer> | whereas before |
| 11:40:58 | <Unhammer> | 140M /home/me/bin/haskell-language-server-8.10.7 |
| 11:41:02 | <Unhammer> | (I said 200M, apparently 140M) |
| 11:41:57 | <Unhammer> | though maybe hls just is that much bigger now |
| 11:42:02 | <mauke> | why does cabal ignore the 'optimization: 2' setting in my .cabal file? |
| 11:42:56 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 11:44:03 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:45:04 | → | simeon joins (~pi@143.231.7.51.dyn.plus.net) |
| 11:45:33 | <mauke> | answer: because there is a difference between project.cabal and cabal.project |
| 11:45:37 | <mauke> | jfc |
| 11:46:27 | × | simeon quits (~pi@143.231.7.51.dyn.plus.net) (Client Quit) |
| 11:46:51 | → | simeon joins (~pi@143.231.7.51.dyn.plus.net) |
| 11:48:23 | × | simeon quits (~pi@143.231.7.51.dyn.plus.net) (Client Quit) |
| 11:48:58 | → | simeon joins (~pi@143.231.7.51.dyn.plus.net) |
| 11:49:00 | × | mmhat quits (~mmh@p200300f1c71c17a3ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 11:51:44 | <Unhammer> | (does `strip` work the same when it's a bunch of .so files instead of one big binary?) |
| 11:53:06 | → | Guest7 joins (~Guest7@121.137.248.39) |
| 11:53:26 | × | Guest7 quits (~Guest7@121.137.248.39) (Client Quit) |
| 11:53:28 | <chreekat> | doesn't hls have binary releases? |
| 11:53:50 | → | Guest7 joins (~Guest7@121.137.248.39) |
| 11:53:59 | <chreekat> | (is ghcup building hls?) |
| 11:54:12 | <chreekat> | (asking from ignorance) |
| 11:54:13 | × | gawen_ quits (~gawen@user/gawen) (Quit: cya) |
| 11:55:33 | × | Guest7 quits (~Guest7@121.137.248.39) (Client Quit) |
| 11:56:03 | → | Guest7 joins (~Guest7@121.137.248.39) |
| 11:56:41 | → | Square joins (~Square4@user/square) |
| 11:59:43 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:00:39 | → | gawen joins (~gawen@user/gawen) |
| 12:01:03 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 248 seconds) |
| 12:02:25 | Guest7 | is now known as lsg |
| 12:03:58 | → | koz joins (~koz@121.99.240.58) |
| 12:04:13 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 12:14:31 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 12:18:19 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 12:22:58 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 12:24:42 | <AWizzArd> | Associated type families... they are parsed first yes? So that we can use the family as a constraint in the loc where the `class` is being defined. |
| 12:24:53 | <AWizzArd> | class (F a ~ b) => C a b where |
| 12:24:55 | <AWizzArd> | type F a |
| 12:25:18 | <AWizzArd> | Here F is being used as a constraint, but only in the next line it is being introduced. |
| 12:25:29 | <AWizzArd> | So are classes parsed “inside out”? |
| 12:25:53 | → | merijn joins (~merijn@185.143.104.11) |
| 12:26:37 | → | irfan joins (~irfan@user/irfan) |
| 12:29:53 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:33:01 | × | lsg quits (~Guest7@121.137.248.39) (Quit: Client closed) |
| 12:40:09 | → | nattiestnate joins (~nate@202.138.250.17) |
| 12:41:28 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 12:41:55 | → | califax joins (~califax@user/califx) |
| 12:44:03 | × | CiaoSen quits (~Jura@2003:c9:5704:6000:2a3a:4dff:fe84:dbd5) (Ping timeout: 252 seconds) |
| 12:44:19 | × | xff0x quits (~xff0x@ai081074.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 12:44:44 | → | xff0x joins (~xff0x@178.255.149.135) |
| 12:51:26 | × | tromp quits (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:52:48 | → | lyle joins (~lyle@104.246.145.237) |
| 13:00:38 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:01:06 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 13:01:19 | × | merijn quits (~merijn@185.143.104.11) (Ping timeout: 248 seconds) |
| 13:03:23 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 255 seconds) |
| 13:05:25 | → | koz joins (~koz@121.99.240.58) |
| 13:06:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:08:13 | → | CiaoSen joins (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 13:08:43 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 13:09:17 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 13:10:05 | → | freeside joins (~mengwong@103.6.151.67) |
| 13:10:50 | → | infinity0 joins (~infinity0@pwned.gg) |
| 13:14:39 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 248 seconds) |
| 13:16:54 | → | merijn joins (~merijn@185.143.104.11) |
| 13:19:24 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:20:55 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 246 seconds) |
| 13:22:40 | → | cfricke joins (~cfricke@user/cfricke) |
| 13:22:59 | → | xff0x joins (~xff0x@ai081074.d.east.v6connect.net) |
| 13:27:34 | × | mei quits (~mei@user/mei) (Ping timeout: 246 seconds) |
| 13:34:03 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 13:34:55 | × | merijn quits (~merijn@185.143.104.11) (Ping timeout: 246 seconds) |
| 13:35:07 | × | forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 13:35:46 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 13:35:57 | → | forell joins (~forell@user/forell) |
| 13:38:03 | <geekosaur> | AWizzArd, Haskell avoids "parse order" as much as possible |
| 13:38:27 | <geekosaur> | you can place things on opposite ends of a source file and it's supposed to work |
| 13:38:35 | → | merijn joins (~merijn@145.90.225.7) |
| 13:41:06 | <geekosaur> | (the most common exception is Template Haskell since it's run as the file is read) |
| 13:42:01 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:44:56 | × | the_proffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 13:45:26 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 13:46:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 13:47:47 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 13:48:05 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 13:50:47 | × | merijn quits (~merijn@145.90.225.7) (Ping timeout: 252 seconds) |
| 13:50:55 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 13:51:11 | → | mei joins (~mei@user/mei) |
| 13:52:07 | → | freeside joins (~mengwong@103.6.151.67) |
| 14:00:38 | × | zaquest quits (~notzaques@5.130.79.72) (Quit: Leaving) |
| 14:01:55 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 260 seconds) |
| 14:02:48 | × | litharge quits (litharge@libera/bot/litharge) (Read error: Connection reset by peer) |
| 14:02:53 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 14:03:28 | × | cassaundra quits (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 252 seconds) |
| 14:04:11 | → | cfricke joins (~cfricke@user/cfricke) |
| 14:04:31 | → | cassaundra joins (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 14:05:22 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
| 14:05:29 | → | razetime joins (~Thunderbi@117.254.35.206) |
| 14:05:41 | → | califax joins (~califax@user/califx) |
| 14:08:05 | → | polyphem_ joins (~rod@2a02:810d:840:8754:f07c:b8c8:219e:c03f) |
| 14:14:45 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:15:00 | × | nattiestnate quits (~nate@202.138.250.17) (Quit: WeeChat 3.8) |
| 14:15:51 | × | nschoe quits (~q@141.101.51.197) (Ping timeout: 255 seconds) |
| 14:16:37 | → | nschoe joins (~q@141.101.51.197) |
| 14:18:11 | → | thegeekinside joins (~thegeekin@189.180.66.126) |
| 14:18:21 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:19:31 | × | acidjnk quits (~acidjnk@p200300d6e715c435546b3c17a2b6e065.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 14:20:29 | → | acidjnk joins (~acidjnk@p200300d6e715c435546b3c17a2b6e065.dip0.t-ipconnect.de) |
| 14:20:47 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 14:26:01 | → | freeside joins (~mengwong@103.6.151.67) |
| 14:30:58 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 252 seconds) |
| 14:31:44 | <Unhammer> | chreekat: it downloaded and extracted like 5GB into .ghcup and then it got cleaned into 2GB. But it only took like 10 minutes so probably not compiling |
| 14:32:02 | <Unhammer> | Though slower than just downloading a big binary |
| 14:32:33 | <geekosaur> | (reading back) |
| 14:33:09 | → | polyphem joins (~polyphem@2a02:810d:840:8754:4d31:9178:35f:6608) |
| 14:33:27 | <geekosaur> | strip still works the same on .so files, but the symbol table used for shared object linking is distinct from the debugging symbol table |
| 14:33:34 | <geekosaur> | (and is already minimal) |
| 14:35:51 | <geekosaur> | if you care, `hm` shows you the debugging symbol table by default unless you use the `--dynamic` option, which shows the one used for dynamic linking |
| 14:35:57 | <geekosaur> | er, `nm` |
| 14:36:44 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:37:42 | <Unhammer> | geekosaur, strip seemed to free lots of disk space and I could still use hls so I opened an issue about it |
| 14:38:27 | <geekosaur> | yes. note however thast ghc is moving in the direction of actually using the debugging symbols, so stripping them has a downside in the case of e.g. exceptions |
| 14:39:13 | <geekosaur> | iirc ghc is not currently built by default to use them, it's a build option so you would have to buoild your own ghc and then rebuild anything you wanted to debug with it |
| 14:43:06 | × | ubert quits (~Thunderbi@2a02:8109:abc0:6434:ad27:25b5:8296:f188) (Remote host closed the connection) |
| 14:43:19 | → | ubert joins (~Thunderbi@2a02:8109:abc0:6434:bd48:ce48:a45b:26a1) |
| 14:46:41 | <geekosaur> | `ghc --info | grep libdw` should show if your ghc knows how to use debug symbols |
| 14:47:44 | × | nschoe quits (~q@141.101.51.197) (Quit: Switching off) |
| 14:48:51 | → | merijn joins (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 14:52:39 | → | kurbus joins (~kurbus@user/kurbus) |
| 14:52:46 | × | kurbus quits (~kurbus@user/kurbus) (Client Quit) |
| 14:53:02 | → | kurbus joins (~kurbus@user/kurbus) |
| 14:56:33 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:57:00 | → | litharge joins (litharge@libera/bot/litharge) |
| 14:57:28 | → | freeside joins (~mengwong@103.6.151.67) |
| 14:59:55 | → | ii8 joins (~ii8@45.63.97.131) |
| 15:01:31 | → | jao joins (~jao@92.233.85.247) |
| 15:01:55 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 252 seconds) |
| 15:04:11 | <ii8> | Hello, does anybody have an idea what the issue might be with, or how to debug, this error while compiling persistent-sqlite: `ghc-9.2.5: mmap 131072 bytes at 0: Out of memory`, the linux container ghc is running in is actually not nearly out of memory(I think). |
| 15:06:17 | <geekosaur> | o.O I'd take that one to #ghc; it shouldn't happen |
| 15:07:41 | <c_wraith> | maybe that happens if overcommit is disabled? But yeah, ask in #ghc |
| 15:08:12 | <merijn> | c_wraith: overcommit should be irrelevant |
| 15:08:44 | <merijn> | If the container isn't running out of memory |
| 15:08:45 | <geekosaur> | ("at 0" ieans let the OS pick an address; it's not a problem) |
| 15:08:55 | <geekosaur> | *means |
| 15:09:01 | <c_wraith> | Well, whichever linux kernel setting gets unhappy when it grabs half a terabyte of memory at the startup |
| 15:09:24 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 15:09:43 | <merijn> | c_wraith: It doesn't, it reserves a terabyte, but doesn't allocate, so that's fine. It's probably the container limiting virtual memory address space for some stupid reason |
| 15:09:45 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 15:10:01 | <geekosaur> | that would be my guess as well, there's an rlimit in place |
| 15:11:04 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:13:09 | → | Pickchea joins (~private@user/pickchea) |
| 15:13:46 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 15:14:07 | → | npm_i_kurbus joins (~npm_i_kur@user/kurbus) |
| 15:14:44 | → | npm_i_kurbus11 joins (~npm_i_kur@user/kurbus) |
| 15:14:50 | npm_i_kurbus11 | is now known as kurbus |
| 15:18:27 | → | slack1256 joins (~slack1256@186.11.53.84) |
| 15:18:48 | × | npm_i_kurbus quits (~npm_i_kur@user/kurbus) (Ping timeout: 260 seconds) |
| 15:21:09 | → | ddellacosta joins (~ddellacos@146.70.166.100) |
| 15:21:28 | × | kurbus quits (~npm_i_kur@user/kurbus) (Quit: Client closed) |
| 15:21:31 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 15:22:20 | <ii8> | merijn: yes that was my first thought too, but I've not found anything limiting it |
| 15:29:11 | <merijn> | Tried 'ulimit -a' inside the container? |
| 15:29:13 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 15:29:13 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 15:29:15 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 15:29:43 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 15:30:34 | <ii8> | Yes, there's nothing |
| 15:30:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 15:30:44 | <ii8> | virtual memory is unlimited |
| 15:31:12 | <ii8> | There's a limit on "max locked memory" but I don't think that's relevant |
| 15:32:02 | → | gmg joins (~user@user/gehmehgeh) |
| 15:32:04 | → | n8chan joins (~nate@98.45.169.16) |
| 15:41:16 | → | freeside joins (~mengwong@103.6.151.67) |
| 15:45:30 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 255 seconds) |
| 15:45:35 | × | ubert quits (~Thunderbi@2a02:8109:abc0:6434:bd48:ce48:a45b:26a1) (Ping timeout: 248 seconds) |
| 15:47:49 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 15:48:08 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 15:49:47 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 16:02:09 | → | Hammdist joins (~Hammdist@67.169.114.135) |
| 16:03:25 | → | kuribas joins (~user@188.118.57.242) |
| 16:07:03 | × | sidy quits (~sidy@user/sidy) (Quit: Leaving) |
| 16:07:10 | × | polyphem_ quits (~rod@2a02:810d:840:8754:f07c:b8c8:219e:c03f) (Ping timeout: 246 seconds) |
| 16:08:18 | → | polyphem_ joins (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
| 16:11:14 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 16:23:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
| 16:24:38 | → | freeside joins (~mengwong@103.6.151.67) |
| 16:26:48 | → | __monty__ joins (~toonn@user/toonn) |
| 16:28:49 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 252 seconds) |
| 16:28:49 | → | Pickchea joins (~private@user/pickchea) |
| 16:30:20 | <merijn> | ii8: It could be, if locked memory refers to virtual address space |
| 16:33:54 | → | dcoutts joins (~duncan@86.153.135.38) |
| 16:35:24 | × | dcoutts_ quits (~duncan@host86-153-135-38.range86-153.btcentralplus.com) (Ping timeout: 252 seconds) |
| 16:35:28 | → | dfg joins (~dfg@50.116.28.89) |
| 16:35:28 | × | dfg quits (~dfg@50.116.28.89) (Changing host) |
| 16:35:28 | → | dfg joins (~dfg@user/dfg) |
| 16:36:55 | <geekosaur> | it doesn't |
| 16:37:04 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Remote host closed the connection) |
| 16:37:43 | → | freeside joins (~mengwong@103.6.151.67) |
| 16:37:44 | <geekosaur> | it prevents the memory from being swapped. pretty sure ghc doesn't do this. oracle probably puts its shared memory in an mlock-ed area |
| 16:38:12 | → | Midjak joins (~Midjak@82.66.147.146) |
| 16:39:16 | <merijn> | geekosaur: oracle? |
| 16:39:27 | <geekosaur> | commercial database |
| 16:39:52 | <geekosaur> | its shared memory area is for synchronization between processes using the database, for e.g. transaction control |
| 16:40:03 | <merijn> | I know oracle databases, but how does that relate to the question? |
| 16:40:19 | <geekosaur> | only as an example of something that would use mlock / MAP_LOCK |
| 16:41:08 | <ii8> | merijn: I don't think it does, the same limit exists on the host and it's way too little |
| 16:41:20 | <ii8> | 8KiB or smth |
| 16:45:40 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 246 seconds) |
| 16:46:34 | → | freeside joins (~mengwong@103.6.151.67) |
| 16:47:23 | <segfaultfizzbuzz> | is there a "practical list of the hardest problems" somewhere? for example i am browsing the pspace-complete section of wikipedia, and quantified boolean problems are on this list,... |
| 16:48:58 | <[exa]> | segfaultfizzbuzz: complexity zoo might help |
| 16:49:22 | <[exa]> | segfaultfizzbuzz: here https://complexityzoo.net/Complexity_Zoo |
| 16:50:25 | <segfaultfizzbuzz> | [exa]: okay, but i don't see an indication as to what is the "top" of this list |
| 16:50:46 | <int-e> | We can try to climb higher at least, https://en.wikipedia.org/wiki/2-EXPTIME#Examples |
| 16:50:49 | × | freeside quits (~mengwong@103.6.151.67) (Ping timeout: 252 seconds) |
| 16:50:59 | <segfaultfizzbuzz> | i guess that if i start at PSPACE then next is EXP it says? |
| 16:51:17 | <segfaultfizzbuzz> | oh interesting, grobner bases |
| 16:51:38 | <segfaultfizzbuzz> | i always throught grobner bases were really hard, now i have something to point to lol |
| 16:53:10 | <segfaultfizzbuzz> | oh wow the complement of a regex, fascinating! |
| 16:53:16 | <segfaultfizzbuzz> | i did not expect that to be difficult |
| 16:53:35 | <[exa]> | segfaultfizzbuzz: the order is not linear tbh |
| 16:53:40 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 16:53:48 | <[exa]> | see the pic at https://complexityzoo.net/Petting_Zoo |
| 16:54:33 | <segfaultfizzbuzz> | "EXP contains nearly every other class that we regularly concern ourselves with, including PSPACE and the polynomial hierarchy. " -- i guess this is what i was looking for? |
| 16:54:45 | <[exa]> | segfaultfizzbuzz: "complement to a regex" problem is similar to converting random nice thing from CNF to DNF; sometime it just explodes by listing all possibilities |
| 16:55:41 | <mauke> | speaking of regexes, has anyone done a practical "intersection of languages" thing? |
| 16:56:20 | <[exa]> | segfaultfizzbuzz: btw the usual "next" step is basically towards undecidability; there's some playing space with turing degrees strictly between 0 and φ(0)but not much. |
| 16:56:21 | × | werneta quits (~werneta@70.142.214.115) (Remote host closed the connection) |
| 16:56:44 | <[exa]> | mauke: on regexes or on DFAs? :D |
| 16:56:57 | <mauke> | general (programming) languages |
| 16:57:13 | <segfaultfizzbuzz> | sclv: by the way thanks for referring me to typed lambda calculus, i think this is a strong step towards what i was looking for |
| 16:57:16 | <mauke> | basically, a formal treatment of polyglot programming |
| 16:57:33 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: update & rewind) |
| 16:57:34 | <segfaultfizzbuzz> | polyglot? what is |
| 16:57:51 | <[exa]> | mauke: like, universal programming language where others can be expressed easily too? |
| 16:58:06 | <mauke> | segfaultfizzbuzz: https://github.com/mauke/poly.poly/blob/master/poly.poly |
| 16:58:29 | <mauke> | [exa]: I don't know what that means, but probably no |
| 16:58:35 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 16:58:40 | <segfaultfizzbuzz> | lol |
| 16:58:43 | <[exa]> | ah yeah I see |
| 16:59:17 | <[exa]> | people spent quite a bit of time writing assembly that executes from 2 different entrypoints as entirely different instructions, that might be googlable even |
| 16:59:51 | <segfaultfizzbuzz> | "although it is unknown whether NP is equal to P, we do know that EXPTIME-complete problems are not in P" |
| 16:59:53 | <[exa]> | but that's not polyglotic, I see |
| 17:00:05 | <mauke> | e.g. the thing I linked is written in the common subset of C90, C90, C++, sh, make, tcl, perl, ruby, python2, python3, whitespace, brainfuck, and a whole bunch of Haskell dialects |
| 17:00:19 | <segfaultfizzbuzz> | mauke: you should rewrite it in rust |
| 17:00:39 | <mauke> | it was all manual work |
| 17:00:51 | <segfaultfizzbuzz> | yeah but it needs to be in rust, needs to be memory safe |
| 17:00:51 | <mauke> | so now I'm wondering if there is a way to derive polyglots formally |
| 17:01:08 | <segfaultfizzbuzz> | memory safe polyglots or general ones? |
| 17:01:15 | <[exa]> | mauke: anyway yeah theoretically this is a grammar correspondence problem I'd say, with a few alternative parse trees...which may be pretty hard too |
| 17:01:16 | segfaultfizzbuzz | is just horsing around |
| 17:02:02 | <mauke> | one problem with that is that most languages don't have a grammar specification at the character level, which is what's needed here |
| 17:02:09 | <mauke> | you can't just intersect tokens |
| 17:02:29 | <int-e> | mauke: "<marquee><blink>"... gah, my eyes ;) |
| 17:02:41 | <mauke> | ah, the embedded "html" |
| 17:03:19 | <mauke> | > 2^12 |
| 17:03:21 | <lambdabot> | 4096 |
| 17:03:32 | <[exa]> | mauke: you can expand the tokenizers |
| 17:03:36 | <mauke> | ok, so technically that's 4096 dialects of Haskell that it can distinguish |
| 17:05:16 | <mauke> | [exa]: like, inline them into the grammar? |
| 17:05:22 | <int-e> | Hmm. Formally... it's tricky, because you run straight into the halting problem if you approach this head on. As a human, most of the work is on finding ways to render part of the code inert for most of the languages, which makes polyglots much more manageable. |
| 17:06:03 | × | merijn quits (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 17:06:48 | <mauke> | but it's more fun if you can make them share code :-) |
| 17:06:53 | <[exa]> | mauke: yeah something like that |
| 17:07:05 | <[exa]> | not saying it is the efficient way to get sensible results though |
| 17:07:29 | <mauke> | still messy because you have to handle whitespace explicitly |
| 17:07:49 | <int-e> | mauke: or, at least, data. |
| 17:08:25 | <mauke> | see https://github.com/mauke/poly.poly/blob/master/yes.c for an example that shares the main code between Haskell and Perl |
| 17:08:33 | <mauke> | not just syntactically, but also semantically :-) |
| 17:08:49 | <int-e> | (people have made polyglot quines) |
| 17:10:26 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 17:10:48 | <int-e> | There's also that silly Ouroborous thing, but that's much easier if you understand how quines work. |
| 17:11:40 | → | Guest|9 joins (~Guest|9@183.red-95-125-106.dynamicip.rima-tde.net) |
| 17:12:22 | <int-e> | this one, https://esoteric.codes/blog/the-128-language-quine-relay (primary source: https://github.com/mame/quine-relay ) |
| 17:12:49 | → | mei joins (~mei@user/mei) |
| 17:13:49 | <segfaultfizzbuzz> | "Another set of important EXPTIME-complete problems relates to succinct circuits. Succinct circuits are simple machines used to describe some graphs in exponentially less space. They accept two vertex numbers as input and output whether there is an edge between them." |
| 17:14:05 | × | razetime quits (~Thunderbi@117.254.35.206) (Remote host closed the connection) |
| 17:14:20 | <segfaultfizzbuzz> | so that's as difficult as it goes, as practical problems go? |
| 17:15:13 | <mauke> | ah, it's this guy: https://www.ioccc.org/2019/endoh/hint.html https://www.ioccc.org/2019/endoh/prog.c |
| 17:16:54 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
| 17:17:43 | <segfaultfizzbuzz> | has complexity theory formally adoped parallelism as a first-class construct? from my limited exposure complexity theory emphasizes sequential computation rather than viability of parallel scaling,... anyway this might be too offtopic for #haskell |
| 17:17:57 | × | Guest|9 quits (~Guest|9@183.red-95-125-106.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 17:18:25 | <segfaultfizzbuzz> | that is to say, i don't care if your algorithm is nlogn if i have to run it on one cpu |
| 17:18:44 | <Unhammer> | geekosaur: so strip means i don't get as nice callstacks on errors? |
| 17:19:28 | <geekosaur> | the other ways of getting callstacks are compiling with profiling and running with +RTS -xc, or sprinkling HasCallstack constraints everywhere |
| 17:20:43 | <geekosaur> | the intent of the (sadly, still in development but partially functional now iirc) symbol stuff is to improve this situation and in particular make it not require extra work or slowdowns (both the others slow things down, HasCallstack admittedly not as much as a profiled build) |
| 17:21:01 | <geekosaur> | but as I said, it defaults off currently because it's still a WIP |
| 17:21:43 | <geekosaur> | so it's probably okay to strip now, but at some point you'll want to keep the symbols for better debugging |
| 17:22:03 | <kuribas> | Does the term "referential transparency" imply pure? I just believed it meant that semantics are not changed if you put this code in another place, however according to wikipedia article it means no side-effects. |
| 17:22:09 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:23:32 | <geekosaur> | "semantics are not changed if you put this code in another place" is difficult because of references to bindings outside of the code; it's a much stronger condition and in particular requires that it be self-contained aside from passed-in parameters |
| 17:24:32 | × | _xor quits (~xor@72.49.195.228) (Quit: brb) |
| 17:24:46 | → | whatsupdoc joins (uid509081@2a03:5180:f:4::7:c499) |
| 17:24:50 | <geekosaur> | (now consider that every function you invoke is a binding outside the code, so you have problems if any of them is redefined locally by e.g. let-in) |
| 17:25:05 | → | _xor joins (~xor@72.49.195.228) |
| 17:25:45 | × | turlando quits (~turlando@user/turlando) () |
| 17:25:54 | × | ddellacosta quits (~ddellacos@146.70.166.100) (Quit: WeeChat 3.8) |
| 17:26:11 | → | turlando joins (~turlando@user/turlando) |
| 17:26:44 | → | ddellacosta joins (~ddellacos@146.70.166.100) |
| 17:27:32 | × | turlando quits (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 17:28:38 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Remote host closed the connection) |
| 17:29:19 | <kuribas> | I mean, excluding side-effects such as printing a value, or doing a http call, seems to limit the usefulness of referentially transparent. |
| 17:30:01 | <kuribas> | Could I call it referentially transparent as long as the outside bindings are preserved? |
| 17:30:37 | <kuribas> | As in, not shadowing calls to library functions or other modules. |
| 17:31:31 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 17:31:49 | <kuribas> | I mean, in a way it is a good property if outside references cannot be shadowed. |
| 17:32:02 | <geekosaur> | you can even shadow those since they'll only apply locally |
| 17:32:10 | ← | jao parts (~jao@92.233.85.247) () |
| 17:32:18 | <geekosaur> | you can't affect "outside" code with them |
| 17:32:19 | <dminuoso_> | kuribas: https://stackoverflow.com/a/69384679/6636995 |
| 17:33:01 | <dminuoso_> | My point here is: Users of the expression `referentially transparent` should clearly define what they mean by that. |
| 17:33:20 | × | _xor quits (~xor@72.49.195.228) (Quit: brb again) |
| 17:33:23 | × | CiaoSen quits (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 17:33:42 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
| 17:33:47 | <Guillaum[m]> | I'm looking for a warning I can turn on in GHC which may tell me when a file is not named according to its module name (i.e. if module Foo.Bar.Baz is in file fiz/Foz/buz.hs). I found DriverFileModuleNameMismatch error case in GHC codebase, but it is unclear for me how to trigger that. |
| 17:34:05 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:34:47 | <kuribas> | dminuoso_: I heared the term first when doing scheme, not haskell. |
| 17:35:30 | × | MajorBiscuit quits (~MajorBisc@145.94.170.210) (Quit: WeeChat 3.6) |
| 17:35:31 | <geekosaur> | Guillaum[m], it's not a warning, it's an error |
| 17:36:03 | <geekosaur> | (and suppressed if the module name is Main) |
| 17:36:41 | × | kuribas quits (~user@188.118.57.242) (Quit: ERC (IRC client for Emacs 27.1)) |
| 17:36:51 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 17:37:27 | × | Hammdist quits (~Hammdist@67.169.114.135) (Quit: Client closed) |
| 17:37:31 | <Guillaum[m]> | geekosaur: and is there a way to turn this error "ON"? Right now, I'm building (with a custom build system based on bazel) haskell files and any incoherency in the naming is fine except for code coverage and HLS and so we detect the mistake too late in the process unfortunately (i.e. users are able to sneak this kind of mistake in merge request, which are merged...) |
| 17:38:14 | <geekosaur> | yeh, I'm experimenting and I thought I'd seen it automatically when a file name mismatched its module name, but it just let me do it 😞 |
| 17:38:36 | <dminuoso_> | HLS at least tells me if there's a mismatch |
| 17:38:50 | × | irfan quits (~irfan@user/irfan) (Quit: leaving) |
| 17:39:21 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 17:40:11 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
| 17:41:15 | → | turlando joins (~turlando@user/turlando) |
| 17:41:35 | → | raehik joins (~raehik@82.21.176.157) |
| 17:42:34 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 17:45:28 | → | ph88 joins (~ph88@91.66.101.83) |
| 17:47:16 | × | teo quits (~teo@user/teo) (Ping timeout: 246 seconds) |
| 17:47:34 | <mechap> | does anyone use stack on arch ? did you install it manually or did you use the stack-static aur package ? |
| 17:48:14 | <dminuoso_> | mechap: You probably want to use ghcup. |
| 17:48:25 | → | dcoutts_ joins (~duncan@86.153.135.38) |
| 17:48:48 | <mechap> | ok |
| 17:50:57 | × | dcoutts quits (~duncan@86.153.135.38) (Ping timeout: 252 seconds) |
| 17:51:03 | <dminuoso_> | mechap: I have yet to find any arch user who places measurable trust into the aur haskell ecosystem. Maybe stack-static is fine, maybe its not. |
| 17:51:32 | <dminuoso_> | But the ghcup approach will give you stack or related programs, and they do work., |
| 17:53:19 | <mechap> | dminuoso_: I am having gpg errors https://dpaste.com/7UCSNRM8M |
| 17:54:01 | <dminuoso_> | mechap: well that looks like the aur package, no? |
| 17:54:31 | <dminuoso_> | In a related note: gpg diagnostics tend to be horrible. |
| 17:54:44 | <dminuoso_> | It's as if GPG was a huge global UX experiment gone wrong;. |
| 17:54:57 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 17:54:57 | → | werneta joins (~werneta@137.79.215.205) |
| 17:55:29 | <segfaultfizzbuzz> | " We can’t encode loops in SAT, but we can encode “N steps of a Turing machine” by repeating the same formula N times with small variations. " -- interesting |
| 17:56:00 | <mechap> | dminuoso_: yes |
| 17:58:19 | → | econo joins (uid147250@user/econo) |
| 17:58:56 | → | dcoutts__ joins (~duncan@86.153.135.38) |
| 17:59:14 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 18:01:13 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust353.4-3.cable.virginm.net) |
| 18:03:25 | × | dcoutts__ quits (~duncan@86.153.135.38) (Ping timeout: 252 seconds) |
| 18:04:31 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 18:04:53 | × | mbuf quits (~Shakthi@49.204.138.71) (Quit: Leaving) |
| 18:08:28 | → | dcoutts__ joins (~duncan@86.153.135.38) |
| 18:08:43 | × | zeenk quits (~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!) |
| 18:10:22 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust353.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 18:12:25 | → | dcoutts joins (~duncan@82.15.57.30) |
| 18:13:19 | × | dcoutts__ quits (~duncan@86.153.135.38) (Ping timeout: 252 seconds) |
| 18:13:19 | × | dcoutts_ quits (~duncan@86.153.135.38) (Ping timeout: 252 seconds) |
| 18:13:32 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 18:14:27 | → | varoo joins (~varoo@117.203.246.41) |
| 18:16:09 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:16:22 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 18:19:32 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:19:52 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:20:55 | → | ft joins (~ft@62.155.196.67) |
| 18:21:38 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Remote host closed the connection) |
| 18:22:02 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 18:23:47 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 18:24:12 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Remote host closed the connection) |
| 18:24:34 | → | dcoutts_ joins (~duncan@82.15.57.30) |
| 18:24:36 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 18:33:18 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 18:35:08 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 18:35:41 | → | mei joins (~mei@user/mei) |
| 18:36:08 | × | dcoutts_ quits (~duncan@82.15.57.30) (Remote host closed the connection) |
| 18:36:32 | → | dcoutts_ joins (~duncan@82.15.57.30) |
| 18:37:04 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 18:38:08 | → | anatta joins (~AdiIRC@h-155-4-132-216.NA.cust.bahnhof.se) |
| 18:39:18 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Remote host closed the connection) |
| 18:45:50 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 18:48:12 | × | Square quits (~Square4@user/square) (Ping timeout: 255 seconds) |
| 18:49:15 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:55:42 | × | dsrt^ quits (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 18:58:49 | → | tzh joins (~tzh@24.21.73.154) |
| 19:06:33 | → | captnemo joins (~captnemo@193.32.127.226) |
| 19:07:35 | × | dcoutts_ quits (~duncan@82.15.57.30) (Ping timeout: 252 seconds) |
| 19:08:59 | → | Kuttenbrunzer joins (~Kuttenbru@2a02:8108:8b80:1d48::6afd) |
| 19:09:56 | → | SNOOP joins (~Kuttenbru@2a02:8108:8b80:1d48::6afd) |
| 19:12:19 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
| 19:15:49 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 19:17:48 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 19:19:03 | × | SNOOP quits (~Kuttenbru@2a02:8108:8b80:1d48::6afd) (Quit: Where is it) |
| 19:19:58 | × | Kuttenbrunzer quits (~Kuttenbru@2a02:8108:8b80:1d48::6afd) (Remote host closed the connection) |
| 19:21:04 | → | eggplantade joins (~Eggplanta@104.55.37.220) |
| 19:22:37 | × | varoo quits (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 19:22:51 | × | eggplantade quits (~Eggplanta@104.55.37.220) (Remote host closed the connection) |
| 19:29:36 | × | JimL quits (~quassel@89-162-26-217.fiber.signal.no) (Ping timeout: 255 seconds) |
| 19:30:22 | → | JimL joins (~quassel@89-162-26-217.fiber.signal.no) |
| 19:45:12 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 19:52:18 | → | opticblast joins (~Thunderbi@172.58.83.168) |
| 20:00:16 | × | JimL quits (~quassel@89-162-26-217.fiber.signal.no) (Ping timeout: 246 seconds) |
| 20:01:29 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 20:02:36 | → | JimL joins (~quassel@89.162.26.217) |
| 20:10:52 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 20:11:42 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 20:13:05 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 20:13:39 | <segfaultfizzbuzz> | https://arxiv.org/pdf/2204.06256.pdf fun - fast hardware arbitrary precision floats |
| 20:14:43 | × | brettgilio quits (~brettgili@x-irc.gq) (Read error: Connection reset by peer) |
| 20:23:20 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
| 20:23:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:27:12 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 20:27:43 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Ping timeout: 248 seconds) |
| 20:28:59 | × | elkcl quits (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Read error: Connection reset by peer) |
| 20:29:07 | → | elkcl joins (~elkcl@37.110.27.252) |
| 20:29:30 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 20:34:57 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 20:38:25 | × | Vajb quits (~Vajb@2001:999:230:f561:4ee8:ad7f:13ff:9959) (Read error: Connection reset by peer) |
| 20:38:33 | → | Vajb joins (~Vajb@88.195.165.27) |
| 20:42:11 | × | elkcl quits (~elkcl@37.110.27.252) (Ping timeout: 252 seconds) |
| 20:43:58 | × | Vajb quits (~Vajb@88.195.165.27) (Read error: Connection reset by peer) |
| 20:44:31 | → | Everything joins (~Everythin@46.185.124.65) |
| 20:45:12 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 20:46:08 | → | Vajb joins (~Vajb@2001:999:230:f561:4ee8:ad7f:13ff:9959) |
| 20:47:00 | × | lyle quits (~lyle@104.246.145.237) (Quit: WeeChat 3.8) |
| 20:48:01 | → | Sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 20:52:37 | → | M0rphee[m] joins (~M0rpheema@2001:470:69fc:105::2:b1ce) |
| 20:54:25 | <M0rphee[m]> | so... I want to declare a typeclass that looks something like this:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/a60e1d783da573d11dc4cda0a83798c4194da41d>) |
| 20:55:02 | <M0rphee[m]> | could someone help me to arrive to a viable approach to this? |
| 20:55:09 | <M0rphee[m]> | * so... I want to declare a typeclass that looks something like this:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/148110d389c9fd4a25887ed2c1fe466eb47f7818>) |
| 20:55:31 | <M0rphee[m]> | * a viable alternative approach to |
| 20:55:40 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:55:56 | → | dcoutts_ joins (~duncan@82.15.57.30) |
| 20:56:24 | <monochrom> | Does "Bool" exist? |
| 20:56:33 | <dminuoso_> | True. |
| 20:57:08 | <monochrom> | But as a type class such that one can write "class (Num a, Bool a) => ..." |
| 20:57:22 | → | elkcl joins (~elkcl@37.110.27.252) |
| 20:57:46 | <dminuoso_> | M0rphee[m]: Anyway, there's too much disconnect in that pseudo code, its "too wrong" for me to recognize your thought process. |
| 20:58:08 | <dminuoso_> | The typeclass mentions two superclasses `Num a` and `Bool a`, but `a` is not mentioned in the instance head. |
| 20:59:12 | <dminuoso_> | Further |
| 20:59:26 | <dminuoso_> | There's nothing wrong with saying `class BFMemory container cell where ...` |
| 20:59:28 | <M0rphee[m]> | monochrom: oh sorry, thats incorrect |
| 20:59:32 | <monochrom> | My more meta question is is this premature generalization? How do you know this type class would do any good? |
| 20:59:40 | <M0rphee[m]> | * so... I want to declare a typeclass that looks something like this:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/41f10825520790ffb174926ce63c4da75495a1f4>) |
| 20:59:49 | <dminuoso_> | M0rphee[m]: Specifically, you dont need to declare that `container` be applied to `cell`, you can make that connection in any of the class methods. |
| 21:00:10 | <dminuoso_> | So yes, what you wrote at the bottom is the way to do it. |
| 21:00:14 | <M0rphee[m]> | * so... I want to declare a typeclass that looks something like this:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/0e1655b081d08ee68d01cfa67f1ed039e18f2942>) |
| 21:01:01 | <M0rphee[m]> | dminuoso_: yeah, im sorry, i wrote that incorrectly when typing the message, I edited the code with the correct definitions |
| 21:01:29 | <dminuoso_> | `class (Num cell, Eq cell) => BFMemory (mem :: Type -> Type) (cell :: Type) where ...` |
| 21:02:08 | <dminuoso_> | M0rphee[m]: What might be useful to you is perhaps use an associated type synonym to give `mem` applied to `cell` a name, which you can then use in its type signatures. |
| 21:02:19 | <dminuoso_> | (Or even use it outside of the typeclass) |
| 21:02:34 | <M0rphee[m]> | dminuoso_: oh yeah, but I want to arrive a to a typeclass that describes the behavior of some type `mem cell` |
| 21:03:27 | <M0rphee[m]> | trying to declare it like: `class (Num cell, Eq cell) => BFMemory (mem cell) where` is what i would like to do, but thats not possible |
| 21:03:41 | <dminuoso_> | `class (Num cell, Eq cell) => BFMemory (mem :: Type -> Type) (cell :: Type) where ...` |
| 21:03:45 | <dminuoso_> | Does that. What's wrong with it?\ |
| 21:06:40 | <M0rphee[m]> | <monochrom> "My more meta question is is this..." <- hmm i dont think so: what this typeclass does, is to have a general interface for some different (mem cell) types, so I can write functions like: `BFMemory a => a -> b -> c` without having to take into account the concrete `mem` and `cell` types |
| 21:08:24 | <dminuoso_> | What's wrong with `BFMemory s t => s t -> b -> c`? |
| 21:08:39 | × | codaraxis quits (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 21:10:48 | <M0rphee[m]> | <dminuoso_> "(Or even use it outside of the..." <- hmm ok, but know, thinking in those terms, if there was an instance like: `instance Vector Int` for example, now the compiler complains about orphan instances. |
| 21:10:48 | <M0rphee[m]> | see, I don't think this particular application would be at risk for this case, but should I be careful regarding that? |
| 21:10:48 | <M0rphee[m]> | (this is for a Brainfuck interpreter) |
| 21:11:37 | <dminuoso_> | M0rphee[m]: Simply said, an orphan instance occurs when an `instance C T` definition occurs outside the module that defines either `C` or `T`. |
| 21:11:44 | <dminuoso_> | It's protection against incoherent instancens |
| 21:12:22 | <dminuoso_> | (i.e. it could in very rare situations lead to two parts of the program resolving a typeclass instance for the same type to different implementations) |
| 21:12:36 | <dminuoso_> | So this is a fundamental issue with typeclasses |
| 21:13:21 | × | dcoutts_ quits (~duncan@82.15.57.30) (Ping timeout: 252 seconds) |
| 21:13:36 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 21:14:26 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 21:17:40 | <M0rphee[m]> | well, then I will do it that way: `BFMemory s t => s t -> b -> c`, and disregard the oprhan instances warning |
| 21:18:16 | <M0rphee[m]> | thanks for your answers, now I see, what I wanted to do is kinda pointless with that solution |
| 21:18:19 | × | cassaundra quits (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 21:19:13 | → | cassaundra joins (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
| 21:23:08 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 21:27:08 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 21:28:55 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:30:08 | × | tomku|two quits (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 21:30:15 | → | tomku joins (~tomku@user/tomku) |
| 21:31:33 | × | slack1256 quits (~slack1256@186.11.53.84) (Ping timeout: 255 seconds) |
| 21:37:06 | × | opticblast quits (~Thunderbi@172.58.83.168) (Ping timeout: 268 seconds) |
| 21:38:13 | → | pavonia joins (~user@user/siracusa) |
| 21:38:44 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 21:40:29 | × | raehik quits (~raehik@82.21.176.157) (Ping timeout: 252 seconds) |
| 21:40:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 21:47:10 | → | opticblast joins (~Thunderbi@172.58.84.5) |
| 21:48:36 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 21:50:43 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 21:56:00 | <segfaultfizzbuzz> | does anyone here understand sheaves? |
| 21:56:12 | <segfaultfizzbuzz> | i need to have a concrete understanding of them |
| 21:57:08 | <geekosaur> | I don't understand you. you want as abstract as possible understandings of concrete stuff, now you want a concrete understanding of something abstract? |
| 21:58:32 | <monochrom> | Perhaps "concrete understanding" is just hyperbole for "understanding" :) |
| 21:58:34 | → | zeenk joins (~zeenk@2a02:2f04:a214:1e00::7fe) |
| 21:59:25 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Quit: segfaultfizzbuzz) |
| 22:02:48 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 22:03:41 | <geekosaur> | I don't think they liked that reaction… |
| 22:04:22 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 22:04:31 | <monochrom> | Good riddance. |
| 22:09:35 | <darkling> | Always an uphill struggle. |
| 22:16:57 | → | notzmv joins (~zmv@user/notzmv) |
| 22:18:46 | → | Square joins (~Square4@user/square) |
| 22:21:32 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 22:24:56 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
| 22:27:35 | × | myxokeph quits (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokeph) |
| 22:30:21 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Ping timeout: 252 seconds) |
| 22:32:06 | × | hololeap quits (~quassel@user/hololeap) (Quit: Bye) |
| 22:33:08 | → | hololeap joins (~quassel@user/hololeap) |
| 22:33:23 | → | stevenxl joins (~stevenxl@c-73-51-65-140.hsd1.il.comcast.net) |
| 22:38:12 | <drdo> | haha |
| 22:38:20 | × | stevenxl quits (~stevenxl@c-73-51-65-140.hsd1.il.comcast.net) (Quit: leaving) |
| 22:38:26 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 22:41:49 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:d437:53e9:44b4:c725) (Remote host closed the connection) |
| 22:42:08 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 22:44:55 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:45:22 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:46:50 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 22:46:51 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
| 22:47:16 | → | raehik joins (~raehik@82.21.176.157) |
| 22:47:17 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 22:47:55 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 22:51:21 | → | k8yun joins (~k8yun@user/k8yun) |
| 22:56:09 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 22:57:30 | → | dcoutts_ joins (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
| 22:58:23 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 23:00:09 | → | myxokeph joins (~myxokeph@65.28.251.121) |
| 23:01:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:02:22 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 23:03:48 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 23:06:29 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 23:10:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:10:05 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 23:10:50 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 23:12:25 | × | dcoutts_ quits (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 23:16:26 | → | dcoutts_ joins (~duncan@82.15.57.30) |
| 23:20:28 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 23:25:37 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:26:32 | → | Guest89 joins (~Guest89@5-157-196-109.itvmedia.pl) |
| 23:28:38 | × | thegeekinside quits (~thegeekin@189.180.66.126) (Read error: Connection reset by peer) |
| 23:30:13 | → | thegeekinside joins (~thegeekin@189.180.66.126) |
| 23:31:52 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 23:33:06 | → | cross joins (~cross@166.84.136.80) |
| 23:42:31 | × | thegeekinside quits (~thegeekin@189.180.66.126) (Ping timeout: 246 seconds) |
| 23:43:01 | ← | Guest89 parts (~Guest89@5-157-196-109.itvmedia.pl) () |
| 23:46:37 | × | raehik quits (~raehik@82.21.176.157) (Ping timeout: 252 seconds) |
| 23:47:37 | × | k8yun quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 23:49:10 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 23:54:20 | <Square> | What is a good Haskell online conference to attend this year? |
| 23:58:02 | <monochrom> | I don't actually know any Haskell conference other than Haskell Love. |
All times are in UTC on 2023-02-22.