为了规避近期北约土耳其峰会期间伊朗方面可信的暗杀威胁,白宫精心策划了一场“欺敌行动”,以确保唐纳德·特朗普的安全转移。 尽管政府公开宣布——且媒体报道也予以证实——特朗普乘坐一架老式“空军一号”大型喷气式客机离开了安卡拉,但实际上,总统在登机几分钟后就被秘密转移了。安保人员利用一辆机场配餐车,将他悄悄送往一架较小的空军C-32A飞机上。 为了维持骗局,随行的记者被要求在整个飞行过程中关闭舷窗遮光板。这一欺敌手段有效地向媒体及部分白宫工作人员隐瞒了特朗普的真实行踪。C-32A飞机比诱饵飞机提前不久抵达英国,使特朗普得以按计划在原定飞机上从容现身并下机。 白宫并未明确证实该骗局的细节,但强调官员们会动用“一切可用手段”来保护总统免受日益严重的各类安全威胁。此次行动被拿来与2000年为保护比尔·克林顿总统访问巴基斯坦时所使用的类似诱饵飞行进行比较。
编程分布式系统——即多台计算机必须相互通信以完成某项任务——向来极其困难。开发人员经常被手动通信、复杂的漏洞以及令人头疼的测试所困扰。
**Choral** 是一种全新的编程语言,旨在通过让您将系统的“全局视图”编写为一个统一的协议来解决这一问题。您无需分别管理各个部分,而是直接定义各个角色(如 Alice 和 Bob)应如何进行交互。
以下是它成为游戏规则改变者的原因:
* **编译器承担重任:** 您只需编写一次编排逻辑。Choral 编译器会自动为每个参与者生成独立的、完全兼容的 Java 库。
* **安全性保障:** 它能在编译阶段防止分布式系统中常见的错误,例如死锁或通信不匹配。
* **易于集成:** Choral 的外观和行为与 Java 类似。您可以利用现有的 Java 库,并将生成的代码无缝嵌入到当前项目中。
* **简洁性:** 它将分布式协调的噩梦转化为简单的顺序式编程。
尽管目前仍处于研究阶段,但 Choral 已经可供那些希望以更高信心、更少代码量来编写分布式系统的开发人员使用。
一项“Effort”调查显示,五个受外国资助的非政府组织(包括 5Rights、数字仇恨打击中心(CCDH)和战略对话研究所(ISD))正协同开展一场旨在影响美国立法的行动。这些组织正积极在全美21个州和国会推动数字身份证及“儿童安全”法案,旨在复刻英国已实施的相关政策。
该报告强调,人们担心这些组织正在引入一套被英国政府用于监视和压制政治异见的监管模式。批评者认为,这些剥夺互联网匿名性并可能取缔VPN的框架,与威权政权的手段如出一辙。
调查记录了这些实体在遵守《外国代理人登记法》(FARA)方面存在的重大问题,包括未披露受外国领导层控制及游说活动的情况。值得注意的是,像ISD这样的组织已获得数百万美元的政府资助,用于监控和影响在线言论,常将政治异见与“虚假信息”混为一谈。报告最后警告称,通过采纳这些由外国设计的立法蓝图,美国正面临引入一套能够使政府主导的国内政治言论审查合法化并为其提供便利的基础设施的风险。