Asahi Linux创始人Hector Martin离职后，项目组宣布了新的治理结构和资金模式，以确保项目的长期可持续发展。七位开发者将共同负责项目决策，并通过Open Source Collective接受捐款，取代之前的Patreon模式。未来，项目将优先处理内核上游合并和持续集成测试，以提高稳定性和可维护性。尽管暂时不会支持M3和M4芯片，但M1和M2设备将迎来DP alt模式、Vulkan驱动程序中的稀疏图像支持以及内置麦克风等新功能。
阅读更多
一项最新研究表明，任何在t时间内运行的多磁带图灵机，都可以在仅需O(√(t log t))的空间内模拟。这显著改进了Hopcroft等人50年前提出的O(t/log t)空间模拟算法。该研究利用Cook和Mertz最近提出的高效树评估算法，将时间模拟问题转化为一系列参数优良的隐式树评估问题。其结果表明，大小为s的受限扇入电路可以在√s·poly(log s)空间内进行评估，并暗示存在一些在O(n)空间内可解，但在多磁带图灵机上需要n^(2-ε)时间的问题（对所有ε>0成立），为P与PSPACE问题研究带来了一丝进展。
阅读更多
特斯拉因潜在的转向助力故障问题，在美国召回超过37.6万辆Model 3和Model Y电动汽车。问题源于电子助力转向系统(EPAS)印刷电路板的“过应力”状态，可能导致车辆在停车后再次加速时失去转向助力。特斯拉已于2023年10月开始推送免费的OTA软件更新修复此问题，并声称该问题不会在车辆行驶过程中造成转向失效。此次召回不涉及任何已知的伤亡或事故，车主无需前往经销商处，将在下个月收到召回通知。
阅读更多
本文揭露了一个名为“Ziz教”的神秘湾区网络邪教。其教主Ziz，通过博客传播扭曲的伦理和决策理论，吸引AI风险研究者加入。他们以极端素食主义为教义，并计划在奇点来临后对“非善”之人进行审判。Ziz利用“单半球睡眠”等手段操纵成员，切断其与外界联系，甚至导致成员自杀。文章警告读者警惕Ziz的操控，避免卷入其中。
阅读更多
亚马逊宣布更新FBA库存报销政策，将于2025年3月10日生效。新政策将根据产品的制造成本进行报销，卖家可以选择自行提供成本或使用亚马逊提供的估算值。此举旨在提高透明度和可预测性，但引发卖家担忧，认为亚马逊可能以低估制造成本的方式减少赔偿，尤其对手工卖家不利。亚马逊同时表示将对在仓储中心丢失的商品提供自动报销。
阅读更多
本文探讨了超人类主义运动是否具有邪教特征。作者通过研究罗伯特·杰·利夫顿的八项邪教鉴定标准，分析了超人类主义运动中的信息控制、神秘操纵、纯洁性要求、忏悔文化、神圣科学、语言加载、教条凌驾个人和存在分配等方面，认为超人类主义运动呈现出与邪教相似的封闭性、排外性和末日救赎的特征。虽然超人类主义并非一个集中的组织，但其在线社区和讨论中存在强烈的群体认同感和对异见的压制，以及对未来科技的盲目乐观和对非信徒的贬低。作者认为，超人类主义运动的未来走向，将取决于其预测的科技突破是否实现以及信徒面对现实的反应。
阅读更多
iText 庆祝其 25 周年纪念日，发布了 iText Suite 9.1 版本。此版本在 iText Core 中大幅扩展了 SVG 实现，改进了文本定位和字体处理，并增加了对相对大小属性的支持。此外，它还显著提高了大型表格的生成性能，尤其是在向表格添加结构化标记信息时，这对于 PDF/A 和 PDF/UA 非常重要。pdfHTML 附加组件也受益于性能提升，并且现在支持 GraalVM Native Image 编译，这增强了在资源受限环境中的 PDF 生成灵活性。其他改进包括数字签名功能增强、PDF/UA-2 支持改进以及对各种附加组件的更新。
阅读更多
Surfer Protocol是一个开源框架，旨在帮助用户导出并构建基于个人数据的应用程序。面对数据散落在各个平台的现状，Surfer Protocol提供了解决方案。它包含一个桌面应用程序，用于从各种应用和服务中导出数据，以及一个Python SDK，用于构建基于这些数据的应用程序。用户可以利用Surfer Protocol创建个性化AI模型、从大型科技公司手中夺回数据控制权，或留下数字遗产。
阅读更多
本文以生动形象的比喻，解释了四维空间的概念。作者通过二维生物观察三维物体，类比我们观察四维超立方体（超正方体）。文章深入浅出地讲解了如何通过截面理解四维几何，并运用旋转矩阵和线性代数知识，计算和可视化旋转后的四维超立方体在三维空间中的投影，最终呈现出复杂的几何形态。
阅读更多
这段CSS代码定义了网页的布局样式，包含了网格、列、单元格等元素的样式设置。通过分析代码，我们可以看到它使用了大量的类选择器和属性选择器，对网页元素的位置、大小、背景等属性进行了精细的调整。这表明该代码片段可能用于构建一个复杂的网页布局，或者用于对现有网页布局进行微调。其代码风格较为冗长，可读性有待提升。
阅读更多
LLVM项目推出了一款令人兴奋的GPU C库，允许开发者直接在GPU上运行C/C++代码中的libc和libm函数。该库支持两种主要模式：作为OpenMP、CUDA或HIP等异构计算框架的补充库，以及直接编译C/C++代码为GPU目标代码。文章详细介绍了这两种模式的使用方法，包括编译选项、链接方法以及针对AMD GPU和NVIDIA GPU的特定构建步骤。通过该库，开发者可以利用GPU的并行计算能力，显著提升程序性能，而无需深入学习复杂的GPU编程模型。
阅读更多
Yasser 开发的 TB Tilde 是一款旨在替代 LLVM 的编译器后端库。它声称在编译速度和体积方面都优于 LLVM，预处理器速度是 Clang 的两倍。TB Tilde 采用“节点海”IR，拥有简单的类型系统和线程安全模块，支持 JIT 和 AOT 编译，甚至可以直接输出链接的可执行文件。目前，项目正积极开发中，计划在 2024 年 3 月实现 Cuik 编译器在 Windows 系统上的自托管，并逐步完善优化器。
阅读更多
Rhai是一个为Rust设计的嵌入式脚本语言和评估引擎，它提供了一种安全且简便的方法，将脚本功能添加到任何应用程序中。它支持多种目标平台和操作系统，包括WebAssembly，并具有简洁的类似JavaScript的语法。Rhai高效地执行脚本，并与Rust函数和类型紧密集成，允许轻松地传递和使用Rust值。它还具有强大的安全特性，防止恶意攻击，例如堆栈溢出和无限循环。
阅读更多
Ashton-Tate 公司凭借其数据库软件 dBASE 崛起于 80 年代的个人电脑时代，其创始人 Wayne Ratliff 凭借在越南战争期间积累的编程经验和对数据库的独到见解，开发出最初名为 Vulcan 的数据库软件。这款软件因其易用性和功能强大，迅速成为 CP/M 系统的标配，并随着 IBM PC 的兴起而风靡全球。Ashton-Tate 公司上市后一度辉煌，但 dBASE III 的发布和市场竞争加剧导致公司最终被 Borland 收购。本文讲述了 dBASE 的传奇故事，以及 Ashton-Tate 公司由盛转衰的经验教训，为软件行业发展提供了宝贵的案例研究。
阅读更多
GoatDB是一个实时、版本控制的数据库，适用于Deno和React，部署极其便捷。它非常适合原型设计、自托管、单租户应用程序以及无需大型后端或复杂数据库的超轻量级多租户设置。GoatDB具有客户端处理、离线优先、实时协作等特性，并提供React hooks简化状态管理。其高效的增量查询机制、内置同步功能以及强大的安全模型，使其成为快速原型开发和协作项目的理想选择。
阅读更多
depthviz是一款开源工具，可以将你的潜水日志（支持Apnealizer、Garmin、Suunto等多种设备）转换成流畅的深度叠加视频。它不仅支持Windows、macOS和Linux系统，还提供丰富的自定义选项，例如字体、颜色、小数位数等。你可以轻松地将生成的视频与CapCut、Premiere Pro等视频编辑软件集成。depthviz还提供智能深度平滑功能，即使日志数据有缺失也能生成平滑自然的深度显示。无论是分析潜水技巧还是分享潜水故事，depthviz都是一个强大的工具。
阅读更多
Hoarder是一款可自托管的书签管理应用，它不仅能存储链接、笔记和图片，还能利用AI技术进行自动标签化和全文搜索。它支持本地模型（如ollama），并具有OCR、Chrome/Firefox插件、iOS/Android应用、RSS订阅、REST API、页面存档等功能，旨在解决用户在多平台浏览信息后难以整理和检索的问题。项目目前处于积极开发中，但已提供demo供体验。
阅读更多
一位研究人员历时数月，对OpenVMS操作系统（VMS）的代码库规模进行了深入调查。通过统计15个代表性组件在不同版本（V6.2、V7.2、V8.2、V9.2-3）中的代码行数，发现VMS代码库规模在过去三十五年中增长了近三倍，从最初的几十万行代码膨胀到接近两百万行。研究还揭示了VMS代码语言从BLISS和宏汇编向C语言的转变趋势。这项研究为我们理解大型操作系统架构和演进提供了宝贵的参考。
阅读更多
一个名为《2D Game Development: From Zero To Hero》的开源游戏开发书籍项目，汇集了社区对游戏设计和开发的知识。该项目以Creative Commons许可证授权，旨在成为一个学习资源，并鼓励社区贡献。该书涵盖游戏设计、开发、算法、技巧等方面，提供PDF和EPub版本，源码在GitHub和GitLab上开源。作者反对使用AI生成内容，以维护书籍质量和原创性。
阅读更多
本文批判了多线程编程的常见误区。作者指出，现代CPU并非共享内存的理想模型，多线程反而会因缓存一致性问题、同步原语开销等导致性能下降，增加代码复杂度和bug风险。单线程程序复制到多核，能更有效利用CPU时间，且更易于理解和维护。作者认为，Node.js的单线程设计，以及类似的Actor模型，在利用现代CPU资源方面更具优势，即使看起来不如多线程设计那样“高级”。
阅读更多
Jujutsu是一个用Rust编写的全新版本控制系统，它以其简洁的设计和强大的功能超越了传统的Git。文章介绍了Jujutsu的核心概念——可变的Change，以及如何利用其独特的特性简化工作流程，例如轻松撤销操作、无缝处理冲突以及高效管理大型变更。Jujutsu支持与Git无缝集成，用户可以将其作为Git的前端来使用，并享受其带来的便利性。文章还介绍了一些高效的工作模式，例如使用jj new和jj edit来管理变更，以及利用revset表达式来灵活操作版本历史。总而言之，Jujutsu为开发者提供了一种更优雅、更高效的版本控制体验。
阅读更多
本文分享了一种利用大型语言模型（LLM）进行软件开发的高效工作流程。作者将开发流程分为三个阶段：想法细化、规划和执行。首先，利用对话式LLM完善项目构思，生成详细的开发规范；然后，使用推理模型将规范分解成小的、可迭代的步骤，并生成相应的代码生成提示；最后，利用代码生成工具（如Claude或Aider）逐步实现每个步骤，并进行测试。作者还介绍了处理遗留代码的方法，以及一些常用的LLM提示技巧。虽然这种方法提高了开发效率，但也存在一些挑战，例如团队协作的困难和等待LLM处理时间的消耗。
阅读更多
博主Dylan Beattie为了提升他每月举办的吉他卡拉OK之夜的体验，开发了一个系统，能自动将歌曲的和弦显示在视频上。他利用Vamp插件提取音频中的和弦信息，然后使用ImageSharp和FFmpegCore生成包含和弦的透明视频，最后将该视频与原视频合成。整个过程涉及音频分析、图像处理和视频合成等多个步骤，最终实现了在卡拉OK视频中实时显示吉他谱的功能。未来，他计划改进系统，实现自动节拍检测和批量处理功能。
阅读更多-Bournemouth-University-RS.jpg)
都柏林圣三一学院领导的一项国际研究，通过分析多达50个古代基因组，揭示了英国铁器时代一个以女性为中心的社会结构。研究人员发现，这个位于多塞特郡的社会群体，其成员的母系血统可以追溯到同一位女性祖先，这表明丈夫婚后会迁入妻子的社区，土地也可能沿母系传承。这种“母系居住制”并非仅限于多塞特郡，在英国其他铁器时代墓地也发现了类似模式，这挑战了我们对古代社会性别角色的传统认知，并为女性在铁器时代社会中的政治和社会影响力提供了有力证据。
阅读更多
阿根廷总统米莱在推特上推广了一种名为Libra的Meme币，声称其旨在通过资助阿根廷小型企业和初创公司来促进经济增长。该币种价格一度飙升，但数小时内，内部人士开始抛售，套现约1.07亿美元，导致币价暴跌95%。事后，米莱删除了相关推文，并声称自己事先不知情。此次事件暴露了该项目内部人士持币集中度高的问题，引发了市场对其可信度的质疑，也再次凸显了Meme币市场的投机风险。
阅读更多
莱文博士团队创造了Anthrobots——由人类成人肺部上皮细胞组成的自主生物机器人。不同于以往的Xenobots，Anthrobots无需基因编辑，利用细胞自身的潜能，自组装成具有多种行为模式的个体。更令人惊奇的是，Anthrobots集群可以促进神经组织修复，展现出在再生医学领域的巨大潜力。这项研究挑战了我们对细胞能力的认知，为个性化医疗和新型生物医学平台的开发开辟了新的方向。
阅读更多
pgactive 是一个 PostgreSQL 扩展，用于创建活跃-活跃数据库集群。传统数据库复制多为主动-被动模式，而 pgactive 允许在多个数据库实例上同时写入数据，从而实现更高的可用性、更低的写入延迟以及更便捷的蓝绿部署和数据迁移。它利用 PostgreSQL 10 后引入的逻辑复制功能，并通过扩展解决冲突和序列问题，为构建高可用性、多区域数据库集群提供了一种新的解决方案。
阅读更多
在社交媒体时代，产品发布方式发生了变化。病毒式传播虽然能带来用户数量的激增，但这些用户往往质量较低，留存率低，被称为“看客”。作者认为，盲目追求病毒式增长是错误的，应该关注产品的持久性、可扩展性和价值，而不是一味追求短期流量。持续稳定的增长，建立在高质量用户和高留存率的基础上，才是成功的关键。只有那些能经受住时间考验，并能持续吸引高价值用户的产品，才能真正获得成功。
阅读更多
wp2hugo服务能帮你轻松将WordPress博客迁移到Hugo。只需三步：导出WordPress内容、上传文件到wp2hugo，点击转换按钮。免费版支持3页5博文转换，付费版则可转换所有内容。告别手动复制和格式化，节省大量时间！
阅读更多
文章赞扬了将数学公式转化为可视化解释的创新方法。作者以Daniel Fleisch关于麦克斯韦方程的书籍为例，指出传统学术论文中的公式常常晦涩难懂，而好的可视化则能将复杂信息清晰地呈现出来，实现“阐释”而非仅仅“图解”。这与Edward Tufte提出的“视觉解释”理念不谋而合，并呼吁更多人重视数据可视化的力量，让复杂信息变得易于理解。
阅读更多