请启用 JavaScript 和 Cookie 以继续。
请启用 JavaScript 和 Cookie 以继续。
请启用 JavaScript 和 Cookie 以继续。
约翰·科特兰为优素夫·拉蒂夫绘制过一张鲜有解释的图示,它似乎将四度圈或五度圈与几何图形结合起来,以呈现和声关系。 八度内等距排列的音可以构成对称结构:全音阶形成六边形,减七和弦形成正方形,增三和弦形成三角形,三全音则表现为直径。这些对称和弦具有不明确的根音,并且存在多种可能的解决方式。与此同时,圆周上相邻的位置代表彼此关系密切的调。 这个圆将 ii–V–I 进行表现为向主音逐步推进的过程,其中导音平滑地解决。三全音替代则将圆周上不同位置的属和弦连接起来,常常形成半音化的低音线条。科特兰的《巨人步进》通过简写和完整的 ii–V–I 模式,在 B、G 和 E♭ 三个音之间循环;这三个音构成一个增三和弦。调式关系也可以理解为七个音组成的“窗口”沿圆周移动。 尽管科特兰的创作意图尚不确定,这张图仍以简洁的方式统一了调性关系、对称和声、声部进行、替代以及科特兰式变化等概念。
解密记录揭示了美国空军和NRO长达四十年的近地轨道“搭便车”电子情报(ELINT)计划。1963年起,手提箱大小的自旋稳定卫星先搭载在大型侦察航天器上,随后被部署到轨道上,用于收集、记录,有时还会直接中继雷达和通信信号。
这些廉价而定制化的系统最初被重新编号为“989计划”,后来称为“7300任务”,之后逐渐发展为标准化航天器。URSALA负责大范围雷达搜索和辐射源定位,而RAQUEL专注于窄波束技术情报。它们取得的成功使电子情报从一种战略情报产品转变为对外派部队的直接作战支持,并推动了战术利用国家能力(TENCAP)以及移动式地面处理系统的发展。
FARRAH combines URSALA and RAQUEL functions, added onboard processing, and could downlink data directly to ships, aircraft, and tactical units. Two smaller FARRAHs launched from HEXAGON satellites and operated until 2004; three enlarged versions later launched on Titan II rockets, with FARRAH IV failing. LORRI, GLORIA, and CARRIE conducted specialized spectrum surveys or communications intelligence, including on classified shuttle missions. The program’s ultimate fate remains unclear, but its legacy was integrating space-based SIGINT into routine military operations.
Amutable 推出 Quarry,这是一套基于 TUF 的客户端和发布工具链,用于安全分发不可变的 Linux 镜像及其他制品。它构建于 systemd-sysupdate 之上,采用静态 TUF 元数据和 blob,因此仓库可以镜像并缓存到不提供智能服务的主机环境中。 Quarry 强调委派签名角色、灵活的密钥所有权与托管、自主且可恢复的更新、细粒度目标匹配、最小必要权限访问,以及对常见仓库攻击的防护。TUF 提供角色分离、元数据过期、一致性检查,以及密钥泄露后的恢复能力。 其核心设计是让每台机器对应一个仓库,并与共享的操作系统、配置、应用或厂商仓库关联。这样既能将每台设备需要的数据限制在相关范围内,又能保留去重和可组合性。Quarry 还扩展了 TUF,支持带版本号的文件名和逐级更新,并提供包含信任根及快照信息的签名跨仓库链接。 目前,Quarry 正在与 systemd-sysupdate 集成,计划直接从 TUF 元数据生成临时传输清单。Quarry 是开源的,同时也支持传统仓库布局。
403 禁止访问 服务器拒绝访问此资源! 由 LiteSpeed Web Server 提供技术支持。 请注意,LiteSpeed Technologies Inc. 并非网络托管公司,因此无法控制本网站上的内容。
来自加州大学伯克利分校和帕多瓦大学的研究人员,以公元79年8月24日有历史记载的维苏威火山喷发为基准,重新校准了氩-氩测年法,从而显著提高了测年精度。研究人员利用八份富钾透长石样品,将这次喷发的时间测定到了13年以内,精度约为0.7%,准确度约为0.4%。
他们的分析还进一步确定了钾-40的半衰期为(120.44 ± 0.88)亿年,精度是此前核物理估计值的两倍。这些改进得益于质量更好的浮石样品、更先进的质谱仪以及更新的中子辐照技术。研究人员还认定,一枚长期被用作证据、表明庞贝火山在更晚的秋季喷发的钱币,很可能是在9月之前铸造的。
重新校准后的方法将为近期火山喷发以及考古学、古生物学事件提供更准确的年代测定,同时有助于校准放射性碳测年和铀-铅测年,并厘清小行星撞击、火山活动和大灭绝等地质事件之间的因果关系。
文章探讨了递归调用 `make` 时,GNU Make 3.81 至 4.3 如何处理并行执行。如果配方中直接运行 `make`,父进程的作业服务器(jobserver)可能不会传递给子进程,从而出现类似 `jobserver unavailable: using -j1` 的警告,导致并行能力丧失,甚至可能调用 `$PATH` 中另一个 `make` 可执行文件。 在配方前加上 `+`(例如 `+make -C subdir`),或使用惯用的 `$(MAKE)` 变量,可以解决这些问题,并确保子进程继承父进程的作业服务器设置。 显式指定 `make -j2` 或 `make -j4` 等选项会覆盖继承的作业数限制,并禁用或重置作业服务器模式;不同 GNU Make 版本产生的警告措辞可能不同。单独使用 `make -j` 会请求无限并行,但在未标记的递归配方中,其行为因版本而异,因此不可移植。总体而言,递归配方应使用 `$(MAKE)`,除非有意覆盖父进程的作业服务器配置,否则应避免指定 `-j`。
2026年 Burning Man 活动确认有3人死亡,创下该活动有记录以来的最高死亡人数,因此有人将其与美国总体死亡率进行比较。根据美国全国全因死亡率粗略估算,一周内7万名参与者中预计约有12.2人死亡。考虑到 Burning Man 参与者年龄普遍较年轻,预计死亡人数降至4.9人。在泊松模型下,观察到3人或更少死亡的概率约为27%,因此相较于这一基准,这一结果并不属于统计上的异常。 不过,与 Burning Man 历史上近乎为零的死亡人数相比,3人死亡仍属异常。剩余差异很可能与参与者筛选有关:参加者可能更健康、更富裕,也更能承受活动环境;此外,参与者在性别、种族、教育程度等方面也存在差异。由于仅有3起死亡,统计不确定性很大,因此结论应保持谨慎。
这是一次停止维护的开源发布:与 CHOMPI 相关的文件和文档将永久保存在此处。如需定制,请将该仓库克隆到你自己的 GitHub。 虽然我们不会再更新任何文件,但 CHOMPI Club 将继续在 Chase Bliss Discord 中保持活跃。欢迎前往 CHOMPI Open Source 频道讨论该项目、分享你的作品,并看看其他人使用自己的 CHOMPI 创作了什么。
作者回想起在德国和波兰的博物馆中见到的模块化工业控制面板,如今这类实体控制系统大多已被软件取代。过去,它们被用于空中交通管制、地铁和有轨电车监控以及发电厂运营。其模块包括发光状态指示器、计数器、按钮、标签、开关和可拆卸面板,融合了工程学、交互设计和字体排印之美,尤其是 DIN 字体与类似 Dymo 标签字体的对比。慕尼黑、斯图加特、纽伦堡、华沙和多特蒙德也曾出现过类似系统,但其具体用途往往并不清楚。按钮可能可以操作,灯光用于传递状态信息,标签或许标示着维修情况;大型开关可能用于切换昼夜模式,也可能只是吸引人们去拨动它。作者分享这些例子,是为了提供背景、消遣和灵感,同时向那些令人难忘的实体交互界面致意。
新加坡推出了一项由政府运营的相亲应用试点 **FirstDate**,面向21至35岁的公职人员。该应用采用 **盖尔—沙普利稳定匹配算法**。这一算法与2012年诺贝尔经济学奖相关,也被用于医院住院医师岗位分配和肾脏交换等场景。 用户会根据个人偏好和排除条件,对潜在伴侣进行排序。每个轮次中,提案者会向自己的首选对象提出匹配;收到提案的人会保留自己更偏好的提案,并拒绝其他提案,被拒绝者则继续向下一顺位对象 proposing。这个过程最终会得出一个数学意义上的稳定匹配,即不存在两名参与者彼此都比最终配对对象更理想的情况。 该应用每次只提供一个匹配对象,并设置72小时的决定期限。只有双方都接受后,才会提供联系方式,同时用户还需通过 Singpass 身份验证。商业平台通常会鼓励用户不断滑动、无限浏览,而 FirstDate 的目标是让用户尽快退出应用。帖子还指出,该算法生成的是一种对提案者而言最优的稳定匹配:它对发起提案的一方更有利,但接收提案的一方可能只能得到所有稳定匹配方案中自己最不偏好的选择。
帕特里克·菲茨西蒙斯认为,青铜时代帝国的消亡并非由单一灾难造成,而是 warfare 长期转变的结果。青铜武器依赖稀有且产地遥远的锡,因此大型国家和其精英阶层能够掌控军事力量。然而,随着炼铁技术的传播,各群体都可以利用本地丰富的矿石制造武器。这种变化使暴力手段更加普及,削弱了既有的等级秩序,也使大型帝国更难维持。 干旱、海上民族、贸易中断、饥荒和叛乱可能加速了公元前1200年左右帝国的崩溃,但铁器的普及有助于解释为什么类似的帝国没有立即重新出现。菲茨西蒙斯引用的考古和历史证据表明,铁器的采用之后,战争增多、统治者任期缩短,政治局势也更加不稳定。 更广泛的教训是,军事技术会周期性地重新分配权力。城堡强化了中央权威,后来的火器增强了起义者的能力,而核武器则提高了入侵的代价。现代无人机和人工智能也可能以类似方式挑战主导国家的地位;不过,控制这些技术的企业也可能再次集中权力。
Ledge 是一款 Markdown 笔记应用,可将文件夹转换为支持代码和实时运行的工作区。Python、Node、Ruby 和 PHP 可直接使用,TypeScript 通过内置的 Bun 运行,Redis 和 SQL 代码块则可使用环境 URL 连接;还可以在“设置”中添加更多解释器。 每日笔记基于普通 Markdown 模板创建,并通过日期和提示词区块快速生成晨间简报。你可以附加项目文件夹,而无需移动或修改其中的文件;还可以切换最多九个工作区,每个工作区都有独立的布局。 编辑功能包括语法感知的实时预览、从网页和文档导入内容时的富文本粘贴转换、图片处理,以及锁定笔记的可选加密。双向链接、全文搜索、反向链接、大纲、标签和收藏功能让笔记易于浏览和查找。 `ledge` CLI 可在任何终端中列出、读取、搜索、创建和追加笔记,输出清晰,并支持 JSON 格式输出。应用会随 CLI 的更改实时同步更新。删除的笔记会移至废纸篓,并在其中保留 30 天;永久删除时需要确认。
功能性超声成像(fUSI)是一种新兴的脑成像方法,以千赫兹级帧率采集超声回波散射,并检测神经活动引起的血流变化所导致的组织散斑快速变化。它可能具有远高于功能磁共振成像(fMRI)的空间分辨率,设备紧凑、信号强,同时还可作为低强度聚焦超声治疗的补充。 平面波发射和延迟求和等方法可利用返回的回波重建组织结构。功能信号通常采用功率多普勒方法估算,即计算复数图像数据在滑动窗口内的标准差。该指标主要反映运动的红细胞,因而更多反映血容量,而非血流速度。尽管功率多普勒应用广泛,但奇异值分解(SVD)杂波滤波可能会去除超过99%的方差,并可能误删神经信号。刚性运动校正和更温和的滤波方法有望改善结果。基于自相关的指标则可能提供有关血流速度的补充信息。 经过处理的fUSI时间序列可使用广义线性模型(GLM)、多变量模式分析(MVPA)以及编码或解码模型进行分析,以支持脑机接口和神经精神疾病研究。然而,其特异性最终受到血管组织结构的限制:静脉产生的信号强烈但成分混杂,毛细血管的选择性高但信号微弱。更好的运动校正、血流估计、深度学习方法和开放的Python仿真工具,可能加快该技术的验证与临床应用。
Dear Machine 让用户通过现有的 Gmail 或类似收件箱,以电子邮件方式操作自己的电脑;支持附件、群组对话、并行会话,以及访问基于本地 Git 的记忆。它支持已安装的智能体,如 Claude Code、Codex CLI 和 OMP,并可配置模型、提供商和沙箱适配器。用户可以使用 `machtiani run --attach` 监控工作,也可以在项目中直接调用 Machtiani。
Machtiani 是底层的迭代执行框架。它采用分层流程:规划器制定计划,ReAct 执行器执行计划,后端智能体完成具体任务。这些组件可以使用彼此独立的模型和配置,而长时间运行的会话能够保留上下文,无需依赖上下文压缩。
目前,安装需要从源代码构建,并使用固定版本的子模块。用户可以通过 BYOC 智能体或 Dear Machine 的礼宾服务进行设置,支持使用 Nix 或标准的 Linux/macOS 安装程序。Windows 用户可以使用 PowerShell。礼宾服务负责配置提供商、收件箱、模型、后端和更新;完成设置后,由 `dearmachine` 管理系统。
**AMT630A OSD v0.7.0** 是一个 Arduino/ESP32 库,用于控制基于 AMT630A 的复合视频显示器中的五个硬件 OSD 窗口。它支持大字体和小字体文本、自定义字形、4-bpp 16×22 位图块、共享索引/字体 RAM 分配、调色板与动画、透明度、混合、不透明度、亮度、缩放、闪烁、移动和批量更新。
一个 Python 转换器可将 GIF/PNG/JPEG/BMP 图像转换为 Arduino 位图头文件,并提供基于 RGB444 的量化、共享调色板、内存检查、校准预览和透明填充。示例涵盖 HUD、字符浏览器、自定义字形、动画或混合窗口、位图,以及通过 74HC4066 实现工厂菜单自动化。
通信采用 I²C,ESP32 默认使用 GPIO 21/22。不同硬件布局和固件之间存在显著差异。在已测试的原厂固件上,长时间从外部控制 OSD 可能会与 AMT630A 内部 MCU 发生冲突,导致 OSD 和实时视频画面冻结;先进入兼容的工厂菜单或许可以避免这一问题。必须根据具体显示器验证电气连接。
请启用 JavaScript 和 Cookie 以继续。
Marques Brownlee 在《致 YouTube》中批评了 YouTube 计划推出的 A/B 测试功能。该功能允许创作者为同一支视频发布多个版本。Brownlee 认为,这可能削弱 YouTube 所营造的共同文化体验:观众看到的可能是不同版本的视频,评论和推荐也会因人而异,分享的链接可能指向不同内容。他的核心观点是,创作者应该优先重视叙事、好奇心和创作信念,而不是播放量、留存率等指标。反复创作并完成作品,比无休止地优化各种版本更有价值,因为这种优化可能会抹去那些让创作富有意义的独特而有趣的部分。 作者还认为,这项功能体现了 YouTube 的不自信——它模仿竞争对手,并把自身的身份交给可以量化的指标,而不是坚定地发展自己的价值观。总体而言,这篇文章赞扬了创造力、社群,以及为创作本身而创作的精神。
对于包含原点的凸多面体 \(P\),其支撑函数为
\[
h(y)=\max_{x\in P}x\cdot y=\max_i v_i\cdot y.
\]
它是分段线性的,每个顶点对应一个线性区域。这些区域与高斯映射的胞腔相对应。
对于任意 \(c>0\),
\[
\{y:h(y)\le c\}=cP^\circ,
\qquad
P^\circ=\{y:x\cdot y\le1\text{ 对所有 }x\in P\}.
\]
因此,极对偶是一个由若干半空间相交而成的凸多面体。它的各个面对应于 \(P\) 的各个顶点:与 \(v_i\) 对应的面位于 \(v_i\cdot y=1\) 上。反过来,\(P\) 中位于 \(n\cdot x=d\) 上的每个面,都对应于对偶顶点 \(n/d\)。
对偶多面体的棱投影到高斯映射的分界线上,而其各个面投影到高斯映射的胞腔中。这种几何对应关系解释了这两种对偶凸包方法:将原多面体的面所在平面表示为对偶点 \(n/d\),编辑或合并这些点,然后取它们的凸包。由此得到的每个对偶面 \(w\cdot y=1\) 都对应一个化简后的原顶点 \(w\)。
请启用 JavaScript 和 Cookie 以继续。
Jeffrey Turkstra 对 2026 年春季学期 CS 240 课程人工智能诚信事件的记述称,课程政策明确禁止学生使用大语言模型完成作业,并在课堂上多次重申这一规定。Argus 是一款静态分析工具,并非大语言模型;它识别出了异常的代码模式。经过人工审核,教师认为被标记的 584 名学生中有 267 人可能违反了规定。
对行动时机、可能的胁迫、正当程序以及相关表格设计的担忧,促使教师与学校领导层会面。最终,Argus 得出的追溯性调查结果被丢弃;受影响的学生可以重新选课,其中有 74 人确实这样做了。Argus 仍继续用于之后的作业和课程。教师还报告称,在受控的期中考试中,被标记的学生表现更差。
尽管 Turkstra 坚称证据充分表明存在大范围的学术不端行为,但他向遭受不当压力的无辜学生道歉。他总结认为,诚信检测工具应在学期开始时部署;潜在违规行为应逐案审查;在采取追溯性行动前,应让校方官员参与;沟通应把握分寸,以保障公平和正当程序。
```[ SDF 公共访问 UNIX 系统 .. 始于 1987 年 ] 加入 欢迎 常见问题 状态 成员 商店 导览 Gopher 滥用举报 Minecraft 社交 ~ Europa Webmail 画廊 用户地图 IRC 教程 Telnet Git SSH -=- 一个用于启发、促进并实现新想法的社区平台 -=- [ 联系我们 ]```
请启用 JavaScript 和 Cookie 以继续。
TLA+ 擅长设计并发系统并验证不变量、动作属性、活性和精化,但无法解决智能体软件开发中的所有问题。只有当开发者能够准确表达所需属性时,形式化验证才有效。 原生 TLA+ 规范通常难以表达多步行为、浮点数或实时相关问题、存在性可达性(“这种结果有可能发生”)、用于比较多种执行轨迹的超属性,以及针对整个状态空间的元属性。一些重要需求,例如证明游戏可以获胜、比较不同模式的能耗,或检查统计性能,可能都超出了它的表达能力。 有些缺口可以通过辅助变量、自组合、公平性、机器闭包,或 `REACHABLE` 和 `TLCGet` 等 TLC 扩展来近似解决。然而,这些技术可能使模型复杂化、破坏精化,并导致状态空间爆炸。CTL 和 PRISM 等其他工具支持不同类型的属性,但也有各自的权衡。 TLA+ 可以有意义地检查“凭感觉编程”的系统,尤其适合处理容易发现且收益明显的并发和可靠性属性,但它无法表达或验证所有性质。
Bild AI 是一家以社会影响为驱动的初创公司,致力于将先进的计算机视觉和人工智能技术应用于图纸解读、成本估算及许可申请,帮助建筑行业建设更多住宅、医院和学校。 我们正在招聘一名全栈、从 0 到 1 的产品工程师,由其端到端负责各项功能:每周访谈客户,将复杂的建筑工作流程转化为清晰的产品决策,参与制定产品路线图,并快速交付产品。你将横跨 React 前端、Python 后端和基础设施,为经验丰富的行业专业人士打造简单、直观的界面。 理想的候选人应具备优秀的产品判断力、扎实的全栈技术能力,能够直接与客户沟通,并富有同理心、诚实、成长型思维和出差意愿。招聘流程包括:15 分钟介绍、一小时白板技术面试、一小时编程面试,以及 3 至 5 天的带薪试岗。该职位为全职、坐班制,工作地点位于旧金山,接受异地搬迁申请。
在使用 AI 编写代码之前,我会为重大改动撰写详细的提交说明,解释改了什么,更重要的是说明为什么改。这需要重新阅读并评估代码,常常还会带来改进,同时把关键的推理保留给后来的读者。 AI 生成的提交说明带来了一种新的风险:智能体可能不了解对话、项目工具或未记录决策中的上下文,于是编造看似合理的理由。给智能体提供更多上下文可以降低这一问题,但无法验证代码是否真的实现了提交说明所声称的内容。 因此,自己撰写提交信息仍然很有价值。它会迫使我审查改动、确认其目的,并识别出那些可能只存在于我脑海中的临时决策和退出条件。如果我无法解释为什么要做某项改动,那我可能并没有真正理解它,或者还没准备好交付它。即使代码由智能体编写,亲自写下变更原因仍然是一种必要的思考和验证方式。
卡内基梅隆大学宣布,Citadel创始人兼首席执行官肯·格里芬向该校捐赠30亿美元,这是高等教育史上金额最大的个人捐赠。此次捐赠包括10亿美元用于卡内基梅隆大学匹兹堡校区,其中5亿美元用于学校重点事项,5亿美元用于计算机科学学院;该学院将更名为“肯尼斯·C·格里芬计算机科学学院”。格里芬还将加入卡内基梅隆大学校董会。 其余20亿美元将用于建设卡内基梅隆大学迈阿密校区。该校区位于温伍德,占地35英亩,将围绕社会挑战而非传统学科专业进行设置。其初期研究重点包括人类健康、国家安全、能源与气候韧性,以及先进制造。这所跨学科校区将融合教育、研究、产业合作、创业工作室,以及人文学、艺术和设计。 校区计划于2027年动工,并在获得监管批准后,预计于2028年迎来首批学生。建成后的校区预计可容纳超过3,500名学生、300名教职人员和600名工作人员。这笔捐赠还将推动卡内基梅隆大学扩大全球影响力、吸引顶尖人才并应对紧迫国家挑战的更广泛战略。
Gitea 28.0.0 现已发布,不再沿用历史上的 `1` 前缀。这个以安全为重点的版本新增了审计日志、机器人账户、管理员用户模拟、用于 HTTPS 的部署令牌、CODEOWNERS 审批强制执行、差异搜索和扩展名过滤,并改进了关注选项、仓库切换、模板排除、许可证检测和 Actions 体验。Actions 新增或改进了队列、工件预览、动态矩阵、`max-parallel` 以及扩展 API。
升级人员应查看破坏性变更、备份数据,并替换二进制文件或容器。必须使用 Git 2.25 或更高版本。已完成的 Actions 运行记录、日志和工件默认在 400 天后删除;如需永久保留,请先将保留期限设置为 `0`,然后再升级。
除非明确启用,否则用户自行注册功能处于禁用状态;`DOMAIN` 已被 `ROOT_URL` 取代,SSE 已被 WebSockets 取代,Git 操作现在使用内部出口代理。请检查严格的出口允许/阻止列表以及已弃用的迁移设置。作业级别的 `if`、快速失败行为和可复用工作流权限规则均已更改。
发布二进制文件不再包含 32 位 x86 或 gogit 构建,armhf Snap 构建已停止,下载文件名也已更改。反向代理必须支持 WebSocket 升级;多进程部署需要使用 Redis 发布/订阅。
在 2026 年 9 月 25 日发布的一份披露中,研究人员 Faav 报告了微软内部 Titan 分析服务的一个严重漏洞。Titan 会接受带有微软兼容的租户、受众、应用程序和用户声明的 JWT,却不验证其加密签名。Faav 将未签名令牌的 `upn` 声明设置为 `admin`,从而获得了该服务的本地管理员身份以及未授权的 SQL 查询权限。
该漏洞暴露了 17 个分析数据库中的 30 个活跃路由目标,这些数据库估计包含 17.3 万亿条存储记录和 9,863 个不同的表。可访问的元数据包括约 25,000 个应用账户和 17,990 条员工电子邮件记录。Faav 还通过两次受限的单行采样确认了能够访问 Bing 分析服务,但他没有导出数据集、识别用户、关联记录、访问个人身份信息(PII)或证明实际利用了该漏洞。
Faav 于 9 月 5 日向微软报告了此问题;微软在 9 月 9 日前禁用了相关端点,并授予了 5,000 美元的奖金。该文章还指出,微软在发布前编辑了披露内容,以削弱或重新表述部分有关影响范围的声明。