| 2022-09-18 00:04:34 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 00:06:10 +0000 | checkum | (~checkum@172.58.30.183) |
| 2022-09-18 00:08:53 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-09-18 00:12:28 +0000 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-18 00:14:26 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) (Ping timeout: 260 seconds) |
| 2022-09-18 00:23:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 00:27:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 00:28:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 00:30:35 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-18 00:30:51 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-09-18 00:30:58 +0000 | califax | (~califax@user/califx) |
| 2022-09-18 00:31:56 +0000 | king_gs | (~Thunderbi@187.201.192.184) (Ping timeout: 260 seconds) |
| 2022-09-18 00:36:11 +0000 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) |
| 2022-09-18 00:38:47 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-18 00:39:00 +0000 | califax | (~califax@user/califx) |
| 2022-09-18 00:42:55 +0000 | <Jeanne-Kamikaze> | EvanR, you could say so, though I did come across Stack briefly... |
| 2022-09-18 00:43:25 +0000 | <Jeanne-Kamikaze> | geekosaur, I 'fixed it' by adding that cabal.project to the dependent project and pointing it to the library. Apparently you don't explicitly install things these days? So I read on SO. |
| 2022-09-18 00:43:48 +0000 | <geekosaur> | right |
| 2022-09-18 00:43:55 +0000 | <sclv> | yep, that's basically correct -- the packages are managed in a store for you |
| 2022-09-18 00:44:15 +0000 | <geekosaur> | cabal (or stack) manages installation, and more importantly exposure, of things so they don't conmflict with each other and cause "cabal hell" |
| 2022-09-18 00:44:19 +0000 | <sclv> | much easier than explicitly attempting to maintain a single coherent package set for all your dev needs across projects |
| 2022-09-18 00:44:36 +0000 | <Jeanne-Kamikaze> | At least now I can say I revived 10-year old code from the rot. 20% coding, 80% figuring out the new tooling. |
| 2022-09-18 00:48:03 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-18 00:48:14 +0000 | <Jeanne-Kamikaze> | Apparently you don't use ExceptT or ErrorT anymore and go with IO exceptions? I had some trouble getting my ResourceT (ErrorT IO) to work and read you just throw exceptions inside IO these days. |
| 2022-09-18 00:51:11 +0000 | hammock | (~esc@172-126-222-235.lightspeed.mssnks.sbcglobal.net) |
| 2022-09-18 00:52:00 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 00:52:48 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-18 00:55:33 +0000 | <EvanR> | or do you have a custom monad stack that can only do anything with something like unlift IO or base control |
| 2022-09-18 00:57:22 +0000 | <Jeanne-Kamikaze> | StateT s (R.ResourceT IO) -- That's the monad stack now. IO was previously ErrorT String IO |
| 2022-09-18 00:57:40 +0000 | <EvanR> | I know ErrorT is out |
| 2022-09-18 00:57:42 +0000 | <Jeanne-Kamikaze> | ErrorT is deprecated and ExceptT is not MonadUnliftIO. |
| 2022-09-18 00:58:10 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:217b:7ac0:b547:e8d8) |
| 2022-09-18 00:58:27 +0000 | <Jeanne-Kamikaze> | I briefly read something from Snoyman about how you're doing it all wrong and that every IO has an implicit "this can fail" contract. Seemed fair enough, so I went with that. |
| 2022-09-18 00:58:29 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-18 00:59:06 +0000 | <EvanR> | IO can fail, therefore it should. What is this, elixir? xD |
| 2022-09-18 00:59:58 +0000 | <Jeanne-Kamikaze> | Yeah but some time ago you had these transformers for error handling. |
| 2022-09-18 01:00:13 +0000 | <EvanR> | what's wrong with ExceptT again |
| 2022-09-18 01:00:35 +0000 | <Jeanne-Kamikaze> | ResourceT requires that the underlying monad be MonadUnliftIO, but only IO, ReaderT and another one implement that apparently. |
| 2022-09-18 01:00:43 +0000 | <Jeanne-Kamikaze> | So ResourceT doesn't stack with ExceptT |
| 2022-09-18 01:01:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 01:02:03 +0000 | <Jeanne-Kamikaze> | Or maybe I got all that entirely wrong. |
| 2022-09-18 01:02:16 +0000 | <EvanR> | ReaderT over IO was cool at one point a million years ago |
| 2022-09-18 01:02:33 +0000 | <EvanR> | somewhere in the geologic record of what's cool to do in haskell |
| 2022-09-18 01:03:05 +0000 | <EvanR> | maybe when we reach the singularity it will be cool to just pass stuff around |
| 2022-09-18 01:03:56 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-09-18 01:08:27 +0000 | <Jeanne-Kamikaze> | What's the goto book these days for intermediate/advanced topics? |
| 2022-09-18 01:10:22 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-18 01:16:30 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-18 01:16:39 +0000 | michalz | (~michalz@185.246.207.215) (Ping timeout: 268 seconds) |
| 2022-09-18 01:19:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 01:19:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 01:24:29 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-18 01:27:12 +0000 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-18 01:27:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 01:32:36 +0000 | <dsal> | Jeanne-Kamikaze: Depends on the topic. |
| 2022-09-18 01:38:18 +0000 | king_gs | (~Thunderbi@187.201.192.184) (Quit: king_gs) |
| 2022-09-18 01:43:28 +0000 | <Jeanne-Kamikaze> | I guess I'm looking for 'modern' code patterns and ways of doing things. |
| 2022-09-18 01:50:29 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-18 01:51:54 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-18 01:56:13 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:217b:7ac0:b547:e8d8) (Quit: caryhartline) |
| 2022-09-18 01:58:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 01:59:16 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2022-09-18 02:00:44 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-09-18 02:01:26 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-18 02:02:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 02:03:14 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-18 02:10:43 +0000 | GuerrillaMonkey | (~Jeanne-Ka@142.147.89.235) |
| 2022-09-18 02:13:11 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.249) (Ping timeout: 252 seconds) |
| 2022-09-18 02:14:20 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:1c68:c1a5:c34e:becf) |
| 2022-09-18 02:15:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-18 02:17:09 +0000 | <jackdk> | I have written code which is an ExceptT over (eventually) a ResourceT. It's fine to runExceptT and get an `m (Either e a)` that is unliftable - this forces you to be explicit about how to handle errors which is fine |
| 2022-09-18 02:25:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 02:25:54 +0000 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2022-09-18 02:26:08 +0000 | EvanR | (~EvanR@user/evanr) |
| 2022-09-18 02:27:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-18 02:28:00 +0000 | td_ | (~td@94.134.91.75) (Ping timeout: 264 seconds) |
| 2022-09-18 02:29:18 +0000 | td_ | (~td@muedsl-82-207-238-056.citykom.de) |
| 2022-09-18 02:30:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 02:30:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 02:32:19 +0000 | GuerrillaMonkey | (~Jeanne-Ka@142.147.89.235) (Quit: Leaving) |
| 2022-09-18 02:32:52 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.235) |
| 2022-09-18 02:33:32 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.235) (Remote host closed the connection) |
| 2022-09-18 02:35:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 02:37:39 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-18 02:39:55 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-18 02:39:55 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-18 02:39:55 +0000 | finn_elija | FinnElija |
| 2022-09-18 02:42:28 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3a1b:8096:52cf:f3ae) (Ping timeout: 268 seconds) |
| 2022-09-18 02:42:42 +0000 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-18 02:43:34 +0000 | mzan | (~quassel@mail.asterisell.com) |
| 2022-09-18 02:48:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 02:52:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-09-18 02:52:14 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-18 02:52:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 02:54:44 +0000 | tdsdp^ | (~tdsdp@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-18 03:00:55 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:1c68:c1a5:c34e:becf) (Quit: caryhartline) |
| 2022-09-18 03:03:08 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-18 03:03:52 +0000 | xff0x | (~xff0x@2405:6580:b080:900:dd90:9b38:b496:ed23) |
| 2022-09-18 03:04:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 03:05:48 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 03:09:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 03:13:02 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-18 03:16:19 +0000 | Null_A | (~null_a@2601:645:8700:ac10:81a:658b:2e99:1fa1) |
| 2022-09-18 03:16:27 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-18 03:16:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 03:17:38 +0000 | checkum | (~checkum@172.58.30.183) (Read error: Connection reset by peer) |
| 2022-09-18 03:18:15 +0000 | Null_A_ | (~null_a@2601:645:8700:ac10:d500:3538:840b:56c3) (Ping timeout: 244 seconds) |
| 2022-09-18 03:18:45 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-18 03:22:28 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 03:22:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 03:30:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 03:33:58 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-18 03:34:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 03:34:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-18 03:42:46 +0000 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-18 03:46:10 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-18 03:51:23 +0000 | Null_A_ | (~null_a@2601:645:8700:ac10:81a:658b:2e99:1fa1) |
| 2022-09-18 03:51:24 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Read error: Connection reset by peer) |
| 2022-09-18 03:53:48 +0000 | Null_A | (~null_a@2601:645:8700:ac10:81a:658b:2e99:1fa1) (Ping timeout: 264 seconds) |
| 2022-09-18 03:55:15 +0000 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 3.6) |
| 2022-09-18 04:00:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 04:04:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 04:06:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 04:07:44 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-18 04:13:15 +0000 | mikoto-chan | (~mikoto-ch@2001:999:488:1324:726f:ee28:7143:19ca) |
| 2022-09-18 04:14:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 04:20:49 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-18 04:22:18 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-18 04:22:42 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-09-18 04:25:10 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-18 04:25:46 +0000 | cpli | (~cpli@77.47.62.180) |
| 2022-09-18 04:25:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 04:25:57 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-18 04:26:28 +0000 | Null_A_ | (~null_a@2601:645:8700:ac10:81a:658b:2e99:1fa1) (Ping timeout: 244 seconds) |
| 2022-09-18 04:27:36 +0000 | mikoto-chan | (~mikoto-ch@2001:999:488:1324:726f:ee28:7143:19ca) (Ping timeout: 260 seconds) |
| 2022-09-18 04:27:48 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-18 04:28:12 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-09-18 04:28:33 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-09-18 04:28:37 +0000 | Batzy | (~quassel@user/batzy) (Read error: Connection reset by peer) |
| 2022-09-18 04:29:19 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-09-18 04:29:25 +0000 | mikoto-chan | (~mikoto-ch@2001:999:704:1178:c392:271c:1ca1:485a) |
| 2022-09-18 04:29:41 +0000 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
| 2022-09-18 04:30:03 +0000 | bilegeek | (~bilegeek@2600:1008:b051:6d73:935f:97f:885:2432) |
| 2022-09-18 04:30:14 +0000 | bilegeek | (~bilegeek@2600:1008:b051:6d73:935f:97f:885:2432) (Remote host closed the connection) |
| 2022-09-18 04:30:43 +0000 | bilegeek | (~bilegeek@2600:1008:b051:6d73:935f:97f:885:2432) |
| 2022-09-18 04:33:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-18 04:34:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 04:36:59 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 04:38:37 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-18 04:38:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 04:39:07 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-18 04:39:27 +0000 | <sm> | I see stack docs have had a nice facelift: https://haskellstack.org |
| 2022-09-18 04:41:45 +0000 | <maerwald> | sm: mpilgrem is rocking it |
| 2022-09-18 04:43:25 +0000 | <sm> | hooray! I'm grateful to such impactful maintainers.. mpilgrem, yourself, mikolaj come to mind (I'm omitting many others of course) |
| 2022-09-18 04:44:49 +0000 | <sm> | the hls team (it seems more shared than the rest, don't know who does what) |
| 2022-09-18 04:45:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 04:46:54 +0000 | <maerwald> | well-typed has been engaged in HLS lately (I think even in official capacity... but don't take my word for it) |
| 2022-09-18 04:50:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 04:50:52 +0000 | cpli | (~cpli@77.47.62.180) (Quit: WeeChat 3.6) |
| 2022-09-18 05:05:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 05:10:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 05:10:24 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-18 05:18:06 +0000 | califax | (~califax@user/califx) |
| 2022-09-18 05:22:41 +0000 | mikoto-chan | (~mikoto-ch@2001:999:704:1178:c392:271c:1ca1:485a) (Ping timeout: 250 seconds) |
| 2022-09-18 05:24:51 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-18 05:24:54 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-18 05:25:44 +0000 | mikoto-chan | (~mikoto-ch@2001:999:704:1178:c392:271c:1ca1:485a) |
| 2022-09-18 05:31:02 +0000 | mikoto-chan | (~mikoto-ch@2001:999:704:1178:c392:271c:1ca1:485a) (Ping timeout: 244 seconds) |
| 2022-09-18 05:38:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 05:39:14 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 05:42:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 05:43:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-09-18 05:43:52 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2022-09-18 05:44:23 +0000 | cpli | (77fc530071@2604:bf00:561:2000::252) |
| 2022-09-18 05:44:40 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-18 05:45:46 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-18 05:48:03 +0000 | <mjrosenb> | ok, I'm using a zipper in my state; but the library that I'm providing a state for wants it to be an instance of eq. Is there a reason that zippers don't have an eq based on their contents having an eq? |
| 2022-09-18 05:51:07 +0000 | analoq | (~yashi@user/dies) (Ping timeout: 265 seconds) |
| 2022-09-18 05:52:32 +0000 | analoq | (~yashi@user/dies) |
| 2022-09-18 05:56:54 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-18 06:11:38 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 06:12:06 +0000 | frost | (~frost@user/frost) |
| 2022-09-18 06:12:25 +0000 | <EvanR> | what does it mean for two zippers to be equal |
| 2022-09-18 06:13:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 06:13:28 +0000 | <EvanR> | is 1 :> [2,3] equal to [1,2] <: 3 |
| 2022-09-18 06:13:47 +0000 | <EvanR> | or [1] 2 [3] |
| 2022-09-18 06:15:17 +0000 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 06:17:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 06:18:26 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-18 06:18:51 +0000 | dolio | (~dolio@130.44.130.54) |
| 2022-09-18 06:19:27 +0000 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-09-18 06:22:24 +0000 | dolio | (~dolio@130.44.130.54) |
| 2022-09-18 06:26:37 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-18 06:30:06 +0000 | <cpli> | EvanR those aren't equivalent in representation, nor in behaviour, no? |
| 2022-09-18 06:31:12 +0000 | <EvanR> | using random unsubstantiated reasoning, the zipper contains the same data but the pointer is not in the same location |
| 2022-09-18 06:31:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 06:31:33 +0000 | <EvanR> | if so, the ideal == test would return false |
| 2022-09-18 06:31:41 +0000 | <mjrosenb> | I'd say no? |
| 2022-09-18 06:32:12 +0000 | <EvanR> | there might be counter examples where it's not so clear |
| 2022-09-18 06:32:18 +0000 | <mjrosenb> | since I'm only going to be rendering the focus of the zipper, focusing on a different element would be vastly different |
| 2022-09-18 06:32:44 +0000 | <EvanR> | and if you're focusing on something else with the same value? |
| 2022-09-18 06:32:56 +0000 | <cpli> | that's possible? |
| 2022-09-18 06:33:03 +0000 | <cpli> | oh |
| 2022-09-18 06:33:50 +0000 | <mjrosenb> | I also need to know why miso wants this eq instance, since what I implement depends on how it is used. |
| 2022-09-18 06:34:22 +0000 | <cpli> | https://hackage.haskell.org/package/miso |
| 2022-09-18 06:34:56 +0000 | <EvanR> | there are alternative ways to define equality on stuff, but usually, whatever it is, it satisfies the laws of equivalence relations |
| 2022-09-18 06:35:35 +0000 | <EvanR> | and there are many ways to define equality which screws that up and is confusing / bogus as a result |
| 2022-09-18 06:36:09 +0000 | <EvanR> | alternatively if you can only think of one way, could be a good candidate |
| 2022-09-18 06:36:25 +0000 | <cpli> | EvanR: having a default a la equality of indiscernibles ought to make sense, no? |
| 2022-09-18 06:36:50 +0000 | <EvanR> | that's what deriving Eq does right |
| 2022-09-18 06:36:53 +0000 | <mjrosenb> | since you seem to know about zippers, do you know how downward / within are supposed to be used? |
| 2022-09-18 06:37:18 +0000 | <EvanR> | what zipper is this anyway |
| 2022-09-18 06:37:21 +0000 | <cpli> | EvanR true. |
| 2022-09-18 06:37:38 +0000 | <mjrosenb> | zippers zipper |
| 2022-09-18 06:37:40 +0000 | <mjrosenb> | https://hackage.haskell.org/package/zippers-0.3.2/docs/Control-Zipper.html |
| 2022-09-18 06:39:07 +0000 | <EvanR> | ah. kmett |
| 2022-09-18 06:39:12 +0000 | <EvanR> | no idea |
| 2022-09-18 06:39:26 +0000 | <mjrosenb> | should the first argument be traverse? or ix/at? |
| 2022-09-18 06:40:31 +0000 | <mjrosenb> | I guess `within traverse` is what I want. |
| 2022-09-18 06:42:22 +0000 | <mjrosenb> | or do I want iWithin, and itraverse? |
| 2022-09-18 06:43:47 +0000 | <dolio> | Depends if you want to see the indices, presumably. |
| 2022-09-18 06:44:38 +0000 | <mjrosenb> | riiigh, that's the difference between traverse and itraverse. I use either of them so infrequently. I thought the i just meant that an index existed, not that it tracked it. |
| 2022-09-18 06:46:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 06:47:39 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-18 06:48:46 +0000 | <mjrosenb> | Guess I should just get ghci working, and try shit until I get the output that I want |
| 2022-09-18 06:48:58 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 06:52:30 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 06:53:57 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-18 06:55:12 +0000 | <vglfr> | Thinking of NaN as sorta bottom within the "domain" of floats - is it a good intuition? (reading about Ord v PartialOrd) |
| 2022-09-18 06:55:42 +0000 | <c_wraith> | it works decently well as a model |
| 2022-09-18 06:57:10 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-18 06:58:38 +0000 | <vglfr> | Thanks. |
| 2022-09-18 07:00:00 +0000 | kuribas | (~user@ptr-17d51emc87n7kpd3asf.18120a2.ip6.access.telenet.be) |
| 2022-09-18 07:01:57 +0000 | califax | (~califax@user/califx) |
| 2022-09-18 07:10:41 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 07:13:35 +0000 | img | (~img@user/img) |
| 2022-09-18 07:17:50 +0000 | img | (~img@user/img) (Client Quit) |
| 2022-09-18 07:18:15 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-18 07:20:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 07:20:44 +0000 | img | (~img@user/img) |
| 2022-09-18 07:20:48 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-18 07:25:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 07:38:54 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2022-09-18 07:41:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 07:45:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 07:49:30 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 07:53:29 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2022-09-18 07:58:34 +0000 | vglfr | (~vglfr@145.224.94.16) (Read error: Connection reset by peer) |
| 2022-09-18 07:58:47 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 07:59:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 08:04:02 +0000 | vglfr | (~vglfr@145.224.94.16) (Quit: Quit) |
| 2022-09-18 08:04:16 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 08:05:35 +0000 | vglfr | (~vglfr@145.224.94.16) (Client Quit) |
| 2022-09-18 08:05:48 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 08:08:17 +0000 | vglfr | (~vglfr@145.224.94.16) (Client Quit) |
| 2022-09-18 08:08:30 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 08:10:35 +0000 | vglfr | (~vglfr@145.224.94.16) (Client Quit) |
| 2022-09-18 08:10:48 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 08:12:28 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-18 08:12:59 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-09-18 08:13:41 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-18 08:17:41 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Read error: No route to host) |
| 2022-09-18 08:27:13 +0000 | vglfr | (~vglfr@145.224.94.16) (Ping timeout: 244 seconds) |
| 2022-09-18 08:27:32 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 08:32:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 08:34:33 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 08:35:03 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-09-18 08:36:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 08:36:55 +0000 | drvitek | (~drvitek@2601:85:c300:7940:739a:12be:cd90:548) (Quit: Konversation terminated!) |
| 2022-09-18 08:37:22 +0000 | drvitek | (~drvitek@2601:85:c300:7940:98f3:57c8:5b37:395b) |
| 2022-09-18 08:37:28 +0000 | img | (~img@user/img) |
| 2022-09-18 08:39:48 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 265 seconds) |
| 2022-09-18 08:40:25 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-18 08:57:03 +0000 | michalz | (~michalz@185.246.207.203) |
| 2022-09-18 09:02:22 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-18 09:02:56 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:6530:c280:4187:23f9) |
| 2022-09-18 09:05:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 09:07:35 +0000 | cpli | saGri |
| 2022-09-18 09:07:42 +0000 | saGri | cpli |
| 2022-09-18 09:10:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 09:10:45 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-09-18 09:15:59 +0000 | tdsdp^ | (~tdsdp@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-18 09:24:55 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 09:25:11 +0000 | f-a | (~f-a@151.36.218.231) |
| 2022-09-18 09:25:19 +0000 | mniip | (mniip@libera/staff/mniip) |
| 2022-09-18 09:28:12 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-18 09:30:05 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-18 09:32:14 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-09-18 09:32:27 +0000 | bilegeek | (~bilegeek@2600:1008:b051:6d73:935f:97f:885:2432) (Quit: Leaving) |
| 2022-09-18 09:38:37 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-18 09:38:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 09:39:18 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-18 09:43:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 09:51:07 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-18 09:59:05 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 265 seconds) |
| 2022-09-18 10:06:49 +0000 | talismanick | (~talismani@2601:644:9380:4570::a698) (Remote host closed the connection) |
| 2022-09-18 10:11:03 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-18 10:12:25 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-09-18 10:14:37 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2022-09-18 10:14:57 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-09-18 10:15:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 10:17:49 +0000 | raym | (~raym@user/raym) (Quit: gonna try alpine linux) |
| 2022-09-18 10:18:11 +0000 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 268 seconds) |
| 2022-09-18 10:19:37 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-18 10:20:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 10:30:00 +0000 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 265 seconds) |
| 2022-09-18 10:30:45 +0000 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2022-09-18 10:32:21 +0000 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-09-18 10:33:10 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-18 10:33:16 +0000 | haskl | (~haskl@user/haskl) |
| 2022-09-18 10:33:55 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-18 10:34:00 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 264 seconds) |
| 2022-09-18 10:34:00 +0000 | elkcl_ | elkcl |
| 2022-09-18 10:37:29 +0000 | ubert | (~Thunderbi@77.119.169.178.wireless.dyn.drei.com) |
| 2022-09-18 10:45:38 +0000 | z__ | (~z@219.70.204.146) |
| 2022-09-18 10:45:52 +0000 | z__ | (~z@219.70.204.146) (Client Quit) |
| 2022-09-18 10:46:36 +0000 | z__ | (~z@219.70.204.146) |
| 2022-09-18 10:46:36 +0000 | z__ | (~z@219.70.204.146) (Client Quit) |
| 2022-09-18 10:47:07 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-18 10:47:24 +0000 | weier | (~z@219.70.204.146) |
| 2022-09-18 10:48:00 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-18 10:48:19 +0000 | weier | (~z@219.70.204.146) (Client Quit) |
| 2022-09-18 10:48:54 +0000 | weier | (~z@219.70.204.146) |
| 2022-09-18 10:48:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 10:49:06 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-09-18 10:53:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 10:56:51 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Quit: -a- IRC for Android 2.1.60) |
| 2022-09-18 10:57:57 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-18 11:04:24 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-18 11:15:24 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-18 11:21:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 11:24:01 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-09-18 11:26:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 11:46:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 11:49:13 +0000 | f-a | (~f-a@151.36.218.231) (Ping timeout: 250 seconds) |
| 2022-09-18 11:50:27 +0000 | f-a | (~f-a@151.38.246.185) |
| 2022-09-18 11:50:36 +0000 | nunggu | (~q@user/nunggu) (Ping timeout: 258 seconds) |
| 2022-09-18 11:50:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 11:51:11 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-18 11:55:47 +0000 | causal | (~user@50.35.83.177) |
| 2022-09-18 11:56:10 +0000 | xacktm | (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com) |
| 2022-09-18 11:56:29 +0000 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (Quit: fBNC - https://bnc4free.com) |
| 2022-09-18 11:58:16 +0000 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-09-18 11:58:23 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2022-09-18 11:58:58 +0000 | johnw | (~johnw@2600:1700:cf00:db0:f056:f097:9c2d:4e24) |
| 2022-09-18 12:00:16 +0000 | ubert | (~Thunderbi@77.119.169.178.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2022-09-18 12:05:37 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-18 12:09:02 +0000 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
| 2022-09-18 12:11:28 +0000 | xacktm | (xacktm@user/xacktm) |
| 2022-09-18 12:13:01 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-18 12:22:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 12:24:55 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-18 12:26:34 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-18 12:27:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 12:33:26 +0000 | luffy | (~chenqisu1@183.217.201.192) (Quit: Leaving) |
| 2022-09-18 12:40:05 +0000 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-09-18 12:40:22 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-09-18 12:41:48 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-18 12:44:53 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-18 12:46:23 +0000 | nunggu | (~q@user/nunggu) |
| 2022-09-18 12:46:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 12:51:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 13:10:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 13:16:32 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-18 13:20:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 13:21:48 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-18 13:23:02 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2022-09-18 13:24:08 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-18 13:26:26 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 13:29:19 +0000 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2022-09-18 13:30:52 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-18 13:31:15 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-18 14:00:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 14:01:24 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 14:04:20 +0000 | img | (~img@user/img) |
| 2022-09-18 14:05:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 14:09:16 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 244 seconds) |
| 2022-09-18 14:10:54 +0000 | nunggu | (~q@user/nunggu) (Ping timeout: 258 seconds) |
| 2022-09-18 14:11:16 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-09-18 14:20:35 +0000 | raym | (~raym@user/raym) |
| 2022-09-18 14:27:53 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 14:30:02 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-18 14:30:14 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-18 14:32:02 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-18 14:34:29 +0000 | nunggu | (~q@user/nunggu) |
| 2022-09-18 14:36:53 +0000 | benin0 | (~benin@183.82.204.58) |
| 2022-09-18 14:39:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 14:39:22 +0000 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) |
| 2022-09-18 14:44:55 +0000 | f-a | (~f-a@151.38.246.185) (Read error: Connection reset by peer) |
| 2022-09-18 14:45:45 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-18 14:46:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 14:46:42 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 14:48:20 +0000 | f-a | (~f-a@151.82.216.212) |
| 2022-09-18 14:49:36 +0000 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-18 14:51:11 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-09-18 14:53:48 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 264 seconds) |
| 2022-09-18 15:03:43 +0000 | kenran | (~kenran@200116b82b70c500646899ef171be697.dip.versatel-1u1.de) |
| 2022-09-18 15:03:43 +0000 | kenran | (~kenran@200116b82b70c500646899ef171be697.dip.versatel-1u1.de) (Read error: Connection reset by peer) |
| 2022-09-18 15:04:36 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-09-18 15:05:32 +0000 | _xor | (~xor@74.215.182.83) |
| 2022-09-18 15:06:15 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-18 15:08:53 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-09-18 15:09:22 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 15:09:44 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2022-09-18 15:11:46 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-18 15:13:39 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-18 15:14:11 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-09-18 15:16:31 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-18 15:17:58 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 15:18:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 15:19:24 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-09-18 15:21:29 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-18 15:25:06 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-09-18 15:26:54 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-18 15:27:51 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-18 15:33:10 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-18 15:40:18 +0000 | drvitek | (~drvitek@2601:85:c300:7940:98f3:57c8:5b37:395b) (Quit: Konversation terminated!) |
| 2022-09-18 15:47:27 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-09-18 15:48:21 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-09-18 15:48:48 +0000 | shapr | (~user@68.54.166.125) |
| 2022-09-18 15:51:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 15:52:09 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Quit: Leaving.) |
| 2022-09-18 15:52:54 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2022-09-18 15:55:05 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Quit: leaving) |
| 2022-09-18 15:56:54 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-18 15:57:29 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 15:57:35 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-18 16:01:08 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-18 16:03:14 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2022-09-18 16:07:37 +0000 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) (Quit: au revoir) |
| 2022-09-18 16:09:50 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-18 16:23:20 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-18 16:24:22 +0000 | econo | (uid147250@user/econo) |
| 2022-09-18 16:25:36 +0000 | weier | (~z@219.70.204.146) (Quit: Konversation terminated!) |
| 2022-09-18 16:27:59 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-09-18 16:34:26 +0000 | shapr | (~user@68.54.166.125) (Ping timeout: 244 seconds) |
| 2022-09-18 16:40:33 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 2022-09-18 16:44:06 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-18 16:45:44 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-18 16:46:28 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-18 16:47:27 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-18 16:48:18 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-18 16:49:27 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 16:50:48 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-18 16:52:48 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-09-18 16:54:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 16:54:37 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 16:56:45 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-18 17:01:40 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2022-09-18 17:03:31 +0000 | forell | (~forell@user/forell) |
| 2022-09-18 17:11:46 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Ping timeout: 260 seconds) |
| 2022-09-18 17:12:02 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-09-18 17:12:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 17:20:31 +0000 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 260 seconds) |
| 2022-09-18 17:23:53 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-18 17:31:31 +0000 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2022-09-18 17:31:45 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-18 17:36:13 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 17:37:19 +0000 | jrm | (~jrm@user/jrm) (Remote host closed the connection) |
| 2022-09-18 17:42:06 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-18 17:43:17 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2022-09-18 17:46:36 +0000 | forell | (~forell@user/forell) |
| 2022-09-18 17:47:41 +0000 | tdsdp^ | (~tdsdp@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-18 17:52:35 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-18 17:53:23 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-18 17:55:55 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-18 17:56:50 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 17:58:03 +0000 | biberu | (~biberu@user/biberu) |
| 2022-09-18 18:00:00 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-18 18:08:08 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-18 18:08:21 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-18 18:11:31 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 18:14:52 +0000 | Everything | (~Everythin@37.115.210.35) |
| 2022-09-18 18:17:53 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-18 18:18:40 +0000 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) |
| 2022-09-18 18:20:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 18:20:52 +0000 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) (Client Quit) |
| 2022-09-18 18:20:56 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 18:21:46 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-18 18:22:41 +0000 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) |
| 2022-09-18 18:22:58 +0000 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-09-18 18:23:06 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 2022-09-18 18:25:58 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-18 18:26:38 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-18 18:28:06 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-18 18:39:05 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 18:44:32 +0000 | f-a | (~f-a@151.82.216.212) (Read error: Connection reset by peer) |
| 2022-09-18 18:48:15 +0000 | f-a | (~f-a@151.36.148.23) |
| 2022-09-18 18:49:02 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-18 18:49:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2022-09-18 18:50:19 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-18 18:52:40 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-09-18 18:59:20 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 18:59:41 +0000 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 260 seconds) |
| 2022-09-18 19:03:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 19:04:56 +0000 | bjobjo | (~bjobjo@user/bjobjo) |
| 2022-09-18 19:05:09 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-18 19:11:21 +0000 | sympt | (~sympt@user/sympt) |
| 2022-09-18 19:14:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 19:21:36 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-09-18 19:22:12 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-09-18 19:23:52 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-18 19:26:49 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2022-09-18 19:36:32 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-18 19:39:46 +0000 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye) |
| 2022-09-18 19:45:09 +0000 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2022-09-18 19:47:13 +0000 | <EvanR> | I thought I had a slick way to execute some abstract C-like statement code with continuation passing style. Then I read about Duff's device |
| 2022-09-18 19:47:50 +0000 | <EvanR> | I don't know what's real anymore |
| 2022-09-18 19:48:18 +0000 | f-a | (~f-a@151.36.148.23) () |
| 2022-09-18 19:48:42 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-18 19:49:08 +0000 | <Rembane> | EvanR: What put you into programmer limbo? |
| 2022-09-18 19:50:11 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-18 19:51:18 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-09-18 19:51:29 +0000 | <geekosaur> | if you're worried about Duff's device you're not worrying about abstraction 🙂 |
| 2022-09-18 19:52:09 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-18 19:53:16 +0000 | <EvanR> | like, you can simply jump into a loop, wtf |
| 2022-09-18 19:53:38 +0000 | <EvanR> | wrote a lot of C, not a lot of gotos |
| 2022-09-18 19:53:40 +0000 | Rembane | hands EvanR a sack of GOTOs |
| 2022-09-18 19:53:49 +0000 | <Rembane> | My timing isn't optimal. :D |
| 2022-09-18 19:54:15 +0000 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) |
| 2022-09-18 19:54:42 +0000 | <EvanR> | my parser parses duff's device correctly, so ... it has to work |
| 2022-09-18 19:55:23 +0000 | <geekosaur> | switch is dirt simple, so it's actually not difficult for a C compiler to do that |
| 2022-09-18 19:56:32 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-18 19:57:06 +0000 | <EvanR> | so I need to write a real compiler to get it to work? ;_; |
| 2022-09-18 19:57:28 +0000 | <geekosaur> | or at least pretend to, instead of trying to get clever with CPS |
| 2022-09-18 19:57:48 +0000 | <EvanR> | nooo |
| 2022-09-18 19:57:58 +0000 | <geekosaur> | of course you could just say "my compiler is about abstraction, not pretending to be just above assembler, so no Duff's device" |
| 2022-09-18 19:59:28 +0000 | kuribas | (~user@ptr-17d51emc87n7kpd3asf.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-09-18 19:59:31 +0000 | <geekosaur> | of course, you could also just write whatever you intended originally and then see what it does when handed DD |
| 2022-09-18 20:02:05 +0000 | <dolio> | Do people even hand-unroll their loops anymore? |
| 2022-09-18 20:02:34 +0000 | <EvanR> | I did on last years advent of code |
| 2022-09-18 20:02:54 +0000 | <dolio> | In C? |
| 2022-09-18 20:03:27 +0000 | <EvanR> | correction, asked GCC to unroll the loops for me |
| 2022-09-18 20:03:27 +0000 | <dolio> | I wouldn't even be surprised if unrolling a loop by hand is worse, because it prevents the C compiler from unrolling it better or something. |
| 2022-09-18 20:04:28 +0000 | <EvanR> | even awesome game EXAPunks comes with a assembler macro to repeat some code N times |
| 2022-09-18 20:12:25 +0000 | <EvanR> | the language recognized is actually B, which didn't have initializers, so I guess there's no question what should be happening if you jump into a loop |
| 2022-09-18 20:13:30 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-09-18 20:15:13 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 20:15:44 +0000 | hammock | (~esc@172-126-222-235.lightspeed.mssnks.sbcglobal.net) (Quit: WeeChat 3.6) |
| 2022-09-18 20:19:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 20:21:36 +0000 | fjMSX | (~hypni2p@2.92.213.55) (Ping timeout: 265 seconds) |
| 2022-09-18 20:23:32 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-18 20:24:00 +0000 | pavonia | (~user@user/siracusa) |
| 2022-09-18 20:24:16 +0000 | nunggu | (~q@user/nunggu) (Ping timeout: 258 seconds) |
| 2022-09-18 20:26:22 +0000 | nunggu | (~q@user/nunggu) |
| 2022-09-18 20:26:43 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-18 20:27:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 20:30:05 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-18 20:34:28 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Client Quit) |
| 2022-09-18 20:47:41 +0000 | tdsdp^ | (~tdsdp@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-18 20:49:35 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 20:54:38 +0000 | <ski> | EvanR : i once wrote a loop in C, with a `goto' out of it, and a `goto' back inside it (just after the one out). i first conceived of the algorithm in my head, drew a flowchart of it, then translated that to (mostly) more structured constructs in C |
| 2022-09-18 20:56:19 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-18 20:56:24 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2022-09-18 20:57:49 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-18 21:02:37 +0000 | <ski> | (see <https://paste.debian.net/plainh/f0571cc8>. it's enumerating combinations ("ordered selections"), doing backtracking. it's essentially simulating a "power loop" in the sense of the second chapter of "Advanced Programming Language Design" by Raphael Finkel in 1996 at <https://web.archive.org/web/20150522052725/http://www.nondot.org/sabre/Mirrored/AdvProgLangDesign/>) |
| 2022-09-18 21:03:00 +0000 | <Rembane> | \m/ power loop \m/ |
| 2022-09-18 21:05:06 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-18 21:08:05 +0000 | Guest97 | (~Guest97@2601:602:a080:fa0::b9fc) |
| 2022-09-18 21:08:06 +0000 | <ski> | the `goto's simulate recursive calls and returns, using an array to simulate the corresponding stack (of known depth). power loops are definite (known "recursive" depth) |
| 2022-09-18 21:09:45 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-09-18 21:10:49 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 21:12:34 +0000 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-09-18 21:13:02 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-18 21:16:42 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-09-18 21:22:25 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 21:24:47 +0000 | aaronv | (~aaronv@user/aaronv) () |
| 2022-09-18 21:25:03 +0000 | aaronv | (~aaronv@user/aaronv) |
| 2022-09-18 21:25:20 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2022-09-18 21:25:30 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-18 21:28:29 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-18 21:29:47 +0000 | <EvanR> | oh hell yeah, power loops |
| 2022-09-18 21:31:16 +0000 | <EvanR> | in that code... the for loop has an initialization. If you jump into the loop, does the initialization just not happen |
| 2022-09-18 21:34:07 +0000 | jrm | (~jrm@user/jrm) |
| 2022-09-18 21:35:52 +0000 | jrm | (~jrm@user/jrm) (Client Quit) |
| 2022-09-18 21:44:29 +0000 | jrm | (~jrm@user/jrm) |
| 2022-09-18 21:45:00 +0000 | Guest97 | (~Guest97@2601:602:a080:fa0::b9fc) () |
| 2022-09-18 21:54:46 +0000 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-18 21:58:48 +0000 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
| 2022-09-18 22:00:53 +0000 | edrx | (~Eduardo@2804:18:6020:97ea:4484:f432:54e5:8220) |
| 2022-09-18 22:01:29 +0000 | <edrx> | hi all! I am an emacs old-timer and a haskell newbie... |
| 2022-09-18 22:01:34 +0000 | <sclv> | fhello! |
| 2022-09-18 22:02:25 +0000 | <Hecate> | hiya |
| 2022-09-18 22:02:26 +0000 | <edrx> | is there an emacs package that lets me navigate the libraries with M-. for "go to the definition of this symbol" and M-, for "go back"? |
| 2022-09-18 22:02:29 +0000 | <edrx> | hi! =) |
| 2022-09-18 22:02:58 +0000 | <c_wraith> | Hmm. probably, but there's a problem.. by default, the source of libraries isn't installed anywhere |
| 2022-09-18 22:03:45 +0000 | <edrx> | here the sources for Process.System - for example - is in ~/bigsrc/ghc-8.10.3/libraries/process/System/ |
| 2022-09-18 22:05:04 +0000 | <c_wraith> | what is bigsrc? |
| 2022-09-18 22:05:06 +0000 | <edrx> | nevermind, let me ask my other question too... I am trying to port this to Haskell: http://angg.twu.net/eev-maxima.html#luatree |
| 2022-09-18 22:05:48 +0000 | <ski> | EvanR : note that what is initialized depend on `cur_sel' .. and `cur_sel' is exactly what is changed, as i jump out and in |
| 2022-09-18 22:05:49 +0000 | <Hecate> | c_wraith: technically they are in the FS at a deterministic location… just in a tarball :p |
| 2022-09-18 22:05:50 +0000 | <edrx> | c_wraith: I put the sources of things that are very big, like emacs, ghc, and agda, in ~/bigsrc/, and the smaller things in ~/usrc/ |
| 2022-09-18 22:06:08 +0000 | <c_wraith> | Hecate: and if you never clean up the cabal store |
| 2022-09-18 22:06:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 22:07:08 +0000 | <Hecate> | c_wraith: :D |
| 2022-09-18 22:07:11 +0000 | <sclv> | edrx: you can use haskell-hoogle to lookup the function name in hoogle, which often suffices |
| 2022-09-18 22:07:18 +0000 | <ski> | EvanR : effectively, i have `sel_count' number of `for' loops nested inside each other (with a call to `act' innermost), each one initializing, checking, and incrementing `opt_of[cur_sel]' for its particular `cur_sel' (one `for' for each value of `cur_sel') |
| 2022-09-18 22:07:41 +0000 | <edrx> | my first idea was to call my script in Lua - that produces the 2D representations of trees - using the Process thing, but that's hard |
| 2022-09-18 22:07:47 +0000 | <edrx> | sclv: thanks! looking |
| 2022-09-18 22:07:58 +0000 | <sclv> | edrx: for your own code you can use a haskell etags generator (there are many as well) and then traditional emacs tags functions |
| 2022-09-18 22:08:13 +0000 | <sclv> | or generate tags for other libs you've unpacked just to have around... |
| 2022-09-18 22:09:32 +0000 | <edrx> | sclv: can you recommend me one of the etags generators? |
| 2022-09-18 22:09:33 +0000 | <ski> | @where hoogle |
| 2022-09-18 22:09:34 +0000 | <lambdabot> | https://hoogle.haskell.org |
| 2022-09-18 22:09:35 +0000 | <ski> | @where hayoo |
| 2022-09-18 22:09:35 +0000 | <lambdabot> | http://hayoo.fh-wedel.de/ -- See also Hoogle: http://haskell.org/hoogle http://fpcomplete.com/hoogle |
| 2022-09-18 22:09:46 +0000 | <edrx> | hi ski! thanks! |
| 2022-09-18 22:09:51 +0000 | <ski> | @hoogle mapAccumL |
| 2022-09-18 22:09:52 +0000 | <lambdabot> | Data.List mapAccumL :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c) |
| 2022-09-18 22:09:52 +0000 | <lambdabot> | Data.Traversable mapAccumL :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c) |
| 2022-09-18 22:09:52 +0000 | <lambdabot> | GHC.OldList mapAccumL :: (acc -> x -> (acc, y)) -> acc -> [x] -> (acc, [y]) |
| 2022-09-18 22:10:05 +0000 | <ski> | @hoogle (a -> Bool) -> [a] -> [a] |
| 2022-09-18 22:10:06 +0000 | <lambdabot> | Prelude filter :: (a -> Bool) -> [a] -> [a] |
| 2022-09-18 22:10:06 +0000 | <lambdabot> | Prelude takeWhile :: (a -> Bool) -> [a] -> [a] |
| 2022-09-18 22:10:06 +0000 | <lambdabot> | Prelude dropWhile :: (a -> Bool) -> [a] -> [a] |
| 2022-09-18 22:10:10 +0000 | <ski> | @hoogle+ |
| 2022-09-18 22:10:11 +0000 | <lambdabot> | Data.List takeWhile :: (a -> Bool) -> [a] -> [a] |
| 2022-09-18 22:10:11 +0000 | <lambdabot> | Data.List dropWhile :: (a -> Bool) -> [a] -> [a] |
| 2022-09-18 22:10:11 +0000 | <lambdabot> | Data.List dropWhileEnd :: (a -> Bool) -> [a] -> [a] |
| 2022-09-18 22:10:28 +0000 | <ski> | heya edrx :) |
| 2022-09-18 22:10:50 +0000 | <edrx> | =) |
| 2022-09-18 22:11:06 +0000 | <sclv> | https://hackage.haskell.org/package/hs-tags and https://hackage.haskell.org/package/hasktags are the two common tags generators iirc |
| 2022-09-18 22:11:22 +0000 | <EvanR> | ski, yep my brain just exploded |
| 2022-09-18 22:11:36 +0000 | ski | whistles innocently |
| 2022-09-18 22:12:19 +0000 | <EvanR> | I have saved this code for stress testing lol |
| 2022-09-18 22:12:21 +0000 | <ski> | EvanR : it's not that different from `replicateM_' for the list monad |
| 2022-09-18 22:13:12 +0000 | <edrx> | I will have to go offline soon, so let me ask some basic questions to work on them offlineishly... |
| 2022-09-18 22:13:29 +0000 | <ski> | EvanR : if you want to, i can give you the whole file (with call to `app_ordered_selections') |
| 2022-09-18 22:14:43 +0000 | <EvanR> | sure |
| 2022-09-18 22:15:54 +0000 | tdsdp^ | (~tdsdp@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-18 22:15:54 +0000 | <ski> | (oh and `app' was named after val app : ('a -> unit) -> 'a list -> unit in SML, which is basically `mapM_') |
| 2022-09-18 22:16:26 +0000 | <EvanR> | at least the motivation makes more sense talking about list monads |
| 2022-09-18 22:17:26 +0000 | shapr | (~user@68.54.166.125) |
| 2022-09-18 22:18:13 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-18 22:20:31 +0000 | <edrx> | I found some old notes on cabal here, from when I used it to install agda without understanding it... I'm on Debian, does this look right? |
| 2022-09-18 22:20:40 +0000 | <edrx> | sudo apt-get install cabal; cabal update |
| 2022-09-18 22:20:52 +0000 | <edrx> | oops |
| 2022-09-18 22:20:59 +0000 | <edrx> | sudo apt-get install cabal-install; cabal update |
| 2022-09-18 22:21:02 +0000 | <sclv> | the current way is install ghcup, then use that to install ghc and cabal binaries both |
| 2022-09-18 22:21:23 +0000 | <sclv> | https://www.haskell.org/ghcup/ |
| 2022-09-18 22:21:35 +0000 | <sclv> | the cabal you get from apt-get may be somewhat old |
| 2022-09-18 22:21:47 +0000 | <edrx> | thanks! |
| 2022-09-18 22:21:49 +0000 | <sclv> | that said, apt-get should still work, just not give you the most up to dat |
| 2022-09-18 22:22:41 +0000 | <ski> | EvanR, PMed you the link |
| 2022-09-18 22:23:04 +0000 | <edrx> | going offline now! all hints saved! thanks, cya later =) |
| 2022-09-18 22:25:51 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-09-18 22:27:56 +0000 | edrx | (~Eduardo@2804:18:6020:97ea:4484:f432:54e5:8220) (Ping timeout: 260 seconds) |
| 2022-09-18 22:29:27 +0000 | fjMSX | (~hypni2p@2.92.213.55) |
| 2022-09-18 22:38:56 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 22:43:21 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-18 22:43:36 +0000 | <EvanR> | got it |
| 2022-09-18 22:47:59 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2022-09-18 22:50:29 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-18 22:57:16 +0000 | ystael | (~ystael@user/ystael) |
| 2022-09-18 23:00:09 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 23:01:57 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-18 23:05:33 +0000 | forell | (~forell@user/forell) (Ping timeout: 244 seconds) |
| 2022-09-18 23:11:11 +0000 | perdent | (~perdent@125.7.37.86) |
| 2022-09-18 23:12:04 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2022-09-18 23:15:38 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-18 23:17:15 +0000 | forell | (~forell@user/forell) |
| 2022-09-18 23:17:49 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-18 23:20:05 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 23:21:03 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-09-18 23:23:17 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-18 23:25:01 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-09-18 23:31:06 +0000 | hochata | (~user@user/hochata) |
| 2022-09-18 23:35:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-18 23:37:35 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 23:39:39 +0000 | EvanR_ | (~EvanR@user/evanr) |
| 2022-09-18 23:39:54 +0000 | EvanR_ | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-09-18 23:42:23 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-18 23:43:05 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 255 seconds) |
| 2022-09-18 23:46:21 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) |
| 2022-09-18 23:51:35 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-18 23:54:33 +0000 | rockymarine | (~rocky@user/rockymarine) |