程序员拒绝春节带电脑回家被开除；小米国行不再支持安装Google框架；Excel具备图灵完备性，成第一大编程语言

点击上方 "编程技术圈"关注, 星标或置顶一起成长

后台回复“大礼包”有惊喜礼包！

每日英文

Destiny decides who enters your life, but you get to decide who stays.

谁走进你的生命，是由命运决定；谁停留在你生命中，却是由你自己决定。

每日掏心话

一个拥有真正实力的人，会有内在的光芒，去吸引人去发现。

责编：乐乐 | 来自：架构头条

编程技术圈(ID:study_tech)第 1138 次推文图源：百度

往日回顾：有人靠"抢茅台"月入百万，脚本曝光，开源可用！网友：太强了~

正文

编辑 | 万佳

本周架构视点：程序员拒绝春节带电脑回家被开除；输入法的隐私问题；Elon Musk 称脑机接口让猴子在大脑内玩游戏；Google 云计算业务去年亏损 56 亿美元；微软组建 Rust 开发人员团队；快手 IPO，市值 1.39 万亿港元。

1万万没想到

程序员拒绝春节带电脑回家被开除

近日，上海某位软件工程师因为春节期间拒绝携带工作电脑回家被开除。据上海浦东法院公众号消息，这位软件工程师对于公司将其开除表示不满，将公司告上法庭，最终获赔 19.4 万元。公司不服提出上诉，后被驳回，目前判决已经生效。

程序员小张是某咨询公司的软件工程师，已在该公司工作四年。2019 年春节前，公司以小张负责维护的客户可能需要应急服务为由，通知他携带电脑回家过年，遭到拒绝。随后，小张被开除。

更多详情：

https://www.infoq.cn/article/oupZgdlBHlzFqFRBOWrP

小米国行不再支持安装 Google 框架

小米用户在官方论坛询问无法使用 Google 服务框架。Google 服务框架已成为 Android 生态系统的重要组成部分，要使用官方应用商店 Google Play 必须安装 Google 服务框架。由于 Google 服务基本上在中国大陆无法使用，中国 Android 厂商在中国销售的手机不预装 Google 服务框架，但部分也在海外市场销售手机的厂商并没有完全禁止用户自行安装 Google 服务框架。现在小米用户报告所有 Google 应用都无法运行。小米员工回应称，“MIUI 国内版出于合规原因，未预置 Google 服务框架的机型，不再支持自行安装 GMS 服务”。

Excel 现在具备了图灵完备性，成第一大编程语言

微软称它的电子表格程序 Excel 是一种编程语言，通过引入 LAMBDA，Excel 现在具备了图灵完备性。

如果一种编程语言可以实现任何可能的算法，那么它就具备了图灵完备性。微软剑桥研究院的 Calc Intelligence 项目与 Excel 团队合作，将电子表格公式转变成一种全面的编程语言。Excel 有两大缺点阻碍它成为真正的编程语言：其一是公式语言只支持数字、字符串和布尔值等标量值，其二是不支持定义新函数。去年 12 月微软宣布了 LAMBDA，允许用户使用 Excel 的公式语言定义新的函数——它被称为 LAMBDA 定义的函数。通过 LAMBDA，Excel 具备了图灵完备性，在理论上可以用 Excel 的公式语言写任何计算。LAMBDA 目前提供给了 Beta 测试用户。

https://www.microsoft.com/en-us/research/blog/lambda-the-ultimatae-excel-worksheet-function/

输入法的隐私问题

最近，《南方周末》调查了输入法的隐私问题。根据 Mob 研究院数据，2020 年，搜狗、讯飞和百度三家输入法占据了国内市场九成的活跃用户，其中搜狗占有率最高，54%。2020 年 9 月，腾讯全资收购了搜狗。第三方输入法被广泛使用，但其潜在的隐私问题也日益引起关注。搜狗、讯飞和百度三家的隐私协议表示，用户信息共享方主要为输入法服务商的关联公司、合作伙伴。合作伙伴包括广告、分析、信息推广服务类的授权合作伙伴，供应商、服务提供商和其他合作伙伴如第三方 SDK，以及提供风控服务的合作方。

http://www.infzm.com/contents/200787

Elon Musk 称脑机接口让猴子在大脑内玩游戏

Elon Musk 在 Clubhouse 上表示，他的脑机创业公司 Neuralink 成功在猴子颅骨上植入芯片，让猴子能通过大脑玩游戏。Clubhouse 是一个新兴的社交媒体应用，允许用户进行非正式的语音聊天。Musk 称，那不是一只不快乐的猴子。你看不到神经植入物的地方，除了它看起来有一个暗色的莫西干头。Musk 表示，Neuralink 正在尝试使用芯片让猴子彼此在大脑中玩乒乓游戏。

2IT 科技新闻

Ars 尝试华为的鸿蒙操作系统

华为在遭到美国的出口禁令后宣布了自己的操作系统鸿蒙，去年 12 月发布 V2 版本。美国科技网站 Ars 对华为鸿蒙进行了一番测试，记者首先试着下载 Harmony SDK，结果迎面一击：他被告知需要接受两天的背景检查，要求注册账号通过身份验证，包括递交名字、地址、电邮、电话号码和护照照片。即使你试图绕过注册流程，下载“盗版”版本，SDK 也需要你登陆账号之后才会运行。出于研究的目的，记者放弃了“保护”自己的身份信息，下载了 SDK，开始进行测试。他发现模拟手机使用的是中国 SIM 卡，进入的网络叫“华为内网”。进一步研究发现，Harmony 的应用页面基本上全是类似 Android Services Library、Android Shared Librar 之类的，以及指示 Android 10 的信息。作者认为现阶段的 Harmony 本质上就是换了皮肤的 Android，华为甚至连 Android 的名字都没有替换掉。作者还阅读了 Harmony 的文档，认为这些文档都是胡扯没有多少意义。

https://arstechnica.com/gadgets/2021/02/harmonyos-hands-on-huaweis-android-killer-is-just-android/

Google 云计算业务去年亏损 56 亿美元

Alphabet/Google 披露了最新财报，透露其云计算业务去年全年亏损 56.1 亿美元，全年收入 130.6 亿美元。这是搜索巨人首次公开云计算业务的营业收入指标。Alphabet/Google 的最主要收入来自于广告，云计算业务是其多元化收入来源的重要一环。在云计算市场，Google 目前落后于竞争对手亚马逊和微软。该公司表示它的云计算业务 2018 年收入 58.4 亿美元亏损 43.5 亿美元，2019 年收入 89.2 亿美元亏损 46.5 亿美元。

微软组建 Rust 开发人员团队

有外媒称，微软正在组建一个 Rust 开发人员团队，以用于内部工作和社区的协作。同时，微软也发布了一个 Rust 首席软件工程师相关的招聘信息，来招揽人才。

我们正在寻找工程师来研究 Rust 编译器和工具，以支持 Rust 编程语言的使用。在这个角色中，你将与 Microsoft 的产品组紧密合作，以收集需求并开发 Rust 的工具改进。你将加入一个新成立的团队，该团队的愿景是为 Microsoft 的 Rust 提供支持，同时还将与更广泛的 Rust OSS 社区合作并分享这些改进。你将与 Microsoft 中一些最有才华的工程师一起处理重要的内部系统编程工作负载。

Facebook 2020 开源总览：12w 次 commit、新增 200 个公开仓库

最近，Facebook 发布了 2020 年开源回顾：累计 746 个活跃的开源仓库，其中超过 200 个仓库于去年正式公开；协作上，开发者对开源代码库进行了超过 127000 次更改；这些开源项目总共收到 128 万 star，仅去年就新增 12 万个 star。

在公众号顶级架构师后台回复“架构整洁”，获取一份惊喜礼包。

开发者工具：

开源 Retrie 项目，用于更快、更容易且更安全地重构和修改 Haskell 代码；
开源 CG/SQL 项目，面向 SQLite 用户，可以帮助开发者编写带有大量查询的复杂存储过程；
resctl-demo 项目，开发者通过它可以直观地了解其系统的资源控制；
PCIcrawler 项目，可显示有关 PCI/PCIe 总线、设备和拓扑的信息，以大规模诊断和调试 PCIe 问题。

更多详情：

https://opensource.facebook.com/projects

DataSketches 升级为 Apache 顶级开源项目

近日，Apache 软件基金会（ASF）宣布将 Apache DataSketches 提升为顶级项目（Top-Level Project，TLP）。据悉，Apache DataSketches 是开源的高性能大数据流算法库，主要针对大规模计算环境，目前有非常多的企业均在使用，例如：尼尔森、Permutive、Splice Machine 和 Verizon 等。该项目于 2012 年起源于 Yahoo，并于 2015 年开源，随后于 2019 年 3 月进入 Apache 孵化器。

Ubuntu 21.04 将尝试默认使用 Wayland

Ubuntu 21.04 将尝试默认使用 Wayland，以在下一个长期支持版本 Ubuntu 22.04 LTS 发布前对 Wayland 进行足够的测试和评估。Canonical 此前测试过使用 Wayland，但最后还是在 LTS 版中继续默认用 X.Org，Wayland 作为非默认选项提供给用户。Canonical 现在希望能舒适的切换到 Wayland。Ubuntu 21.04 桌面环境是 GNOME 3.38 而不是 GNOME 40。

https://www.phoronix.com/scan.php?page=news_item&px=Ubuntu-21.04-Wayland-Default

Google 资助用 Rust 语言为 Apache HTTP 开发安全模块 mod_tls

Google 资助了 Internet Security Research Group(ISRG) 的一个项目：用 Rust 语言为 Apache HTTP web server 项目开发安全模块 mod_tls。在 Apache web server 中，mod_ssl 用于支持建立 HTTPS 连接所需的加密操作。它是用 C 语言开发的，新的模块 mod_tls 将是用 Rust 语言开发，领导该项目开发的是软件咨询公司 Greenbytes 的创始人和 Apache HTTP Server 开发者 Stefan Eissing。ISRG 希望，在完成开发之后 Apache HTTP web serve 团队将采用 mod_tls 作为默认模块取代年代悠久不安全的 mod_ssl。

https://www.zdnet.com/article/google-funds-project-to-secure-apache-web-server-project-with-new-rust-component/

谷歌云游戏要凉？Stadia 关闭内部工作室

Google 云游戏服务 Stadia 宣布关闭两家内部工作室，转移业务重心，转向与发行商合作提供游戏串流技术。Google 宣布将关闭位于蒙特利尔和洛杉矶的游戏工作室，影响大约 150 名开发者，Google 表示将为这些开发者在公司内部寻找新的岗位。参与制作《刺客信条》的游戏制作人 Jade Raymond 将离开公司。Google 将会继续运营游戏串流服务，但未来可能不会有多少独占游戏登陆 Stadia。

快手 IPO，市值 1.39 万亿港元

彭博社报道了即将上市的短视频应用快手，称该公司将虚拟礼物做成了数百亿美元的生意。粉丝可以使用虚拟礼物打赏自己喜欢的主播，从 5 元玫瑰到 500 元火箭。礼物只是一种符号，但钱是真实的。这家字节跳动的竞争对手已经成为最大的虚拟礼物直播平台，月付费用户超过其它任何平台。该公司会从粉丝给主播的礼物中获得一部分分成。在香港的 IPO 将创造四位亿万富翁，公司联合创始人宿华和程一笑每人的资产都将超过 55 亿美元。宿华是湖南人，在清华学编程，2006 年加盟 Google，他在金融危机期间离开 Google 后短暂创办了自己的公司。2011 年他认识了程一笑，两人在 2013 年合作将快手从一个 GIF 动画制作商转变成为社交视频平台。

https://www.bloomberg.com/news/articles/2021-01-31/ex-googler-turns-virtual-gifts-into-a-61-billion-business

抖音起诉腾讯垄断

字节跳动周二宣布旗下短视频 APP 抖音向北京知识产权法院正式提交诉状，起诉腾讯垄断。抖音称，腾讯通过微信和 QQ 限制用户分享来自抖音的内容，构成了《反垄断法》所禁止的“滥用市场支配地位，排除、限制竞争的垄断行为”。抖音并要求法院判令腾讯立即停止这一行为，刊登公开声明消除不良影响，并赔偿抖音经济损失及合理费用 9000 万元人民币。抖音在诉状中称，即时通信类应用已经成为互联网用户规模最大、普及率和使用率最高的基础应用。微信、QQ 月活跃用户数分别超过 12 亿和 6 亿，加上其即时沟通分享功能及网络效应，决定了用户几乎不可能集体迁移。

PS：欢迎在留言区留下你的观点，一起讨论提高。如果今天的文章让你有新的启发，欢迎转发分享给更多人。