**摘要：tiny-c 语言** *tiny-c* 是一种结构化编程语言，旨在为程序开发提供一个简单而强大的环境，其设计灵感源自 BASIC 和 C 语言。与 BASIC 一样，它提供了一个单一且直观的编辑与执行环境，使初学者易于上手。与 C 语言一样，它依赖于模块化和函数，而非原生输入/输出，从而有助于编写清晰、结构化的代码。 该语言通过四个关键原则强调“程序清晰度”： 1. **模块化：** 使用函数将复杂任务分解为可管理的单元。 2. **可预测的流程：** 利用复合语句（由括号分隔）来保持逻辑清晰、易于遵循的执行路径。 3. **局部变量：** 允许将变量限制在特定函数内，防止命名冲突和意外的数据修改。 4. **有意义的命名：** 鼓励为变量和函数使用描述性标签，以提高可读性。 *tiny-c* 独立于操作系统，允许用户将其与自己的硬件连接。它是一个完整的系统，包含语言本身、标准库和程序准备系统，使其成为微处理器上进行结构化编程教育和实际应用的有效工具。

基准测试（Benchmarking）是一种关键且新兴的“数据激活”形式，即将原始领域数据转化为可衡量的任务，以指导模型优化的过程。在编程和数学等领域，由于问题具有可验证的结果，模型能够拥有明确的“攀登目标”，因此进步迅速。 在医学等复杂且混乱的领域，首要挑战不仅仅是规模化，而是首先将该领域“塑造”为模型可以可靠优化的任务。虽然诸如 MedMarks（多项选择题）或 HealthBench（医生评估）之类的基准测试很有用，但它们往往缺乏现实临床任务的保真度。目前最有前景的方法（例如 LatchBio 所采用的方法）是利用专家策划来创建“验证器”，从而让模型能够从原始数据中学习。 然而，从静态评估转向训练（将基准测试作为强化学习的奖励）引入了一场高风险的权衡：有缺陷的基准测试会产生错误的激励，迫使模型去优化错误的信号。归根结底，构建高质量、可验证的基准测试不仅是一项次要任务，更是定义模型如何将信息转化为智能的核心行为。

一项新的联邦诉讼指控称，中央情报局（CIA）在2021年联邦疫苗强制令实施后，对数千名未接种疫苗的员工及合同工启动了反间谍调查。据原告方称，该机构将拒绝接种疫苗者视为潜在的国家安全威胁，并由中央情报局首席运营官主导，对他们进行了内部调查。 诉讼称，中央情报局在2025年回应一个跨机构小组的质询时，证实了这些调查的存在。尽管没有员工因此被解雇，但原告方认为，这些记录在人事档案中的存在，会造成持久且不公平的污名，并带来潜在的未来风险。 该诉讼由詹姆斯·厄德曼三世（James Erdman III）等原告牵头，寻求集体诉讼地位，并要求法院下令从员工档案中清除所有与这些调查相关的记录，理由是该机构的行动缺乏法律依据。原告律师辩称，针对员工的个人医疗选择进行调查，构成了情报界对权力的不可接受的滥用。中央情报局拒绝对这起未决诉讼发表评论。

乌克兰总统泽连斯基宣布，与俄罗斯的战争已进入以空中力量为核心的“决定性阶段”。泽连斯基强调，领土控制目前已次于非对称作战，并指出乌克兰正通过对重要能源基础设施进行远程无人机打击，成功挑战俄罗斯的优势，这已在俄境内引发了燃料短缺。他认为，通过消除陆地和海上的威胁，乌克兰已将战场转移至天空，并坚信冲突的最终结果将由此决定。 这些言论正值北约在安卡拉举行关键峰会之际，包括特朗普总统在内的全球领导人预计将讨论此次冲突。尽管特朗普表示乐观，认为战争已接近尾声，普京和泽连斯基也都渴望达成解决方案，但双方距离正式谈判仍有很大差距。随着冲突进入第五个年头，白宫似乎在释放寻求外交解决方案的信号，尽管两国仍在继续利用军事压力来获取优势。

您无法访问 www.researchgate.net。网站所有者可能设置了限制，阻止您访问该网站。 Ray ID: a1739df3dae25ff0 时间戳: 2026-07-07 03:03:36 UTC 您的 IP 地址: 47.245.80.60 请求的 URL: www.researchgate.net/publication/281149909_Artificial_and_Fake_Eggs_Dance_of_Death 错误参考编号: 1020 服务器 ID: FL_410F392 用户代理: ClueHTTPClient

来自纽约皇后区、40岁的刘增增（音译）因涉嫌在波士顿奥尔斯顿（Allston）和布莱顿（Brighton）社区经营卖淫团伙，已被控以性交易和敲诈勒索罪名。 联邦检察官称，刘（又名“贝拉”）通过中间人从中国、日本、菲律宾和越南等国招募外籍人士。据称，她利用伪造的文件租赁公寓，作为从事商业性行为的场所。在接到匿名举报并开展卧底行动后，联邦调查局（FBI）的调查显示，这些女性经常被迫将部分收入上交给刘。当局在其中一次行动中发现受害者有身体受伤的痕迹，据称她们被禁止离开住所。 此次调查进行了多次突击搜查，并查获了约10.5万美元现金。检察官还指控刘在通过非法经营获利的同时，还欺诈领取了补充营养援助计划（WIC）福利。刘已于7月被捕，目前正在波士顿等待联邦法院的审理。

41岁的美国空军工程师杰弗里·索弗恩（Jeffrey Sovern）因被指控破坏多台由Flock Safety公司运营的AI车牌监控摄像头，成为了隐私倡导者关注的焦点。索弗恩目前面临13项财产破坏及相关指控，他声称自己的行为是对自动追踪网络迅速扩张导致第四修正案隐私权被侵蚀的一种抗议。 尽管执法部门认为这些摄像头对于侦破案件至关重要，但批评者视其为侵入性工具，认为它们对普通公民实施了大规模监控。这场争议在全国范围内引发了一波针对此类系统的破坏行为。 索弗恩的法律辩护基金获得了公众的大力支持，从数百名捐赠者那里筹集了超过1.5万美元，几乎是最初目标的两倍。在最近一次出庭后，索弗恩利用这一平台感谢了他的支持者，并敦促他们向地方政府施压，要求拆除这些监控网络。此案凸显了全国范围内公共安全倡议与个人对隐私的基本需求之间日益加剧的紧张关系。

恐怖片《Obsession》为人工智能（AI）的应用提供了一个现代警示故事。正如电影主角为了达成目的而利用魔法捷径，却未曾考虑后果那样，许多团队也常执着于通过 AI 自动化任务来“许愿”。其危险之处在于，人们不再思考“这是否创造价值？”，而是盲目询问“还有哪里能塞进 AI？” 当成功指标从“切实影响”转向“普及率”时，团队就会偏离真正的目标。成熟的 AI 战略需要抵制“万物皆可自动化”的本能。这不仅需要严格的治理，更需要勇气去审视：一项工作流程是否有存在的必要，或者 AI 是否真的是最佳解决方案。 归根结底，AI 只是实现愿望的工具，却无法判断这些愿望是否值得追求，这份责任在于我们。AI 成熟度的真正体现，在于决策的质量，以及在 AI 无法带来实质价值时勇于说“不”的能力。我们必须优先考虑深思熟虑且合理的流程，而非仅仅沉迷于技术实施的惯性。

作者克雷格·莫德（Craig Mod）回顾了他为期九周、紧张而愉快的美国之行。这段旅程中，他感受了纽约的活力，参加了阿什维尔的读书活动，并与家人共度了美好时光。在旅行间隙，他一直忙于构建“一本好书”（A Good Book，简称AGB）——这是一个以社区驱动、注重互动为特色的Goodreads替代平台，托管在他的会员网站SPECIAL PROJECTS上。 莫德分享了一份精选的近期阅读清单，重点推荐了他喜爱的厄休拉·勒古恩（Ursula K. Le Guin）的《讲述即倾听》（*Telling is Listening*）、肯·格里姆伍德（Ken Grimwood）“高知型”科幻小说《重播》（*Replay*），以及贾斯汀·托雷斯（Justin Torres）文笔利落的《我们是动物》（*We the Animals*）。他还评论了当前的电影环境，指出像《痴迷》（*Obsession*）这样低预算、创作者主导的电影，表现反而超过了那些依赖缺陷剧本的大制作影片。 在准备返回日本之际，莫德对支持他最新著作《事物成为他物》（*Things Become Other Things*）及会员社区的朋友们表达了感谢。他在文末提到，理光GR III相机在记录此次旅程中发挥了不可或缺的作用，并期待着接下来的项目，包括即将举行的会员专属董事会议。

当科技界将目光聚焦于庞大且耗能的AI模型时，一场“小模型AI”革命正悄然为发展中国家提供救命的解决方案。 这一趋势的兴起，源于企业家阿德巴约·阿隆格（Adebayo Alonge）的一次发现：他开发的AI伪劣药品扫描仪在低带宽地区无法正常运行。通过对AI模型进行“瘦身”，使其能够直接在安卓手机上本地运行，他创造出了一款无需网络或稳定电力即可使用的工具。这种向本地化、轻量化模型的转变——通常通过对大型AI进行“剪枝”或“蒸馏”来实现——目前正在全球范围内解决各种迫切需求，从印度的农作物病害检测，到巴西的蚊虫滋生地识别，皆有应用。 与需要超大规模数据中心支持的大型语言模型（LLM）不同，小模型AI能在智能手机和微控制器等低功耗、廉价的硬件上运行。随着硬件效率的提升以及开源模型变得日益普及，世界银行等机构的支持者认为，对于缺乏数字基础设施的地区而言，小模型AI是一种可持续且务实的未来方案。尽管这些工具在初步开发时仍依赖于“大模型AI”，且无法单枪匹马解决贫困或基础设施匮乏的问题，但它们代表了一种关键的、具有包容性的替代路径，将人工智能的红利带给了全球大多数人口。

北加州一对退休夫妇最近找回了近1.8万美元，他们此前遭遇了一场复杂的支票和电子欺诈骗局。这对夫妇发现，他们的账户余额因三张伪造支票和17笔未经授权、汇往不同金融机构的在线转账而被洗劫一空。 尽管大通银行（Chase Bank）迅速赔付了伪造支票的损失，但起初以证据不足为由，拒绝了关于1.14万美元电子转账的赔偿申请。这对夫妇陷入了官僚程序的僵局，因为其他银行以隐私规定为由，拒绝讨论这些未经授权的收款账户。直到当地一个消费者权益倡导小组介入，促使大通银行重新审查此案并全额退款，情况才得以解决。 这对夫妇怀疑欺诈源于一家第三方支票打印服务机构，该机构要求提供作废的支票，这很可能导致他们的银行路由号码和账号泄露给了不法分子。此次事件严正警示了纸质支票的脆弱性，以及敏感银行信息一旦落入坏人之手后，被利用的风险有多么容易。

特朗普总统宣布，沃尔玛已同意降低部分商品价格，其中包括将碎牛肉价格下调15%，这是其政府应对生活成本危机努力的一部分。特朗普将这些举措定性为以市场为基础的资本主义战胜社会主义政策的胜利，并主张增加供应是遏制通胀的关键。 本届政府认为，牛肉和能源等大宗商品价格上涨是前任领导层失策的结果，包括推行通胀政策和非法移民居高不下。通过专注于供应侧解决方案——例如寻找新的食品生产资源以及优先实施驱逐出境以减少住房需求——总统旨在证明私营企业能够有效降低家庭支出。本届政府计划在中期选举期间持续关注负担能力问题，并将他们对市场力量的依赖与他们所描述的政治对手灾难性的干预主义方针形成对比。

野外探险规划 · iOS 无需电子表格，也无需在五个应用之间来回切换。Strata 可读取任何路线的雪崩公告、坡度、朝向以及实时天气，并以通俗易懂的语言告知您今日是否适合出行。规划路线、追踪行程，确保团队平安归来。原生 iOS 应用，支持离线地图，无广告干扰。 查看功能。现已登陆 iPhone 和 iPad · 免费规划 · Pro 会员可解锁“自动吸附路径”的路线构建工具。

这段文字摘自 D.J. Bernstein 的博客系列，详细描述了互联网工程任务组（IETF）内部围绕在 TLS 中标准化“单一”后量子密码学（ML-KEM/ML-DSA）所展开的一场激烈且持续的冲突。 Bernstein 认为，美国国家安全局（NSA）及其合作伙伴正在积极推动采用单一的 ML-KEM，即不具备传统椭圆曲线（ECC）混合方案作为安全保障的密码学技术。他认为这是一场“安全灾难”，会导致软件漏洞并引发潜在的被利用风险。 他批评的核心在于，IETF 已经抛弃了其“粗略共识”的模式，转而采用一种受政治操纵的投票程序。他指控 IETF 领导层和 IESG 在国防承包商的深度影响下，助长了“支持性偏见”。通过强行发起多次“最后呼吁”并无视专家提出的实质性技术反对意见，他们正试图为 NSA 首选的标准背书。 Bernstein 将此过程描述为一种旨在耗尽反对者精力并损害公共利益的不公正程序。他敦促社区投票反对该草案，并指出即使此举会导致延误，也是防止因削弱全球数百万用户的密码学标准而产生灾难性长期后果所必须采取的保障措施。

阿拉伯联合酋长国已将原油日产量提升至超过380万桶，在6月份创下历史新高。此次产量激增是在阿联酋于5月1日退出欧佩克（OPEC）之后进行的，旨在解除产量上限并利用多年基础设施投资的成果。 产量的增加导致了短期的供应过剩，迫使阿布扎比国家石油公司（ADNOC）不得不以折扣价格吸引买家，包括中国独立炼油厂和美国西海岸进口商。这一产量的反弹速度明显超过了海湾地区的其他邻国，由于近期霍尔木兹海峡的不稳定，这些国家仍难以恢复冲突前的出口水平。 随着全球石油市场从对供应中断的担忧转向对供应过剩的担忧，布伦特原油价格已回落至每桶约72美元。尽管阿联酋正在积极夺回市场份额，但分析人士指出，除非主要消费国开始补充战略储备或增加商业存储容量，否则当前中东原油的“微型过剩”可能难以消化，尤其是在市场正适应这一新的、不受限制的供应格局之际。

InstantVideos — 30秒生成AI纪录片 支付已收到 — 账户新增5个积分！ 短视频 (TikTok) 长视频 给我惊喜 生成视频 正在加载积分... 0.0秒

作者推出了全新的四部分系列文章“首字母缩略词疲劳”（AFS），旨在探讨其对业界过度沉迷于首字母缩略词的个人质疑。 这种反感源于两个主要因素。首先，作者的人文主义学术背景更倾向于使用复杂、描述性的术语，而非英语计算机科学领域常见的缩写形式。相比之下，他们观察到英语母语者倾向于将首字母缩略词作为一种“圈内人”的身份信号。 作者认为，科技营销利用了这种心理倾向来创造归属感，往往通过发明或过度使用缩略词来推广产品。他们指出，许多技术概念之所以广为人知，并不完全是因为其本身的价值，而是因为首字母缩略词的形式使其具有高度的传播性和“粘性”。通过分析 ACID、DRY 以及各种技术二分法等具体案例，该系列旨在挑战一种固有假设：即这些无处不在的速记法，始终是传达复杂理念的最佳方式。

请启用 JavaScript 和 Cookie 以继续。

本摘要概述了使用牛津纳米孔技术（ONT）进行居家基因组测序的流程。作者通过 MinION 设备、口腔拭子及标准化的分子生物学实验室设备，已成功完成了五次个人基因组测序。 **工作流程：** 1. **准备阶段：** 包括建立无菌环境，以及采购试剂（如 DNA 提取试剂盒、文库构建预混液）和设备（如 Qubit 荧光定量仪、微型离心机）。 2. **测序阶段：** 通过拭子采集细胞，进行裂解以提取高分子量 DNA，随后进行修复并连接接头。在完成文库构建和质量控制后，将样本加载至流动槽进行实时测序。 3. **分析阶段：** 原始数据（POD5 文件）通过 *Dorado*（碱基识别）、*minimap2*（比对）和 *Clair3*（变异检测）等软件进行处理。随后将生成的 VCF 文件与 *ClinVar*、*VEP* 和 *PharmGKB* 等生物数据库进行比对查询。 **核心理念：** 基因组是“参考层”而非诊断手册。尽管目前的居家测序能力尚达不到医疗级标准，但它已能帮助个人查询自身的 DNA 信息，从而深入了解药物代谢、罕见变异和基因通路。作者强调，该领域正迅速成熟，正朝着集成式实时生物传感的未来发展。

尽管三星电子公布的季度营业利润激增 19 倍至 10.4 万亿韩元，受人工智能驱动的存储芯片需求推动，其股价仍下跌了 5%。虽然业绩超出了分析师预期，但市场的反应凸显了对于估值过高股票的“利好出尽”心态。 半导体行业整体对人工智能基础设施繁荣的可持续性日益感到不确定，特别是在近期有关资本支出无上限的警告发出之后。尽管作为人工智能发展瓶颈的存储芯片短缺预计将持续到 2027 年，这使制造商拥有了强大的定价权，但市场担忧情绪仍在加剧。 长期风险包括：因利润率过高（预计在 75%-80%）而面临潜在的监管审查，以及中国竞争对手长鑫存储（CXMT）出人意料的快速发展，这可能引发存储市场的通缩冲击。尽管韩国仍在投入重金扩大芯片产能以确保全球人工智能领域的领先地位，但市场正对该行业的高估值以及需求周期可能降温的迹象变得越来越谨慎。

世界杯在美国的收视率正经历大幅增长，福克斯体育（Fox Sports）、Telemundo 和 Peacock 均报告了创纪录的收视数据。除了美国、墨西哥和阿根廷等热门球队的高参与度外，转播商还发现，涉及美国普通体育迷不太熟悉的国家队的比赛，其观众人数也表现出惊人的强劲势头。 这种广泛的吸引力吸引了大量的广告兴趣，并培养了跨代际的观影习惯。尽管美国国家男子足球队在淘汰赛中的持续表现依然是推动收视增长的焦点，但瑞银分析师罗伯特·克兰科夫斯基（Robert Krankowski）等行业专家认为，足球在美国的“突破时刻”已经到来。随着该国年轻群体的高度参与，这项赛事已确立了其作为重大赛事的地位，其收视水平达到了除美国国家橄榄球联盟（NFL）赛事外罕见的程度。

美光科技已为其位于日本广岛的工厂启动了价值 1.5 万亿日元（约合 93 亿美元）的扩建工程。该项目获得了日本政府高达 5000 亿日元的补贴支持，将用于生产人工智能处理器所必需的先进高带宽内存（HBM）芯片，预计于 2028 年夏季开始出货。 此次扩建是全球内存制造商（包括竞争对手三星和 SK 海力士）为满足人工智能需求激增而采取的全球部署的一部分。对于日本而言，这项投资是其重振半导体行业领导地位的战略举措，日本政府将此视为国家安全的关键。东京已为芯片发展拨出巨额资金，目标是在 2041 年前实现超过 100 万亿日元的公共和私人投资总额。 美光首席执行官桑杰·梅赫罗特拉（Sanjay Mehrotra）强调，广岛工厂目前 80% 的材料采购均来自本地，是该公司人工智能战略的核心。作为目前唯一在日本运营的动态随机存取存储器（DRAM）制造商，美光已成为日本产业政策的基石。该政策旨在吸引更多国际芯片制造商，从而为高性能计算建立稳健的本土供应链。

Poly/ML 是 Standard ML (SML) 的一种稳健且高性能的实现，完全兼容 ML97 标准。它以对语言扩展采取保守态度而闻名，并因其极快的编译器而成为 Isabelle 和 HOL 等大型项目的首选。 其主要功能包括：用于链接外部库的强大外部函数接口、符号调试器，以及一个利用多核处理器和并行垃圾回收器的专用线程库。Poly/ML 原生支持 x86（32/64 位）和 64 位 ARM 架构，并为其他平台提供字节码支持。 该实现由专人积极维护且文档齐全，提供完善的基础库（Basis library）以及用于用户支持的活跃邮件列表。对于追求 Standard ML 编程效率与稳定性的开发者而言，这是一个可靠且可用于生产环境的平台。

OpenSSH 10.4 已于 2026 年 7 月 6 日发布，带来了显著的安全增强、错误修复和新功能。 **安全与稳定性更新：** 此次发布解决了多个漏洞，包括 `sftp` 和 `scp` 中潜在的文件系统遍历风险、`sshd` 内部 SFTP 服务器中的截断问题，以及客户端的释放后使用（use-after-free）漏洞。此外，还修复了与 GSSAPI 身份验证及不当认证延迟相关的拒绝服务攻击向量。 **主要变更：** * **协议加固：** 传输协议变得更加严格；如果对端在密钥重新交换期间发送非 KEX 消息，系统将断开连接。 * **沙盒机制：** 在 Linux 系统上，如果无法启用 seccomp/NO_NEW_PRIVS，`sshd` 将会强制终止。 * **实验性功能：** 增加了对复合后量子签名方案（ML-DSA 44 和 Ed25519）的支持。 * **模式匹配：** 使用了更高效的基于 NFA 的实现替换了原有的通配符匹配器。 * **配置：** `sshd -G` 现在以大小写混合形式输出指令，以提高可读性。 此版本包含了大量的可移植性改进和内部重构，以强化权限分离模型。建议用户在升级前查阅发布说明，了解潜在的配置变更。详细信息和下载镜像请访问 [openssh.com](https://www.openssh.com/)。

arXivLabs 是一个框架，允许合作者直接在我们的网站上开发并分享 arXiv 的新功能。与 arXivLabs 合作的个人和组织都认同并接受我们对开放性、社区性、卓越性和用户数据隐私的价值观。arXiv 致力于秉持这些价值观，且仅与遵守这些价值观的合作伙伴进行合作。如果您有能为 arXiv 社区创造价值的项目构想，请了解更多关于 arXivLabs 的信息。

请启用 JavaScript 和 Cookie 以继续。

一个 7 MB 大小的嵌入模型。在 CPU 上运行。无需 API。直接集成，毫秒级文本嵌入，无需调用服务器。 在浏览器中运行，无 API 调用。 引擎 + 权重 · 7 MB 迷你版 · 5 MB 快速嵌入 · 约 5 毫秒 仅限 CPU · 无需 GPU 使用它 三行代码实现语义搜索。 作为单个 npm 包提供。无需下载模型，无需服务器。 $ npm install @ternlight/base example.js import { embed, similar } from '@ternlight/base'; similar('easy weeknight dinner ideas', recipes, { topK: 3 }); // → 排序后的匹配结果 · 约 5 毫秒 · 零网络延迟 示例 React 文档搜索 在浏览器中搜索 React 文档。输入问题 — 由 5 MB 大小的 @ternlight/mini 驱动。

“The Diary” 是一个针对 reMarkable Paper Pro 的实验性项目，它将该平板电脑转变为一本基于手写输入的交互式日记。通过利用大语言模型（LLM）后端（通过兼容 OpenAI 的 API 或本地 `pi` 设置），设备可以读取你的手写输入，进行“思考”，并以流畅的字体在纸面上逐笔渲染出动画回复。 该项目提供两种模式：一种用于方便集成 AppLoad 启动器的窗口版本，以及一种挂起原生界面以提供超低延迟直接电子墨水绘图的“接管”模式。 **主要功能包括：** * **直观交互：** 书写并暂停即可获得回复；画一个大大的“?”获取指南；使用五指点击退出。 * **可定制后端：** 支持任何具备视觉能力的 OpenAI 兼容模型，用于分析你的手写文本。 * **先进工程：** 使用 Rust 构建，采用原始 evdev 输入和自定义的基于 C 语言的电子墨水渲染。 **警告：** 这是一个高风险的高级修改项目，它以 root 权限运行并会改变系统行为。用户应熟悉 SSH、Linux 命令行工具，并掌握恢复设备的备份方法。与 reMarkable AS 无关联。

日元汇率已跌至一代人的最低点，引发了当地破产潮，并助推了历史上规模巨大的看跌投机交易。尽管日本央行偶尔进行干预，但对冲基金仍不断加码做空日元，理由是日元已与利差脱钩——分析师将此现象比作 90 年代末出现的“日本溢价”。 “反向敲出”期权正给日元带来进一步的下行压力；随着日元滑向 163–170 的水平，小型进口商被迫在现货市场买入美元，这可能引发负反馈循环。虽然高盛等大型机构已顺应这一趋势，预测日元将进一步下跌，但也有一些反向投资者认为市场已达到“高潮”。 日本前高级外汇官员山崎达雄认为，日元基本面被低估了 20%，并预计随着日本央行进一步加息，趋势将会逆转。尽管目前投机者主导着市场舆论，但创纪录的长期国债收益率与强力官方干预的风险表明，“做空日元”的交易可能正处于一个危险的临界点。