Denonomicon: The Dark Arts of Deno Foreign Function Interface Programming9 days agohttps://denonomicon.deno.dev/introduction本文档与Deno团队无官方关联深入探讨Deno外部函数接口(Deno FFI)旨在填补Deno手册和TypeScript定义中的知识空白不涉及TypeScript编程或其他Deno API徽标及菜单标题由hashrock设计，遵循CC BY-NC-ND 4.0许可协议
How an inference provider can prove they're not serving a quantized model5 days agohttps://tinfoil.sh/blog/2026-02-03-proving-model-identityTinfoil的Modelwrap技术提供密码学保证，确保每次请求时向客户端提供特定且未被篡改的模型权重Modelwrap包含三个核心组件：对模型权重的公开承诺、与推理服务器的绑定机制，以及客户端验证流程安全硬件飞地中的认证机制仅能测量启动状态，无法验证运行时状态，因此需要额外机制来确保启动后的数据加载可信该系统采用Merkle树实现高效数据验证，并通过dm-verity技术在每次读取时强制执行内核级的密码学承诺该方案同时支持公开和私有模型，可在不泄露专有权重的前提下完成验证性能测试显示存储开销仅增加0.8%，构建时间可控，运行时开销主要影响初始模型加载阶段Modelwrap已开源，用户既可验证部署情况，也能在自有飞地中为私有权重生成承诺
Personal Statement of a CIA Analyst5 days agohttps://antipolygraph.org/statements/statement-038.shtml作者回顾了在申请和中情局工作期间接受测谎仪测试的经历，强调了这一过程的压力和不可预测性。最初的测谎测试充满对抗性，检测人员采用激进技巧并频繁提出毫无根据的指控，导致作者产生被侵犯感和自我怀疑。尽管通过部分测试，作者仍屡次失败——尤其是当其开始质疑测谎有效性时，援引了质疑该技术可靠性的研究数据。作者描述了测谎带来的心理创伤，包括审讯过程中精神崩溃的案例，以及社会对测谎技术绝对正确性的盲目信任。离开中情局后，作者在其他机构（联邦调查局、国防情报局）遭遇类似测谎问题，包括在无证据情况下被指控说谎。作者最终拒绝继续接受测谎，导致职业发展受阻——被调离项目组并面临解雇威胁。文章结尾建议避免选择需要测谎的职业，指出尽管情报工作很有价值，但测谎带来的情感伤害和职业风险得不偿失。
Cloudflare outage on February 20, 20265 days agohttps://blog.cloudflare.com/cloudflare-outage-february-20-2026/Cloudflare于2026年2月20日发生服务中断，因BGP路由撤销影响了BYOIP客户。该问题由BYOIP服务的配置变更引发，与恶意活动无关。约1100个BYOIP前缀被撤销，波及25%的BYOIP客户。中断持续6小时7分钟，部分客户通过Cloudflare控制台自行修复。软件缺陷导致部分前缀无法自动恢复，需人工干预。受影响服务包括核心CDN、Spectrum、专用出口和Magic Transit，引发连接超时及故障。此次事件与'Code Orange: Fail Small'计划相关，旨在提升网络韧性。Cloudflare计划通过API模式标准化、强化监控及更安全的部署流程防止未来中断。
Emulating Goto in Scheme with Continuations7 days agohttps://terezi.pyrope.net/ccgoto/Dijkstra批评GOTO语句过于原始且容易导致代码混乱。Scheme语言虽没有GOTO语句，但可通过call/cc（call-with-current-continuation）模拟其行为。GOTO允许跳转到代码不同部分，常用于循环和资源清理场景。call/cc能捕获当前续体（continuation），从而实现对控制流的灵活操控。Scheme中通过宏'with-goto'利用call/cc实现了GOTO的模拟功能。在'with-goto'中，标签被定义为无参数过程（thunks）。续体机制支持直接跳转至标签，无需返回到原始调用点。该实现效率较低且不实用，但充分展示了call/cc的强大能力。文中建议使用delimited continuations（受限续体）作为call/cc的更优替代方案。
AI Helped Uncover a "50-80x Improvement" for Linux's IO_uring6 days agohttps://www.phoronix.com/news/AI-50-80x-IO-uringLinux块子系统维护者Jens Axboe使用Claude AI调试AHCI/SCSI代码中的IO_uring性能下降问题最终提交的补丁可使空闲系统的IO_uring性能提升50-80倍核心补丁仅包含一行代码：阻止ppoll()在提交IO前休眠长达499毫秒Axboe在X平台分享经历时提到60-80倍的性能提升，并透露测试期间Claude曾部分损毁其虚拟机磁盘这些补丁已进入QEMU的待合并队列
From chickens to humans, animals think "bouba" sounds round6 days agohttps://arstechnica.com/science/2026/02/newly-hatched-chickens-form-the-same-sou...布巴/基基效应描述了人们如何将某些声音与圆形或尖刺形状联系起来。最初解释认为这与实际词汇相似性有关，但跨语言和文字体系的研究表明这是人类的普遍倾向。4个月大的婴儿就表现出布巴/基基效应，说明这不是后天习得的。在其它灵长类动物中寻找该效应的尝试均告失败，引发这可能是人类独有特征的推测。最新研究显示刚孵出的小鸡也会将'布巴'与圆形关联，这对该效应严格属于人类的观点提出了挑战。
A 97M-parameter model outperforms 900M for warehouse robot coordination6 days agohttps://rovnou.com/en/blog/deepfleet亚马逊的DeepFleet论文提出了一种用于仓库机器人协调的生成式AI模型，将运输时间缩短了10%DeepFleet被描述为'仓库操作系统'而非传统多智能体路径规划(MAPF)求解器，其核心在于数据驱动学习和可扩展性论文对比了四种架构：以机器人为中心(RC)、机器人-楼层(RF)、图像-楼层(IF)和图-楼层(GF)，其中RC与GF架构表现出最优性能关键发现包括：局部交互效率优于全局上下文、基于图像的表示方法不适用、图结构具有参数效率优势通过利特尔定律阐释了DeepFleet对仓库经济的影响，证明运输时间优化可带来显著成本节约和吞吐量提升论文强调仓库设计中拓扑结构的重要性，指出布局和图形结构对性能起决定性作用建议仓库所有者将机器人交通视为基础设施，优先保障数据与拓扑质量，并在合同中增加持续改进条款研究指出DeepFleet可有效应对劳动力短缺和高密度作业场景，在日本等市场具有特殊应用价值Rovnou公司正基于DeepFleet设计原则开发供应商无关的协调层最终结论强调：决定仓库容量的关键因素是交通质量而非机器人数量，通过合适的软件层可实现持续优化
U.S. plans Peace Corps-style "Tech Corps" to counter China's AI exports5 days agohttps://restofworld.org/2026/us-tech-corp-ai-volunteers/美国正在启动'技术军团'计划，旨在海外推广美国人工智能技术应用，与中国争夺全球AI主导权技术军团隶属于和平队，将派遣志愿者赴发展中国家开展AI能力建设和应用推广中国AI模型因性价比高、可定制性强以及与当地基础设施兼容性好，在'全球南方'国家广受欢迎GPT-5和Claude等美国AI模型虽性能领先，但在发展中市场面临经济性挑战阿里巴巴的通义千问3、MiniMax的M2.5等中国AI模型位列Hugging Face等平台下载量前列技术军团志愿者需具备STEM学位和技术专长，将赴海外服务1-2年，计划2025年秋季启动美国宣布AI行动计划，拟输出其AI技术栈并构建'美国AI联盟'特朗普政府于2025年解散了美国国际开发署，削减了支撑美国软实力的传统援助项目成立于1961年的和平队已派遣24万名志愿者，但面临特朗普政府的预算削减威胁
'Psychological torture': Spanish tenants fight back against housing 'harassment'5 days agohttps://www.theguardian.com/world/2026/feb/21/spanish-tenants-fight-back-against...马德里一栋公寓的租户在房产被卖给投资基金后遭遇骚扰，包括施工干扰等逼迁手段。居民们将这种策略称为'房地产骚扰'(acoso inmobiliario)，旨在通过制造难以忍受的居住环境迫使租户搬离。一群租户采取法律行动，由此引发了西班牙首例房地产骚扰初步调查。施工导致断电、漏水、安全隐患等严重干扰，最终半数租户被迫搬离。该法律案件开创先例，巴塞罗那随后出现类似案例，标志着对投资者驱动型逼迁的反击。建筑业主声称改造是出于安全和居住考虑，并向受影响租户提供临时搬迁方案。在西班牙房价飞涨、搬迁成本高昂的背景下，租户们认为这场法律斗争是维护自身权益的必要行动。
Typed Assembly Language5 days agohttps://www.cs.cornell.edu/talc/类型化汇编语言(TAL)通过添加类型注释、内存管理原语和健全的类型规则，扩展了非类型化汇编语言TAL的类型规则确保了内存安全、控制流安全和类型安全TAL能够编码多种编程特性，如记录、数组、高阶函数、异常和模块TAL支持底层编译器优化，是类型导向编译器的理想选择TAL被应用于安全移动代码和可扩展操作系统内核开发其变体TALx86已实现在Intel的IA32架构上已开发出名为Popcorn的安全类C语言编译器，可生成TALx86目标代码
Permacomputing9 days agohttps://wiki.xxiivv.com/site/permacomputing.html佳能猫（Canon Cat）使用Forth作为串联式编程环境，用于子系统脚本编写。永久计算（Permacomputing）聚焦于最大化硬件寿命、最小化能源消耗及利用现有计算资源。可拆卸设计（Designing for Disassembly）确保产品易于维修和部件回收，延长生命周期。节俭计算、回收计算与崩溃计算（Frugal/Salvage/Collapse Computing）强调计算中的资源效率、再利用与韧性。可塑性系统支持任意重组，并可由操作者随时间推移精细调校。可逆设计（Designing for reversibility）降低错误成本，使系统适配不同能力水平的用户。可逆计算的例子包括逆运算符和堆栈机操作。串联式设计采用无点消息传递以实现可检查性与性能优化。差异设计（Designing for differences）支持跨不同界面与能力水平的协作。引导设计（Designing for bootstrapping）确保系统可从最小化、可检查的二进制文件构建。回收计算（Salvage computing）将产品生命周期的终结视为资源再生的机遇。迁移、模拟、封装和通用虚拟计算机等技术助力数字保存。崩溃计算（Collapse computing）通过优先满足社区需求与知识共享来应对基础设施崩溃。降级设计（Designing for Descent）确保系统对间歇性能源和网络连接具备韧性。开尔文版本号（Kelvin versioning）倒计时至最终规范，达到绝对零度时停止更新。韧性四要素：敏捷性、预备性、弹性与冗余性。衰变设计（Designing for decay）通过纠错机制（如奇偶校验位）强化消息可靠性。阿雷西博信息（Arecibo Message）的维度设计使其无需标头即可被解析。
DialUp95 – A 90s inspired nostalgia hit5 days agohttps://dialup95.com/这段文字描述了一个让人怀旧的拨号上网界面，让人想起Windows 95系统。界面包含登录屏幕，有用户名、密码、电话号码和位置等输入框。连接过程显示了状态更新，如'正在拨号...'和'以31200 bps速率连接成功'。提供了服务器类型(PPP)和协议(TCP/IP)的详细信息。该界面由Robert Putt设计，标注为'Windows 95拨号连接'。
Huge study finds a link between cannabis use in teens and psychosis later5 days agohttps://www.npr.org/2026/02/21/nx-s1-5719338/cannabis-marijuana-weed-teens-psych...一项新的纵向研究发现，青少年时期吸食大麻与日后患双相情感障碍、精神障碍、焦虑和抑郁的风险增加有关。该研究分析了北加州46万名青少年的健康数据，追踪随访至25岁，并排除了已有心理健康症状的个体。吸食大麻的青少年患双相情感障碍和精神分裂症等精神障碍的风险是非使用者的两倍。大麻使用还会使抑郁风险增加约三分之一，焦虑风险增加约四分之一，且对低龄青少年影响更显著。研究指出大麻使用与后续心理健康问题存在因果关系，强调发育中的大脑对大麻异常敏感。研究人员警告，随着大麻合法化和社会接受度提高，其危害性被严重低估。心理健康专家观察到，吸食大麻的青少年症状持续恶化，其中精神病和双相情感障碍等重症尤为令人担忧。与大麻相关的精神障碍（如精神分裂症）每年造成约3500亿美元社会成本，可能超过整个大麻市场的经济价值。
The Nekonomicon – Nekochan.net Archive, Updated5 days agohttp://nekonomicon.irixnet.org/《猫之魔典》是Nekochan论坛的作品合集。第一卷名为《终末之书》。第二卷名为《笔记之书》，收录了论坛精选作品。第三卷名为《绘卷之书》，内含照片图库。
What Not to Write on Your Security Clearance Form5 days agohttps://milk.com/wall-o-shame/security_clearance.html莱斯·厄内斯特和他的朋友鲍勃根据弗莱彻·普拉特的《秘密与紧急》一书中的原则，创建了一套行话密码。他们将密码密钥随身携带，莱斯把自己的藏在眼镜盒里。这个眼镜盒不慎丢失后被一位市民捡到，对方误以为密码密钥是日本间谍活动的证据，导致联邦调查局介入调查。联邦调查局通过眼镜追踪到当时年仅12岁的莱斯，这场乌龙事件引发了尴尬且耗资不菲的调查。莱斯后来申请安全许可时最初坦承了这次调查经历，但被告知最好略去此事以免节外生枝。莱斯从中领悟到某些刺激性信息反而能加速许可审批流程——这又引出了另一段轶事。
Trump raises tariffs to 15% day after Supreme Court ruling5 days agohttps://www.bbc.co.uk/news/articles/cn8z48xwqn3o美国总统唐纳德·特朗普宣布计划对全球商品征收15%关税。此前最高法院裁定他越权行使总统权力，推翻了他此前实施的进口税政策。特朗普最初提议对所有进入美国的商品征收10%关税，后通过Truth Social平台发文将税率提高至15%。新关税将于2月24日生效，在未经国会批准的情况下可实施约五个月。特朗普批评最高法院的裁决'荒谬可笑、措辞拙劣且极度反美'。
Apple researchers develop on-device AI agent that interacts with apps5 days agohttps://9to5mac.com/2026/02/20/apple-researchers-develop-on-device-ai-agent-that...Ferret-UI Lite 是一款拥有30亿参数的轻量级模型，其性能可媲美甚至超越体积大24倍的大型模型。它属于Ferret系列产品线，该系列包括Ferret-UI和Ferret-UI 2，专为增强移动端界面理解能力而设计。该模型融合真实与合成训练数据，采用动态裁剪缩放技术和监督微调方法。通过针对特定GUI元素进行裁剪和重复预测，有效弥补了模型体积小的局限。其训练数据由多智能体系统自动生成，这些系统能与实时图形界面平台进行交互。模型的训练与评估覆盖Android系统、网页及桌面GUI环境。在短流程任务中表现优异，但处理复杂多步骤交互时仍存在不足。支持本地化私有化GUI交互，避免云端数据处理带来的隐私风险。
Sanders warns US has no clue about speed and scale of coming AI revolution5 days agohttps://www.theguardian.com/us-news/2026/feb/21/ai-revolution-bernie-sanders-war...伯尼·桑德斯警告国会和公众对AI革命的规模与速度准备不足桑德斯呼吁暂停AI数据中心扩张以保护工人、延缓技术革命进程罗·康纳主张AI发展应采用'新加坡模式'，聚焦可再生能源与水资源高效利用康纳提出防止AI生成财富被寡头垄断的七项原则桑德斯担忧AI对就业、个人福祉及人际交往的潜在冲击民调显示64%美国人认为未来20年AI将导致就业岗位减少科技CEO声称AI将提升生产力创造新岗位，但批评者担忧加剧不平等桑德斯敦促就AI对经济、民主及情感生活的未来影响展开公共辩论
Corporate America demands refunds after tariffs are struck down5 days agohttps://www.ft.com/content/07a295a3-e323-4a96-af48-ba8d01ab059a您的浏览器禁用了JavaScript。由于浏览器扩展、网络问题或浏览器设置等原因，网站的必要部分无法加载。请检查网络连接、禁用广告拦截器或尝试使用其他浏览器。