618已经开始，小米也为米粉们奉上了618的第一波福利：小米11由3999元降至3599元（京东自营），让这款已经上市半年的2K屏骁龙888手机，又火了一把。 在去年的618，,小米全平台销售金额破100亿，狂揽256项第一，其中小米10获得京东3500-4500价位段销量第一，红米K30 Pro拿到了京东5G手机销量第一。 友商realme已经将骁龙888手机realme GT降到了2499元（8+128G），因此在小米618的第二波福利中，红米K40Pro/Pro+也将迎来首次降价，迎战realme GT。 红米K40 Pro/Pro+从2月底发布至今，价格就一直很稳，8+128G售价2999元，8+256G售价3299元，12+256G售价3699元（Pro+）。和realme GT比起来，三个版本分别贵了500元、500元和600元，这个差价还是比较高的。 目前红米K40 Pro/Pro+的优惠金额尚未出炉，不过可以从预热的图片中可以猜到大致的金额。8+256G原价3299元，618到手价为2？？9元，优惠金额300元起步；12+256G原价3699元，618到手价3？？9元，优惠金额不超过700元。 所以预计红米K40 Pro/Pro+的优惠金额应该在300元-600元之间，虽然价格还是没办法做到realme GT那样极致，差距也没那么大了。 在性能上，红米K40 Pro/Pro+和realme GT都是骁龙888+LPDDR5+UFS3.1组合，没有任何区别，有骁龙888这颗高通最强的5nm芯片，足以保证手机的流畅运行、玩遍主流游戏。 屏幕方面，红米K40 Pro/Pro+搭载了一块三星E4材质的OLED屏，realme GT为E3屏，不过realme GT支持DC调光，而红米K40 Pro/Pro+并不支持DC调光，都支持120Hz刷新率、360Hz触控采样率 ，也算是半斤八两。 红米K40Pro的后置主摄是6400万像素索尼IMX686，realme GT为6400万像素索尼IMX682，日常使用没什么差距。红米K40Pro+后置三星1亿像素主摄，事实证明1亿像素很难成为主流，至少从目前来看还是大底占了上风。小米11Pro/Ultra所使用的主摄，就换成了5000万像素、1/1.12英寸大底的三星GN2。 realme GT的大杀招是快充，65W快充可以让手机在35分钟从0电量开始充满；红米K40 Pro/Pro+的快充功率为33W，虽说官方称之为满血版33W快充，功率媲美55W，实际上充满电要50来分钟，和realme GT的65W快充还是有较大差距。刚发布的红米Note10 Pro就用上了67W快充，所以红米K40 Pro/Pro+在快充上是有点落后的，幸好这一点也不是不能接受。 在小米11降价后，红米K40Pro也马上要降至新低，迎战realme GT，如果你喜欢红米K40 Pro这款手机的话，618就是一个不错的入手时机。因为下一波大促，得等到下半年的双11了。 你认为红米K40 Pro会降到多少，是选它，还是realme GT？
为何木兰编译器采用RPly而非Ply？RPython和PyPy才是真意？众所周知地，木兰编程语言的实现中使用RPly而非更为人知的Ply进行词法和语法分析器生成。为什么要用这样一个更小众的工具？Ply自2006年开始开发，RPly自2012年，它的py日常用中文写代码系列Ruby脚本将mov文件转换为gif因为需要将之前苹果系统下用QuickTime录屏生成的文件（mov格式）转换成gif文件，便于传到某些博客平台，于是找到了一个转换工具，将命名中文化并简化。Ruby和视频转换都是新学用英语三十载，不及幼儿园大班国人英语教学到底为了什么？一个小实验，忍着别瞄图片，看看左侧单词都认识几个都是三个字母，看起来多简单！的确，因为这是美国幼儿园大班的随堂小作业。就算看了图，你都认识么？记得我是至少三个查了字典，于是陷入了沉重现木兰编程语言（九）条件语句此刻支持的语法if0print（1）elif0print（2）elseprint（3）print（6）if1项目地址仍在此。接续上文，添加条件语句。暂未实现布尔值与比较语法，于是暂重现木兰编程语言（十）比较循环，一个语法设计特色此刻支持的语法示例sum0number1whilenumber4sumsumnumbernumbernumber1print（sum）添加了比较（包括且或）while循环相关语法，木兰编程语言重现功能初具雏形，添加中文报错信息自原型搭建已过去两个多月，现在实现了木兰编程语言一些基本的功能。正值项目代码搬家到OSChina，作一阶段小结。功能（以下示例都选自测试用例）调用现有Python库如草蟒using木兰编程语言体验版更新，附带VSCode支持插件一眨眼过了四个月，多少有点进展。木兰编程语言VSCode插件提供最基本的词法高亮，演示如下同时，更新了发布在PyPI的木兰编程语言体验版。比如上面的木兰代码，保存在累计。ul。通过木兰编程语言重现完善函数功能，常用字拆分数据处理实例为方便使用Python的标准库与第三方库，支持了函数调用时指定形参名的方式，比如下面代码第一行打开文件的encodingutf8与之相关，定义函数时可以指定形参默认值，也一并添加。木兰编程语言重现无参数函数字典基本功能，语法的取舍有感当函数没有形参时，定义和调用时都可以省去括号，比如func问好print（吃了么）问好感觉这个设计挺合理，但不知这种情况是否会多见。本周还实现了字典类型的基本功能，与Python的木兰编程语言重现通过玩三岁游戏完善语言功能某个号称三岁以上就可以玩的桌游，抽象之后的基本问题就是在一个区域中如何摆放三种形状（朝向随意）。比如区域三种形状（短折，长折，一字），各种朝向如下这是迄今为止用木兰语言编写的最复杂木兰编程语言0。0。14。7功能覆盖初版用户手册木兰编程语言在2020年度OSC中国开源项目评选中已获得26票，请投票支持！（请戳文末链接）年初对原始木兰可执行文件ulang0。2。2。exe作了些功能上的摸索尝试，将基本功能写