Logs: liberachat/#haskell
| 2021-05-28 21:36:26 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-28 21:36:53 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-05-28 21:37:02 | <int-e> | monochrom: it's not, next question? |
| 2021-05-28 21:37:10 | <myShoggoth> | HF May Update: https://discourse.haskell.org/t/haskell-foundation-may-update/2567 |
| 2021-05-28 21:37:45 | <int-e> | (I was outside just moments ago and it was black, well, dark grey with an orange tint) |
| 2021-05-28 21:38:16 | <monochrom> | mib_fqswhk is a known troll and was yesterday known as guriya and comradecow. |
| 2021-05-28 21:38:45 | ChanServ | sets mode +o monochrom |
| 2021-05-28 21:38:54 | monochrom | sets mode +b *!~a0ee4a*@*.mibbit.com |
| 2021-05-28 21:38:59 | → | python476 joins (~user@88.160.31.174) |
| 2021-05-28 21:38:59 | monochrom | sets mode -o monochrom |
| 2021-05-28 21:39:15 | <river> | I managed to prove the yoneda lemma |
| 2021-05-28 21:39:16 | <river> | ! |
| 2021-05-28 21:39:24 | <monochrom> | Nice congrats river. |
| 2021-05-28 21:40:11 | × | Bartosz quits (~textual@50.35.215.151) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-28 21:40:17 | <river> | thanks |
| 2021-05-28 21:41:19 | <monochrom> | Regarding text-utf8 vs text-utf16 I just have a feeling that every 10 years there will be a new benchmark that says the status quo is inefficient let's switch to the other one. |
| 2021-05-28 21:41:43 | <monochrom> | (And that is already my non-cynical prediction.) |
| 2021-05-28 21:42:10 | <boxscape> | At the current trend it'll just be a few more halvings before we reach utf-1, and who knows what'll happen after that |
| 2021-05-28 21:42:33 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-28 21:42:40 | <monochrom> | (My cynical prediction is there is only an ideological toggle, not even bothering to thinly veil by biased benchmark data.) |
| 2021-05-28 21:42:51 | <monochrom> | hahaha |
| 2021-05-28 21:43:42 | × | argento quits (~argent0@168.227.96.51) (Ping timeout: 248 seconds) |
| 2021-05-28 21:43:48 | <hololeap> | utf-2^-1 |
| 2021-05-28 21:44:23 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-05-28 21:44:43 | → | zebrag joins (~chris@user/zebrag) |
| 2021-05-28 21:46:56 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-28 21:48:31 | → | nsilv-phone-1 joins (~nsilv-pho@host-82-50-119-12.retail.telecomitalia.it) |
| 2021-05-28 21:48:40 | → | ddellaco_ joins (~ddellacos@89.46.62.60) |
| 2021-05-28 21:49:49 | × | ddellaco_ quits (~ddellacos@89.46.62.60) (Remote host closed the connection) |
| 2021-05-28 21:50:19 | → | ddellaco_ joins (~ddellacos@89.46.62.60) |
| 2021-05-28 21:51:38 | → | jocke-l joins (jocke-l@a.x0.is) |
| 2021-05-28 21:51:42 | × | ddellacosta quits (~ddellacos@86.106.121.23) (Ping timeout: 248 seconds) |
| 2021-05-28 21:51:42 | × | nsilv-phone quits (~nsilv-pho@37.162.42.151) (Ping timeout: 248 seconds) |
| 2021-05-28 21:53:20 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-28 21:54:32 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 2021-05-28 21:54:52 | × | ddellaco_ quits (~ddellacos@89.46.62.60) (Ping timeout: 264 seconds) |
| 2021-05-28 21:55:38 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-28 21:55:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-28 21:56:13 | × | ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | siraben quits (~siraben@user/siraben) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | psydroid quits (~psydroidm@user/psydroid) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | peddie[m] quits (~peddiemat@2001:470:69fc:105::25d) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | srid[m] quits (~sridmatri@2001:470:69fc:105::1c2) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | sm[m] quits (~sm@plaintextaccounting/sm) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | zwro[m] quits (~zwromatri@2001:470:69fc:105::1d4) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | maralorn[m] quits (~maralorn@2001:470:69fc:105::251) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | jaror[m] quits (~jaror@2001:470:69fc:105::265) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | tomferon[m] quits (~tomferon@2001:470:69fc:105::268) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:13 | × | cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Quit: node-irc says goodbye) |
| 2021-05-28 21:56:36 | → | siraben joins (~siraben@user/siraben) |
| 2021-05-28 21:57:26 | × | _73 quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-05-28 21:57:27 | → | ac joins (~aloiscoch@2001:470:69fc:105::65) |
| 2021-05-28 21:57:27 | → | psydroid joins (~psydroidm@2001:470:69fc:105::165) |
| 2021-05-28 21:57:27 | → | sm[m] joins (~sm@plaintextaccounting/sm) |
| 2021-05-28 21:57:27 | → | ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a) |
| 2021-05-28 21:57:27 | → | srid[m] joins (~sridmatri@2001:470:69fc:105::1c2) |
| 2021-05-28 21:57:27 | → | MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22) |
| 2021-05-28 21:57:27 | → | hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd) |
| 2021-05-28 21:57:28 | → | maralorn[m] joins (~maralorn@2001:470:69fc:105::251) |
| 2021-05-28 21:57:28 | → | cdsmith joins (~cdsmithma@2001:470:69fc:105::284) |
| 2021-05-28 21:57:39 | → | Morrow[m] joins (~morrowmma@2001:470:69fc:105::1d0) |
| 2021-05-28 21:57:39 | → | maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee) |
| 2021-05-28 21:57:40 | → | zwro[m] joins (~zwromatri@2001:470:69fc:105::1d4) |
| 2021-05-28 21:57:40 | → | tomferon[m] joins (~tomferon@2001:470:69fc:105::268) |
| 2021-05-28 21:57:40 | → | peddie[m] joins (~peddiemat@2001:470:69fc:105::25d) |
| 2021-05-28 21:57:41 | → | jaror[m] joins (~jaror@2001:470:69fc:105::265) |
| 2021-05-28 21:57:42 | × | Sinbad quits (~Sinbad@user/sinbad) (Ping timeout: 265 seconds) |
| 2021-05-28 21:58:55 | → | smatting joins (~stefan@p200300cd7715d600c9b2f2eb3b03ae08.dip0.t-ipconnect.de) |
| 2021-05-28 21:59:26 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-05-28 22:00:00 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-05-28 22:00:16 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-05-28 22:02:14 | <boxscape> | Are Data.Functor.Compose.Compose and GHC.Generics.:.: essentially the same thing? |
| 2021-05-28 22:03:11 | <boxscape> | If so, why do they both exist in base? |
| 2021-05-28 22:03:37 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-28 22:03:53 | <monochrom> | Yes they are equivalent. |
| 2021-05-28 22:04:05 | <boxscape> | ok |
| 2021-05-28 22:04:12 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-28 22:04:14 | <monochrom> | Why do both "continuation" and "callback" exist? |
| 2021-05-28 22:04:20 | <boxscape> | hmm good question |
| 2021-05-28 22:04:30 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 248 seconds) |
| 2021-05-28 22:04:40 | <boxscape> | wait I don't think that's the same |
| 2021-05-28 22:04:49 | <monochrom> | Answer: Historically emerged from two disjoint cliques and no one wants to unify. |
| 2021-05-28 22:04:56 | → | kradley joins (~kh@2600:4040:11e5:6200:1766:8a30:2f44:4bb6) |
| 2021-05-28 22:05:00 | <boxscape> | okay that's fair, the analogy does work in that sense |
| 2021-05-28 22:05:30 | × | larryba quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/) |
| 2021-05-28 22:05:34 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 248 seconds) |
| 2021-05-28 22:05:45 | → | larryba joins (~bc817c21@217.29.117.252) |
| 2021-05-28 22:06:31 | × | kradley quits (~kh@2600:4040:11e5:6200:1766:8a30:2f44:4bb6) (Client Quit) |
| 2021-05-28 22:06:37 | × | haskman quits (~haskman@106.201.28.184) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-28 22:07:23 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-28 22:08:12 | <monochrom> | It could also be not very nice for either of {Data.Functor.Compose, GHC.Generics} to have to import the other. |
| 2021-05-28 22:08:53 | <boxscape> | hm maybe |
| 2021-05-28 22:08:58 | → | sa1 joins (uid7690@id-7690.charlton.irccloud.com) |
| 2021-05-28 22:09:31 | × | Philonous quits (~Philonous@user/philonous) (Remote host closed the connection) |
| 2021-05-28 22:09:50 | → | Philonous joins (~Philonous@user/philonous) |
All times are in UTC.