50 篇热帖
Stellarium 是一款免费的开源天文馆软件，可在计算机上实时渲染出逼真的3D天空，效果如同肉眼、双筒望远镜或天文望远镜所见。
www.stellarium.org 获取详细信息。新手安装与快速入门请参阅《用户指南》的“入门”章节。这是一个将Bash脚本与Dockerfile合并为单个自包含文件的示例，用于快速运行一个简单的页面访问计数器Web应用。
脚本执行流程：
#!/usr/bin/env指令在执行时调用Bash，通过Docker构建镜像并运行容器。docker/dockerfile:1.4.0语法，并基于node:20镜像。server.js）监听8080端口，每次HTTP请求都插入一条点击记录，并查询过去4小时内按分钟聚合的点击数。index.html），该页面使用Canvas绘制过去4小时页面加载次数的折线图。核心特点：
Podman 是一个开源的容器引擎，旨在提供比 Docker 更安全、更轻量的容器化方案。它采用无守护进程架构，支持以非 root 用户运行容器，从而增强系统安全性。Podman 与 Docker 镜像和命令高度兼容，便于从 Docker 迁移。
| 方面 | Podman | Docker |
|---|---|---|
| 守护进程依赖 | 无 | 有 |
| 系统集成 | 通过 Systemd 管理容器生命周期 | 通过守护进程管理 |
| 容器编排 | 支持 Pod 概念和 Kubernetes YAML，使用 Podman Compose 兼容 Docker Compose | 支持 Docker Swarm 和 Compose |
| 安全默认值 | 更严格（rootless、权限限制） | 较宽松（默认以 root 运行） |
sudo apt update
sudo apt install -y podman
podman --version 确认安装成功。podman run docker.io/library/hello-world~/.config/containers/registries.conf 中设置 unqualified-search-registries=["docker.io"]，之后可直接使用短名称（如 podman run hello-world）。podman login docker.iopodman pull docker.io/library/hello-worldpodman tag docker.io/library/hello-world docker.io/<用户名>/hello-privatepodman push docker.io/<用户名>/hello-privatepodman run docker.io/<用户名>/hello-privatepip install podman-composedocker-compose.yml 的目录中运行 podman-compose up -d。Podman 通过其无守护进程设计、增强的安全特性和与 Docker 的高度兼容性，成为容器化领域的一个有力替代方案，特别适合对安全性和系统资源敏感的环境。
用户报告无法访问 Nitter.net 网站，尝试通过该网站浏览 Twitter 用户页面时出现错误提示：“We can’t connect to the server at nitter.net.”。这并非 Nitter 软件本身的错误，而是连接问题。
nslookup 查询 nitter.net 时返回 “Can't find nitter.net: No answer”，表明 DNS 解析无响应，无法获取服务器地址。nitter.net 的域名注册有效期至 2024 年 8 月 6 日，因此域名未过期。twitter.com 的 DNS 正常，返回多个 IP 地址（如 104.244.42.65），表明 DNS 服务正常工作。用户通过手动 DNS 查询（nslookup）确认了问题所在，强调这属于基础设施层面的故障，而非软件缺陷。
一位 LG 智能洗衣机用户 Johnie 发现，他的洗衣机平均每天使用 3.66GB 数据，引发担忧。他通过路由器界面阻止了设备，并质疑其是否被黑客入侵或存在异常。该洗衣机在一天内上传约 3.57GB 数据，下载约 100MB，数据流量近乎持续。
目前最受支持的解释是 Asus 路由器固件错误报告了数据使用量。Johnie 已将洗衣机切换为离线模式运行，但 LG 未对此事做出即时回应。
尽管此事件可能出于误报，但智能设备被黑客入侵的后果严重。文章举例 Bosch 网络连接扳手存在漏洞，攻击者可能利用漏洞批量禁用设备或秘密调整扭矩，导致工业安全隐患。相关补丁正在开发中，凸显了物联网设备安全的重要性。
PostHog 关闭公共 Slack 社区，转向自建论坛
背景与原因 PostHog 作为一个开源项目，其公共 Slack 社区在过去四年中发展迅速，成员已超过 5,000 人，是用户交流、反馈和获取支持的核心场所。然而，团队发现 Slack 平台已无法满足社区规模化的需求，主要问题包括：
解决方案：自建社区论坛 PostHog 选择使用 Strapi 作为无头CMS，自行构建了一个新的社区论坛。该论坛已经过数月运行，拥有超过 1,500 名活跃用户。新论坛的主要优势包括：
过渡计划与时间线 为确保平稳过渡，公共Slack社区将按以下时间表关闭：
重要说明 此决定仅影响公共Slack群组。以下渠道将不受影响：
邀请与感谢 PostHog 鼓励所有社区成员加入新论坛。团队对过去四年在Slack社区中参与、提供反馈和贡献的用户表示衷心感谢，并希望在新的论坛平台继续互动。
本文介绍了作者构建一个完全本地运行的LLM语音助手以控制智能家居的过程。
核心目标与硬件架构 作者旨在摆脱Siri、Google Assistant等云依赖服务，打造一个可定制、完全本地化、功能强大的智能家居助手。为此搭建了专用硬件环境，包括用于网络安全和路由的Protectli防火墙、TRENDnet 2.5G交换机、两张RTX 4060Ti显卡（主要为运行大模型提供足够显存）以及运行Home Assistant的Minisforum主机。
软件栈与模型选择
遇到的挑战与解决方案
$ActionRequired），并在后端解析时过滤此标记，从而区分查询与控制指令。最终实现效果 系统能理解用户对家庭状态的查询，并以个性化的方式回应。当用户发出控制指令时，助手会生成对应的JSON服务调用，由后端解析并执行。例如，请求“把办公室灯调成绿色”时，助手会输出包含相应服务调用的JSON。
总结 作者成功构建了一个功能完整、运行在本地、具有独特个性（GLaDOS）的LLM智能家居语音助手。整个项目涉及硬件选型、模型量化、引擎配置、提示词工程以及针对特定模型限制的创造性解决，实现了完全本地化控制和个性化交互的目标。
Starlink (SpaceX) 已成功完成其“直连手机”全球移动漫游服务的首次实时测试，使用的是未经改装的普通智能手机。此次测试距离首批具备该能力的卫星发射仅六天。目前，该服务仅支持收发短信。
AsmBB 是一个使用汇编语言编写的轻量级网络论坛引擎。以下是其主要版本更新的摘要：
该论坛还进行了一些细节更新，包括多个新主题（Glass, Neumor, Poly 等）、在 MiniMag 的插入 URL 按钮中使用所选文本作为锚文本、电子邮件验证遵循默认语言设置、实现页面功能（如联系页面、服务条款）以及实现 API 等。
本文通过矩阵乘法算法的优化过程，展示了K语言（一种数组编程语言）的核心编程范式：将命令式算法转化为声明式、简洁的数组操作。关键在于消除冗余变量、嵌套循环和状态修改，充分利用语言内置的数组操作符。
作者首先展示了一段模仿传统循环的K代码，存在三大问题：
::赋值创建了多个全局变量each (') 循环sum和C矩阵+/（fold操作符）替代显式求和Ceach操作直接返回结果数组C变量，循环不再修改状态分析i、j、k三个索引的实际作用：
i：A的行索引j：B的列索引 k：A的列/行的连接器通过数学观察发现：k索引的乘积和实际上可以表示为A的行向量与B的列向量的点积。
k循环：直接使用A[i]*B[;j]进行向量乘法j循环：对B进行转置，使用eachright (/:) 操作i循环：使用eachleft (\:) 操作经过优化，矩阵乘法最终简化为单行代码：
matmul: {+/x*y}/:\:+y}
实现特点：
虽然矩阵乘法天然适合数组语言，但文章指出未来章节将讨论不擅长K的算法及处理方法，暗示了数组编程的适用边界和扩展策略。
关键认知：数组语言的优化不是简单的代码压缩，而是思维方式的彻底转变——从"如何计算"转变为"表达什么关系"。
OpenD 是一门 D 语言的分支，以开放贡献为宗旨。根据其博客内容，该语言正处于活跃开发中，并定期发布新功能与更新。
extern(Objective-C) 支持，添加了 pragma(linkerDirective) 和 @section，并探索了 Ruby 风格的符号、元组改进、按需导入等语法特性。arsd)：拥有一个活跃的核心库 arsd，版本持续更新（如 11.3, 11.5 等）。它涵盖了图形用户界面（minigui）、网络、数据库、终端、音频视频处理等多个领域，并在跨平台支持上取得进展（如 Mac, iPhone）。arsd）的更新报告，以及对语言未来发展的思考。总体而言，OpenD 作为 D 语言的一个分支，正通过持续的创新、对跨平台和安全性的关注，以及活跃的库开发和社区参与，塑造其独特的发展路径。
根据匹兹堡大学Mark Ma和Yuye Ding的研究论文，强制要求员工返回办公室（RTO）的政策并未实现预期效果。各大都市的办公空间占用率自疫苗普及后一直维持在约50%的水平，生产力也未因此提升。尽管64%的CEO预期到2026年实现全员到岗，但研究发现，RTO政策并未显著提高公司的财务业绩或股东价值。
研究指出，管理者推行RTO政策主要有三个原因：管理者认为员工在家工作表现不佳、员工认为这是加强控制的手段、专家建议灵活安排。然而，数据表明，管理层的说法与实际情况不符——工作地点与公司财务表现之间并无关联。
实际上，RTO政策更多被管理层用作重新掌控员工的手段，并在公司业绩不佳时将责任转嫁给员工。这种做法不仅未能提升企业价值，反而降低了员工满意度。专家建议，企业应采用“吸引而非强制”的方式，为需要协作的员工提供灵活的办公环境，而非强迫所有人返回办公室。
长期来看，强制性的RTO政策可能导致员工流失，并削弱员工对公司的信任。研究者认为，如果公司业绩下降，管理层应寻找其他原因，而非将责任归咎于员工。
本文通过代码实现，系统讲解了Transformer架构中的核心注意力机制，包括自注意力、多头注意力、交叉注意力和因果注意力。
自注意力机制的核心目标是为输入序列中的每个元素（如单词）计算一个包含上下文信息的上下文向量。其实现过程包含以下关键步骤：
W_q、W_k、W_v 相乘，得到查询序列 Q、键序列 K 和值序列 V。查询和键用于计算相关性，值用于加权求和。q_i，它与所有键向量 k_j 进行点积，得到未归一化的注意力分数 ω_{i,j} = q_i · k_j。这衡量了第 i 个位置对第 j 个位置的关注程度。√d_k（d_k 是键向量的维度）进行缩放，以防止点积值过大导致梯度消失。然后，通过 Softmax 函数将分数归一化为权重 α_{i,j}，使得所有权重之和为1，形成概率分布。V 进行加权求和，得到最终的上下文向量 z_i = Σ(α_{i,j} * v_j)。该向量融合了输入序列中其他元素的信息。多头注意力并行运行多个自注意力机制（即“头”），旨在让模型从不同角度学习序列中的关系。
W_q、W_k、W_v 权重矩阵。交叉注意力是自注意力的一种变体，常用于处理两个不同序列之间的关系。
Q 来自一个序列（例如，在解码器中），而键 K 和值 V 来自另一个序列（例如，编码器的输出）。因果注意力是自回归语言模型（如GPT、Llama）生成文本时使用的关键机制，也称为掩码自注意力。
-inf）。通过从零开始编码这些机制，文章清晰地揭示了现代大型语言模型（LLM）中注意力层的内部工作原理。文章指出，尽管存在更高效的实现（如Flash Attention），但理解这些基础机制对于掌握Transformer架构至关重要。
Citadel 是一款兼容 Calibre 的电子书库管理应用，目前处于早期开发阶段，可能存在漏洞或功能缺失。它旨在提供比 Calibre 更快速、更友好的用户体验。
xattr -d com.apple.quarantine /Applications/Citadel.app/ 移除隔离属性来解决。bun run dev 或 bun dev 启动应用。bun format：格式化所有代码。bun format:check：检查格式。bun lint：运行代码检查。bun format:web, bun lint:web）或后端（bun format:backend, bun lint:backend）操作。bun run build。Wal2 模式是传统 WAL 模式的改进版本，旨在解决 WAL 文件可能无限增长的问题。以下是其核心内容摘要：
PRAGMA journal_mode = wal2;PRAGMA journal_mode = delete;PRAGMA journal_mode = wal2;SQLITE_NOTADB 错误。可通过 PRAGMA journal_mode = delete; 切换回回滚模式，以恢复通用兼容性。传统 WAL 模式中，检查点（将 WAL 文件数据复制到主数据库文件）期间如果存在持续写入，WAL 文件可能无法被清理，导致文件无限增长。Wal2 模式通过使用两个 WAL 文件（<数据库>-wal 和 <数据库>-wal2）解决此问题：
sqlite3_wal_hook() 注册回调，并在参数超过阈值时执行检查点）。BEGIN CONCURRENT 等需应用互斥锁的系统中，为避免并发问题，建议将检查点操作延迟至释放锁之后执行，而非在钩子回调中直接执行。本文介绍了麻省理工学院开放课程（MIT OpenCourseWare）为2024年新年推出的13门免费在线课程与教育资源，涵盖语言学习、音乐、管理、历史、科学等多个领域。
主要课程类别如下：
语言学习
音乐艺术
趣味管理
历史探索
科学思维
此外，还提供了两类实用的教育资源：
所有这些课程材料与资源均通过MIT OpenCourseWare免费在线提供，该项目是MIT Open Learning的一部分。
文章摘要：
英国信息专员办公室（ICO）对餐饮配送公司HelloFresh处以14万英镑罚款。在七个月内，该公司向客户发送了7900万封垃圾邮件和100万条垃圾短信，违反了2003年《隐私与电子通信规定》第22条。
ICO调查发现，其营销信息的“同意”声明存在重大缺陷：
这构成了对公众信任的明显破坏，ICO表示将对违反法律的行为采取坚决行动。此次调查始于2022年3月，起因是公众向ICO和垃圾信息举报服务7726进行投诉。共收到超过8,700起相关投诉。
ICO同时提醒公众，如遇骚扰通讯，可通过电话偏好服务注册拒绝营销电话，或向7726服务转发垃圾短信进行举报。自2023年4月以来，ICO已对骚扰通讯类案件累计罚款超过244万英镑。
本次 Crystal 语言发布是一个重大更新，包含自 1.10.1 以来的 178 项变更，涉及 28 位贡献者。新版本引入了多项新功能、编译器改进和标准库增强。
llvm_ext 包装器的依赖（旧版 LLVM 仍需要）。简化了未来工具链。-O0（无优化）、-O1（低优化）、-O2（中等优化）、-O3（高优化）四个级别。-O3 等效于旧版 --release，-O0 是默认非发布模式。现在可以在不使用 --single-module 的情况下应用高级优化。alignof 和 instance_alignof，用于查询类型的内存对齐值，便于实现类型感知的分配器。@caller 访问其调用上下文（如行号）。@[Link] 注解新增 dll 参数，用于在 Windows 上指定动态链接库。.splat 方法。Enumerable#present?（#empty? 的逆操作）、Enumerable#each_step / Iterable#each_step，以及带转换块的 #to_set 和 #to_a 方法。BigFloat#** 的支持；使用 Ryu 算法进行浮点数到字符串的转换；新增 Float::Primitive 的十六进制浮点数解析方法；增加 Math.fma、Number#integer? 等实用方法。String::Buffer 和 IO::Memory 的容量限制从 1GB 提升至 2GB；String#matches_full? 简化了全字符串匹配；StringScanner 现在支持 String 和 Char 模式。.v1 到 .v5。EOL；Regex::MatchData#to_s 返回匹配的子串；Char::Reader 增加可空的字符访问器。crystal spec：新增 --dry-run（打印但不执行测试）和 --list-tags（列出所有标签）命令。crystal tool unreachable：新增 --tallies（显示方法调用计数）、--check（存在不可达代码时失败退出）、注解支持、CSV 输出格式以及路径相对化等增强功能。Number#format 中影响整数部分的错误。String::Buffer 和 IO::Memory 的容量限制问题。markd 和 reply 对编译器源码树路径的依赖。Crystal::HOST_TRIPLE 和 Crystal::TARGET_TRIPLE。Reference.pre_initialize、Reference.unsafe_construct 和 ReferenceStorage（注意：ReferenceStorage 因兼容性问题在 1.11.1 中移除，未来将改进后回归）。shards 更新至 0.17.4。LLVM.start_multithreaded 和 LLVM.stop_multithreaded 方法。本版本由 84codes 及其他赞助商支持完成。
本文研究了爱尔兰都柏林酿造的吉尼斯世涛啤酒所用酵母菌株的起源。通过对16株吉尼斯酵母和6株其他历史爱尔兰酿酒酵母进行全基因组测序分析，主要发现如下：
独特的系统发育地位：基于单核苷酸多态性分析，吉尼斯酵母在进化树上形成一个独立的亚群，与已知的“啤酒1”分支中的其他历史爱尔兰酿酒酵母分开。这表明吉尼斯酵母与其他爱尔兰酿酒酵母（如酿造麦芽啤酒的酵母）具有不同的祖先起源，尽管历史上曾有记录显示酿酒师之间会共享酵母。
马赛克式基因组构成：群体结构分析显示，吉尼斯酵母并非源自单一的祖先群体，而是具有多个地理来源（欧洲和亚洲）的混合血统，属于“马赛克”型菌株。
可追溯至1903年：系统发育分析证实，当今使用的吉尼斯酵母（如用于爱尔兰生啤世涛IDS和外销世涛FES的菌株）与1903年沃特林实验室保存的吉尼斯酵母菌株有密切的亲缘关系，支持了公司档案的历史记录。
基因组特征：所有吉尼斯酵母均为非整倍体，存在染色体数目和拷贝数变异，这是工业驯化酵母的典型特征。然而，并未发现特定的染色体扩增与其酿造特性直接相关。
基因型与表型差异：尽管基因组高度相似，但不同吉尼斯酵母菌株在发酵速度、乙醇产量以及关键风味物质（如酯类、高级醇、二乙酰和酚类异味）的生成上存在显著差异。这表明基于基因型预测表型具有挑战性，强调了酿造前进行表型验证的重要性。
特有的酚类异味（POF）表型：所有研究的吉尼斯酵母均携带产生酚类异味的基因（PAD1和FDC1），属于POF阳性菌株。这与许多其他工业酿酒酵母不同，后者通常因筛选而失去此特性。研究认为，由于爱尔兰酿造工艺（如糖化温度）不利于释放酚类前体，且其风味阈值可能较高，因此该表型在吉尼斯啤酒中得以保留且未对风味产生负面影响。
适应性进化证据：对酵母存储方式和人工选择（如基于絮凝特性）的分析表明，吉尼斯酵母在长期维护过程中可能发生了适应性进化，导致当前生产菌株与历史菌株出现分化。
结论：研究表明，吉尼斯世涛酵母是一个独特的、具有马赛克起源的群体，可追溯至1903年的原始菌株。其驯化基因组特征（如非整倍性）和独特的POF阳性表型，反映了其为适应特定啤酒风格（世涛）而进行的长期选择与进化。研究结果凸显了啤酒风格对酵母选择的影响，并为理解工业酵母的基因型-表型关系提供了见解。
1996年，读者来信询问格洛丽亚·拉米雷斯（被称为“有毒女士”）的死因及导致医护人员中毒的真相。她于1994年2月19日因晚期宫颈癌导致的肾衰竭死亡，但事件中急救室多名工作人员出现严重中毒症状，引发广泛调查与猜测。
事件经过：
调查与初步结论：
主要理论：
DMSO化学反应假说：拉米雷斯使用DMSO，因尿路阻塞在血液中积累；急救给氧转化为DMSO2；抽血冷却后结晶；通过未知机制（可能为除颤电击）转化为剧毒硫酸二甲酯（DMSO4）气体，导致医护人员中毒。该理论解释了症状，但第四步转化机制尚未完全证实。
甲基苯丙胺实验室假说：有报道称医院可能存在非法甲基苯丙胺实验室，毒品化学物质意外进入静脉输液袋导致中毒。但该理论可信度受质疑，且当局未检测输液袋。
现状：
同行评审是基于荣誉的体系
同行评审虽然存在诸多缺陷，但仍是科学中必不可少的环节。其主要问题包括：
尽管如此，作者仍重视同行评审，视其为一个 基于荣誉的体系 。在此体系下，必须接受会存在大量作弊和错误，关键是对此保持透明。不能将通过同行评审等同于工作绝对正确，也不能以此作为评价他人工作质量的标准。它主要作用是帮助作者改进工作。
同行评审的核心价值在于接受批评以提升自己。作者不喜欢“乡村俱乐部”式的评审，即仅关注论文是否符合评审者观点或作者是否受人尊敬。
那么如何评估一个人的真实水平？只能通过亲自阅读其工作、重复其实验、验算其数学来判断。然而这种方法扩展性很差，在招聘等场景中难以实践。因此，必须现实地接受：我们一生能深入了解的研究者数量有限，而招聘等过程本身存在缺陷，可能会选错人。
文章标题表明，在加拿大卡尔加里市的加油站发生了油泵结冰的事件，具体细节通过视频形式呈现。
文章中包含一段针对 CityNews 应用程序的推广内容，主要功能包括：
本文核心是报道卡尔加里加油站油泵结冰的新闻事件，并附带了对CityNews应用程序的功能推广。
这是一个YouTube视频页面，标题为"Sucking down on this cone makes it rise, and Feynman sprinkler"。页面内容主要是该视频的技术配置数据，包括播放器设置、实验标志和客户端版本等，核心是视频播放失败并要求用户登录。
关键信息如下：
标题：数学与物理的惊喜收藏家常田君
斯坦福大学数学家常田君（Tadashi Tokieda）通过一双孩童般的眼睛，在日常物品中发现非凡的物理现象。他收集了超过100种他称之为“玩具”的日常物品，它们制作简单，却展现出甚至让物理学家都困惑的惊人行为。他的公开数学讲座宛如魔术表演，但他强调“我只是在向观众介绍自然，并把自然介绍给观众”。
“玩具”的理念 常田君所指的“玩具”并非商店购买的预设用途的成品，也不是人类设定规则的谜题游戏。他感兴趣的是由“自然设定规则”的现象。这些玩具源自日常生活（如米罐、纸条、碗中滚动的球），孩子或科学家都能对其产生同样的惊奇。他的目标是展示科学发现并非专业科学家的专利，任何人通过亲身观察和体验都能感到惊喜并理解自然。
人生经历与学术转向 常田君在日本成长，早年被视为神童画家，5岁举办画展。14岁独自赴法读高中，受到法语文化的冲击，从此沉迷语言学，成为古典语言学家（研究古代语言的学者）。转折点发生在他在东京任语言学讲师时，因偶然阅读苏联物理学家朗道的传记。书中描述朗道从昏迷中苏醒后，立即向儿子询问一个微积分问题的场景，深深刺激了当时对微积分一无所知的常田君。出于“个人复仇”，他开始自学数学，仅通过大量做题来学习。这一过程中他发现自己擅长此道并热爱数学，遂辞职赴牛津用两年读完本科，后赴普林斯顿攻读博士，最终成为数学家。
收集“玩具”的起源 他成为数学家后，起初研究纯数学（辛拓扑），但难以与非专业人士分享。在转向物理学、关注宏观现象后，他决定每完成一篇论文或想通一个问题，就设计一个简单的桌面实验或“玩具”，以便向亲友展示科学之乐。逐渐，收集和设计玩具成为他的首要活动：从日常生活中寻找有趣现象，再由此开展科学研究。
发现与分享的哲学 常田君强调以新鲜、近乎天真的眼光观察世界，不局限于已被“标签化”有趣的事物。例如，他注意通过极薄水流时，靠近水龙头的手指可使水流产生波纹——这源于表面张力，但绝大多数人未曾目睹。他承认，并非所有他觉得惊奇的事物都能引起他人同等兴趣，尤其在虚拟现实普及的今天，人们对物理世界的惊奇感可能减弱。
对于频繁被问及的“实用应用”问题，他指出人们往往将“实用”等同于快速致富或快速杀戮。而他的“玩具”有直接应用：当孩子们因观看这些玩具而露出笑容时，这本身就是一种实用价值。他的核心目的不是教育或唤醒他人的自满，而是分享惊喜，并享受自己不断被自然现象证明错误后变得更聪明一点的喜悦。
根据提供的内容，当前无法获取文章《Towards Modern Development of Cloud Applications (2023)》的正文信息。所提供的内容是一个由Cloudflare生成的安全挑战页面，其目的是验证访问者身份，并非文章的实际内容。
此页面要求启用JavaScript和Cookie才能继续访问。页面中包含的脚本用于处理安全验证，指向的路径为 /doi/10.1145/3593856.3595909，这是该文章在ACM数字图书馆的DOI标识。
如需获取文章内容，建议直接访问该DOI链接（https://doi.org/10.1145/3593856.3595909）并完成必要的验证。
Chapel 是一种用于高效并行计算的编程语言，近年来其团队致力于添加GPU支持，使得创建中立于厂商且高性能的GPU程序变得更加容易。
核心概念：Locale 与 on 语句
Chapel 通过 “locale” 和 “on” 语句控制代码执行位置。Locale 代表运行程序的机器资源单元，可以是CPU或GPU。on 语句用于将代码块显式地定向到某个locale执行。例如，on here.gpus[0] 会将代码块定位到系统中的第一个GPU上执行。变量在 on 块内声明，则逻辑上属于该locale，从该locale访问性能最佳。
启用GPU支持
需设置环境变量 CHPL_LOCALE_MODEL=gpu 来编译Chapel。对于AMD GPU，还需通过 CHPL_GPU_ARCH 指定架构。若无GPU，可使用 cpu-as-device 模式进行开发，该模式下CPU会透明地执行GPU代码。
循环与GPU执行
在GPU上运行的关键是编写“顺序无关”的循环。使用 foreach 关键字表示循环的每次迭代相互独立、无数据竞争，Chapel编译器会自动将其转换为GPU内核代码。反之，使用 for 关键字的循环为顺序依赖，不会在GPU上执行。例如，在 foreach 循环中计算数组每个元素的两倍是典型的GPU适用场景。
可在GPU上执行的功能 Chapel的大部分语言特性都可在GPU上使用，包括：
sin）均可在GPU内核中调用，甚至递归函数也可运行。运行环境与扩展性
Chapel的GPU支持是厂商中立的，同一份代码可在NVIDIA和AMD GPU上无需修改运行。其GPU支持具备良好的可扩展性，从笔记本电脑原型（可使用 cpu-as-device 模式）到超级计算机均可运行。通过嵌套 coforall 和 on 语句，能够轻松编写利用整个系统中所有GPU的程序。
适用问题类型 GPU拥有大量核心，适合处理可分解为众多相似且独立子任务的问题，例如图像渲染（计算各像素颜色）和线性代数运算（如矩阵乘法，各元素计算独立）。通过将任务分解到众多核心上并行执行，GPU能实现显著的性能提升。
总结
Chapel通过 locale 和 on 语句提供清晰的执行位置控制，利用 foreach 循环标识可并行执行的顺序无关代码块，并自动将其转化为GPU内核执行。这使得程序员能够利用大多数Chapel语言特性编写中立于厂商、可扩展且高性能的GPU程序，而无需深入了解CUDA或HIP等底层框架。
Decker 是一个多媒体交互文档创作与分享平台，旨在继承 HyperCard 的遗产并融合经典 Mac OS 的视觉风格。它保持了 HyperCard 的简单易学，同时增加了许多现代化改进，如深度撤销历史、滚轮和触屏支持、更便捷的键盘导航及批量编辑操作。
用户可以利用 Decker 创建电子杂志、整理笔记、制作演示文稿、构建冒险游戏，甚至绘制 1 位像素艺术。其独特的“ditherpunk”美学风格兼具怀旧感与创意约束。作为原型设计工具，它鼓励一种随意、不完美的创作方式。完成的作品可保存为独立的 .html 文件，在浏览器中直接运行，也可在 macOS、Windows、BSD 和 Linux 系统原生使用。
对于复杂项目，Decker 提供了一种名为 Lil 的脚本语言，该语言受 Lua 和 Q 语言影响，易于学习且兼具常规编程特性与高级功能（如隐式标量-向量运算和集成类 SQL 查询语言）。平台内置多种交互式控件，并支持自定义控件的创建与通过剪贴板共享，使每个文档都成为可复用组件的工具箱。
Decker 对命令行友好：其源码编译版本附带 Lilt（独立的 Lil 解释器），可无头读写、操作甚至执行 Decker 文档。Lilt 依赖性极低，可编译为跨平台可执行文件，甚至存在基于 POSIX AWK 运行的解释器。文档采用面向行的文本格式，便于与 Git、SVN 等版本控制工具集成。
该平台无广告、遥测或任何侵犯用户隐私的功能，为免费开源软件（MIT 许可证）。资源包括丰富的示例、库、文档及 GitHub 上的源代码与问题跟踪器，另有 macOS 和 Windows 的二进制发行版通过 Itch.io 提供。社区定期举办主题创作活动。
技术原理与成效
核心创新
应用拓展与法规适应
行业影响
本文是对科学记者加里·陶布斯的采访，主要探讨了他在糖尿病饮食治疗方面的核心观点，即低碳水化合物饮食（特别是生酮饮食）在管理1型和2型糖尿病中被低估，而当前以药物为主的治疗方案可能存在长期风险。
文章呈现了陶布斯试图颠覆糖尿病治疗主流范式的观点：将饮食干预（尤其是碳水化合物限制）重新置于治疗核心，并审视胰岛素等药物的长期角色。尽管他的观点有历史依据和个案支持，但仍面临现代研究的质疑、临床实践的挑战以及患者个体差异的复杂性。这反映了在糖尿病管理上，科学证据、历史认知、临床实践和患者体验之间存在持续的张力。
一家位于旧金山的餐厅可能通过DoorDash平台同时运营多达70个不同的虚拟门店。
COSMIC DE是专为Pop!_OS及其他发行版打造的全新桌面环境，目前已进入发布前的最后冲刺阶段。
开发团队的目标是在2024年3月底前发布一个体验完整但功能仍在扩充的Alpha版本。此版本旨在让用户感受到产品的完整性，同时便于收集可用性反馈，并集中精力完成设置面板。最终目标是推动在2024年夏季发布24.04正式版。
剩余的开发工作分为三个阶段：
开发团队构建了COSMIC Terminal (cosmic-term)。其主要特性包括：
æ。wgpu、glyphon 和 softbuffer/tiny-skia 的自定义渲染器，性能与Alacritty相当。这是一款用于在Wayland下列出和配置显示器的命令行工具，将作为COSMIC设置中显示设置页面的后端。
COSMIC Terminal及多个COSMIC DE项目已可在NixOS上使用。COSMIC DE虽是Pop!_OS的旗舰桌面，但其架构设计支持其他发行版构建自定义、品牌化的用户体验。
以下功能正在开发中，将在后续分享更多细节：
设置面板的开发也在进行中：
在设计匹配阶段，团队将对应用库、启动器和通知气泡等已实现的功能进行打磨，确保其与设计稿一致。
许多网站虽然实际提供了 RSS 订阅源，但并未在网页中明确暴露 RSS 链接。作者理解部分网站因使用现成主题、疏忽或故意不设置链接的行为，但指出一个常被忽视的问题：有些网站的 RSS 订阅源甚至未在 HTML 中通过 RSS 自动发现 标准进行声明。
RSS 自动发现是一种标准方法，旨在帮助浏览器和阅读器软件自动定位网站的 RSS 订阅源。如 Robb Knight 所述，许多网站缺失了这一声明。这正是许多 RSS 阅读器（如 NetNewsWire）在用户输入网址时自动查找订阅源所依赖的机制。
如果网站提供 RSS 订阅源，应在网页的 <head> 部分包含如下标签：
<link rel="alternate" type="application/rss+xml" title="My Cool Website" href="https://example.com/feed.xml" />
<!-- 对于 Atom 订阅源，使用 application/atom+xml -->
<link rel="alternate" type="application/atom+xml" title="My Cool Website" href="https://example.com/atom.xml" />
作者表示，自己通常不会特意寻找 RSS 链接。当怀疑网站存在订阅源时，会直接将首页 URL 粘贴到 RSS 阅读器的“添加”功能中，让其自动查找。如果未能找到，则认为该网站无订阅源。
因此，作者强调：如果网站已经提供了 RSS 订阅源，无论是否主动设置，都应确保在代码中添加上述 <link> 标签，否则用户和自动发现机制可能会忽略该订阅源的存在。
文章《How to write a logline producers won't pass on》旨在指导读者撰写能吸引制片人注意的电影或电视剧梗概。梗概是一至两句话的简短摘要，用以概括故事的中心冲突。它与故事大纲（情节的逐节复述）和宣传语（吸引观众的俏皮话）不同。
文章提供了一个基础公式：当 [引发事件] 发生时，[主角] 决定 [采取行动] 对抗 [对手]。接着，文章详细阐述了撰写优秀梗概的八个步骤：
文中列举了多部知名电影（如《永无止境》、《被解救的姜戈》、《星球大战》等）的梗概作为实例，具体分析了上述技巧的应用。最后，文章总结了撰写卖座梗概的关键要素，并预告后续将介绍如何撰写电影故事大纲。
Tachiyomi项目宣布停止活跃开发。该决定由核心贡献者与支持人员一致通过，原因是近期Kakao Entertainment Corp对开发者本人及其他项目相关人员构成威胁。该项目作为业余爱好开发，无经济回报，此事件被认为不值得继续投入时间精力。
开发者回顾了在项目中获得的经验，包括Android开发复杂性、面向大量用户但数据有限的应用设计考量，以及提升普通用户可访问性的设计思路。其期望未来全球粉丝能更便捷获取内容，创作者能以可持续健康的方式分享作品。
感谢了数百名全球贡献者、志愿者管理员以及提交反馈和漏洞报告的社区成员。对于未合并的拉取请求表示歉意。
后续安排包括：GitHub代码库将下线，官方社交媒体账号关闭，Discord服务器将转为通用社区。现有安装不受影响，但任何自称Tachiyomi或继任者的新项目均与原开发者无关。用户需警惕未知来源的安装。并再次强调应直接支持喜爱的内容创作者。
目的：该HTML页面是一个验证页面，用于确认访问者是人类用户而非自动化机器人。它通过显示一个交互式挑战（可能类似CAPTCHA），要求用户解决后才能继续访问内容或服务。页面标题“Are we human?”暗示了这一验证目的。
结构：
<head>和<body>，用于定义页面元数据和内容。<meta>标签设置字符编码（utf-8）和视口（viewport）以适应响应式设计。/_labrador/pow/slow.js），并定义了一个solved函数，用于处理挑战解决后的逻辑。<style>标签嵌入CSS代码，使用媒体查询（@media）实现响应式设计，调整wicketkeeper类元素在不同屏幕尺寸（如桌面、平板、手机）下的大小和布局。<body>中包含一个div元素，类名为wicketkeeper，用于显示挑战输入区域，并设置输入名称和回调函数。关键功能：
solved函数被触发。该函数接收数据（包括nonce、token和response），并通过fetch API向服务器发送GET请求到/_labrador/pow/v0/verify，请求头中包含验证参数。该页面是一个独立的技术组件，专注于用户验证流程，不包含直接的新闻内容或文章信息。其设计简洁，侧重于前端交互和服务器通信，以完成身份验证任务。
本文揭示了互联网上大量内容通过机器翻译生成的现象，尤其体现在低资源语言中。研究发现，多语言网页内容往往是批量机器翻译的结果，这些翻译质量普遍较低。这种机器生成的平行内容不仅主导了低资源语言的翻译部分，也构成了这些语言中网络内容的重要比例。
研究还指出，被翻译成多种语言的内容存在选择偏差，即低质量的英语内容倾向于被大规模机器翻译到其他低资源语言中。这一发现对利用网络抓取的单语和双语数据来训练多语言大语言模型的做法提出了严重质疑，强调了其中潜在的数据质量和伦理问题。
文章介绍了如何估算系统的内存带宽，定义为从内存到CPU每单位时间可传输的最大字节数。测量方法基于顺序读取数据，利用处理器以缓存线（通常不小于64字节）为单位操作的特性，每64字节读取一个值即可，通过求和函数实现。提供的C++代码示例包括一个单线程求和函数和一个多线程版本，后者将数据分成连续段，分配多个线程并行处理以最大化带宽利用。
作者在配备两个Intel Ice Lake处理器（共64核）的服务器上运行测试，观察到带宽随线程数增加而提升，从单线程的约15 GB/s上升到超过130 GB/s，但达到约20线程后不再增长。程序未优化NUMA或线程绑定，Linux系统默认启用了透明大页。
文章指出，使用NUMA节点可进一步增加带宽，例如通过Linux的numactl命令将进程绑定到不同节点，但节点间通信成本较高。此外，源代码可供参考，并提及了其他测量工具和作者的相关博客文章。整体聚焦于内存带宽测量的技术细节、实现方法和实验结果。
Ping是一个原子化社交网络，由用户自我托管的社交媒体账户组成。用户通过个人Ping实例可以实时互动，包括点赞、回复和重新Ping帖子。其架构基于个人硬件管理节点，提供高度自定义和个性化机会，不同于其他社交网络拓扑。
Ping的独特设计消除了对网络效应的依赖：账户和内容的价值不取决于其他Ping用户的数量，个人可独立消费内容，类似阅读博客。它不仅限于网络内内容分发，还通过微妙的社交互动层增强消费体验。
构建在ActivityPub协议上，确保网络成员的独立性和自由性。即使Ping平台失败，用户也不会丢失内容或需要重新开始。自我托管方式允许用户根据个人需求创建自定义算法，超越设计层面的个性化。
开发目标并非取代其他平台，而是为那些有资源、知识和意愿自我托管社交账户的用户提供选项。Ping开发刚开始，首个可用产品尚需时间；它将是一个开源项目，由社区共同引导。当前代码暂不适合开源，但未来会公开。
未来开发更新将通过电子邮件发布，联系地址为[email protected]。
文章内容描述了一个服务器验证场景：用户被提示执行额外验证，并需提交CAPTCHA挑战。具体包括服务器需求说明和提供的Ray ID（a03300ebca579d24）。内容简短，无其他细节。
imprecv 是一个简洁、无冗余的 Typst 简历（CV）模板，其核心特点是使用 YAML 文件作为数据输入源，以便于对简历数据进行版本控制。该模板的设计灵感来源于 Reddit 上由用户 u/SheetsGiggles 发布的流行模板，并遵循了 r/EngineeringResumes 社区维基中的相关建议。
template.yml），而将文档样式和布局逻辑放在 Typst 文件中（如 template.typ）。这种分离使得简历数据的更新和版本管理变得简单清晰。模板支持两种主要的使用途径：
这是推荐的使用方式。用户可以通过在项目目录中运行命令 typst init @preview/imprecv:1.0.1 来初始化一个新项目。此命令会创建包含 imprecv 模板和所需文件的项目结构。随后，使用 typst compile template.typ 命令即可将文件编译为 PDF。项目示例中还包含了一个 GitHub Actions 工作流，可自动编译 Typst 文件为 PDF 并上传到 Cloudflare R2。
用户可以从应用仪表板选择“从模板开始”，搜索并选择 imprecv 模板。之后，可以为项目命名并创建。创建后，用户可以直接在网页编辑器中编辑模板文件，并在右侧实时预览结果。此外，也可以通过 Typst Universe 页面上的“在应用中创建项目”按钮来快速创建项目。
项目作者指出，编程仅是其业余爱好，因此回复问题和处理 Pull Request 可能需要一些时间。作者欢迎社区成员通过提交 Pull Request 的方式为项目做出贡献，并承诺会在有空时进行审阅。
本文探讨了如何为Python C扩展添加类型信息以提升PyPy等运行时性能。PyPy作为Python的替代实现，其JIT编译器无法优化C扩展调用，主要因为C API要求使用PyObject指针，而PyPy内部使用不同的对象模型和垃圾回收器，导致每次调用C扩展都需要进行复杂的对象转换和内存分配，开销巨大。
作者提出了一种方案：在不改变C API/ABI的前提下，向C扩展函数注入类型元数据。核心思想是定义一个包含参数类型、返回类型和底层函数指针的结构体PyPyTypedMethodMetadata，并通过巧妙的内存布局技巧将其与PyMethodDef关联。具体做法是在PyMethodDef的ml_name字段中嵌入指向该结构体的指针，并添加METH_TYPED标志以识别类型化函数。
在PyPy的实现中，通过修改cpyext（C API兼容层）的解释器逻辑，当检测到METH_TYPED标志时，直接调用底层C函数并绕过PyObject封装。由于JIT通常已知参数类型，可避免中间检查和分配，大幅提升性能。
基准测试显示，对于简单的循环调用C函数场景，优化后的PyPy比原版快13倍，甚至比CPython快5倍。未来工作包括支持更多数据类型、多参数函数、集成到Cython等代码生成器，以及扩展到其他运行时（如GraalPython）。社区建议还包括版本化结构体以应对未来变化，并处理函数重载等复杂情况。