| 2022-11-23 00:00:07 +0100 | ddb1 | (~ddb@tilde.club) |
| 2022-11-23 00:00:08 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-11-23 00:00:35 +0100 | x22x22x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 2022-11-23 00:03:00 +0100 | cyphase_eviltwin | (~cyphase@user/cyphase) |
| 2022-11-23 00:04:34 +0100 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (*.net *.split) |
| 2022-11-23 00:04:34 +0100 | Tisoxin | (~ikosit@user/ikosit) (*.net *.split) |
| 2022-11-23 00:04:34 +0100 | sm | (~sm@plaintextaccounting/sm) (*.net *.split) |
| 2022-11-23 00:04:34 +0100 | psydroid | (~psydroid@user/psydroid) (*.net *.split) |
| 2022-11-23 00:04:34 +0100 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) (*.net *.split) |
| 2022-11-23 00:04:34 +0100 | snek | (sid280155@id-280155.lymington.irccloud.com) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | scav | (sid309693@user/scav) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | Batzy | (~quassel@user/batzy) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | kimjetwav | (~user@2607:fea8:235e:b600:a711:1a92:88bb:85cd) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | darchitect | (~darchitec@2a00:23c6:3584:df01:d84a:e6ea:9bdf:965a) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | AkechiShiro | (~licht@user/akechishiro) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | maerwald | (~maerwald@mail.hasufell.de) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (*.net *.split) |
| 2022-11-23 00:04:35 +0100 | tabemann | (~tabemann@2600:1700:7990:24e0:6933:bf5a:ceeb:44f) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | sunarch | (sid526836@user/sunarch) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | parseval | (sid239098@id-239098.helmsley.irccloud.com) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | raoul | (~raoul@95.179.203.88) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | jocke-l | (jocke-l@a.x0.is) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | Patternmaster | (~georg@user/Patternmaster) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | sajith | (~sajith@user/sajith) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | mjacob | (~mjacob@adrastea.uberspace.de) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | ddb | (~ddb@tilde.club) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | siers | (~ij@user/ij) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | ncf | (~n@monade.li) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | _\_ | (~o@user/offon) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | kawen | (~quassel@static.208.191.216.95.clients.your-server.de) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | AWizzArd | (~code@gehrels.uberspace.de) (*.net *.split) |
| 2022-11-23 00:04:36 +0100 | snek_ | snek |
| 2022-11-23 00:04:36 +0100 | lll | _\_ |
| 2022-11-23 00:04:37 +0100 | parseval_ | parseval |
| 2022-11-23 00:04:37 +0100 | sclv_ | sclv |
| 2022-11-23 00:04:37 +0100 | scav_ | scav |
| 2022-11-23 00:04:38 +0100 | raoul3 | raoul |
| 2022-11-23 00:04:39 +0100 | sunarch_ | sunarch |
| 2022-11-23 00:04:43 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-11-23 00:04:56 +0100 | ncf_ | ncf |
| 2022-11-23 00:06:45 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-11-23 00:06:47 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Ping timeout: 268 seconds) |
| 2022-11-23 00:08:03 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-11-23 00:09:32 +0100 | mtjm_ | mtjm |
| 2022-11-23 00:10:22 +0100 | <lyxia> | you can't without additional axioms |
| 2022-11-23 00:10:32 +0100 | Tisoxin | (~ikosit@user/ikosit) |
| 2022-11-23 00:10:34 +0100 | jocke-l | (jocke-l@a.x0.is) |
| 2022-11-23 00:10:46 +0100 | famubu[m] | (~famubumat@2001:470:69fc:105::1081) |
| 2022-11-23 00:10:50 +0100 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 00:11:58 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-11-23 00:12:02 +0100 | nisstyre | (wes@user/nisstyre) |
| 2022-11-23 00:12:34 +0100 | belovachap | (~chapman@216-188-233-105.dyn.grandenetworks.net) (Ping timeout: 260 seconds) |
| 2022-11-23 00:12:58 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 00:14:01 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 00:14:50 +0100 | psydroid | (~psydroid@user/psydroid) |
| 2022-11-23 00:15:15 +0100 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) (Ping timeout: 260 seconds) |
| 2022-11-23 00:15:17 +0100 | Logio | (em@kapsi.fi) (Ping timeout: 246 seconds) |
| 2022-11-23 00:17:08 +0100 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
| 2022-11-23 00:17:14 +0100 | sm | (~sm@plaintextaccounting/sm) |
| 2022-11-23 00:17:40 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds) |
| 2022-11-23 00:18:09 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 00:18:24 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-11-23 00:20:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-23 00:20:34 +0100 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) |
| 2022-11-23 00:21:22 +0100 | Axman6 | (~Axman6@user/axman6) |
| 2022-11-23 00:22:12 +0100 | king_gs | (~Thunderbi@187.201.139.206) |
| 2022-11-23 00:22:18 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-23 00:22:32 +0100 | Logio | (em@kapsi.fi) |
| 2022-11-23 00:24:34 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 2022-11-23 00:26:31 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds) |
| 2022-11-23 00:27:42 +0100 | belovachap | (~chapman@216-188-233-105.dyn.grandenetworks.net) |
| 2022-11-23 00:27:56 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-11-23 00:30:39 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 00:32:19 +0100 | belovachap | (~chapman@216-188-233-105.dyn.grandenetworks.net) (Client Quit) |
| 2022-11-23 00:33:40 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 00:34:13 +0100 | robbert | robbert-vdh |
| 2022-11-23 00:36:15 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-23 00:36:47 +0100 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 2022-11-23 00:38:55 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2022-11-23 00:40:34 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2022-11-23 00:40:42 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 00:42:21 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 00:45:01 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-11-23 00:45:04 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-11-23 00:46:33 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-11-23 00:46:38 +0100 | Vajb | (~Vajb@2001:999:504:3ad6:52a4:a3b5:32d8:e74d) (Ping timeout: 256 seconds) |
| 2022-11-23 00:47:42 +0100 | <Axman6> | o/ |
| 2022-11-23 00:50:43 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 00:52:20 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2022-11-23 00:52:52 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 256 seconds) |
| 2022-11-23 00:53:34 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-11-23 00:53:36 +0100 | Logio | (em@kapsi.fi) (Ping timeout: 252 seconds) |
| 2022-11-23 00:54:29 +0100 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) (Ping timeout: 246 seconds) |
| 2022-11-23 00:54:42 +0100 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) |
| 2022-11-23 00:57:43 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-11-23 00:57:47 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-11-23 00:58:44 +0100 | Logio | (em@kapsi.fi) |
| 2022-11-23 00:59:10 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::7fe) (Quit: Konversation terminated!) |
| 2022-11-23 01:05:58 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-23 01:06:35 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2022-11-23 01:06:47 +0100 | polo | money |
| 2022-11-23 01:07:22 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2022-11-23 01:10:11 +0100 | king_gs1 | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 2022-11-23 01:11:00 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-11-23 01:11:02 +0100 | king_gs | (~Thunderbi@187.201.139.206) (Read error: Connection reset by peer) |
| 2022-11-23 01:11:03 +0100 | king_gs1 | king_gs |
| 2022-11-23 01:12:41 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2022-11-23 01:13:17 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2022-11-23 01:13:34 +0100 | mei_ | (~mei@user/mei) |
| 2022-11-23 01:16:06 +0100 | mei | (~mei@user/mei) (Ping timeout: 256 seconds) |
| 2022-11-23 01:17:37 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 256 seconds) |
| 2022-11-23 01:21:06 +0100 | chomwitt | (~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1) (Ping timeout: 255 seconds) |
| 2022-11-23 01:21:12 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a175929a180a95a2c61.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-11-23 01:24:54 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) |
| 2022-11-23 01:26:48 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-11-23 01:28:48 +0100 | Aran | (~Aran@port-92-194-65-253.dynamic.as20676.net) |
| 2022-11-23 01:29:55 +0100 | jtomas | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-11-23 01:31:33 +0100 | mei | (~mei@user/mei) |
| 2022-11-23 01:33:18 +0100 | tessier | (~treed@98.171.210.130) |
| 2022-11-23 01:34:10 +0100 | mei_ | (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2022-11-23 01:35:06 +0100 | dtman34_ | (~dtman34@2601:447:d000:93c9:90e9:6a34:e614:99b9) |
| 2022-11-23 01:35:45 +0100 | Aran | (~Aran@port-92-194-65-253.dynamic.as20676.net) (Quit: Leaving) |
| 2022-11-23 01:38:05 +0100 | dtman34 | (~dtman34@76.156.89.180) (Ping timeout: 252 seconds) |
| 2022-11-23 01:40:32 +0100 | money | (sid532813@user/polo) () |
| 2022-11-23 01:43:17 +0100 | mmhat | (~mmh@p200300f1c72dc696ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1) |
| 2022-11-23 01:54:12 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 2022-11-23 01:57:08 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-23 01:57:49 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds) |
| 2022-11-23 01:58:24 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-11-23 01:58:33 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 02:00:29 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) (Ping timeout: 260 seconds) |
| 2022-11-23 02:01:29 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-23 02:01:40 +0100 | srk | (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 2022-11-23 02:02:54 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 2022-11-23 02:06:19 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 248 seconds) |
| 2022-11-23 02:06:45 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:38e4:6025:87e4:a8aa) (Remote host closed the connection) |
| 2022-11-23 02:07:04 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2022-11-23 02:14:47 +0100 | <Clinton[m]> | Any thoughts on this stackoverflow question will be appreciated: https://stackoverflow.com/questions/74540639/when-are-the-results-of-default-methods-in-instances-… |
| 2022-11-23 02:16:09 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 02:19:47 +0100 | vgtw | (~vgtw@user/vgtw) |
| 2022-11-23 02:20:21 +0100 | razetime | (~quassel@117.193.1.164) |
| 2022-11-23 02:21:29 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-23 02:21:46 +0100 | shailangsa | (~shailangs@host109-159-108-137.range109-159.btcentralplus.com) (Remote host closed the connection) |
| 2022-11-23 02:23:04 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-11-23 02:24:47 +0100 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:7de0:3c17:c433:415e) |
| 2022-11-23 02:26:07 +0100 | <Axman6> | Great question, I have no idea what the answer is, and the answer might depend on many different factors. |
| 2022-11-23 02:28:47 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-11-23 02:28:55 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2022-11-23 02:30:28 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 268 seconds) |
| 2022-11-23 02:31:55 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2022-11-23 02:37:17 +0100 | lucerne | (~lucerne@5.113.148.245) (Read error: Connection reset by peer) |
| 2022-11-23 02:40:49 +0100 | tjakway | (~tjakway@cpe-107-184-74-161.socal.res.rr.com) |
| 2022-11-23 02:45:58 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2022-11-23 02:47:25 +0100 | mei | (~mei@user/mei) |
| 2022-11-23 02:48:58 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-11-23 02:51:29 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Remote host closed the connection) |
| 2022-11-23 02:51:48 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 2022-11-23 02:53:21 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 02:54:31 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Ping timeout: 256 seconds) |
| 2022-11-23 02:55:15 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) |
| 2022-11-23 03:03:43 +0100 | shailangsa | (~shailangs@host109-159-108-137.range109-159.btcentralplus.com) |
| 2022-11-23 03:04:43 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-23 03:08:05 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 2022-11-23 03:10:00 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2022-11-23 03:12:18 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5866:96fb:16f6:58d1) |
| 2022-11-23 03:16:09 +0100 | money | (sid532813@user/polo) |
| 2022-11-23 03:16:40 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5866:96fb:16f6:58d1) (Ping timeout: 260 seconds) |
| 2022-11-23 03:18:24 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 03:19:36 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 03:19:56 +0100 | ridcully | (~ridcully@p508acd4f.dip0.t-ipconnect.de) |
| 2022-11-23 03:20:25 +0100 | ridcully_ | (~ridcully@p57b52404.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-11-23 03:29:50 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-11-23 03:33:42 +0100 | bilegeek | (~bilegeek@2600:1008:b05b:8372:5c1:76fe:2ae1:5709) (Quit: Leaving) |
| 2022-11-23 03:38:00 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2022-11-23 03:38:40 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 03:39:46 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 03:39:48 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Ping timeout: 248 seconds) |
| 2022-11-23 03:41:02 +0100 | natto | (~natto@140.238.225.67) (Quit: a.) |
| 2022-11-23 03:41:33 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-23 03:42:23 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2022-11-23 03:43:07 +0100 | natto | (~natto@140.238.225.67) |
| 2022-11-23 03:45:34 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2022-11-23 03:46:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-23 03:46:56 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-11-23 03:46:59 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 255 seconds) |
| 2022-11-23 03:47:34 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-11-23 03:47:50 +0100 | califax_ | (~califax@user/califx) |
| 2022-11-23 03:48:47 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2022-11-23 03:49:05 +0100 | califax_ | califax |
| 2022-11-23 03:50:53 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-11-23 03:50:53 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-11-23 03:50:53 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-23 03:52:01 +0100 | tjakway | (~tjakway@cpe-107-184-74-161.socal.res.rr.com) (Quit: WeeChat 3.5) |
| 2022-11-23 03:56:26 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2022-11-23 03:58:19 +0100 | money | (sid532813@user/polo) () |
| 2022-11-23 03:58:47 +0100 | money | (sid532813@user/polo) |
| 2022-11-23 03:59:00 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 2022-11-23 04:00:22 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 04:04:01 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2022-11-23 04:06:03 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-11-23 04:13:28 +0100 | marc | (~marc@5.83.191.231) |
| 2022-11-23 04:13:52 +0100 | marc | Guest1081 |
| 2022-11-23 04:14:14 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5866:96fb:16f6:58d1) |
| 2022-11-23 04:15:20 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-11-23 04:16:51 +0100 | marc__ | (~marc@5.83.191.246) (Ping timeout: 260 seconds) |
| 2022-11-23 04:17:05 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds) |
| 2022-11-23 04:22:42 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-11-23 04:24:39 +0100 | money | polo |
| 2022-11-23 04:24:56 +0100 | polo | (sid532813@user/polo) () |
| 2022-11-23 04:25:24 +0100 | polo | (sid532813@user/polo) |
| 2022-11-23 04:26:01 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) |
| 2022-11-23 04:32:29 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-11-23 04:36:24 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-11-23 04:36:33 +0100 | hnOsmium0001 | (uid453710@user/hnOsmium0001) |
| 2022-11-23 04:38:34 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-11-23 04:38:43 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 04:41:21 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-23 04:41:21 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-11-23 04:41:21 +0100 | finn_elija | FinnElija |
| 2022-11-23 04:42:26 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2022-11-23 04:43:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9ba0:81b0:6475:533a) (Ping timeout: 252 seconds) |
| 2022-11-23 04:44:53 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-11-23 04:45:23 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 255 seconds) |
| 2022-11-23 04:45:40 +0100 | polo | (sid532813@user/polo) () |
| 2022-11-23 04:46:09 +0100 | polo | (sid532813@user/polo) |
| 2022-11-23 04:46:43 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-11-23 04:47:23 +0100 | polo | money |
| 2022-11-23 04:47:39 +0100 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-11-23 04:48:02 +0100 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-11-23 04:51:16 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 248 seconds) |
| 2022-11-23 04:54:48 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9ba0:81b0:6475:533a) |
| 2022-11-23 04:59:22 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-11-23 05:01:04 +0100 | td_ | (~td@83.135.9.38) (Ping timeout: 256 seconds) |
| 2022-11-23 05:02:46 +0100 | td_ | (~td@83.135.9.0) |
| 2022-11-23 05:08:33 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-11-23 05:08:59 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-11-23 05:08:59 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-11-23 05:08:59 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-23 05:11:58 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-11-23 05:12:27 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-11-23 05:15:19 +0100 | ddellacosta | (~ddellacos@143.244.47.82) (Ping timeout: 260 seconds) |
| 2022-11-23 05:17:01 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Remote host closed the connection) |
| 2022-11-23 05:17:20 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 2022-11-23 05:28:28 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 2022-11-23 05:29:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2022-11-23 05:31:09 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-11-23 05:31:49 +0100 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-11-23 05:31:54 +0100 | gurkengl1s | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-11-23 05:32:11 +0100 | gurkengl1s | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Client Quit) |
| 2022-11-23 05:32:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-11-23 05:34:26 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-11-23 05:35:29 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-23 05:35:36 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2022-11-23 05:38:48 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-11-23 05:48:19 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-11-23 05:48:56 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-11-23 05:54:50 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-23 05:55:25 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Ping timeout: 252 seconds) |
| 2022-11-23 05:56:36 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) |
| 2022-11-23 06:00:10 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-11-23 06:00:39 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-23 06:08:04 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 2022-11-23 06:11:48 +0100 | <opticblast> | I'm trying to figure out how to get ahold of a reference to the current continuation in Polysemy.Cont. |
| 2022-11-23 06:12:34 +0100 | <opticblast> | See subsection "Labeling Statements" here for an example using the more standard ContT: https://iamemhn.link/rom/continuations/ |
| 2022-11-23 06:13:59 +0100 | <opticblast> | The issue is that the approach there involves feeding a continuation to itself, which is simple enough to do when a continuation is just a function, but I can't tell if it's possible with Polysemy.Cont's references. |
| 2022-11-23 06:15:00 +0100 | <opticblast> | (Technically Polysemy.Cont exposes callCC, but I need to store these continuations in a datatype, and that is *much* easier using references.) |
| 2022-11-23 06:15:13 +0100 | <opticblast> | The documentation for Polysemy.Cont: https://hackage.haskell.org/package/polysemy-zoo-0.8.1.0/docs/Polysemy-Cont.html |
| 2022-11-23 06:15:48 +0100 | <opticblast> | jump :: forall ref a b r. Member (Cont ref) r => ref a -> a -> Sem r b |
| 2022-11-23 06:15:48 +0100 | <opticblast> | subst :: forall ref a b r. Member (Cont ref) r => (ref a -> Sem r b) -> (a -> Sem r b) -> Sem r b |
| 2022-11-23 06:18:46 +0100 | <opticblast> | (For clarity, subst gives you the current continuation, but I want to refer to it *outside* of the callback I give to subst.) |
| 2022-11-23 06:19:27 +0100 | <opticblast> | (Terrible hack: use IORefs to return it without returning it?) |
| 2022-11-23 06:20:01 +0100 | <opticblast> | No, if it had the right type for that I could simply return it the normal way. If I want to return a `ref ()`, then the callback sees a `ref (ref ())`. |
| 2022-11-23 06:20:28 +0100 | <opticblast> | Can the latter be transformed into the former somehow? |
| 2022-11-23 06:23:56 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-11-23 06:25:11 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-11-23 06:25:29 +0100 | <opticblast> | New approach! The only way to get a `ref ()` is by calling `subst` with `b ~ ()`. |
| 2022-11-23 06:28:59 +0100 | Vajb | (~Vajb@2001:999:504:3ad6:52a4:a3b5:32d8:e74d) |
| 2022-11-23 06:29:46 +0100 | money | polo |
| 2022-11-23 06:29:59 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-11-23 06:34:00 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-11-23 06:34:48 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-11-23 06:38:01 +0100 | <opticblast> | fix \go -> subst (\cont -> subst (jump cont) (const go)) pure |
| 2022-11-23 06:38:35 +0100 | <opticblast> | This is bizarre but it seems to work! |
| 2022-11-23 06:41:37 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-23 07:02:12 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-11-23 07:09:09 +0100 | <opticblast> | That's overcomplicated. I can just try the new approach from scratch! |
| 2022-11-23 07:10:09 +0100 | <opticblast> | fix \go -> subst return (const go) |
| 2022-11-23 07:10:14 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-11-23 07:13:47 +0100 | xilo | (~yourname@user/xilo) (Quit: Reconnecting) |
| 2022-11-23 07:14:00 +0100 | xilo | (~yourname@84.32.165.17) |
| 2022-11-23 07:14:08 +0100 | xilo | (~yourname@84.32.165.17) (Changing host) |
| 2022-11-23 07:14:08 +0100 | xilo | (~yourname@user/xilo) |
| 2022-11-23 07:15:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-11-23 07:15:23 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-11-23 07:16:04 +0100 | king_gs | (~Thunderbi@187.201.139.206) |
| 2022-11-23 07:26:53 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) |
| 2022-11-23 07:31:24 +0100 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 268 seconds) |
| 2022-11-23 07:35:12 +0100 | king_gs | (~Thunderbi@187.201.139.206) (Read error: Connection reset by peer) |
| 2022-11-23 07:35:15 +0100 | king_gs1 | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 2022-11-23 07:37:34 +0100 | king_gs1 | king_gs |
| 2022-11-23 07:43:06 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-23 07:47:38 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-11-23 07:48:09 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-23 07:51:38 +0100 | polo | (sid532813@user/polo) () |
| 2022-11-23 07:51:59 +0100 | nschoe | (~q@2a01:e0a:8e:a190:547b:7f8b:8da2:2f93) (Ping timeout: 246 seconds) |
| 2022-11-23 07:52:13 +0100 | tdammers | (~tdammers@77.109.72.175.res.static.edpnet.net) |
| 2022-11-23 07:56:57 +0100 | polo | (sid532813@user/polo) |
| 2022-11-23 08:01:08 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-11-23 08:10:19 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Remote host closed the connection) |
| 2022-11-23 08:10:39 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 2022-11-23 08:14:05 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-11-23 08:15:59 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) (Quit: leaving) |
| 2022-11-23 08:16:33 +0100 | freeside | (~mengwong@122.11.214.155) |
| 2022-11-23 08:19:24 +0100 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-11-23 08:30:23 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 260 seconds) |
| 2022-11-23 08:31:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-23 08:32:11 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-23 08:34:19 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-11-23 08:36:20 +0100 | freeside | (~mengwong@122.11.214.155) (Ping timeout: 248 seconds) |
| 2022-11-23 08:36:20 +0100 | Clint | (~Clint@user/clint) (Ping timeout: 248 seconds) |
| 2022-11-23 08:36:28 +0100 | Clint | (~Clint@user/clint) |
| 2022-11-23 08:42:17 +0100 | polo | (sid532813@user/polo) () |
| 2022-11-23 08:47:24 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-11-23 08:49:39 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-11-23 08:49:54 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Remote host closed the connection) |
| 2022-11-23 08:50:13 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 2022-11-23 08:51:41 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a0ee:c896:2576:b8e4) |
| 2022-11-23 08:52:48 +0100 | razetime | (~quassel@117.193.1.164) (Ping timeout: 268 seconds) |
| 2022-11-23 08:52:54 +0100 | Adran | (~adran@botters/adran) (Ping timeout: 260 seconds) |
| 2022-11-23 08:53:59 +0100 | dfg | (dfg@user/dfg) (Ping timeout: 246 seconds) |
| 2022-11-23 08:55:16 +0100 | Clint | (~Clint@user/clint) (Ping timeout: 268 seconds) |
| 2022-11-23 08:57:38 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) |
| 2022-11-23 08:58:01 +0100 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2022-11-23 09:00:33 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-23 09:01:20 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Ping timeout: 256 seconds) |
| 2022-11-23 09:02:09 +0100 | dfg | (dfg@dfg.rocks) |
| 2022-11-23 09:02:09 +0100 | dfg | (dfg@dfg.rocks) (Changing host) |
| 2022-11-23 09:02:09 +0100 | dfg | (dfg@user/dfg) |
| 2022-11-23 09:03:05 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-11-23 09:05:00 +0100 | jtomas | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-11-23 09:06:42 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-23 09:07:17 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-11-23 09:07:34 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-23 09:08:17 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-23 09:08:28 +0100 | Adran | (adran@botters/adran) |
| 2022-11-23 09:08:32 +0100 | nschoe | (~q@141.101.51.197) |
| 2022-11-23 09:10:51 +0100 | razetime | (~quassel@117.193.1.164) |
| 2022-11-23 09:13:42 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-23 09:15:40 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 2022-11-23 09:18:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9ba0:81b0:6475:533a) (Ping timeout: 260 seconds) |
| 2022-11-23 09:18:59 +0100 | mmhat | (~mmh@p200300f1c72dc696ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-11-23 09:19:32 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-11-23 09:19:56 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds) |
| 2022-11-23 09:20:39 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 09:22:50 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9162:2d84:4b79:4fbe) |
| 2022-11-23 09:25:18 +0100 | Adran | (adran@botters/adran) (Ping timeout: 255 seconds) |
| 2022-11-23 09:25:49 +0100 | dfg | (dfg@user/dfg) (Ping timeout: 260 seconds) |
| 2022-11-23 09:26:24 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2022-11-23 09:29:25 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds) |
| 2022-11-23 09:31:03 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-11-23 09:31:20 +0100 | dfg | (~dfg@dfg.rocks) |
| 2022-11-23 09:31:21 +0100 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2022-11-23 09:31:21 +0100 | dfg | (~dfg@user/dfg) |
| 2022-11-23 09:34:21 +0100 | Nixkernal | (~Nixkernal@2a02:1210:2e5f:d500:2764:5d83:2265:be0c) |
| 2022-11-23 09:38:03 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) (Ping timeout: 260 seconds) |
| 2022-11-23 09:40:09 +0100 | Adran | (adran@botters/adran) |
| 2022-11-23 09:42:04 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) |
| 2022-11-23 09:45:32 +0100 | Clint | (~Clint@user/clint) |
| 2022-11-23 09:45:32 +0100 | jtomas | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 255 seconds) |
| 2022-11-23 09:45:43 +0100 | titibandit | (~titibandi@xdsl-78-34-153-165.nc.de) |
| 2022-11-23 09:46:49 +0100 | acidjnk_new | (~acidjnk@p200300d6e7137a175929a180a95a2c61.dip0.t-ipconnect.de) |
| 2022-11-23 09:47:30 +0100 | polo | (sid532813@user/polo) |
| 2022-11-23 09:48:10 +0100 | michalz | (~michalz@185.246.207.197) |
| 2022-11-23 09:51:47 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-11-23 09:55:52 +0100 | joeyh | (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (Read error: Software caused connection abort) |
| 2022-11-23 09:56:04 +0100 | joeyh | (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) |
| 2022-11-23 09:57:16 +0100 | Batzy_ | Batzy |
| 2022-11-23 09:57:50 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-23 09:58:03 +0100 | mei | (~mei@user/mei) |
| 2022-11-23 09:58:16 +0100 | <Athas> | Where is ~/.cabal (or equivalent) located on Windows? |
| 2022-11-23 09:58:36 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 09:59:52 +0100 | <mauke> | %APPDATA%\cabal |
| 2022-11-23 10:00:12 +0100 | <mauke> | https://cabal.readthedocs.io/en/stable/config.html#environment-variables |
| 2022-11-23 10:00:36 +0100 | <Athas> | Followup: can I use %APPDATA% in a GitHub actions YAML file when indicating a cache action? |
| 2022-11-23 10:02:14 +0100 | <earthy> | uh... why do you think the github action is run on a windows machine? |
| 2022-11-23 10:04:23 +0100 | <mauke> | Microsoft |
| 2022-11-23 10:04:39 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-23 10:04:53 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-23 10:05:42 +0100 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-11-23 10:06:23 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-23 10:08:17 +0100 | jamestmartin | (~james@jtmar.me) (Read error: Software caused connection abort) |
| 2022-11-23 10:09:11 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-11-23 10:10:14 +0100 | bah | (~bah@l1.tel) (Read error: Software caused connection abort) |
| 2022-11-23 10:10:21 +0100 | bah | (~bah@l1.tel) |
| 2022-11-23 10:11:05 +0100 | jamestmartin | (~james@jtmar.me) |
| 2022-11-23 10:15:12 +0100 | <earthy> | https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners#support… ... |
| 2022-11-23 10:15:31 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Read error: Software caused connection abort) |
| 2022-11-23 10:15:41 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2022-11-23 10:15:57 +0100 | titibandit | (~titibandi@xdsl-78-34-153-165.nc.de) (Remote host closed the connection) |
| 2022-11-23 10:16:40 +0100 | mei_ | (~mei@user/mei) |
| 2022-11-23 10:16:53 +0100 | <[exa]> | hm so I have a recursive type, say `data AST ast = Ident String | App (AST ast) (AST ast)`. What's the currently best way to make the (AST (AST (AST (AST .....)))) type ? |
| 2022-11-23 10:17:15 +0100 | <dminuoso> | Welcome to Fix. |
| 2022-11-23 10:17:23 +0100 | <[exa]> | oh wait I meant `App ast ast` ofc. :] |
| 2022-11-23 10:17:28 +0100 | <dminuoso> | % newtype Fix f = Fix { unFix :: f (Fix f) } |
| 2022-11-23 10:17:28 +0100 | <yahb2> | <no output> |
| 2022-11-23 10:18:41 +0100 | <dminuoso> | Then rewrite AST into |
| 2022-11-23 10:18:42 +0100 | <[exa]> | I arrived at "let's solve with functors" getting `data AST f = Ident String | App (f (AST f)) (f (AST f))` but I completely failed to auto-derive at least a sensible Show for the thing |
| 2022-11-23 10:18:51 +0100 | <dminuoso> | Yes. that. |
| 2022-11-23 10:19:00 +0100 | <dminuoso> | or not quite |
| 2022-11-23 10:19:02 +0100 | <dminuoso> | You want: |
| 2022-11-23 10:19:12 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 10:19:27 +0100 | <[exa]> | hm yeah I see Fix does it in a bit less funky |
| 2022-11-23 10:19:29 +0100 | <[exa]> | way |
| 2022-11-23 10:19:37 +0100 | <dminuoso> | % data ASTF a = Ident STring | App a a |
| 2022-11-23 10:19:37 +0100 | <yahb2> | <interactive>:38:21: error: ; Not in scope: type constructor or class ‘STring’ ; Perhaps you meant ‘String’ (imported from Prelude) |
| 2022-11-23 10:19:40 +0100 | <dminuoso> | % data ASTF a = Ident Sring | App a a |
| 2022-11-23 10:19:40 +0100 | <yahb2> | <interactive>:40:21: error: ; Not in scope: type constructor or class ‘Sring’ ; Perhaps you meant ‘String’ (imported from Prelude) |
| 2022-11-23 10:19:43 +0100 | <dminuoso> | % data ASTF a = Ident String | App a a |
| 2022-11-23 10:19:43 +0100 | <yahb2> | <no output> |
| 2022-11-23 10:19:45 +0100 | <dminuoso> | Sorry |
| 2022-11-23 10:19:55 +0100 | <dminuoso> | type Ast a = Fix (ASTF a) |
| 2022-11-23 10:19:55 +0100 | <[exa]> | in turn I might not need the Show1 right |
| 2022-11-23 10:19:57 +0100 | <dminuoso> | % type Ast a = Fix (ASTF a) |
| 2022-11-23 10:19:57 +0100 | <yahb2> | <interactive>:44:19: error: ; • Expected kind ‘* -> *’, but ‘ASTF a’ has kind ‘*’ ; • In the first argument of ‘Fix’, namely ‘(ASTF a)’ ; In the type ‘Fix (ASTF a)’ ; In the typ... |
| 2022-11-23 10:20:00 +0100 | <dminuoso> | Uhh |
| 2022-11-23 10:20:02 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-11-23 10:20:26 +0100 | <[exa]> | it's just (Fix ASTF) right? |
| 2022-11-23 10:20:31 +0100 | <dminuoso> | Ah yes |
| 2022-11-23 10:20:39 +0100 | <[exa]> | ok lemme try |
| 2022-11-23 10:20:40 +0100 | mei | (~mei@user/mei) (Ping timeout: 256 seconds) |
| 2022-11-23 10:20:40 +0100 | <[Leary]> | We have QuantifiedConstraints now, so you can more-or-less forget about Show1 etc. |
| 2022-11-23 10:20:43 +0100 | <dminuoso> | [exa]: And for that you can derive Show |
| 2022-11-23 10:20:48 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 10:21:23 +0100 | <dminuoso> | % data ASTF a = Ident String | App a a deriving Show |
| 2022-11-23 10:21:23 +0100 | <yahb2> | <no output> |
| 2022-11-23 10:21:33 +0100 | razetime | (~quassel@117.193.1.164) (Ping timeout: 255 seconds) |
| 2022-11-23 10:21:40 +0100 | <dminuoso> | And Fix naturally has a Show1 instance |
| 2022-11-23 10:21:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-23 10:21:52 +0100 | <dminuoso> | Oh hold on, no you need Show1 yeah. |
| 2022-11-23 10:22:11 +0100 | razetime | (~quassel@117.193.1.164) |
| 2022-11-23 10:22:56 +0100 | <[exa]> | \o/ |
| 2022-11-23 10:23:53 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Read error: Software caused connection abort) |
| 2022-11-23 10:24:14 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
| 2022-11-23 10:25:01 +0100 | <[exa]> | oh lovely it works |
| 2022-11-23 10:25:03 +0100 | <[exa]> | thanks! |
| 2022-11-23 10:25:23 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 10:29:59 +0100 | kristjansson | (sid126207@2a03:5180:f::1:ecff) (Read error: Software caused connection abort) |
| 2022-11-23 10:30:23 +0100 | kristjansson | (sid126207@id-126207.tinside.irccloud.com) |
| 2022-11-23 10:34:25 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5866:96fb:16f6:58d1) (Remote host closed the connection) |
| 2022-11-23 10:35:47 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2022-11-23 10:37:46 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-11-23 10:38:32 +0100 | Nixkernal_ | (~Nixkernal@2a02:1210:2e5f:d500:2764:5d83:2265:be0c) |
| 2022-11-23 10:38:53 +0100 | Nixkernal | (~Nixkernal@2a02:1210:2e5f:d500:2764:5d83:2265:be0c) (Read error: Connection reset by peer) |
| 2022-11-23 10:39:20 +0100 | MajorBiscuit | (~MajorBisc@145.94.180.252) |
| 2022-11-23 10:41:38 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Ping timeout: 256 seconds) |
| 2022-11-23 10:45:07 +0100 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2022-11-23 10:45:25 +0100 | xstill_ | (xstill@fimu/xstill) |
| 2022-11-23 10:45:56 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-11-23 10:46:14 +0100 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2022-11-23 10:46:36 +0100 | pierrot | (~pi@user/pierrot) |
| 2022-11-23 10:50:17 +0100 | jespada | (~jespada@85.255.232.189) |
| 2022-11-23 10:54:38 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-23 10:55:52 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2022-11-23 10:57:51 +0100 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Read error: Software caused connection abort) |
| 2022-11-23 10:58:10 +0100 | codedmart | (~codedmart@li335-49.members.linode.com) |
| 2022-11-23 10:58:58 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-11-23 11:00:44 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-23 11:02:18 +0100 | teo | (~teo@user/teo) |
| 2022-11-23 11:03:20 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 2022-11-23 11:03:23 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-11-23 11:03:49 +0100 | astra | (sid289983@user/amish) (Read error: Software caused connection abort) |
| 2022-11-23 11:03:57 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 11:04:10 +0100 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2022-11-23 11:04:44 +0100 | jespada | (~jespada@85.255.232.189) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-23 11:05:27 +0100 | jespada | (~jespada@85.255.232.189) |
| 2022-11-23 11:05:57 +0100 | jespada | (~jespada@85.255.232.189) (Client Quit) |
| 2022-11-23 11:06:48 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Quit: opticblast) |
| 2022-11-23 11:07:01 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2022-11-23 11:07:44 +0100 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-11-23 11:09:28 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) |
| 2022-11-23 11:11:14 +0100 | Guest75 | (~Guest75@178.141.145.247) |
| 2022-11-23 11:13:58 +0100 | noteness | (~noteness@user/noteness) (Read error: Software caused connection abort) |
| 2022-11-23 11:17:15 +0100 | <accord> | Question |
| 2022-11-23 11:17:26 +0100 | <accord> | Say I have a file handle in my IO |
| 2022-11-23 11:17:43 +0100 | <accord> | How can haskell ensure I won't fetch that handle and reuse it once it's not valid |
| 2022-11-23 11:18:38 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2022-11-23 11:19:00 +0100 | <[exa]> | accord: by "fetching the handle" you mean reading its file descriptor as an integer and using it after the handle is closed? |
| 2022-11-23 11:19:11 +0100 | noteness | (~noteness@user/noteness) |
| 2022-11-23 11:19:18 +0100 | <[exa]> | (or something similar) |
| 2022-11-23 11:19:27 +0100 | Nixkernal_ | (~Nixkernal@2a02:1210:2e5f:d500:2764:5d83:2265:be0c) (Remote host closed the connection) |
| 2022-11-23 11:21:09 +0100 | <accord> | Something like that yes |
| 2022-11-23 11:21:45 +0100 | <accord> | [exa]: essentially I am wondering can we have type-safe interaction with uncopyable resources that have limited time-span |
| 2022-11-23 11:22:45 +0100 | <[exa]> | so basically you want a part of your application to have a Handle, and make sure it doesn't somehow magically leak the Handle out of the designated part, right? |
| 2022-11-23 11:23:47 +0100 | <[exa]> | technical answer: you might make the Handle a linear type, give the user no constructor for it, and require that the handle given to your part of application is "consumed" at the end of that part |
| 2022-11-23 11:24:10 +0100 | <[exa]> | practical answer part 1: linear types ain't very practical yet but people are working on it |
| 2022-11-23 11:24:28 +0100 | dragestil | (~znc@user/dragestil) (Read error: Software caused connection abort) |
| 2022-11-23 11:24:40 +0100 | <accord> | [exa]: yes linear types are what my mind is circling around |
| 2022-11-23 11:24:48 +0100 | dragestil | (~znc@user/dragestil) |
| 2022-11-23 11:25:38 +0100 | <[exa]> | practical answer part 2: you may use some kind of a `bracket`-like construction that opens the file/resource just for the given application part (and safely closes it after), and enforce that the type of that application part is sufficiently simple so that any resource leak needs to be made obvious for code review |
| 2022-11-23 11:26:25 +0100 | Nixkernal_ | (~Nixkernal@88.38.76.83.dynamic.wline.res.cust.swisscom.ch) |
| 2022-11-23 11:26:26 +0100 | <[exa]> | (and shoot anyone who wants to merge code that contains unsafePerformIO) |
| 2022-11-23 11:26:40 +0100 | <accord> | Scopes? |
| 2022-11-23 11:26:47 +0100 | <accord> | Yep |
| 2022-11-23 11:27:17 +0100 | <accord> | Thanks [exa], I'll explore the options |
| 2022-11-23 11:27:20 +0100 | <[exa]> | yeah bracket is kinda like scopes in some languages (C++ has this in the { mini scopes }) |
| 2022-11-23 11:28:17 +0100 | <[exa]> | usually you do something very simple but transparent such as: bracket (open resource) (close) $ do \resourceHandle -> ... |
| 2022-11-23 11:28:45 +0100 | <[exa]> | (uh whoops the `do` there is misplaced, should be behind -> ) |
| 2022-11-23 11:28:55 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) (Read error: Software caused connection abort) |
| 2022-11-23 11:29:05 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2022-11-23 11:31:59 +0100 | <[exa]> | accord: another more technical option is to construct some kind of custom environment monad that wraps the IO and only allows "safe" operations |
| 2022-11-23 11:32:07 +0100 | mikoto-chan | (~mikoto-ch@nat4.panoulu.net) |
| 2022-11-23 11:32:15 +0100 | <accord> | [exa]: makes sense |
| 2022-11-23 11:32:51 +0100 | <[exa]> | which is kindof popular. For example, if the part of the code is only reading bytes from the file, it doesn't need the functionality of full IO, and you can easily wrap it in something like `readResourceBytes` or so |
| 2022-11-23 11:32:57 +0100 | <accord> | [exa]: my initial solution was about being able to wrap up the entire transaction in a safe environment of limited scope. It's indeed best when can be done. The issue is when the session is long-lived. |
| 2022-11-23 11:33:30 +0100 | <[exa]> | do you need to release the resource in the meantime? |
| 2022-11-23 11:33:35 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Read error: Software caused connection abort) |
| 2022-11-23 11:33:54 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) |
| 2022-11-23 11:34:47 +0100 | <[exa]> | (at that point, some wrapping that dynamically frees/reacquires the resource might be the only sensible option) |
| 2022-11-23 11:34:54 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5866:96fb:16f6:58d1) |
| 2022-11-23 11:35:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-23 11:35:18 +0100 | Guest75 | (~Guest75@178.141.145.247) (Ping timeout: 260 seconds) |
| 2022-11-23 11:38:20 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-23 11:40:34 +0100 | mikoto-chan | (~mikoto-ch@nat4.panoulu.net) (Ping timeout: 256 seconds) |
| 2022-11-23 11:40:40 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5866:96fb:16f6:58d1) (Ping timeout: 260 seconds) |
| 2022-11-23 11:43:40 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-11-23 11:44:57 +0100 | meejah | (~meejah@rutas.meejah.ca) (Read error: Software caused connection abort) |
| 2022-11-23 11:46:06 +0100 | jespada | (~jespada@85.255.232.189) |
| 2022-11-23 11:47:59 +0100 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.7.1) |
| 2022-11-23 11:49:43 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2022-11-23 11:50:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a0ee:c896:2576:b8e4) (Quit: WeeChat 2.8) |
| 2022-11-23 11:50:44 +0100 | <mauke> | the ST monad does some fancy type trickery to ensure no resources created within can escape from runST |
| 2022-11-23 11:51:07 +0100 | meejah | (~meejah@rutas.meejah.ca) |
| 2022-11-23 11:53:44 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Read error: Software caused connection abort) |
| 2022-11-23 11:53:59 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2022-11-23 11:54:54 +0100 | srk | (~sorki@user/srk) |
| 2022-11-23 11:57:04 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2022-11-23 12:01:45 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-23 12:01:53 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-11-23 12:04:27 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Remote host closed the connection) |
| 2022-11-23 12:04:36 +0100 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Read error: Software caused connection abort) |
| 2022-11-23 12:05:04 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-23 12:06:14 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Ping timeout: 260 seconds) |
| 2022-11-23 12:07:36 +0100 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2022-11-23 12:09:52 +0100 | __monty_1 | (~toonn@user/toonn) |
| 2022-11-23 12:09:53 +0100 | __monty__ | (~toonn@user/toonn) (Quit: Lost terminal) |
| 2022-11-23 12:09:53 +0100 | __monty_1 | (~toonn@user/toonn) (Client Quit) |
| 2022-11-23 12:10:21 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-11-23 12:13:20 +0100 | moonsheep | (~user@user/moonsheep) |
| 2022-11-23 12:13:24 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2022-11-23 12:14:00 +0100 | <Athas> | earthy: because of 'runs-on: windows-2019'. |
| 2022-11-23 12:14:03 +0100 | <moonsheep> | I'm trying to write a simple TLS client/server program, but I keep getting HandshakeFailed (Error_Protocol ("expecting server hello, got alert : [(AlertLevel_Fatal,HandshakeFailure)]",True,HandshakeFailure)) |
| 2022-11-23 12:14:18 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2022-11-23 12:14:23 +0100 | <moonsheep> | here is the server: https://paste.tomsmeding.com/jRIybDIn |
| 2022-11-23 12:14:53 +0100 | <moonsheep> | here is the client: https://paste.tomsmeding.com/UoWDdXny |
| 2022-11-23 12:14:58 +0100 | <moonsheep> | what am I doing wrong? |
| 2022-11-23 12:16:55 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 268 seconds) |
| 2022-11-23 12:22:41 +0100 | eldritch | (~eldritch@user/eldritch) (Read error: Software caused connection abort) |
| 2022-11-23 12:22:50 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-23 12:24:14 +0100 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) (Read error: Software caused connection abort) |
| 2022-11-23 12:24:23 +0100 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) |
| 2022-11-23 12:26:18 +0100 | jakalx | (~jakalx@base.jakalx.net) (Read error: Software caused connection abort) |
| 2022-11-23 12:26:19 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-11-23 12:29:15 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-11-23 12:36:15 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-11-23 12:36:27 +0100 | drdo9 | (~drdo@overlord.drdo.eu) |
| 2022-11-23 12:36:29 +0100 | drdo | (~drdo@overlord.drdo.eu) (Ping timeout: 256 seconds) |
| 2022-11-23 12:36:29 +0100 | drdo9 | drdo |
| 2022-11-23 12:38:12 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-11-23 12:38:35 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-23 12:42:12 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Ping timeout: 268 seconds) |
| 2022-11-23 12:42:31 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 12:44:25 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-11-23 12:44:38 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 12:45:24 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-11-23 12:46:11 +0100 | gnawzie | (~normie@222-0-178-69.static.gci.net) |
| 2022-11-23 12:48:07 +0100 | gnawzie | crocuta |
| 2022-11-23 12:48:17 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2022-11-23 12:49:24 +0100 | polo | money |
| 2022-11-23 12:56:16 +0100 | <moonsheep> | oh I'm an idiot, you need a ciphersuite and credentials (which are apparently not optional) |
| 2022-11-23 12:56:32 +0100 | <moonsheep> | for the record: check both serverSupported and serverShared |
| 2022-11-23 12:56:33 +0100 | moonsheep | (~user@user/moonsheep) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2022-11-23 12:57:09 +0100 | yuribarros | (~Srain@2804:14c:65e4:865c::1000) (Ping timeout: 252 seconds) |
| 2022-11-23 12:57:17 +0100 | jinsl | (~jinsl@2408:8207:2551:7d70:211:32ff:fec8:6aea) |
| 2022-11-23 12:57:39 +0100 | <crocuta> | i'm new to haskell and its pretty intimidating |
| 2022-11-23 12:59:13 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-23 12:59:57 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-11-23 13:00:19 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 13:02:54 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2022-11-23 13:05:05 +0100 | <dminuoso> | Dont be intimidated. |
| 2022-11-23 13:07:56 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) (Remote host closed the connection) |
| 2022-11-23 13:14:16 +0100 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-11-23 13:14:56 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a0ee:c896:2576:b8e4) |
| 2022-11-23 13:16:55 +0100 | mikoto-chan | (~mikoto-ch@nat1.panoulu.net) |
| 2022-11-23 13:17:08 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 255 seconds) |
| 2022-11-23 13:18:37 +0100 | <crocuta> | ok im not thanks |
| 2022-11-23 13:18:49 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2022-11-23 13:19:58 +0100 | freeside_ | (~mengwong@103.252.202.193) |
| 2022-11-23 13:20:24 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5866:96fb:16f6:58d1) |
| 2022-11-23 13:20:53 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-23 13:21:49 +0100 | jrm | (~jrm@user/jrm) (Ping timeout: 260 seconds) |
| 2022-11-23 13:22:27 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2022-11-23 13:25:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-23 13:28:50 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 255 seconds) |
| 2022-11-23 13:29:04 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-11-23 13:29:44 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2022-11-23 13:29:45 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 2022-11-23 13:29:52 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 13:33:59 +0100 | yuribarros | (~Srain@189.6.35.188) |
| 2022-11-23 13:39:10 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) |
| 2022-11-23 13:43:38 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 260 seconds) |
| 2022-11-23 13:44:01 +0100 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
| 2022-11-23 13:44:03 +0100 | <__monty__> | crocuta: Anything in particular you're intimidated by? |
| 2022-11-23 13:44:21 +0100 | ncf | (~n@monade.li) |
| 2022-11-23 13:44:23 +0100 | <money> | women |
| 2022-11-23 13:45:48 +0100 | <hpc> | only be afraid of phantom types |
| 2022-11-23 13:45:54 +0100 | <hpc> | oooOOOoOOOOOoooOOohhh! |
| 2022-11-23 13:47:00 +0100 | Guest75 | (~Guest75@178.141.145.247) |
| 2022-11-23 13:50:12 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5866:96fb:16f6:58d1) (Remote host closed the connection) |
| 2022-11-23 13:53:40 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 2022-11-23 13:54:05 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2022-11-23 13:54:15 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-11-23 13:54:21 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-11-23 13:54:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-23 13:55:45 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-11-23 13:56:02 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 13:57:50 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-23 14:00:23 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2022-11-23 14:02:32 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2022-11-23 14:02:59 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-11-23 14:04:31 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-11-23 14:06:58 +0100 | jespada | (~jespada@85.255.232.189) (Ping timeout: 260 seconds) |
| 2022-11-23 14:07:47 +0100 | <dminuoso> | If I have a top level function `thing :: (Int -> Int) -> Int; thing f = f 10` marked as NOINLINE, Is there any way for the application of 10 to be floatet into the call site? |
| 2022-11-23 14:09:06 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2022-11-23 14:12:29 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2022-11-23 14:13:31 +0100 | <[exa]> | dminuoso: the documentation isn't very verbose on actual assertions that NOINLINE generates |
| 2022-11-23 14:13:42 +0100 | <[exa]> | this might be the most helpful part https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pragmas.html?highlight=noinline#phase-cont… |
| 2022-11-23 14:14:10 +0100 | <dminuoso> | Im well aware of phase control, which part of it do you consider helpful here? |
| 2022-11-23 14:14:25 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::7fe) |
| 2022-11-23 14:14:50 +0100 | <dminuoso> | What I do think, is that I might have to use OPAQUE instead. |
| 2022-11-23 14:15:04 +0100 | <[exa]> | OPAQUE is just about name mangling no? |
| 2022-11-23 14:15:19 +0100 | <[exa]> | (but the "opaque" name sounds much more promising, right) |
| 2022-11-23 14:15:19 +0100 | <dminuoso> | Well name mangling is just an artifact of worker wrapper transformation. |
| 2022-11-23 14:15:50 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2022-11-23 14:15:52 +0100 | <dminuoso> | And OPAQUE also blocks specialization |
| 2022-11-23 14:15:54 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) |
| 2022-11-23 14:16:22 +0100 | <dminuoso> | Let me rephrase, perhaps. |
| 2022-11-23 14:17:33 +0100 | <dminuoso> | Im staring at something like `runIt :: forall r. (Proxy# () -> (# Proxy #(), r #)) -> r = runIt f = f proxy#` |
| 2022-11-23 14:20:57 +0100 | comerijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-23 14:23:53 +0100 | merijn | (~merijn@c-001-001-017.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-11-23 14:25:03 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 2022-11-23 14:25:11 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 14:28:41 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-11-23 14:29:08 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-11-23 14:29:40 +0100 | Guest75 | (~Guest75@178.141.145.247) (Quit: Client closed) |
| 2022-11-23 14:32:39 +0100 | MajorBiscuit | (~MajorBisc@145.94.180.252) (Ping timeout: 255 seconds) |
| 2022-11-23 14:34:21 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-11-23 14:35:54 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-11-23 14:37:45 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 14:38:51 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 14:40:50 +0100 | MajorBiscuit | (~MajorBisc@145.94.180.252) |
| 2022-11-23 14:41:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:30dd:650d:598b:b72f) |
| 2022-11-23 14:43:24 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:30dd:650d:598b:b72f) (Remote host closed the connection) |
| 2022-11-23 14:43:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:30dd:650d:598b:b72f) |
| 2022-11-23 14:44:59 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:30dd:650d:598b:b72f) (Remote host closed the connection) |
| 2022-11-23 14:45:34 +0100 | tlaxkit | (~hexchat@170.253.32.91) |
| 2022-11-23 14:48:16 +0100 | tlaxkit | (~hexchat@170.253.32.91) (Client Quit) |
| 2022-11-23 14:50:04 +0100 | tlaxkit | (~hexchat@170.253.32.91) |
| 2022-11-23 14:50:06 +0100 | mei_ | (~mei@user/mei) (Remote host closed the connection) |
| 2022-11-23 14:51:22 +0100 | mei_ | (~mei@user/mei) |
| 2022-11-23 14:54:24 +0100 | <dminuoso> | I guess this is more of a ghc question anyway |
| 2022-11-23 14:58:41 +0100 | jespada | (~jespada@185.69.144.56) |
| 2022-11-23 15:01:55 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1) |
| 2022-11-23 15:03:33 +0100 | crocuta | (~normie@222-0-178-69.static.gci.net) (Ping timeout: 260 seconds) |
| 2022-11-23 15:04:21 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-11-23 15:06:24 +0100 | <kaol> | Blatant Haskell job advertising: https://www.reddit.com/r/haskell/comments/z2pupj/ksf_media_ab_hiring_senior_developer_in_helsinki/ |
| 2022-11-23 15:07:13 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-11-23 15:08:36 +0100 | <dminuoso> | kaol: Feel free to put it out on the haskell-cafe mailing list as well |
| 2022-11-23 15:10:08 +0100 | <kaol> | Sure. |
| 2022-11-23 15:18:13 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-11-23 15:19:40 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-11-23 15:21:15 +0100 | MajorBiscuit | (~MajorBisc@145.94.180.252) (Ping timeout: 255 seconds) |
| 2022-11-23 15:24:28 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-11-23 15:25:46 +0100 | comerijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-11-23 15:27:04 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2022-11-23 15:27:14 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-11-23 15:28:38 +0100 | chele | (~chele@user/chele) |
| 2022-11-23 15:32:07 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-11-23 15:32:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-11-23 15:34:54 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-11-23 15:35:27 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-23 15:38:52 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-11-23 15:39:48 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 268 seconds) |
| 2022-11-23 15:40:41 +0100 | <oak-> | Too bad I just took a new job, would have been interested |
| 2022-11-23 15:41:33 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-11-23 15:43:38 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-11-23 15:43:38 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-11-23 15:43:38 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-23 15:45:22 +0100 | son0p | (~ff@2604:3d08:5b7f:5540::604) (Ping timeout: 256 seconds) |
| 2022-11-23 15:49:33 +0100 | MajorBiscuit | (~MajorBisc@145.94.180.252) |
| 2022-11-23 15:49:56 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-11-23 15:52:17 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-23 15:52:38 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-11-23 15:53:44 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 255 seconds) |
| 2022-11-23 15:56:01 +0100 | mikoto-chan | (~mikoto-ch@nat1.panoulu.net) (Quit: WeeChat 3.6) |
| 2022-11-23 15:57:07 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2022-11-23 16:00:17 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-11-23 16:02:44 +0100 | freeside_ | (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 2022-11-23 16:03:11 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-11-23 16:16:55 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 2022-11-23 16:17:01 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-23 16:17:03 +0100 | MajorBiscuit | (~MajorBisc@145.94.180.252) (Ping timeout: 260 seconds) |
| 2022-11-23 16:19:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-23 16:21:25 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 16:22:21 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-11-23 16:22:31 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 16:22:39 +0100 | chomwitt | (~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1) |
| 2022-11-23 16:25:02 +0100 | mikoto-chan | (~mikoto-ch@nat4.panoulu.net) |
| 2022-11-23 16:26:44 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2022-11-23 16:29:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-23 16:29:45 +0100 | mikoto-chan | (~mikoto-ch@nat4.panoulu.net) (Ping timeout: 268 seconds) |
| 2022-11-23 16:30:04 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-11-23 16:30:51 +0100 | razetime | (~quassel@117.193.1.164) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-11-23 16:33:33 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 16:36:27 +0100 | MajorBiscuit | (~MajorBisc@145.94.180.252) |
| 2022-11-23 16:38:24 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-23 16:38:42 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-23 16:40:46 +0100 | dcoutts | (~duncan@host86-151-44-212.range86-151.btcentralplus.com) (Remote host closed the connection) |
| 2022-11-23 16:43:39 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-23 16:48:34 +0100 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2022-11-23 16:50:47 +0100 | mei_ | (~mei@user/mei) (Ping timeout: 255 seconds) |
| 2022-11-23 16:51:08 +0100 | jespada | (~jespada@185.69.144.56) (Read error: Connection reset by peer) |
| 2022-11-23 16:58:23 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-11-23 17:02:40 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-11-23 17:05:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-23 17:06:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-23 17:08:06 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:a0ee:c896:2576:b8e4) (Quit: WeeChat 2.8) |
| 2022-11-23 17:08:35 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-11-23 17:09:04 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-23 17:09:42 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 17:10:09 +0100 | tlaxkit | (~hexchat@170.253.32.91) (Ping timeout: 255 seconds) |
| 2022-11-23 17:10:52 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 17:15:55 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2022-11-23 17:16:19 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-23 17:16:47 +0100 | tlaxkit | (~hexchat@170.253.32.91) |
| 2022-11-23 17:17:13 +0100 | Achylles | (~Achylles_@2804:431:d724:3700:32de:e039:b5d9:f13a) |
| 2022-11-23 17:19:18 +0100 | jespada | (~jespada@185.69.144.56) |
| 2022-11-23 17:19:37 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-23 17:24:14 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2022-11-23 17:27:20 +0100 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 255 seconds) |
| 2022-11-23 17:33:20 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2022-11-23 17:35:25 +0100 | titibandit | (~titibandi@xdsl-78-34-153-165.nc.de) |
| 2022-11-23 17:37:56 +0100 | titibandit | (~titibandi@xdsl-78-34-153-165.nc.de) (Remote host closed the connection) |
| 2022-11-23 17:41:54 +0100 | nschoe | (~q@141.101.51.197) (Ping timeout: 268 seconds) |
| 2022-11-23 17:42:28 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-11-23 17:44:03 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 17:48:38 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-23 17:53:32 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-11-23 17:53:55 +0100 | LemanR66 | (~LemanR@vpn.drexelmed.edu) |
| 2022-11-23 17:55:28 +0100 | son0p | (~ff@2604:3d08:5b7f:5540::ebf0) |
| 2022-11-23 17:55:35 +0100 | <LemanR66> | Hey all, anyone mind helping with setup troubleshooting? I am on gentoo system and I believe I set up everything correctly. However on a ghci prompt I test 2 + 3 == 5 , I get back TRUE. Then I do something like TRUE == TRUE and get back error: Data constructor not in scope: TRUE. Seems like I'm missing something? |
| 2022-11-23 17:57:09 +0100 | <xerox> | LemanR66: it is True not TRUE |
| 2022-11-23 17:57:20 +0100 | <xerox> | @src Bool |
| 2022-11-23 17:57:20 +0100 | <lambdabot> | data Bool = False | True deriving (Eq, Ord) |
| 2022-11-23 17:58:14 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-11-23 17:58:42 +0100 | <c_wraith> | I find it very odd that you get back TRUE |
| 2022-11-23 17:58:49 +0100 | <LemanR66> | ah, seems I was following a bad (or not so good) tutorial (they had TRUE == TRUE). Or maybe their setup is different *shrugs* but thanks all. |
| 2022-11-23 17:58:53 +0100 | <c_wraith> | Is your terminal doing case-folding? |
| 2022-11-23 17:59:18 +0100 | <LemanR66> | c_wraith I just looked back and the output was True not TRUE so sorry all. I guess this was a non-issue |
| 2022-11-23 18:00:24 +0100 | <LemanR66> | nope, just lack of sleep + tutorial using caps when they shouldn't making me think that's how it was supposed to look (my brain not realizing the other output didn't have caps). |
| 2022-11-23 18:00:25 +0100 | <xerox> | no worries |
| 2022-11-23 18:03:49 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-11-23 18:04:05 +0100 | jespada | (~jespada@185.69.144.56) (Read error: Connection reset by peer) |
| 2022-11-23 18:05:57 +0100 | jespada | (~jespada@185.69.144.56) |
| 2022-11-23 18:09:17 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 18:11:15 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 18:12:30 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 18:12:39 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-23 18:13:50 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 2022-11-23 18:15:49 +0100 | teo | (~teo@user/teo) (Ping timeout: 268 seconds) |
| 2022-11-23 18:15:52 +0100 | yuribarros | (~Srain@189.6.35.188) (Remote host closed the connection) |
| 2022-11-23 18:15:56 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 2022-11-23 18:16:20 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-11-23 18:18:45 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-23 18:20:07 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-11-23 18:21:50 +0100 | zeenk | (~zeenk@2a02:2f04:a208:3600::7fe) (Quit: Konversation terminated!) |
| 2022-11-23 18:23:18 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 18:27:01 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-23 18:28:04 +0100 | bjourne | (~bjourne@2001:6b0:1:1140:42bf:ff4:f8fa:50e5) (Quit: Konversation terminated!) |
| 2022-11-23 18:29:23 +0100 | MajorBiscuit | (~MajorBisc@145.94.180.252) (Ping timeout: 268 seconds) |
| 2022-11-23 18:30:11 +0100 | ub | (~Thunderbi@178.115.70.87.wireless.dyn.drei.com) |
| 2022-11-23 18:30:49 +0100 | ubert | (~Thunderbi@178.165.179.227.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2022-11-23 18:30:49 +0100 | ub | ubert |
| 2022-11-23 18:31:38 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2022-11-23 18:35:20 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-11-23 18:41:37 +0100 | bobbingbob | (~bobbingbo@2604:3d09:207f:f650::b469) |
| 2022-11-23 18:44:41 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2022-11-23 18:46:05 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-11-23 18:46:52 +0100 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
| 2022-11-23 18:47:04 +0100 | ncf | (~n@monade.li) |
| 2022-11-23 18:56:42 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-11-23 18:57:44 +0100 | mei_ | (~mei@user/mei) |
| 2022-11-23 18:59:29 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-11-23 19:00:44 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-23 19:03:04 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 19:05:28 +0100 | LemanR66 | (~LemanR@vpn.drexelmed.edu) (Quit: Client closed) |
| 2022-11-23 19:05:47 +0100 | jrm | (~jrm@user/jrm) |
| 2022-11-23 19:12:32 +0100 | jespada | (~jespada@185.69.144.56) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-23 19:13:25 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt https://tinyurl.com/4m8d4kd5) |
| 2022-11-23 19:13:59 +0100 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 19:14:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-23 19:14:21 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-11-23 19:14:38 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-23 19:19:34 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2022-11-23 19:20:36 +0100 | econo | (uid147250@user/econo) |
| 2022-11-23 19:23:13 +0100 | money_ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-11-23 19:26:07 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-11-23 19:30:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-11-23 19:37:26 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 19:39:57 +0100 | money_ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Remote host closed the connection) |
| 2022-11-23 19:41:48 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-23 19:43:40 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-23 19:47:22 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-11-23 19:50:21 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-11-23 19:57:47 +0100 | king_gs | (~Thunderbi@2806:103e:29:bfeb:c988:bbd5:2586:4924) |
| 2022-11-23 20:01:47 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-11-23 20:02:30 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-11-23 20:06:31 +0100 | money_ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-11-23 20:06:43 +0100 | money_ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host) |
| 2022-11-23 20:06:43 +0100 | money_ | (~Gambino@user/polo) |
| 2022-11-23 20:09:11 +0100 | money | Guest5876 |
| 2022-11-23 20:09:11 +0100 | Guest5876 | (sid532813@user/polo) (Killed (copper.libera.chat (Nickname regained by services))) |
| 2022-11-23 20:09:11 +0100 | money_ | money |
| 2022-11-23 20:13:37 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-11-23 20:14:26 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-11-23 20:15:26 +0100 | jespada | (~jespada@185.69.144.56) |
| 2022-11-23 20:16:08 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-11-23 20:16:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-23 20:18:39 +0100 | nate4 | (~nate@98.45.169.16) |
| 2022-11-23 20:18:45 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-23 20:19:07 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-11-23 20:20:45 +0100 | mmhat | (~mmh@p200300f1c72dc696ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1) |
| 2022-11-23 20:23:34 +0100 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-11-23 20:25:30 +0100 | money | polo |
| 2022-11-23 20:26:27 +0100 | money | (Guest5876@user/polo) |
| 2022-11-23 20:29:42 +0100 | jespada | (~jespada@185.69.144.56) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-11-23 20:33:42 +0100 | jespada | (~jespada@185.69.144.56) |
| 2022-11-23 20:35:53 +0100 | Guest|66 | (~Guest|66@cpe-76-181-57-92.columbus.res.rr.com) |
| 2022-11-23 20:36:52 +0100 | Guest|66 | (~Guest|66@cpe-76-181-57-92.columbus.res.rr.com) (Client Quit) |
| 2022-11-23 20:38:26 +0100 | jespada | (~jespada@185.69.144.56) (Client Quit) |
| 2022-11-23 20:46:19 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-23 20:46:44 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 20:47:54 +0100 | themc47 | (~mc47@xmonad/TheMC47) |
| 2022-11-23 20:48:14 +0100 | polo | (~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-11-23 20:49:13 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2022-11-23 20:50:40 +0100 | money_ | (~Gambino@user/polo) |
| 2022-11-23 20:51:03 +0100 | money_ | (~Gambino@user/polo) (Client Quit) |
| 2022-11-23 20:51:22 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 2022-11-23 20:52:20 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2022-11-23 20:58:11 +0100 | kenran | (~user@user/kenran) |
| 2022-11-23 20:58:49 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-11-23 21:03:49 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 260 seconds) |
| 2022-11-23 21:04:04 +0100 | money_ | (~Gambino@user/polo) |
| 2022-11-23 21:04:12 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 21:06:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-11-23 21:07:07 +0100 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 21:08:30 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 21:11:09 +0100 | tlaxkit | (~hexchat@170.253.32.91) (Quit: Me voy...) |
| 2022-11-23 21:11:25 +0100 | Guest75 | (~Guest75@178.141.145.247) |
| 2022-11-23 21:12:34 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 2022-11-23 21:12:47 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-11-23 21:12:53 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2022-11-23 21:13:09 +0100 | money | Guest4277 |
| 2022-11-23 21:13:10 +0100 | Guest4277 | (Guest5876@user/polo) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2022-11-23 21:13:10 +0100 | money_ | money |
| 2022-11-23 21:14:12 +0100 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 2022-11-23 21:16:20 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 246 seconds) |
| 2022-11-23 21:16:52 +0100 | traxex | (traxex@user/traxex) (Killed (NickServ (GHOST command used by traxex_))) |
| 2022-11-23 21:18:54 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2022-11-23 21:19:29 +0100 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Quit: WeeChat 3.6) |
| 2022-11-23 21:23:06 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-11-23 21:23:18 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 260 seconds) |
| 2022-11-23 21:23:46 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-11-23 21:23:46 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-11-23 21:23:46 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-23 21:24:42 +0100 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2022-11-23 21:27:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-23 21:31:28 +0100 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:7de0:3c17:c433:415e) (Quit: caryhartline) |
| 2022-11-23 21:34:09 +0100 | merijn | (~merijn@86.86.29.250) |
| 2022-11-23 21:36:34 +0100 | causal | (~user@50.35.83.177) |
| 2022-11-23 21:38:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-23 21:39:03 +0100 | merijn | (~merijn@86.86.29.250) (Ping timeout: 260 seconds) |
| 2022-11-23 21:43:41 +0100 | pavonia | (~user@user/siracusa) |
| 2022-11-23 21:44:03 +0100 | money | (~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-11-23 21:44:43 +0100 | gmg | (~user@user/gehmehgeh) |
| 2022-11-23 21:46:28 +0100 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-11-23 21:46:54 +0100 | mei_ | (~mei@user/mei) (Ping timeout: 256 seconds) |
| 2022-11-23 21:47:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4990:f786:cc13:1f4d) |
| 2022-11-23 21:47:50 +0100 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (Quit: physical movement of computer) |
| 2022-11-23 21:47:54 +0100 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap237) |
| 2022-11-23 21:48:23 +0100 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2022-11-23 21:51:39 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) (Ping timeout: 268 seconds) |
| 2022-11-23 21:53:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-11-23 21:58:48 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-11-23 21:59:45 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-11-23 22:02:11 +0100 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-11-23 22:05:45 +0100 | opticblast | (~Thunderbi@secure-165.caltech.edu) |
| 2022-11-23 22:07:38 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-23 22:09:48 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4990:f786:cc13:1f4d) (Remote host closed the connection) |
| 2022-11-23 22:13:10 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-11-23 22:13:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c951:a1d6:3be6:822d) |
| 2022-11-23 22:20:05 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 22:24:57 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-11-23 22:25:19 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2022-11-23 22:25:19 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2022-11-23 22:25:19 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-11-23 22:26:17 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-11-23 22:38:01 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-11-23 22:39:27 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 22:39:35 +0100 | themc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-11-23 22:40:34 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 22:43:52 +0100 | caryhartline | (~caryhartl@2603-8080-6a0e-8d88-cd07-ecec-ac47-b707.res6.spectrum.com) |
| 2022-11-23 22:44:23 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-11-23 22:44:46 +0100 | Nixkernal_ | (~Nixkernal@88.38.76.83.dynamic.wline.res.cust.swisscom.ch) (Quit: Leaving) |
| 2022-11-23 22:47:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-23 22:50:56 +0100 | chomwitt | (~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2022-11-23 22:51:42 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 22:56:24 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-11-23 22:58:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-11-23 22:59:54 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-11-23 23:00:39 +0100 | <roconnor> | sclv: I think the cabal haddock documentation has a problem where I get links to internal modules that are hard coded to the dist-newstyle/build directory. Maybe due to a combination of using internal libraries and reexported-modules. |
| 2022-11-23 23:01:33 +0100 | <sclv> | likely. idk who built the docs a |
| 2022-11-23 23:01:36 +0100 | <sclv> | or how |
| 2022-11-23 23:02:06 +0100 | <roconnor> | i guess using reexported modules isn't common. |
| 2022-11-23 23:02:42 +0100 | <sclv> | oh wait they’re autobuilt. if you mean on hackage? |
| 2022-11-23 23:03:03 +0100 | <roconnor> | using cabal haddock on my project. |
| 2022-11-23 23:03:13 +0100 | <hippoid> | hi all, trying to use stack on nixos 22.05. i am using the nixos-22.05 channel. when i try to do `stack new helloworld new-template`, i get an 'error: attribute 'ghc925' missing`. how to fix? |
| 2022-11-23 23:04:24 +0100 | <sclv> | oh! yeah i think cabal haddock probably doesn’t know how to seal with internal libs well — wonder if haddock proper does even without cabal? maybe it doesn’t even make sense to ask that |
| 2022-11-23 23:05:58 +0100 | <roconnor> | I think with Setup.hs I just didn't have links to internal modules. Though the Setup.hs was full of other even moreserious problems on top of that. |
| 2022-11-23 23:06:19 +0100 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-11-23 23:07:08 +0100 | Guest75 | (~Guest75@178.141.145.247) (Ping timeout: 260 seconds) |
| 2022-11-23 23:08:45 +0100 | <sclv> | roconnor: i mean invoking haddock by hand? thats probably even worse… |
| 2022-11-23 23:10:16 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 23:10:20 +0100 | ft | (~ft@p508dbd59.dip0.t-ipconnect.de) |
| 2022-11-23 23:11:38 +0100 | bobbingbob | (~bobbingbo@2604:3d09:207f:f650::b469) (Remote host closed the connection) |
| 2022-11-23 23:12:47 +0100 | <roconnor> | ha ha. yikes. |
| 2022-11-23 23:14:44 +0100 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 256 seconds) |
| 2022-11-23 23:15:35 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Quit: euandreh) |
| 2022-11-23 23:16:34 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-23 23:19:17 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Remote host closed the connection) |
| 2022-11-23 23:20:07 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-23 23:24:45 +0100 | chomwitt | (~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1) |
| 2022-11-23 23:28:08 +0100 | freeside | (~mengwong@103.252.202.193) |
| 2022-11-23 23:30:50 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-11-23 23:31:06 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c951:a1d6:3be6:822d) (Remote host closed the connection) |
| 2022-11-23 23:31:24 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Ping timeout: 260 seconds) |
| 2022-11-23 23:31:40 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-23 23:31:59 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 23:34:05 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2022-11-23 23:35:12 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-11-23 23:36:03 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-11-23 23:36:08 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2022-11-23 23:37:04 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 23:37:28 +0100 | michalz | (~michalz@185.246.207.197) (Ping timeout: 260 seconds) |
| 2022-11-23 23:37:46 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-11-23 23:43:15 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-23 23:46:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-11-23 23:50:08 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-11-23 23:50:39 +0100 | euandreh | (~Thunderbi@179.214.113.107) (Ping timeout: 260 seconds) |
| 2022-11-23 23:53:28 +0100 | Guest4277 | (Guest4277@id-532813.tinside.irccloud.com) |
| 2022-11-23 23:54:08 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2022-11-23 23:54:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2022-11-23 23:57:00 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-11-23 23:57:40 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-11-23 23:58:23 +0100 | euandreh | (~Thunderbi@179.214.113.107) |
| 2022-11-23 23:59:02 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |