| 2023-03-19 00:08:31 +0100 | <ncf> | andrewboltachev: `project` ? |
| 2023-03-19 00:10:58 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds) |
| 2023-03-19 00:15:07 +0100 | andrewboltachev | (~andrey@178.141.199.8) (Quit: Leaving.) |
| 2023-03-19 00:15:32 +0100 | nate4 | (~nate@98.45.169.16) |
| 2023-03-19 00:15:46 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 00:16:08 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-19 00:16:54 +0100 | talismanick | (~talismani@c-98-238-242-189.hsd1.ca.comcast.net) |
| 2023-03-19 00:20:18 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 00:20:47 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-03-19 00:22:59 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-03-19 00:23:00 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-03-19 00:23:53 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) |
| 2023-03-19 00:25:57 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-03-19 00:30:29 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-19 00:32:18 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) (Quit: WeeChat 3.6) |
| 2023-03-19 00:34:11 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-03-19 00:35:24 +0100 | acidjnk | (~acidjnk@p54ad56b7.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-03-19 00:38:51 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2023-03-19 00:39:14 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-03-19 00:41:01 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-014.46.114.pool.telefonica.de) |
| 2023-03-19 00:43:28 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-03-19 00:45:35 +0100 | pwntips | (~user@24-113-98-114.wavecable.com) |
| 2023-03-19 00:45:49 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-03-19 00:46:49 +0100 | razetime | (~Thunderbi@117.193.0.127) |
| 2023-03-19 00:49:39 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 00:52:56 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-19 00:53:47 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 248 seconds) |
| 2023-03-19 00:55:49 +0100 | talismanick | (~talismani@c-98-238-242-189.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 2023-03-19 00:59:04 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2023-03-19 01:02:17 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-03-19 01:08:58 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-03-19 01:11:41 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-03-19 01:11:53 +0100 | OscarZ | (~oscarz@85.194.207.98) |
| 2023-03-19 01:13:58 +0100 | mei | (~mei@user/mei) |
| 2023-03-19 01:23:11 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 01:27:58 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 01:28:57 +0100 | dcoutts | (~duncan@host86-171-59-69.range86-171.btcentralplus.com) |
| 2023-03-19 01:29:18 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 01:33:55 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-03-19 01:45:06 +0100 | dcoutts_ | (~duncan@host86-171-59-69.range86-171.btcentralplus.com) |
| 2023-03-19 01:46:03 +0100 | dcoutts | (~duncan@host86-171-59-69.range86-171.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2023-03-19 01:47:19 +0100 | nate4 | (~nate@98.45.169.16) |
| 2023-03-19 01:50:02 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 01:51:06 +0100 | mauke_ | (~mauke@user/mauke) |
| 2023-03-19 01:52:50 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-03-19 01:53:03 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 2023-03-19 01:53:03 +0100 | mauke_ | mauke |
| 2023-03-19 01:53:14 +0100 | jerg | (~jerg@2001:a61:2611:1701:e737:6af:a06e:d388) (Remote host closed the connection) |
| 2023-03-19 01:53:33 +0100 | Guest8096 | Sauvin |
| 2023-03-19 01:54:33 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 01:55:09 +0100 | chomwitt | (~chomwitt@ppp-94-67-217-45.home.otenet.gr) (Ping timeout: 250 seconds) |
| 2023-03-19 01:56:26 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-03-19 02:10:26 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-03-19 02:16:34 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-03-19 02:16:35 +0100 | dcoutts | (~duncan@host86-171-59-69.range86-171.btcentralplus.com) |
| 2023-03-19 02:19:40 +0100 | dcoutts_ | (~duncan@host86-171-59-69.range86-171.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2023-03-19 02:24:51 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 02:25:02 +0100 | razetime | (~Thunderbi@117.193.0.127) (Ping timeout: 252 seconds) |
| 2023-03-19 02:28:08 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-03-19 02:30:03 +0100 | razetime | (~Thunderbi@117.193.4.235) |
| 2023-03-19 02:33:58 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 2023-03-19 02:35:25 +0100 | Blightmain | (~Blightmai@27-33-97-127.tpgi.com.au) |
| 2023-03-19 02:36:07 +0100 | omioolddbotm^ | (~omioolddb@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-03-19 02:44:45 +0100 | dcoutts_ | (~duncan@host81-156-211-129.range81-156.btcentralplus.com) |
| 2023-03-19 02:47:26 +0100 | dcoutts__ | (~duncan@host86-163-164-242.range86-163.btcentralplus.com) |
| 2023-03-19 02:47:37 +0100 | dcoutts | (~duncan@host86-171-59-69.range86-171.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2023-03-19 02:48:43 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-03-19 02:49:45 +0100 | dcoutts_ | (~duncan@host81-156-211-129.range81-156.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2023-03-19 02:50:55 +0100 | dcoutts | (~duncan@host86-153-247-133.range86-153.btcentralplus.com) |
| 2023-03-19 02:52:47 +0100 | dcoutts__ | (~duncan@host86-163-164-242.range86-163.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2023-03-19 03:00:00 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 03:02:36 +0100 | dcoutts_ | (~duncan@86.144.78.192) |
| 2023-03-19 03:03:37 +0100 | dcoutts | (~duncan@host86-153-247-133.range86-153.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2023-03-19 03:04:35 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 268 seconds) |
| 2023-03-19 03:05:30 +0100 | dcoutts__ | (~duncan@host109-149-1-255.range109-149.btcentralplus.com) |
| 2023-03-19 03:07:46 +0100 | dcoutts_ | (~duncan@86.144.78.192) (Ping timeout: 276 seconds) |
| 2023-03-19 03:10:05 +0100 | dcoutts | (~duncan@host86-162-21-46.range86-162.btcentralplus.com) |
| 2023-03-19 03:12:36 +0100 | dcoutts__ | (~duncan@host109-149-1-255.range109-149.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2023-03-19 03:14:06 +0100 | dcoutts_ | (~duncan@host86-162-21-46.range86-162.btcentralplus.com) |
| 2023-03-19 03:14:55 +0100 | dcoutts | (~duncan@host86-162-21-46.range86-162.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2023-03-19 03:15:14 +0100 | omioolddbotm^ | (~omioolddb@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-03-19 03:19:06 +0100 | dcoutts_ | (~duncan@host86-162-21-46.range86-162.btcentralplus.com) (Ping timeout: 255 seconds) |
| 2023-03-19 03:21:00 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-19 03:21:51 +0100 | OscarZ | (~oscarz@85.194.207.98) (Quit: Leaving) |
| 2023-03-19 03:22:05 +0100 | dcoutts | (~duncan@host109-149-1-255.range109-149.btcentralplus.com) |
| 2023-03-19 03:24:53 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-03-19 03:27:44 +0100 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-03-19 03:28:29 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-03-19 03:28:46 +0100 | mcglk | (~mcglk@131.191.19.145) |
| 2023-03-19 03:28:47 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-03-19 03:29:31 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2023-03-19 03:30:37 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-03-19 03:31:33 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 03:33:18 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 03:38:03 +0100 | ubert1 | (~Thunderbi@p200300ecdf20b55e36d1449b246cba0e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-03-19 03:38:19 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 2023-03-19 03:38:58 +0100 | ubert | (~Thunderbi@p548c89b6.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2023-03-19 03:40:49 +0100 | ubert | (~Thunderbi@p548c8d0f.dip0.t-ipconnect.de) |
| 2023-03-19 03:41:46 +0100 | dcoutts_ | (~duncan@host86-158-23-104.range86-158.btcentralplus.com) |
| 2023-03-19 03:42:23 +0100 | dcoutts | (~duncan@host109-149-1-255.range109-149.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2023-03-19 03:42:46 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-014.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-03-19 03:47:11 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-03-19 03:47:25 +0100 | Alex_test | (~al_test@178.34.160.55) (Ping timeout: 276 seconds) |
| 2023-03-19 03:48:04 +0100 | AlexZenon | (~alzenon@178.34.160.55) (Ping timeout: 276 seconds) |
| 2023-03-19 03:48:21 +0100 | dcoutts | (~duncan@host86-149-51-37.range86-149.btcentralplus.com) |
| 2023-03-19 03:49:22 +0100 | dcoutts_ | (~duncan@host86-158-23-104.range86-158.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2023-03-19 03:52:03 +0100 | Alex_test | (~al_test@178.34.160.55) |
| 2023-03-19 03:52:30 +0100 | AlexZenon | (~alzenon@178.34.160.55) |
| 2023-03-19 03:53:11 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2023-03-19 03:56:17 +0100 | talismanick | (~talismani@2601:200:c000:f7a0::5321) |
| 2023-03-19 03:57:10 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2023-03-19 03:57:21 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 250 seconds) |
| 2023-03-19 03:57:46 +0100 | dcoutts_ | (~duncan@host86-149-51-37.range86-149.btcentralplus.com) |
| 2023-03-19 03:58:36 +0100 | bhall | (~brunohall@195.147.207.136) |
| 2023-03-19 04:00:00 +0100 | dcoutts | (~duncan@host86-149-51-37.range86-149.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2023-03-19 04:00:27 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-03-19 04:00:32 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 04:02:02 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-03-19 04:03:40 +0100 | razetime | (~Thunderbi@117.193.4.235) (Ping timeout: 252 seconds) |
| 2023-03-19 04:04:05 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-03-19 04:08:37 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 255 seconds) |
| 2023-03-19 04:08:53 +0100 | gastus | (~gastus@5.83.191.48) |
| 2023-03-19 04:09:11 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-03-19 04:09:56 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-19 04:11:32 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-03-19 04:12:12 +0100 | gastus_ | (~gastus@185.6.123.157) (Ping timeout: 255 seconds) |
| 2023-03-19 04:14:03 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-03-19 04:16:40 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2023-03-19 04:17:28 +0100 | td_ | (~td@i5387093F.versanet.de) (Ping timeout: 246 seconds) |
| 2023-03-19 04:19:18 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 04:19:34 +0100 | td_ | (~td@i5387093A.versanet.de) |
| 2023-03-19 04:23:54 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 255 seconds) |
| 2023-03-19 04:24:06 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-03-19 04:32:00 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-03-19 04:32:16 +0100 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 276 seconds) |
| 2023-03-19 04:38:00 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-03-19 04:42:31 +0100 | jwiegley | (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-03-19 04:42:32 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-03-19 04:43:03 +0100 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-03-19 04:43:17 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-03-19 04:43:35 +0100 | jwiegley | (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-03-19 04:43:52 +0100 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 2023-03-19 04:45:12 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2023-03-19 04:47:49 +0100 | razetime | (~Thunderbi@117.193.4.235) |
| 2023-03-19 04:49:51 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-03-19 04:49:51 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-03-19 04:49:51 +0100 | finn_elija | FinnElija |
| 2023-03-19 04:49:57 +0100 | Blightmain | (~Blightmai@27-33-97-127.tpgi.com.au) (Remote host closed the connection) |
| 2023-03-19 04:53:18 +0100 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-03-19 04:53:31 +0100 | <talismanick> | Is there a rundown for the classic ML module system for those who are used to typeclasses? |
| 2023-03-19 04:54:16 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 04:58:25 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 05:05:04 +0100 | bhall | (~brunohall@195.147.207.136) (Ping timeout: 246 seconds) |
| 2023-03-19 05:06:04 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 276 seconds) |
| 2023-03-19 05:07:29 +0100 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-03-19 05:08:19 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-03-19 05:14:03 +0100 | msavoritias | (cb716af6b3@irc.cheogram.com) (Ping timeout: 248 seconds) |
| 2023-03-19 05:14:09 +0100 | Techcable | (~Techcable@user/Techcable) |
| 2023-03-19 05:21:48 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 05:26:02 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 05:31:43 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-03-19 05:34:29 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 05:38:59 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 05:39:22 +0100 | razetime | (~Thunderbi@117.193.4.235) (Ping timeout: 268 seconds) |
| 2023-03-19 05:42:35 +0100 | bollu | (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds)) |
| 2023-03-19 05:42:59 +0100 | bollu | (~bollu@159.65.151.13) |
| 2023-03-19 05:59:13 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 06:00:37 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 06:03:55 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 2023-03-19 06:07:49 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2023-03-19 06:09:07 +0100 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 276 seconds) |
| 2023-03-19 06:13:56 +0100 | trev | (~trev@user/trev) |
| 2023-03-19 06:14:12 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2023-03-19 06:15:12 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2023-03-19 06:23:28 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 06:24:43 +0100 | juri_ | (~juri@79.140.123.169) |
| 2023-03-19 06:28:37 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 2023-03-19 06:29:19 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 06:31:02 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-03-19 06:34:59 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 06:35:07 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-03-19 06:36:42 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 06:40:56 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 06:46:22 +0100 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-03-19 06:47:54 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 06:51:51 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-03-19 06:52:40 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 2023-03-19 07:14:59 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 07:19:58 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 2023-03-19 07:38:26 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-03-19 07:42:12 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 07:44:11 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-03-19 07:46:24 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 07:51:31 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-03-19 07:53:11 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-03-19 07:55:53 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-03-19 07:57:44 +0100 | <mauke> | talismanick: I don't know, but if you find one, let me know! |
| 2023-03-19 07:59:05 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-03-19 07:59:13 +0100 | msavoritias | (cb716af6b3@irc.cheogram.com) |
| 2023-03-19 08:02:24 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-19 08:03:19 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-03-19 08:07:27 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-03-19 08:10:08 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-03-19 08:13:34 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-03-19 08:13:44 +0100 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-03-19 08:15:08 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 08:18:10 +0100 | mikoto-chan | (~mikoto-ch@dy54z4y1t9qnwdj1ryyby-4.rev.dnainternet.fi) |
| 2023-03-19 08:19:42 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 268 seconds) |
| 2023-03-19 08:24:02 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 08:29:00 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-03-19 08:30:21 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 250 seconds) |
| 2023-03-19 08:30:41 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 08:31:24 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 08:35:22 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 2023-03-19 08:36:40 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-03-19 08:39:10 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-03-19 08:44:45 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-03-19 08:51:57 +0100 | dcoutts__ | (~duncan@host86-149-51-37.range86-149.btcentralplus.com) |
| 2023-03-19 08:54:26 +0100 | dcoutts_ | (~duncan@host86-149-51-37.range86-149.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2023-03-19 09:00:25 +0100 | razetime | (~Thunderbi@117.193.6.210) |
| 2023-03-19 09:00:39 +0100 | acidjnk | (~acidjnk@p200300d6e715c46658d5bad1711949c4.dip0.t-ipconnect.de) |
| 2023-03-19 09:01:45 +0100 | dcoutts | (~duncan@host86-149-51-37.range86-149.btcentralplus.com) |
| 2023-03-19 09:03:41 +0100 | dcoutts__ | (~duncan@host86-149-51-37.range86-149.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2023-03-19 09:05:11 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 09:09:39 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 268 seconds) |
| 2023-03-19 09:12:44 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-03-19 09:18:01 +0100 | razetime | (~Thunderbi@117.193.6.210) (Ping timeout: 250 seconds) |
| 2023-03-19 09:21:45 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 2023-03-19 09:26:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:710f:b6bb:b29d:a808) (Remote host closed the connection) |
| 2023-03-19 09:33:52 +0100 | falafel | (~falafel@2603-8000-d700-115c-a6ce-8bc4-cb0b-7171.res6.spectrum.com) |
| 2023-03-19 09:37:48 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-03-19 09:39:29 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 09:43:35 +0100 | dcoutts_ | (~duncan@host86-149-51-37.range86-149.btcentralplus.com) |
| 2023-03-19 09:43:52 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 09:45:09 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-03-19 09:45:19 +0100 | dcoutts | (~duncan@host86-149-51-37.range86-149.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2023-03-19 09:45:30 +0100 | _leo___ | (~emmanuelu@user/emmanuelux) |
| 2023-03-19 09:48:52 +0100 | razetime | (~Thunderbi@117.193.0.9) |
| 2023-03-19 09:49:26 +0100 | dcoutts__ | (~duncan@host86-167-90-250.range86-167.btcentralplus.com) |
| 2023-03-19 09:49:28 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds) |
| 2023-03-19 09:51:49 +0100 | dcoutts_ | (~duncan@host86-149-51-37.range86-149.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2023-03-19 09:53:25 +0100 | dcoutts_ | (~duncan@host86-167-90-250.range86-167.btcentralplus.com) |
| 2023-03-19 09:55:43 +0100 | dcoutts__ | (~duncan@host86-167-90-250.range86-167.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2023-03-19 09:56:11 +0100 | falafel | (~falafel@2603-8000-d700-115c-a6ce-8bc4-cb0b-7171.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2023-03-19 10:00:09 +0100 | jade[m] | (~jadecatgi@2001:470:69fc:105::3:194e) (Quit: You have been kicked for being idle) |
| 2023-03-19 10:01:47 +0100 | gastus | (~gastus@5.83.191.48) (Ping timeout: 260 seconds) |
| 2023-03-19 10:08:57 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) |
| 2023-03-19 10:10:55 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 10:15:02 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-03-19 10:15:28 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 2023-03-19 10:15:48 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
| 2023-03-19 10:19:53 +0100 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) |
| 2023-03-19 10:20:46 +0100 | <Umeaboy> | Hi! I'm wondering...... would it be possible to add a define rule in a spec file to use a binary that's installed in a NON standard dir in order for the build to work? |
| 2023-03-19 10:21:03 +0100 | jade[m] | (~jadecatgi@2001:470:69fc:105::3:194e) |
| 2023-03-19 10:21:42 +0100 | <Umeaboy> | I've seen SOME distros adding BuildRequires: /usr/bin/ghc, but no matter if I symlink from the custom dir rpmbuild fails to find it. |
| 2023-03-19 10:25:55 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-19 10:27:05 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:add4:765e:c41a:7ea4) |
| 2023-03-19 10:31:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:add4:765e:c41a:7ea4) (Ping timeout: 260 seconds) |
| 2023-03-19 10:32:32 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 10:35:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-19 10:35:32 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 10:39:32 +0100 | razetime | (~Thunderbi@117.193.0.9) (Remote host closed the connection) |
| 2023-03-19 10:39:55 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 248 seconds) |
| 2023-03-19 10:40:20 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-03-19 10:46:49 +0100 | andrewboltachev | (~andrey@178.141.199.8) |
| 2023-03-19 10:47:05 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-03-19 10:51:18 +0100 | nate4 | (~nate@98.45.169.16) |
| 2023-03-19 10:52:23 +0100 | _xor | (~xor@74.215.46.17) (Ping timeout: 264 seconds) |
| 2023-03-19 10:53:17 +0100 | _xor | (~xor@74.215.46.17) |
| 2023-03-19 10:56:22 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-03-19 10:56:34 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 10:57:55 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-03-19 11:00:23 +0100 | mastarija | (~mastarija@188.252.197.201) |
| 2023-03-19 11:02:43 +0100 | _xor | (~xor@74.215.46.17) (Ping timeout: 256 seconds) |
| 2023-03-19 11:03:40 +0100 | _xor | (~xor@74.215.46.17) |
| 2023-03-19 11:05:33 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-03-19 11:05:33 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 256 seconds) |
| 2023-03-19 11:12:54 +0100 | CiaoSen | (~Jura@p200300c9571fe6002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-03-19 11:14:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-19 11:16:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-19 11:20:25 +0100 | dcoutts | (~duncan@host86-167-90-128.range86-167.btcentralplus.com) |
| 2023-03-19 11:20:39 +0100 | david37 | (~david@208.127.197.199) |
| 2023-03-19 11:21:18 +0100 | <david37> | Hello |
| 2023-03-19 11:21:53 +0100 | <david37> | Looking for matt, is he here? |
| 2023-03-19 11:22:23 +0100 | dcoutts_ | (~duncan@host86-167-90-250.range86-167.btcentralplus.com) (Ping timeout: 250 seconds) |
| 2023-03-19 11:23:02 +0100 | _xor | (~xor@74.215.46.17) (Ping timeout: 246 seconds) |
| 2023-03-19 11:23:08 +0100 | <mauke> | he's usually over in #perl |
| 2023-03-19 11:24:03 +0100 | _xor | (~xor@74.215.46.17) |
| 2023-03-19 11:31:38 +0100 | david37 | (~david@208.127.197.199) (Ping timeout: 260 seconds) |
| 2023-03-19 11:32:38 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 11:35:36 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 11:37:07 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 250 seconds) |
| 2023-03-19 11:39:07 +0100 | _xor | (~xor@74.215.46.17) (Ping timeout: 248 seconds) |
| 2023-03-19 11:40:23 +0100 | _xor | (~xor@74.215.46.17) |
| 2023-03-19 11:41:16 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-03-19 11:42:08 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:e700:1ac0:4dff:fedb:a3f1) |
| 2023-03-19 11:46:03 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2023-03-19 11:49:59 +0100 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 264 seconds) |
| 2023-03-19 11:51:16 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Remote host closed the connection) |
| 2023-03-19 11:56:23 +0100 | juri_ | (~juri@79.140.123.169) (Read error: Connection reset by peer) |
| 2023-03-19 11:59:12 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 2023-03-19 11:59:34 +0100 | juri_ | (~juri@79.140.123.169) |
| 2023-03-19 12:00:02 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-03-19 12:05:17 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-014.46.114.pool.telefonica.de) |
| 2023-03-19 12:06:11 +0100 | juri_ | (~juri@79.140.123.169) (Ping timeout: 256 seconds) |
| 2023-03-19 12:07:57 +0100 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) |
| 2023-03-19 12:08:02 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-19 12:08:36 +0100 | dcoutts_ | (~duncan@host86-167-90-128.range86-167.btcentralplus.com) |
| 2023-03-19 12:10:56 +0100 | dcoutts | (~duncan@host86-167-90-128.range86-167.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2023-03-19 12:11:50 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-19 12:12:12 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 12:12:43 +0100 | Guest|21 | (~Guest|21@185.204.201.47) |
| 2023-03-19 12:12:54 +0100 | Guest|21 | (~Guest|21@185.204.201.47) (Client Quit) |
| 2023-03-19 12:14:35 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-03-19 12:16:03 +0100 | Pickchea | (~private@user/pickchea) |
| 2023-03-19 12:16:23 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-03-19 12:16:39 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 260 seconds) |
| 2023-03-19 12:21:32 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) |
| 2023-03-19 12:24:03 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 12:26:15 +0100 | vglfr | (~vglfr@88.155.24.235) |
| 2023-03-19 12:35:34 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 12:37:04 +0100 | _xor | (~xor@74.215.46.17) (Read error: Connection reset by peer) |
| 2023-03-19 12:37:27 +0100 | _xor | (~xor@74.215.46.17) |
| 2023-03-19 12:40:17 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 12:42:19 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2023-03-19 12:43:17 +0100 | cheater | (~Username@user/cheater) |
| 2023-03-19 12:48:53 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 12:53:20 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 12:53:45 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 2023-03-19 12:54:29 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 12:57:11 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-03-19 12:57:31 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 248 seconds) |
| 2023-03-19 12:59:16 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 2023-03-19 12:59:23 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!) |
| 2023-03-19 12:59:43 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 13:01:55 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-19 13:04:06 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 255 seconds) |
| 2023-03-19 13:11:24 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-03-19 13:18:31 +0100 | waleee | (~waleee@h-176-10-136-153.NA.cust.bahnhof.se) (Quit: updattar) |
| 2023-03-19 13:19:31 +0100 | waleee | (~waleee@h-176-10-136-153.NA.cust.bahnhof.se) |
| 2023-03-19 13:20:43 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) (Ping timeout: 276 seconds) |
| 2023-03-19 13:21:59 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:3906:5956:a545:1240) (Read error: Connection reset by peer) |
| 2023-03-19 13:22:21 +0100 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-03-19 13:31:41 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-03-19 13:33:47 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 13:34:46 +0100 | Pickchea | (~private@user/pickchea) |
| 2023-03-19 13:35:36 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-014.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2023-03-19 13:39:45 +0100 | mmhat | (~mmh@p200300f1c715f7d0ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-03-19 13:39:54 +0100 | andrewboltachev | (~andrey@178.141.199.8) (Quit: Leaving.) |
| 2023-03-19 13:40:16 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 13:40:42 +0100 | andrewboltachev | (~andrey@178.141.199.8) |
| 2023-03-19 13:41:49 +0100 | andrewboltachev | (~andrey@178.141.199.8) (Client Quit) |
| 2023-03-19 13:43:36 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 13:47:39 +0100 | <siers69> | Is the Num typeclass encoding numbers in a tagless final style? It has a typeclass over repr, defining an algebra that returns the repr (in the code repr is "a"). It can be both ints and strings. |
| 2023-03-19 13:48:23 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 268 seconds) |
| 2023-03-19 13:52:42 +0100 | waleee | (~waleee@h-176-10-136-153.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2023-03-19 14:02:27 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-014.46.114.pool.telefonica.de) |
| 2023-03-19 14:02:38 +0100 | nate4 | (~nate@98.45.169.16) |
| 2023-03-19 14:04:00 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-03-19 14:05:55 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-03-19 14:09:02 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2023-03-19 14:12:17 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-03-19 14:23:19 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-03-19 14:26:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-03-19 14:28:19 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 14:30:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-03-19 14:30:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:add4:765e:c41a:7ea4) |
| 2023-03-19 14:33:28 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 14:34:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:add4:765e:c41a:7ea4) (Ping timeout: 250 seconds) |
| 2023-03-19 14:41:41 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-03-19 14:44:34 +0100 | img | (~img@user/img) |
| 2023-03-19 14:45:01 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 246 seconds) |
| 2023-03-19 14:45:54 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-03-19 14:53:37 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 14:58:17 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-03-19 15:00:29 +0100 | michalz | (~michalz@185.246.207.203) |
| 2023-03-19 15:02:25 +0100 | gdr3941 | (~gregreich@2601:483:4800:5740:f998:7c21:2dc2:5367) |
| 2023-03-19 15:05:10 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 15:06:53 +0100 | gdr3941 | (~gregreich@2601:483:4800:5740:f998:7c21:2dc2:5367) () |
| 2023-03-19 15:08:35 +0100 | razetime | (~Thunderbi@117.193.3.50) |
| 2023-03-19 15:08:45 +0100 | gdr3941 | (~gregreich@2601:483:4800:5740:f998:7c21:2dc2:5367) |
| 2023-03-19 15:09:29 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 15:13:00 +0100 | coot | (~coot@213.134.171.3) |
| 2023-03-19 15:14:34 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-19 15:15:43 +0100 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-19 15:17:35 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-014.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 2023-03-19 15:18:17 +0100 | coot | (~coot@213.134.171.3) (Ping timeout: 256 seconds) |
| 2023-03-19 15:18:17 +0100 | coot_ | coot |
| 2023-03-19 15:21:27 +0100 | jerg | (~jerg@2001:a61:2611:1701:e737:6af:a06e:d388) |
| 2023-03-19 15:22:03 +0100 | acidjnk | (~acidjnk@p200300d6e715c46658d5bad1711949c4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-03-19 15:26:23 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-03-19 15:27:04 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-03-19 15:27:27 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-03-19 15:27:27 +0100 | dcoutts__ | (~duncan@host86-167-90-128.range86-167.btcentralplus.com) |
| 2023-03-19 15:27:52 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2023-03-19 15:27:57 +0100 | pdw | (~user@215.156.62.185.bridgefibre.net) (Remote host closed the connection) |
| 2023-03-19 15:28:10 +0100 | pdw | (~user@215.156.62.185.bridgefibre.net) |
| 2023-03-19 15:28:20 +0100 | megaTherion | (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-03-19 15:28:36 +0100 | megaTherion | (~therion@unix.io) |
| 2023-03-19 15:28:42 +0100 | Sciencentistguy5 | (~sciencent@hacksoc/ordinary-member) |
| 2023-03-19 15:28:56 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-03-19 15:30:03 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 248 seconds) |
| 2023-03-19 15:30:03 +0100 | Sciencentistguy5 | Sciencentistguy |
| 2023-03-19 15:30:11 +0100 | dcoutts_ | (~duncan@host86-167-90-128.range86-167.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2023-03-19 15:31:24 +0100 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 265 seconds) |
| 2023-03-19 15:31:24 +0100 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Ping timeout: 265 seconds) |
| 2023-03-19 15:31:24 +0100 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Ping timeout: 265 seconds) |
| 2023-03-19 15:31:53 +0100 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) (Ping timeout: 265 seconds) |
| 2023-03-19 15:31:59 +0100 | robertm | (robertm@lattice.rojoma.com) (Ping timeout: 248 seconds) |
| 2023-03-19 15:33:04 +0100 | lisk1n | (~liskin@xmonad/liskin) |
| 2023-03-19 15:33:04 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-03-19 15:34:17 +0100 | liskin | (~liskin@xmonad/liskin) (Ping timeout: 265 seconds) |
| 2023-03-19 15:34:50 +0100 | mastarija | (~mastarija@188.252.197.201) (Quit: WeeChat 3.7.1) |
| 2023-03-19 15:35:12 +0100 | megaTherion | (~therion@unix.io) (Ping timeout: 252 seconds) |
| 2023-03-19 15:36:24 +0100 | Taneb0 | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2023-03-19 15:36:42 +0100 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Ping timeout: 265 seconds) |
| 2023-03-19 15:38:34 +0100 | megaTherion | (~therion@unix.io) |
| 2023-03-19 15:38:50 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 15:43:16 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 252 seconds) |
| 2023-03-19 15:43:37 +0100 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
| 2023-03-19 15:43:42 +0100 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) |
| 2023-03-19 15:44:10 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-014.46.114.pool.telefonica.de) |
| 2023-03-19 15:44:28 +0100 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2023-03-19 15:45:03 +0100 | robertm | (robertm@lattice.rojoma.com) |
| 2023-03-19 15:45:16 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-03-19 15:48:01 +0100 | geekosaur[m] | (~geekosaur@xmonad/geekosaur) |
| 2023-03-19 15:52:26 +0100 | megaTherion | (~therion@unix.io) (Ping timeout: 252 seconds) |
| 2023-03-19 15:53:40 +0100 | micro | (micro@user/micro) (Ping timeout: 260 seconds) |
| 2023-03-19 15:58:26 +0100 | megaTherion | (~therion@unix.io) |
| 2023-03-19 15:58:36 +0100 | micro | (~micro@user/micro) |
| 2023-03-19 16:02:54 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 16:03:41 +0100 | acidjnk | (~acidjnk@p200300d6e715c46658d5bad1711949c4.dip0.t-ipconnect.de) |
| 2023-03-19 16:04:42 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-19 16:04:43 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-19 16:04:43 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-19 16:09:05 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 16:13:55 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 268 seconds) |
| 2023-03-19 16:14:43 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) |
| 2023-03-19 16:16:00 +0100 | CiaoSen | (~Jura@p200300c9571fe6002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-03-19 16:23:27 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 255 seconds) |
| 2023-03-19 16:24:14 +0100 | koz | (~koz@121.99.240.58) |
| 2023-03-19 16:27:07 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2023-03-19 16:31:04 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-03-19 16:36:22 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-03-19 16:45:32 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 16:47:26 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2023-03-19 16:48:16 +0100 | troydm | (~troydm@user/troydm) |
| 2023-03-19 16:50:00 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:e700:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 2023-03-19 16:50:10 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 16:54:37 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2023-03-19 16:56:59 +0100 | Kaph | (~Kaph@net-2-37-155-11.cust.vodafonedsl.it) |
| 2023-03-19 16:57:25 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-014.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2023-03-19 16:58:54 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-014.46.114.pool.telefonica.de) |
| 2023-03-19 16:59:20 +0100 | vglfr | (~vglfr@88.155.24.235) (Ping timeout: 246 seconds) |
| 2023-03-19 17:00:07 +0100 | Kaph | (~Kaph@net-2-37-155-11.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2023-03-19 17:00:08 +0100 | jade[m] | (~jadecatgi@2001:470:69fc:105::3:194e) (Quit: You have been kicked for being idle) |
| 2023-03-19 17:00:34 +0100 | Kaph | (~Kaph@net-2-37-155-11.cust.vodafonedsl.it) |
| 2023-03-19 17:00:54 +0100 | Kaph | (~Kaph@net-2-37-155-11.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2023-03-19 17:01:31 +0100 | econo | (uid147250@user/econo) |
| 2023-03-19 17:06:01 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 250 seconds) |
| 2023-03-19 17:06:30 +0100 | anpad | (~pandeyan@user/anpad) (Ping timeout: 252 seconds) |
| 2023-03-19 17:06:50 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-19 17:11:04 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2023-03-19 17:14:10 +0100 | gastus | (~gastus@5.83.191.249) |
| 2023-03-19 17:15:39 +0100 | acidjnk | (~acidjnk@p200300d6e715c46658d5bad1711949c4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-03-19 17:16:58 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 17:18:05 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-03-19 17:20:23 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 17:21:27 +0100 | lottaquestions_ | (~nick@2607:fa49:503e:7100:f10c:7d33:a2c4:22f3) (Remote host closed the connection) |
| 2023-03-19 17:21:54 +0100 | lottaquestions_ | (~nick@2607:fa49:503e:7100:c169:efbb:2dc6:2ed3) |
| 2023-03-19 17:24:32 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 17:31:15 +0100 | kimjetwav | (~user@2607:fea8:235e:b600:4cf2:6784:6712:f6ef) (Remote host closed the connection) |
| 2023-03-19 17:48:59 +0100 | kimjetwav | (~user@2607:fea8:235e:b600:8d5f:c19:135b:d0c3) |
| 2023-03-19 17:50:31 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-19 17:50:44 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2023-03-19 17:51:23 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-03-19 17:52:07 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 17:52:57 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-03-19 17:56:28 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 17:57:30 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-176-014.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-03-19 17:59:39 +0100 | Samsey | (~Samsey@151.31.204.228) |
| 2023-03-19 18:00:43 +0100 | Samsey | (~Samsey@151.31.204.228) (Client Quit) |
| 2023-03-19 18:01:38 +0100 | gdr3941 | (~gregreich@2601:483:4800:5740:f998:7c21:2dc2:5367) (Ping timeout: 246 seconds) |
| 2023-03-19 18:04:15 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds) |
| 2023-03-19 18:07:02 +0100 | esfo | (~ersa@213.247.109.196) |
| 2023-03-19 18:07:21 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-03-19 18:07:54 +0100 | esfo | (~ersa@213.247.109.196) (Client Quit) |
| 2023-03-19 18:10:36 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-03-19 18:10:58 +0100 | gentauro | (~gentauro@user/gentauro) |
| 2023-03-19 18:11:11 +0100 | razetime | (~Thunderbi@117.193.3.50) (Remote host closed the connection) |
| 2023-03-19 18:17:11 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-03-19 18:19:08 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 18:21:02 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-03-19 18:21:22 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-03-19 18:22:01 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-03-19 18:23:56 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 18:31:26 +0100 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2023-03-19 18:32:09 +0100 | mikoto-chan | (~mikoto-ch@dy54z4y1t9qnwdj1ryyby-4.rev.dnainternet.fi) (Ping timeout: 265 seconds) |
| 2023-03-19 18:32:43 +0100 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-03-19 18:33:11 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:add4:765e:c41a:7ea4) |
| 2023-03-19 18:33:38 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 18:34:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-19 18:36:39 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-03-19 18:37:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:add4:765e:c41a:7ea4) (Ping timeout: 250 seconds) |
| 2023-03-19 18:37:53 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 250 seconds) |
| 2023-03-19 18:44:41 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:add4:765e:c41a:7ea4) |
| 2023-03-19 18:51:00 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 265 seconds) |
| 2023-03-19 18:51:05 +0100 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) |
| 2023-03-19 18:55:51 +0100 | mikoto-chan | (~mikoto-ch@dy54z4y1bml78xgm-ky0t-4.rev.dnainternet.fi) |
| 2023-03-19 18:56:47 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-03-19 19:00:43 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-03-19 19:02:15 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-03-19 19:06:51 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 19:08:06 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-19 19:08:27 +0100 | Ashkan | (~Ashkan@a119011.upc-a.chello.nl) (Quit: Client closed) |
| 2023-03-19 19:08:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-19 19:11:20 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 19:12:50 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 19:13:47 +0100 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-03-19 19:17:17 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-03-19 19:19:14 +0100 | mmhat | (~mmh@p200300f1c715f7d0ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-03-19 19:19:24 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 19:24:11 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 264 seconds) |
| 2023-03-19 19:24:20 +0100 | andrewboltachev | (~andrey@178.141.124.205) |
| 2023-03-19 19:24:44 +0100 | andrewboltachev | (~andrey@178.141.124.205) () |
| 2023-03-19 19:26:25 +0100 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:f18c:e067:2e85:d2af) |
| 2023-03-19 19:36:28 +0100 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-03-19 19:41:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-19 19:43:25 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 19:45:33 +0100 | <EvanR> | based on nothing I'd expect an unboxed vector of Int to take up 1 machine int per Int and unboxed vector of Word8 to take up 1 byte per Word8... is that right |
| 2023-03-19 19:45:55 +0100 | <EvanR> | what about unboxed vector of (Int, Word8) |
| 2023-03-19 19:46:49 +0100 | <geekosaur> | I think that gets turned into a tuple of unboxed vectors |
| 2023-03-19 19:47:24 +0100 | <geekosaur> | and whether Word8 uses 1 or 8 bytes may depend on the ghc version and/or version of vector |
| 2023-03-19 19:48:10 +0100 | <EvanR> | well that's interesting |
| 2023-03-19 19:50:47 +0100 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-03-19 19:52:40 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 2023-03-19 19:52:49 +0100 | <c_wraith> | Unboxed vectors definitely do SoA stuff |
| 2023-03-19 19:54:36 +0100 | <EvanR> | SoA? |
| 2023-03-19 19:54:47 +0100 | <c_wraith> | Struct of Arrays. |
| 2023-03-19 19:55:09 +0100 | <c_wraith> | C terminology for making the thing essentially column-oriented instead of row-oriented |
| 2023-03-19 19:55:41 +0100 | <EvanR> | so if I mutate an unboxed vector of (A,B,C,D) and only change the C it only changes one array? |
| 2023-03-19 19:56:02 +0100 | <EvanR> | or all 4 with 3 being non-changes |
| 2023-03-19 19:56:17 +0100 | <geekosaur> | changes only C's array |
| 2023-03-19 19:56:46 +0100 | <EvanR> | that seems magical |
| 2023-03-19 19:56:58 +0100 | <c_wraith> | Note that it will likely be a write to all four, because it's just more work to check first. |
| 2023-03-19 19:57:10 +0100 | <c_wraith> | It's just that the write won't change the values in 3 of them |
| 2023-03-19 19:57:17 +0100 | <geekosaur> | hm, probably |
| 2023-03-19 19:57:28 +0100 | <geekosaur> | as for magical, afaik it's just some RULES |
| 2023-03-19 19:58:00 +0100 | <c_wraith> | I don't think it's even rules. I think it's the fact that every type has its own implementation of MVector for Data.Vector.Unboxed |
| 2023-03-19 19:58:02 +0100 | <EvanR> | the storage is column oriented but the interface is row oriented |
| 2023-03-19 19:58:31 +0100 | <c_wraith> | `data family Vector a' |
| 2023-03-19 19:58:45 +0100 | <c_wraith> | data family, so it's a distinct implementation for each type |
| 2023-03-19 19:59:08 +0100 | <c_wraith> | Oh, and MVector is a data family as well. |
| 2023-03-19 20:01:10 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-03-19 20:03:29 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-03-19 20:05:52 +0100 | <eldritchcookie[m> | if i make a game in haskell is it possible to make a mod loader similar to tmodloader from terraria or mindustry's modloader? |
| 2023-03-19 20:06:44 +0100 | <eldritchcookie[m> | basically assuming binary compatibility how can i load/link dynamically with haskell code |
| 2023-03-19 20:06:54 +0100 | travisb_ | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2023-03-19 20:07:22 +0100 | <geekosaur> | @hackage plugins |
| 2023-03-19 20:07:22 +0100 | <lambdabot> | https://hackage.haskell.org/package/plugins |
| 2023-03-19 20:07:53 +0100 | <geekosaur> | dunno how up to date it is, looks like its dependency map doesn't exclude ghc9 |
| 2023-03-19 20:08:27 +0100 | travisb__ | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-03-19 20:08:56 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-03-19 20:09:21 +0100 | <eldritchcookie[m> | given my luck it probably is outdated and doesn't compile in ghc 9.2 |
| 2023-03-19 20:10:18 +0100 | <EvanR> | worse comes to worst, you could FFI to the dynamic loader and call out to a plugin (written potentially in haskell using the same shenanigan to preset itself as a C library?) |
| 2023-03-19 20:10:32 +0100 | <EvanR> | present* |
| 2023-03-19 20:10:55 +0100 | <EvanR> | I haven't been clear on the state of plugins in haskell for a while |
| 2023-03-19 20:10:59 +0100 | <geekosaur> | it's also possible to do it with hint, or with ghc-api, but those will be more work |
| 2023-03-19 20:12:00 +0100 | <EvanR> | mods in unity games seem to rely on C#'s runtime system more than anything from the game engine or the game itself. Which suggests maybe there is a more haskelly way to allow mods |
| 2023-03-19 20:12:08 +0100 | irrgit_ | (~irrgit@89.47.234.26) |
| 2023-03-19 20:12:19 +0100 | <eldritchcookie[m> | one of my requirements is to not need a compiler at runtime assuming the user downloaded a binary compatible mod |
| 2023-03-19 20:14:37 +0100 | <geekosaur> | I think that rules out plugins since it depends on the ghc package which is ghc-as-a-library |
| 2023-03-19 20:14:54 +0100 | <eldritchcookie[m> | yeah exactly |
| 2023-03-19 20:15:16 +0100 | <eldritchcookie[m> | thanks anyway, how are haskell programs linked |
| 2023-03-19 20:15:18 +0100 | <geekosaur> | I think you can't do it without a compiler because "binary compatibility" in Haskell includes type equality as proven by a typechecker |
| 2023-03-19 20:15:25 +0100 | irrgit__ | (~irrgit@146.70.27.218) (Ping timeout: 276 seconds) |
| 2023-03-19 20:15:26 +0100 | Nezteb | (sid594012@id-594012.tinside.irccloud.com) |
| 2023-03-19 20:16:22 +0100 | <eldritchcookie[m> | binary compatibility i mean like i |
| 2023-03-19 20:16:35 +0100 | <geekosaur> | haskell libraries are by default static |
| 2023-03-19 20:16:38 +0100 | <eldritchcookie[m> | a nix binary cache |
| 2023-03-19 20:17:13 +0100 | <geekosaur> | there are dynamic libraries possible but they have abi hashes because they need to match exactly |
| 2023-03-19 20:17:17 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 20:18:25 +0100 | <EvanR> | seems to offer some hope https://downloads.haskell.org/ghc/latest/docs/users_guide/shared_libs.html |
| 2023-03-19 20:18:39 +0100 | <EvanR> | "Shared libraries are also commonly used as a plugin mechanism by various applications" |
| 2023-03-19 20:18:58 +0100 | <EvanR> | and mentions that exporting haskell code to be used by other haskell code is possible but more complicated than exporting a C interface |
| 2023-03-19 20:19:11 +0100 | mikoto-chan | (~mikoto-ch@dy54z4y1bml78xgm-ky0t-4.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
| 2023-03-19 20:20:56 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 20:20:58 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) |
| 2023-03-19 20:23:54 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-03-19 20:25:21 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 250 seconds) |
| 2023-03-19 20:31:18 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-03-19 20:35:43 +0100 | <eldritchcookie[m> | where could i find more information on haskell shared libraries? |
| 2023-03-19 20:36:22 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-03-19 20:36:59 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2023-03-19 20:38:46 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2023-03-19 20:42:44 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-03-19 20:51:21 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-03-19 20:51:23 +0100 | gastus | (~gastus@5.83.191.249) (Ping timeout: 246 seconds) |
| 2023-03-19 20:52:54 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 20:53:55 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 20:55:38 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-03-19 20:58:36 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 21:03:55 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) (Ping timeout: 265 seconds) |
| 2023-03-19 21:09:39 +0100 | <davean> | eldritchcookie[m: what information are you looking for? |
| 2023-03-19 21:15:50 +0100 | <[exa]> | eldritchcookie[m: tbh they are linked very much like the normal C programs, except the common assumptions about what the symbols point to are highly messed up |
| 2023-03-19 21:16:54 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer) |
| 2023-03-19 21:17:47 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-03-19 21:18:03 +0100 | <eldritchcookie[m> | i actually don't know enough to know exactly what i want but my requirements would be be able to link at run time and decide what to link at run time, i then would need to be able to make a function call of a IO action but besides that the only limitation is that at run time it shouldn't need ghc |
| 2023-03-19 21:21:06 +0100 | <EvanR> | one way is to interpret the mod code at runtime |
| 2023-03-19 21:21:15 +0100 | <EvanR> | like, a script DSL or something |
| 2023-03-19 21:22:11 +0100 | <eldritchcookie[m> | that is like my second option but i would like to have the game be moddable with haskell |
| 2023-03-19 21:23:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-19 21:23:27 +0100 | <EvanR> | makes sense |
| 2023-03-19 21:24:03 +0100 | <EvanR> | try the plugins package, I tried it a long time ago and it worked. But that was a long time ago |
| 2023-03-19 21:24:16 +0100 | <geekosaur> | it requires the compiler available at runtime |
| 2023-03-19 21:24:20 +0100 | <EvanR> | oh |
| 2023-03-19 21:24:22 +0100 | <geekosaur> | trying to think how to do this |
| 2023-03-19 21:25:34 +0100 | <EvanR> | it's possible for a C program to call haskell code, and for a haskell code to call C code. By equational reasoning or something just stick 2 or three stages of that to get haskell code to call haskell code |
| 2023-03-19 21:25:41 +0100 | <geekosaur> | ffi call into the dso, which calls hs_init so it can run embedded haskell code? should only require the compiler at compile time but may involve some hassle to get plumbed in |
| 2023-03-19 21:27:40 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 21:27:58 +0100 | <eldritchcookie[m> | how is the ffi implemented? surely we can just call haskell code from haskell code? |
| 2023-03-19 21:28:13 +0100 | <geekosaur> | not via the ffi, no |
| 2023-03-19 21:28:18 +0100 | <geekosaur> | you just call it |
| 2023-03-19 21:28:26 +0100 | <geekosaur> | ffi is designed to call C codde |
| 2023-03-19 21:29:31 +0100 | <eldritchcookie[m> | maybe forking the rts? wow this is a endless rabbit hole |
| 2023-03-19 21:31:36 +0100 | jerg | (~jerg@2001:a61:2611:1701:e737:6af:a06e:d388) (Quit: Leaving) |
| 2023-03-19 21:32:01 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/9.6.1/docs/users_guide/exts/ffi.html#making-a-haskell-library-th… might be of interest |
| 2023-03-19 21:32:12 +0100 | <geekosaur> | and how would forking the rts help? |
| 2023-03-19 21:32:26 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 21:33:18 +0100 | <EvanR> | heh, a second process to run the mod and communicate over IPC |
| 2023-03-19 21:33:40 +0100 | <int-e> | Yeah the RTS is probably the most ABI-stable part of this picture. |
| 2023-03-19 21:33:56 +0100 | <EvanR> | all this is very similar to wanting to use the native GUI library which is probably in an arcane language like objective C |
| 2023-03-19 21:35:42 +0100 | <EvanR> | if the java bridge used to work surely there's a way to make a "haskell bridge" |
| 2023-03-19 21:37:32 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-03-19 21:37:45 +0100 | <geekosaur> | hm, actually that link talks about hs_main and hs_exit which you shouldn't want since you want to use the existing one |
| 2023-03-19 21:37:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-19 21:39:44 +0100 | <geekosaur> | so afaict you just build your haskell library wrapped in a C entry point (think C++'s `extern "C"`) and FFI-call that |
| 2023-03-19 21:40:32 +0100 | <geekosaur> | building the library requires the compiler (duh) and interface modules, running it should work without either |
| 2023-03-19 21:41:18 +0100 | <geekosaur> | ("interface modules" here should be just their .hi files) |
| 2023-03-19 21:42:40 +0100 | <eldritchcookie[m> | <geekosaur> "and how would forking the rts..." <- well mindustry seems to work via some lazy loading sorcery? at least from looking at the code it seems to load mods by instantiating a special class loader so the library is only needed at run time? also won't i be locked out of most haskell features if i go via the ffi? |
| 2023-03-19 21:44:26 +0100 | <geekosaur> | only the parameters and return values would be constrained to what can be represented in C. again, think `extern "C"` if you know C++. if you don't: once you are in the foreign code via the FFI call, you can call arbitrary Haskell code |
| 2023-03-19 21:45:45 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-03-19 21:45:46 +0100 | <geekosaur> | you have a basic header file HsFFI.h with the core Haskell definitions, plus an include file generated for the Haskell code you are calling from C by the compiler |
| 2023-03-19 21:45:58 +0100 | <geekosaur> | once you have called into Haskell via that you can do whatever |
| 2023-03-19 21:47:57 +0100 | acidjnk | (~acidjnk@p200300d6e715c48305d2b6e6e0a86f76.dip0.t-ipconnect.de) |
| 2023-03-19 21:49:12 +0100 | <geekosaur> | also re your earlier, "class loader" makes me think Java or at least JVM. Haskell does not run in a virtual CPU, it's native code |
| 2023-03-19 21:49:21 +0100 | <geekosaur> | it just has different requirements than C code |
| 2023-03-19 21:50:38 +0100 | <eldritchcookie[m> | yeah the example i gave is in java. |
| 2023-03-19 21:50:51 +0100 | <eldritchcookie[m> | the other on e i know is in c# |
| 2023-03-19 21:51:21 +0100 | <eldritchcookie[m> | so i didn't even know if it was actually possible for haskell |
| 2023-03-19 21:52:37 +0100 | <geekosaur> | C# has most of the same behaviors as Java |
| 2023-03-19 21:52:46 +0100 | <geekosaur> | native code behaves differently |
| 2023-03-19 21:53:17 +0100 | <geekosaur> | (C# runs in the CLR, Microsoft's equivalent of the JVM) |
| 2023-03-19 21:53:28 +0100 | <eldritchcookie[m> | but about the c example how could i do something like link with all libs in a specific subfolder of .local/share/mygame/mods and then call functions from these libraries in my game |
| 2023-03-19 21:55:07 +0100 | <geekosaur> | I described the basics above. the main constraint is that the original call and return can only use C types, but the Haskell code in between can do pretty much anything |
| 2023-03-19 21:55:26 +0100 | <geekosaur> | if you need to communicate Haskell data you probably end up using IORefs |
| 2023-03-19 21:56:10 +0100 | <geekosaur> | anything fancier needs the compiler at runtime, as with plugins |
| 2023-03-19 21:56:42 +0100 | <geekosaur> | hm. actually I don't know how much of the compiler is needed |
| 2023-03-19 21:57:14 +0100 | <geekosaur> | suppose you could try it with plugins and then see what happens if you move the compiler out of the way temporarily |
| 2023-03-19 21:57:19 +0100 | <geekosaur> | (lib directory) |
| 2023-03-19 21:57:46 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-03-19 21:57:48 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-03-19 21:58:31 +0100 | <eldritchcookie[m> | hm is this https://hackage.haskell.org/package/dynamic-loader relevant? |
| 2023-03-19 21:58:45 +0100 | <eldritchcookie[m> | it doesn't depend on ghc |
| 2023-03-19 21:59:07 +0100 | <geekosaur> | "Last success reported in 2016" |
| 2023-03-19 21:59:15 +0100 | <geekosaur> | good luck |
| 2023-03-19 21:59:49 +0100 | <eldritchcookie[m> | yeah i need to know if it is worth to patch it to work in a recent version or if i would be wasting my time |
| 2023-03-19 21:59:53 +0100 | <geekosaur> | hasn't been updated since then, either |
| 2023-03-19 22:00:25 +0100 | <geekosaur> | in its favor, it only seems to depend on ghc-prim, but there have been a fair number of changes to that |
| 2023-03-19 22:00:27 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 22:00:47 +0100 | <geekosaur> | (definitions for "primitive" types) |
| 2023-03-19 22:01:07 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2023-03-19 22:01:30 +0100 | kimiamania | (~65804703@user/kimiamania) |
| 2023-03-19 22:04:49 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 22:06:31 +0100 | <eldritchcookie[m> | Enter GHCi. The interactive version of the Glasgow... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/1c0b32dd59b12f4bdd6204304e43b67fdc77…>) |
| 2023-03-19 22:06:40 +0100 | <eldritchcookie[m> | wow it built? |
| 2023-03-19 22:07:12 +0100 | <eldritchcookie[m> | i guess i will need to write a test before it crashes and burns? |
| 2023-03-19 22:11:06 +0100 | <EvanR> | what geekosaur made sense. Make a haskell library that can be called from C. Then call it from haskell via the FFI. You aren't locked out of anything on the library side, though there's the FFI marshalling |
| 2023-03-19 22:14:25 +0100 | <geekosaur> | that's the core of what plugins uses as well |
| 2023-03-19 22:14:50 +0100 | <geekosaur> | as I said a little earlier, I'm not sure how much if any of the compiler is actually needed at runtime |
| 2023-03-19 22:15:26 +0100 | <geekosaur> | ghci does its own linking so shouldn't even need the settings file unless to find out whether symbols have leading underscores or etc. |
| 2023-03-19 22:16:11 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-03-19 22:18:03 +0100 | <geekosaur> | earlier versions of plugins were more involved but iirc much of the additional functionality made its way into ghc-lib so ghci could use it too |
| 2023-03-19 22:18:56 +0100 | <geekosaur> | (notably un loading plugins) |
| 2023-03-19 22:23:31 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2023-03-19 22:24:27 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-03-19 22:30:07 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-03-19 22:30:26 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-03-19 22:31:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-03-19 22:31:59 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-03-19 22:32:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-03-19 22:33:06 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-03-19 22:33:24 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-03-19 22:33:57 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 22:37:40 +0100 | Sauvin | (~sauvin@user/Sauvin) (Quit: Leaving) |
| 2023-03-19 22:38:30 +0100 | <eldritchcookie[m> | i tested unsurprisingly it didn't work but it didn't segfault so there is that |
| 2023-03-19 22:38:39 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 22:38:43 +0100 | mikoto-chan | (~mikoto-ch@dy54z4y1bml78xgm-ky0t-4.rev.dnainternet.fi) |
| 2023-03-19 22:39:30 +0100 | <geekosaur> | so next is to try with plugins as I said, including moving the library dir out of the way to see if it still works or throws an error about e.g. the settings file |
| 2023-03-19 22:40:17 +0100 | <geekosaur> | or was that what you tested? I thought you were looking at dynamic-loader |
| 2023-03-19 22:40:24 +0100 | Sauvin | (~sauvin@user/Sauvin) |
| 2023-03-19 22:40:36 +0100 | <geekosaur> | if that was plugins then I'd file a bug report |
| 2023-03-19 22:41:07 +0100 | gurkenglas | (~gurkengla@dynamic-046-114-183-233.46.114.pool.telefonica.de) |
| 2023-03-19 22:41:32 +0100 | <eldritchcookie[m> | i tested dynamic loader it didn't throw an exception but didn't find my function |
| 2023-03-19 22:43:38 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-03-19 22:44:00 +0100 | lisk1n | liskin |
| 2023-03-19 22:44:54 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-03-19 22:56:55 +0100 | mastarija | (~mastarija@188.252.197.201) |
| 2023-03-19 23:00:17 +0100 | janus | (janus@anubis.0x90.dk) () |
| 2023-03-19 23:00:30 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-03-19 23:01:11 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 23:03:31 +0100 | _leo___ | (~emmanuelu@user/emmanuelux) (Ping timeout: 250 seconds) |
| 2023-03-19 23:03:50 +0100 | slack1256 | (~slack1256@181.42.50.18) |
| 2023-03-19 23:05:43 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 265 seconds) |
| 2023-03-19 23:05:47 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2023-03-19 23:09:11 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-03-19 23:11:46 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-03-19 23:11:46 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-03-19 23:11:46 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-03-19 23:19:41 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-03-19 23:19:42 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 255 seconds) |
| 2023-03-19 23:21:50 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-03-19 23:22:15 +0100 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 2023-03-19 23:32:54 +0100 | freeside | (~mengwong@122.11.248.245) |
| 2023-03-19 23:35:45 +0100 | dsp | (~dsp@host86-137-135-17.range86-137.btcentralplus.com) |
| 2023-03-19 23:37:24 +0100 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 264 seconds) |
| 2023-03-19 23:54:08 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-03-19 23:54:22 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |