微软公布 TypeScript 启发的新语言 Bosque

微软发布了受 TypeScript 语法类型与 ML 和 Node/JavaScript
语义启发的新语言 Bosque ,源代码采用 MIT 许可证,托管在 GitHub上。Bosque 创作者是微软研究院的计算机科学家 Mark Marron,他设计通过拥抱代数运算和避开导致复杂性的技术,试图创造出一种简单易懂的语言,走出 1970 年代兴起的结构化编程模型。结构化编程范例使用循环、条件和子程序去管理流控制。Marron 相信我们可以通过抛弃循环、可变状态和参考相等性等导致复杂性的源头来做到更好。Bosque 代表了被 Marron 称为正规化编程(PDF)的编程范例。

King Arthur’s Gold 开源

2D 物理和合作建造独立游戏《King Arthur’s Gold》宣布免费并公开源代码,源代码托管在 GitHub 上。《King Arthur’s Gold》混合了失落的维京人的合作元素,加上了百战天虫中可完全摧毁地形的能力以及合金弹头系列里的视觉效果和动作元素。免费玩家限制了定制性,但可以通过购买 DLC 或 patreon 捐款支持解锁所有定制选项。

英国要求成人网站从 7 月 15 日起强制性验证年龄

英国政府宣布,禁止未成年人访问成为成人网站的法律将于 7 月 15 日生效。英国数字大臣 Margot James 称,当前成人内容太容易被儿童在网上访问到,我们想要让英国成为网络世界最安全的地方,新的法律将帮助我们实现这一目标。英国议会是在 2017 年通过了 Digital Economy Bill,根据该法律,商业色情网站在允许英国用户访问色情材料前需要先验证下他们的年龄超过 18 岁。英国的审查人员还将拥有权力去禁止“极端”的网络色情,此类的材料包括了与尸体或动物发生性关系。验证年龄的方法包括了要求用户提供信用卡号码或政府发行的身份证。没有实现年龄验证的成人网站将在英国遭到屏蔽。

美国政府承认他们不知道 Assange 是否为 Manning 破解了密码

根据 FBT 特工的解密证词,美国政府没有证据证明 Wikileaks 创始人阿桑奇(Julian Assange)是否为告密者曼宁(Chelsea Manning)破解了密码。上周在厄瓜多尔取消庇护之后阿桑奇被伦敦警方逮捕,在逮捕的同一天,美国政府以黑客指控发起对阿桑奇的引渡请求。美国司法部指控阿桑奇同意帮助曼宁破解其同事的密码,使用同事的账号访问机密系统,使得调查人员更难跟踪到最终的泄密源头。但本周一美国弗吉尼亚州东区地方法院解密了 2017 年 12 月 21 日的特工证词,承认他们并不知道阿桑奇有没有破解密码。律师表示,只是简单的建议破解密码就构成了对计算机欺诈与滥用法的违反,他是否成功或失败无关紧要。

富士康将于今年在印度量产 iPhone

鸿海富士康董事长郭台铭表示,该公司将于年内在印度量产 iPhone。这代表着一种巨大的转变,长期以来苹果手机的组装都是集中在中国大陆。苹果部分旧型号的手机已经在班加罗尔的工厂生产,它将扩大生产去组装新型号的手机。富士康在量产前准备先在印度试生产最新型号的 iPhone。郭台铭称,未来他们将在印度的智能手机产业扮演重要的角色,他们已经将生产线转移到了印度。对富士康来说,中国的市场已经饱和了,劳工成本比印度高三倍。

Google 跟踪全世界的手机

2018 年 3 月 14 日,亚利桑那州发生了一起随机谋杀案件,现场没有目击者,除了 Google。当仓库工人 Jorge Molina 遭到逮捕时,警方称他们跟踪到其手机到达了谋杀现场。他们申请了搜查令,要求 Google 提供谋杀现场周围所有的手机记录。但随着新的证据出现,警方释放了他,逮捕他母亲的前男友。这起案件令 Google 的手机跟踪数据库引发了关注,搜索巨人的用户手机数据库变成了执法部门的数字法网。在一个数据收集无处不在的时代,它是个人信息以一种人们没有想象到的方式使用的最新例子。

星战官方正史游戏《陨落武士团》将在 11 月 15 日发布

在本周末举行的星战庆典活动上,EA 发行 Respawn Entertainment 开发的星战官方正史游戏《绝地陨落武士团》宣布将于 11 月 15 日发售,并公布了首个预告片。玩家将扮演从 66 号密令的肃清行动中死里逃生的绝地学徒,在完成训练学会原力掌握光剑之道的同时必须躲避判官二姐及其清洗兵的追杀。这款游戏没有多人模式和内购,使用虚幻引擎 4 开发,有官方简体中文和繁体中文字幕。主角的演员是《哥谭》中小丑的扮演者 Cameron Monaghan。

马云为 996 工作制辩护

对于最近引发广泛关注的 996 工作制,被列入加班黑名单的阿里巴巴公司董事局主席马云站在资方的立场为这个工作制辩护。马云在内部活动上称,“不要说996,到今天为止,我肯定是 12×12 以上。我没有后悔12×12,我从没有改变过自己这一点。”马云称,只有付出巨大的代价,有一天才有可能有回报,阿里早年也加班,8小时工作以后晚上还需要复盘、学习。“这个世界上,我们每一个人都希望成功,都希望美好生活,都希望被尊重,我请问大家,你不付出超越别人的努力和时间,你怎么能够实现你想要的成功?”马云称,希望阿里人热爱你做的工作,如果你不热爱,哪怕8个小时你都嫌很长,如果你热爱,其实12个小时不算太长。这就是生活,你选择了一个中国今天排名第一的公司,第一是要付出代价的。

Wi-Fi WPA3 标准发现漏洞

两名安全研究人员披露了 Wi-Fi WPA3 标准中的一组漏洞,这组漏洞被命名为 Dragonblood。攻击者可利用这些漏洞在受害者网络范围内获取 Wi-Fi 密码和渗透进网络。Dragonblood 由五个漏洞构成,包括一个拒绝访问攻击,两个降级攻击和两个侧通道信息泄露。后四个漏洞都利用了 WPA3 标准 Dragonfly 密钥交换机制中的设计缺陷,可用于获取用户密码。

开发者喜欢 Python 和 TypeScript 语言

编程问答社区 Stack Overflow 公布了年度开发者调查报告,显示 JavaScript 是开发者最常用的语言,而 Rust 则是开发者最喜欢的语言。报告显示,67.8% 的开发者使用 JavaScript,63.5% 的开发者使用 HTML 和 CSS,54.4% 的开发者使用 SQL ,之后是 Python、Java、Bash/shell、C#、PHP 和 C++ 。微软的 TypeScript 被 21.2% 开发者使用。而最喜爱的语言则是 Rust、Python 和 TypeScript,之后是 Kotlin、WebAssembly 和 Swift,最想要的语言则是 Python、JavaScript、Go 和 TypeScript。