作者回顾了其二十年的博客生涯，从2004年在Sun公司鼓励员工博客的氛围下开始，到使用WordPress，再到如今迁移至自主研发的Oxide云平台。作者的博客记录了技术发展历程（DTrace、Solaris、ZFS、KVM、Manta、Triton、Hubris、Humility）、职业变迁（Sun、Joyent、Oxide），以及个人生活感悟。作者认为博客的价值在于记录和分享，并鼓励大家从内心出发进行写作。
阅读更多
SEO专家Elie Berreby指出，谷歌搜索质量持续下降，引发用户广泛不满。通过分析YouTube评论等非官方渠道的用户反馈，他发现用户抱怨搜索结果质量下降、广告过度、AI概览窃取内容等问题。谷歌的策略似乎更注重盈利，忽视了用户体验，这可能导致用户转向其他搜索引擎。文章警告谷歌，若不改进，将面临严重后果。
阅读更多
一项最新调查显示，虽然iPhone用户在选择新手机时将AI功能列为重要考虑因素，但目前苹果的AI智能功能（如撰写工具、通知摘要等）并未给大多数用户带来显著价值提升，仅有少数用户表示满意。不过，iOS 18.2加入的Genmoji和ChatGPT集成功能有望改变这一现状。
阅读更多
本文介绍了马丁·加德纳，一位在《科学美国人》杂志上撰写“数学游戏”专栏的作家，他对数学、科学和逻辑领域产生了巨大的影响。加德纳没有接受过正式的数学训练，却以其通俗易懂的解释和有趣的谜题吸引了无数读者。他的专栏成为了数学爱好者、艺术家和谜题爱好者的交流平台，推动了数学、逻辑、哲学甚至计算机科学等领域的发展。文章还介绍了加德纳4人聚会基金会，该基金会定期举办会议和讲座，延续加德纳的精神，促进跨学科的交流和合作。
阅读更多
日内瓦大学的研究团队发现一种名为“Chromosphaera perkinsii”的古老单细胞生物，其存在可追溯到十亿年前，远早于动物出现。这种生物能形成类似动物胚胎的多细胞结构，其细胞分裂方式和三维结构与动物早期胚胎发育惊人相似。这表明，负责胚胎发育的基因程序可能在动物出现之前就已经存在，或者C. perkinsii独立进化出了类似的发育过程。该研究成果发表于《自然》杂志。
阅读更多
作者在用 Rust 编写一个名为 sqleibniz 的 SQL 分析工具，目标是对 SQL 输入执行静态分析，包括语法检查、表、列和函数存在性检查等。作者分享了在使用 Rust 开发词法分析器和语法解析器过程中的经验和发现，着重介绍了 Rust 宏在代码去重方面的强大功能，例如利用宏定义抽象语法树节点，减少代码重复。作者还讲述了如何用 Rust 编写类似 Go 的表格驱动测试，并展示了如何利用 Rust 的模式匹配特性进行字符和Token匹配，以及如何进行错误处理和展示。最后，作者还分享了 Rust 中 Option 类型的一些便捷用法，例如 is_some_and、map 和 map_or 等方法，以及迭代器在字符过滤和检查方面的应用。
阅读更多%20%E2%80%93%20Sympolymathesy%2C%20by%20Chris%20Krycho.png)
本文探讨了如何构建“好的”软件，不仅指功能完善，还要考虑软件是否适合目标，是否真正满足用户需求。作者从软件的双重属性（制品和系统）出发，讨论了如何构建好的软件制品（领域驱动设计、类型系统、形式化方法、测试）和好的软件系统（“let it crash”、弹性、可观测性）。文章强调了程序员的隐性知识（mētis）在软件开发中的重要性，并指出软件开发本质上是对现实世界的简化和抽象，这种简化必然是失真的。作者批判了“高度现代主义”思想在软件开发中的体现，即试图将现实世界强行纳入软件的框架，而忽略了现实世界的复杂性和多样性。最后，作者呼吁程序员保持谦逊，认识到软件的局限性，并努力构建更灵活、更能适应用户需求的软件。
阅读更多
本文介绍了一款名为sqlite3_rsync的SQLite数据库远程复制工具。该工具可以将一个SQLite数据库复制到另一个位置，即使数据库正在使用中。它使用类似于rsync的带宽高效协议，并确保复制的数据库始终保持一致性。文章详细介绍了该工具的特性、限制、安装方法、网络带宽使用情况，并解释了为什么不能使用普通的rsync进行数据库复制。
阅读更多
URAvatar是一种新的创建逼真可重光头部化身的方法，只需使用手机扫描即可，无需特定光照条件。该方法直接建模可学习的辐射传输，并结合全局光传输，实现实时渲染。它使用3D高斯模型构建通用可重光化身模型，并通过数百个高质量多视角人脸扫描数据进行训练。用户可以使用手机扫描创建URAvatar，并在各种光照条件下对其进行重光照，还可以根据目标表情驱动URAvatar。
阅读更多
本文介绍了自动驾驶汽车中激光雷达系统的操作原理、技术和应用。激光雷达利用红外激光测量与远程物体的距离，可生成高分辨率图像，是自动驾驶汽车的关键“眼睛”。文章探讨了激光雷达的工作波长（905nm和1550nm）、光电探测器（APD、SPAD、SiPM）、测距技术（dToF、iToF、FMCW）、机械激光雷达（扫描式、MEMS微镜）、固态激光雷达（闪光式、光学相控阵）等关键技术，并分析了各种技术的优缺点和成本效益。文章指出，降低成本是激光雷达在自动驾驶汽车中广泛应用的关键。
阅读更多
本文批判了微软以“成长型思维”为核心的企业文化。作者认为，这种看似积极的概念在微软的实践中已经变质为一种管理工具，被用来压制员工、剥夺其贡献的认可，并为管理层的滥用行为提供借口。文章指出，微软的绩效评估体系“Connect”高度依赖于员工对“成长型思维”的理解和表达，甚至鼓励使用AI工具生成评估内容，这种做法不仅荒谬，而且可能导致不公平的评价结果。作者认为，这种企业文化最终将损害微软的长远发展。
阅读更多
TinyStatus 是一个简单且可自定义的状态页面生成器，允许用户监控各种服务的状态并在简洁、响应迅速的网页上展示。它支持监控 HTTP 端点、ping 主机和检查开放端口，提供状态页面和历史记录页面的自适应设计，并允许通过 YAML 配置文件自定义服务检查。
阅读更多
Discord 于 2024 年 11 月 16 日 21:03 PST 开始调查一起影响 API 多个端点延迟和错误的问题。团队积极调查，并在 21:58 确定了问题所在，并致力于缓解。22:05 实施了修复方案并监控恢复情况，最终在 22:18 宣布问题已解决。
阅读更多
NumPyro是一个轻量级的概率编程库，它为Pyro提供NumPy后端，并依赖JAX进行自动微分和JIT编译到GPU/CPU/TPU。它支持多种推理算法，特别是MCMC算法，如NUTS、HMC、MixedHMC和HMCECS，以及变分推理。NumPyro提供了类似于PyTorch的distributions模块，并支持使用TFP的分布。它还提供了类似Pyro的效果处理器，用户可以轻松扩展它以实现自定义推理算法和实用程序。文章用一个8所学校的例子演示了NumPyro的使用，包括模型定义、MCMC推理、非中心参数化以及使用Predictive类进行预测。
阅读更多
本文探讨了编程中数字求和的常见问题，特别是数值溢出的处理。文章指出，简单的累加方法在处理大数据或数据库系统时存在溢出风险，并解释了不同编程语言（C++、Rust、Python）如何处理溢出。文章强调了数据库系统中溢出处理的重要性，以CedarDB为例，说明其如何通过硬件层面的溢出标志位进行高效的溢出检测，并与其他数据库系统如ClickHouse的处理方式进行了比较。最后，文章总结了如何使用更大类型中间结果、检查溢出等方法来避免和处理数值溢出问题。
阅读更多
CL-Forth 是 Forth 2012 标准的 Common Lisp 实现，支持 CCL、SBCL 和 LispWorks 等平台，可在 macOS、Linux 和 Windows 上运行。它提供了外部函数接口（FFI）、原生代码支持以及一些额外的实用词汇。
阅读更多
大型语言模型(LLM)经常会产生错误，包括事实不准确、偏差和推理失败，这些统称为“幻觉”。本文研究发现，LLM的内部状态编码了关于其输出真实性的信息，而且这些信息比以前认为的要多得多。研究首先发现，真实性信息集中在特定的词例中，利用这一特性可以显著提高错误检测性能。然而，这种错误检测器无法跨数据集泛化，这意味着真实性编码并非普遍的，而是多方面的。此外，内部表征还可以用于预测模型可能出现的错误类型，从而有助于制定有针对性的缓解策略。最后，研究揭示了LLM内部编码和外部行为之间的差异：它们可能编码了正确答案，但却持续生成错误答案。
阅读更多
作者 Anil Dash 认为科技行业目前的变革状态与 2004 年非常相似，大型科技公司的主导地位受到挑战，就像当年用户抱怨 Hotmail、雅虎等一样，现在用户也在抱怨谷歌和推特。作者认为这并非坏事，科技巨头的不景气为创新提供了机会，就像 2004 年独立创作者在开放网络上构建了新的网络文化一样。作者对开放、人性化互联网的复兴充满希望，并相信这一次人们可以避免重蹈覆辙。
阅读更多
唐娜·卡利尔是佛罗里达州最早的专业蟒蛇猎手之一，她致力于猎杀入侵佛罗里达大沼泽地的缅甸蟒蛇。缅甸蟒蛇作为外来宠物贸易的一部分来到佛罗里达，并对当地生态系统造成了严重破坏。卡利尔和其他猎手的努力有助于控制蟒蛇的数量，保护了当地的野生动物。
阅读更多
曾任“Bayesian”号船长的Stephen Edwards就该船沉没事件发表声明，从专业角度分析了船只的桅杆、压舱物、稳定性、船体开口等设计特点，指出“Bayesian”号在正常操作状态下倾斜超过45度可能导致进水和沉没。他强调，造成这种极端情况的天气条件难以预测，留给船员的反应时间很短，事故的具体原因还有待调查。
阅读更多
一项新的研究表明，特斯拉汽车的致命事故率在所有汽车品牌中最高。该研究引用了美国国家公路交通安全管理局的数据，指出特斯拉的致命事故发生率高于起亚、别克、道奇和现代等品牌。尽管如此，该报告也承认事故率可能更多地反映了驾驶员行为，而非车辆设计本身。此前也有其他报告对特斯拉的安全性得出相互矛盾的结论，例如，EpicVIN的报告称特斯拉驾驶员的致命伤害率最低。
阅读更多
数千年来，人类一直在改变食物以取悦味蕾。但如今，科学家们正在研究超加工食品为何有害健康。例如，三千多年前，中美洲人用木灰或石灰石溶液煮玉米粒，这个被称为 nixtamalisation 的过程释放了营养物质，并软化了玉米的坚硬外壳，使其更容易研磨。文章探讨了超加工食品对人体健康的影响。
阅读更多
一家信息设计机构Ferdio挑战自我，尝试用一个简单的数据集创作100种兼具洞察力和视觉吸引力的可视化图表。他们旨在展示数据可视化的多样性和复杂性，以及如何使用有限的视觉元素讲述不同的故事。
阅读更多
本文探讨了终端中ASCII控制字符的功能和行为。作者列举了33个ASCII控制字符，并解释了它们在Mac OS系统上的作用。这些字符大致分为由操作系统终端驱动程序处理的代码（例如Ctrl-C触发SIGINT信号）和传递给应用程序处理的代码。文章还讨论了readline库对控制字符的影响、ASCII控制字符数量的限制、与GUI键盘快捷键的差异、ASCII名称的意义以及使用Ctrl-M和Ctrl-I作为快捷键的困难。文章最后提到了识别控制字符的Python脚本、终端规范模式和非规范模式的区别、stty工具对控制字符映射的配置、信号相关的注意事项、“backspace”键的历史渊源以及不同系统中控制字符行为的差异。
阅读更多
文章讲述了一个名叫Miles的大学生，对Unix系统一知半解，过于自信地使用`rm -rf ~*`命令试图清理Emacs备份文件，结果意外删除了所有用户的主目录。由于系统管理员疏忽，Miles获得了过高的权限。最终，管理员恢复了文件，修改了权限，Miles也得到了教训，并成为了一名AS/400系统管理员。
阅读更多
Anthropic 发布了升级版 Claude 3.5 Sonnet 和全新模型 Claude 3.5 Haiku。升级后的 Claude 3.5 Sonnet 在编码方面取得了显著进步，并引入了计算机使用功能，允许开发者指导 Claude 像人类一样操作计算机。Claude 3.5 Haiku 则以更低的成本和更高的速度提供了与 Claude 3 Opus 相当的性能。
阅读更多
文章解释了为什么在TCP连接之上运行PPP等协议（将IP数据包封装成适合流传输的格式）会导致性能不佳。TCP的重传机制在网络状况良好时表现出色，但当TCP连接嵌套时，例如在SSH上运行PPP时，上层TCP的快速超时和下层TCP的慢速超时会导致重传风暴，从而造成连接延迟和频繁中断。
阅读更多
随着人工智能、无人机和传感器网络技术的快速发展，潜艇的隐身能力面临巨大挑战。文章探讨了AUKUS协议下美英澳三国建造核潜艇的计划，以及中国海军潜艇力量的现代化进程。先进的传感器网络和人工智能算法能够检测到潜艇细微的活动痕迹，削弱了传统潜艇隐身技术的有效性。文章分析了应对这一挑战的策略，包括利用噪音干扰AI系统、部署无人水下航行器以及采取战略性行动等。然而，AUKUS协议也面临着高昂成本、铀供应短缺以及中国潜艇力量快速发展等问题，其未来走向充满不确定性。
阅读更多
Tig是一款基于ncurses库的文本模式Git界面，它主要用作Git仓库浏览器，但也可以辅助进行分块提交暂存更改，并充当各种Git命令输出的分页器。Tig提供便捷的安装和使用说明，以及版本发布说明，方便用户获取最新功能和错误修复。用户可以通过官网、GitHub、Gitter和Stack Overflow等渠道获取更多信息、报告问题或提出功能请求。
阅读更多