rust
2020-10-13 20:7
1+1等于2这一事实非常明显，可能很难解释为什么。幸运的是，数学家们已经设计出了一种将算术形式化并随后证明1+1=2的方法。自然数是基于皮亚诺公理的。它们是一组简单的规则，定义(与正式系统一起)什么是自然数。因此，为了证明Rust中的1+1=2，我们首先需要一个能够处理逻辑的形式系统。我们将使用的正式系统不是某个随机......
2020-10-12 21:56
民主党人并不是唯一准备改写互联网平台反垄断规则的人。
在世界历史上，从来没有一个全球经济部门像过去20年里的大型科技公司那样如此迅速地崛起为全球主导地位。
2000年，亚马逊还是一家在线书商，苹果仍然处于劣势，Go Google是一家收入微薄、斗志昂扬的初创公司，Facebook还不存在。今天，与微软一起，他们是世界......
2020-10-12 7:7
两年前，我有一篇博客文章描述我爱上了铁锈。当然，与技术的关系就像任何其他关系一样：随着新鲜感和迷恋逐渐消退，它可以建立在更长期的基础上(通常更现实和温和)，也可以开始破裂。所以，人们可能会问：“铁锈”度完蜜月后怎么样？通过回答这个问题，我应该指出，大约一年前(以及我与铁锈关系的一年)，我们开始了氧化剂。一方面，这个名......
2020-10-11 16:59
苹果回应称“强烈不同意该报告的结论…”关于苹果。“：
我们公司在我们开展业务的任何类别中都没有占主导地位的市场份额。从12年前只有500个应用程序开始，我们已经将App Store打造成一个安全可信的地方，让用户可以发现和下载应用程序，并为开发人员在全球创建和销售应用程序提供一种支持方式。如今，App Store托管......
2020-10-11 15:35
美国众议院司法民主党小组委员会今天分享了修改反垄断法和防止苹果、Alphabet、亚马逊和Facebook等大公司的反竞争行为的建议。在此之前，对这些公司进行了为期16个月的调查，以改革数字时代的法律。
由CNBC最先报道的这份由众议院民主党人分享的近450页的文件，根据听证会、采访和在此期间分析的130万份文件，揭......
2020-10-8 9:39
众议院司法委员会(House Judiciary Committee)昨天晚些时候发布了科技反垄断报告，结论是大型科技平台应该面临额外的监管。建议包括创建新的分离，以防止占主导地位的平台在相邻的业务线上运营，对互操作性和数据便携性提出新的要求，以及增加对并购的限制。
目前，这些只是建议，并没有得到该委员会的共和党少数......
2020-10-8 9:32
新德里(路透社)-一位消息人士和两名参与此案的律师告诉路透社，Alphabet公司的谷歌(GOOGL.O)在印度面临着新的反垄断案件，这家美国科技巨头被指控滥用其Android操作系统在智能电视市场的地位。
此案是谷歌在印度面临的第四大反垄断挑战。印度是谷歌的关键市场之一，目前谷歌正面临当地初创企业的公开批评，原因是......
2020-10-8 9:24
国会民主党人向苹果、亚马逊、Facebook和谷歌发出了明确的信息：你们拥有垄断权力，你们现在面临被拆分的风险。
在对四大科技公司进行了长达16个月的调查后，众议院司法反垄断小组委员会发布了一份长达449页的重磅报告，阐述了为什么每家公司都拥有垄断权。它还就国会如何通过重写规则来平息这一问题提出了一系列建议。
但这份......
2020-10-8 9:23
威廉·莱特温(William Letwin)在“美国法律与经济政策：谢尔曼反托拉斯法的演变”(Law and Economic Policy in America：The Event of the Sherman Anti Trust Act)一书中认为，理解谢尔曼反托拉斯法，进而理解美国反托拉斯法的唯一途径，就是理......
2020-10-8 9:19
在这两个帖子的第一部分中，我分享了一个建立在树莓派和铁锈之上的温馨制造者项目的过程。与其说它是一个指南，不如说它是一个故事，但它提供了一个有趣的遇到问题的年表。在第2部分中，我将介绍一些技术性内容，并对铁锈进行深入讨论。此项目的源代码可在Github上找到。
我有幸和最近搬到海边小镇的爱丽丝一家一起过暑假。蒂姆是这个......
2020-10-8 9:11
编写高质量的软件很难。有时，软件会以娱乐的方式中断。然而，当软件运行从Alexa和谷歌主页(Google Home)等个人助理到银行业务再到选举的一切时，一些漏洞可能会更严重。
在过去的一个季度里，Armin Namavari和我试图教授一个关于如何编写差劲一点的软件的课程。我们将重点放在由某些愚蠢(但非常严重)的错......
2020-10-7 22:31
欧盟委员会今天宣布，它已经接受了这家美国芯片制造商的承诺，暂停所有现有的包含排他性或准排他性安排和/或利用有关电视机顶盒和互联网调制解调器的片上系统(SoC)条款的协议。
博通还承诺在七年内不会签订包含此类条款的新协议。而它有30天的时间来清理任何违规的合同条款，并遵守具有法律约束力的协议。
一年多前，欧盟反垄断监管......
2020-10-7 22:12
欧洲最高竞争官员表示，在成功迫使美国芯片制造商博通(Broadcom Inc.)之后，她将更多地使用禁令，包括在针对大型科技公司的悬而未决的案件中。改变其所谓的反竞争行为。
欧盟最高反垄断监管机构欧盟委员会(European Commission)周三表示，将结束调查，并接受博通具有法律约束力的承诺，即在未来7年内不......
2020-10-7 19:32
以下是亚马逊、苹果、Facebook和谷歌反驳的简要介绍。
在一篇长篇但有力的博客文章中，这家电商巨头品牌委员会对反垄断“边缘概念”和“监管随地吐痰”发表了看法--如果立法者屈尊涉足任何“误入歧途的干预”，他们将大肆宣扬小企业厄运的可怕预测，以及被高价激怒的消费者的囤积。
这种有缺陷的思维将产生主要影响，迫使数百万独......
2020-10-7 16:20
上周，皮尤研究中心(Pew Research Center)公布了一系列民意调查的结果，调查了20个不同国家的民众如何看待科学。尽管皮尤中心在一些国家和大量调查人群中拥有超过10年的数据优势，但它在时机方面略有不足。新冠肺炎大流行的到来将科学推上了新闻和政策讨论的风口浪尖，它让每个人都有了了解最新医学建议的个人兴趣。......
2020-10-7 15:47
对于初创企业来说，最相关的点是该委员会为解决大型科技公司问题提出的潜在解决方案，这些解决方案主要归结为，当小公司声称规模较大的竞争对手正在行使垄断优势时，它们将获得怀疑的好处-并阻止未来的那种收购，这些收购使这些公司能够达到它们目前在所选市场上无懈可击的地位。
委员会断言，在它们的核心业务领域：搜索、电子商务、社交网......
2020-10-7 15:3
对自由市场的误导干预将扼杀独立零售商，并通过迫使小企业退出受欢迎的在线商店、提高价格、减少消费者的选择和便利性来惩罚消费者。
我们很幸运，亚马逊对客户的痴迷帮助我们成长为一家广为人知的大公司。领先的独立民调显示，80%的美国人对亚马逊印象良好。努力赢得并保持这种信任是亚马逊第一天心态的最大驱动力-我们的做法是在新组织......
2020-10-1 4:8
一年多前，我写了一些关于“更小的锈”的笔记，这是一种更高级的语言，它将从Rust的一些类型系统创新中获得灵感，但由于针对的领域对用户控制和性能的要求不那么严格，所以会更简单。在今年失业期间，我致力于更详细地勾勒出这样的语言会是什么样子。我想写一点关于在这段时间里我得出了什么新的结论。
重读我的上一篇文章，我惊讶地发现......
2020-10-1 3:21
大局：谷歌已经在欧洲收到了数十亿美元的反垄断罚款，美国司法部正准备将其拖入另一场斗争。在华为和其他中国公司谴责谷歌在Android问题上的反竞争行为后，随着中国也在寻求发起自己的反垄断调查，这家搜索巨头在未来几年似乎会有很多事情要做。
谷歌在欧洲打了相当一部分的反垄断战，首先是因为在搜索结果中推广自己的购物服务，然后......
2020-9-30 23:27
中国北京/新加坡/深圳(路透社)-两名知情人士表示，中国正准备对Alphabet Inc&39；GOOGL.O谷歌(GOOGL.O Google)发起反垄断调查，调查有关谷歌利用其Android移动操作系统的主导地位扼杀竞争的指控。
他们补充说，此案是由电信设备巨头华为技术有限公司去年提出的，并已由国家最高市场监管机......
2020-9-30 19:20
中国北京/新加坡/深圳(路透社)-两名知情人士表示，中国正准备对Alphabet Inc&39；GOOGL.O谷歌(GOOGL.O Google)发起反垄断调查，调查有关谷歌利用其Android移动操作系统的主导地位扼杀竞争的指控。
他们补充说，此案是由电信设备巨头华为技术有限公司去年提出的，并已由国家最高市场监管机......
2020-9-30 3:44
这是对铁锈呼吁的2021年博客的响应，也是对去年进入的后续行动。它将完全集中在GUI上。
对于Rust的GUI工具包有相当大的兴趣。作为一个数据点，它在2019年Rust调查中排名第六，仅次于异步I/O。为了实现这一目标，也有相当多的活动，尽管作为一个社区，它仍然感觉有点不专注。一个典型的迹象是似乎每隔几个月左右就会......
2020-9-29 13:51
©2020财富传媒IP有限公司。版权所有。使用本网站即表示接受我们的使用条款和隐私政策|CA收集和隐私声明|请勿出售我的信息|Ad Choices Fortune是Fortune Media IP Limited的商标，在美国和其他国家/地区注册。“财富”杂志可能会因本网站上的一些产品和服务链接而获得补偿。报盘如有更......
2020-9-28 8:43
这个项目的目的是制造一个黑莓跟踪球鼠标，并把它粘在(据称)符合人体工程学的键盘中间……。在铁锈嵌入中，对于STM32F042：)。
这是从Twitter的点子到董事会，然后是铁锈嵌入公司(Rust Embedded)的想法。该代码基于RTIC Rust-Embedded框架(以前称为RTFM)。它只使用中断，也可以在......
2020-9-28 7:56
美国政府已经准备好对谷歌搜索引擎提起反垄断诉讼，指控该公司“为了保护和扩大垄断而粉碎竞争”。
消息人士告诉彭博社，在此之前，美国司法部(DoJ)进行了长达14个月的调查，调查谷歌是否为了偏袒自己的产品而扭曲搜索结果，并切断了与竞争对手的联系。
这一点意义重大，因为谷歌拥有美国在线搜索领域90%的主要控制权，并创造了令......
2020-9-27 19:49
我注销Cloudflare账户已经一年多了。他们不停地给我发电子邮件，尽管一再要求，也没有把我从他们的营销名单中删除。他们的首席技术官告诉我他会调查，但什么都没改变。他们的数据保护办公室没有回应我的请求。
我已经将这一事件升级到最高级别的云焰，但他们似乎就是无法采取任何行动。这是令人担忧的。
不幸的是，首席技术官约翰......
2020-9-27 12:5
早上好!。现在还是2020年，世界着火了，所以我想我们都需要散散心。
这篇文章延续了我被无耻的书呆子狙击的传统-一次是Pascal关于小字符串的攻击，第二次是Twitch查看器关于Rust枚举大小的攻击。
不如您教我们如何在文件更改时重新加载dylib？
比方说我们想问候许多不同的事物和人，我们可能想要greet函数......
2020-9-26 10:31
据报道，美国反垄断执法者正在起草一项针对谷歌(及其母公司Alphabet)的诉讼。司法部和一个由州总检察长组成的大型联盟本周将举行会议，可能很快就会提起诉讼。据报道，虽然它将重点关注谷歌在在线广告和搜索领域的主导地位，但这起诉讼可能会涵盖谷歌行为的更多方面，包括其在移动操作系统和网络浏览器方面的主导地位。这起诉讼有可......
2020-9-24 21:19
在Cloudflare，我们一直在努力提高我们的优势表现-这正是我今年夏天实习所需要的。我很高兴能与大家分享我们在过去几个月里对我们广受欢迎的防火墙规则产品所做的一些改进。
防火墙规则允许客户过滤到达其站点的流量。它是使用我们的引擎Wirefilter构建的，它接受客户编写的强大的布尔表达式，并将传入的请求与它们进行......
2020-9-24 19:36
Rust编程语言通过拥有[3]、引用和借用[4]以及slicetypes[5]特性来提供内存[1]和线程[2]的安全保证。然而，“不安全的锈”[6]引入了不安全的块、不安全的函数和方法、不安全的特性以及不受借用规则约束的新类型。
Rust标准库的部分实现为不安全代码之上的安全抽象(历史上容易受到内存损坏的影响[7])......