2023-02-22 00:01:36 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-02-22 00:03:58 +0100 | dcoutts__ | (~duncan@host86-153-135-38.range86-153.btcentralplus.com) |
2023-02-22 00:04:22 +0100 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
2023-02-22 00:06:30 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
2023-02-22 00:09:37 +0100 | Square2 | (~Square4@user/square) |
2023-02-22 00:14:40 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
2023-02-22 00:15:21 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2023-02-22 00:20:48 +0100 | coot | (~coot@213.134.171.3) (Quit: coot) |
2023-02-22 00:20:55 +0100 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2023-02-22 00:25:51 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2023-02-22 00:26:39 +0100 | gpncarl_ | (~gpncarl@210.12.195.2) |
2023-02-22 00:28:16 +0100 | gpncarl | (~gpncarl@222.249.231.4) (Ping timeout: 246 seconds) |
2023-02-22 00:30:22 +0100 | Vajb | (~Vajb@2001:999:230:f561:4ee8:ad7f:13ff:9959) (Ping timeout: 246 seconds) |
2023-02-22 00:37:45 +0100 | coot | (~coot@213.134.171.3) |
2023-02-22 00:37:54 +0100 | coot | (~coot@213.134.171.3) (Remote host closed the connection) |
2023-02-22 00:47:00 +0100 | biberu | (~biberu@user/biberu) (Ping timeout: 255 seconds) |
2023-02-22 00:53:33 +0100 | biberu | (~biberu@user/biberu) |
2023-02-22 00:56:24 +0100 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) |
2023-02-22 01:03:37 +0100 | Charles | (~Charles@host-23-251-65-156.VALOLT4.epbfi.com) |
2023-02-22 01:04:01 +0100 | Charles | (~Charles@host-23-251-65-156.VALOLT4.epbfi.com) (Client Quit) |
2023-02-22 01:05:52 +0100 | slack1256 | (~slack1256@186.11.53.84) (Remote host closed the connection) |
2023-02-22 01:06:07 +0100 | slack1256 | (~slack1256@186.11.53.84) |
2023-02-22 01:08:11 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:4665:b996:efff:9a7e) |
2023-02-22 01:11:45 +0100 | Lycurgus | (~juan@user/Lycurgus) |
2023-02-22 01:12:39 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 255 seconds) |
2023-02-22 01:13:22 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
2023-02-22 01:14:33 +0100 | elevenkb | (~elevenkb@105.225.107.83) (Quit: Client closed) |
2023-02-22 01:16:16 +0100 | mauke_ | (~mauke@user/mauke) |
2023-02-22 01:17:42 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 265 seconds) |
2023-02-22 01:17:42 +0100 | mauke_ | mauke |
2023-02-22 01:22:47 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-02-22 01:23:42 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
2023-02-22 01:27:06 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
2023-02-22 01:29:28 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
2023-02-22 01:31:50 +0100 | mei | (~mei@user/mei) |
2023-02-22 01:33:45 +0100 | notzmv | (~zmv@user/notzmv) (Read error: Connection reset by peer) |
2023-02-22 01:33:59 +0100 | notzmv- | (~zmv@user/notzmv) |
2023-02-22 01:35:02 +0100 | notzmv- | livoreno |
2023-02-22 01:36:03 +0100 | iteratee | (~kyle@162.218.222.107) (Ping timeout: 255 seconds) |
2023-02-22 01:41:00 +0100 | dcoutts__ | (~duncan@host86-153-135-38.range86-153.btcentralplus.com) (Ping timeout: 255 seconds) |
2023-02-22 01:41:01 +0100 | acidjnk | (~acidjnk@p200300d6e715c43364f4044e674f7620.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2023-02-22 01:42:24 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
2023-02-22 01:44:29 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
2023-02-22 01:44:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2023-02-22 01:45:23 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
2023-02-22 01:45:37 +0100 | biberu | (~biberu@user/biberu) (Ping timeout: 246 seconds) |
2023-02-22 01:48:44 +0100 | biberu | (~biberu@user/biberu) |
2023-02-22 01:58:33 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-02-22 01:58:33 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-02-22 01:58:33 +0100 | wroathe | (~wroathe@user/wroathe) |
2023-02-22 01:58:34 +0100 | biberu | (~biberu@user/biberu) (Ping timeout: 246 seconds) |
2023-02-22 01:58:41 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 02:01:39 +0100 | gpncarl | (~gpncarl@210.12.195.2) |
2023-02-22 02:02:23 +0100 | gpncarl_ | (~gpncarl@210.12.195.2) (Ping timeout: 248 seconds) |
2023-02-22 02:02:56 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
2023-02-22 02:03:51 +0100 | biberu | (~biberu@user/biberu) |
2023-02-22 02:04:52 +0100 | livoreno | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
2023-02-22 02:06:15 +0100 | notzmv | (~zmv@user/notzmv) |
2023-02-22 02:07:16 +0100 | Square2 | Square |
2023-02-22 02:10:30 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-02-22 02:10:49 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-02-22 02:13:23 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
2023-02-22 02:14:50 +0100 | gmg | (~user@user/gehmehgeh) |
2023-02-22 02:16:32 +0100 | iteratee | (~kyle@162.218.222.107) |
2023-02-22 02:16:37 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-02-22 02:17:19 +0100 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
2023-02-22 02:19:23 +0100 | zaquest | (~notzaques@5.130.79.72) |
2023-02-22 02:21:01 +0100 | mei | (~mei@user/mei) |
2023-02-22 02:22:08 +0100 | werneta | (~werneta@137.79.195.231) (Remote host closed the connection) |
2023-02-22 02:27:06 +0100 | freeside | (~mengwong@103.252.202.170) |
2023-02-22 02:30:07 +0100 | gpncarl | (~gpncarl@210.12.195.2) (Ping timeout: 248 seconds) |
2023-02-22 02:30:26 +0100 | captnemo | (~captnemo@193.32.127.226) |
2023-02-22 02:31:32 +0100 | ddellacosta | (~ddellacos@146.70.166.157) |
2023-02-22 02:32:11 +0100 | slack1256 | (~slack1256@186.11.53.84) (Ping timeout: 255 seconds) |
2023-02-22 02:38:36 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
2023-02-22 02:41:59 +0100 | iteratee_ | (~kyle@2001:470:4071:0:5054:e5ff:fe3b:2859) |
2023-02-22 02:41:59 +0100 | iteratee | (~kyle@162.218.222.107) (Read error: Connection reset by peer) |
2023-02-22 02:42:54 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-02-22 02:43:13 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-02-22 02:43:22 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-02-22 02:44:07 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 02:44:54 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-02-22 02:48:30 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
2023-02-22 02:50:23 +0100 | freeside | (~mengwong@103.252.202.170) |
2023-02-22 02:54:17 +0100 | nattiestnate | (~nate@202.138.250.31) |
2023-02-22 02:54:40 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
2023-02-22 02:56:29 +0100 | xff0x | (~xff0x@ai081074.d.east.v6connect.net) (Ping timeout: 255 seconds) |
2023-02-22 02:58:00 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
2023-02-22 03:00:47 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
2023-02-22 03:06:51 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
2023-02-22 03:10:06 +0100 | Square | (~Square4@user/square) (Ping timeout: 255 seconds) |
2023-02-22 03:11:12 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2023-02-22 03:13:08 +0100 | hsw | (~hsw@2001:b030:2303:104:172:25:12:132) (Quit: Leaving) |
2023-02-22 03:13:44 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2023-02-22 03:17:12 +0100 | telser | (~quassel@user/telser) (Ping timeout: 255 seconds) |
2023-02-22 03:17:16 +0100 | telser_ | (~quassel@user/telser) |
2023-02-22 03:18:23 +0100 | freeside | (~mengwong@103.252.202.170) |
2023-02-22 03:19:00 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:4665:b996:efff:9a7e) (Ping timeout: 260 seconds) |
2023-02-22 03:20:00 +0100 | n8chan | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
2023-02-22 03:22:42 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
2023-02-22 03:25:16 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:d3eb:b709:cb67:5171) |
2023-02-22 03:26:23 +0100 | sidy | (~sidy@user/sidy) (Read error: Connection reset by peer) |
2023-02-22 03:26:42 +0100 | sidy | (~sidy@user/sidy) |
2023-02-22 03:28:03 +0100 | raehik | (~raehik@82.21.176.157) |
2023-02-22 03:28:32 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
2023-02-22 03:29:13 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
2023-02-22 03:29:43 +0100 | gmg | (~user@user/gehmehgeh) |
2023-02-22 03:29:52 +0100 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Ping timeout: 248 seconds) |
2023-02-22 03:30:13 +0100 | cassaundra | (~cassaundr@73.25.18.25) |
2023-02-22 03:30:20 +0100 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
2023-02-22 03:30:37 +0100 | werneta | (~werneta@70.142.214.115) |
2023-02-22 03:31:03 +0100 | opticblast | (~Thunderbi@172.58.82.191) |
2023-02-22 03:33:18 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 03:37:51 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
2023-02-22 03:43:45 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-02-22 03:47:41 +0100 | n8chan | (~nate@98.45.169.16) |
2023-02-22 03:51:07 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-02-22 03:52:44 +0100 | n8chan | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
2023-02-22 03:57:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6111:c483:164:5daf) |
2023-02-22 03:59:09 +0100 | mei | (~mei@user/mei) (Ping timeout: 255 seconds) |
2023-02-22 04:01:44 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6111:c483:164:5daf) (Ping timeout: 255 seconds) |
2023-02-22 04:03:13 +0100 | mei | (~mei@user/mei) |
2023-02-22 04:03:14 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-02-22 04:03:21 +0100 | jarkad | (~u@188.163.45.157) (Quit: No Ping reply in 180 seconds.) |
2023-02-22 04:03:57 +0100 | prasadi01Newuser | (~Thunderbi@c-73-22-232-123.hsd1.il.comcast.net) |
2023-02-22 04:04:46 +0100 | jarkad | (~u@188.163.45.157) |
2023-02-22 04:08:16 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
2023-02-22 04:09:43 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2023-02-22 04:11:30 +0100 | darchitect | (~darchitec@host86-152-93-169.range86-152.btcentralplus.com) |
2023-02-22 04:11:39 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:d3eb:b709:cb67:5171) (Ping timeout: 248 seconds) |
2023-02-22 04:13:44 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
2023-02-22 04:14:13 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:afc:ac:1a46:ba2c) (Remote host closed the connection) |
2023-02-22 04:15:43 +0100 | darchitect | (~darchitec@host86-152-93-169.range86-152.btcentralplus.com) (Ping timeout: 248 seconds) |
2023-02-22 04:15:46 +0100 | prasadi01Newuser | (~Thunderbi@c-73-22-232-123.hsd1.il.comcast.net) (Quit: prasadi01Newuser) |
2023-02-22 04:16:01 +0100 | prasadi01Newuser | (~Thunderbi@c-73-22-232-123.hsd1.il.comcast.net) |
2023-02-22 04:17:09 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
2023-02-22 04:18:17 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
2023-02-22 04:18:22 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 04:21:07 +0100 | ell | (~ellie@user/ellie) (Quit: The Lounge - https://thelounge.chat) |
2023-02-22 04:22:17 +0100 | ell | (~ellie@user/ellie) |
2023-02-22 04:22:39 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
2023-02-22 04:23:31 +0100 | Vajb | (~Vajb@85-76-136-128-nat.elisa-mobile.fi) |
2023-02-22 04:25:15 +0100 | freeside | (~mengwong@103.252.202.170) |
2023-02-22 04:28:55 +0100 | raehik | (~raehik@82.21.176.157) (Ping timeout: 252 seconds) |
2023-02-22 04:29:18 +0100 | captnemo | (~captnemo@193.32.127.226) (Quit: WeeChat 3.8) |
2023-02-22 04:29:45 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
2023-02-22 04:32:43 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-02-22 04:32:43 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-02-22 04:32:43 +0100 | wroathe | (~wroathe@user/wroathe) |
2023-02-22 04:34:07 +0100 | gastus_ | (~gastus@5.83.191.2) |
2023-02-22 04:37:19 +0100 | gastus | (~gastus@5.83.191.28) (Ping timeout: 268 seconds) |
2023-02-22 04:40:40 +0100 | razetime | (~Thunderbi@117.193.7.131) |
2023-02-22 04:40:49 +0100 | tzh | (~tzh@24.21.73.154) |
2023-02-22 04:42:27 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
2023-02-22 04:43:51 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:4e8c::) |
2023-02-22 04:46:34 +0100 | td_ | (~td@i5387093F.versanet.de) (Ping timeout: 268 seconds) |
2023-02-22 04:48:01 +0100 | td_ | (~td@i53870915.versanet.de) |
2023-02-22 04:48:56 +0100 | freeside | (~mengwong@103.252.202.170) |
2023-02-22 04:52:36 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:d94d:e852:9047:4282) |
2023-02-22 04:53:56 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-02-22 04:53:56 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-02-22 04:53:56 +0100 | finn_elija | FinnElija |
2023-02-22 04:53:57 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 04:54:30 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
2023-02-22 04:58:33 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
2023-02-22 05:00:30 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Ping timeout: 260 seconds) |
2023-02-22 05:06:55 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 268 seconds) |
2023-02-22 05:09:48 +0100 | razetime | (~Thunderbi@117.193.7.131) (Ping timeout: 255 seconds) |
2023-02-22 05:12:29 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
2023-02-22 05:14:24 +0100 | hololeap | (~quassel@user/hololeap) (Ping timeout: 248 seconds) |
2023-02-22 05:14:49 +0100 | hololeap | (~quassel@user/hololeap) |
2023-02-22 05:15:16 +0100 | razetime | (~Thunderbi@117.193.7.131) |
2023-02-22 05:15:25 +0100 | cheater_ | (~Username@user/cheater) |
2023-02-22 05:18:04 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
2023-02-22 05:18:10 +0100 | cheater_ | cheater |
2023-02-22 05:20:05 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
2023-02-22 05:23:55 +0100 | cassaundra | (~cassaundr@73.25.18.25) (Ping timeout: 252 seconds) |
2023-02-22 05:24:40 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
2023-02-22 05:26:34 +0100 | polyphem | (~polyphem@2a02:810d:840:8754:4d31:9178:35f:6608) |
2023-02-22 05:27:05 +0100 | brettgilio | (~brettgili@x-irc.gq) |
2023-02-22 05:27:40 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 05:29:47 +0100 | raym | (~ray@user/raym) (Quit: kernel update! Rebooting server...) |
2023-02-22 05:31:43 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
2023-02-22 05:34:30 +0100 | prasadi01Newuser | (~Thunderbi@c-73-22-232-123.hsd1.il.comcast.net) (Remote host closed the connection) |
2023-02-22 05:49:04 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
2023-02-22 05:50:03 +0100 | Lycurgus | (~juan@user/Lycurgus) |
2023-02-22 05:59:44 +0100 | Vajb | (~Vajb@85-76-136-128-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
2023-02-22 06:00:32 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
2023-02-22 06:02:02 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
2023-02-22 06:02:42 +0100 | Vajb | (~Vajb@2001:999:230:f561:4ee8:ad7f:13ff:9959) |
2023-02-22 06:03:31 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-02-22 06:08:35 +0100 | thegeekinside | (~thegeekin@189.180.66.126) (Ping timeout: 268 seconds) |
2023-02-22 06:08:38 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
2023-02-22 06:09:39 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-02-22 06:11:46 +0100 | jwiegley | (~jwiegley@2600:1700:cf00:db0:a854:9d9d:a060:90b3) (Quit: ZNC - http://znc.in) |
2023-02-22 06:11:46 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
2023-02-22 06:12:01 +0100 | mbuf | (~Shakthi@49.204.138.71) |
2023-02-22 06:13:26 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 06:14:34 +0100 | notzmv | (~zmv@user/notzmv) |
2023-02-22 06:15:07 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 246 seconds) |
2023-02-22 06:16:23 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
2023-02-22 06:16:51 +0100 | ddellacosta | (~ddellacos@146.70.166.157) (Ping timeout: 255 seconds) |
2023-02-22 06:18:03 +0100 | polyphem | (~polyphem@2a02:810d:840:8754:4d31:9178:35f:6608) (Ping timeout: 248 seconds) |
2023-02-22 06:23:25 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
2023-02-22 06:28:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6111:c483:164:5daf) |
2023-02-22 06:31:42 +0100 | lbseale | (~quassel@user/ep1ctetus) |
2023-02-22 06:38:04 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2023-02-22 06:46:37 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
2023-02-22 06:47:57 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
2023-02-22 06:50:20 +0100 | mei | (~mei@user/mei) (Killed (zinc.libera.chat (Nickname regained by services))) |
2023-02-22 06:50:25 +0100 | mei | (~mei@user/mei) |
2023-02-22 07:01:24 +0100 | razetime | (~Thunderbi@117.193.7.131) (Ping timeout: 255 seconds) |
2023-02-22 07:09:14 +0100 | razetime | (~Thunderbi@117.193.7.51) |
2023-02-22 07:09:59 +0100 | trev | (~trev@user/trev) |
2023-02-22 07:11:13 +0100 | srk | (~sorki@user/srk) (Quit: ZNC 1.8.1 - https://znc.in) |
2023-02-22 07:11:33 +0100 | srk | (~sorki@user/srk) |
2023-02-22 07:19:24 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 255 seconds) |
2023-02-22 07:20:10 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
2023-02-22 07:21:24 +0100 | zephyr__ | (~irfan@106.214.197.187) |
2023-02-22 07:22:14 +0100 | razetime1 | (~Thunderbi@117.254.35.206) |
2023-02-22 07:22:32 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-02-22 07:22:33 +0100 | razetime | (~Thunderbi@117.193.7.51) (Ping timeout: 255 seconds) |
2023-02-22 07:22:34 +0100 | razetime1 | razetime |
2023-02-22 07:26:40 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
2023-02-22 07:26:52 +0100 | king_gs1 | (~Thunderbi@2806:103e:29:1779:7761:b38b:912d:54c8) |
2023-02-22 07:28:41 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-02-22 07:29:09 +0100 | king_gs1 | king_gs |
2023-02-22 07:32:52 +0100 | Bocaneri | (~sauvin@user/Sauvin) |
2023-02-22 07:33:15 +0100 | Bocaneri | Guest7366 |
2023-02-22 07:35:13 +0100 | Sauvin | (~sauvin@user/Sauvin) (Ping timeout: 252 seconds) |
2023-02-22 07:35:19 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
2023-02-22 07:35:49 +0100 | jwiegley | (~jwiegley@2600:1700:cf00:db0:54a5:e5fd:6f88:147e) |
2023-02-22 07:37:21 +0100 | Guest7366 | SenFache |
2023-02-22 07:41:00 +0100 | mcglk_ | (~mcglk@131.191.19.145) (Ping timeout: 255 seconds) |
2023-02-22 07:42:45 +0100 | mcglk | (~mcglk@131.191.19.145) |
2023-02-22 07:45:38 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2023-02-22 07:49:33 +0100 | opticblast | (~Thunderbi@172.58.82.191) (Ping timeout: 255 seconds) |
2023-02-22 07:49:59 +0100 | n8chan | (~nate@98.45.169.16) |
2023-02-22 07:50:00 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
2023-02-22 07:53:02 +0100 | mcglk | (~mcglk@131.191.19.145) (Ping timeout: 255 seconds) |
2023-02-22 07:54:21 +0100 | mcglk | (~mcglk@131.191.19.145) |
2023-02-22 07:54:52 +0100 | SenFache | (~sauvin@user/Sauvin) (Ping timeout: 246 seconds) |
2023-02-22 07:57:35 +0100 | n8chan | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
2023-02-22 07:58:16 +0100 | Sauvin | (~sauvin@user/Sauvin) |
2023-02-22 08:02:19 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-02-22 08:02:34 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
2023-02-22 08:04:56 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
2023-02-22 08:07:45 +0100 | falafel | (~falafel@2607:fb91:143f:e47f:d94d:e852:9047:4282) (Ping timeout: 260 seconds) |
2023-02-22 08:10:05 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
2023-02-22 08:13:46 +0100 | razetime | (~Thunderbi@117.254.35.206) (Ping timeout: 268 seconds) |
2023-02-22 08:25:49 +0100 | talismanick | (~talismani@45.23.184.231) |
2023-02-22 08:30:55 +0100 | akegalj | (~akegalj@78.3.45.165) |
2023-02-22 08:46:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-02-22 08:47:08 +0100 | michalz | (~michalz@185.246.207.217) |
2023-02-22 08:49:15 +0100 | _xor | (~xor@72.49.195.228) |
2023-02-22 08:49:38 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:7761:b38b:912d:54c8) (Remote host closed the connection) |
2023-02-22 08:49:56 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:7761:b38b:912d:54c8) |
2023-02-22 08:51:58 +0100 | razetime | (~Thunderbi@117.254.35.206) |
2023-02-22 08:52:54 +0100 | kenran | (~user@user/kenran) |
2023-02-22 08:57:05 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
2023-02-22 08:59:25 +0100 | chele | (~chele@user/chele) |
2023-02-22 09:05:49 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2023-02-22 09:06:50 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-02-22 09:07:25 +0100 | acidjnk | (~acidjnk@p200300d6e715c435546b3c17a2b6e065.dip0.t-ipconnect.de) |
2023-02-22 09:08:29 +0100 | nschoe | (~q@141.101.51.197) |
2023-02-22 09:13:37 +0100 | JimL | (~quassel@89-162-26-217.fiber.signal.no) (Ping timeout: 246 seconds) |
2023-02-22 09:14:06 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-02-22 09:16:50 +0100 | ft | (~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving) |
2023-02-22 09:18:52 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
2023-02-22 09:19:43 +0100 | cassaundra | (~cassaundr@73.25.18.25) |
2023-02-22 09:30:19 +0100 | JimL | (~quassel@89-162-26-217.fiber.signal.no) |
2023-02-22 09:30:25 +0100 | raym | (~ray@user/raym) |
2023-02-22 09:32:01 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
2023-02-22 09:32:44 +0100 | JimL | (~quassel@89-162-26-217.fiber.signal.no) (Client Quit) |
2023-02-22 09:35:33 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-02-22 09:36:51 +0100 | sympt6 | (~sympt@user/sympt) |
2023-02-22 09:36:54 +0100 | JimL | (~quassel@89-162-26-217.fiber.signal.no) |
2023-02-22 09:37:25 +0100 | sympt | (~sympt@user/sympt) (Ping timeout: 246 seconds) |
2023-02-22 09:37:25 +0100 | sympt6 | sympt |
2023-02-22 09:41:42 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-02-22 09:42:15 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-02-22 09:46:21 +0100 | cfricke | (~cfricke@user/cfricke) |
2023-02-22 09:47:04 +0100 | mauke | (~mauke@user/mauke) (Quit: bbl) |
2023-02-22 09:47:14 +0100 | razetime | (~Thunderbi@117.254.35.206) (Remote host closed the connection) |
2023-02-22 09:50:58 +0100 | dcoutts__ | (~duncan@host86-153-135-38.range86-153.btcentralplus.com) |
2023-02-22 09:55:12 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-02-22 09:59:27 +0100 | zephyr__ | (~irfan@106.214.197.187) (Quit: leaving) |
2023-02-22 09:59:43 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
2023-02-22 10:00:04 +0100 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (Quit: You have been kicked for being idle) |
2023-02-22 10:00:06 +0100 | kosmikus[m]1 | (~andresloe@2001:470:69fc:105::95d) (Quit: You have been kicked for being idle) |
2023-02-22 10:04:33 +0100 | dcoutts__ | (~duncan@host86-153-135-38.range86-153.btcentralplus.com) (Ping timeout: 255 seconds) |
2023-02-22 10:07:07 +0100 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
2023-02-22 10:07:41 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
2023-02-22 10:08:15 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-02-22 10:09:31 +0100 | king_gs | (~Thunderbi@2806:103e:29:1779:7761:b38b:912d:54c8) (Ping timeout: 248 seconds) |
2023-02-22 10:10:55 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 248 seconds) |
2023-02-22 10:12:12 +0100 | darchitect | (~darchitec@host86-152-93-169.range86-152.btcentralplus.com) |
2023-02-22 10:12:40 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2023-02-22 10:14:04 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) |
2023-02-22 10:15:33 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-02-22 10:16:30 +0100 | darchitect | (~darchitec@host86-152-93-169.range86-152.btcentralplus.com) (Ping timeout: 252 seconds) |
2023-02-22 10:21:40 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-02-22 10:22:34 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
2023-02-22 10:30:09 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6111:c483:164:5daf) (Remote host closed the connection) |
2023-02-22 10:31:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-02-22 10:31:36 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2023-02-22 10:32:08 +0100 | MajorBiscuit | (~MajorBisc@145.94.170.210) |
2023-02-22 10:39:07 +0100 | cstml | (~cstml@user/cstml) |
2023-02-22 10:45:56 +0100 | elevenkb | (~elevenkb@105.225.107.83) |
2023-02-22 10:48:41 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:ad27:25b5:8296:f188) |
2023-02-22 10:56:17 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
2023-02-22 10:57:15 +0100 | califax | (~califax@user/califx) |
2023-02-22 11:02:43 +0100 | teo | (~teo@user/teo) |
2023-02-22 11:05:19 +0100 | mauke | (~mauke@user/mauke) |
2023-02-22 11:06:12 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
2023-02-22 11:09:27 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:d437:53e9:44b4:c725) |
2023-02-22 11:17:40 +0100 | pwntips | Guest4217 |
2023-02-22 11:17:40 +0100 | Guest4217 | (~user@24-113-98-114.wavecable.com) (Killed (calcium.libera.chat (Nickname regained by services))) |
2023-02-22 11:17:57 +0100 | pwntips_ | (~user@24-113-98-114.wavecable.com) |
2023-02-22 11:18:51 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2023-02-22 11:18:54 +0100 | cstml | (~cstml@user/cstml) (Quit: Leaving) |
2023-02-22 11:26:58 +0100 | mmhat | (~mmh@p200300f1c71c1721ee086bfffe095315.dip0.t-ipconnect.de) |
2023-02-22 11:27:16 +0100 | akegalj | (~akegalj@78.3.45.165) (Quit: leaving) |
2023-02-22 11:28:45 +0100 | talismanick | (~talismani@45.23.184.231) (Ping timeout: 252 seconds) |
2023-02-22 11:29:52 +0100 | elevenkb | (~elevenkb@105.225.107.83) (Quit: Client closed) |
2023-02-22 11:30:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
2023-02-22 11:35:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Ping timeout: 260 seconds) |
2023-02-22 11:35:55 +0100 | tromp | (~textual@92.110.219.57) |
2023-02-22 11:38:26 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 11:42:08 +0100 | mmhat | (~mmh@p200300f1c71c1721ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2023-02-22 11:42:29 +0100 | mmhat | (~mmh@p200300f1c71c17a3ee086bfffe095315.dip0.t-ipconnect.de) |
2023-02-22 11:45:18 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
2023-02-22 11:46:19 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
2023-02-22 11:46:34 +0100 | king_gs | (~Thunderbi@187.201.41.239) |
2023-02-22 11:46:48 +0100 | king_gs | (~Thunderbi@187.201.41.239) (Client Quit) |
2023-02-22 11:51:39 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 255 seconds) |
2023-02-22 11:53:26 +0100 | <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- |
2023-02-22 11:56:14 +0100 | Sauvin | (~sauvin@user/Sauvin) (Remote host closed the connection) |
2023-02-22 11:56:44 +0100 | Sauvin | (~sauvin@user/Sauvin) |
2023-02-22 11:56:51 +0100 | <mauke> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/representation_polymorphism.html#pr… ? |
2023-02-22 11:59:55 +0100 | xff0x | (~xff0x@ai081074.d.east.v6connect.net) |
2023-02-22 12:05:38 +0100 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-02-22 12:07:50 +0100 | tromp | (~textual@92.110.219.57) |
2023-02-22 12:10:46 +0100 | tzh | (~tzh@24.21.73.154) (Quit: zzz) |
2023-02-22 12:11:26 +0100 | nattiestnate | (~nate@202.138.250.31) (Quit: WeeChat 3.8) |
2023-02-22 12:12:47 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
2023-02-22 12:17:01 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
2023-02-22 12:17:48 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 12:18:36 +0100 | CiaoSen | (~Jura@2003:c9:5704:6000:2a3a:4dff:fe84:dbd5) |
2023-02-22 12:21:01 +0100 | califax | (~califax@user/califx) |
2023-02-22 12:26:18 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 255 seconds) |
2023-02-22 12:27:51 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 12:32:13 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 252 seconds) |
2023-02-22 12:32:17 +0100 | <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 |
2023-02-22 12:33:39 +0100 | cassaundra | (~cassaundr@73.25.18.25) (Ping timeout: 252 seconds) |
2023-02-22 12:37:43 +0100 | <Hecate> | Unhammer: you're saying that just the binary is taking 2GB? Or the whole tree + compilation artefacts? |
2023-02-22 12:37:51 +0100 | <Unhammer> | whole tree |
2023-02-22 12:39:33 +0100 | <Unhammer> | seems like it has to include all compiler versions, I can't just get 8.10.7 |
2023-02-22 12:40:32 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
2023-02-22 12:40:52 +0100 | <Unhammer> | but even so du -sh says |
2023-02-22 12:40:54 +0100 | <Unhammer> | 348M .ghcup/hls/1.9.1.0/lib/haskell-language-server-1.9.1.0/lib/8.10.7/ |
2023-02-22 12:40:56 +0100 | <Unhammer> | whereas before |
2023-02-22 12:40:58 +0100 | <Unhammer> | 140M /home/me/bin/haskell-language-server-8.10.7 |
2023-02-22 12:41:02 +0100 | <Unhammer> | (I said 200M, apparently 140M) |
2023-02-22 12:41:57 +0100 | <Unhammer> | though maybe hls just is that much bigger now |
2023-02-22 12:42:02 +0100 | <mauke> | why does cabal ignore the 'optimization: 2' setting in my .cabal file? |
2023-02-22 12:42:56 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
2023-02-22 12:44:03 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-02-22 12:45:04 +0100 | simeon | (~pi@143.231.7.51.dyn.plus.net) |
2023-02-22 12:45:33 +0100 | <mauke> | answer: because there is a difference between project.cabal and cabal.project |
2023-02-22 12:45:37 +0100 | <mauke> | jfc |
2023-02-22 12:46:27 +0100 | simeon | (~pi@143.231.7.51.dyn.plus.net) (Client Quit) |
2023-02-22 12:46:51 +0100 | simeon | (~pi@143.231.7.51.dyn.plus.net) |
2023-02-22 12:48:23 +0100 | simeon | (~pi@143.231.7.51.dyn.plus.net) (Client Quit) |
2023-02-22 12:48:58 +0100 | simeon | (~pi@143.231.7.51.dyn.plus.net) |
2023-02-22 12:49:00 +0100 | mmhat | (~mmh@p200300f1c71c17a3ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
2023-02-22 12:51:44 +0100 | <Unhammer> | (does `strip` work the same when it's a bunch of .so files instead of one big binary?) |
2023-02-22 12:53:06 +0100 | Guest7 | (~Guest7@121.137.248.39) |
2023-02-22 12:53:26 +0100 | Guest7 | (~Guest7@121.137.248.39) (Client Quit) |
2023-02-22 12:53:28 +0100 | <chreekat> | doesn't hls have binary releases? |
2023-02-22 12:53:50 +0100 | Guest7 | (~Guest7@121.137.248.39) |
2023-02-22 12:53:59 +0100 | <chreekat> | (is ghcup building hls?) |
2023-02-22 12:54:12 +0100 | <chreekat> | (asking from ignorance) |
2023-02-22 12:54:13 +0100 | gawen_ | (~gawen@user/gawen) (Quit: cya) |
2023-02-22 12:55:33 +0100 | Guest7 | (~Guest7@121.137.248.39) (Client Quit) |
2023-02-22 12:56:03 +0100 | Guest7 | (~Guest7@121.137.248.39) |
2023-02-22 12:56:41 +0100 | Square | (~Square4@user/square) |
2023-02-22 12:59:43 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-02-22 13:00:39 +0100 | gawen | (~gawen@user/gawen) |
2023-02-22 13:01:03 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 248 seconds) |
2023-02-22 13:02:25 +0100 | Guest7 | lsg |
2023-02-22 13:03:58 +0100 | koz | (~koz@121.99.240.58) |
2023-02-22 13:04:13 +0100 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
2023-02-22 13:14:31 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2023-02-22 13:18:19 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-02-22 13:22:58 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2023-02-22 13:24:42 +0100 | <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. |
2023-02-22 13:24:53 +0100 | <AWizzArd> | class (F a ~ b) => C a b where |
2023-02-22 13:24:55 +0100 | <AWizzArd> | type F a |
2023-02-22 13:25:18 +0100 | <AWizzArd> | Here F is being used as a constraint, but only in the next line it is being introduced. |
2023-02-22 13:25:29 +0100 | <AWizzArd> | So are classes parsed “inside out”? |
2023-02-22 13:25:53 +0100 | merijn | (~merijn@185.143.104.11) |
2023-02-22 13:26:37 +0100 | irfan | (~irfan@user/irfan) |
2023-02-22 13:29:53 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-02-22 13:33:01 +0100 | lsg | (~Guest7@121.137.248.39) (Quit: Client closed) |
2023-02-22 13:40:09 +0100 | nattiestnate | (~nate@202.138.250.17) |
2023-02-22 13:41:28 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-02-22 13:41:55 +0100 | califax | (~califax@user/califx) |
2023-02-22 13:44:03 +0100 | CiaoSen | (~Jura@2003:c9:5704:6000:2a3a:4dff:fe84:dbd5) (Ping timeout: 252 seconds) |
2023-02-22 13:44:19 +0100 | xff0x | (~xff0x@ai081074.d.east.v6connect.net) (Ping timeout: 260 seconds) |
2023-02-22 13:44:44 +0100 | xff0x | (~xff0x@178.255.149.135) |
2023-02-22 13:51:26 +0100 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-02-22 13:52:48 +0100 | lyle | (~lyle@104.246.145.237) |
2023-02-22 14:00:38 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-02-22 14:01:06 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-02-22 14:01:19 +0100 | merijn | (~merijn@185.143.104.11) (Ping timeout: 248 seconds) |
2023-02-22 14:03:23 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 255 seconds) |
2023-02-22 14:05:25 +0100 | koz | (~koz@121.99.240.58) |
2023-02-22 14:06:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-02-22 14:08:13 +0100 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
2023-02-22 14:08:43 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
2023-02-22 14:09:17 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 14:10:05 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 14:10:50 +0100 | infinity0 | (~infinity0@pwned.gg) |
2023-02-22 14:14:39 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 248 seconds) |
2023-02-22 14:16:54 +0100 | merijn | (~merijn@185.143.104.11) |
2023-02-22 14:19:24 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-02-22 14:20:55 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 246 seconds) |
2023-02-22 14:22:40 +0100 | cfricke | (~cfricke@user/cfricke) |
2023-02-22 14:22:59 +0100 | xff0x | (~xff0x@ai081074.d.east.v6connect.net) |
2023-02-22 14:27:34 +0100 | mei | (~mei@user/mei) (Ping timeout: 246 seconds) |
2023-02-22 14:34:03 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
2023-02-22 14:34:55 +0100 | merijn | (~merijn@185.143.104.11) (Ping timeout: 246 seconds) |
2023-02-22 14:35:07 +0100 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
2023-02-22 14:35:46 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 14:35:57 +0100 | forell | (~forell@user/forell) |
2023-02-22 14:38:03 +0100 | <geekosaur> | AWizzArd, Haskell avoids "parse order" as much as possible |
2023-02-22 14:38:27 +0100 | <geekosaur> | you can place things on opposite ends of a source file and it's supposed to work |
2023-02-22 14:38:35 +0100 | merijn | (~merijn@145.90.225.7) |
2023-02-22 14:41:06 +0100 | <geekosaur> | (the most common exception is Template Haskell since it's run as the file is read) |
2023-02-22 14:42:01 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2023-02-22 14:44:56 +0100 | the_proffesor | (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
2023-02-22 14:45:26 +0100 | the_proffesor | (~theproffe@user/theproffesor) |
2023-02-22 14:46:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
2023-02-22 14:47:47 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
2023-02-22 14:48:05 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-02-22 14:50:47 +0100 | merijn | (~merijn@145.90.225.7) (Ping timeout: 252 seconds) |
2023-02-22 14:50:55 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-02-22 14:51:11 +0100 | mei | (~mei@user/mei) |
2023-02-22 14:52:07 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 15:00:38 +0100 | zaquest | (~notzaques@5.130.79.72) (Quit: Leaving) |
2023-02-22 15:01:55 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 260 seconds) |
2023-02-22 15:02:48 +0100 | litharge | (litharge@libera/bot/litharge) (Read error: Connection reset by peer) |
2023-02-22 15:02:53 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
2023-02-22 15:03:28 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 252 seconds) |
2023-02-22 15:04:11 +0100 | cfricke | (~cfricke@user/cfricke) |
2023-02-22 15:04:31 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
2023-02-22 15:05:22 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
2023-02-22 15:05:29 +0100 | razetime | (~Thunderbi@117.254.35.206) |
2023-02-22 15:05:41 +0100 | califax | (~califax@user/califx) |
2023-02-22 15:08:05 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:f07c:b8c8:219e:c03f) |
2023-02-22 15:14:45 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-02-22 15:15:00 +0100 | nattiestnate | (~nate@202.138.250.17) (Quit: WeeChat 3.8) |
2023-02-22 15:15:51 +0100 | nschoe | (~q@141.101.51.197) (Ping timeout: 255 seconds) |
2023-02-22 15:16:37 +0100 | nschoe | (~q@141.101.51.197) |
2023-02-22 15:18:11 +0100 | thegeekinside | (~thegeekin@189.180.66.126) |
2023-02-22 15:18:21 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-02-22 15:19:31 +0100 | acidjnk | (~acidjnk@p200300d6e715c435546b3c17a2b6e065.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2023-02-22 15:20:29 +0100 | acidjnk | (~acidjnk@p200300d6e715c435546b3c17a2b6e065.dip0.t-ipconnect.de) |
2023-02-22 15:20:47 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
2023-02-22 15:26:01 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 15:30:58 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 252 seconds) |
2023-02-22 15:31:44 +0100 | <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 |
2023-02-22 15:32:02 +0100 | <Unhammer> | Though slower than just downloading a big binary |
2023-02-22 15:32:33 +0100 | <geekosaur> | (reading back) |
2023-02-22 15:33:09 +0100 | polyphem | (~polyphem@2a02:810d:840:8754:4d31:9178:35f:6608) |
2023-02-22 15:33:27 +0100 | <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 |
2023-02-22 15:33:34 +0100 | <geekosaur> | (and is already minimal) |
2023-02-22 15:35:51 +0100 | <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 |
2023-02-22 15:35:57 +0100 | <geekosaur> | er, `nm` |
2023-02-22 15:36:44 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-02-22 15:37:42 +0100 | <Unhammer> | geekosaur, strip seemed to free lots of disk space and I could still use hls so I opened an issue about it |
2023-02-22 15:38:27 +0100 | <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 |
2023-02-22 15:39:13 +0100 | <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 |
2023-02-22 15:43:06 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:ad27:25b5:8296:f188) (Remote host closed the connection) |
2023-02-22 15:43:19 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:bd48:ce48:a45b:26a1) |
2023-02-22 15:46:41 +0100 | <geekosaur> | `ghc --info | grep libdw` should show if your ghc knows how to use debug symbols |
2023-02-22 15:47:44 +0100 | nschoe | (~q@141.101.51.197) (Quit: Switching off) |
2023-02-22 15:48:51 +0100 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
2023-02-22 15:52:39 +0100 | kurbus | (~kurbus@user/kurbus) |
2023-02-22 15:52:46 +0100 | kurbus | (~kurbus@user/kurbus) (Client Quit) |
2023-02-22 15:53:02 +0100 | kurbus | (~kurbus@user/kurbus) |
2023-02-22 15:56:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-02-22 15:57:00 +0100 | litharge | (litharge@libera/bot/litharge) |
2023-02-22 15:57:28 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 15:59:55 +0100 | ii8 | (~ii8@45.63.97.131) |
2023-02-22 16:01:31 +0100 | jao | (~jao@92.233.85.247) |
2023-02-22 16:01:55 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 252 seconds) |
2023-02-22 16:04:11 +0100 | <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). |
2023-02-22 16:06:17 +0100 | <geekosaur> | o.O I'd take that one to #ghc; it shouldn't happen |
2023-02-22 16:07:41 +0100 | <c_wraith> | maybe that happens if overcommit is disabled? But yeah, ask in #ghc |
2023-02-22 16:08:12 +0100 | <merijn> | c_wraith: overcommit should be irrelevant |
2023-02-22 16:08:44 +0100 | <merijn> | If the container isn't running out of memory |
2023-02-22 16:08:45 +0100 | <geekosaur> | ("at 0" ieans let the OS pick an address; it's not a problem) |
2023-02-22 16:08:55 +0100 | <geekosaur> | *means |
2023-02-22 16:09:01 +0100 | <c_wraith> | Well, whichever linux kernel setting gets unhappy when it grabs half a terabyte of memory at the startup |
2023-02-22 16:09:24 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
2023-02-22 16:09:43 +0100 | <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 |
2023-02-22 16:09:45 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
2023-02-22 16:10:01 +0100 | <geekosaur> | that would be my guess as well, there's an rlimit in place |
2023-02-22 16:11:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-02-22 16:13:09 +0100 | Pickchea | (~private@user/pickchea) |
2023-02-22 16:13:46 +0100 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
2023-02-22 16:14:07 +0100 | npm_i_kurbus | (~npm_i_kur@user/kurbus) |
2023-02-22 16:14:44 +0100 | npm_i_kurbus11 | (~npm_i_kur@user/kurbus) |
2023-02-22 16:14:50 +0100 | npm_i_kurbus11 | kurbus |
2023-02-22 16:18:27 +0100 | slack1256 | (~slack1256@186.11.53.84) |
2023-02-22 16:18:48 +0100 | npm_i_kurbus | (~npm_i_kur@user/kurbus) (Ping timeout: 260 seconds) |
2023-02-22 16:21:09 +0100 | ddellacosta | (~ddellacos@146.70.166.100) |
2023-02-22 16:21:28 +0100 | kurbus | (~npm_i_kur@user/kurbus) (Quit: Client closed) |
2023-02-22 16:21:31 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2023-02-22 16:22:20 +0100 | <ii8> | merijn: yes that was my first thought too, but I've not found anything limiting it |
2023-02-22 16:29:11 +0100 | <merijn> | Tried 'ulimit -a' inside the container? |
2023-02-22 16:29:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2023-02-22 16:29:13 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2023-02-22 16:29:15 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2023-02-22 16:29:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-02-22 16:30:34 +0100 | <ii8> | Yes, there's nothing |
2023-02-22 16:30:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-02-22 16:30:44 +0100 | <ii8> | virtual memory is unlimited |
2023-02-22 16:31:12 +0100 | <ii8> | There's a limit on "max locked memory" but I don't think that's relevant |
2023-02-22 16:32:02 +0100 | gmg | (~user@user/gehmehgeh) |
2023-02-22 16:32:04 +0100 | n8chan | (~nate@98.45.169.16) |
2023-02-22 16:41:16 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 16:45:30 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 255 seconds) |
2023-02-22 16:45:35 +0100 | ubert | (~Thunderbi@2a02:8109:abc0:6434:bd48:ce48:a45b:26a1) (Ping timeout: 248 seconds) |
2023-02-22 16:47:49 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 16:48:08 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-02-22 16:49:47 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
2023-02-22 17:02:09 +0100 | Hammdist | (~Hammdist@67.169.114.135) |
2023-02-22 17:03:25 +0100 | kuribas | (~user@188.118.57.242) |
2023-02-22 17:07:03 +0100 | sidy | (~sidy@user/sidy) (Quit: Leaving) |
2023-02-22 17:07:10 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:f07c:b8c8:219e:c03f) (Ping timeout: 246 seconds) |
2023-02-22 17:08:18 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
2023-02-22 17:11:14 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2023-02-22 17:23:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
2023-02-22 17:24:38 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 17:26:48 +0100 | __monty__ | (~toonn@user/toonn) |
2023-02-22 17:28:49 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 252 seconds) |
2023-02-22 17:28:49 +0100 | Pickchea | (~private@user/pickchea) |
2023-02-22 17:30:20 +0100 | <merijn> | ii8: It could be, if locked memory refers to virtual address space |
2023-02-22 17:33:54 +0100 | dcoutts | (~duncan@86.153.135.38) |
2023-02-22 17:35:24 +0100 | dcoutts_ | (~duncan@host86-153-135-38.range86-153.btcentralplus.com) (Ping timeout: 252 seconds) |
2023-02-22 17:35:28 +0100 | dfg | (~dfg@50.116.28.89) |
2023-02-22 17:35:28 +0100 | dfg | (~dfg@50.116.28.89) (Changing host) |
2023-02-22 17:35:28 +0100 | dfg | (~dfg@user/dfg) |
2023-02-22 17:36:55 +0100 | <geekosaur> | it doesn't |
2023-02-22 17:37:04 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Remote host closed the connection) |
2023-02-22 17:37:43 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 17:37:44 +0100 | <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 |
2023-02-22 17:38:12 +0100 | Midjak | (~Midjak@82.66.147.146) |
2023-02-22 17:39:16 +0100 | <merijn> | geekosaur: oracle? |
2023-02-22 17:39:27 +0100 | <geekosaur> | commercial database |
2023-02-22 17:39:52 +0100 | <geekosaur> | its shared memory area is for synchronization between processes using the database, for e.g. transaction control |
2023-02-22 17:40:03 +0100 | <merijn> | I know oracle databases, but how does that relate to the question? |
2023-02-22 17:40:19 +0100 | <geekosaur> | only as an example of something that would use mlock / MAP_LOCK |
2023-02-22 17:41:08 +0100 | <ii8> | merijn: I don't think it does, the same limit exists on the host and it's way too little |
2023-02-22 17:41:20 +0100 | <ii8> | 8KiB or smth |
2023-02-22 17:45:40 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 246 seconds) |
2023-02-22 17:46:34 +0100 | freeside | (~mengwong@103.6.151.67) |
2023-02-22 17:47:23 +0100 | <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,... |
2023-02-22 17:48:58 +0100 | <[exa]> | segfaultfizzbuzz: complexity zoo might help |
2023-02-22 17:49:22 +0100 | <[exa]> | segfaultfizzbuzz: here https://complexityzoo.net/Complexity_Zoo |
2023-02-22 17:50:25 +0100 | <segfaultfizzbuzz> | [exa]: okay, but i don't see an indication as to what is the "top" of this list |
2023-02-22 17:50:46 +0100 | <int-e> | We can try to climb higher at least, https://en.wikipedia.org/wiki/2-EXPTIME#Examples |
2023-02-22 17:50:49 +0100 | freeside | (~mengwong@103.6.151.67) (Ping timeout: 252 seconds) |
2023-02-22 17:50:59 +0100 | <segfaultfizzbuzz> | i guess that if i start at PSPACE then next is EXP it says? |
2023-02-22 17:51:17 +0100 | <segfaultfizzbuzz> | oh interesting, grobner bases |
2023-02-22 17:51:38 +0100 | <segfaultfizzbuzz> | i always throught grobner bases were really hard, now i have something to point to lol |
2023-02-22 17:53:10 +0100 | <segfaultfizzbuzz> | oh wow the complement of a regex, fascinating! |
2023-02-22 17:53:16 +0100 | <segfaultfizzbuzz> | i did not expect that to be difficult |
2023-02-22 17:53:35 +0100 | <[exa]> | segfaultfizzbuzz: the order is not linear tbh |
2023-02-22 17:53:40 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-02-22 17:53:48 +0100 | <[exa]> | see the pic at https://complexityzoo.net/Petting_Zoo |
2023-02-22 17:54:33 +0100 | <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? |
2023-02-22 17:54:45 +0100 | <[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 |
2023-02-22 17:55:41 +0100 | <mauke> | speaking of regexes, has anyone done a practical "intersection of languages" thing? |
2023-02-22 17:56:20 +0100 | <[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. |
2023-02-22 17:56:21 +0100 | werneta | (~werneta@70.142.214.115) (Remote host closed the connection) |
2023-02-22 17:56:44 +0100 | <[exa]> | mauke: on regexes or on DFAs? :D |
2023-02-22 17:56:57 +0100 | <mauke> | general (programming) languages |
2023-02-22 17:57:13 +0100 | <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 |
2023-02-22 17:57:16 +0100 | <mauke> | basically, a formal treatment of polyglot programming |
2023-02-22 17:57:33 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: update & rewind) |
2023-02-22 17:57:34 +0100 | <segfaultfizzbuzz> | polyglot? what is |
2023-02-22 17:57:51 +0100 | <[exa]> | mauke: like, universal programming language where others can be expressed easily too? |
2023-02-22 17:58:06 +0100 | <mauke> | segfaultfizzbuzz: https://github.com/mauke/poly.poly/blob/master/poly.poly |
2023-02-22 17:58:29 +0100 | <mauke> | [exa]: I don't know what that means, but probably no |
2023-02-22 17:58:35 +0100 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
2023-02-22 17:58:40 +0100 | <segfaultfizzbuzz> | lol |
2023-02-22 17:58:43 +0100 | <[exa]> | ah yeah I see |
2023-02-22 17:59:17 +0100 | <[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 |
2023-02-22 17:59:51 +0100 | <segfaultfizzbuzz> | "although it is unknown whether NP is equal to P, we do know that EXPTIME-complete problems are not in P" |
2023-02-22 17:59:53 +0100 | <[exa]> | but that's not polyglotic, I see |
2023-02-22 18:00:05 +0100 | <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 |
2023-02-22 18:00:19 +0100 | <segfaultfizzbuzz> | mauke: you should rewrite it in rust |
2023-02-22 18:00:39 +0100 | <mauke> | it was all manual work |
2023-02-22 18:00:51 +0100 | <segfaultfizzbuzz> | yeah but it needs to be in rust, needs to be memory safe |
2023-02-22 18:00:51 +0100 | <mauke> | so now I'm wondering if there is a way to derive polyglots formally |
2023-02-22 18:01:08 +0100 | <segfaultfizzbuzz> | memory safe polyglots or general ones? |
2023-02-22 18:01:15 +0100 | <[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 |
2023-02-22 18:01:16 +0100 | segfaultfizzbuzz | is just horsing around |
2023-02-22 18:02:02 +0100 | <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 |
2023-02-22 18:02:09 +0100 | <mauke> | you can't just intersect tokens |
2023-02-22 18:02:29 +0100 | <int-e> | mauke: "<marquee><blink>"... gah, my eyes ;) |
2023-02-22 18:02:41 +0100 | <mauke> | ah, the embedded "html" |
2023-02-22 18:03:19 +0100 | <mauke> | > 2^12 |
2023-02-22 18:03:21 +0100 | <lambdabot> | 4096 |
2023-02-22 18:03:32 +0100 | <[exa]> | mauke: you can expand the tokenizers |
2023-02-22 18:03:36 +0100 | <mauke> | ok, so technically that's 4096 dialects of Haskell that it can distinguish |
2023-02-22 18:05:16 +0100 | <mauke> | [exa]: like, inline them into the grammar? |
2023-02-22 18:05:22 +0100 | <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. |
2023-02-22 18:06:03 +0100 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
2023-02-22 18:06:48 +0100 | <mauke> | but it's more fun if you can make them share code :-) |
2023-02-22 18:06:53 +0100 | <[exa]> | mauke: yeah something like that |
2023-02-22 18:07:05 +0100 | <[exa]> | not saying it is the efficient way to get sensible results though |
2023-02-22 18:07:29 +0100 | <mauke> | still messy because you have to handle whitespace explicitly |
2023-02-22 18:07:49 +0100 | <int-e> | mauke: or, at least, data. |
2023-02-22 18:08:25 +0100 | <mauke> | see https://github.com/mauke/poly.poly/blob/master/yes.c for an example that shares the main code between Haskell and Perl |
2023-02-22 18:08:33 +0100 | <mauke> | not just syntactically, but also semantically :-) |
2023-02-22 18:08:49 +0100 | <int-e> | (people have made polyglot quines) |
2023-02-22 18:10:26 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
2023-02-22 18:10:48 +0100 | <int-e> | There's also that silly Ouroborous thing, but that's much easier if you understand how quines work. |
2023-02-22 18:11:40 +0100 | Guest|9 | (~Guest|9@183.red-95-125-106.dynamicip.rima-tde.net) |
2023-02-22 18:12:22 +0100 | <int-e> | this one, https://esoteric.codes/blog/the-128-language-quine-relay (primary source: https://github.com/mame/quine-relay ) |
2023-02-22 18:12:49 +0100 | mei | (~mei@user/mei) |
2023-02-22 18:13:49 +0100 | <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." |
2023-02-22 18:14:05 +0100 | razetime | (~Thunderbi@117.254.35.206) (Remote host closed the connection) |
2023-02-22 18:14:20 +0100 | <segfaultfizzbuzz> | so that's as difficult as it goes, as practical problems go? |
2023-02-22 18:15:13 +0100 | <mauke> | ah, it's this guy: https://www.ioccc.org/2019/endoh/hint.html https://www.ioccc.org/2019/endoh/prog.c |
2023-02-22 18:16:54 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
2023-02-22 18:17:43 +0100 | <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 |
2023-02-22 18:17:57 +0100 | Guest|9 | (~Guest|9@183.red-95-125-106.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
2023-02-22 18:18:25 +0100 | <segfaultfizzbuzz> | that is to say, i don't care if your algorithm is nlogn if i have to run it on one cpu |
2023-02-22 18:18:44 +0100 | <Unhammer> | geekosaur: so strip means i don't get as nice callstacks on errors? |
2023-02-22 18:19:28 +0100 | <geekosaur> | the other ways of getting callstacks are compiling with profiling and running with +RTS -xc, or sprinkling HasCallstack constraints everywhere |
2023-02-22 18:20:43 +0100 | <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) |
2023-02-22 18:21:01 +0100 | <geekosaur> | but as I said, it defaults off currently because it's still a WIP |
2023-02-22 18:21:43 +0100 | <geekosaur> | so it's probably okay to strip now, but at some point you'll want to keep the symbols for better debugging |
2023-02-22 18:22:03 +0100 | <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. |
2023-02-22 18:22:09 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2023-02-22 18:23:32 +0100 | <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 |
2023-02-22 18:24:32 +0100 | _xor | (~xor@72.49.195.228) (Quit: brb) |
2023-02-22 18:24:46 +0100 | whatsupdoc | (uid509081@2a03:5180:f:4::7:c499) |
2023-02-22 18:24:50 +0100 | <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) |
2023-02-22 18:25:05 +0100 | _xor | (~xor@72.49.195.228) |
2023-02-22 18:25:45 +0100 | turlando | (~turlando@user/turlando) () |
2023-02-22 18:25:54 +0100 | ddellacosta | (~ddellacos@146.70.166.100) (Quit: WeeChat 3.8) |
2023-02-22 18:26:11 +0100 | turlando | (~turlando@user/turlando) |
2023-02-22 18:26:44 +0100 | ddellacosta | (~ddellacos@146.70.166.100) |
2023-02-22 18:27:32 +0100 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
2023-02-22 18:28:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Remote host closed the connection) |
2023-02-22 18:29:19 +0100 | <kuribas> | I mean, excluding side-effects such as printing a value, or doing a http call, seems to limit the usefulness of referentially transparent. |
2023-02-22 18:30:01 +0100 | <kuribas> | Could I call it referentially transparent as long as the outside bindings are preserved? |
2023-02-22 18:30:37 +0100 | <kuribas> | As in, not shadowing calls to library functions or other modules. |
2023-02-22 18:31:31 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
2023-02-22 18:31:49 +0100 | <kuribas> | I mean, in a way it is a good property if outside references cannot be shadowed. |
2023-02-22 18:32:02 +0100 | <geekosaur> | you can even shadow those since they'll only apply locally |
2023-02-22 18:32:10 +0100 | jao | (~jao@92.233.85.247) () |
2023-02-22 18:32:18 +0100 | <geekosaur> | you can't affect "outside" code with them |
2023-02-22 18:32:19 +0100 | <dminuoso_> | kuribas: https://stackoverflow.com/a/69384679/6636995 |
2023-02-22 18:33:01 +0100 | <dminuoso_> | My point here is: Users of the expression `referentially transparent` should clearly define what they mean by that. |
2023-02-22 18:33:20 +0100 | _xor | (~xor@72.49.195.228) (Quit: brb again) |
2023-02-22 18:33:23 +0100 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
2023-02-22 18:33:42 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
2023-02-22 18:33:47 +0100 | <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. |
2023-02-22 18:34:05 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2023-02-22 18:34:47 +0100 | <kuribas> | dminuoso_: I heared the term first when doing scheme, not haskell. |
2023-02-22 18:35:30 +0100 | MajorBiscuit | (~MajorBisc@145.94.170.210) (Quit: WeeChat 3.6) |
2023-02-22 18:35:31 +0100 | <geekosaur> | Guillaum[m], it's not a warning, it's an error |
2023-02-22 18:36:03 +0100 | <geekosaur> | (and suppressed if the module name is Main) |
2023-02-22 18:36:41 +0100 | kuribas | (~user@188.118.57.242) (Quit: ERC (IRC client for Emacs 27.1)) |
2023-02-22 18:36:51 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 18:37:27 +0100 | Hammdist | (~Hammdist@67.169.114.135) (Quit: Client closed) |
2023-02-22 18:37:31 +0100 | <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...) |
2023-02-22 18:38:14 +0100 | <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 😞 |
2023-02-22 18:38:36 +0100 | <dminuoso_> | HLS at least tells me if there's a mismatch |
2023-02-22 18:38:50 +0100 | irfan | (~irfan@user/irfan) (Quit: leaving) |
2023-02-22 18:39:21 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2023-02-22 18:40:11 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
2023-02-22 18:41:15 +0100 | turlando | (~turlando@user/turlando) |
2023-02-22 18:41:35 +0100 | raehik | (~raehik@82.21.176.157) |
2023-02-22 18:42:34 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-02-22 18:45:28 +0100 | ph88 | (~ph88@91.66.101.83) |
2023-02-22 18:47:16 +0100 | teo | (~teo@user/teo) (Ping timeout: 246 seconds) |
2023-02-22 18:47:34 +0100 | <mechap> | does anyone use stack on arch ? did you install it manually or did you use the stack-static aur package ? |
2023-02-22 18:48:14 +0100 | <dminuoso_> | mechap: You probably want to use ghcup. |
2023-02-22 18:48:25 +0100 | dcoutts_ | (~duncan@86.153.135.38) |
2023-02-22 18:48:48 +0100 | <mechap> | ok |
2023-02-22 18:50:57 +0100 | dcoutts | (~duncan@86.153.135.38) (Ping timeout: 252 seconds) |
2023-02-22 18:51:03 +0100 | <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. |
2023-02-22 18:51:32 +0100 | <dminuoso_> | But the ghcup approach will give you stack or related programs, and they do work., |
2023-02-22 18:53:19 +0100 | <mechap> | dminuoso_: I am having gpg errors https://dpaste.com/7UCSNRM8M |
2023-02-22 18:54:01 +0100 | <dminuoso_> | mechap: well that looks like the aur package, no? |
2023-02-22 18:54:31 +0100 | <dminuoso_> | In a related note: gpg diagnostics tend to be horrible. |
2023-02-22 18:54:44 +0100 | <dminuoso_> | It's as if GPG was a huge global UX experiment gone wrong;. |
2023-02-22 18:54:57 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
2023-02-22 18:54:57 +0100 | werneta | (~werneta@137.79.215.205) |
2023-02-22 18:55:29 +0100 | <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 |
2023-02-22 18:56:00 +0100 | <mechap> | dminuoso_: yes |
2023-02-22 18:58:19 +0100 | econo | (uid147250@user/econo) |
2023-02-22 18:58:56 +0100 | dcoutts__ | (~duncan@86.153.135.38) |
2023-02-22 18:59:14 +0100 | Lycurgus | (~juan@user/Lycurgus) |
2023-02-22 19:01:13 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust353.4-3.cable.virginm.net) |
2023-02-22 19:03:25 +0100 | dcoutts__ | (~duncan@86.153.135.38) (Ping timeout: 252 seconds) |
2023-02-22 19:04:31 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
2023-02-22 19:04:53 +0100 | mbuf | (~Shakthi@49.204.138.71) (Quit: Leaving) |
2023-02-22 19:08:28 +0100 | dcoutts__ | (~duncan@86.153.135.38) |
2023-02-22 19:08:43 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!) |
2023-02-22 19:10:22 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust353.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
2023-02-22 19:12:25 +0100 | dcoutts | (~duncan@82.15.57.30) |
2023-02-22 19:13:19 +0100 | dcoutts__ | (~duncan@86.153.135.38) (Ping timeout: 252 seconds) |
2023-02-22 19:13:19 +0100 | dcoutts_ | (~duncan@86.153.135.38) (Ping timeout: 252 seconds) |
2023-02-22 19:13:32 +0100 | dcoutts_ | (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
2023-02-22 19:14:27 +0100 | varoo | (~varoo@117.203.246.41) |
2023-02-22 19:16:09 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2023-02-22 19:16:22 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 19:19:32 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-02-22 19:19:52 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-02-22 19:20:55 +0100 | ft | (~ft@62.155.196.67) |
2023-02-22 19:21:38 +0100 | dcoutts_ | (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Remote host closed the connection) |
2023-02-22 19:22:02 +0100 | dcoutts_ | (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
2023-02-22 19:23:47 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
2023-02-22 19:24:12 +0100 | dcoutts_ | (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Remote host closed the connection) |
2023-02-22 19:24:34 +0100 | dcoutts_ | (~duncan@82.15.57.30) |
2023-02-22 19:24:36 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
2023-02-22 19:33:18 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
2023-02-22 19:35:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
2023-02-22 19:35:41 +0100 | mei | (~mei@user/mei) |
2023-02-22 19:36:08 +0100 | dcoutts_ | (~duncan@82.15.57.30) (Remote host closed the connection) |
2023-02-22 19:36:32 +0100 | dcoutts_ | (~duncan@82.15.57.30) |
2023-02-22 19:37:04 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-02-22 19:38:08 +0100 | anatta | (~AdiIRC@h-155-4-132-216.NA.cust.bahnhof.se) |
2023-02-22 19:39:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Remote host closed the connection) |
2023-02-22 19:45:50 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
2023-02-22 19:48:12 +0100 | Square | (~Square4@user/square) (Ping timeout: 255 seconds) |
2023-02-22 19:49:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-02-22 19:55:42 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
2023-02-22 19:58:49 +0100 | tzh | (~tzh@24.21.73.154) |
2023-02-22 20:06:33 +0100 | captnemo | (~captnemo@193.32.127.226) |
2023-02-22 20:07:35 +0100 | dcoutts_ | (~duncan@82.15.57.30) (Ping timeout: 252 seconds) |
2023-02-22 20:08:59 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::6afd) |
2023-02-22 20:09:56 +0100 | SNOOP | (~Kuttenbru@2a02:8108:8b80:1d48::6afd) |
2023-02-22 20:12:19 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 246 seconds) |
2023-02-22 20:15:49 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
2023-02-22 20:17:48 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2023-02-22 20:19:03 +0100 | SNOOP | (~Kuttenbru@2a02:8108:8b80:1d48::6afd) (Quit: Where is it) |
2023-02-22 20:19:58 +0100 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::6afd) (Remote host closed the connection) |
2023-02-22 20:21:04 +0100 | eggplantade | (~Eggplanta@104.55.37.220) |
2023-02-22 20:22:37 +0100 | varoo | (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
2023-02-22 20:22:51 +0100 | eggplantade | (~Eggplanta@104.55.37.220) (Remote host closed the connection) |
2023-02-22 20:29:36 +0100 | JimL | (~quassel@89-162-26-217.fiber.signal.no) (Ping timeout: 255 seconds) |
2023-02-22 20:30:22 +0100 | JimL | (~quassel@89-162-26-217.fiber.signal.no) |
2023-02-22 20:45:12 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 20:52:18 +0100 | opticblast | (~Thunderbi@172.58.83.168) |
2023-02-22 21:00:16 +0100 | JimL | (~quassel@89-162-26-217.fiber.signal.no) (Ping timeout: 246 seconds) |
2023-02-22 21:01:29 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-02-22 21:02:36 +0100 | JimL | (~quassel@89.162.26.217) |
2023-02-22 21:10:52 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
2023-02-22 21:11:42 +0100 | codaraxis | (~codaraxis@user/codaraxis) |
2023-02-22 21:13:05 +0100 | Lycurgus | (~juan@user/Lycurgus) |
2023-02-22 21:13:39 +0100 | <segfaultfizzbuzz> | https://arxiv.org/pdf/2204.06256.pdf fun - fast hardware arbitrary precision floats |
2023-02-22 21:14:43 +0100 | brettgilio | (~brettgili@x-irc.gq) (Read error: Connection reset by peer) |
2023-02-22 21:23:20 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
2023-02-22 21:23:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-02-22 21:27:12 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
2023-02-22 21:27:43 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Ping timeout: 248 seconds) |
2023-02-22 21:28:59 +0100 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Read error: Connection reset by peer) |
2023-02-22 21:29:07 +0100 | elkcl | (~elkcl@37.110.27.252) |
2023-02-22 21:29:30 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
2023-02-22 21:34:57 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
2023-02-22 21:38:25 +0100 | Vajb | (~Vajb@2001:999:230:f561:4ee8:ad7f:13ff:9959) (Read error: Connection reset by peer) |
2023-02-22 21:38:33 +0100 | Vajb | (~Vajb@88.195.165.27) |
2023-02-22 21:42:11 +0100 | elkcl | (~elkcl@37.110.27.252) (Ping timeout: 252 seconds) |
2023-02-22 21:43:58 +0100 | Vajb | (~Vajb@88.195.165.27) (Read error: Connection reset by peer) |
2023-02-22 21:44:31 +0100 | Everything | (~Everythin@46.185.124.65) |
2023-02-22 21:45:12 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
2023-02-22 21:46:08 +0100 | Vajb | (~Vajb@2001:999:230:f561:4ee8:ad7f:13ff:9959) |
2023-02-22 21:47:00 +0100 | lyle | (~lyle@104.246.145.237) (Quit: WeeChat 3.8) |
2023-02-22 21:48:01 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
2023-02-22 21:52:37 +0100 | M0rphee[m] | (~M0rpheema@2001:470:69fc:105::2:b1ce) |
2023-02-22 21:54:25 +0100 | <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/a60e1d783da573d11dc4cda0a83798c4194d…>) |
2023-02-22 21:55:02 +0100 | <M0rphee[m]> | could someone help me to arrive to a viable approach to this? |
2023-02-22 21:55:09 +0100 | <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/148110d389c9fd4a25887ed2c1fe466eb47f…>) |
2023-02-22 21:55:31 +0100 | <M0rphee[m]> | * a viable alternative approach to |
2023-02-22 21:55:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-02-22 21:55:56 +0100 | dcoutts_ | (~duncan@82.15.57.30) |
2023-02-22 21:56:24 +0100 | <monochrom> | Does "Bool" exist? |
2023-02-22 21:56:33 +0100 | <dminuoso_> | True. |
2023-02-22 21:57:08 +0100 | <monochrom> | But as a type class such that one can write "class (Num a, Bool a) => ..." |
2023-02-22 21:57:22 +0100 | elkcl | (~elkcl@37.110.27.252) |
2023-02-22 21:57:46 +0100 | <dminuoso_> | M0rphee[m]: Anyway, there's too much disconnect in that pseudo code, its "too wrong" for me to recognize your thought process. |
2023-02-22 21:58:08 +0100 | <dminuoso_> | The typeclass mentions two superclasses `Num a` and `Bool a`, but `a` is not mentioned in the instance head. |
2023-02-22 21:59:12 +0100 | <dminuoso_> | Further |
2023-02-22 21:59:26 +0100 | <dminuoso_> | There's nothing wrong with saying `class BFMemory container cell where ...` |
2023-02-22 21:59:28 +0100 | <M0rphee[m]> | monochrom: oh sorry, thats incorrect |
2023-02-22 21:59:32 +0100 | <monochrom> | My more meta question is is this premature generalization? How do you know this type class would do any good? |
2023-02-22 21:59:40 +0100 | <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/41f10825520790ffb174926ce63c4da75495…>) |
2023-02-22 21:59:49 +0100 | <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. |
2023-02-22 22:00:10 +0100 | <dminuoso_> | So yes, what you wrote at the bottom is the way to do it. |
2023-02-22 22:00:14 +0100 | <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/0e1655b081d08ee68d01cfa67f1ed039e18f…>) |
2023-02-22 22:01:01 +0100 | <M0rphee[m]> | dminuoso_: yeah, im sorry, i wrote that incorrectly when typing the message, I edited the code with the correct definitions |
2023-02-22 22:01:29 +0100 | <dminuoso_> | `class (Num cell, Eq cell) => BFMemory (mem :: Type -> Type) (cell :: Type) where ...` |
2023-02-22 22:02:08 +0100 | <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. |
2023-02-22 22:02:19 +0100 | <dminuoso_> | (Or even use it outside of the typeclass) |
2023-02-22 22:02:34 +0100 | <M0rphee[m]> | dminuoso_: oh yeah, but I want to arrive a to a typeclass that describes the behavior of some type `mem cell` |
2023-02-22 22:03:27 +0100 | <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 |
2023-02-22 22:03:41 +0100 | <dminuoso_> | `class (Num cell, Eq cell) => BFMemory (mem :: Type -> Type) (cell :: Type) where ...` |
2023-02-22 22:03:45 +0100 | <dminuoso_> | Does that. What's wrong with it?\ |
2023-02-22 22:06:40 +0100 | <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 |
2023-02-22 22:08:24 +0100 | <dminuoso_> | What's wrong with `BFMemory s t => s t -> b -> c`? |
2023-02-22 22:08:39 +0100 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
2023-02-22 22:10:48 +0100 | <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. |
2023-02-22 22:10:48 +0100 | <M0rphee[m]> | see, I don't think this particular application would be at risk for this case, but should I be careful regarding that? |
2023-02-22 22:10:48 +0100 | <M0rphee[m]> | (this is for a Brainfuck interpreter) |
2023-02-22 22:11:37 +0100 | <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`. |
2023-02-22 22:11:44 +0100 | <dminuoso_> | It's protection against incoherent instancens |
2023-02-22 22:12:22 +0100 | <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) |
2023-02-22 22:12:36 +0100 | <dminuoso_> | So this is a fundamental issue with typeclasses |
2023-02-22 22:13:21 +0100 | dcoutts_ | (~duncan@82.15.57.30) (Ping timeout: 252 seconds) |
2023-02-22 22:13:36 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
2023-02-22 22:14:26 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
2023-02-22 22:17:40 +0100 | <M0rphee[m]> | well, then I will do it that way: `BFMemory s t => s t -> b -> c`, and disregard the oprhan instances warning |
2023-02-22 22:18:16 +0100 | <M0rphee[m]> | thanks for your answers, now I see, what I wanted to do is kinda pointless with that solution |
2023-02-22 22:18:19 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
2023-02-22 22:19:13 +0100 | cassaundra | (~cassaundr@c-73-25-18-25.hsd1.or.comcast.net) |
2023-02-22 22:23:08 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
2023-02-22 22:27:08 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2023-02-22 22:28:55 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2023-02-22 22:30:08 +0100 | tomku|two | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
2023-02-22 22:30:15 +0100 | tomku | (~tomku@user/tomku) |
2023-02-22 22:31:33 +0100 | slack1256 | (~slack1256@186.11.53.84) (Ping timeout: 255 seconds) |
2023-02-22 22:37:06 +0100 | opticblast | (~Thunderbi@172.58.83.168) (Ping timeout: 268 seconds) |
2023-02-22 22:38:13 +0100 | pavonia | (~user@user/siracusa) |
2023-02-22 22:38:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
2023-02-22 22:40:29 +0100 | raehik | (~raehik@82.21.176.157) (Ping timeout: 252 seconds) |
2023-02-22 22:40:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-02-22 22:47:10 +0100 | opticblast | (~Thunderbi@172.58.84.5) |
2023-02-22 22:48:36 +0100 | dcoutts_ | (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
2023-02-22 22:50:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-02-22 22:56:00 +0100 | <segfaultfizzbuzz> | does anyone here understand sheaves? |
2023-02-22 22:56:12 +0100 | <segfaultfizzbuzz> | i need to have a concrete understanding of them |
2023-02-22 22:57:08 +0100 | <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? |
2023-02-22 22:58:32 +0100 | <monochrom> | Perhaps "concrete understanding" is just hyperbole for "understanding" :) |
2023-02-22 22:58:34 +0100 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) |
2023-02-22 22:59:25 +0100 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Quit: segfaultfizzbuzz) |
2023-02-22 23:02:48 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
2023-02-22 23:03:41 +0100 | <geekosaur> | I don't think they liked that reaction… |
2023-02-22 23:04:22 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
2023-02-22 23:04:31 +0100 | <monochrom> | Good riddance. |
2023-02-22 23:09:35 +0100 | <darkling> | Always an uphill struggle. |
2023-02-22 23:16:57 +0100 | notzmv | (~zmv@user/notzmv) |
2023-02-22 23:18:46 +0100 | Square | (~Square4@user/square) |
2023-02-22 23:21:32 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2023-02-22 23:24:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) |
2023-02-22 23:27:35 +0100 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokeph) |
2023-02-22 23:30:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:311d:9400:2604:4e0f) (Ping timeout: 252 seconds) |
2023-02-22 23:32:06 +0100 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
2023-02-22 23:33:08 +0100 | hololeap | (~quassel@user/hololeap) |
2023-02-22 23:33:23 +0100 | stevenxl | (~stevenxl@c-73-51-65-140.hsd1.il.comcast.net) |
2023-02-22 23:38:12 +0100 | <drdo> | haha |
2023-02-22 23:38:20 +0100 | stevenxl | (~stevenxl@c-73-51-65-140.hsd1.il.comcast.net) (Quit: leaving) |
2023-02-22 23:38:26 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
2023-02-22 23:41:49 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:d437:53e9:44b4:c725) (Remote host closed the connection) |
2023-02-22 23:42:08 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
2023-02-22 23:44:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-02-22 23:45:22 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2023-02-22 23:46:50 +0100 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
2023-02-22 23:46:51 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Remote host closed the connection) |
2023-02-22 23:47:16 +0100 | raehik | (~raehik@82.21.176.157) |
2023-02-22 23:47:17 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
2023-02-22 23:47:55 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2023-02-22 23:51:21 +0100 | k8yun | (~k8yun@user/k8yun) |
2023-02-22 23:56:09 +0100 | dcoutts_ | (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
2023-02-22 23:57:30 +0100 | dcoutts_ | (~duncan@cpc69403-oxfd27-2-0-cust285.4-3.cable.virginm.net) |
2023-02-22 23:58:23 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |