OpenVox 8.11，一个由社区维护的开源Puppet替代品正式发布！它与Puppet功能等效，可直接替换，但稳定性尚不及Puppet。迁移过程简单，只需替换软件包即可，但目前仍使用apt|yum.overlookinfratech.com仓库。建议暂勿在关键生产环境中使用。Overlook InfraTech提供付费迁移服务，并计划成立Puppet™️标准指导委员会以引导OpenVox的未来发展。OpenVox的目标是：现代化代码库和生态系统；支持最新的操作系统和Ruby版本；关注社区需求；民主化平台支持；保持活跃的开源社区。
阅读更多
作者购买了一辆2024年末生产的特斯拉Model 3，却遭遇了噩梦般的经历。车辆的多个功能失灵，包括摄像头、GPS、自动驾驶和软件更新等，均源于新款车载电脑的硬件故障。更糟糕的是，车辆每天电池损耗高达8%，制动和悬挂系统也存在问题。特斯拉承认部分故障，但拒绝无罚款退车，只提供三个月后更换零件的解决方案。作者被迫停止驾驶，并呼吁其他特斯拉车主警惕此问题。
阅读更多
本文深入探讨了与至少六起谋杀案相关的跨大陆理性主义邪教“Zizians”。该邪教追随者“Ziz”宣扬极端哲学和奇特的认知理论，吸引了一批信奉“理性主义”并追求自我提升的AI研究人员和慈善家。文章揭示了理性主义社群中滋生的极端主义倾向，以及Zizians如何从最初的AI安全倡导演变为暴力犯罪团伙，引发了对理性主义社群内部文化和潜在风险的反思，属于科技和犯罪的交叉领域。
阅读更多
本文探讨了现有分布式系统编程模型的局限性，包括外部分布式、静态位置和任意位置三种架构。作者认为，这些模型都只是在现有顺序编程范式上做了改进，并未真正解决分布式系统固有的并发、容错和版本控制等难题。文章呼吁开发一种原生分布式编程模型，它能够像Rust那样提供更强的安全性和可控性，同时兼顾性能和可扩展性，并能更好地与大型语言模型协同工作。
阅读更多
这篇文章介绍了Chip-8，一个简单的虚拟游戏机系统，并讲解了如何构建其模拟器。文章深入浅出地解释了二进制、十六进制以及Chip-8指令的工作原理，为读者构建模拟器提供了基础知识。作者以循序渐进的方式，从简单的指令到更复杂的指令，引导读者逐步了解Chip-8的运行机制，为对复古游戏机和模拟器技术感兴趣的读者提供了良好的学习资源。
阅读更多
美国制造业面临严重劳动力短缺，2000年至2010年间损失了500万个就业岗位。文章探讨了造成这一问题的原因，包括全球化、自动化和技能差距。为了解决这个问题，文章提出了一种基于社区的、以教育为导向的解决方案，利用3D打印等先进技术培养下一代制造工人，并通过分散化生产模式增强韧性。文章以密歇根州穆斯凯根市为例，展示了如何通过结合先进技术和传统工艺，在当地社区培养创新和制造能力。
阅读更多
博主Frederik Braun尝试使用Home Assistant实现智能家居远程控制，但发现其架构设计导致无法有效保障互联网访问安全。Home Assistant虽然支持用户名密码和双因素认证，但其不支持URL嵌入凭据以及必须在根路径部署的限制，使得无法添加额外的安全机制，例如Web服务器身份验证或隐藏服务路径。这使得Home Assistant的安全完全依赖于其内部安全措施，存在安全风险。文章呼吁Home Assistant社区改进其安全性配置灵活性。
阅读更多
这份榜单汇集了2024年全球几乎所有软件工程大会上观看次数最多的100场演讲。从大型语言模型的现实应用到Rust和Java的高性能技巧，再到现代Web开发和可靠性工程的最佳实践，涵盖主题广泛。其中，Jodie Burchell关于大型语言模型的演讲，以及Martin Thwaites关于OpenTelemetry的演讲，观看次数均超过13万次，位列榜单前茅。这份榜单为软件工程师们提供了学习和提升的宝贵资源。
阅读更多
TKey是一款新型灵活的USB安全密钥，其硬件和软件均为开源。它采用独特的设备密钥（UDS）机制，结合应用测量和可选用户种子，为每个应用生成独特的密钥材料，确保应用完整性。即使应用被篡改，也无法生成正确的身份验证密钥。TKey支持SSH登录、Ed25519签名、RoT、FIDO2、TOTP、Passkey等多种应用场景，并持续支持更多应用和协议。其外壳采用注塑成型或3D打印，搭载RISC-V PicoRV32核心，具有高安全性与灵活性。
阅读更多
本文介绍了两个使用K语言进行数据分析的案例。第一个案例是开发一种书写速记法，利用CMU发音词典分析英语中最常见的辅音组合，以优化速记符号设计。第二个案例是分析板球运动员的测试赛数据，寻找平均得分最高的球员，并确定哪些球员在同等或更多场次比赛中拥有最佳平均得分。这两个案例展示了K语言在数据处理和分析方面的强大能力，以及其在解决实际问题中的应用。
阅读更多
DeaDBeeF是一款模块化的跨平台音频播放器，支持GNU/Linux、macOS、Windows、*BSD、OpenSolaris等多种操作系统。它不仅支持多种音频格式的播放和转换，还允许用户高度自定义UI界面，并通过众多插件扩展功能。截图展示了在Linux系统上运行的DeaDBeeF，通过插件实现了高度定制化的外观和功能。
阅读更多
本文批判了当前AI编程工具以聊天为界面的设计模式。作者认为，软件开发需要精确性，而聊天界面无法满足这种需求。虽然AI可以理解自然语言，但构建复杂软件需要清晰的规范和文档，而非依赖AI的猜测。聊天界面使得开发者难以追踪变化，难以组织复杂性，最终只能产生原型软件，而非实际可用的产品。作者认为，未来的AI编程工具应该以文档为中心，将需求以文档形式呈现，从而实现精确的软件开发。
阅读更多
欧洲研究团队开发出一种创新的全息3D打印技术HoloVAM，将打印时间缩短至几秒钟。不同于传统逐层打印，HoloVAM利用3D全息图将光图案投射到液态树脂中，一次成型。该技术显著提高了光效率，解决了传统体积光学增材制造（TVAM）效率低、精度差的问题，实现了毫米级物体的高精度快速打印，甚至可用于生物打印，打印包含细胞的水凝胶。这项突破有望推动生物医学应用的发展。
阅读更多
Rust编译器为了解决传统流水线式编译带来的效率问题，采用了基于查询的增量编译架构。该架构将编译过程分解成一系列相互依赖的查询，并利用编译数据库缓存中间结果，从而只重新计算必要的代码部分。这类似于构建系统的依赖管理机制，显著提升了编译速度，尤其在IDE集成等场景下效果显著。虽然该架构引入了复杂性，但相比传统方法的逐步改进，它为Rust带来了更稳定、高效的增量编译体验，目前已成为开发构建的默认模式。
阅读更多
作者在圣诞假期尝试将JRuby与JBang结合，以期获得JVM的高性能和Ruby的开发效率。虽然JRuby官方不支持JBang，但作者巧妙地利用JBang的依赖管理和Java的ProcessBuilder，成功运行了一个结合Javalin、JDBI、SLF4J和ruby-jwt的JRuby应用，实现了SQLite数据库的CRUD操作和JWT认证。这个实验展示了JRuby与Java生态系统库结合的潜力，并通过Apache Benchmark测试验证了其性能。
阅读更多
斯坦福大学的一项研究表明，到2050年，全球大部分国家完全依靠风能、太阳能、地热能和水力发电，将比投资碳捕获技术更经济有效，并能改善空气质量，减缓气候变化。研究发现，转向可再生能源不仅能减少能源需求和成本，还能避免数百万因空气污染导致的疾病和数百万死亡。这项研究比较了两种极端情况：一种是完全转向可再生能源，另一种是继续依赖化石燃料并增加碳捕获设备。结果显示，前者更具成本效益和环境效益。研究人员认为，任何支持碳捕获的政策都应被放弃，彻底淘汰燃烧化石燃料才是消除空气污染和气候变暖的关键。
阅读更多
一篇由进步研究所（IFP）发布的研究报告探讨了美国临床试验的改革方案。报告指出，冗长的临床试验流程导致药物研发成本高昂、时间漫长，阻碍了医疗创新。报告提出九项具体建议，包括简化监管流程、改进临床试验数据库、采用风险评估监控等，以期通过提高效率和降低成本，加速新药研发，造福更多患者。这标志着利用科技手段（如AI）提高医疗效率的积极探索。
阅读更多
Eric Hellman 在 tilde.zone 上发布消息，提到他长期致力于开发的项目，并提示用户使用 Mastodon 网页应用需要启用 JavaScript，或者考虑使用 Mastodon 的原生应用。这暗示着该项目可能与 Mastodon 的网页端或用户体验改进有关。
阅读更多
一位72岁的历史学家Robert Zimmerman正在为其博客“Behind the Black”发起筹款活动。他以独立分析著称，曾准确预测2020年新冠疫情的走向，并拒绝广告和赞助，依靠读者捐款维持运营。读者可以通过Zelle、Patreon、PayPal或支票捐款，高额捐款者可获得其书籍的签名版。
阅读更多
本文总结了作者20年来使用终端程序的经验，归纳出一些并非官方标准但普遍适用的“规则”。这些规则涵盖了程序对Ctrl-C、Ctrl-D、q键的响应，颜色使用，readline键绑定支持，以及管道输出等方面。作者指出，虽然这些规则并非强制性规范，但理解它们有助于预测终端程序的行为，减少学习曲线。文章以实例分析了规则的适用场景和例外情况，并强调了区分程序自身责任与操作系统默认行为的重要性。
阅读更多
蜜蜂的刺带有倒刺，蜇人后会留在人体内，导致蜜蜂腹部撕裂而死。但这并非简单的意外，而是进化出的策略。蜜蜂的刺连接着毒囊和肌肉泵，即使蜜蜂死亡，毒液也会持续注入人体。这与黄蜂不同，黄蜂的刺没有倒刺，可以多次蜇人。文章探讨了这种自杀式策略背后的原因，涉及到蜜蜂的社会结构、免疫系统、群体选择和亲缘选择等多个方面。蜜蜂的工蜂不参与繁殖，其死亡对蜂群整体影响较小，而这种牺牲行为保护了蜂王和蜂群的生存。文章还探讨了亲缘选择理论和单倍二倍性遗传系统，解释了工蜂之间的高亲缘关系如何促使这种利他行为的进化。尽管该理论并非完美，但它很好地解释了蜜蜂这种自杀式防御机制的进化原因。
阅读更多
最新的Windows系统版本（26120.3576和22635.5090）在“设置 > 系统 > 关于”中隐藏了一个新的常见问题解答列表。该列表包含一些与Windows版本和设备规格相关的问题，可以通过命令`vivetool /enable /id:55305888`启用。
阅读更多
AirGradient公司对旗下空气质量监测仪中使用的Sensirion SGP41 TVOC传感器进行了精度和准确度测试。测试发现，该传感器能有效追踪TVOC水平的相对变化，即检测到TVOC浓度升高或降低，但无法提供精确的绝对值。这是因为低成本VOC传感器存在特异性不足、交叉敏感性、环境敏感性以及基线漂移等问题。虽然传感器无法精确测量TVOC浓度，但在识别TVOC来源和环境监测等方面仍具有一定的实用价值。未来，AirGradient公司计划在不同环境条件下进行更多测试，以进一步了解传感器的性能和局限性。
阅读更多
Quanta杂志发布了一段视频，详细解释了粒子物理学的标准模型——有史以来最成功的科学理论。剑桥大学物理学家David Tong逐项拆解了这个方程式，揭示了宇宙基本构成单元如何相互作用。尽管标准模型在解释地球上的实验方面非常成功，但它无法解释宇宙的某些特征，例如短距离的引力作用以及暗物质和暗能量的存在。这促使物理学家寻求更全面的理论，而数学家们则需要从新的视角来理解量子场论，以解决物理学中最大的未解之谜。
阅读更多
尽管特斯拉在2024年收入高达23亿美元，并且是全球最有价值的汽车公司，但最新税务报告显示，该公司并未缴纳任何联邦所得税。过去三年，特斯拉的平均税率仅为0.4%，远低于法定企业税率21%。这主要是因为特斯拉利用加速折旧等避税手段，以及所谓的“未指明的美国税收抵免”。这引发了关于美国税收制度偏向企业和富人，以及富豪避税问题的讨论。
阅读更多
Hydro 是一个用 Rust 编写的用于构建高性能分布式系统的框架，它通过数据流语言和高性能单线程 DFIR 运行时，提供了一种“构建正确”的分布式服务方法。与 Actor 或 RPC 等传统架构不同，Hydro 使用编排式 API，使跨多个位置的计算描述更加简洁。它还集成了 Hydro Deploy，方便本地或云端部署。Hydro 采用两阶段编译，先在开发者本地生成部署计划，再编译为 DFIR 生成各个机器的二进制文件，最后根据计划和云资源规格部署到云端。它已被用于构建各种高性能分布式系统，包括两阶段提交和 Paxos 等经典协议的实现。
阅读更多
本文介绍了如何用不到150行Python代码构建一个全文搜索引擎。作者首先下载了英文维基百科的摘要数据，然后使用倒排索引和词频-逆文档频率（TF-IDF）算法对数据进行索引和排序。整个过程包括数据准备、分词、过滤、索引构建以及搜索功能的实现，并解释了每个步骤的原理。最终实现了一个可以快速搜索和排序数百万文档的搜索引擎，虽然简化，但充分展现了全文搜索引擎的核心机制。
阅读更多
Vanguard近期宣布不会推出比特币ETF或其他加密相关产品，其原因在于比特币作为资产类别的不成熟性、极高的波动性和缺乏内在经济价值。Vanguard认为，比特币更像是投机而非投资，不适合长期投资者的稳健策略。他们强调自身以投资者利益为先的理念，并回顾了此前拒绝杠杆和反向基金以及场外交易股票的类似决策，这些决策最终都证明是为了保护投资者利益。
阅读更多
SuboptimalEng使用WebGPU和TypeScript创建了一个令人惊叹的黏菌模拟。该项目重现了Sebastian Lague的经典作品，利用计算着色器高效地模拟黏菌的生长和运动。项目包含详细的设置指南、截图和资源链接，并已部署到GitHub Pages，方便用户体验。这是一个学习WebGPU和计算着色器技术的绝佳案例。
阅读更多
Fidget是一个用Rust编写的库，用于表示、编译和评估大型数学表达式。它主要设计用于隐式曲面，但其灵活性足以用于许多不同的用途。Fidget采用分层设计，包括前端（将脚本转换为字节码）、后端（快速灵活的评估）和算法（渲染和网格化）。其核心创新在于结合区间算术和轨迹简化，从而高效地处理大型表达式，并支持JIT编译以进一步提升性能。Fidget提供了多种演示，包括一个基于Web的GUI，并支持自动微分和区间算术。
阅读更多