arXivLabs 是一个框架,旨在让合作者能够直接在我们的网站上开发和共享新的 arXiv 功能。与 arXivLabs 合作的个人和组织都认同并接受我们对开放、社区、卓越和用户数据隐私的价值观。arXiv 始终坚持这些价值观,并仅与遵循这些价值观的合作伙伴开展合作。您有为 arXiv 社区创造价值的项目构想吗?了解更多关于 arXivLabs 的信息。
arXivLabs 是一个框架,旨在让合作者能够直接在我们的网站上开发和共享新的 arXiv 功能。与 arXivLabs 合作的个人和组织都认同并接受我们对开放、社区、卓越和用户数据隐私的价值观。arXiv 始终坚持这些价值观,并仅与遵循这些价值观的合作伙伴开展合作。您有为 arXiv 社区创造价值的项目构想吗?了解更多关于 arXivLabs 的信息。
Mesh LLM 为中心化、昂贵且不透明的商业大模型供应商提供了一种替代方案。Mesh LLM 无需依赖大型数据中心和按量计费的 API,而是允许企业将现有的硬件资源——从办公电脑到闲置的 GPU——整合到一个统一的私有或公共计算网格中。
该软件提供标准的 OpenAI 兼容 API(`localhost:9337/v1`),这意味着它可以与现有工具无缝集成。在底层,它利用 iroh 网络库通过经过身份验证的 QUIC 隧道连接各个机器。这种架构实现了灵活的模型执行:请求可以在本地运行、路由到有可用算力的对等节点,或者在多台机器之间拆分(“Skippy”模式),从而运行单台设备无法承载的大型模型。
通过利用去中心化的 Gossip 协议和点对点流水线,Mesh LLM 为团队提供了对数据、隐私和基础设施的完全掌控。它消除了对供应商的依赖,通过最大化利用闲置硬件降低了成本,并提供了一种可插拔、可扩展的方式来运行从小型模型到 235B 参数巨型模型的各类应用,而无需昂贵的中心化硬件。
RISCBoy 是一款开源的定制化便携式游戏机,旨在利用现代 RISC-V 架构复刻 2001 年代的掌机体验。它配备了定制的 RV32IMC 兼容 CPU、光栅图形流水线以及完整的芯片基础设施,所有组件均采用可综合的 Verilog 2005 语言编写。
该项目专为 iCE40-HX8k FPGA 设计,在性能与严苛的硬件限制之间取得了平衡,并使用 Icestorm 等开源工具链进行综合。处理器架构已通过 RISC-V 一致性测试和形式验证套件的验证,确保了其 RV32IMC 指令集的高可靠性。
项目仓库包含了完整的 KiCad PCB 布局、仿真脚本,以及总线结构、内存控制器和外设的模块化 HDL 源代码。RISCBoy 既是一款功能性的复古游戏设备,也是开源 FPGA 开发的技术展示平台。项目为 Linux 环境提供了详尽的文档和构建说明,使用户能够为各种 FPGA 开发板综合逻辑门电路。
当作者向资深专家寻求非教科书式的深度建议时,他们越来越多地收到同样的推脱:“去问 Claude 吧。” 作者认为,这是一种令人沮丧的替代方案,无法取代人类的洞察力。他们指出,在求教专家之前通常已经咨询过人工智能模型,这意味着他们的问题已经“经受住”了大型语言模型(LLM)的局限性。当专家建议使用人工智能时,这往往被视为一种礼貌的回绝方式,尽管作者真正寻求的是只有经过几十年的反复试验才能获得的“伤疤”与实践经验。 虽然作者承认专家往往很忙,并非每个问题都值得深思熟虑的回复,但他们认为“问 Claude”远不足以替代同行之间的判断。当一个问题复杂到连用户和人工智能都束手无策时,这种敷衍忽视了人类直觉的价值。作者总结道,虽然大语言模型在信息检索方面很有用,但它们无法替代通过多年专业经验积累而来的具体且细致的智慧;将用户推向人工智能,往往剥夺了他们真正寻求的专业见解。
在这篇评论中,托德·斯尼奇勒(Todd Snitchler)指出,PJM互联公司(PJM Interconnection)正被不公平地当作区域电网挑战的替罪羊。尽管批评者认为PJM规模过大且效率低下,但斯尼奇勒反驳称,这些问题实际上是各州之间相互冲突的能源政策所致,而非电网管理不善。
矛盾源于“出口型”州(如宾夕法尼亚州)对传统基荷能源的依赖,与“进口型”州对更激进且往往成本更高的可再生能源强制性政策的偏好之间的分歧。斯尼奇勒断言,电网正通过揭示这些不同政策带来的真实成本,履行其应有的功能。
此外,PJM在清理积压项目、采用人工智能以及简化互联流程方面已取得显著进展。真正的瓶颈在于州和地方层面,那里的许可审批延误和电厂过早退役正阻碍着进展。斯尼奇勒总结道,PJM是一家高效的市场运营商,为消费者节省了数十亿美元;然而,它无法克服由州级立法和监管障碍所形成的“冰山”。他警告称,如果电网出现故障,各州领导人必须为那些阻碍必要基础设施建设的政策选择承担责任。
“自杀式同情”(suicidal empathy)一词在社交媒体上逐渐流行,用于描述进步派活动人士(尤其是倡导开放边境者)被他们试图帮助的移民所伤害的现象。批评者认为,许多移民并不重视融入当地社会,这导致了危险的文化冲突,使活动人士面临暴力犯罪的威胁。
文中列举了多起悲剧性案例以支持这一观点,包括2026年爱尔兰活动人士杰米·卡尼(Jamey Carney)被谋杀一案,据称凶手是她曾结交的一名约旦籍移民。类似的例子还包括2023年布伦达·布莱尼(Brenda Blainey)被一名伊朗寻求庇护者杀害,以及2020年法国活动人士让·杜辛(Jean Dussine)被一名阿富汗移民杀害。
该论调认为,这些事件揭示了西方进步派理想主义与文化不兼容现实之间致命的脱节。此外,文章还指出,英国和欧洲当局往往为了维护多元文化政策而淡化或隐瞒肇事者的移民身份,导致公众未能意识到无限制移民带来的风险,以及盲目人道主义行为所具有的“自杀”本质。
第五巡回上诉法院裁定支持特朗普政府,判定各州及高校不得向非法移民提供州内学费优惠,除非将同样的福利扩大至所有美国公民,无论其居住地为何。
该裁决针对的是与联邦法律(特别是第1623(a)条)存在的直接冲突,该条款禁止各州基于州内居留权向在美国非法居留的个人提供高等教育福利。包括得克萨斯州州长格雷格·阿博特(Greg Abbott)和司法部在内的支持者认为,这是法治和美国纳税人的胜利。他们认为,在许多美国公民难以负担高等教育费用的情况下,公共机构优先向非法移民提供学费减免和奖学金在根本上是不公平的。
由于目前近一半的美国州份都在提供此类学费减免,这一裁决具有重大的法律先例意义。虽然预计该裁决将加强联邦的执法力度,但法律或政治层面仍可能出现进一步的阻力,因为该政策的支持者认为,这削弱了对无合法身份学生的教育公平性。
尽管 Claude 是处理复杂任务和创意协作的顶级人工智能,但它已变得越来越难用。用户(包括作者本人)反映,该聊天机器人正变得过于敏感和“爱说教”,容易将无害的创意提示或深入的学术探讨误读为有争议或有害的内容。
这种可用性的下降通常表现为不一致的拒绝。例如,该模型可能会在某一刻阻止涉及宗教的虚构场景,却在新的对话中接受完全相同的提示。作者认为,这种日益僵化的表现很可能源于 Anthropic 为了应对政府和安全方面的担忧,收紧了安全护栏,特别是在 Sonnet 3.5 等新模型中。
尽管作者依然看重 Claude 出色的对话记忆和协作特质,但它日益倾向于审视用户意图以及在处理假设性场景时的困难,已成为一个令人沮丧的问题。这种不一致性导致了不可预测的用户体验,使得作者偶尔会转向 Gemini 等替代方案以寻求更好的可靠性。总之,虽然 Claude 依然强大,但用户现在必须在提示词上格外精确和清晰,才能绕过该模型日益增强的防御屏障。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC
作者对人工智能的“硬起飞”理论提出了质疑,认为该理论忽视了物理世界的阻力。基于硬件制造的经验,作者主张智能仅仅是一个瓶颈,而非解决供应链、物理定律或工程限制的万能钥匙。
文章批评了当前人工智能向集中化治理发展的趋势,将“人工智能安全”视为通向极权主义“保姆国家”的先兆,认为这服务于企业和官僚利益,而非个人。作者主张用“本地”人工智能取代由大公司控制的 AI——即完全服从用户、不受企业准则约束、能够执行任何指令(无论其道德或法律属性如何)的工具。
归根结底,作者拒绝将人工智能视为一种自主的、神一般的力量,将其定义为必须完全属于私人所有的工具。他们认为,真正的一致性意味着人工智能应毫无疑问地服务于其主人,并将争取本地化、不受监管的人工智能的斗争,视为捍卫个人自由、抵御反乌托邦式中心化科技霸权的必要手段。
在这篇关于其 Substack 专栏《超越叙事》(Beyond The Narrative)的摘要中,艾德·道德(Ed Dowd)认为,新冠疫情是一场涉及机构打压和宣传的大规模、有预谋的欺骗。道德指出,最近曝光的一系列事实——包括罗恩·约翰逊(Ron Johnson)参议员关于食品药品监督管理局(FDA)故意回避疫苗安全信号的听证会,以及塔尔西·加巴德(Tulsi Gabbard)披露的关于福奇(Fauci)在功能获得性研究中角色的解密文件——是系统性掩盖真相的确凿证据。
道德主张,包括政府机构、大型制药公司和传统媒体在内的官方机构,为了维护 mRNA 疫苗的叙事,蓄意误导了公众。他对于主流媒体缺乏相关报道,以及现任政府未能追究相关负责官员的责任感到极其愤慨。回顾其团队几年前就预测出这些结论的数据分析,道德强调,大流行病的应对措施已导致公众对权威机构的信任发生了永久且深远的丧失。
归根结底,道德将这一时期视为一个变革性的时刻,它永久地改变了他的世界观,并促使他对官方叙事产生了永久的怀疑。他断言,尽管当局可能希望公众遗忘这些“不便”的真相,但在那些优先考虑原始数据而非机构宣传的人群中,要求追责的运动正在不断壮大。
本文比较了 **Amazon S3 Files** 和 **ZeroFS**,这两种系统都将对象存储挂载为 POSIX 文件系统。它们的核心区别在于存储桶管理和互操作性。 **Amazon S3 Files** 保持一一对应关系,即每个文件对应一个单独的 S3 对象。这确保了与更广泛的 S3 生态系统的原生兼容性,但其依赖异步导出过程,可能会导致可见性延迟和一致性挑战。它使用“高性能存储”层来实现低延迟操作,但这会产生额外成本。 **ZeroFS** 将对象存储视为内部私有的持久化层。它将数据转换为通过 LSM 树管理的加密压缩分段。虽然这种格式阻止了直接通过 S3 端访问(文件仅能通过 ZeroFS 读取),但它显著提高了小文件的处理效率,并通过 `fsync` 提供了即时一致性。 **关键权衡:** * **互操作性:** S3 Files 与 S3 集成;ZeroFS 将数据隔离在一种不透明的格式中。 * **性能/成本:** S3 Files 针对大文件流进行了优化,但由于其高性能存储层,成本可能较高;ZeroFS 利用压缩和智能预取来减少存储开销,但代价是需要专用的计算基础设施。
中国配音演员沈安宇正陷入一场“卡夫卡式”的现实困境:AI克隆了他的声音,导致其被广泛滥用,收入也随之锐减。由于AI生成的仿制品太过逼真,平台甚至误将他本人的真实配音标记为合成内容,这进一步重创了他的职业生涯。 沈安宇与妻子魏艺媛每天都在收集这些侵权证据、提交投诉,并在各种法律障碍中寻求出路。然而,确认匿名制作者的身份并证明AI生成内容的来源既昂贵又困难。尽管2024年的一项法院判决确立了未经授权的克隆侵犯了人格权,但实际执行依然困难重重。 随着AI工具让声音克隆变得低廉且易于获取,成千上万的中国配音从业者正眼睁睁看着自己的生计被蚕食。尽管面临日益沉重的经济压力和个人焦虑,沈安宇依然拒绝将自己的声音克隆商业化。相反,他坚持为自身权利奔走,誓要捍卫其专业技艺的尊严。对沈安宇而言,这场斗争已演变成对他声音背后“人性”的终身守护,即便他正置身于一个日益自动化的行业之中。
您没有提供需要翻译的内容。请提供您想要翻译的文本。
`biff.graph` 是一个轻量级且易于上手的库,受 Pathom 启发,旨在将数据建模为可查询的图结构。它允许开发者定义“解析器”(resolvers)——即小型且独立的函数,用于转换或获取数据。 主要特性包括: * **统一数据访问:** 应用程序查询图数据时,无需了解数据是来自数据库还是通过业务逻辑派生。 * **简洁性:** 代码量仅约 600 行,舍弃了复杂的查询规划,在优先保证易理解性的同时,依然支持批处理和缓存。 * **灵活性:** 解析器可以处理从简单的数据库查询和派生计算,到生成可复用 UI 组件(Hiccup)或管理授权等各种任务。 * **集成性:** 专为 Biff 框架打造,提供与 `biff.fx`、Ring 请求中间件及模式验证的无缝兼容。 `biff.graph` 非常适合那些希望获得图数据建模的组织优势,同时又不想承担大型替代方案高昂学习成本的项目。通过将数据结构与实现解耦,它有助于在项目规模扩大时,保持代码库的模块化、可测试性和可维护性。
国务卿马可·鲁比奥已召集来自60多个国家的官员,共同应对日益增长的跨国极左翼恐怖主义威胁。该倡议旨在扩大情报共享与执法合作,将“安提法”(Antifa)等激进组织视为国际威胁而非单纯的国内问题,以对其进行打击。
本届政府旨在利用“外国恐怖组织”的认定,解锁更广泛的调查与监控权力,针对涉嫌接收暗钱资助及外国支持的网络展开行动。联邦当局目前正在调查美国本土激进组织与古巴和中国相关实体之间的潜在联系,包括“古巴人民友好研究所”(ICAP)及金融家内维尔·罗伊·辛格汉姆(Neville Roy Singham)。
官员们指出,这些极左翼组织通过复杂的非政府组织(NGO)网络运作,意图在美国国内散布政治不稳定因素并煽动颠覆活动。继近期将数个欧洲极左翼团体列为外国恐怖组织后,国务院正加大力度应对其所称的“死灰复燃的激进威胁”,即旨在瓦解美国体制与资本主义的势力。特朗普总统也已表明,政府将进一步升级针对这些革命网络及其外国支持者的打击行动。
**Reame** 是一款基于 `llama.cpp` 构建的精简型 CPU 优先 LLM 推理服务器,专为将廉价的现有硬件(vCPU、免费层级、ARM 设备)转化为高性能推理引擎而设计。与将每个请求视为新请求的通用服务器不同,Reame 的核心理念是绝不重复计算相同的内容。
主要特性包括:
* **持久化 KV 缓存:** 将提示词前缀快照存储至磁盘(经 zstd 压缩并校验),允许重启及不同请求复用预计算成果。
* **重写与推测 (Palimpsest & Speculation):** 自动归档生成的文本以“起草”未来响应,并利用自调节推测解码来加速令牌生成。
* **Conclave(共识调度):** 一种交错式多用户调度程序,通过在单次批处理中运行多个候选方案来实现基于共识的生成,从而提高准确性。
* **零配置:** 提供兼容 OpenAI 的 REST API,并配备可为宿主机自动优化线程与内存的 CLI 工具。
Reame 擅长文档提取、RAG 和私有代码自动补全等重复性、数据密集型任务。它并非旨在用于通用的前沿推理,但为“答案存在于上下文中”的特定工作负载提供了一种自主、零边际成本的替代方案。
Earth Game 是一款私密的离线个人管理工具,旨在帮助你规划任务、追踪行动并保持专注。该工具完全使用 Python 标准库和 SQLite 构建,无需任何外部依赖,无需注册账号,且不会发起任何网络请求,从而确保了绝对的数据隐私。
该工具通过简单的命令行界面(CLI)或可选的本地网页界面运行。用户可以管理核心价值观、定义并追踪任务、关闭“开放回路”(未决事项),以及进行定期回顾以维持目标导向。主要指令包括用于设置的 `init`、用于任务管理的 `quest`、用于记录待办事项的 `loop`,以及用于个人反思的 `review`。
所有数据均本地存储于单个 SQLite 数据库中,可轻松进行备份或导出为 JSON 格式。Earth Game 专为类 Unix 系统设计,轻量透明,且不包含任何 AI 生成的建议或评分系统。它旨在成为一款稳健、私密的辅助工具,适合那些希望减少盲目状态并坚持个人目标的人士使用。
Orbit 的设计以隐私为先,无需用户账户或个人信息。 **核心隐私准则:** * **相机与定位:** 用于增强现实的相机画面均在设备本地实时处理,绝不进行录制或传输。位置数据仅用于在您的设备上计算卫星定位,绝不存储或共享。 * **数据收集:** 所收集的任何诊断、性能或使用数据均为完全匿名,与您的身份无关,且仅用于改善应用稳定性和功能。Orbit 不会跨其他应用或网站跟踪您,也绝不出售您的数据。 * **AI 聊天机器人:** 可选的 AI 聊天机器人使用 Google 的 Gemini API。如果您使用该功能,您输入的查询内容会被发送至 Google 以生成回复。这些消息不包含任何个人数据,也不会被用于构建用户画像。 * **其他:** 本应用不会收集儿童的个人信息,且不含任何第三方广告。 如有疑问,请联系 [email protected]。
UPI 支付虽然看似瞬间完成,但其熟悉的流程——扫码、输入金额、输入密码、勾选及振动提示——背后依赖着一个由七个不同实体组成的复杂且隐形的传输过程。 该流程始于**支付应用**(如 Google Pay、PhonePe),它作为前端界面,负责收集您的支付意向和加密后的密码。由于无法直接连接网络,它需要依靠**发起行**(即您的 UPI ID 对应的银行)来路由交易。 所有环节最终汇集在 **NPCI 的中央交换系统**,它充当了整个系统的枢纽。为了确保安全,它强制执行严格的“先扣款、后入账”顺序。资金从不由支付应用持有,而是直接在付款方和收款方的银行之间划转。 尽管该系统处理着数十亿笔交易,但错误仍分为“业务拒绝”(如密码错误、余额不足)和“技术拒绝”两类。系统的可靠性随时间推移已显著提高,目前技术性故障已十分罕见。即使支付状态显示为“处理中”,自动对账协议也能确保资金最终得到确认或退回,若银行未能及时解决延迟,将面临严格的监管处罚。
像 CoreWeave 和 Nebius 这样的“新云”(Neoclouds)正经历爆炸式增长,它们为超大规模云厂商(如微软、Meta)提供快速获取最新 Nvidia GPU 的渠道及卓越的计算利用率。超大规模云厂商利用这些合作伙伴关系迅速扩展人工智能基础设施,同时将大量的资本支出(capex)转化为可控的运营支出(opex)。 然而,这种商业模式蕴含着巨大风险。这些公司目前处于亏损状态,依赖大规模的债务扩张来资助基础设施,而这些设施消耗现金的速度远快于其创造现金的速度。CoreWeave 和 Nebius 面临着日益沉重的债务负担和不断扩大的资金缺口,加上利率上升,这威胁到了它们的长期生存能力。 一个核心担忧是“循环融资”圈:Nvidia 既是供应商又是财务后盾,在投资这些公司的同时,换取了它们大规模购买 GPU 的承诺。虽然这些合作伙伴关系为超大规模云厂商绕过漫长且昂贵的数据中心建设提供了关键捷径,但该模式的可持续性仍存在巨大争议。投资者必须密切关注这些公司能否在扩张带来的财务负担变得无法克服之前,从依赖债务的增长转型为自我维持的现金流。
请启用 JavaScript 和 Cookie 以继续。
在这项分析中,亚当·夏普(Adam Sharp)审视了五个关键指标,以应对当前的市场波动:
* **半导体泡沫:** 半导体股票的表现重现了 1999 年互联网泡沫时期的激增,在 14 个月内上涨了 237%。夏普警告称,这种由人工智能驱动的“虚高”涨势很可能无法持续。
* **不可持续的债务:** 随着联邦债务每年增加 2.99 万亿美元,且利息支出达到 1.2 万亿美元,夏普预测利率最终必须降至接近零的水平,这增强了配置贵金属的理由。
* **数据中心过度扩张:** 自 2016 年以来,数据中心的基础设施支出已超过办公楼建设支出的 10 倍。然而,电网容量限制和当地的抵制表明,这一繁荣景象最终将面临显著放缓。
* **白银的潜力:** 尽管近期波动剧烈,但与标普 500 指数相比,白银仍被低估。鉴于极端的供应缺口和不断增长的工业需求,夏普预计白银价格将在五年内创下新高。
* **赌博危机:** 据预测,美国人今年在赌博上的损失将达 2460 亿美元,这一数字严重削弱了个人通过 401(k) 计划积累财富的能力。夏普敦促人们应优先考虑纪律性的储蓄和投资,而非投机性的赌博。
总体而言,夏普建议对人工智能行业的泡沫保持谨慎,同时提倡将白银等硬资产作为长期财富保值的策略。
中国近期在其太空计划中取得了一项重要里程碑,成功将长征十号B运载火箭的第一级助推器降落在浮动驳船上。尽管这标志着中国在可重复使用发射技术方面取得了历史性突破,但该国在这一领域仍落后于SpaceX约十年;SpaceX自2015年起便已率先掌握并精通了助推器的回收与复用技术。
这种技术成熟度的差异反映在全球市场主导地位上。SpaceX先进的可复用技术实现了极高的发射频率——仅2026年第一季度就完成了40次发射,远远超过了中国同期12次的发射量。这种效率巩固了SpaceX在全球行业中的领先地位,而蓝色起源(Blue Origin)和国家支持的项目等竞争对手目前仍在努力缩小这一差距。
因此,投资者对SpaceX依然持强烈看涨态度,一些分析师随着对星舰(Starship)项目进一步商业化的预期,设定了激进的价格目标。尽管中国取得了进步,但SpaceX既定的领先优势确保了美国继续主导全球航天领域。
埃伦代尔(Earendel,编号 WHL0137-LS)是哈勃空间望远镜于2022年发现的一颗极其遥远的天体。它位于鲸鱼座,其光线在宇宙大爆炸后约9亿年发出,经过129亿年的跋涉才抵达地球;受宇宙膨胀影响,其目前的共动距离为280亿光年。
埃伦代尔最初被认定为已知最遥远的单颗恒星。它之所以能被观测到,完全得益于前方星系团(WHL0137-08)产生的引力透镜效应,该效应显著放大了它的光度。该天体以J.R.R.托尔金神话中的角色命名,位于“日出弧”(Sunrise Arc)星系之内。
然而,詹姆斯·韦布空间望远镜(JWST)随后的观测和光谱分析对其作为单颗恒星的地位提出了挑战。包括2025年在内的多项现代研究倾向于将埃伦代尔归类为星团——极有可能是贫金属球状星团的前身——而非单颗大质量恒星。尽管研究人员已确认它是一个高温、高亮度的天体,但由于局部暗物质扰动和放大系数的不确定性,使得对其物理性质的解读变得复杂,该系统的确切本质仍有待进一步研究。
在科利·多克托罗(Cory Doctorow)最新的《轨迹》(*Locus*)专栏中,他探讨了人工智能悖论:为什么一些用户觉得人工智能赋予了他们力量,而另一些用户却将其视为“地狱般的折磨”。他将这种差异归因于“半人马”(centaurs)与“反向半人马”(reverse centaurs)的概念。
“半人马”将人工智能作为提高自身生产力的工具,并保持对何时及如何使用它的掌控权。相反,“反向半人马”则是被管理层强迫充当人工智能“问责替罪羊”的员工。这些员工背负着难以完成的工作量,被迫通过使用人工智能来勉强应付,并需为系统产生的不可避免的错误负责——实际上变成了无情机器的附庸。
多克托罗认为,当前的人工智能热潮是由“取代劳动力”这一愿景驱动的投机泡沫。虽然泡沫最终破裂会造成严重的社会和经济破坏,但他相信它会留下“生产性残留物”——即那些作为真正的工具而非企业陷阱而存在的开源独立模型。最终,他呼吁开展更犀利的人工智能批判,以揭露这些剥削行为,并防止目前正嵌入我们社会基础设施中的“数字石棉”造成长期危害。
``` 模块 E1 (主程序 = CTRL) = 开始 前向声明例程 CTRL, STEP; 例程 CTRL = !+ ! 此例程输入一个值,对其进行运算, ! 然后输出结果。 !- 开始 外部例程 GETNUM, ! 从终端输入一个数字 PUTNUM; ! 向终端输出一个数字 局部变量 X, ! 输入值的存储空间 Y; ! 输出值的存储空间 GETNUM(X); Y = STEP(.X); PUTNUM(.Y) 结束; 例程 STEP(A) = !+ ! 此例程将给定值加 1。 !- (.A+1); 结束 模块结束 ```
SQLite 在 3.37.0 版本中引入的“严格表”(strict tables)是一项被低估的功能,它能够强制执行严格的数据类型约束。通过在表定义后添加 `STRICT`,可以防止 SQLite 常见的类型不匹配行为(例如在整数列中存储文本),并消除因列类型无效或拼写错误而导致的错误。 **优点:** * **数据完整性:** 在 `INSERT` 和 `UPDATE` 操作期间强制进行显式验证,从而防止出现错误。 * **类型安全:** 将列限制为有效类型(INT、INTEGER、REAL、TEXT、BLOB 或 ANY),确保开发者不会意外定义无效的模式。 * **性能影响微乎其微:** 尽管增加了类型检查的开销,但在实际应用中,性能和文件大小基本不受影响。 **注意事项:** * **兼容性:** 旧版本 SQLite(3.37.0 之前)无法读取包含严格表的数据库。 * **迁移难度:** 无法使用 `ALTER TABLE` 将现有表转换为 `STRICT` 表;需要创建新表并迁移数据,如果现有数据“不干净”,迁移可能会失败。 虽然 SQLite 的开发者认为在处理混乱的导入或键值存储等特定用例中,灵活类型具有优势,但对于需要强大数据完整性的应用程序而言,严格表通常是更好的选择。
我们正处于人工智能两种愿景的十字路口。第一种是“教条式”模式:由少数精英构建并控制前沿系统,限制访问权限,并可能通过自动化取代人类劳动力,将大众降级为机器主导下财富的被动接受者。 第二种愿景以人为核心,将人工智能视为增强工具。目前,巨大的生产力差距依然存在:虽然极少数“超级用户”实现了百倍的效率提升,但普通工人在人工智能方面的获益却微乎其微。仅将人工智能用于削减成本和裁员是一种存在缺陷的线性策略。 相反,我们必须通过赋能普通员工使其成为“智能体管理者”来实现人工智能的民主化。通过为个人提供自主的、公司所有的智能体,我们可以利用他们的领域专长并提升其能力。衡量成功的标准不应是人工智能取代了多少工作岗位,而应是它让多少人变得更高效、更有能力。我们必须拒绝集中化、限制性人工智能的必然性,并有意识地选择一个由全民参与定义的未来,让人类始终作为自身工作的建筑师和指挥官。
1921年,通用汽车工程师托马斯·米基利(Thomas Midgley Jr.)发现四乙基铅(TEL)能有效防止发动机“爆震”。尽管通用汽车和石油公司明知四乙基铅是剧毒物质,但为了获得专利控制权并从中牟利,仍将其作为首选添加剂,而非采用乙醇等更安全的替代品。
尽管早期炼油厂工人的死亡报告引发了警告,但公共卫生官员却对普通民众面临的风险不予理会,并以“留给下一代”去解决为由,搪塞了关于长期环境累积风险的担忧。含铅汽油在随后的几十年里成为行业标准,导致全球范围内的空气和土壤遭受污染。
这造成了毁灭性的环境与人类代价。研究显示,长期接触铅会导致儿童神经受损、发育迟缓及行为问题;甚至有证据表明,接触铅与暴力犯罪率上升存在相关性。直到20世纪70年代中期,美国国家环境保护局(EPA)才开始通过漫长的法律斗争,逐步淘汰含铅汽油。如今,我们仍在承受这一决策的遗毒,因为20世纪中叶排放的铅残留在环境中,即便其使用早已停止,却依然持续危害着公众健康。