搜索
搜索
搜索: 42
一切都在运转。我们究竟知道什么?
沙特与海湾地区的数字繁荣悖论:云服务中断揭示了怎样的共同依赖与服务连续性问题?哪些结论无法从成功指标中推出?
数字繁荣悖论:共同依赖与共同冲击下的服务连续性测量框架
提出服务连续性度量框架,以可复现的合成实验比较三种依赖架构,呈现结果、推论边界及面向沙特服务的验证方案。
当中心沉默,谁有权说“可以”?
公共服务在网络中断时,如何保留受限的本地决策权,同时不把本地副本误称为中心系统的真实状态?
网络中断时的分布式权限模型:数字国家服务中安全本地决策的边界
对25个合成状态和五种策略进行有界计算检验,说明离线公共服务中安全本地授权的边界。
在创造者离场之后仍能延续的工程
当原始供应商和构建环境消失后,什么能让技术系统仍可重建?这篇文章讨论证据、源代码权利与技术传承。
再生产边界:衡量技术恢复能否独立于原供应商的可检验模型
关于“复现边界”的研究工作论文,以及供应商退出后恢复技术能力的可检验模型。
一台主动压低自己工价的计算机
当推理服务降价快过长期算力资产回收资本,会发生什么?本文讨论软件效率、付费需求、可交付容量,以及人工智能硬件的商业寿命。
令牌价格通缩陷阱:加速计算商业寿命经济价值的初步模型
一项可复现的六年期全合成研究,考察推理单位价格下降、需求弹性、容量增长、可变成本与折现如何共同塑造算力投资回报。
当灯光更亮,经济却从画面中消失
卫星能否在统计数据公布前读懂沙特经济?本文讨论夜间辐亮度、GDP、数据版本、社会日历,以及从轨道推断经济活动的边界。
卫星夜间灯光对沙特经济的条件性预测价值
一项可复现的全合成研究,考察夜间灯光能否为沙特经济即时预测增加预测价值,以及照明制度变化后,这种价值为何可能反转。
谁会在故障发生前买下它?
一份事故报告,能否变成外国客户愿意反复购买的可执行测试?本文讨论失效机制、语义迁移、测试判定器与沙特软件韧性知识的出口边界。
从事故报告到可执行合约:软件失效知识出口能力的概念与计算研究
一项概念与计算研究,以16份合成失效合约、4个实验实现和64次可复现执行,检验事故知识如何编码、迁移与独立验证。
当 Claude 走进导弹研发室
从“沙蒙”到红海:一份来自沙特视角的分析,讨论部分软件专长成为云端服务后究竟改变了什么,以及代码辅助与得到证实的军事能力之间仍隔着多远。
代码不会独自飞行
一份基于公开来源的分析论文,区分人工智能的使用、产出、独立验证与运行能力,并把也门北部案例放回区域历史,同时不越过归属判断与证据的边界。
当国家需要一座没有大使的“使馆”
从达曼检察机关大火到基辅与斯瓦尔巴:为什么备份不足以保护国家记忆,沙特又该如何把数据使馆纳入更完整的主权连续性架构?
数据使馆与沙特主权连续性:一个可检验的比较框架
一份基于公开资料的分析工作论文,用比较案例、法律边界、技术分层和可检验命题,评估数据使馆何时可能增强沙特的主权连续性。
先把问题写清楚,再谈人工智能
采用人工智能之前,真正需要被设计的往往不是提示词,而是问题、决定与责任之间的边界。
数据提供视野,但不会替你作决定
指标能帮助人看见变化,也会把注意力锁定在可记录的部分;判断必须处理那些尚未进入表格的现实。
安全是一种设计决定
安全不只关乎阻挡访问,也关乎权力如何分配、摩擦放在哪里,以及系统出错后能否被解释和修复。
Lahjawi: Arabic Cross-Dialect Translator
发表于2025年1月WACL-4论文集,研究阿拉伯语跨方言翻译,Safwan AlModhayan为共同作者之一。
Wasm: A Pipeline for Constructing Structured Arabic Interleaved Multimodal Corpora
2025年arXiv预印本,主题为阿拉伯语多模态语料构建,Safwan AlModhayan为共同作者之一。
数字化之后
计算史上的每一层都接管了一些细节;智能体开始选择的,是路径本身的一部分。
信任是一种基础设施
用户要求检查账单、不要发送。身份和访问都正确,最终行动却错了。
你的数据已经成为记忆
旧地址已经删除,几周之后,系统却仍像它有效一样采取行动。
新兴技术
一份拟议演讲主题说明,讨论如何在不确定性中以可撤回步骤采用新兴技术;它不记录过往活动,也不承诺可邀约时间。
把提问当作一种练习
有纪律的好奇心不只收集答案,也检验问题本身,以及被问题排除在外的部分。
记忆保存了什么?
记忆并非发生过的一切,而是由注意力、语境与保存媒介共同塑造的选择。
声音与语气的责任
声音让意义靠近听者,却不能取消对来源、语境与同意的要求。
当达曼开始制造“秒”
解析 Groq LPU 的 SRAM 与静态调度架构、达曼推理服务及合成热感知调度实验,严格区分供应商公告、计算证明与待验证的现场效应。
从词元工厂到热调度器
可复现工作论文审视 Groq LPU、沙特推理基础设施、PUE/WUE 与热感知调度;实验输入完全合成,不代表 Groq 设施或沙特气候实测。
让舞蹈停下来的蜜蜂
从蜂群的交叉抑制到模型路由与本地推理:专业化小模型如何重塑人工智能系统。
借来的智能经济
为什么在 GPT 之上开发界面不等于发明人工智能,以及沙特应如何投资原创模型、算法、研究实验室和深度科技。
互联网上没有的那些词
关于“沙特人类知识迪万”的一项提案:以原创人类数据、知情同意、来源记录、教育和公众参与建设人工智能数据基础设施。
阿拉伯语不是翻译层
五种阿拉伯语表达都要求暂时冻结银行卡。要检验的不只是回答是否自然,而是意图能否完整抵达行动。
主权不等于模型
模型权重只是地图上的一点;运行环境、内存、网络、能源、技能与可替换依赖共同决定真实能力。
隐秘力量的诞生
本书追踪一个漏洞如何从技术发现进入制度决策,最终成为情报、商业或国家能力的一部分。
反噬时代
本书区分行动目的、所用工具与实际后果,并解释共同依赖为何会放大一次局部破坏。
入侵之后
本书把安全的重心,从统计挡住多少攻击,转向事后能否查明事实、控制损害、作出正当决定并可靠恢复。
数字化转型之后
本书解释如何重新设计任务、决策权与人才成长路径,使人工智能能力真正转化为可信的组织能力。
力量的枢纽
本书找出支配大型系统的小型控制点,并用替代方案与所需时间衡量真正的行动自由。
我们没有说出的
本书说明每种测量工具能看见什么、遗漏了谁,并把证据之间的矛盾转化为更准确的问题。
现实罗盘
本书帮助读者检查数字的含义、比较边界与因果主张,在行动前看清它能证明什么、不能证明什么。