Logs on 2023-03-10 (liberachat/#haskell)
| 00:02:29 | × | johnjaye quits (~pi@173.209.64.74) (Quit: WeeChat 3.0) |
| 00:04:17 | → | mauke_ joins (~mauke@user/mauke) |
| 00:06:19 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 268 seconds) |
| 00:06:20 | mauke_ | is now known as mauke |
| 00:18:13 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 00:19:18 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 00:21:03 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 00:24:46 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 00:25:49 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 00:26:20 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 00:30:02 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Client Quit) |
| 00:30:44 | → | notzmv joins (~zmv@user/notzmv) |
| 00:34:16 | × | Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:36:28 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 00:38:27 | → | mrcsno joins (~mrcsno@user/mrcsno) |
| 01:01:24 | → | mauke_ joins (~mauke@user/mauke) |
| 01:03:43 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 276 seconds) |
| 01:03:43 | mauke_ | is now known as mauke |
| 01:09:27 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 01:14:46 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 01:15:04 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:16:54 | → | cheater_ joins (~Username@user/cheater) |
| 01:20:37 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 01:20:40 | cheater_ | is now known as cheater |
| 01:39:28 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 01:41:29 | → | zaquest joins (~notzaques@5.130.79.72) |
| 01:45:35 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 01:45:53 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 01:48:04 | × | segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 268 seconds) |
| 01:51:14 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:182e:ca34:e210:1559) |
| 01:51:52 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 01:55:09 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:55:43 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:182e:ca34:e210:1559) (Ping timeout: 248 seconds) |
| 02:00:17 | × | phma quits (~phma@host-67-44-208-201.hnremote.net) (Read error: Connection reset by peer) |
| 02:00:42 | → | phma joins (phma@2001:5b0:210f:1e8:e820:69d4:61ee:fd3b) |
| 02:02:00 | × | xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 255 seconds) |
| 02:07:12 | → | segfaultfizzbuzz joins (~segfaultf@12.172.217.142) |
| 02:10:06 | <jean-paul[m]> | How do I pronounce the ~ in a constraint like DomEventType e0 'KeypressTag ~ Word? |
| 02:10:34 | <jackdk> | "equal" |
| 02:10:50 | <jackdk> | or "equal to", or "is", I suppose |
| 02:11:32 | <jean-paul[m]> | okay, so I might say "for a dom event type e0 keypress tag equal to word" then |
| 02:13:00 | <jean-paul[m]> | thanks |
| 02:13:59 | <jackdk> | anyway, operator `(~)` is type-level equality |
| 02:16:26 | × | segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 268 seconds) |
| 02:26:16 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 02:27:14 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 02:38:50 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 02:39:21 | × | AlexZenon quits (~alzenon@178.34.160.55) (Ping timeout: 255 seconds) |
| 02:40:29 | × | Alex_test quits (~al_test@178.34.160.55) (Ping timeout: 268 seconds) |
| 02:41:09 | × | AlexNoo quits (~AlexNoo@178.34.160.55) (Ping timeout: 255 seconds) |
| 02:44:35 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:45:10 | → | segfaultfizzbuzz joins (~segfaultf@12.172.217.142) |
| 02:46:59 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: leaving) |
| 02:47:13 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 02:52:19 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) |
| 02:53:16 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 02:53:55 | → | gmg joins (~user@user/gehmehgeh) |
| 02:56:50 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) (Ping timeout: 260 seconds) |
| 02:58:48 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 03:03:18 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:03:18 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:03:18 | finn_elija | is now known as FinnElija |
| 03:08:09 | × | segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 255 seconds) |
| 03:10:22 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:14:36 | → | bilegeek joins (~bilegeek@2600:1008:b009:69aa:902e:e8da:6fd3:c329) |
| 03:15:54 | → | gastus joins (~gastus@5.83.191.20) |
| 03:18:55 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 03:19:34 | × | gastus_ quits (~gastus@185.6.123.209) (Ping timeout: 276 seconds) |
| 03:22:32 | × | matijja quits (~matijja@193.77.181.201) (Ping timeout: 252 seconds) |
| 03:22:55 | → | razetime joins (~Thunderbi@117.193.3.156) |
| 03:24:32 | → | Katarushisu1 joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 03:26:24 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 03:26:24 | Katarushisu1 | is now known as Katarushisu |
| 03:28:01 | × | td_ quits (~td@i53870909.versanet.de) (Ping timeout: 276 seconds) |
| 03:29:03 | → | td_ joins (~td@i53870929.versanet.de) |
| 03:37:55 | → | segfaultfizzbuzz joins (~segfaultf@12.172.217.142) |
| 03:42:46 | × | segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 268 seconds) |
| 03:44:09 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 03:55:17 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 03:55:19 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 03:55:23 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 04:02:19 | × | cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 04:02:34 | × | mud quits (~mud@user/kadoban) (Remote host closed the connection) |
| 04:05:14 | → | mbuf joins (~Shakthi@49.207.178.186) |
| 04:05:31 | × | razetime quits (~Thunderbi@117.193.3.156) (Ping timeout: 248 seconds) |
| 04:06:12 | × | waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 04:10:38 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:27:16 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) |
| 04:27:47 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 04:29:12 | → | segfaultfizzbuzz joins (~segfaultf@12.172.217.142) |
| 04:32:11 | × | polyphem_ quits (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 246 seconds) |
| 04:32:36 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 04:33:47 | × | segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 248 seconds) |
| 04:55:30 | → | razetime joins (~Thunderbi@117.193.3.156) |
| 05:02:58 | → | matijja joins (~matijja@193.77.181.201) |
| 05:03:34 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 05:17:47 | → | segfaultfizzbuzz joins (~segfaultf@12.172.217.142) |
| 05:21:20 | → | sympt5 joins (~sympt@user/sympt) |
| 05:22:42 | × | sympt quits (~sympt@user/sympt) (Ping timeout: 255 seconds) |
| 05:22:43 | sympt5 | is now known as sympt |
| 05:28:40 | → | Guest13 joins (~Guest13@250.79-105-213.static.virginmediabusiness.co.uk) |
| 05:28:55 | <Guest13> | hi, im trying to learn the statemonad, but i dont think its what i thought it was |
| 05:29:09 | <Guest13> | https://wiki.haskell.org/State_Monad |
| 05:29:25 | <Guest13> | At its heart, a value of type (State s a) is a function from initial state s to final value a and final state s: (a,s). |
| 05:29:34 | <Guest13> | s -> (a,s) |
| 05:29:54 | <Guest13> | whats; i -> s -> (a,s) ? |
| 05:29:58 | <Guest13> | if its not a state? |
| 05:31:14 | × | Benzi-Junior quits (~BenziJuni@dsl-149-66-52.hive.is) (Ping timeout: 252 seconds) |
| 05:35:09 | → | Benzi-Junior joins (~BenziJuni@dsl-149-66-52.hive.is) |
| 05:36:43 | → | trev joins (~trev@user/trev) |
| 05:40:21 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 05:44:21 | → | rburkholder joins (~blurb@96.45.2.121) |
| 05:50:35 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 05:54:16 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 276 seconds) |
| 05:55:07 | × | Guest13 quits (~Guest13@250.79-105-213.static.virginmediabusiness.co.uk) (Quit: Connection closed) |
| 06:01:53 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:09:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:14:54 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 06:19:39 | → | Inst__ joins (~Inst@2601:6c4:4081:54f0:7095:1969:fc0c:ba25) |
| 06:21:18 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:22:16 | × | mrcsno quits (~mrcsno@user/mrcsno) (Quit: WeeChat 3.5) |
| 06:23:31 | × | segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 276 seconds) |
| 06:23:55 | × | Inst_ quits (~Inst@2601:6c4:4081:54f0:2ca2:b1c3:7f96:1e03) (Ping timeout: 260 seconds) |
| 06:25:23 | × | bilegeek quits (~bilegeek@2600:1008:b009:69aa:902e:e8da:6fd3:c329) (Quit: Leaving) |
| 06:27:31 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 06:28:26 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 06:30:45 | → | mechap joins (~mechap@user/mechap) |
| 06:33:30 | × | Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Quit: Client limit exceeded: 20000) |
| 06:34:53 | → | freeside joins (~mengwong@122.11.248.245) |
| 06:39:45 | × | freeside quits (~mengwong@122.11.248.245) (Ping timeout: 268 seconds) |
| 06:40:38 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:41:59 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 06:43:00 | × | telser quits (~quassel@user/telser) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 06:44:58 | × | sympt quits (~sympt@user/sympt) (Ping timeout: 276 seconds) |
| 06:49:04 | → | chomwitt joins (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) |
| 06:49:55 | × | razetime quits (~Thunderbi@117.193.3.156) (Quit: See You Space Cowboy) |
| 06:53:25 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 276 seconds) |
| 06:54:48 | → | freeside joins (~mengwong@122.11.248.245) |
| 06:56:23 | → | mechap joins (~mechap@user/mechap) |
| 07:00:06 | × | foul_owl quits (~kerry@157.97.134.61) (Ping timeout: 268 seconds) |
| 07:04:38 | → | kenran joins (~user@user/kenran) |
| 07:07:30 | → | michalz joins (~michalz@185.246.207.205) |
| 07:09:55 | × | ___ quits (~o@user/offon) (Quit: ___) |
| 07:13:56 | → | foul_owl joins (~kerry@193.29.61.203) |
| 07:15:27 | → | _\_ joins (~o@user/offon) |
| 07:17:57 | × | Athas quits (~athas@sigkill.dk) (Ping timeout: 252 seconds) |
| 07:18:07 | → | acidjnk_new joins (~acidjnk@p200300d6e715c453b972168c77d6825c.dip0.t-ipconnect.de) |
| 07:18:39 | × | dgpratt[m] quits (~dgprattma@2001:470:69fc:105::1:dcdd) (Quit: Client limit exceeded: 20000) |
| 07:31:40 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:42:15 | → | Athas joins (athas@sigkill.dk) |
| 07:42:50 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:43:28 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:55:23 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:56:32 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 08:02:13 | → | Ashkan joins (~Ashkan@a119011.upc-a.chello.nl) |
| 08:03:36 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 08:08:48 | × | Ashkan quits (~Ashkan@a119011.upc-a.chello.nl) (Ping timeout: 260 seconds) |
| 08:10:54 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 08:15:39 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 08:18:08 | × | thegeekinside quits (~thegeekin@189.141.115.134) (Ping timeout: 248 seconds) |
| 08:19:39 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) (Remote host closed the connection) |
| 08:22:03 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 08:23:48 | × | ft quits (~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:25:45 | → | cheater joins (~Username@user/cheater) |
| 08:28:27 | <chreekat> | Guest13: can you rephrase the question? |
| 08:28:54 | × | flo[m] quits (~flosansps@2001:470:69fc:105::1:c22d) (Quit: Client limit exceeded: 20000) |
| 08:29:48 | <c_wraith> | chreekat: they left hours ago... |
| 08:30:29 | → | Las[m] joins (~lasmatrix@2001:470:69fc:105::74e) |
| 08:30:45 | → | flo[m] joins (~flosansps@2001:470:69fc:105::1:c22d) |
| 08:31:00 | → | dgpratt[m] joins (~dgprattma@2001:470:69fc:105::1:dcdd) |
| 08:32:31 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 08:33:02 | smol-hors | is now known as pony |
| 08:33:56 | × | tabemann quits (~travisb@2600:1700:7990:24e0:a037:7b9c:8019:6a70) (Remote host closed the connection) |
| 08:35:02 | → | EvanR joins (~EvanR@user/evanr) |
| 08:36:20 | → | tabemann joins (~travisb@2600:1700:7990:24e0:aa59:e9d0:5e2:58f5) |
| 08:38:07 | → | zeenk joins (~zeenk@2a02:2f04:a20d:f900::7fe) |
| 08:38:34 | → | chele joins (~chele@user/chele) |
| 08:50:14 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 08:51:59 | → | srk- joins (~sorki@user/srk) |
| 08:52:33 | → | srk| joins (~sorki@user/srk) |
| 08:54:41 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 08:55:06 | × | srk quits (~sorki@user/srk) (Ping timeout: 255 seconds) |
| 08:55:41 | srk| | is now known as srk |
| 08:56:01 | × | dsrt^ quits (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 08:56:41 | → | fnurglewitz joins (uid263868@id-263868.lymington.irccloud.com) |
| 08:56:48 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 08:56:55 | × | srk- quits (~sorki@user/srk) (Ping timeout: 276 seconds) |
| 09:02:00 | → | srk- joins (~sorki@user/srk) |
| 09:04:43 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 09:06:14 | × | srk quits (~sorki@user/srk) (Ping timeout: 255 seconds) |
| 09:06:15 | srk- | is now known as srk |
| 09:07:54 | → | monoidal joins (~monoidal@2a01cb0801ce4b00fdbf52a10f8bf9c8.ipv6.abo.wanadoo.fr) |
| 09:10:42 | → | CiaoSen joins (~Jura@p200300c9570e91002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 09:20:08 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) |
| 09:24:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) (Ping timeout: 260 seconds) |
| 09:26:21 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 09:30:33 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 09:49:08 | → | AlexNoo joins (~AlexNoo@178.34.160.55) |
| 09:50:31 | → | AlexZenon joins (~alzenon@178.34.160.55) |
| 09:51:35 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:52:32 | → | Alex_test joins (~al_test@178.34.160.55) |
| 09:54:39 | × | cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 09:56:15 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 09:58:51 | → | cheater joins (~Username@user/cheater) |
| 09:59:43 | → | cheater_ joins (~Username@user/cheater) |
| 09:59:47 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 10:03:15 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 10:03:20 | cheater_ | is now known as cheater |
| 10:03:52 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 10:04:13 | → | alex` joins (~user@45.red-83-36-44.dynamicip.rima-tde.net) |
| 10:08:17 | → | __monty__ joins (~toonn@user/toonn) |
| 10:20:05 | → | gurkenglas joins (~gurkengla@dynamic-046-114-177-189.46.114.pool.telefonica.de) |
| 10:21:30 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 10:26:08 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 10:29:44 | <absence> | is there a trick to avoid duplication when converting sum types to/from string? https://play.haskell.org/saved/3PkbvbwB |
| 10:30:20 | <c_wraith> | sure. "string for " ++ \case ... |
| 10:30:43 | <opqdonut> | absence: you could also have a Data.Bimap.Bimap Choice String |
| 10:31:46 | <c_wraith> | oh, stringToChoice would need something like stripPrefix |
| 10:32:01 | <absence> | c_wraith: pretend that the "string for" doesn't follow a pattern you can exploit |
| 10:32:10 | <c_wraith> | then there's no duplication |
| 10:32:19 | <absence> | yes, the set of strings is duplicated |
| 10:32:29 | <mauke> | build a table |
| 10:32:44 | <mauke> | :t lookup |
| 10:32:45 | <lambdabot> | Eq a => a -> [(a, b)] -> Maybe b |
| 10:33:28 | <absence> | i guess i would need a table that can look up in both directions, is that what Bimap is, opqdonut ? |
| 10:33:53 | <mauke> | :t map (\(a, b) -> (b, b)) |
| 10:33:54 | <lambdabot> | [(a, b)] -> [(b, b)] |
| 10:34:06 | <mauke> | :t map (\(a, b) -> (b, a)) |
| 10:34:07 | <lambdabot> | [(b, a)] -> [(a, b)] |
| 10:34:51 | <absence> | one minor problem about that, is that choiceToString would return Maybe/Either, since the compiler can't know if the map contains all the cases |
| 10:35:11 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 10:35:20 | <opqdonut> | absence: yep |
| 10:35:45 | <mauke> | :t fromJust |
| 10:35:46 | <lambdabot> | Maybe a -> a |
| 10:35:56 | <absence> | so i guess a "proper" solution would require template haskell or something? |
| 10:36:16 | <opqdonut> | you could use template haskell to generate those case expressions given a [(Choice,String)] yeah |
| 10:36:37 | <opqdonut> | but I'd just add a fromJust to the conversion function |
| 10:36:52 | <opqdonut> | unless you really really really want the compiler to check you implemented Choice->String for every constructor |
| 10:37:21 | × | alex` quits (~user@45.red-83-36-44.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 10:37:43 | → | MajorBiscuit joins (~MajorBisc@145.94.161.20) |
| 10:38:20 | <absence> | i do, because otherwise it's too forget to update the lookup table when adding new constructors to the sum type... |
| 10:38:40 | <absence> | does such a library exist? i tried searching, but may have used the wrong terms |
| 10:38:54 | <[Leary]> | Perhaps justified-containers. |
| 10:39:33 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 10:40:19 | <[Leary]> | Though at this point it's probably better to duplicate code. |
| 10:41:45 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 10:42:08 | × | chomwitt quits (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds) |
| 10:42:52 | <mauke> | table = case mapM_ (`lookup` protoTable) [minBound .. maxBound] >> pure protoTable of Just x -> x; Nothing -> error "you forgot to update the lookup table" where protoTable = ... |
| 10:45:25 | <absence> | [Leary]: it doesn't seem like i can easily get a Key from a (Choice,String) pair, so i don't think it would work, but it looks like an interesting library |
| 10:46:30 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 10:46:43 | <absence> | mauke: oof :) |
| 10:47:00 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 10:48:27 | <mauke> | maybe the whole RHS can be lifted into TH; who knows |
| 10:51:19 | → | vgtw joins (~vgtw@user/vgtw) |
| 10:53:01 | × | CiaoSen quits (~Jura@p200300c9570e91002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 10:59:54 | <dminuoso> | /connect bnc_oftc |
| 11:07:07 | → | mncheck joins (~mncheck@193.224.205.254) |
| 11:09:43 | <[Leary]> | @let invert f b = fst $ until ((b ==) . snd) ((id &&& f) . succ . fst) (id &&& f $ minBound) |
| 11:09:44 | <lambdabot> | Defined. |
| 11:09:49 | <[Leary]> | :t invert |
| 11:09:50 | <lambdabot> | (Eq b, Enum t, Bounded t) => (t -> b) -> b -> t |
| 11:10:05 | <[Leary]> | absence: Not really serious, but that's technically an option. :) |
| 11:10:20 | → | vpan joins (~0@212.117.1.172) |
| 11:11:29 | <[Leary]> | (since so long as you keep `choiceToString`, GHC will check exhaustivity) |
| 11:13:44 | <[Leary]> | You can get the same effect with "unsafe" lookup in `(id &&& choiceToString) <$> [minBound..maxBound]`. |
| 11:14:12 | × | monoidal quits (~monoidal@2a01cb0801ce4b00fdbf52a10f8bf9c8.ipv6.abo.wanadoo.fr) (Quit: Client closed) |
| 11:15:09 | → | monoidal joins (~monoidal@2a01cb0801ce4b00fdbf52a10f8bf9c8.ipv6.abo.wanadoo.fr) |
| 11:21:01 | → | dsrt^ joins (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 11:23:10 | × | freeside quits (~mengwong@122.11.248.245) (Ping timeout: 276 seconds) |
| 11:26:10 | → | chomwitt joins (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) |
| 11:27:50 | → | mmhat joins (~mmh@p200300f1c710303bee086bfffe095315.dip0.t-ipconnect.de) |
| 11:36:37 | → | ph88 joins (~ph88@91.66.101.83) |
| 11:37:28 | <dminuoso> | What's a minimal way to get the sizeof for a C struct? |
| 11:38:50 | <c_wraith> | the only correct way is to ask the C compiler that was used to compile the C code. |
| 11:39:35 | <mauke> | sizeof (struct X) |
| 11:39:38 | <dminuoso> | c_wraith: Out of curiosity, doesnt that mental model almost entirely make pre-compiled binaries a poor idea? |
| 11:40:07 | <dminuoso> | Since if you want to use an external library, there's no guarantee the header file you shove into your compiler will give the same result |
| 11:40:34 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 11:40:35 | <mauke> | define "no guarantee" |
| 11:40:54 | <c_wraith> | as a matter of fact, I've seen some pretty amazing error messages a friend reported when they changed between gcc and clang without updating all the binary dependencies. |
| 11:42:52 | <c_wraith> | anyway, dealing with that is what hsc2hs is for. https://ghc.gitlab.haskell.org/ghc/doc/users_guide/utils.html#writing-haskell-interfaces-to-c-code-hsc2hs |
| 11:43:22 | <dminuoso> | Mmm |
| 11:43:36 | <dminuoso> | Okay you know what, Ill make a heuristic. I just want to use crypt_r which needs an initializsed buffer for a struct. |
| 11:43:38 | <c_wraith> | its compilation process is to convert the file you provide into a C program that will insert all the values it knows and generate haskell source |
| 11:44:14 | <dminuoso> | The struct looks like its going to be 130ish KiB, so Ill just always allocate a 256KiB buffer, thatll have enough for padding and aligntmnet., |
| 11:44:37 | <dminuoso> | Putting hsc2hs or c2hs into this for just a singular call seems like overkill |
| 11:44:45 | <dminuoso> | not to mention that I dont want to even think whether this is going to place nice with haskell.nix |
| 11:44:48 | <c_wraith> | or you could use the library I wrote for exactly that purpose like 15 years ago... |
| 11:44:48 | <tomsmeding> | for something that has "crypt" in the name I'd rather not rely on heuristics to avoid buffer overflows |
| 11:44:59 | <dminuoso> | c_wraith: whats that library? |
| 11:45:08 | <c_wraith> | which has even been maintained by my former employee! |
| 11:45:18 | <c_wraith> | err. employer |
| 11:45:19 | <c_wraith> | https://hackage.haskell.org/package/nano-cryptr |
| 11:45:44 | <dminuoso> | Wow okay. I did not expect that |
| 11:45:46 | <dminuoso> | Yes that works for me. |
| 11:46:04 | <c_wraith> | if you dig for the source, you'll find I did in fact use hsc files :) |
| 11:46:13 | <dminuoso> | Haha |
| 11:46:19 | <dminuoso> | `fptr <- mallocForeignPtrBytes (131232)` |
| 11:46:31 | <dminuoso> | That's brave. |
| 11:46:47 | <dminuoso> | Or is that the hsc2hs output |
| 11:46:49 | <dminuoso> | https://hackage.haskell.org/package/nano-cryptr-0.2.1/docs/src/System.Gnu.CryptR.html#cryptR |
| 11:46:55 | <c_wraith> | that's the output, yes. |
| 11:46:55 | <tomsmeding> | dminuoso: https://hackage.haskell.org/package/nano-cryptr-0.2.1/src/System/Gnu/CryptR.hsc |
| 11:46:56 | <c_wraith> | https://github.com/janrain/nano-cryptr/blob/master/System/Gnu/CryptR.hsc#L69 |
| 11:46:59 | <dminuoso> | Ahh I see. |
| 11:47:07 | <dminuoso> | Okay yes perfekt |
| 11:48:06 | <c_wraith> | ok, I am amused that the hackage source code link shows the generated code rather than the actual hsc |
| 11:48:26 | <dminuoso> | https://hackage.haskell.org/packages/search?terms=crypt |
| 11:48:35 | <dminuoso> | Why did that not reveal nano-cryptr? |
| 11:48:51 | <c_wraith> | that's... an excellent question |
| 11:49:39 | <mauke> | whole word search |
| 11:49:43 | <mauke> | needs "cryptr" |
| 11:49:58 | <c_wraith> | well yes, that's the behavior. But why? |
| 11:51:23 | <tomsmeding> | it seems to also search in descriptions, so perhaps the solution is just to add a 'crypt' keyword to the description of the package |
| 11:52:13 | <c_wraith> | I guess I could update it, but I haven't actually touched that package in a decade. That's why I added other people as maintainers! |
| 11:59:07 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 12:00:53 | → | mechap joins (~mechap@user/mechap) |
| 12:01:40 | → | xff0x joins (~xff0x@ai098135.d.east.v6connect.net) |
| 12:04:48 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 12:07:45 | × | monoidal quits (~monoidal@2a01cb0801ce4b00fdbf52a10f8bf9c8.ipv6.abo.wanadoo.fr) (Quit: Client closed) |
| 12:09:23 | <dminuoso> | c_wraith: Gah, its dependencies are too tight *sigh* |
| 12:09:34 | <dminuoso> | bytestring (>=0.9.1 && <0.11) |
| 12:09:35 | <dminuoso> | :S |
| 12:09:48 | <c_wraith> | eh, just allow-newer it. It's fine |
| 12:11:03 | <dminuoso> | Let's see if haskell.nix works with this |
| 12:11:23 | <dminuoso> | But you're right, this is fine |
| 12:11:30 | <c_wraith> | oh, right. that might be awkward. I guess you could vendor it or something |
| 12:11:55 | kraftwerk28_ | is now known as kraftwerk28 |
| 12:11:57 | × | ph88 quits (~ph88@91.66.101.83) (Remote host closed the connection) |
| 12:12:20 | → | ph88 joins (~ph88@91.66.101.83) |
| 12:13:21 | <dminuoso> | Something tells me it should just work, though. |
| 12:13:41 | <c_wraith> | yeah, that's just a tight bound. It's not using anything specific to that version of bytestring |
| 12:14:13 | <dminuoso> | I mean haskell.nix doesnt have much magic inside, it pretty much extracts the build plan from cabal - so as long as the cabal.project file isnt hidden from it, it should just work. |
| 12:14:30 | <c_wraith> | ah, I see. Nice. |
| 12:15:01 | <dminuoso> | error: The Nixpkgs package set does not contain the package: crypt (system dependency). |
| 12:15:03 | <dminuoso> | Mmm |
| 12:15:44 | <dminuoso> | Ah it would have been nice if the package used pkgconfig-depends: libxcrypt |
| 12:15:52 | <dminuoso> | I guess Ill just vendor it |
| 12:16:33 | → | akegalj joins (~akegalj@161-232.dsl.iskon.hr) |
| 12:20:06 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 12:25:04 | × | acidjnk_new quits (~acidjnk@p200300d6e715c453b972168c77d6825c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 12:37:24 | × | td_ quits (~td@i53870929.versanet.de) (Ping timeout: 255 seconds) |
| 12:39:15 | → | td_ joins (~td@i53870929.versanet.de) |
| 12:41:24 | → | acidjnk_new joins (~acidjnk@p200300d6e715c453151e77c9b880b4dd.dip0.t-ipconnect.de) |
| 12:44:47 | × | gurkenglas quits (~gurkengla@dynamic-046-114-177-189.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 12:47:25 | → | SpeleoMike joins (~SpeleoMik@2001:8003:221e:9e00:69bd:b16e:e90d:b42b) |
| 12:54:56 | × | MajorBiscuit quits (~MajorBisc@145.94.161.20) (Ping timeout: 248 seconds) |
| 12:57:49 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 12:58:53 | → | MajorBiscuit joins (~MajorBisc@145.94.161.20) |
| 13:01:40 | → | gurkenglas joins (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) |
| 13:05:21 | → | mastarija joins (~mastarija@188.252.197.7) |
| 13:06:17 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Quit: Ping timeout (120 seconds)) |
| 13:07:35 | <mastarija> | Is there a way to do two class instances like this: |
| 13:07:38 | <mastarija> | instance X (V [a]) w where ... |
| 13:07:42 | <mastarija> | instance X (V [a]) (V xs) where ... |
| 13:08:10 | <mastarija> | It seems like it's not possible, because it's not possible to tell the difference between the `w` and `V xs`, right? |
| 13:09:18 | <dminuoso> | Sure, you can make one instance overlapping or the other overlappable. |
| 13:10:19 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 13:10:27 | <mastarija> | Aha, so I should make the first one overlappable |
| 13:10:37 | <mastarija> | I completely forgot about that... |
| 13:11:44 | ← | SpeleoMike parts (~SpeleoMik@2001:8003:221e:9e00:69bd:b16e:e90d:b42b) () |
| 13:14:46 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 13:15:55 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Ping timeout: 248 seconds) |
| 13:17:31 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 13:18:46 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 13:21:08 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 13:21:57 | × | ph88 quits (~ph88@91.66.101.83) (Ping timeout: 255 seconds) |
| 13:23:07 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 13:23:52 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) |
| 13:27:33 | → | gtdg joins (~gtdg@nat-inria-interne-72-gw-01-lne.lille.inria.fr) |
| 13:28:18 | × | gtdg quits (~gtdg@nat-inria-interne-72-gw-01-lne.lille.inria.fr) (Client Quit) |
| 13:28:33 | → | gtdg joins (~gtdg@user/gtdg) |
| 13:28:35 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) (Ping timeout: 260 seconds) |
| 13:31:04 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:33:59 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
| 13:37:39 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 13:40:05 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 13:40:32 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 13:40:58 | × | acidjnk_new quits (~acidjnk@p200300d6e715c453151e77c9b880b4dd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 13:41:02 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Client Quit) |
| 13:41:42 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:43:59 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 13:48:46 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 13:51:22 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
| 13:53:59 | <Athas> | Oh, the new cabal-install is out? |
| 13:54:09 | <Athas> | Or is it just a release candidate? |
| 13:56:30 | <geekosaur> | official release is tomorrow but various thingshave already been updated for it |
| 13:57:03 | <geekosaur> | iirc it's mostly waiting on ghcup being ready for it |
| 13:57:17 | <Athas> | Great! I have been looking forward to this one. |
| 13:57:18 | <Las[m]> | Does anyone know if `quotRem` etc. optimise into bitshifts with constant divisors? |
| 14:04:19 | × | sefidel quits (~sefidel@user/sefidel) (Remote host closed the connection) |
| 14:06:18 | → | sefidel joins (~sefidel@user/sefidel) |
| 14:07:30 | → | polyphem_ joins (~rod@2a02:810d:840:8754:a163:3b79:bf9b:e9ae) |
| 14:09:12 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 14:09:12 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 14:09:32 | <geekosaur> | I don't think it does, but you could inspect core to see |
| 14:09:34 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 14:09:54 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 14:11:24 | <Las[m]> | It does seem to do it with divisors under 2^32. After 2^32 it uses divisions again for some reason. |
| 14:11:24 | <Las[m]> | Testing with powers of two to keep it simple. |
| 14:15:22 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 14:15:22 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 14:15:22 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:15:37 | <tomsmeding> | Athas: this is the one with the xdg changes, right? |
| 14:15:58 | <Athas> | Yes. |
| 14:17:36 | <geekosaur> | which I've been running locally for several months |
| 14:18:26 | <geekosaur> | had to create a file ~/.cabal because one of the things hls does during figuring out the toolchain runs the wrong cabal |
| 14:18:49 | <geekosaur> | which should be fixed when ghcup has the right cabal as part of the toolchain |
| 14:19:02 | → | vglfr joins (~vglfr@209.198.138.7) |
| 14:20:37 | × | MajorBiscuit quits (~MajorBisc@145.94.161.20) (Ping timeout: 276 seconds) |
| 14:20:59 | <Athas> | Yes, I've also been running it locally, but many of my remote systems use a ghcup-managed cabal. |
| 14:21:07 | <Athas> | I'm looking forward to being able to use XDG everywhere. |
| 14:22:15 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 14:25:10 | → | kuribas joins (~user@ptr-17d51ep1f61edodz1os.18120a2.ip6.access.telenet.be) |
| 14:28:23 | → | thegeekinside joins (~thegeekin@189.141.115.134) |
| 14:31:11 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:37:51 | → | freeside joins (~mengwong@103.252.202.85) |
| 14:37:57 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 14:38:36 | → | Fischmiep96 joins (~Fischmiep@user/Fischmiep) |
| 14:41:47 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Ping timeout: 248 seconds) |
| 14:41:48 | Fischmiep96 | is now known as Fischmiep9 |
| 14:42:36 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 14:45:44 | <Philonous> | Is there a reliable way to test that a finalizer is run when an object is garbage-collected? As in, I'd like to write a test and be able to say "at this point the finalizer should definitely have run" |
| 14:46:19 | <Athas> | You can have the finalizer write to a known IORef. |
| 14:46:29 | <Athas> | ...but are finalizers guaranteed to *ever* run? |
| 14:48:46 | <Philonous> | But finalizers seem rather tricky. For example, if the finalizer references the object it's attached to does that prevent it from being garbage collected |
| 14:49:26 | <[exa]> | Philonous: the gc is luckily smarter than that |
| 14:50:52 | <[exa]> | any specific use btw? IMO almost all finalizer usecases are better replaced by bracket |
| 14:50:52 | <geekosaur> | and has to bem since the point of it may be to release the reference (consider a ForeignPtr freeing a chunk of memory from C) |
| 14:51:41 | <Philonous> | OK, that's good to know, but I'm still worried I'll inadvertently prevent the finalizer from running, so I'd like to write a test. But I can't think of a reliable way of testing it |
| 14:52:02 | <tomsmeding> | Philonous: what Athas said? |
| 14:53:02 | <Philonous> | Maybe I can use »performMajorGC« to at least ensure the finalizer had a chance to run? |
| 14:53:09 | → | ccapndave joins (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) |
| 14:53:54 | <[exa]> | Philonous: it might give some confidence but I wouldn't rely on the test result for that |
| 14:55:17 | <Athas> | I once spent a bunch of time thinking about finalizers, and reached the conclusion never to use finalizers. |
| 14:58:19 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:58:44 | <Philonous> | Maybe that's the right thing to do |
| 15:00:13 | → | segfaultfizzbuzz joins (~segfaultf@12.172.217.142) |
| 15:02:17 | × | vglfr quits (~vglfr@209.198.138.7) (Read error: Connection reset by peer) |
| 15:03:13 | → | vglfr joins (~vglfr@209.198.138.7) |
| 15:03:14 | <[exa]> | Philonous: really depends on the usecase. e.g. there's the `mmap` package with default finalizers that un-mmap the vectors; it's nice and stuff but unless you magically tell the GC to free the stuff in time you'll suddenly end up hitting unexpected OS limits...so I went for doing it manually with bracket |
| 15:03:51 | → | MajorBiscuit joins (~MajorBisc@145.94.161.20) |
| 15:05:54 | × | segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 255 seconds) |
| 15:08:08 | <Athas> | Yeah, exactly. I also pondered using finalizers to manage GPU memory. |
| 15:08:29 | → | segfaultfizzbuzz joins (~segfaultf@12.172.217.142) |
| 15:08:37 | <Athas> | But the problem is that external out-of-resources conditions do not trigger Haskell garbage collection, so it's not really very automatic. |
| 15:08:58 | <Athas> | It just means it will start failing when it is put under pressure (which you will likely not test for). |
| 15:10:09 | × | ccapndave quits (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com) |
| 15:11:22 | → | stackdroid18 joins (14094@de1.hashbang.sh) |
| 15:12:19 | → | acidjnk_new joins (~acidjnk@p200300d6e715c453151e77c9b880b4dd.dip0.t-ipconnect.de) |
| 15:15:48 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds) |
| 15:16:31 | × | gurkenglas quits (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 15:17:10 | → | ft joins (~ft@p3e9bc443.dip0.t-ipconnect.de) |
| 15:17:18 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 15:18:23 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 255 seconds) |
| 15:22:56 | <[exa]> | Athas: julia folks have been struggling hard with the GPU finalizers lately |
| 15:26:16 | × | segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 276 seconds) |
| 15:32:27 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 248 seconds) |
| 15:32:51 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 15:32:53 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 15:33:05 | → | gurkenglas joins (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) |
| 15:35:30 | → | Fischmiep98 joins (~Fischmiep@user/Fischmiep) |
| 15:35:54 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
| 15:35:54 | Fischmiep98 | is now known as Fischmiep9 |
| 15:37:18 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 15:38:24 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 15:42:07 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:44:27 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Quit: Ping timeout (120 seconds)) |
| 15:45:15 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 15:45:34 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 15:51:28 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 15:51:48 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Ping timeout: 255 seconds) |
| 15:51:49 | → | Fischmiep94 joins (~Fischmiep@user/Fischmiep) |
| 15:51:49 | Fischmiep94 | is now known as Fischmiep9 |
| 15:55:17 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 15:55:19 | <absence> | [Leary]: that invert function is certainly interesting :) |
| 15:57:46 | → | derpyxdhs joins (~derpyxdhs@user/derpyxdhs) |
| 16:03:28 | → | random-jellyfish joins (~random-je@user/random-jellyfish) |
| 16:04:46 | × | mbuf quits (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 16:04:59 | → | Pickchea joins (~private@user/pickchea) |
| 16:06:59 | × | polyphem_ quits (~rod@2a02:810d:840:8754:a163:3b79:bf9b:e9ae) (Ping timeout: 265 seconds) |
| 16:07:44 | → | polyphem_ joins (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) |
| 16:09:55 | → | Joao003 joins (~Joao003@2804:840:8310:4e00:f84c:ab29:e4ec:b13f) |
| 16:10:35 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 16:13:35 | <Athas> | [exa]: they will continue to struggle. |
| 16:15:31 | → | freeside joins (~mengwong@103.252.202.85) |
| 16:16:05 | × | zeenk quits (~zeenk@2a02:2f04:a20d:f900::7fe) (Quit: Konversation terminated!) |
| 16:16:14 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 16:16:21 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Read error: Connection reset by peer) |
| 16:16:45 | → | Albina_Pavlovna joins (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) |
| 16:17:27 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 16:18:48 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 16:20:13 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 16:24:01 | × | phma quits (phma@2001:5b0:210f:1e8:e820:69d4:61ee:fd3b) (Read error: Connection reset by peer) |
| 16:25:05 | → | phma joins (~phma@host-67-44-208-43.hnremote.net) |
| 16:25:59 | × | fnurglewitz quits (uid263868@id-263868.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:26:22 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) |
| 16:28:34 | <[exa]> | Athas: I know. (sad story tho) |
| 16:29:39 | → | serioiusly joins (~serioiusl@2001:1c06:2715:c200:621c:2416:8272:1ad2) |
| 16:30:03 | × | serioiusly quits (~serioiusl@2001:1c06:2715:c200:621c:2416:8272:1ad2) (Client Quit) |
| 16:30:30 | <Athas> | Actually, GPU memory may be one case where it is possible for finalizers to be robust, but you need serious engineering in order to make the GPU-allocation-code run the host garbage collector when it encounters GPU OOM. |
| 16:30:52 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) (Ping timeout: 252 seconds) |
| 16:31:06 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:31:28 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 16:33:08 | <int-e> | kuribas: http://paste.debian.net/1273610/ ...the linear types story in Idris 2 may still be evolving |
| 16:33:12 | <[exa]> | Athas: ...which kinda reduces down the oom-passing situation we also had with general linux and many other things, and I'm not aware of anyone who really solved that. :D |
| 16:33:38 | <Athas> | Well, Linux uses overcommit. I don't think standard GPU drivers do that. |
| 16:35:13 | → | freeside joins (~mengwong@103.252.202.85) |
| 16:36:07 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) |
| 16:36:30 | <int-e> | OSs have mmap and swapping, either of which gives you the mechanism for overcommitting; GPUs don't do any of that. |
| 16:37:37 | <int-e> | (Well, I think. They certainly *could*, with main memory as the primary off-GPU storage...) |
| 16:38:04 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Quit: Ping timeout (120 seconds)) |
| 16:38:05 | <[exa]> | latest cuda docs might have some ugly spoilers in that regard |
| 16:38:25 | <Athas> | Yes, GPUs can do that, but they don't by default. (Actually, it's up to how the program allocates the memory.) |
| 16:39:25 | <int-e> | Maybe we should define what the OS equivalent is here; in my mental model, it's the GPU driver. |
| 16:41:40 | <int-e> | And I guess there's some swapping needed at that level for servers to satisfy cloud computing providers. |
| 16:41:45 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 16:42:20 | → | Fischmiep9 joins (~Fischmiep@user/Fischmiep) |
| 16:43:10 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 16:46:16 | → | razetime joins (~Thunderbi@117.193.3.156) |
| 16:46:35 | × | razetime quits (~Thunderbi@117.193.3.156) (Client Quit) |
| 16:46:52 | → | NiceBird joins (~NiceBird@185.133.111.196) |
| 16:46:55 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 16:47:30 | → | Fischmiep96 joins (~Fischmiep@user/Fischmiep) |
| 16:47:39 | × | Fischmiep9 quits (~Fischmiep@user/Fischmiep) (Ping timeout: 248 seconds) |
| 16:47:40 | Fischmiep96 | is now known as Fischmiep9 |
| 16:52:59 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 16:56:46 | × | gtdg quits (~gtdg@user/gtdg) (Quit: Client closed) |
| 17:00:52 | → | freeside joins (~mengwong@103.252.202.85) |
| 17:04:09 | × | mmhat quits (~mmh@p200300f1c710303bee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 17:06:08 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 17:08:01 | → | freeside joins (~mengwong@103.252.202.85) |
| 17:09:17 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) (Remote host closed the connection) |
| 17:10:53 | × | MajorBiscuit quits (~MajorBisc@145.94.161.20) (Quit: WeeChat 3.6) |
| 17:11:39 | × | vpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 17:12:52 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 17:14:12 | → | cfricke joins (~cfricke@user/cfricke) |
| 17:16:31 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 17:17:38 | × | Albina_Pavlovna quits (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Quit: ZZZzzz…) |
| 17:21:12 | → | mmhat joins (~mmh@p200300f1c71723abee086bfffe095315.dip0.t-ipconnect.de) |
| 17:23:09 | × | random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 17:23:46 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 17:24:34 | × | gurkenglas quits (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 17:26:05 | → | gurkenglas joins (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) |
| 17:27:21 | × | dsrt^ quits (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 17:36:41 | → | cheater_ joins (~Username@user/cheater) |
| 17:37:22 | × | kuribas quits (~user@ptr-17d51ep1f61edodz1os.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 17:39:23 | → | cheater__ joins (~Username@user/cheater) |
| 17:40:00 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 17:40:08 | cheater__ | is now known as cheater |
| 17:41:53 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:43:03 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:43:25 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 17:46:34 | → | econo joins (uid147250@user/econo) |
| 17:50:07 | × | ddellacosta quits (~ddellacos@146.70.166.10) (Quit: WeeChat 3.8) |
| 17:51:09 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 17:55:07 | × | vglfr quits (~vglfr@209.198.138.7) (Ping timeout: 276 seconds) |
| 17:55:11 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 17:55:25 | → | vglfr joins (~vglfr@209.198.138.7) |
| 17:56:11 | → | freeside joins (~mengwong@103.252.202.85) |
| 17:56:40 | → | cheater_ joins (~Username@user/cheater) |
| 17:59:01 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 17:59:05 | cheater_ | is now known as cheater |
| 18:00:57 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 18:05:48 | → | ddellacosta joins (~ddellacos@143.244.47.100) |
| 18:06:42 | × | akegalj quits (~akegalj@161-232.dsl.iskon.hr) (Quit: Lost terminal) |
| 18:09:47 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) |
| 18:10:24 | × | ddellacosta quits (~ddellacos@143.244.47.100) (Ping timeout: 255 seconds) |
| 18:10:59 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 18:11:16 | × | mmhat quits (~mmh@p200300f1c71723abee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 18:12:06 | → | ddellacosta joins (~ddellacos@146.70.165.157) |
| 18:14:25 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) (Ping timeout: 260 seconds) |
| 18:15:34 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 18:20:27 | → | cheater_ joins (~Username@user/cheater) |
| 18:21:07 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 18:21:46 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 18:21:53 | cheater_ | is now known as cheater |
| 18:23:42 | → | cheater_ joins (~Username@user/cheater) |
| 18:23:44 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 18:25:40 | × | foul_owl quits (~kerry@193.29.61.203) (Ping timeout: 276 seconds) |
| 18:25:57 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 18:26:39 | × | cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 18:27:18 | × | theproffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 18:27:37 | → | theproffesor joins (~theproffe@c-73-217-58-76.hsd1.co.comcast.net) |
| 18:27:37 | × | theproffesor quits (~theproffe@c-73-217-58-76.hsd1.co.comcast.net) (Changing host) |
| 18:27:37 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 18:29:25 | → | roconnor joins (~quassel@coq/roconnor) |
| 18:29:31 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 18:29:54 | <roconnor> | Is there a way to cabal test to rerun a particular test, or how would you recommend doing that? |
| 18:34:08 | → | cheater joins (~Username@user/cheater) |
| 18:35:33 | → | cheater_ joins (~Username@user/cheater) |
| 18:38:24 | <monochrom> | I don't think cabal enumerates test cases at all. |
| 18:38:55 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 18:39:14 | → | foul_owl joins (~kerry@157.97.134.61) |
| 18:39:24 | <monochrom> | Apart from allowing multiple "test-suite <name>" sections, then you can "cabal test <name> <name> ..." |
| 18:40:16 | × | pony quits (sid524992@smol/hors) () |
| 18:40:26 | <monochrom> | Then you have to horribily make 100 test-suite sections for 100 test cases so you can elect to just run 1 of them. >:) |
| 18:40:35 | → | notzmv joins (~zmv@user/notzmv) |
| 18:40:59 | <monochrom> | I am not sure I recommend it. |
| 18:41:39 | <monochrom> | But it's one of those times when the solution is unique, both "it's the best solution" and "it's the worst solution" are true. |
| 18:41:55 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 18:42:30 | → | cheater_ joins (~Username@user/cheater) |
| 18:42:30 | cheater_ | is now known as cheater |
| 18:43:57 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:45:00 | → | cheater_ joins (~Username@user/cheater) |
| 18:45:21 | → | roboguy_ joins (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 18:45:51 | <tdammers> | roconnor: if you're using tasty, you can set tasty options through environment variables, e.g.: export TASTY_PATTERN=Some.Test.Case; cabal test |
| 18:46:05 | <roconnor> | oooh |
| 18:46:45 | <tdammers> | in theory there should also be a way of passing command-line arguments to the test suite through cabal test, but IME the required quoting/escaping becomes waaaaaay to complicated for a mere mortal like myself to perform reliably |
| 18:47:07 | <edmundnoble> | Usually I do `cabal run tests -- -p "mypattern"`, but I only have one test-suite usually |
| 18:47:47 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 18:48:06 | <roconnor> | Oh if I can use -p like that, that seems easier. |
| 18:48:25 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 18:48:43 | × | vglfr quits (~vglfr@209.198.138.7) (Read error: Connection reset by peer) |
| 18:49:03 | <edmundnoble> | I'm trying to add pretty-simple as a dependency to my cabal repl sessions without adding it as a dependency to the .cabal file. Is that even possible right now? I'm okay with using a bash alias or something. I tried `cabal repl -b pretty-simple` and it only works if I'm not already in a cabal project... I want to do this inside a project |
| 18:49:11 | <edmundnoble> | https://github.com/haskell/cabal/issues/1835 seems to say that it's broken or something |
| 18:49:22 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 18:50:14 | → | pony joins (sid524992@smol/hors) |
| 18:50:26 | × | pony quits (sid524992@smol/hors) (Client Quit) |
| 18:50:34 | × | theproffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 18:50:35 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 18:51:25 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 18:51:29 | → | vglfr joins (~vglfr@209.198.138.7) |
| 18:51:59 | → | cheater joins (~Username@user/cheater) |
| 18:52:32 | → | freeside joins (~mengwong@103.252.202.85) |
| 18:56:57 | → | cheater_ joins (~Username@user/cheater) |
| 18:57:12 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 18:58:38 | → | cheater__ joins (~Username@user/cheater) |
| 18:59:08 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 18:59:23 | × | cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 18:59:44 | → | cheater___ joins (~Username@user/cheater) |
| 18:59:44 | cheater___ | is now known as cheater |
| 19:01:36 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 19:01:47 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 19:02:43 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 19:03:18 | → | cheater_ joins (~Username@user/cheater) |
| 19:03:30 | × | cheater__ quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 19:04:36 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:05:49 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 19:06:08 | → | cheater__ joins (~Username@user/cheater) |
| 19:06:08 | cheater__ | is now known as cheater |
| 19:07:44 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:08:27 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 19:09:37 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 19:10:05 | → | cheater_ joins (~Username@user/cheater) |
| 19:11:26 | → | cheater__ joins (~Username@user/cheater) |
| 19:13:24 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 19:14:38 | → | cheater___ joins (~Username@user/cheater) |
| 19:14:38 | cheater___ | is now known as cheater |
| 19:15:43 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 19:16:57 | × | theproffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 19:17:17 | → | cheater_ joins (~Username@user/cheater) |
| 19:17:27 | → | theproffesor joins (~theproffe@c-73-217-58-76.hsd1.co.comcast.net) |
| 19:17:27 | × | theproffesor quits (~theproffe@c-73-217-58-76.hsd1.co.comcast.net) (Changing host) |
| 19:17:27 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 19:17:51 | × | cheater__ quits (~Username@user/cheater) (Ping timeout: 247 seconds) |
| 19:19:21 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 19:22:51 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 19:24:38 | → | cheater_ joins (~Username@user/cheater) |
| 19:24:38 | cheater_ | is now known as cheater |
| 19:25:47 | → | FurudeRika[m] joins (~chitandae@2001:470:69fc:105::1:6039) |
| 19:27:17 | → | cheater_ joins (~Username@user/cheater) |
| 19:30:40 | × | cheater quits (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 19:30:43 | cheater_ | is now known as cheater |
| 19:31:17 | → | pavonia joins (~user@user/siracusa) |
| 19:39:23 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:39:43 | × | theproffesor quits (~theproffe@user/theproffesor) (Ping timeout: 248 seconds) |
| 19:43:45 | → | cheater_ joins (~Username@user/cheater) |
| 19:44:21 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 255 seconds) |
| 19:44:36 | → | ph88 joins (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 19:45:15 | × | cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 19:45:20 | cheater_ | is now known as cheater |
| 19:45:24 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 19:48:26 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 19:50:50 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) |
| 19:52:46 | × | derpyxdhs quits (~derpyxdhs@user/derpyxdhs) (Ping timeout: 276 seconds) |
| 19:53:43 | → | the_proffesor joins (~theproffe@c-73-217-58-76.hsd1.co.comcast.net) |
| 19:53:43 | × | the_proffesor quits (~theproffe@c-73-217-58-76.hsd1.co.comcast.net) (Changing host) |
| 19:53:43 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 19:54:48 | × | theproffesor quits (~theproffe@user/theproffesor) (Ping timeout: 255 seconds) |
| 20:02:34 | → | Lumia joins (~Lumia@user/Lumia) |
| 20:03:18 | → | mmhat joins (~mmh@p200300f1c71723abee086bfffe095315.dip0.t-ipconnect.de) |
| 20:03:59 | <akadude[m]> | Any advice on a coroutine library? https://hackage.haskell.org/package/monad-coroutine is cool but lacks some instances for MTL |
| 20:05:49 | → | freeside joins (~mengwong@103.252.202.85) |
| 20:07:39 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 20:09:59 | → | mei joins (~mei@user/mei) |
| 20:10:40 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 20:11:12 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:14:40 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 20:16:02 | × | mmhat quits (~mmh@p200300f1c71723abee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 20:16:44 | × | Lumia quits (~Lumia@user/Lumia) (Ping timeout: 252 seconds) |
| 20:16:45 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 20:19:00 | → | Lumia joins (~Lumia@user/Lumia) |
| 20:22:13 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 20:22:48 | × | Joao003 quits (~Joao003@2804:840:8310:4e00:f84c:ab29:e4ec:b13f) (Quit: Leaving) |
| 20:23:42 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 20:28:13 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:33:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:35:36 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) (Remote host closed the connection) |
| 20:44:08 | × | roboguy_ quits (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Quit: Leaving...) |
| 20:50:36 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 20:51:07 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:52:44 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 255 seconds) |
| 20:53:39 | × | Lumia quits (~Lumia@user/Lumia) (Remote host closed the connection) |
| 20:54:03 | → | Lumia joins (~Lumia@user/Lumia) |
| 20:54:41 | → | mechap joins (~mechap@user/mechap) |
| 20:55:21 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 20:57:10 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 20:57:58 | <johnw> | akadude[m]: I imagine you can use pipes to do this same thing? |
| 20:58:41 | <lyxia> | When I cabal build a package it compiles, but when I cabal install it it fails. What could be going wrong? |
| 20:59:01 | <lyxia> | Also it's failing at compiling C code |
| 20:59:28 | <lyxia> | like a missing header which is in the same directory |
| 20:59:39 | <dminuoso> | lyxia: Can you share the output you are getting? Perhaps with increased verbosity to cabal |
| 21:03:12 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 21:03:18 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) |
| 21:03:42 | <lyxia> | https://paste.debian.net/1273647/ and if you want to try and repro it's https://github.com/koka-lang/koka/ |
| 21:04:29 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 21:05:54 | <lyxia> | what does cabal install do anyway besides copying the one executable I care about? (there's no library) |
| 21:06:13 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 276 seconds) |
| 21:06:21 | <mauke> | is that cabal build or cabal install? |
| 21:06:25 | <lyxia> | cabal install |
| 21:06:30 | <lyxia> | cabal build succeeds |
| 21:06:45 | <mauke> | with the same output? |
| 21:07:06 | <lyxia> | minus the error message at the end |
| 21:08:00 | → | jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 21:09:35 | <lyxia> | hmm, cconsole.c is in the cabal file but not cconsole.h, how much should I bet that's the problem |
| 21:10:16 | <dminuoso> | You should bet after you made the tiny modification on the cabal file and already know the answer. |
| 21:10:22 | <dminuoso> | Potential to get rich here. |
| 21:10:27 | <[Leary]> | lyxia: That's my guess. Looking at another library, they put their c headers in extra-source-files. |
| 21:10:56 | <lyxia> | yup that did it |
| 21:10:56 | × | vglfr quits (~vglfr@209.198.138.7) (Read error: Connection reset by peer) |
| 21:11:09 | <lyxia> | thank you my yellow rubber duckies |
| 21:11:44 | → | vglfr joins (~vglfr@209.198.138.7) |
| 21:14:01 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 276 seconds) |
| 21:14:40 | <akadude[m]> | johnw: yes, thank you, seem so. However, I can't find a function what does to `Consumer` what `next` does to `Producer`, `:: Consumer' a m r -> m (Either r (a -> Consumer' a m r))`. That function is crucial to my case |
| 21:16:29 | → | freeside joins (~mengwong@103.252.202.85) |
| 21:18:31 | → | turlando joins (~turlando@user/turlando) |
| 21:19:33 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:549:b79e:2220:68b4) (Remote host closed the connection) |
| 21:20:58 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 21:21:12 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 21:21:54 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:22:40 | <johnw> | akadude[m]: It shouldn't be hard to write that function. If the Consumer value is of the `Request` constructor type, then that contains the function you want. |
| 21:23:36 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 21:23:44 | × | vglfr quits (~vglfr@209.198.138.7) (Read error: Connection reset by peer) |
| 21:24:10 | <akadude[m]> | Mmm, so the constructors are exposed in the internal module, okay. I guess that's less work that with the monad-coroutine library. Thanks for advice |
| 21:25:54 | → | vglfr joins (~vglfr@209.198.138.7) |
| 21:39:22 | × | the_proffesor quits (~theproffe@user/theproffesor) (Ping timeout: 276 seconds) |
| 21:42:37 | × | mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 276 seconds) |
| 21:46:31 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds) |
| 21:49:54 | × | chomwitt quits (~chomwitt@2a02:587:7a18:6d00:1ac0:4dff:fedb:a3f1) (Ping timeout: 255 seconds) |
| 21:49:59 | → | freeside joins (~mengwong@103.252.202.85) |
| 21:53:14 | × | robertm quits (robertm@lattice.rojoma.com) (Quit: ...) |
| 21:54:30 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 21:54:57 | → | robertm joins (robertm@lattice.rojoma.com) |
| 21:55:05 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:58:04 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:03:13 | → | gurkengl1s joins (~gurkengla@dynamic-046-114-180-230.46.114.pool.telefonica.de) |
| 22:05:54 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:07:09 | × | Lumia quits (~Lumia@user/Lumia) (Remote host closed the connection) |
| 22:07:34 | → | Lumia joins (~Lumia@user/Lumia) |
| 22:11:30 | × | mcglk quits (~mcglk@131.191.19.145) (Ping timeout: 252 seconds) |
| 22:12:15 | × | stackdroid18 quits (14094@de1.hashbang.sh) (Quit: hasta la vista... tchau!) |
| 22:16:02 | → | mcglk joins (~mcglk@131.191.19.145) |
| 22:23:18 | × | thegeekinside quits (~thegeekin@189.141.115.134) (Ping timeout: 255 seconds) |
| 22:32:01 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 22:32:47 | → | thegeekinside joins (~thegeekin@189.141.115.134) |
| 22:37:46 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 22:39:16 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:41:39 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 22:41:40 | × | jwiegley quits (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 22:44:14 | → | dsrt^ joins (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 22:46:52 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 22:52:14 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 22:58:19 | × | Lumia quits (~Lumia@user/Lumia) (Ping timeout: 248 seconds) |
| 22:58:40 | × | theproffesor quits (~theproffe@user/theproffesor) (Ping timeout: 276 seconds) |
| 22:59:39 | × | NiceBird quits (~NiceBird@185.133.111.196) (Ping timeout: 268 seconds) |
| 23:00:40 | → | Albina_Pavlovna joins (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) |
| 23:00:41 | × | bramhaag quits (~bramhaag@134.195.121.39) (Remote host closed the connection) |
| 23:01:07 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 23:01:59 | → | freeside joins (~mengwong@103.252.202.85) |
| 23:06:30 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 23:07:11 | → | freeside joins (~mengwong@103.252.202.85) |
| 23:12:19 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 23:17:04 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 23:18:08 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 23:18:45 | × | Albina_Pavlovna quits (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) (Quit: ZZZzzz…) |
| 23:21:50 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 23:22:41 | → | Albina_Pavlovna joins (~Albina_Pa@cpe-69-203-149-67.nyc.res.rr.com) |
| 23:26:26 | × | mastarija quits (~mastarija@188.252.197.7) (Quit: WeeChat 3.7.1) |
| 23:27:12 | × | pwntips quits (~user@24-113-98-114.wavecable.com) (Ping timeout: 255 seconds) |
| 23:30:19 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 23:35:11 | <sm> | Your Haskell Tiny Game Jam judges sm and f-a are very pleased to announce.. the contest results! |
| 23:35:11 | <sm> | https://github.com/haskell-game/tiny-games-hs |
| 23:36:30 | <EvanR> | \o/ |
| 23:40:18 | × | Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:41:18 | → | Lumia joins (~Lumia@user/Lumia) |
| 23:42:11 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 23:42:41 | → | jwiegley joins (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 23:46:05 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 23:46:37 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) |
| 23:49:23 | → | manwithluck joins (~manwithlu@hoeven.dossingday.ml) |
| 23:50:03 | × | manwithl- quits (~manwithlu@2406:da14:b37:1300:8c42:7d16:8950:6c74) (Ping timeout: 255 seconds) |
| 23:52:24 | × | vglfr quits (~vglfr@209.198.138.7) (Ping timeout: 255 seconds) |
| 23:54:27 | → | vglfr joins (~vglfr@209.198.138.7) |
| 23:57:49 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:58:04 | → | pwntips joins (~user@24-113-98-114.wavecable.com) |
| 23:58:55 | × | acidjnk_new quits (~acidjnk@p200300d6e715c453151e77c9b880b4dd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:59:41 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:2408:a400:fe7a:e187:9542:2031) (Quit: WeeChat 3.6) |
All times are in UTC on 2023-03-10.