作者在Rust编写的分布式任务调度器HyperQueue中发现了一个奇特的bug：任务在运行一段时间后会被终止，尤其当任务睡眠时间超过10秒时。通过`git bisect`定位到问题代码，发现是将进程创建操作移到`tokio::task::spawn_blocking`中导致的。原因是`PR_SET_PDEATHSIG`设置的父进程死亡信号，在`spawn_blocking`后，目标变成了工作线程，而该线程会在几秒钟空闲后被`tokio`回收，从而导致任务收到`SIGTERM`信号被终止。最终，作者通过回滚代码修复了bug，并补充了相关测试用例。
阅读更多
科学家们通过测量中子亏损的镄-252同位素的半衰期，将已知超重元素半衰期的极限降低了两个数量级。这项研究发现，某些激发态具有更长的半衰期，从而加深了我们对裂变的理解。研究人员利用铅靶轰击钛-50离子束，成功合成了镄-252，并测量了其在激发态和基态下的半衰期分别为13微秒和60纳秒。这一发现对超重元素的理论模型提出了新的挑战，也为进一步研究更重的超重元素提供了新的方向。
阅读更多
数十年来，内存安全漏洞一直是各种安全事件的根源。传统方法已不足以解决问题。本文呼吁从“安全设计”出发，彻底消除此类漏洞。近年来，安全语言（如Rust）和硬件技术（如ARM的MTE）的进步为实现这一目标提供了可能。文章建议建立一个标准框架，客观评估内存安全保障，激励厂商投资并最终使客户能够要求和奖励安全性，从而推动更安全的系统采购。这需要一个技术中立的框架，支持多种方法，并根据需求调整安全要求，最终目标是建立一个安全可靠的数字世界。
阅读更多
这是一个用于Krita绘画软件的插件，可以导出画布上的任意区域，并可以选择调整导出图像的大小。安装方法：将`region_exporter`文件夹添加到Krita资源文件夹的`pykrita`子文件夹下，并将`region_exporter.desktop`和`region_exporter.action`文件分别放置到Krita资源文件夹的根目录和`actions`子文件夹下。使用方法：使用快捷键Ctrl+Shift+E或通过工具菜单调用插件，输入坐标、大小、旋转角度等参数，选择导出图层，即可导出图像。
阅读更多
yknotify 是一款 macOS 命令行工具，通过监控系统日志，检测 YubiKey 等待触控的事件，并提示用户进行触控操作。它支持 FIDO2 和 OpenPGP，通过识别特定日志消息来判断 YubiKey 是否需要触控，并发出通知。虽然可能存在极少数误报，但尚未发现漏报。用户可自行安装并运行，如有问题可提交 issue。
阅读更多
一篇关于英语语法中零的数的讨论文章引发热议。文章指出，在数学教材中，'zero 3s' 的用法表明零被视为复数。这种用法并非基于数学逻辑，而是英语语言习惯。当零作为修饰词修饰可数名词时，名词通常用复数形式，这与其他表示否定意义的词语用法类似。 这引发了关于英语语法中零的数的讨论，以及如何理解这种看似不符合直觉的语言习惯。
阅读更多
Ledger公司联合创始人David Balland及其妻子在法国家中遭到绑架，歹徒索要加密货币赎金。经过24小时的惊险 ordeal，法国警方成功解救两人。Balland在绑架过程中遭受了暴力，包括手指被割断。此次事件凸显了加密货币行业高管面临的安全风险，也再次警示了加密货币的价值与风险并存的特性。
阅读更多
Holepunch团队发布了Bare，一款极简的JavaScript运行时，可在桌面和移动设备上运行。它速度快、模块化且高效，通过拥抱模块化和通用兼容性，重拾Node.js的初衷。Bare专注于点对点应用，可跨平台运行，并与Holepunch的Pear运行时无缝集成，实现真正的“一次编写，随处运行”，彻底改变了应用开发模式。
阅读更多
本文深入探讨了3D打印的设计哲学，超越了基本的打印知识，涵盖了强度、公差、工艺优化、功能集成、机械元件、外观以及花瓶模式设计等方面。作者总结了大量经验规则，并辅以实际案例和图片说明，例如如何选择最佳打印方向以提高零件强度，如何利用倒角和圆角改进零件精度和表面光洁度，以及如何避免使用支撑结构等。文章还介绍了多种功能集成技术，例如拉链槽、挠性结构、卡扣、活页铰链、嵌入式轴承以及套印机构等，并深入分析了螺纹连接、嵌入式五金件和织物打印等方面。这是一篇极具价值的3D打印设计指南，适合有一定3D打印基础的工程师和爱好者阅读。
阅读更多
经典力学中存在一些著名的非决定性案例。文章首先介绍了诺顿圆顶，其力学模型中力的导数在特定点未定义，导致方程无唯一解。更奇特的例子是“太空侵略者”，它在一个有限时间内经历无限加速度，最终在t=π/2时达到无限远。此外，文章还提到了Painlevé非碰撞奇点，例如一个五体引力问题，其中一个粒子在有限时间内达到无限远。这些例子挑战了经典力学中决定论的假设。
阅读更多
这个项目将你的安卓手机变成一个强大的短信网关，利用MQTT协议进行短信收发。它支持发送短信、接收短信并将其发送到服务器，以及发送已发送和已送达通知。此外，它还支持USSD请求和多SIM卡功能，并具有短信发送失败重试机制。虽然部分功能（如USSD和多SIM卡）的兼容性取决于手机型号和运营商，但该项目提供了完整的源代码，方便开发者根据自身需求进行编译和修改。
阅读更多
Helix 编辑器迎来重大更新！开发者 drybalka 通过一个精简的代码改动，为 Helix 集成了文件浏览器功能。这个文件浏览器类似于 Telescope 文件浏览器，但它巧妙地利用了 Helix 现有的文件选择器，只修改了少量核心代码，极大提升了用户的浏览体验。虽然目前功能相对基础，但已足够满足大多数用户的日常需求。此次更新解决了用户长期以来对文件浏览功能的渴望，为 Helix 的便捷性和易用性添砖加瓦。
阅读更多
TimeRetain是一款无需注册即可免费使用的隐私时间追踪工具，目前处于测试阶段。它简单易用，支持标记、过滤和导出数据（CSV或PDF），并提供实用的统计分析。无论你是员工、企业主还是学生，都可以用它来追踪工作时间、客户通话或学习时间，甚至可以对时间进行微调。所有数据都存储在你的浏览器中，保护你的隐私。
阅读更多
Rust语言缺乏反射机制，但人们对其需求强烈。本文探讨了在Rust中实现反射时面临的安全挑战。由于Rust的内存安全机制，反射API必须遵守严格的访问规则，不能随意访问私有字段，否则可能导致内存安全漏洞。文章深入分析了这种限制对反射API设计的影响，例如，如何处理反射失败，以及如何表达复杂的反射边界。作者还探讨了安全与非安全反射API的权衡，以及如何平衡功能性和安全性。总而言之，在Rust中实现安全的反射机制是一个复杂且充满挑战的问题，需要仔细权衡各种因素。
阅读更多
Meta首席执行官马克·扎克伯格驾驶两艘超级游艇——“发射台”号和“僚机”号——前往挪威峡湾进行了一次奢华的直升机滑雪探险。为了避开挪威严格的直升机降落规定，他巧妙地利用游艇上的直升机平台，在人迹罕至的山峰上滑雪。这次冒险既展现了扎克伯格的冒险精神和强大的后勤能力，也引发了人们对可持续性和环境影响的思考，以及对财富分配不均的讨论。
阅读更多
TikTok的困境给所有依赖私有平台的创作者敲响了警钟。文章指出，将品牌或业务核心建立在无法控制的平台上，风险极高。Twitter API涨价、Shopify移除应用、Etsy和eBay政策调整等案例都表明，平台规则变化可能瞬间摧毁创作者的努力。作者建议创作者应拥有自己的网站、博客和邮件列表，并通过多元化内容分发策略，减少对单一平台的依赖，最终目标是将受众迁移到自己掌控的平台上，以确保长期稳定发展。
阅读更多
Framework公司发布了Framework Laptop 16的第一个全新扩展坞模块：双M.2适配器，允许用户添加额外的存储驱动器或其他高速设备。此外，他们还更新了Framework Laptop 16的CPU散热解决方案，并推出了包含随机配件的“神秘盒子”，以减少电子垃圾。同时，他们还增加了48GB DDR5内存模块、新款周边产品以及更多地区的配送服务，进一步提升了产品线和用户体验。
阅读更多
美国地质调查局的两位地质学家创建了一个模型，显示地球深处可能蕴藏高达5.6×10⁶百万吨的天然氢。该模型综合考虑了氢的自然生成率、储量以及泄漏量等因素。虽然大部分氢可能难以获取，但研究人员指出，开采其中2%即可满足人类约两个世纪的能源需求，为清洁能源发展带来新的希望。
阅读更多
这个代码库汇集了软件开发领域中众多著名的定律、原则和模式，例如布鲁克斯法则、康威定律、阿姆达尔定律等等。它并非提倡任何特定方法，而是旨在提供一个全面的参考，帮助开发者更好地理解软件开发中的各种挑战和权衡。从程序员的认知偏差到分布式系统的局限性，从代码质量到团队协作，该指南涵盖了软件工程的方方面面，为开发者提供宝贵的经验教训。
阅读更多
麻省理工学院经济学家Abhijit Banerjee的研究揭示了印度儿童在非正式环境中惊人的心算能力，却在标准数学测试中表现不佳的现象。这引发了对数学教育的反思：如何在重视实际应用能力的同时，培养学生的数学推理能力？研究发现，单纯的“做中学”不足以应对标准化考试，需要更注重数学逻辑和讲故事式的教学方法，但这需要解决教师短缺和现有评估体系的局限性等问题。最终目标是发掘这些孩子的潜力，培养更多优秀的数学人才，造福社会。
阅读更多
这款工具能让你以小时计而非周计的速度集成第三方应用和服务。它简化了开发流程，让你定义和使用可自动复用的组件，并能自动配置多种环境和版本。同时，它具备自动重试、故障转移和提供商切换等功能，保证系统的高可用性。更重要的是，它提供从开发到生产环境的全方位可见性，让你能即时发现并解决问题。
阅读更多
加拿大众议院及其议员无义务发布或提交电子或纸质请愿书。发布或提交请愿书并不意味着众议院或议员认可请愿书中的观点或信息，也不对其中内容负责。请愿书在议员提交众议院前不受议会特权保护。政府对电子和纸质请愿书的回应以电子形式接收，并在提交众议院后尽快发布，但大量回应可能导致延迟。众议院不对政府回应的内容和格式负责，但会尽力协助需要无障碍格式的人士与枢密院办公室联系。
阅读更多
Meta提出了一种名为Jagged Flash Attention的新方法，彻底改变了大型推荐系统的性能和可扩展性。传统方法处理变长类别特征（如用户交互历史）效率低下，需要填充大量零值。而Jagged Flash Attention利用Jagged张量，高效地处理这些变长特征，避免了填充带来的内存和计算开销。结合TorchRec库，该方法在Meta的生产环境中实现了高达10倍的性能提升，并支持训练拥有3万亿以上参数的模型。这项突破性技术将极大地推动个性化推荐系统的进步。
阅读更多
普林斯顿视觉与学习实验室开发的Infinigen是一个程序化生成3D场景的工具，它基于Blender，完全开源免费（BSD 3-Clause License）。Infinigen通过随机化的数学规则生成所有形状和材质，从宏观结构到微小细节，可以创建无限变化的场景，并自动生成高质量的注释，适用于光流、3D场景流、深度、表面法线、全景分割和遮挡边界等多种计算机视觉任务。其生成的3D数据真实且高质量，特别优化用于计算机视觉研究。
阅读更多
从探险家沙克尔顿的南极探险到现代旅行者们另类的旅程，本文探讨了旅行方式的演变。便捷的交通和大众媒体塑造了千篇一律的旅游模式，但与此同时，一股追求不寻常冒险的新潮流正在兴起。例如，有人尝试直线穿越国家，有人在欧洲玩捉迷藏，有人徒步探索城市未知角落。这些冒险并非追求地理上的发现，而是体验新的方式，发现旅行中被忽视的乐趣。文章最终鼓励读者抛开固有模式，拥抱个性化的、不寻常的冒险之旅。
阅读更多
作者Ivan Shubin在开发交互式图表编辑器Schemio时，巧妙地运用线性代数中的矩阵运算解决了一系列难题。起初，Schemio仅支持简单的形状创建和操作。但当引入项目层次结构后，坐标转换变得复杂。作者最初采用递归方法，但遇到缩放和旋转中心点问题。最终，作者利用矩阵表示变换（平移、旋转、缩放），通过矩阵乘法实现坐标转换，并巧妙地运用矩阵求逆解决世界坐标与局部坐标转换问题。此外，作者还利用矩阵运算解决了对象在层次结构中移动时位置和旋转的精确调整问题，避免了对象位置的异常跳动。Schemio的源码已开源，感兴趣的读者可以前往GitHub查看。
阅读更多
Legalyze.ai 是一款利用人工智能自动生成医疗时间线和摘要的法律科技工具。它能从海量医疗记录中提取关键信息，帮助律师事务所大幅缩短医疗记录审查时间，从几天缩短到几小时甚至几分钟。该平台支持多种文件格式，并已通过外部安全审计。此外，它还提供与实践管理系统集成、文档起草和AI文档问答等功能，显著提高律师的工作效率，最终帮助律师赢得更多案件。
阅读更多
美国政府收紧了对SmartPay公务卡（包括差旅卡和采购卡）的支出限制。差旅卡广泛用于政府部门，其费用通过Concur等软件工具追踪。采购卡用于低于1万美元的办公用品、IT设备等支出，需事先提交申请并获得批准。整个流程涉及多方审批和严格的账目核对，例如Pegasys系统对每一笔支出进行追踪，并要求逐笔核对支出和申请。一位GSA员工表示，要实施欺诈需要多方勾结，难度很高，驳斥了之前的欺诈指控。
阅读更多
本文探讨了系统建模中五种非确定性的类型：真随机性、并发性、用户输入、外部因素和抽象。作者以通俗易懂的方式解释了每种类型的特点，并结合实际案例进行说明。例如，真随机性虽然可以使用伪随机数生成器模拟，但在建模时通常被视为非确定性选择；并发性是导致非确定性的主要来源之一，其状态空间爆炸问题需要特殊处理；用户输入和外部因素都可被视为非确定性的外部影响。最重要的是，抽象可以将复杂的确定性过程简化为非确定性选择，从而简化模型并提高其对潜在错误的敏感性。这篇文章为理解非确定性及其在软件开发中的应用提供了宝贵的参考。
阅读更多
一位高中生分享了他学习编程的经历，对比了在没有AI辅助和有AI辅助(例如Cursor)两种情况下学习编程的感受。他认为，早期学习编程时，虽然费时费力，但通过不断解决语法错误和类型错误，深刻理解了编程原理。而现在有了AI编程工具，虽然能提高效率，但同时也可能导致缺乏实践和学习机会。他建议，在学习初期，应尽量避免过度依赖AI工具，以便更好地掌握编程基础。
阅读更多