| 2023-02-13 00:11:05 +0000 | merijn | (~merijn@145.90.225.11) |
| 2023-02-13 00:13:51 +0000 | lackita | (~lackita@73.114.250.252) (Ping timeout: 248 seconds) |
| 2023-02-13 00:14:11 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 00:16:37 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-13 00:20:36 +0000 | <cheater> | any suggestions on a library to store a single haskell value in a file? like a record that contains stuff that's showable and readable. i don't need it to be a database or whatever. |
| 2023-02-13 00:20:47 +0000 | lackita | (~lackita@73.114.250.252) (Ping timeout: 248 seconds) |
| 2023-02-13 00:20:54 +0000 | <cheater> | a record that contains tuples and lists of strings and ints |
| 2023-02-13 00:21:36 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 00:21:42 +0000 | <cheater> | i thought maybe haskey-mtl but... nah, that's too complex and too involved |
| 2023-02-13 00:22:21 +0000 | <sm> | just show and writeFile ? |
| 2023-02-13 00:22:27 +0000 | <cheater> | yeah, i was thinking of that honestly. |
| 2023-02-13 00:28:40 +0000 | <sm> | pretty-show if you like, I think it's still readable |
| 2023-02-13 00:29:09 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350) (Remote host closed the connection) |
| 2023-02-13 00:32:45 +0000 | <cheater> | yeah i was just thinking of that sm |
| 2023-02-13 00:33:05 +0000 | <cheater> | you mean 'read' - able, don't you |
| 2023-02-13 00:33:08 +0000 | <cheater> | yeah i think it is |
| 2023-02-13 00:36:12 +0000 | <cheater> | hmm, once you get past the obtuse lack of documentation and weird-ass example code, msgpack-rpc-conduit is unoffensive to use |
| 2023-02-13 00:36:15 +0000 | <dsal> | cheater: I need a pretty good excuse to not use sqlite |
| 2023-02-13 00:36:33 +0000 | <cheater> | dsal: i don't want to think about sqlite |
| 2023-02-13 00:36:36 +0000 | <cheater> | that's my excuse |
| 2023-02-13 00:37:34 +0000 | <cheater> | of course, msgpack-rpc-conduit can do rpc of IO values, but as the caller it leaves you in the dark about stuff like exceptions happening |
| 2023-02-13 00:37:48 +0000 | <cheater> | which is less nice |
| 2023-02-13 00:38:02 +0000 | <dsal> | I don't want to think about whether the file is corrupt from a partial write or how I might recover from something dumb happening. |
| 2023-02-13 00:38:13 +0000 | acidjnk | (~acidjnk@2003:d6:e715:c488:698a:1110:aea1:4b48) (Ping timeout: 252 seconds) |
| 2023-02-13 00:38:58 +0000 | <dsal> | File IO is kind of hard on the edges. SQLite is one of the most deployed bits of software in the world and does all the file writes. I enjoy not having to think about that. :) |
| 2023-02-13 00:41:10 +0000 | <hpc> | "hard on the edges" is putting it lightly - https://danluu.com/filesystem-errors/ |
| 2023-02-13 00:45:33 +0000 | merijn | (~merijn@145.90.225.11) (Ping timeout: 252 seconds) |
| 2023-02-13 00:46:47 +0000 | <cheater> | yeah that's a good point dsal |
| 2023-02-13 00:46:49 +0000 | <cheater> | but also |
| 2023-02-13 00:46:52 +0000 | <cheater> | this is for junk code |
| 2023-02-13 00:47:28 +0000 | lackita | (~lackita@73.114.250.252) (Ping timeout: 248 seconds) |
| 2023-02-13 00:47:43 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 00:48:17 +0000 | <dsal> | I live off of junk code. |
| 2023-02-13 00:50:22 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Reconnecting) |
| 2023-02-13 00:50:35 +0000 | wroathe | (~wroathe@207.153.38.140) |
| 2023-02-13 00:50:35 +0000 | wroathe | (~wroathe@207.153.38.140) (Changing host) |
| 2023-02-13 00:50:35 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-02-13 00:50:46 +0000 | <geekosaur> | thing is, if people really believed that, they wouldn't only use sqlite, they'd use zfs |
| 2023-02-13 00:53:35 +0000 | <cheater> | and backup |
| 2023-02-13 00:55:19 +0000 | <EvanR> | sqlite is great. For storing a single haskell value that can be restored it's overkill |
| 2023-02-13 00:56:08 +0000 | <EvanR> | also `read' would be wrong here because the file could easily contain nonsense. Use reads and pattern match on the results |
| 2023-02-13 00:58:03 +0000 | <EvanR> | to overwrite the file be sure to write to a temp file first, then issue a filesystem move which is atomic (I think) |
| 2023-02-13 00:58:13 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-02-13 00:58:30 +0000 | <geekosaur> | only on a single local filesystem |
| 2023-02-13 00:59:33 +0000 | <dsal> | Yeah, I'm using sqlite on zfs. :) |
| 2023-02-13 01:00:06 +0000 | <Clinton[m]> | If I've got a function:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/b0a7b9764fbfa0e6ab5b6652a09bc68e6c8d…>) |
| 2023-02-13 01:00:12 +0000 | johnw | (~johnw@2600:1700:cf00:db0:9d96:30a:a02f:6e8d) (Quit: ZNC - http://znc.in) |
| 2023-02-13 01:01:34 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-02-13 01:02:16 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-13 01:02:57 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-13 01:03:59 +0000 | califax | (~califax@user/califx) |
| 2023-02-13 01:04:36 +0000 | <Clinton[m]> | If I've got a function:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/1d928c530c98ce3ccef743af98c146ecf8a7…>) |
| 2023-02-13 01:10:47 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-02-13 01:12:01 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-02-13 01:16:55 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-02-13 01:17:13 +0000 | maximalmuncher | (~maximalmu@108.168.13.112) (Quit: Leaving) |
| 2023-02-13 01:17:47 +0000 | <EvanR> | Clinton[m], isn't that an impredicative type |
| 2023-02-13 01:18:33 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 252 seconds) |
| 2023-02-13 01:18:36 +0000 | <EvanR> | you could make a datatype to stand for forall v. c v => m v |
| 2023-02-13 01:18:42 +0000 | <EvanR> | and then make a list of that |
| 2023-02-13 01:20:44 +0000 | mechap | (~mechap@user/mechap) |
| 2023-02-13 01:21:31 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds) |
| 2023-02-13 01:23:16 +0000 | <monochrom> | Can you convert f to f' :: t -> (forall u. c u -> m u)? Because then map f' x has the type you want. Turning on ImpredicativeTypes. |
| 2023-02-13 01:26:06 +0000 | <monochrom> | The conversion can be as simple as f' x = f x. Although f' = f is a type error due to simple subsumption. |
| 2023-02-13 01:27:47 +0000 | <monochrom> | Oh haha because of that, you can simply map (\x -> f x) x. |
| 2023-02-13 01:29:36 +0000 | <monochrom> | This is beautiful. The downside of simple subsumption is that we lose eta equivalence. The upside is that we can pass type checking just by eta expanding. :) |
| 2023-02-13 01:29:38 +0000 | eggplantade | (~Eggplanta@104.55.37.220) |
| 2023-02-13 01:29:49 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-02-13 01:30:03 +0000 | <EvanR> | map (\x -> f x) xs -- the pain... |
| 2023-02-13 01:30:26 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-02-13 01:32:25 +0000 | <monochrom> | Unpopular opinion: Simple subsumption obsoletes hlint. |
| 2023-02-13 01:32:48 +0000 | <monochrom> | At least its "why not f?" advice. |
| 2023-02-13 01:33:57 +0000 | eggplantade | (~Eggplanta@104.55.37.220) (Ping timeout: 252 seconds) |
| 2023-02-13 01:36:31 +0000 | xff0x | (~xff0x@138.64.81.74) (Ping timeout: 252 seconds) |
| 2023-02-13 01:36:41 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2023-02-13 01:36:54 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 01:38:52 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-02-13 01:42:23 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-13 01:44:46 +0000 | son0p | (~ff@190.158.28.118) |
| 2023-02-13 01:48:02 +0000 | razetime | (~Thunderbi@117.193.7.116) |
| 2023-02-13 01:51:10 +0000 | <EvanR> | what does simple subsumption have to do with impredicative types (or am I walking into an "Everything") |
| 2023-02-13 01:55:42 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-02-13 02:13:55 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-02-13 02:14:35 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-13 02:14:53 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350) |
| 2023-02-13 02:18:54 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-13 02:24:19 +0000 | xff0x | (~xff0x@125.103.176.34) |
| 2023-02-13 02:24:33 +0000 | ddellacosta | (~ddellacos@146.70.166.203) (Ping timeout: 252 seconds) |
| 2023-02-13 02:25:17 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2023-02-13 02:25:19 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds) |
| 2023-02-13 02:26:43 +0000 | ddellacosta | (~ddellacos@146.70.166.139) |
| 2023-02-13 02:26:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-02-13 02:27:05 +0000 | Unode | (~Unode@194.94.44.220) (Ping timeout: 255 seconds) |
| 2023-02-13 02:27:45 +0000 | Hammdist | (~Hammdist@67.169.114.135) |
| 2023-02-13 02:27:59 +0000 | son0p | (~ff@190.158.28.118) (Ping timeout: 255 seconds) |
| 2023-02-13 02:29:11 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-02-13 02:33:58 +0000 | Unode | (~Unode@fg-ext-220.embl.de) |
| 2023-02-13 02:37:25 +0000 | yl53[m] | (~yl53matri@2001:470:69fc:105::85b) |
| 2023-02-13 02:42:19 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-13 02:43:59 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 02:50:35 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-13 02:55:31 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-13 02:56:35 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-13 02:57:52 +0000 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 2023-02-13 02:58:46 +0000 | retrosenator | (~retrosena@174.211.101.209) |
| 2023-02-13 03:11:19 +0000 | <monochrom> | Impredicative typing and type inference didn't mix well until the paper for how to do it with bidirectional type inference, but it needs simple subsumption. |
| 2023-02-13 03:11:23 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-13 03:11:23 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-02-13 03:11:23 +0000 | finn_elija | FinnElija |
| 2023-02-13 03:12:32 +0000 | <monochrom> | The "quick look" paper. |
| 2023-02-13 03:14:48 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2023-02-13 03:15:10 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) |
| 2023-02-13 03:15:52 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-02-13 03:18:40 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2023-02-13 03:20:05 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-02-13 03:20:21 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2023-02-13 03:23:46 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-13 03:33:31 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-02-13 03:38:00 +0000 | gpncarl | (~gpncarl@210.12.195.6) |
| 2023-02-13 03:46:42 +0000 | pi1 | johnjaye |
| 2023-02-13 03:48:59 +0000 | razetime | (~Thunderbi@117.193.7.116) (Ping timeout: 255 seconds) |
| 2023-02-13 03:50:30 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2023-02-13 03:52:11 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-13 03:56:35 +0000 | td_ | (~td@83.135.9.6) (Ping timeout: 252 seconds) |
| 2023-02-13 03:58:30 +0000 | td_ | (~td@83.135.9.23) |
| 2023-02-13 03:58:42 +0000 | thongpv87 | (~thongpv87@2402:9d80:3fd:3cf0:4fbb:f51:da03:f653) |
| 2023-02-13 04:00:00 +0000 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2023-02-13 04:01:09 +0000 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2023-02-13 04:07:07 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 04:11:15 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-13 04:14:24 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-13 04:15:17 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-13 04:17:51 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-13 04:32:44 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-02-13 04:32:49 +0000 | razetime | (~Thunderbi@117.193.7.116) |
| 2023-02-13 04:34:32 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 3.7.1) |
| 2023-02-13 04:36:55 +0000 | king_gs | (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) |
| 2023-02-13 04:37:10 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2023-02-13 04:37:20 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 260 seconds) |
| 2023-02-13 04:46:55 +0000 | thongpv87 | (~thongpv87@2402:9d80:3fd:3cf0:4fbb:f51:da03:f653) (Ping timeout: 248 seconds) |
| 2023-02-13 04:47:02 +0000 | king_gs | (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Quit: king_gs) |
| 2023-02-13 04:49:53 +0000 | mbuf | (~Shakthi@49.204.138.212) |
| 2023-02-13 04:55:45 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2023-02-13 04:58:26 +0000 | retrosenator | (~retrosena@174.211.101.209) (Quit: Lost terminal) |
| 2023-02-13 04:58:26 +0000 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) (Read error: Connection reset by peer) |
| 2023-02-13 04:59:01 +0000 | Vajb | (~Vajb@88.195.165.27) |
| 2023-02-13 05:00:21 +0000 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-02-13 05:01:57 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-02-13 05:04:21 +0000 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-02-13 05:04:56 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 05:07:47 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-02-13 05:09:19 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-13 05:11:45 +0000 | Vajb | (~Vajb@88.195.165.27) (Read error: Connection reset by peer) |
| 2023-02-13 05:14:15 +0000 | merijn | (~merijn@145.90.225.11) |
| 2023-02-13 05:18:43 +0000 | merijn | (~merijn@145.90.225.11) (Ping timeout: 252 seconds) |
| 2023-02-13 05:19:44 +0000 | Vajb | (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) |
| 2023-02-13 05:20:09 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 05:24:50 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 2023-02-13 05:27:32 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-02-13 05:32:00 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-13 05:40:03 +0000 | cole-k | (~cole@rrcs-24-43-123-86.west.biz.rr.com) |
| 2023-02-13 05:41:13 +0000 | <cole-k> | I figure it doesn't exist, but I wanted to know if there was a flag you can pass to runghc to get it to set stdin's buffering to NoBuffering. |
| 2023-02-13 05:47:11 +0000 | <dsal> | I'd expect your program to be responsible for that. |
| 2023-02-13 05:47:30 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 05:48:05 +0000 | phma_ | (phma@2001:5b0:211b:c4b8:e97:ef7f:945d:9d26) |
| 2023-02-13 05:48:08 +0000 | phma | (~phma@host-67-44-208-154.hnremote.net) (Read error: Connection reset by peer) |
| 2023-02-13 05:51:22 +0000 | <cole-k> | unfortunate, that's what i figured. couldn't find "stdin" or "buffering" or anything related to that in the docs |
| 2023-02-13 05:51:43 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-13 05:52:00 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-02-13 05:54:37 +0000 | <dsal> | https://hackage.haskell.org/package/base-4.17.0.0/docs/System-IO.html |
| 2023-02-13 05:55:16 +0000 | <cole-k> | yeah i'm aware of that. was hoping to configure it from the CLI to save on chars in my entry to the tiny game jam |
| 2023-02-13 05:56:02 +0000 | <cole-k> | which i will admit is kind of cheating but it's sooooo many characters just to set NoBuffering :( |
| 2023-02-13 05:58:25 +0000 | shapr | (~user@net-5-88-238-17.cust.vodafonedsl.it) |
| 2023-02-13 05:59:09 +0000 | <Axman6> | cole-k: I thin you could all the command to do that to a .ghci file |
| 2023-02-13 06:00:45 +0000 | <Axman6> | cole-k: https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html?highlight=ghci#the-ghci-and-ha… |
| 2023-02-13 06:00:52 +0000 | rlj | (~rlj@194-218-34-180.customer.telia.com) |
| 2023-02-13 06:02:35 +0000 | <cole-k> | Thanks Axman6 for the suggestion, unfortunately I think that reading from an external file is explicitly not allowed in the rules (i was trying to exploit a more gray area loophole) |
| 2023-02-13 06:02:57 +0000 | <cole-k> | i'm guessing they'd count .ghci toward that |
| 2023-02-13 06:03:02 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-02-13 06:03:49 +0000 | califax | (~califax@user/califx) |
| 2023-02-13 06:04:56 +0000 | analoq | (~yashi@user/dies) (Ping timeout: 246 seconds) |
| 2023-02-13 06:06:43 +0000 | analoq | (~yashi@user/dies) |
| 2023-02-13 06:07:18 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 06:10:15 +0000 | cole-k | (~cole@rrcs-24-43-123-86.west.biz.rr.com) (Remote host closed the connection) |
| 2023-02-13 06:11:35 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 246 seconds) |
| 2023-02-13 06:20:04 +0000 | <EvanR> | is modifying the compiler explicitly not allowed in the rules? xD |
| 2023-02-13 06:25:41 +0000 | thongpv | (~thongpv87@123.31.163.143) |
| 2023-02-13 06:34:56 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 06:36:22 +0000 | king_gs | (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) |
| 2023-02-13 06:37:57 +0000 | takuan | (~takuan@178.116.218.225) |
| 2023-02-13 06:39:23 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-13 06:40:07 +0000 | trev | (~trev@user/trev) |
| 2023-02-13 06:41:34 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-13 06:42:45 +0000 | king_gs | (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Quit: king_gs) |
| 2023-02-13 06:44:54 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-02-13 06:57:05 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 07:00:45 +0000 | nattiestnate | (~nate@202.138.250.62) (Quit: WeeChat 3.8) |
| 2023-02-13 07:01:13 +0000 | thongpv | (~thongpv87@123.31.163.143) (Remote host closed the connection) |
| 2023-02-13 07:03:43 +0000 | thongpv | (~thongpv87@123.31.163.143) |
| 2023-02-13 07:04:19 +0000 | opticblast | (~Thunderbi@172.58.84.5) (Quit: opticblast) |
| 2023-02-13 07:06:08 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-02-13 07:07:37 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2023-02-13 07:09:02 +0000 | thongpv87 | (~thongpv87@123.31.163.143) |
| 2023-02-13 07:11:27 +0000 | thongpv | (~thongpv87@123.31.163.143) (Ping timeout: 248 seconds) |
| 2023-02-13 07:11:31 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-02-13 07:11:56 +0000 | falafel | (~falafel@2607:fb91:143f:e47f:3f5:ed1d:a924:9b13) (Ping timeout: 255 seconds) |
| 2023-02-13 07:14:43 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-13 07:14:55 +0000 | michalz | (~michalz@185.246.204.126) |
| 2023-02-13 07:23:49 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-13 07:27:17 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c665:fff:9207:b36e) |
| 2023-02-13 07:42:53 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 07:49:16 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-02-13 07:49:40 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-02-13 07:50:39 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-13 07:52:45 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2023-02-13 07:55:02 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Quit: Quit) |
| 2023-02-13 07:55:21 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-02-13 07:58:02 +0000 | MQ-17J | (~MQ-17J@104.28.248.165) |
| 2023-02-13 07:59:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-13 08:00:22 +0000 | thongpv | (~thongpv87@123.31.163.143) |
| 2023-02-13 08:01:09 +0000 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-02-13 08:01:53 +0000 | thongpv87 | (~thongpv87@123.31.163.143) (Ping timeout: 252 seconds) |
| 2023-02-13 08:02:37 +0000 | razetime | (~Thunderbi@117.193.7.116) (Ping timeout: 252 seconds) |
| 2023-02-13 08:02:49 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-02-13 08:03:07 +0000 | mncheckm | (~mncheck@193.224.205.254) |
| 2023-02-13 08:03:08 +0000 | rlj | (~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 260 seconds) |
| 2023-02-13 08:03:42 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 08:10:12 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-13 08:18:18 +0000 | razetime | (~Thunderbi@117.193.7.116) |
| 2023-02-13 08:18:25 +0000 | azure_vermilion | (~azure_ver@164.39.138.83) (Ping timeout: 252 seconds) |
| 2023-02-13 08:19:55 +0000 | andjjj23 | (~irc@107.170.228.47) (Remote host closed the connection) |
| 2023-02-13 08:25:53 +0000 | andjjj23 | (~irc@107.170.228.47) |
| 2023-02-13 08:27:22 +0000 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) |
| 2023-02-13 08:29:20 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-02-13 08:32:23 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-02-13 08:32:50 +0000 | Sinbad | (~Sinbad@user/sinbad) |
| 2023-02-13 08:32:57 +0000 | acidjnk | (~acidjnk@p200300d6e715c4786dabe743f9921989.dip0.t-ipconnect.de) |
| 2023-02-13 08:36:09 +0000 | razetime1 | (~Thunderbi@117.193.7.116) |
| 2023-02-13 08:37:31 +0000 | razetime | (~Thunderbi@117.193.7.116) (Ping timeout: 248 seconds) |
| 2023-02-13 08:37:31 +0000 | razetime1 | razetime |
| 2023-02-13 08:38:40 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-13 08:46:07 +0000 | danso | (~danso@danso.ca) (Quit: ZNC - https://znc.in) |
| 2023-02-13 08:49:02 +0000 | thongpv87 | (~thongpv87@2402:9d80:3fd:3cf0:3e46:edf8:8925:b955) |
| 2023-02-13 08:50:34 +0000 | danso | (~danso@2600:3c04::f03c:91ff:fe05:6954) |
| 2023-02-13 08:51:43 +0000 | thongpv | (~thongpv87@123.31.163.143) (Ping timeout: 248 seconds) |
| 2023-02-13 08:55:25 +0000 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 2023-02-13 08:56:19 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-13 08:58:51 +0000 | Guest8 | (~Guest8@174-21-178-142.tukw.qwest.net) |
| 2023-02-13 09:00:06 +0000 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) (Quit: You have been kicked for being idle) |
| 2023-02-13 09:00:10 +0000 | kenran | (~user@user/kenran) |
| 2023-02-13 09:01:13 +0000 | kenran | (~user@user/kenran) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | phma_ | (phma@2001:5b0:211b:c4b8:e97:ef7f:945d:9d26) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | notzmv | (~zmv@user/notzmv) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | agevelt[m] | (~ageveltmo@2001:470:69fc:105::3:16db) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | foghorn | (~foghorn@user/foghorn) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | Guest4659 | (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | remexre | (~remexre@mail.sift.net) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | maerwald[m] | (~maerwaldm@user/maerwald) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) (*.net *.split) |
| 2023-02-13 09:01:13 +0000 | ncf | (~n@monade.li) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | riatre_ | (~quassel@2001:310:6000:f::5198:1) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | vito | (sid1962@user/vito) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | nrr____ | (sid20938@id-20938.lymington.irccloud.com) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | ProofTechnique | (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | acertain | (sid470584@id-470584.hampstead.irccloud.com) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | Moyst | (~moyst@user/moyst) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | df | (~ben@justworks.xyz) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | PHO` | (~pho@akari.cielonegro.org) (*.net *.split) |
| 2023-02-13 09:01:14 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) (*.net *.split) |
| 2023-02-13 09:01:22 +0000 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2023-02-13 09:01:23 +0000 | remexre | (~remexre@user/remexre) |
| 2023-02-13 09:01:28 +0000 | df | (~ben@justworks.xyz) |
| 2023-02-13 09:01:30 +0000 | kenran | (~user@user/kenran) |
| 2023-02-13 09:01:30 +0000 | root | (~m-mzmz6l@38.242.236.220) |
| 2023-02-13 09:01:31 +0000 | mjs2600 | (~mjs2600@24.91.3.49) |
| 2023-02-13 09:01:32 +0000 | ProofTechnique | (sid79547@2a03:5180:f:3::1:36bb) |
| 2023-02-13 09:01:32 +0000 | vito | (sid1962@user/vito) |
| 2023-02-13 09:01:43 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-02-13 09:01:43 +0000 | dsrt^ | (~dsrt@24.30.76.89) |
| 2023-02-13 09:01:45 +0000 | earthy | (~arthurvl@2a02:a469:f5e2:1:ba27:ebff:fea0:40b0) |
| 2023-02-13 09:01:45 +0000 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2023-02-13 09:01:45 +0000 | liskin | (~liskin@xmonad/liskin) |
| 2023-02-13 09:01:47 +0000 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2023-02-13 09:02:02 +0000 | root | Guest5069 |
| 2023-02-13 09:02:05 +0000 | edmundnoble | (sid229620@helmsley.irccloud.com) |
| 2023-02-13 09:02:10 +0000 | phma_ | (phma@2001:5b0:211b:c4b8:e97:ef7f:945d:9d26) |
| 2023-02-13 09:02:10 +0000 | acertain | (sid470584@hampstead.irccloud.com) |
| 2023-02-13 09:02:12 +0000 | nrr____ | (sid20938@5.254.36.59) |
| 2023-02-13 09:02:15 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-02-13 09:02:24 +0000 | PHO` | (~pho@akari.cielonegro.org) |
| 2023-02-13 09:02:28 +0000 | riatre | (~quassel@2001:310:6000:f::5198:1) |
| 2023-02-13 09:02:38 +0000 | NiKaN | (sid385034@helmsley.irccloud.com) |
| 2023-02-13 09:02:53 +0000 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2023-02-13 09:02:57 +0000 | vladan[m] | (~vladanmat@2001:470:69fc:105::2:24df) |
| 2023-02-13 09:03:17 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2023-02-13 09:03:54 +0000 | Guest8 | (~Guest8@174-21-178-142.tukw.qwest.net) (Quit: Client closed) |
| 2023-02-13 09:03:55 +0000 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2023-02-13 09:04:03 +0000 | ncf | (~n@monade.li) |
| 2023-02-13 09:04:04 +0000 | avicenzi | (~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 252 seconds) |
| 2023-02-13 09:04:29 +0000 | phma_ | phma |
| 2023-02-13 09:04:34 +0000 | foghorn | (~foghorn@user/foghorn) |
| 2023-02-13 09:05:53 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-02-13 09:06:29 +0000 | Moyst | (~moyst@user/moyst) |
| 2023-02-13 09:06:44 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit) |
| 2023-02-13 09:07:25 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-02-13 09:07:26 +0000 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2023-02-13 09:07:56 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-02-13 09:08:13 +0000 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) |
| 2023-02-13 09:08:53 +0000 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
| 2023-02-13 09:09:31 +0000 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) |
| 2023-02-13 09:09:42 +0000 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
| 2023-02-13 09:09:46 +0000 | chele | (~chele@user/chele) |
| 2023-02-13 09:09:51 +0000 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
| 2023-02-13 09:10:04 +0000 | agevelt[m] | (~ageveltmo@2001:470:69fc:105::3:16db) |
| 2023-02-13 09:11:19 +0000 | shapr | (~user@net-5-88-238-17.cust.vodafonedsl.it) (Remote host closed the connection) |
| 2023-02-13 09:14:05 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2023-02-13 09:14:17 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-02-13 09:16:13 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-13 09:18:55 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) (WeeChat 3.8) |
| 2023-02-13 09:19:19 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-13 09:20:53 +0000 | rlj | (~rlj@c-5eea65c2-74736162.cust.telenor.se) |
| 2023-02-13 09:25:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-13 09:28:23 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-13 09:29:40 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) |
| 2023-02-13 09:32:11 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 246 seconds) |
| 2023-02-13 09:32:58 +0000 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-02-13 09:36:50 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-13 09:38:26 +0000 | maroloccio | (~marolocci@90.167.158.133) |
| 2023-02-13 09:40:41 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-13 09:44:10 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-02-13 09:51:47 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-13 09:53:56 +0000 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-02-13 09:55:38 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-13 09:59:20 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 10:03:43 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-13 10:04:23 +0000 | nschoe | (~q@141.101.51.197) |
| 2023-02-13 10:05:57 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-02-13 10:06:19 +0000 | ft | (~ft@p3e9bc443.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-02-13 10:07:11 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) |
| 2023-02-13 10:09:52 +0000 | rlj | (~rlj@c-5eea65c2-74736162.cust.telenor.se) (Quit: Client closed) |
| 2023-02-13 10:15:31 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350) (Remote host closed the connection) |
| 2023-02-13 10:16:49 +0000 | xff0x | (~xff0x@125.103.176.34) (Ping timeout: 252 seconds) |
| 2023-02-13 10:18:07 +0000 | lackita | (~lackita@73.114.250.252) (Ping timeout: 248 seconds) |
| 2023-02-13 10:18:18 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 10:19:52 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-13 10:20:41 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-13 10:20:44 +0000 | shapr | (~user@net-5-88-238-17.cust.vodafonedsl.it) |
| 2023-02-13 10:22:18 +0000 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-02-13 10:24:14 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-13 10:25:28 +0000 | xerox | (~edi@user/edi) (Ping timeout: 252 seconds) |
| 2023-02-13 10:27:14 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-13 10:31:14 +0000 | xerox | (~edi@user/edi) |
| 2023-02-13 10:32:05 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-02-13 10:33:56 +0000 | rlj | (~rlj@c-5eea65c2-74736162.cust.telenor.se) |
| 2023-02-13 10:35:15 +0000 | lackita | (~lackita@73.114.250.252) (Ping timeout: 260 seconds) |
| 2023-02-13 10:35:48 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 10:38:14 +0000 | lackita | (~lackita@73.114.250.252) (Read error: Connection reset by peer) |
| 2023-02-13 10:38:25 +0000 | lackita | (~lackita@2600:1000:b04a:d8ea:543f:fb7f:d1cf:2dc5) |
| 2023-02-13 10:38:43 +0000 | lackita | (~lackita@2600:1000:b04a:d8ea:543f:fb7f:d1cf:2dc5) (Read error: Connection reset by peer) |
| 2023-02-13 10:38:55 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 10:42:26 +0000 | lackita | (~lackita@73.114.250.252) (Read error: Connection reset by peer) |
| 2023-02-13 10:42:58 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 10:47:37 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 10:47:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-13 10:49:16 +0000 | <Inst> | i finally learned how to love monads once I understood the fuss about monads as a fuss about monadic eDSLs |
| 2023-02-13 10:49:20 +0000 | <Inst> | how dumb is this: |
| 2023-02-13 10:49:48 +0000 | <Inst> | "The relationship between imperative programming and monadic do is as the relationship between euclidean geometry and non-euclidean geometry" |
| 2023-02-13 10:51:45 +0000 | <kuribas> | More like the relationship between euclidean geometry, and any geometry (including euclidean and non-euclidean) |
| 2023-02-13 10:51:50 +0000 | gpncarl | (~gpncarl@210.12.195.6) (Read error: Connection reset by peer) |
| 2023-02-13 10:52:00 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-13 10:52:13 +0000 | gpncarl | (~gpncarl@222.249.231.3) |
| 2023-02-13 10:53:47 +0000 | <Inst> | thanks for correction |
| 2023-02-13 10:54:08 +0000 | <kuribas> | although monads are for from geometry. |
| 2023-02-13 10:54:16 +0000 | <kuribas> | it's a generalization of a concept. |
| 2023-02-13 10:54:24 +0000 | <kuribas> | s/for/far |
| 2023-02-13 10:56:15 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
| 2023-02-13 10:56:25 +0000 | <kuribas> | you first separate bind (<<=) :: (a -> m b) -> m a -> m b from pure apply ($) :: (a -> b) -> a -> b. |
| 2023-02-13 10:56:41 +0000 | <kuribas> | Then by generalizing bind you get a monad. |
| 2023-02-13 10:56:57 +0000 | <kuribas> | That is generalizing `IO` to a type variable m. |
| 2023-02-13 10:58:39 +0000 | <kuribas> | or kleisly arrow vs composition (.) :: (b -> c) -> (a -> b) -> (a -> c), vs (>=>) :: (b -> m c) -> (a -> m b) -> (a -> m c) |
| 2023-02-13 11:00:02 +0000 | <kuribas> | You can see that a Monad generalizes function application, or function composition. |
| 2023-02-13 11:00:21 +0000 | <kuribas> | If you use the Identity monad, you get back pure function composition |
| 2023-02-13 11:00:32 +0000 | <kuribas> | :t (>=>) @ Identity |
| 2023-02-13 11:00:33 +0000 | <lambdabot> | error: |
| 2023-02-13 11:00:33 +0000 | <lambdabot> | Pattern syntax in expression context: (>=>)@Identity |
| 2023-02-13 11:00:33 +0000 | <lambdabot> | Did you mean to enable TypeApplications? |
| 2023-02-13 11:01:27 +0000 | <kuribas> | Monad doesn't just generalize imperative programming, it generalizes composition. |
| 2023-02-13 11:01:43 +0000 | <mauke> | :t (>=>) |
| 2023-02-13 11:01:44 +0000 | <lambdabot> | Monad m => (a -> m b) -> (b -> m c) -> a -> m c |
| 2023-02-13 11:01:58 +0000 | <kuribas> | right :) |
| 2023-02-13 11:02:03 +0000 | <kuribas> | :t (.) |
| 2023-02-13 11:02:05 +0000 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 2023-02-13 11:02:16 +0000 | <kuribas> | :t (<=<) |
| 2023-02-13 11:02:17 +0000 | <lambdabot> | Monad m => (b -> m c) -> (a -> m b) -> a -> m c |
| 2023-02-13 11:02:46 +0000 | <mauke> | oh yeah, and with Identity, all the m's just disappear |
| 2023-02-13 11:06:11 +0000 | <Inst> | interesting |
| 2023-02-13 11:07:51 +0000 | unlucy | (sid572875@2a03:5180:f::8:bdcb) () |
| 2023-02-13 11:08:26 +0000 | patrl | (~patrl@user/patrl) |
| 2023-02-13 11:11:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9474:b05a:3851:1ef1) |
| 2023-02-13 11:12:10 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-13 11:12:26 +0000 | rlj | (~rlj@c-5eea65c2-74736162.cust.telenor.se) (Quit: Client closed) |
| 2023-02-13 11:13:27 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-13 11:16:00 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350) |
| 2023-02-13 11:17:29 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2023-02-13 11:20:00 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-02-13 11:20:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cd1a:e6be:bfd3:350) (Ping timeout: 260 seconds) |
| 2023-02-13 11:25:35 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 11:25:59 +0000 | <Inst> | i can see how monads generalize function application and composition now |
| 2023-02-13 11:26:09 +0000 | <Inst> | and why Control.Category has kleisi arrows |
| 2023-02-13 11:26:14 +0000 | biberu\ | (~biberu@user/biberu) |
| 2023-02-13 11:26:31 +0000 | <Inst> | well, Control.Arrow |
| 2023-02-13 11:26:38 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.79) |
| 2023-02-13 11:27:16 +0000 | neightchan | (~nate@98.45.169.16) |
| 2023-02-13 11:27:54 +0000 | MironZ5 | (~MironZ@nat-infra.ehlab.uk) |
| 2023-02-13 11:28:26 +0000 | npmania1 | (~Thunderbi@45.8.223.203) |
| 2023-02-13 11:28:44 +0000 | mniip_ | (mniip@libera/staff/mniip) |
| 2023-02-13 11:28:52 +0000 | haskl[error] | (~haskl@user/haskl) |
| 2023-02-13 11:28:53 +0000 | haritzondo | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2023-02-13 11:28:59 +0000 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) |
| 2023-02-13 11:29:00 +0000 | davl_ | (~davl@207.154.228.18) |
| 2023-02-13 11:29:02 +0000 | tstat_ | (~tstat@user/tstat) |
| 2023-02-13 11:29:09 +0000 | Philonous_ | (~Philonous@user/philonous) |
| 2023-02-13 11:29:20 +0000 | goober_ | (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 2023-02-13 11:29:34 +0000 | Ekho- | (~Ekho@user/ekho) |
| 2023-02-13 11:30:23 +0000 | turlando_ | (~turlando@user/turlando) |
| 2023-02-13 11:30:24 +0000 | freeside_ | (~mengwong@103.252.202.170) |
| 2023-02-13 11:30:33 +0000 | guygastineau | (~guygastin@137.184.131.156) |
| 2023-02-13 11:30:36 +0000 | dminuoso_ | (~dminuoso@user/dminuoso) |
| 2023-02-13 11:30:54 +0000 | telser_ | (~quassel@user/telser) |
| 2023-02-13 11:31:02 +0000 | thaumavorio_ | (~thaumavor@thaumavor.io) |
| 2023-02-13 11:31:11 +0000 | hammond__ | (proscan@gateway02.insomnia247.nl) |
| 2023-02-13 11:31:18 +0000 | laman2 | (~laman@rego.ai) |
| 2023-02-13 11:31:24 +0000 | dfordvm | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) |
| 2023-02-13 11:31:24 +0000 | cjay- | (cjay@nerdbox.nerd2nerd.org) |
| 2023-02-13 11:31:25 +0000 | tomku|two | (~tomku@user/tomku) |
| 2023-02-13 11:31:40 +0000 | Cheery_ | (~cheery@server-239-7.tentacle.cloud) |
| 2023-02-13 11:31:40 +0000 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 2023-02-13 11:31:42 +0000 | aku | (~aku@163.172.137.34) |
| 2023-02-13 11:31:50 +0000 | <trev> | how can i turn `f n e = divMod n $ 10^e` into a composed function, like `f = flip divMod . (^) 10` ? can't seem to get it right |
| 2023-02-13 11:31:51 +0000 | Logio_ | (em@kapsi.fi) |
| 2023-02-13 11:31:53 +0000 | AWizzArd_ | (~code@gehrels.uberspace.de) |
| 2023-02-13 11:31:54 +0000 | myme1 | (~myme@40.51-175-185.customer.lyse.net) |
| 2023-02-13 11:32:10 +0000 | gh0stbuster | (~admin@user/ghostbuster) |
| 2023-02-13 11:32:29 +0000 | aforemny_ | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2023-02-13 11:32:30 +0000 | ell6 | (~ellie@user/ellie) |
| 2023-02-13 11:32:31 +0000 | noctux1 | (Zx24REiiwW@user/noctux) |
| 2023-02-13 11:32:36 +0000 | heath1 | (~heath@user/heath) |
| 2023-02-13 11:32:40 +0000 | vgtw_ | (~vgtw@user/vgtw) |
| 2023-02-13 11:32:52 +0000 | energizer_ | (~energizer@user/energizer) |
| 2023-02-13 11:32:55 +0000 | noteness_ | (~noteness@user/noteness) |
| 2023-02-13 11:33:07 +0000 | <__monty__> | trev: You'd need the blackbird operator. |
| 2023-02-13 11:33:20 +0000 | mcglk_ | (~mcglk@131.191.49.120) |
| 2023-02-13 11:33:27 +0000 | <mauke> | @pl f n e = divMod n $ 10^e |
| 2023-02-13 11:33:27 +0000 | <lambdabot> | f = (. (10 ^)) . divMod |
| 2023-02-13 11:33:54 +0000 | <trev> | whaaat the... |
| 2023-02-13 11:33:54 +0000 | <__monty__> | @hoogle Data.Birds |
| 2023-02-13 11:33:54 +0000 | <lambdabot> | No results found |
| 2023-02-13 11:34:01 +0000 | <trev> | mauke how does @pl work? |
| 2023-02-13 11:34:04 +0000 | <mauke> | @pl f e n = divMod n $ 10^e |
| 2023-02-13 11:34:04 +0000 | <lambdabot> | f = flip divMod . (10 ^) |
| 2023-02-13 11:34:24 +0000 | user2 | (~user@162.255.84.96) |
| 2023-02-13 11:34:31 +0000 | <mauke> | ~magic~ |
| 2023-02-13 11:34:31 +0000 | <__monty__> | @hoogle Data.Aviary.Birds |
| 2023-02-13 11:34:31 +0000 | <lambdabot> | No results found |
| 2023-02-13 11:34:39 +0000 | <trev> | ;_; |
| 2023-02-13 11:34:40 +0000 | <__monty__> | Fine, https://hackage.haskell.org/package/data-aviary |
| 2023-02-13 11:34:50 +0000 | joeyh_ | (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) |
| 2023-02-13 11:34:52 +0000 | <mauke> | I don't actually know how it works |
| 2023-02-13 11:35:06 +0000 | <trev> | HaskellGPT?? |
| 2023-02-13 11:35:07 +0000 | <mauke> | I assume it systematically eliminates lambdas by rewriting them to certain predefined combinators |
| 2023-02-13 11:35:12 +0000 | <trev> | yeah prob |
| 2023-02-13 11:35:20 +0000 | <trev> | thank you for that trick |
| 2023-02-13 11:35:25 +0000 | <trev> | no birds for me |
| 2023-02-13 11:35:36 +0000 | <mauke> | I mean, there are entire compilers built on that trick |
| 2023-02-13 11:35:43 +0000 | <__monty__> | trev: You should also know that once you need flip or any of the birds you've crossed the threshold of when to give up on the point-free style. Hence the name of the @pl command -> Point*Less*. |
| 2023-02-13 11:36:01 +0000 | <trev> | __monty__ i'm code golfing |
| 2023-02-13 11:36:04 +0000 | sm[i]_ | (~user@li229-222.members.linode.com) |
| 2023-02-13 11:36:13 +0000 | acidjnk | (~acidjnk@p200300d6e715c4786dabe743f9921989.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-02-13 11:36:17 +0000 | <__monty__> | Then you'll want to use the blackbird. |
| 2023-02-13 11:36:20 +0000 | <trev> | ah pointless, yes. thanks |
| 2023-02-13 11:36:28 +0000 | freeside | (~mengwong@103.252.202.170) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | biberu | (~biberu@user/biberu) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | npmania | (~Thunderbi@45.8.223.203) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | AlexNoo | (~AlexNoo@178.34.160.79) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | sm[i] | (~user@plaintextaccounting/sm) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | AWizzArd | (~code@user/awizzard) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | telser | (~quassel@user/telser) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | MironZ | (~MironZ@nat-infra.ehlab.uk) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | mcglk | (~mcglk@131.191.49.120) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | turlando | (~turlando@user/turlando) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | inversed | (~inversed@bcdcac82.skybroadband.com) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | haritz | (~hrtz@user/haritz) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | aku_ | (~aku@163.172.137.34) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | kaol_ | (~kaol@94-237-42-30.nl-ams1.upcloud.host) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | witcher | (~witcher@wiredspace.de) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | vgtw | (~vgtw@user/vgtw) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | haskl | (~haskl@user/haskl) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | esph | (~weechat@user/esph) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | heath | (~heath@user/heath) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | energizer | (~energizer@user/energizer) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | tstat | (~tstat@user/tstat) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | ell | (~ellie@user/ellie) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | rendar | (~Paxman@user/rendar) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | q0r | (~user@162.255.84.96) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | RMSBach | (~guygastin@137.184.131.156) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2023-02-13 11:36:28 +0000 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2023-02-13 11:36:29 +0000 | voidzero | (~voidzero@user/voidzero) (*.net *.split) |
| 2023-02-13 11:36:35 +0000 | biberu\ | biberu |
| 2023-02-13 11:36:35 +0000 | MironZ5 | MironZ |
| 2023-02-13 11:36:38 +0000 | npmania1 | npmania |
| 2023-02-13 11:36:39 +0000 | ell6 | ell |
| 2023-02-13 11:36:39 +0000 | <__monty__> | A single operator is still shorter than a flip and an operator. |
| 2023-02-13 11:36:42 +0000 | <trev> | i am restricting myself to Base only |
| 2023-02-13 11:37:03 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2023-02-13 11:37:18 +0000 | <trev> | it's for https://github.com/haskell-game/tiny-games-hs, if anyone else wants to play and doesn't know about it |
| 2023-02-13 11:37:23 +0000 | SoF | (~skius@user/skius) |
| 2023-02-13 11:37:23 +0000 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2023-02-13 11:37:28 +0000 | <mauke> | __monty__: no, that costs a cabal install and a whole import line |
| 2023-02-13 11:38:10 +0000 | Zemyla | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) |
| 2023-02-13 11:39:00 +0000 | meejah | (~meejah@rutas.meejah.ca) |
| 2023-02-13 11:39:05 +0000 | acidjnk | (~acidjnk@p200300d6e715c4786dabe743f9921989.dip0.t-ipconnect.de) |
| 2023-02-13 11:40:25 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-02-13 11:40:28 +0000 | alp | (~alp@user/alp) |
| 2023-02-13 11:41:23 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-13 11:41:50 +0000 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) |
| 2023-02-13 11:41:59 +0000 | voidzero | (~voidzero@user/voidzero) |
| 2023-02-13 11:42:00 +0000 | asm | (~alexander@burner.asm89.io) |
| 2023-02-13 11:42:24 +0000 | rodental | (~rodental@38.146.5.222) |
| 2023-02-13 11:42:24 +0000 | Hafydd | (~Hafydd@user/hafydd) |
| 2023-02-13 11:43:11 +0000 | esph | (~weechat@user/esph) |
| 2023-02-13 11:43:21 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-02-13 11:43:27 +0000 | witcher | (~witcher@wiredspace.de) |
| 2023-02-13 11:43:59 +0000 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-02-13 11:44:07 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2023-02-13 11:44:17 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2023-02-13 11:44:48 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 2023-02-13 11:45:19 +0000 | malte | (~malte@152.89.107.66) (Remote host closed the connection) |
| 2023-02-13 11:46:25 +0000 | malte | (~malte@mal.tc) |
| 2023-02-13 11:46:38 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-02-13 11:50:58 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-02-13 11:53:21 +0000 | Inst_ | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) |
| 2023-02-13 11:54:39 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-02-13 11:56:35 +0000 | Inst | (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) (Ping timeout: 260 seconds) |
| 2023-02-13 11:59:16 +0000 | Guest67 | (~Guest67@159.153.150.4) (Quit: Client closed) |
| 2023-02-13 12:01:17 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-02-13 12:02:08 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-02-13 12:02:58 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) |
| 2023-02-13 12:05:51 +0000 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-02-13 12:09:56 +0000 | shailangsa_ | (~shailangs@host165-120-169-78.range165-120.btcentralplus.com) |
| 2023-02-13 12:14:19 +0000 | MajorBiscuit | (~MajorBisc@145.94.131.152) |
| 2023-02-13 12:14:41 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-02-13 12:28:43 +0000 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-02-13 12:37:04 +0000 | chele_ | (~chele@user/chele) |
| 2023-02-13 12:39:27 +0000 | chele | (~chele@user/chele) (Ping timeout: 252 seconds) |
| 2023-02-13 12:40:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-13 12:43:01 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-02-13 12:44:01 +0000 | malte | (~malte@152.89.107.66) |
| 2023-02-13 12:46:06 +0000 | chele_ | (~chele@user/chele) (Read error: Connection reset by peer) |
| 2023-02-13 12:47:27 +0000 | chele_ | (~chele@user/chele) |
| 2023-02-13 12:48:25 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-02-13 12:48:25 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-02-13 12:48:25 +0000 | finn_elija | FinnElija |
| 2023-02-13 12:50:36 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2023-02-13 12:52:25 +0000 | aforemny_ | aforemny |
| 2023-02-13 12:54:30 +0000 | mmhat | (~mmh@p200300f1c7067e4aee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-02-13 12:55:42 +0000 | mmhat | (~mmh@p200300f1c7067e4aee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-02-13 13:03:04 +0000 | chele__ | (~chele@user/chele) |
| 2023-02-13 13:04:02 +0000 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 2023-02-13 13:05:04 +0000 | freeside_ | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-02-13 13:05:47 +0000 | chele_ | (~chele@user/chele) (Ping timeout: 248 seconds) |
| 2023-02-13 13:06:10 +0000 | lyle | (~lyle@104.246.145.237) |
| 2023-02-13 13:06:16 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 13:06:58 +0000 | chele_ | (~chele@user/chele) |
| 2023-02-13 13:09:43 +0000 | chele__ | (~chele@user/chele) (Ping timeout: 260 seconds) |
| 2023-02-13 13:10:51 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 256 seconds) |
| 2023-02-13 13:12:32 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 13:12:51 +0000 | igghibu | (~igghibu@91.193.5.10) |
| 2023-02-13 13:14:39 +0000 | kaction | (~kaction@173.66.188.18) (Ping timeout: 252 seconds) |
| 2023-02-13 13:17:05 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2023-02-13 13:18:35 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-02-13 13:18:54 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) |
| 2023-02-13 13:21:02 +0000 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-02-13 13:21:50 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-13 13:22:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-02-13 13:23:02 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-02-13 13:23:26 +0000 | califax | (~califax@user/califx) |
| 2023-02-13 13:23:40 +0000 | igghibu | (~igghibu@91.193.5.10) (Quit: igghibu) |
| 2023-02-13 13:26:44 +0000 | yoneda | (~mike@193.206.102.122) |
| 2023-02-13 13:27:55 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-02-13 13:28:04 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-178-040.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-02-13 13:29:22 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-13 13:32:46 +0000 | <trev> | how do you make stack stop trying to download the latest version? |
| 2023-02-13 13:32:54 +0000 | <trev> | before installing packages |
| 2023-02-13 13:33:36 +0000 | <freeside> | the latest version of what? |
| 2023-02-13 13:33:41 +0000 | <trev> | ghc |
| 2023-02-13 13:34:00 +0000 | <dminuoso_> | it doesnt download the latest version. |
| 2023-02-13 13:34:41 +0000 | <dminuoso_> | or well, it will fetch the latest corresponding to your resolver. |
| 2023-02-13 13:34:54 +0000 | <freeside> | if you want it to use a different version that you already have installed, edit your stack.yaml |
| 2023-02-13 13:34:54 +0000 | <trev> | hmm that must be it |
| 2023-02-13 13:35:13 +0000 | <trev> | i didn't know i had a stack.yaml (just want to install a package globally) |
| 2023-02-13 13:35:19 +0000 | <trev> | outside of a project |
| 2023-02-13 13:37:15 +0000 | <freeside> | https://stackoverflow.com/questions/49504206/recommended-approach-to-use-stack-as-global-package-m… |
| 2023-02-13 13:37:23 +0000 | <freeside> | you might still have a ~/.stack/global-project/stack.yaml |
| 2023-02-13 13:37:35 +0000 | <freeside> | maybe edit the resolver line in that |
| 2023-02-13 13:40:10 +0000 | <trev> | dang |
| 2023-02-13 13:40:15 +0000 | <trev> | maybe i'll just use cabal |
| 2023-02-13 13:40:20 +0000 | <trev> | :D |
| 2023-02-13 13:41:11 +0000 | <freeside> | whatever works! |
| 2023-02-13 13:42:31 +0000 | <trev> | actually the wiki says it's a bad idea to install a package globally.. |
| 2023-02-13 13:42:34 +0000 | <freeside> | i was doing an npm install the other day and got an error, somehow one of the source files had gotten truncated during the download/unpack and npm just went ahead to try building anyway |
| 2023-02-13 13:45:40 +0000 | <freeside> | if installing a package globally means some executable ends up in ~/.local/bin/, i don't see the problem with that |
| 2023-02-13 13:46:17 +0000 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 246 seconds) |
| 2023-02-13 13:47:47 +0000 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) |
| 2023-02-13 13:51:06 +0000 | razetime | (~Thunderbi@117.193.7.116) (Remote host closed the connection) |
| 2023-02-13 13:54:28 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-02-13 13:56:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-13 13:58:19 +0000 | kaction | (~kaction@70.21.17.108) |
| 2023-02-13 13:59:38 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-13 14:01:07 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-02-13 14:02:55 +0000 | raym | (~ray@user/raym) (Quit: kernel update, rebooting...) |
| 2023-02-13 14:03:32 +0000 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-02-13 14:03:45 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-02-13 14:03:46 +0000 | lackita | (~lackita@73.114.250.252) (Ping timeout: 252 seconds) |
| 2023-02-13 14:03:54 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 14:06:19 +0000 | <trev> | meh tried installed @pl but can't get it to build |
| 2023-02-13 14:08:31 +0000 | noctux | (~noctux@user/noctux) (Remote host closed the connection) |
| 2023-02-13 14:10:48 +0000 | <freeside> | i am now running cabal install lambdabot |
| 2023-02-13 14:11:26 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-02-13 14:11:30 +0000 | noctux | (~noctux@user/noctux) |
| 2023-02-13 14:11:47 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-02-13 14:12:00 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2023-02-13 14:13:29 +0000 | asm | (~alexander@burner.asm89.io) (Changing host) |
| 2023-02-13 14:13:29 +0000 | asm | (~alexander@user/asm) |
| 2023-02-13 14:13:47 +0000 | <geekosaur> | there are several sticking points as of last time I tried; lots of bitrotted addons 😞 |
| 2023-02-13 14:14:02 +0000 | kaction | (~kaction@70.21.17.108) (Quit: leaving) |
| 2023-02-13 14:14:29 +0000 | <freeside> | i tried running cabal install pointfree and i got a MonadFail error |
| 2023-02-13 14:14:34 +0000 | <freeside> | that would be the bitrot |
| 2023-02-13 14:14:35 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-02-13 14:15:03 +0000 | <geekosaur> | that should be easy enough to fix |
| 2023-02-13 14:15:25 +0000 | <freeside> | wow, my .cabal directory is larger than the entire internet was in 1990 |
| 2023-02-13 14:15:56 +0000 | <geekosaur> | import Control.Monad.Fail and add a MonadFail instance (docs should be in Control.Monad.Fail) |
| 2023-02-13 14:16:01 +0000 | <geekosaur> | 🙂 |
| 2023-02-13 14:16:37 +0000 | <geekosaur> | I think I have more memory on my phone than the whole internet back then 🙂 |
| 2023-02-13 14:17:07 +0000 | <geekosaur> | it's been a wild ride |
| 2023-02-13 14:18:50 +0000 | <freeside> | lambdabot runs for me, and @pl works, despite pointfree not installing |
| 2023-02-13 14:19:18 +0000 | <freeside> | good bot |
| 2023-02-13 14:19:24 +0000 | alternateved | (~user@staticline-31-183-180-86.toya.net.pl) |
| 2023-02-13 14:19:33 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-02-13 14:19:50 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-02-13 14:20:13 +0000 | thegeekinside | (~thegeekin@189.180.83.186) |
| 2023-02-13 14:21:37 +0000 | <freeside> | now i am running 'hoogle generate' |
| 2023-02-13 14:22:21 +0000 | <freeside> | i wonder if the haskell foundation interfaces with google summer of code to fix these kinds of bitrot |
| 2023-02-13 14:22:36 +0000 | <freeside> | or, maybe, we just need one program transformation expert |
| 2023-02-13 14:23:07 +0000 | <trev> | cabal install pointfree doesn't even attempt to install the latest version it seems |
| 2023-02-13 14:23:15 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-13 14:23:16 +0000 | <trev> | but i am getting that same error |
| 2023-02-13 14:23:52 +0000 | <geekosaur> | you will; it's dependent on the ghc version, not the pointfree version |
| 2023-02-13 14:24:32 +0000 | <geekosaur> | unless the latest pointfree was modified for `fail` being removed from `Monad` a few years ago |
| 2023-02-13 14:25:10 +0000 | <freeside> | https://hackage.haskell.org/package/pointfree-1.1.1.9/reports/1 |
| 2023-02-13 14:25:37 +0000 | <int-e> | `cabal install --allow-newer=base pointfree` produces an install plan with pointfree-1.1.1.9 at least |
| 2023-02-13 14:25:49 +0000 | <int-e> | with ghc-9.4 that is |
| 2023-02-13 14:26:54 +0000 | <int-e> | and it compiles too |
| 2023-02-13 14:27:12 +0000 | <trev> | nice |
| 2023-02-13 14:27:15 +0000 | <int-e> | `base` is just too big for the PVP to be useful for it |
| 2023-02-13 14:27:47 +0000 | <int-e> | (this is in addition to the fact that it's tied to the compiler) |
| 2023-02-13 14:28:04 +0000 | <geekosaur> | which is why there is work afoot to break it up some more including reducing that compiler footprint |
| 2023-02-13 14:28:23 +0000 | <int-e> | pointfree has an upper bound base < 4.16; 9.4 ships with 4.17 |
| 2023-02-13 14:28:37 +0000 | <freeside> | ah, without --allow-newer, cabal chooses pointfree 1.0.3. thanks. |
| 2023-02-13 14:28:40 +0000 | <int-e> | geekosaur: yeah and it may even manifest before the end of the century |
| 2023-02-13 14:28:55 +0000 | <geekosaur> | yeh 😕 |
| 2023-02-13 14:29:48 +0000 | freeside | goes back to reading 'Modules Matter Most' |
| 2023-02-13 14:29:56 +0000 | <int-e> | the *idea* is attractive, but anybody who actually does more than break out a few modules that are rarely used will be remembered as the person who broke everything (again) |
| 2023-02-13 14:30:30 +0000 | <freeside> | you either die a hero or live long enough to become a maintainer |
| 2023-02-13 14:30:50 +0000 | <int-e> | There's way more Brownie points to earn elsewhere. |
| 2023-02-13 14:31:17 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-02-13 14:32:13 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-02-13 14:40:33 +0000 | <freeside> | neat! i have finally installed pointfree, lambdabot, and hoogle. i have been meaning to do that for years. |
| 2023-02-13 14:40:50 +0000 | <geekosaur> | actually I'd suspect even if it existed now, it wouldn't help: `fail` would be known-key because it's used in pattern matches inside `do` |
| 2023-02-13 14:42:30 +0000 | <geekosaur> | hm, unless they just generate normal code I guess, but then they could do the same for guards and `True`/`False` |
| 2023-02-13 14:43:51 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-02-13 14:44:09 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-02-13 14:45:07 +0000 | son0p | (~ff@190.248.133.154) |
| 2023-02-13 14:51:31 +0000 | burnsidesLlama | (~burnsides@119.247.164.140) |
| 2023-02-13 14:51:32 +0000 | raym | (~ray@user/raym) |
| 2023-02-13 14:53:19 +0000 | ddellacosta | (~ddellacos@146.70.166.139) (Ping timeout: 248 seconds) |
| 2023-02-13 14:53:55 +0000 | foul_owl | (~kerry@157.97.134.60) (Read error: Connection reset by peer) |
| 2023-02-13 14:57:20 +0000 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-02-13 14:58:24 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-02-13 15:02:14 +0000 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-02-13 15:06:07 +0000 | chele_ | (~chele@user/chele) (Remote host closed the connection) |
| 2023-02-13 15:07:21 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-02-13 15:09:02 +0000 | chele | (~chele@user/chele) |
| 2023-02-13 15:13:01 +0000 | foul_owl | (~kerry@157.97.134.63) |
| 2023-02-13 15:14:33 +0000 | ddellacosta | (~ddellacos@146.70.165.10) (Quit: WeeChat 3.7.1) |
| 2023-02-13 15:15:28 +0000 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-02-13 15:16:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-13 15:17:22 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-02-13 15:17:34 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-02-13 15:22:19 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-02-13 15:26:48 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-02-13 15:36:50 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 3.8) |
| 2023-02-13 15:36:55 +0000 | razetime | (~Thunderbi@117.193.7.116) |
| 2023-02-13 15:40:08 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-02-13 15:42:24 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-02-13 15:42:49 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-13 15:44:53 +0000 | nattiestnate | (~nate@202.138.250.17) |
| 2023-02-13 15:50:03 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-02-13 15:51:30 +0000 | mvk | (~mvk@2607:fea8:5caa:ac00::fa57) |
| 2023-02-13 15:53:15 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-02-13 16:00:04 +0000 | aaronv | (~aaronv@user/aaronv) (Quit: You have been kicked for being idle) |
| 2023-02-13 16:04:49 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-02-13 16:05:42 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-02-13 16:07:38 +0000 | patrl | (~patrl@user/patrl) (Ping timeout: 246 seconds) |
| 2023-02-13 16:08:35 +0000 | thongpv87 | (~thongpv87@2402:9d80:3fd:3cf0:3e46:edf8:8925:b955) (Ping timeout: 260 seconds) |
| 2023-02-13 16:15:27 +0000 | Hammdist | (~Hammdist@67.169.114.135) (Quit: Client closed) |
| 2023-02-13 16:18:45 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2023-02-13 16:20:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-13 16:20:24 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) |
| 2023-02-13 16:24:43 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) (Ping timeout: 248 seconds) |
| 2023-02-13 16:27:00 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-02-13 16:30:28 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c665:fff:9207:b36e) (Quit: WeeChat 2.8) |
| 2023-02-13 16:33:05 +0000 | mechap | (~mechap@user/mechap) |
| 2023-02-13 16:35:00 +0000 | sidy | (~sidy@user/sidy) |
| 2023-02-13 16:36:21 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-02-13 16:37:17 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-02-13 16:38:11 +0000 | razetime | (~Thunderbi@117.193.7.116) (Quit: See You Space Cowboy) |
| 2023-02-13 16:41:17 +0000 | alternateved | (~user@staticline-31-183-180-86.toya.net.pl) (Remote host closed the connection) |
| 2023-02-13 16:43:10 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) |
| 2023-02-13 16:43:56 +0000 | mbuf | (~Shakthi@49.204.138.212) (Quit: Leaving) |
| 2023-02-13 16:44:39 +0000 | <anatta> | Why does the following fail with "*** Exception: Prelude.read: no parse" |
| 2023-02-13 16:44:43 +0000 | <anatta> | getCurrentTime >>= print . read . show |
| 2023-02-13 16:44:54 +0000 | <anatta> | where getCurrentTime :: IO UTCTime |
| 2023-02-13 16:45:50 +0000 | <sm> | anatta: UTFTime does not have a Read-able Show instance, unfortunately |
| 2023-02-13 16:46:09 +0000 | <sm> | UTCTime, even |
| 2023-02-13 16:46:32 +0000 | <geekosaur> | yeh, it's a broken Show instance |
| 2023-02-13 16:47:06 +0000 | <sm> | use eg https://hackage.haskell.org/package/time-1.12.2/docs/Data-Time-Format.html#v:parseTimeOrError |
| 2023-02-13 16:47:22 +0000 | <anatta> | hmhm, I see |
| 2023-02-13 16:47:32 +0000 | <anatta> | (that should be illegal :@ ) |
| 2023-02-13 16:48:10 +0000 | <sm> | you should launch an investigation |
| 2023-02-13 16:48:11 +0000 | <sm> | name names |
| 2023-02-13 16:49:04 +0000 | <anatta> | I might have to rewrite some code then - the code I'm using is serializing data to text and then back again in different places |
| 2023-02-13 16:49:56 +0000 | <anatta> | so it doesn't really help that a different parsing function exists, but thanks - I'll remember it for next time I run into time parsing at least |
| 2023-02-13 16:50:29 +0000 | <anatta> | but in this case I might not get a time - I just get some "a" in text form |
| 2023-02-13 16:50:31 +0000 | <sm> | well, you can use it in your custom reader (and formatTIme in your writer) |
| 2023-02-13 16:50:50 +0000 | <anatta> | hm |
| 2023-02-13 16:51:18 +0000 | <anatta> | yeah, something like that could probably work |
| 2023-02-13 16:51:28 +0000 | <anatta> | thanks for the help |
| 2023-02-13 16:51:33 +0000 | <sm> | or.. convert UTCTIme to a custom well behaved type for writing/reading ? |
| 2023-02-13 16:52:26 +0000 | <sm> | it's an unfortunate roadbump |
| 2023-02-13 16:54:14 +0000 | <Cale> | (or maybe use aeson or something) |
| 2023-02-13 16:54:59 +0000 | <anatta> | aeson might work, if I don't break the code by rewriting it |
| 2023-02-13 16:55:08 +0000 | <anatta> | it's for web purposes originally anyway |
| 2023-02-13 16:55:12 +0000 | <anatta> | so aeson would make sense |
| 2023-02-13 16:55:16 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-02-13 16:55:50 +0000 | <anatta> | you have code on one end that's storing arbitrary data in text form in a container and sends it to a different place where it's later unpacked |
| 2023-02-13 16:56:17 +0000 | <anatta> | so any solution wouldn't be able to specifically do things with e.g. UTCTime |
| 2023-02-13 16:56:27 +0000 | <anatta> | at the moment it's just a (Show a, Read a) constraint |
| 2023-02-13 16:58:33 +0000 | <geekosaur> | unfortunately, you pretty much have to use something like json/yaml/bson/etc. any more. Show and Read are unreliable |
| 2023-02-13 16:58:45 +0000 | <geekosaur> | and have horrid error handling on top |
| 2023-02-13 16:59:29 +0000 | <anatta> | it doesn't surprise me tbh - and it does make a lot of sense to separate presentation from serialization anyway |
| 2023-02-13 16:59:36 +0000 | <geekosaur> | "no parse" gee. thanks |
| 2023-02-13 17:00:26 +0000 | <anatta> | just a bit frustrating when I got code that was specifically made to use show/read :p |
| 2023-02-13 17:00:47 +0000 | <anatta> | but I guess I'll have to roll up my sleeves and fix it |
| 2023-02-13 17:01:53 +0000 | <mauke> | isn't the issue that print . read . show uses an ambiguous type? |
| 2023-02-13 17:02:18 +0000 | <sm> | and yet... I have some code that appears to read UTCTIme.. |
| 2023-02-13 17:02:56 +0000 | <c_wraith> | mauke is correct |
| 2023-02-13 17:03:03 +0000 | <c_wraith> | compile with -Wall |
| 2023-02-13 17:03:10 +0000 | <merijn> | This is why you enable -Wall and fix type defaulting :p |
| 2023-02-13 17:03:17 +0000 | <merijn> | It's trying to parse () :p |
| 2023-02-13 17:03:27 +0000 | <sm> | I was all wrong, sorry. I think mauke is right |
| 2023-02-13 17:03:40 +0000 | <merijn> | > (read . show) True |
| 2023-02-13 17:03:42 +0000 | <lambdabot> | *Exception: Prelude.read: no parse |
| 2023-02-13 17:03:45 +0000 | <merijn> | > (read . show) () |
| 2023-02-13 17:03:46 +0000 | <lambdabot> | () |
| 2023-02-13 17:03:52 +0000 | <merijn> | > (read . show) True :: Bool |
| 2023-02-13 17:03:54 +0000 | <lambdabot> | True |
| 2023-02-13 17:04:04 +0000 | <anatta> | hm |
| 2023-02-13 17:05:01 +0000 | <anatta> | what if the code is polymorphic? |
| 2023-02-13 17:06:27 +0000 | <anatta> | can you still force it to read that, polymorphic type? |
| 2023-02-13 17:06:29 +0000 | <anatta> | somehow |
| 2023-02-13 17:07:03 +0000 | <c_wraith> | no, because the polymorphism doesn't exist at run time. it needs to know what code to run to parse with |
| 2023-02-13 17:09:09 +0000 | <anatta> | :( |
| 2023-02-13 17:09:54 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) (Remote host closed the connection) |
| 2023-02-13 17:13:59 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-02-13 17:15:05 +0000 | son0p | (~ff@190.248.133.154) (Ping timeout: 260 seconds) |
| 2023-02-13 17:16:59 +0000 | phma | (phma@2001:5b0:211b:c4b8:e97:ef7f:945d:9d26) (Read error: Connection reset by peer) |
| 2023-02-13 17:17:56 +0000 | phma | (~phma@host-67-44-208-29.hnremote.net) |
| 2023-02-13 17:18:48 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) |
| 2023-02-13 17:20:51 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-02-13 17:22:55 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-02-13 17:24:57 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-02-13 17:29:40 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-02-13 17:30:36 +0000 | werneta | (~werneta@70.142.214.115) |
| 2023-02-13 17:33:39 +0000 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-13 17:35:21 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-02-13 17:36:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) (Remote host closed the connection) |
| 2023-02-13 17:39:55 +0000 | econo | (uid147250@user/econo) |
| 2023-02-13 17:40:08 +0000 | eggplantade | (~Eggplanta@104.55.37.220) |
| 2023-02-13 17:41:11 +0000 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-13 17:41:24 +0000 | nschoe | (~q@141.101.51.197) (Quit: Switching off) |
| 2023-02-13 17:42:23 +0000 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-13 17:42:36 +0000 | kurbus | (~kurbus@user/kurbus) (Client Quit) |
| 2023-02-13 17:42:41 +0000 | kurbus13 | (~kurbus@user/kurbus) |
| 2023-02-13 17:42:54 +0000 | kurbus13 | kurbus |
| 2023-02-13 17:46:27 +0000 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-02-13 17:46:55 +0000 | Xeroine | (~Xeroine@user/xeroine) (Ping timeout: 265 seconds) |
| 2023-02-13 17:47:42 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-02-13 17:48:17 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-02-13 17:49:56 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-02-13 17:50:22 +0000 | <AndreasK> | You can have `Read a => Foo -> a` but at some point the a will have to become concrete for read to fire |
| 2023-02-13 17:51:51 +0000 | burnsidesLlama | (~burnsides@119.247.164.140) (Remote host closed the connection) |
| 2023-02-13 17:53:35 +0000 | Xeroine_ | (~Xeroine@user/xeroine) |
| 2023-02-13 17:55:52 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-02-13 17:56:35 +0000 | CiaoSen | (~Jura@p200300c9570460002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-02-13 17:59:30 +0000 | falafel | (~falafel@2607:fb91:143f:e47f:f0e6:3edd:a80e:ec1) |
| 2023-02-13 18:00:27 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-02-13 18:02:52 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2023-02-13 18:03:30 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-02-13 18:03:45 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-02-13 18:03:57 +0000 | Tuplanolla | (~Tuplanoll@91.159.68.152) |
| 2023-02-13 18:04:32 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2023-02-13 18:04:53 +0000 | MajorBiscuit | (~MajorBisc@145.94.131.152) (Ping timeout: 246 seconds) |
| 2023-02-13 18:12:23 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Max SendQ exceeded) |
| 2023-02-13 18:13:11 +0000 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-13 18:13:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-13 18:14:48 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-02-13 18:16:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-13 18:17:20 +0000 | <anatta> | AndreasK: Apparently I'm just stupid - I had a parsing bug, and thought I had isolated it, so that's what I asked about here |
| 2023-02-13 18:17:22 +0000 | <anatta> | but in reality |
| 2023-02-13 18:17:54 +0000 | <anatta> | my problem was that I was passing data in the wrong order, so it (obviously) gave the same error message (no parse), but it had nothing to do with what I was asking about |
| 2023-02-13 18:18:42 +0000 | <anatta> | solved the problem now by using <> instead of : in a couple of places |
| 2023-02-13 18:18:45 +0000 | <anatta> | so I think it works |
| 2023-02-13 18:20:44 +0000 | <anatta> | might be better to put a reverse somewhere and let it cons |
| 2023-02-13 18:20:47 +0000 | jtza8 | (~user@165.255.145.244) |
| 2023-02-13 18:20:51 +0000 | <anatta> | but that's for future me |
| 2023-02-13 18:27:02 +0000 | kimiamania | (~924ba01c@user/kimiamania) (Quit: PegeLinux) |
| 2023-02-13 18:27:58 +0000 | maroloccio | (~marolocci@90.167.158.133) (Quit: WeeChat 3.7.1) |
| 2023-02-13 18:28:19 +0000 | kimiamania | (~65804703@user/kimiamania) |
| 2023-02-13 18:28:59 +0000 | lackita | (~lackita@73.114.250.252) (Ping timeout: 264 seconds) |
| 2023-02-13 18:29:28 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 18:30:20 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2023-02-13 18:31:59 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2023-02-13 18:33:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-13 18:33:51 +0000 | lackita | (~lackita@73.114.250.252) (Ping timeout: 256 seconds) |
| 2023-02-13 18:33:59 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 18:36:11 +0000 | nattiestnate | (~nate@202.138.250.17) (Quit: WeeChat 3.8) |
| 2023-02-13 18:40:39 +0000 | AlexNoo_ | AlexNoo |
| 2023-02-13 18:41:57 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-02-13 18:51:07 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-02-13 18:51:51 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-02-13 18:52:07 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-02-13 18:55:24 +0000 | Xeroine_ | (~Xeroine@user/xeroine) (Ping timeout: 255 seconds) |
| 2023-02-13 18:59:20 +0000 | Xeroine_ | (~Xeroine@user/xeroine) |
| 2023-02-13 19:00:34 +0000 | jtza8 | (~user@165.255.145.244) (Remote host closed the connection) |
| 2023-02-13 19:01:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-13 19:03:11 +0000 | ddellacosta | (~ddellacos@146.70.165.10) (Ping timeout: 264 seconds) |
| 2023-02-13 19:04:26 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 252 seconds) |
| 2023-02-13 19:04:49 +0000 | ddellacosta | (~ddellacos@146.70.165.139) |
| 2023-02-13 19:09:14 +0000 | beteigeuze | (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 2023-02-13 19:12:57 +0000 | Sinbad | (~Sinbad@user/sinbad) (Quit: WeeChat 3.8) |
| 2023-02-13 19:13:57 +0000 | kurbus | (~kurbus@user/kurbus) |
| 2023-02-13 19:15:26 +0000 | MQ-17J | (~MQ-17J@104.28.248.165) (Ping timeout: 252 seconds) |
| 2023-02-13 19:16:08 +0000 | Guest50 | (~Guest50@121.190.69.115) |
| 2023-02-13 19:16:16 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-13 19:16:50 +0000 | eggplantade | (~Eggplanta@104.55.37.220) (Remote host closed the connection) |
| 2023-02-13 19:17:27 +0000 | Guest50 | (~Guest50@121.190.69.115) (Client Quit) |
| 2023-02-13 19:18:03 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 256 seconds) |
| 2023-02-13 19:21:30 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-02-13 19:21:39 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-02-13 19:22:59 +0000 | Joao003 | (~Joao003@2804:840:8309:8700:3096:7857:f0fb:bcf4) |
| 2023-02-13 19:23:22 +0000 | <Joao003> | hey guys look i made a point free snoc |
| 2023-02-13 19:23:30 +0000 | <Joao003> | flip (flip (.) reverse . (.) reverse . (:)) |
| 2023-02-13 19:23:44 +0000 | <Joao003> | > (flip (flip (.) reverse . (.) reverse . (:))) [1, 2, 3] 4 |
| 2023-02-13 19:23:46 +0000 | <lambdabot> | [1,2,3,4] |
| 2023-02-13 19:24:17 +0000 | <Joao003> | lets see if lambdabot confirms with my implementation |
| 2023-02-13 19:24:29 +0000 | <int-e> | @pl \a b -> a ++ (b : []) |
| 2023-02-13 19:24:29 +0000 | <lambdabot> | (. return) . (++) |
| 2023-02-13 19:24:40 +0000 | <Joao003> | my impl is kinda dumb |
| 2023-02-13 19:25:03 +0000 | <int-e> | @pl \a b -> reverse (b : reverse a) |
| 2023-02-13 19:25:03 +0000 | <lambdabot> | (reverse .) . flip (:) . reverse |
| 2023-02-13 19:25:19 +0000 | <Joao003> | @pl flip (\x -> reverse . (x :) . reverse) |
| 2023-02-13 19:25:19 +0000 | <lambdabot> | flip ((reverse .) . (. reverse) . (:)) |
| 2023-02-13 19:25:25 +0000 | <EvanR> | this plan is great for short lists |
| 2023-02-13 19:25:32 +0000 | <EvanR> | not great for infinite lists |
| 2023-02-13 19:25:48 +0000 | <Joao003> | i just reverse then cons then reverse again |
| 2023-02-13 19:26:31 +0000 | <Joao003> | and i need all of those flips and .s just to make it point-free |
| 2023-02-13 19:26:47 +0000 | <EvanR> | making it point free is the questionable part |
| 2023-02-13 19:27:05 +0000 | <Joao003> | im just challenging myself don't ask :D |
| 2023-02-13 19:27:24 +0000 | <monochrom> | Ugh the irony of using flip twice to help with using reverse twice... >:) |
| 2023-02-13 19:27:31 +0000 | <Joao003> | lol |
| 2023-02-13 19:27:52 +0000 | <Joao003> | lets see another function |
| 2023-02-13 19:28:04 +0000 | <Joao003> | hmm what if it made (>>=) point-free |
| 2023-02-13 19:28:05 +0000 | <monochrom> | "yo dawg I heard you love reversing twice so we added flipping twice so you could flip while you reverse" |
| 2023-02-13 19:28:17 +0000 | <EvanR> | (>>=) is point-free |
| 2023-02-13 19:29:18 +0000 | <Joao003> | @pl \f g x -> f (g x) x |
| 2023-02-13 19:29:18 +0000 | <lambdabot> | flip flip id . liftM2 |
| 2023-02-13 19:29:22 +0000 | <Joao003> | wth |
| 2023-02-13 19:29:36 +0000 | <Joao003> | here comes double flip again |
| 2023-02-13 19:29:50 +0000 | <EvanR> | flip is itself flipped here |
| 2023-02-13 19:29:59 +0000 | <monochrom> | haha |
| 2023-02-13 19:30:13 +0000 | <Joao003> | why would you flip flip lol |
| 2023-02-13 19:30:15 +0000 | <EvanR> | you'd think that would just be id but no |
| 2023-02-13 19:30:54 +0000 | <Joao003> | because of left associativity thats (flip flip id) . liftM2 right? |
| 2023-02-13 19:31:03 +0000 | <monochrom> | Also consider uncurry uncurry >:) |
| 2023-02-13 19:31:19 +0000 | <xerox> | @. djinn type flip flip |
| 2023-02-13 19:31:20 +0000 | <lambdabot> | f a b c = b c a |
| 2023-02-13 19:31:47 +0000 | <Joao003> | yo whats flip flip flip then |
| 2023-02-13 19:31:54 +0000 | <EvanR> | Joao003, function application binds tighter than operators |
| 2023-02-13 19:32:06 +0000 | <Joao003> | @. djinn type flip flip flip |
| 2023-02-13 19:32:07 +0000 | <lambdabot> | f a b = a b (\ c d e -> c e d) |
| 2023-02-13 19:32:14 +0000 | <Joao003> | yo what |
| 2023-02-13 19:32:15 +0000 | <xerox> | :))) |
| 2023-02-13 19:32:28 +0000 | <EvanR> | :t flip flip |
| 2023-02-13 19:32:29 +0000 | <lambdabot> | b -> (a -> b -> c) -> a -> c |
| 2023-02-13 19:32:36 +0000 | <Joao003> | :t flip flip flip |
| 2023-02-13 19:32:37 +0000 | <lambdabot> | (a1 -> ((a2 -> b -> c1) -> b -> a2 -> c1) -> c2) -> a1 -> c2 |
| 2023-02-13 19:32:43 +0000 | <Joao003> | YOOOOOOOOOOOOOOOOOO |
| 2023-02-13 19:32:55 +0000 | <Joao003> | THATS A LONG TYPE SIGNATURE |
| 2023-02-13 19:33:00 +0000 | <EvanR> | flip flip looks slightly more handy |
| 2023-02-13 19:33:00 +0000 | <xerox> | @. djinn type flip flip flip flip flip flip flip flip flip |
| 2023-02-13 19:33:02 +0000 | <lambdabot> | f a b = a b (\ c d e -> c e d) |
| 2023-02-13 19:33:05 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 19:33:16 +0000 | <Joao003> | @. djinn type flip flip flip flip |
| 2023-02-13 19:33:17 +0000 | <lambdabot> | f a b = a b (\ c d e -> c e d) |
| 2023-02-13 19:33:19 +0000 | <xerox> | it ends there |
| 2023-02-13 19:33:26 +0000 | <EvanR> | :t flip flip flip flip |
| 2023-02-13 19:33:27 +0000 | <lambdabot> | (a1 -> ((a2 -> b -> c1) -> b -> a2 -> c1) -> c2) -> a1 -> c2 |
| 2023-02-13 19:33:27 +0000 | <Joao003> | ok it just stops fizzling out there |
| 2023-02-13 19:33:33 +0000 | <monochrom> | "is that a fixed point?" |
| 2023-02-13 19:33:46 +0000 | <EvanR> | a flipxed point |
| 2023-02-13 19:33:59 +0000 | <Joao003> | uncurry curry is an evil move isn't it |
| 2023-02-13 19:34:11 +0000 | <Joao003> | @. djinn type uncurry curry |
| 2023-02-13 19:34:12 +0000 | <lambdabot> | f (a, b) c = a (b, c) |
| 2023-02-13 19:34:36 +0000 | <monochrom> | But I prefer uncurry uncurry |
| 2023-02-13 19:35:50 +0000 | <Joao003> | let me djinn that |
| 2023-02-13 19:35:58 +0000 | <Joao003> | @. djinn type uncurry uncurry |
| 2023-02-13 19:35:59 +0000 | <lambdabot> | f (a, (b, c)) = a b c |
| 2023-02-13 19:36:05 +0000 | <Joao003> | oh my god no |
| 2023-02-13 19:36:32 +0000 | <Joao003> | wait uncurry curry uncurry is just id right |
| 2023-02-13 19:36:35 +0000 | <monochrom> | It's pretty nice. |
| 2023-02-13 19:36:41 +0000 | <Joao003> | @. djinn type uncurry curry uncurry |
| 2023-02-13 19:36:41 +0000 | <monochrom> | @type uncurry uncurry |
| 2023-02-13 19:36:42 +0000 | <lambdabot> | Cannot parse command |
| 2023-02-13 19:36:42 +0000 | <lambdabot> | Djinn> Cannot parse command |
| 2023-02-13 19:36:43 +0000 | <lambdabot> | (a -> b -> c, (a, b)) -> c |
| 2023-02-13 19:36:45 +0000 | kurbus | (~kurbus@user/kurbus) (Quit: Client closed) |
| 2023-02-13 19:37:13 +0000 | <monochrom> | It applies a curried 2-ary function to a 2-tuple. |
| 2023-02-13 19:37:32 +0000 | <monochrom> | Not entirely contrived. |
| 2023-02-13 19:37:42 +0000 | <Joao003> | :t uncurry curry uncurry |
| 2023-02-13 19:37:43 +0000 | <lambdabot> | error: |
| 2023-02-13 19:37:43 +0000 | <lambdabot> | • Couldn't match expected type ‘((a1, b) -> c, a1)’ |
| 2023-02-13 19:37:43 +0000 | <lambdabot> | with actual type ‘(a0 -> b0 -> c0) -> (a0, b0) -> c0’ |
| 2023-02-13 19:37:46 +0000 | <Joao003> | wth |
| 2023-02-13 19:37:59 +0000 | <Joao003> | :t (uncurry curry) uncurry |
| 2023-02-13 19:37:59 +0000 | <lambdabot> | error: |
| 2023-02-13 19:37:59 +0000 | <lambdabot> | • Couldn't match expected type ‘((a1, b) -> c, a1)’ |
| 2023-02-13 19:37:59 +0000 | <lambdabot> | with actual type ‘(a0 -> b0 -> c0) -> (a0, b0) -> c0’ |
| 2023-02-13 19:38:35 +0000 | <monochrom> | Yeah this is where intuition doesn't work, "blind" crunching the symbols and the algebra does. |
| 2023-02-13 19:38:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-13 19:40:15 +0000 | falafel | (~falafel@2607:fb91:143f:e47f:f0e6:3edd:a80e:ec1) (Ping timeout: 248 seconds) |
| 2023-02-13 19:43:16 +0000 | Ekho- | Ekho |
| 2023-02-13 19:44:47 +0000 | dsrt^ | (~dsrt@24.30.76.89) (Ping timeout: 252 seconds) |
| 2023-02-13 19:48:24 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-13 19:49:54 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-02-13 19:50:54 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) |
| 2023-02-13 19:51:50 +0000 | ft | (~ft@p3e9bc443.dip0.t-ipconnect.de) |
| 2023-02-13 19:53:28 +0000 | zeenk | (~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!) |
| 2023-02-13 19:54:01 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2023-02-13 19:54:33 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-13 19:55:15 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-02-13 19:58:30 +0000 | <Joao003> | can we pf uncurry |
| 2023-02-13 19:58:47 +0000 | <Joao003> | @pl \f (a, b) -> f a b |
| 2023-02-13 19:58:47 +0000 | <lambdabot> | (`ap` snd) . (. fst) |
| 2023-02-13 19:58:54 +0000 | <Joao003> | i hate you haskell |
| 2023-02-13 20:04:37 +0000 | ubert1 | (~Thunderbi@p200300ecdf13019b2eac5c41519fc3af.dip0.t-ipconnect.de) (Quit: ubert1) |
| 2023-02-13 20:05:13 +0000 | falafel | (~falafel@2607:fb91:143f:e47f:7d40:6e46:8a50:1b0f) |
| 2023-02-13 20:06:15 +0000 | Joao003 | (~Joao003@2804:840:8309:8700:3096:7857:f0fb:bcf4) (Quit: Leaving) |
| 2023-02-13 20:06:20 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-02-13 20:06:29 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-13 20:09:36 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 2023-02-13 20:11:51 +0000 | Guest|10 | (~Guest|10@cpc98318-croy25-2-0-cust150.19-2.cable.virginm.net) |
| 2023-02-13 20:11:54 +0000 | bilegeek | (~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d) |
| 2023-02-13 20:13:01 +0000 | pavonia | (~user@user/siracusa) |
| 2023-02-13 20:14:48 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2023-02-13 20:16:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-13 20:19:04 +0000 | rlj | (~rlj@194-218-34-180.customer.telia.com) |
| 2023-02-13 20:24:12 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) (Remote host closed the connection) |
| 2023-02-13 20:28:19 +0000 | <kronicma1> | anyone know what recursion scheme i can use to recurse on two layers at a time? |
| 2023-02-13 20:28:32 +0000 | <kronicma1> | i'm trying to implement eta-reduction on a lambda calculus ast with a recursion scheme |
| 2023-02-13 20:29:26 +0000 | <kronicma1> | so essentially I want to look for `Abstraction v x` where `x` is an `Application f v` where `v` isn't free in `f` |
| 2023-02-13 20:29:34 +0000 | <kronicma1> | but a catamorphism doesn't let you inspect that far |
| 2023-02-13 20:29:38 +0000 | <kronicma1> | what should I use instead? |
| 2023-02-13 20:34:43 +0000 | <monochrom> | That is vague but I suppose the algebra you give to a catamorphism can be built from another catamorphism. |
| 2023-02-13 20:34:48 +0000 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-02-13 20:37:33 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 2023-02-13 20:42:57 +0000 | merijn | (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 2023-02-13 20:43:16 +0000 | opticblast | (~Thunderbi@172.58.80.43) |
| 2023-02-13 20:44:12 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds) |
| 2023-02-13 20:46:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-13 20:50:49 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 20:53:24 +0000 | lyle | (~lyle@104.246.145.237) (Quit: WeeChat 3.8) |
| 2023-02-13 20:54:10 +0000 | TheCoffeMaker_ | (~TheCoffeM@200.126.137.246) |
| 2023-02-13 20:54:23 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2023-02-13 20:56:16 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-13 20:56:17 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-02-13 21:03:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-02-13 21:05:13 +0000 | Guest|10 | (~Guest|10@cpc98318-croy25-2-0-cust150.19-2.cable.virginm.net) (Quit: Connection closed) |
| 2023-02-13 21:05:40 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds) |
| 2023-02-13 21:07:50 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-02-13 21:09:59 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-13 21:16:08 +0000 | azathough | (uid589374@user/azathough) |
| 2023-02-13 21:16:37 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-02-13 21:19:27 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-02-13 21:21:25 +0000 | PotentialUser-23 | (~Potential@2600:8800:7b00:2aa0:829e:a723:57f0:e3b8) |
| 2023-02-13 21:24:36 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 21:24:42 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) |
| 2023-02-13 21:28:02 +0000 | son0p | (~ff@181.136.122.143) |
| 2023-02-13 21:29:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:50a4:25c9:e12:371f) (Ping timeout: 260 seconds) |
| 2023-02-13 21:29:25 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-13 21:30:58 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-02-13 21:33:46 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-02-13 21:34:33 +0000 | mechap | (~mechap@user/mechap) |
| 2023-02-13 21:41:12 +0000 | mvk | (~mvk@2607:fea8:5caa:ac00::fa57) (Quit: Going elsewhere) |
| 2023-02-13 21:41:57 +0000 | ddellacosta | (~ddellacos@146.70.165.139) (Quit: WeeChat 3.7.1) |
| 2023-02-13 21:48:09 +0000 | ddellacosta | (~ddellacos@143.244.47.81) |
| 2023-02-13 21:51:58 +0000 | shapr | (~user@net-5-88-238-17.cust.vodafonedsl.it) (Ping timeout: 265 seconds) |
| 2023-02-13 21:52:43 +0000 | nattiestnate | (~nate@202.138.250.53) |
| 2023-02-13 21:53:25 +0000 | takuan | (~takuan@178.116.218.225) (Remote host closed the connection) |
| 2023-02-13 21:54:08 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-02-13 21:55:23 +0000 | gh0stbuster | ghostbuster |
| 2023-02-13 21:55:55 +0000 | bilegeek | (~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d) (Remote host closed the connection) |
| 2023-02-13 21:56:19 +0000 | bilegeek | (~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d) |
| 2023-02-13 21:58:05 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 21:58:05 +0000 | tjakway | (~tjakway@cpe-107-184-74-161.socal.res.rr.com) |
| 2023-02-13 21:58:25 +0000 | <tjakway> | What's the best way to get ctags nowadays? |
| 2023-02-13 21:58:55 +0000 | <tjakway> | I used hasktags for a long time but it's rather finicky and hasn't been updated in years |
| 2023-02-13 21:59:56 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-02-13 22:01:57 +0000 | <geekosaur> | fast-tags, hs-tags, ghc-tags |
| 2023-02-13 22:02:36 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 2023-02-13 22:03:09 +0000 | <tjakway> | ghc-tags just came out, no? |
| 2023-02-13 22:03:20 +0000 | <tjakway> | it's what I'm looking forward to |
| 2023-02-13 22:03:31 +0000 | <tjakway> | since it's the only contender that actually parses Haskell |
| 2023-02-13 22:03:37 +0000 | <geekosaur> | it's on hackage |
| 2023-02-13 22:04:46 +0000 | <geekosaur> | but I'm not biased against solutions that don't actually parse, because tags generators for other languages don't actually parse either |
| 2023-02-13 22:04:55 +0000 | <geekosaur> | mostly they look for simple regexes |
| 2023-02-13 22:06:10 +0000 | falafel | (~falafel@2607:fb91:143f:e47f:7d40:6e46:8a50:1b0f) (Ping timeout: 260 seconds) |
| 2023-02-13 22:06:53 +0000 | <tjakway> | of course |
| 2023-02-13 22:07:26 +0000 | <tjakway> | I'm more curious what difference it'll make |
| 2023-02-13 22:07:56 +0000 | <tjakway> | since I use universal-ctags for everything and it works quite well |
| 2023-02-13 22:10:51 +0000 | tjakway | (~tjakway@cpe-107-184-74-161.socal.res.rr.com) (Quit: WeeChat 3.5) |
| 2023-02-13 22:11:55 +0000 | king_gs | (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) |
| 2023-02-13 22:12:06 +0000 | king_gs | (~Thunderbi@2806:103e:29:1779:19a5:ca6b:2f79:45e7) (Client Quit) |
| 2023-02-13 22:13:44 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds) |
| 2023-02-13 22:14:52 +0000 | <geekosaur> | there will be limits because tags files are limited |
| 2023-02-13 22:15:30 +0000 | <geekosaur> | the secret reason for everyone using dumb regexes is that tags files use dumb regexes |
| 2023-02-13 22:15:48 +0000 | <geekosaur> | and emacs TAGS files are even more limited |
| 2023-02-13 22:16:34 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 22:17:41 +0000 | lackita | (~lackita@73.114.250.252) (Ping timeout: 252 seconds) |
| 2023-02-13 22:18:34 +0000 | lackita | (~lackita@73.114.250.252) |
| 2023-02-13 22:20:00 +0000 | gurkenglas | (~gurkengla@46.114.176.170) |
| 2023-02-13 22:22:24 +0000 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 248 seconds) |
| 2023-02-13 22:24:15 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2023-02-13 22:28:18 +0000 | Tuplanolla | (~Tuplanoll@91.159.68.152) (Quit: Leaving.) |
| 2023-02-13 22:36:16 +0000 | danso | (~danso@2600:3c04::f03c:91ff:fe05:6954) (Changing host) |
| 2023-02-13 22:36:16 +0000 | danso | (~danso@user/danso) |
| 2023-02-13 22:37:02 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-02-13 22:38:25 +0000 | bilegeek | (~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d) (Remote host closed the connection) |
| 2023-02-13 22:39:06 +0000 | bilegeek | (~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d) |
| 2023-02-13 22:40:15 +0000 | michalz | (~michalz@185.246.204.126) (Remote host closed the connection) |
| 2023-02-13 22:45:51 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-02-13 22:52:23 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 2023-02-13 22:54:02 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 246 seconds) |
| 2023-02-13 22:54:10 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-02-13 22:54:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-02-13 22:54:20 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-02-13 22:55:47 +0000 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-02-13 22:56:10 +0000 | sagax | (~sagax_nb@user/sagax) |
| 2023-02-13 22:59:01 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-02-13 23:01:57 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-02-13 23:16:58 +0000 | rlj | (~rlj@194-218-34-180.customer.telia.com) (Quit: Client closed) |
| 2023-02-13 23:17:45 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 2023-02-13 23:19:51 +0000 | tremon | (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2023-02-13 23:20:25 +0000 | bilegeek | (~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d) (Remote host closed the connection) |
| 2023-02-13 23:20:55 +0000 | bilegeek | (~bilegeek@2600:1008:b09e:5b5c:fb38:650f:1536:6b2d) |
| 2023-02-13 23:23:41 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-02-13 23:24:05 +0000 | mvk | (~mvk@2607:fea8:5caa:ac00::fa57) |
| 2023-02-13 23:24:08 +0000 | <justsomeguy> | I found a good quote! "A LISP programmer knows the value of everything, but the cost of nothing." ~ Alan Perlis |
| 2023-02-13 23:24:30 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-02-13 23:24:43 +0000 | mvk | (~mvk@2607:fea8:5caa:ac00::fa57) (Client Quit) |
| 2023-02-13 23:29:41 +0000 | merijn | (~merijn@86.86.29.250) |
| 2023-02-13 23:30:40 +0000 | freeside | (~mengwong@103.252.202.170) |
| 2023-02-13 23:32:49 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-02-13 23:34:19 +0000 | <monochrom> | I think it fits us more than them. |
| 2023-02-13 23:35:09 +0000 | jespada | (~jespada@77.98.179.16) |
| 2023-02-13 23:35:18 +0000 | <monochrom> | Then again there was a time Haskell didn't exist, so Lisp had no contender. |
| 2023-02-13 23:35:25 +0000 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-02-13 23:35:29 +0000 | <hpc> | a rust programmer borrows everything and never throws out the garbage |
| 2023-02-13 23:38:12 +0000 | <hpc> | but yeah, lisp was the original "you don't know the underlying representation" language |
| 2023-02-13 23:38:29 +0000 | <hpc> | you "knew", but it didn't have to be that way in every implementation |
| 2023-02-13 23:48:09 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-02-13 23:58:01 +0000 | freeside | (~mengwong@103.252.202.170) |