私营互联网服务商历来极力避免被归类为“国家行为体”,以规避宪法对言论的相关规定,否则它们将陷入因内容审核而引发的持续且不可承受的诉讼之中。
然而,在近期的一起堪萨斯州诉讼案中,Snap 公司为了将案件从州法院移交至联邦法院,辩称其行动是在联邦机构(国土安全部和食品药品监督管理局)的指导下进行的,这一辩词无意间危及了其立场。为支持这一观点,Snap 强调了其与这些机构在公共宣传活动中的合作。尽管堪萨斯州法院驳回了 Snap 的论点,指出这些互动仅属于标准的商业往来,并未达到“国家行为体”地位所需的“严格控制”标准,但这一策略还是产生了反作用。
通过声称是在政府指导下行事,Snap 为未来的诉讼方提供了证据,使其能够辩称该公司实质上是国家的代理人,从而可能导致该公司面临“政府施压”的指控。虽然堪萨斯州法院在实体问题上作出了有利于 Snap 的裁决,但佛罗里达州目前正有一项相互矛盾的裁决处于上诉阶段。如果上诉法院作出宽泛或不利的解读,Snap 为获取微小程序优势所采取的这一举措,可能会为其自身及整个科技行业带来长期性的生存法律风险。
美国空军已将与 DZYNE Technologies(Ondas 的子公司)的合同金额增加了一倍以上,达到 8560 万美元,以加速 ULTRA 监视无人机的开发。这项投资反映了在美伊冲突中 MQ-9“死神”机队遭受重大损失后,空军对补充其情报、监视和侦察(ISR)能力的迫切需求。
ULTRA 平台是一款高性价比的第 5 类无人机,正被定位为 ISR 任务中“死神”无人机的战略补充和潜在继任者。美国空军官员近期强调了低成本、可大规模生产的自主平台的重要性,并宣布计划在 2032 年前部署一支由 500 架“大众模块化飞机”(MMA)组成的机队。
此次合同的扩大标志着美国空军正推动通过可负担的、消耗性技术来实现无人机队的现代化。随着国防开支可能增加,分析师认为,ULTRA 平台的持续采用可能会显著影响 Ondas 的市场地位,尤其考虑到该股目前的高空头头寸。
尽管中东冲突导致价格波动加剧且供应链中断,东南亚各国仍在积极扩张其天然气基础设施。根据全球能源监测(Global Energy Monitor)的一份报告,该地区目前有约 100 吉瓦(GW)的燃气发电装机容量和 70 吉瓦的液化天然气(LNG)进口容量正在建设中。
尽管专家建议增加国内天然气产量以减少对昂贵进口的依赖,但这一策略耗时较长且存在不确定性。该地区目前的扩张战略大都基于一些不稳定的假设,即液化天然气供应将持续可靠、价格具有竞争力,且国内储量能够充分填补供应缺口。
全球能源监测警告称,持续的扩张可能会使东南亚长期暴露在动荡的全球能源市场风险之中。随着冲突持续,这些大型基础设施项目的商业可行性正日益受到考验,引发了人们对该地区长期能源安全的担忧。
虽然现代自动售货机已成为日常生活的一部分,但其起源可以追溯到古罗马时期的埃及。最早的自动化设备由亚历山大的希罗(Hero of Alexandria)发明,他利用投币式的天平和杠杆机制在神庙中分发圣水。
几个世纪后,到了17世纪,自动售货技术在英国重新出现,用于销售烟草。19世纪末,该行业开始蓬勃发展,早期的美国创新者如托马斯·亚当斯(Thomas Adams),开始在纽约的铁路站台上使用机器销售口香糖。整个20世纪,机器经历了显著的演变,从销售香烟、咖啡到冷藏三明治,功能日益多样。
技术的进步,特别是从单纯的投币操作转向纸币扫描,以及最终实现信用卡和数字支付的整合,彻底改变了该行业。如今,自动售货市场已是一个价值数十亿美元的企业,并采用了触摸屏和人脸识别等先进功能。从简单的分配器到提供美食和新鲜农产品的复杂智能终端,自动售货机已从古代的奇珍异物演变为现代商业中必不可少的高科技工具。
本文探讨了苏联“暴风雪”号航天飞机的四通道冗余系统,该系统利用四台运行相同软件的“Biser-4”飞行计算机,以实现对两次同步故障的容错。作者明确指出,这并非“3f+1”拜占庭容错方案,而是一种通过比较输出结果来识别并屏蔽故障通道的输出表决系统。
作者指出,在所有通道上运行相同的软件会带来“共模故障”的风险,即共享的软件漏洞可能导致所有计算机产生相同的错误输出,航天飞机(Space Shuttle)和阿里安501(Ariane 501)火箭均曾因该漏洞遭受重创。
为了探索这一问题,作者使用 Rust 语言实现了一个表决组件,并利用 Lean 4 定理证明器对其正确性进行了机器辅助形式化验证。尽管证明确保了表决器本身不会发生崩溃且能正确屏蔽单点故障,但它无法检测或防止共享的软件缺陷,也不是符合 DO-178C 等行业标准的完全合格工具。文章最后总结道,形式化验证虽是确保关键系统可靠性的有力手段,但它只是对严谨软件设计和系统级故障防护的补充,而非替代。
1980 年推出的英特尔 8087 处理器通过大幅加速浮点运算,彻底改变了 IBM PC 的性能。其一大亮点是 `FPTAN` 指令,仅需 90 微秒即可完成正切计算,相比 8086 处理器所需的 13,000 微秒有了巨大提升。
为了实现这一性能,8087 采用了结合 **CORDIC**(坐标旋转数字计算机)算法与**有理多项式近似**的复杂混合算法。CORDIC 最初是为 B-58 轰炸机开发的,它允许仅通过简单的加法、减法和位移运算来计算超越函数,从而避免了昂贵的乘法或除法运算。
该芯片的微代码通过三个阶段实现 `FPTAN`:
1. **伪除法**:利用 CORDIC 确定必要的旋转角度。
2. **有理近似**:使用帕德近似($3x/(3-x^2)$)高精度处理剩余角度。
3. **伪乘法**:通过位移和加法应用确定的旋转。
通过卸载除法运算并利用专用硬件进行平方和位移,8087 高效地实现了 64 位精度。尽管现代 CPU 现在更倾向于使用多项式近似和向量化库(SIMD)而非 CORDIC,但 8087 依然是计算机史上硬件级巧妙优化的里程碑。
虽然大英博物馆展出的贝叶挂毯原件门票已售罄,但雷丁博物馆提供了一个绝佳的替代选择。在那里,您可以免费欣赏到一幅全尺寸的手工刺绣复制品,无需排队,也无需支付高昂的门票费用。
这件长70米的杰作由利克刺绣协会于1885年创作,陈列在一个专门的展厅中。由于它避开了11世纪原件所经历的历史磨损,因此色彩依然极其鲜艳。雷丁的这件复制品还因其透明度而独具特色:35名绣工中的每一位都在自己的板块上缝上了名字,博物馆甚至还增加了乔伊·梅森特(Joy Messent)于2019年创作的补白,想象了挂毯遗失的最终场景。
无论您是对诺曼征服、19世纪的针线活,还是仅仅对引人入胜的历史叙事感兴趣,雷丁博物馆都能提供高质量且便捷的参观体验。虽然它可能缺乏布卢姆茨伯里(大英博物馆)那种950年历史的“历史气息”,但这件制作精良的艺术品完美地捕捉了黑斯廷斯战役的宏大故事。博物馆周二至周六开放,免费入场。
米兰·亚当斯(Milan Adams)认为,全球向央行数字货币(CBDC)的转型代表了金融隐私和个人自主权的根本性侵蚀。与传统的数字支付不同,CBDC实现了“可编程货币”,允许当局根据时间、用途或地点限制消费,并实时监控每一笔交易。
亚当斯将这一转变形容为“梦游”般步入监控国家,并指出这受到现金使用减少、生物识别技术兴起以及金融数据与社会信用体系整合的推动。通过建立一个无需司法监督即可冻结或阻止交易的系统(正如近期政治抗议活动中所见),政府可以对个人行为施加前所未有的控制。
为了维护独立性,亚当斯敦促读者采取防御措施:
* **保留现金储备**,用于匿名交易。
* **获取有形资产**(如贵金属、工具),这些资产不受数字冻结的影响。
* **支持本地化、去中心化的经济**,在国家监控渠道之外运作。
* **优先考虑数字资产的自我托管**,拒绝完全依赖基于电网的系统。
最后,亚当斯警告称,一旦全面金融监控的基础设施完全实施,恢复经济自由的能力将彻底丧失。
印度各邦炼油厂今年 9 月将液化石油气(LPG)日产量提高了近 20%,达到 4.4 万吨,以满足该国节日期间不断增长的需求。
此次产量激增是在供应链担忧加剧的背景下进行的,相关担忧与霍尔木兹海峡有关,该海峡是印度历史上 90% 液化石油气进口的关键中转点。为缓解潜在的短缺问题,印度已实现进口来源多元化,转向美国和非洲。此外,作为印度最大的供应国,阿拉伯联合酋长国通过利用管道旁路和次要航运路线来规避地区地缘政治动荡,从而保持了可靠的供应。
尽管采取了这些加强能源安全的举措,但液化石油气的整体消费量预计仍将低于去年水平。高昂的价格和供应中断已对印度工业部门造成了严重的“需求破坏”,尽管该国仍有 60% 的家庭依靠这种燃料进行烹饪。阿联酋国家石油公司(ADNOC)已公开重申,致力于履行所有 10 月份的合同供应量,以确保印度市场的稳定。
日本正在收紧永久居留权申请要求,导致长期居住在当地的外国人对其未来感到焦虑。自10月1日起生效的新规要求申请者证明其日语水平,提供30年养老金缴纳证明,并满足更高的收入门槛。
尽管日本迫切需要外国劳动力来应对人口萎缩,但这些政策转变正值右翼政治氛围抬头及公众对移民的抵触情绪日益增加之际。像科技工程师阿卜杜勒和美国专业人士莎拉·内尔金这样的长期居民表示,他们担心自己可能被迫离开已生活多年的家园。虽然内尔金等一些人正在考虑归化(这需要放弃原国籍),但其他人则在寻求海外机会。
专家警告称,这种“选择性和有条件”的方法造成了矛盾:日本一方面依赖外籍员工来解决劳动力短缺问题,另一方面却在大幅增加长期定居的难度。这一发展轨迹使日本在未来的社会认同以及能否保持对全球人才的吸引力方面,处于十字路口。
作为全球唯一的光刻机供应商及欧洲市值最高的公司,ASML 报告称,2026 年上半年其来自欧洲客户的收入为零。与往年相比,这一下滑凸显了欧洲在先进芯片制造设施方面缺乏国内投资。
ASML 高管弗兰克·海姆斯克尔克(Frank Heemskerk)警告称,欧洲目前专注于补贴“供给侧”(晶圆厂建设)是远远不够的。他主张,欧洲当局必须转而通过激励大型产业采购本地芯片来培育“需求”。目前,尽管欧洲正在建设多家新晶圆厂,包括英特尔、台积电和英飞凌的项目,但这些设施主要使用成熟且成本较低的技术,而非推动 ASML 核心业务的尖端系统。
此外,由于许多欧洲制造的芯片仍在海外进行封装或研发,欧洲大陆目前缺乏一个完全整合的战略性半导体生态系统。ASML 正游说欧盟领导人组织集体需求,旨在确保欧洲市场能够支持维持该地区长期技术竞争力所需的高端制造能力。
卡罗琳·M·约阿希姆的《欢迎来到星际中转站医疗诊所》是一篇讽刺性的互动短篇小说,其结构模仿了绝望的“选择你的冒险”游戏。
故事讲述了一名空间站工作人员感染了一种由甲虫引起的神秘紫色皮疹。为了在功能失调的诊所寻求治疗,主角遭遇了无穷无尽的官僚主义、不称职的员工、掠食性的外星人以及各种荒谬的障碍。无论读者做出何种选择——是试图插队、寻求假肢,还是寻找其他治疗方法——故事总是将读者困在行政繁文缛节与身体危险的徒劳循环中。
归根结底,这篇小说是对医疗体系的挫败感和自主权幻觉的一种黑色幽默评论。通过反复出现的循环,约阿希姆展现了主角从一开始就注定的命运,讽刺了在不可避免的官僚厄运面前,个人的决定毫无意义这一观点。每一条路径,无论看起来多么“正确”,最终都通向同一个结果:痛苦的死亡或怪异的残缺生存。小说以幽默的方式提醒读者——至少在这个虚构的诊所里——官僚体制是无法逃脱的。