约翰霍普金斯大学的研究人员在叙利亚一座古墓中挖掘出刻有文字的泥制圆柱体，这些文字可追溯到公元前2400年左右，比其他已知的字母文字早约500年。这一发现颠覆了考古学家对字母起源、传播以及对早期城市文明影响的认识。研究人员认为，字母文字的出现使得文字不再局限于皇室和社会精英，改变了人们的生活、思考和交流方式。
阅读更多
Foursquare公司宣布免费开放其包含1.04亿个兴趣点（POI）的数据集。这篇文章详细介绍了该数据集，并使用DuckDB、QGIS等工具对其进行了分析和可视化。分析涵盖了POI的全球分布密度、不同国家的POI数量、POI的类别分布等方面，并以星巴克为例，展示了如何利用该数据集进行特定品牌的POI分析。作者还介绍了自己的工作站配置和使用到的软件工具。
阅读更多
Linux 6.13 版本将新增一项功能，统计系统自启动以来hung task的数量。该功能通过 /proc/sys/kernel/hung_task_detect_count 文件呈现，旨在帮助管理员更好地监控服务器健康状况，判断是否存在软硬件问题。此前，Linux 并未提供便捷的 hung task 计数报告。除了hung task计数功能外，Linux 6.13 还包括资源管理代码的清理和 NILFS2 文件系统的 folio 转换。
阅读更多
本文以程序员视角解释了 Lambda 演算的核心概念，包括抽象（函数定义）、应用（函数调用）、柯里化（多参数函数处理）、规约（求值过程）、替换（变量重命名）以及等价性等。作者以通俗易懂的语言和示例，阐明了 α-、β- 和 η- 规约/替换/等价的区别，并解释了如何运用这些概念理解 Lambda 表达式。
阅读更多
台积电计划在台湾中部科学园区二期扩建项目中建造全球最先进的2纳米芯片厂，但该项目面临土地收购难题。其中，兴农高尔夫球场的会员因补偿款问题阻挠收购，要求每张高尔夫球证180万新台币的回购价，总价超过9850万美元。尽管高尔夫球场最终售价预计远高于此，但其与会员的协调不力，可能导致诉讼并延误项目。中部科学园区已向高尔夫球场发出最后通牒，要求在12月15日前解决问题，否则将强制征收土地。如果一切顺利，台积电将在2025年第一季度获得土地并开始建厂。
阅读更多
KFF健康新闻和CBS新闻的联合调查揭露了一种新型牙科骗局：一些牙医为了经济利益，不必要地拔掉患者健康的牙齿，然后向他们出售昂贵的假牙（种植牙）。专家警告，这种做法让患者面临手术并发症和未来牙齿问题的风险，而天然牙齿是不可替代的。尽管种植牙技术先进，但并非所有患者都适合，过度使用种植牙令人担忧。一些牙科诊所为了追求利润最大化，甚至在没有牙科专家在场的情况下进行种植牙手术，导致手术失败案例频发，引发多起诉讼。
阅读更多
作者是一位博士生，主要工作是阅读和思考阅读内容。他拥有ReMarkable 1、ReMarkable 2和最新的Paper Pro三款电子阅读器。他非常喜欢reMarkable的设计理念，即在电子设备上重现纸张的触感和组织体验。由于reMarkable在不同文档之间切换不够流畅，他使用两台设备：Paper Pro用于阅读文献，ReMarkable 2用于记录笔记和待办事项。他认为这种方式提高了阅读效率，并减少了分心。
阅读更多
迪安娜·迪克曼用27年的时间记录了她每次离开父母位于爱荷华州苏城家时挥手告别的场景。从1991年一张简单的快照开始，这个告别仪式逐渐成为他们之间不变的习惯。这些照片是她名为“亲戚的瞬间”系列作品的一部分，记录了她父母和其他亲人的生活点滴。父亲于2009年去世后，母亲独自继续着这个告别仪式，直到2017年她也离开人世。最后一张照片是空荡的车道，象征着告别时代的结束。
阅读更多
本文探讨了Emacs中一个鲜为人知的特性——代码转换语言（CCL）。CCL是一种字节码解释器，用于文本编码和解码，拥有自己的虚拟机和一套简单的指令集。作者通过示例代码演示了CCL如何进行字符串处理、算术运算等操作，例如字符转换、ROT13加密、阶乘计算等，并与Emacs Lisp的性能进行了比较。作者还尝试用CCL实现图灵完备的系统，例如Rule 110，但最终发现CCL由于I/O限制，无法实现循环输入输出，因此并非图灵完备。文章最后总结了CCL的优缺点，指出其性能提升不稳定、代码难以编写和维护等问题，并对CCL的未来发展表达了担忧。
阅读更多
IBM 在首届量子开发者大会上宣布，其量子计算机已成功实现两年前提出的 100x100 性能挑战，即运行包含 100 个量子比特和 100 个门深度的量子电路。最新版本的 Heron R2 芯片具备 156 个量子比特，并通过硬件、中间件和软件的改进，能够精确运行包含 5000 个双量子比特门的电路，运算速度超过 150,000 CLOPS。此外，IBM 还发布了新的软件工具和 Qiskit 函数库，以帮助开发者更轻松地构建和运行量子算法，并展示了连接多个量子芯片的 Flamingo 和 Crossbill 技术，为未来的量子计算发展奠定了基础。
阅读更多
作者分享了其 iRobot Roomba 555 机器人吸尘器八年使用及维护保养经验。文章详细介绍了如何清洁传感器、滚轮、毛刷、滤网以及内部组件等，并提供了步骤指导和图片说明。作者强调定期维护的重要性，以确保机器人吸尘器的正常运行和延长使用寿命。
阅读更多
本文介绍了如何在 Phoenix 和 Elixir 应用程序中使用 GenServer 管理分布式状态，并以实现令牌桶限速器为例进行说明。文章首先展示了单节点情况下使用 GenServer 实现限速器的方法，然后讨论了在分布式环境中使用 GenServer 的挑战，并提出了两种分布式 GenServer 的实现策略：使用单一全局进程和使用多个跨集群进程。文章重点讲解了如何使用 DeltaCrdt 库实现多节点状态同步、集群 GenServer 以及处理集群变化等问题，并提供了完整的代码示例。
阅读更多
本文探讨了构建可扩展数据迁移系统的挑战和解决方案。作者分析了现有迁移系统的问题，例如缺乏时效性、可扩展性差、难以测试等。并提出了改进方案，包括将迁移定义为可测试的函数，在特定版本控制系统版本上运行迁移以确保时效性，区分部署前和部署后迁移，以及提供运行大型数据迁移的方法。作者还强调了为大型数据迁移提供分布式处理能力、后台作业管理和非阻塞部署的重要性。
阅读更多
Payload 是一款开源全栈 Next.js 框架，提供 TypeScript 后端和管理面板，可用作无头 CMS 或构建应用程序。它具有 GraphQL、REST 和本地 API，可定制的 ReactJS 管理界面，支持本地文件存储和上传、版本历史记录、草稿、字段级本地化、基于块的布局构建器、可扩展的 SlateJS 富文本编辑器等功能。
阅读更多
本文介绍了TCA350模拟延迟线的工作原理，它通过电容链移动电荷实现音频延迟。作者搭建电路测试芯片，并通过显微镜观察芯片内部结构，揭示了其利用MOSFET和电容阵列实现延迟的功能。文章还对比了现代CCD传感器与TCA350的异同，指出CCD传感器是桶形队列器件的衍生产品，通过移动捕获在反型沟道中的电荷实现功能。
阅读更多
作者Tom MacWright解释了为什么他不使用像Copilot这样的代码辅助工具。尽管承认这类工具对很多工程师很有帮助，他仍然表达了一些担忧。他认为现代工程的复杂性已经很高，而这些工具可能会加剧这个问题，导致代码更加冗长且难以理解。此外，他还担心生产力提高带来的收益分配问题，以及过度依赖工具可能导致编程技能的退化。最后，他将使用代码辅助工具比作与AI聊天，更像管理而不是编程，他更喜欢独自编写代码的专注感。
阅读更多
本文介绍了欧洲电网的可视化地图，其中绿色点代表电力输出，紫色点代表电力输入，三角形显示电力流向。该可视化基于pypsa-eur的研究数据，并使用优化算法模拟了欧洲电网的电力流动，旨在找到成本最低的电力生产方案。文章强调，虽然模型使用了真实的计算方法，但其基于的历史平均价格数据并非实时数据，因此结果并非完全真实。作者认为，通过将供暖和交通运输转换为电力，并确保以近零排放的方式发电，可以大幅减少发达国家的排放。此外，他还强调了智能地建设可再生能源的重要性，以确保所产生的能源能够被有效利用，而不是因为电网无法处理而被浪费。
阅读更多
Borgo 是一种编译到 Go 的新编程语言。它具有类似 Rust 的语法和功能，包括代数数据类型、模式匹配、Result 和 Option 类型、以及对 Go 生态系统的互操作性。Borgo 支持指针、引用、方法和接口，并提供类似 Go 的并发原语（goroutines、通道和 select 语句）。Borgo 还引入了改进的错误处理和零值处理方式，避免了 nil 的使用，以增强代码的安全性。
阅读更多
IBM的研究人员在2024年IEDM大会上发表了两篇关于后端互连技术的论文，展示了其在先进互连技术方面的最新突破。第一篇论文探讨了铜互连技术的改进和未来方向，第二篇论文（与三星合作）则介绍了一种新型的超越铜的互连技术，该技术利用先进低介电常数材料（ALK）和铑（Rh）技术，显著提高了性能和可靠性，降低了电阻和电容，并解决了传统铜互连技术在24nm及以下节点面临的可靠性问题。这项研究为未来CMOS节点的芯片制造铺平了道路，并为高性能低功耗逻辑集成电路的持续发展提供了关键技术支持。
阅读更多
文章介绍了一种名为Lisp查询表示法（LQN）的新型查询语言、CL库和终端实用程序。LQN可用于操作文本文件和JSON数据，类似于Sed、AWK或.jq，但允许用户根据需要编写任意CL代码。文章展示了LQN处理文本、JSON数据、链式操作、过滤、选择键值等方面的示例，并解释了其符号、字符串和关键字的用法。LQN旨在简洁灵活，其编译器相对简单，核心部分约300行代码。文章还提到了LQN的其他功能，例如递归、嵌套结构搜索和替换等，并鼓励读者阅读文档了解更多信息。
阅读更多
芒果，这种甜蜜的水果，其起源却隐藏着许多谜团。佛罗里达国际大学的Emily Warschefsky博士为解开芒果的身世之谜，踏上了横跨亚洲的科研之旅。她走访了多个植物园和森林，收集了大量的芒果属植物样本，并运用DNA测序技术，研究不同芒果物种之间的关系。研究发现，东南亚和印度的芒果在基因上存在差异，这挑战了传统上认为芒果起源于喜马拉雅山脉的单一物种的观点。研究提出了几种可能的解释，包括多次驯化事件和不同物种的杂交。Warschefsky博士的研究不仅加深了我们对芒果起源的理解，也为芒果育种和种植提供了新的思路。
阅读更多
作者的Debian和Kali Linux系统因GRUB2更新后添加的`fwsetup --is-supported`命令导致启动循环，旧版GRUB无法识别该参数。问题源于系统中存在旧版`efifwsetup.mod`模块，该模块在旧系统备份恢复后遗留下来，导致新版GRUB配置与旧模块冲突。最终，通过安装`grub-efi-amd64-bin`包解决问题。此事件凸显了软件更新中向后兼容性的重要性，以及在复杂软件中进行部分更改时需考虑潜在副作用。
阅读更多
Framework 公司推出了一款新的双 M.2 接口适配器，用于升级 Framework Laptop 16 笔记本电脑。该适配器允许用户安装两个额外的 M.2 模块（尺寸从 2230 到 2280），最多可增加 16TB 的存储空间。安装需要一个显卡模块连接器和更新的 BIOS（3.05 或更高版本）。该适配器售价 39 美元，目前缺货。
阅读更多
OpenAI于12月11日遭遇重大服务中断，根源在于新部署的遥测服务。该服务意图提升可靠性，却意外地向Kubernetes API服务器施加了巨大负载，导致API服务器饱和，进而使大多数大型集群的Kubernetes控制平面瘫痪，最终破坏了基于DNS的服务发现机制。这次事故凸显了复杂系统中意想不到的交互作用以及全负载条件下才能暴露的问题。OpenAI通过缩减集群规模、阻止对Kubernetes管理API的网络访问以及扩展Kubernetes API服务器等手段恢复了服务。
阅读更多
本文探讨了如何在 Python 中进行时序敏感分析，特别是针对加密等对时间一致性要求严格的应用场景。文章使用了 FaCT DSL 定义具有可预测执行时间的函数，以防止时间泄露。文中通过模拟排序、搜索等不同计算复杂度的函数，并测量其执行时间，演示了如何评估和控制代码的执行时间稳定性。代码示例展示了如何创建一个排序随机数组的函数，并通过引入可选的延迟来模拟时间不一致性，进而测量执行时间，最终绘制了不同输入大小下执行时间一致性的图表。
阅读更多
研究人员在亚利桑那州出土了一门与1539-1542年弗朗西斯科·巴斯克斯·德·科罗纳多探险队有关的青铜大炮，这是美国大陆发现的最古老的火器。这门大炮是在圣克鲁斯山谷一个西班牙石头和土坯结构的地板上发现的，经放射性碳测年和光释光技术测定，其年代可追溯到科罗纳多时代。该火炮长42英寸，重约40磅，通常需要两人操作，主要用于防御工事的城墙，科罗纳多探险队用其作为攻击性武器。大炮未装填且没有战斗痕迹，推测其被遗弃的原因可能是当地索拜普里奥哈姆人袭击了定居点，导致西班牙人撤退。
阅读更多
程序员Anvaka利用GitHub公开数据，创建了一个包含40万多个项目的交互式地图。该项目通过Jaccard相似度算法计算项目间的关联，并使用Leiden聚类算法将项目分组，最终呈现出一个直观的可视化效果。用户可以搜索项目，并探索项目间的联系，展现了GitHub项目生态的复杂性和丰富性。
阅读更多
