1596年，黑森-卡塞尔的爱丽丝公主的洗礼庆典持续了四天，包括烟火表演、骑士比武等盛况。工程师兼雕刻师威廉·迪利希创作了名为《黑森小姐伊丽莎白洗礼的历史描述》的精美作品，以图文并茂的方式记录了这场盛大的庆典，其中人物的服装更是融合了神话、寓言和历史元素，例如汉尼拔、无耻、亚历山大大帝、杰森、珀尔修斯、命运和凯撒大帝等形象都出现在作品中。
阅读更多
Himalaya是一款基于Rust开发的命令行电子邮件客户端，支持多账户配置、邮件撰写、IMAP、Maildir、Notmuch、SMTP、Sendmail后端以及OAuth 2.0授权流程。它还提供了PGP加密功能以及JSON输出。可通过预构建二进制文件、Cargo、Arch Linux、Homebrew、Scoop、Fedora/CentOS/RHEL和Nix等多种方式安装。该工具提供配置向导，方便用户设置账户，并支持Gmail、Outlook、iCloud Mail等主流邮箱。
阅读更多
本文探讨了针对分类/提取、摘要和翻译等常见任务的大语言模型评估方法。作者指出，现成的评估方法通常与特定应用的性能关联性较弱，缺乏区分度。文章详细介绍了分类任务中的召回率、精确率、ROC-AUC、PR-AUC以及分布分离等指标，并阐述了如何通过自然语言推理（NLI）模型、奖励模型和长度检查来评估摘要任务。此外，文章还讨论了使用chrF、BLEURT、COMET和COMETKiwi等指标评估翻译质量，以及如何衡量版权抄袭和毒性。最后，作者强调了人工评估的重要性，并建议根据风险级别调整评估标准。
阅读更多
开源矢量图形编辑器Inkscape 1.4版本预计将于10月发布。此版本带来了新功能、用户界面改进、新的和改进的文件格式支持以及代码库的重要更改。新版本改进了对话框，包括扩展和滤镜库，并改进了Swatch对话框和渐变编辑器。核心功能方面，形状构建器工具现在支持光栅图形，文本编辑工作流程也得到了改进。界面和内部变化包括可自定义的画布控件和新的图标主题“Dash”。此外，命令行界面也新增了一些功能和选项。Inkscape 1.4为过渡到GTK+ 4奠定了基础，GTK+ 4预计将在1.5版本中实现，同时带来新的颜色管理系统。
阅读更多
本文讲述了上世纪80年代一位传奇程序员Mel的故事。Mel精通机器码编程，为Royal McBee公司编写了一个在LGP-30计算机上运行的黑杰克游戏，并在RPC-4000上进行了优化。他拒绝使用编译器和优化汇编器，因为他能通过手动优化代码，充分利用计算机的鼓式内存结构，使程序运行速度更快。即使是简单的循环，他也能通过巧妙的技巧，例如利用指令地址溢出实现循环结束，避免使用测试条件。最后，虽然被迫添加了控制输赢的开关，但他却反向实现了功能，让程序在开启开关后总是赢，展现了他独特的编程风格和对职业道德的坚持。
阅读更多
你是否曾发现烤盘上的锡纸出现小孔或黑点？这可能是电化学反应——“电偶腐蚀”造成的。酸性食物（如番茄酱）和盐分会形成电解质，与不同金属（如铝箔和钢制烤盘）构成电池，导致铝箔腐蚀。文章解释了这一现象，并建议使用耐腐蚀的容器，如玻璃、陶瓷或搪瓷制品，以及安全地使用铝箔的方法，避免食物中出现金属离子。
阅读更多
一个名为ultralytics的Python包在PyPI上发布了一个被入侵的版本。攻击者利用了该项目自动化处理拉取请求的机制，在分支名称中注入了恶意脚本。ultralytics使用了pull_request_target GitHub Action触发器，该触发器运行的脚本可以访问存储库的secrets，但容易受到来自拉取请求分支名称的shell注入攻击。注入的脚本利用获取的凭证在后续上传到PyPI的版本中包含了加密货币挖矿程序。虽然GitHub已删除恶意脚本，但此次事件提醒开发者谨慎处理自动化访问重要secrets的机制。
阅读更多
Project Verona 团队正在开发名为 Lungfish 的 Python 新所有权模型，旨在安全高效地管理 Python 程序的内存和并发。他们首先使用 FrankenScript 语言快速原型化了基于区域的所有权概念，并将其经验与 Faster CPython 团队分享。目前，他们正逐步实施深度不变性模型，包括在 CPython 中实现深度不变性、管理循环不变垃圾以及与子解释器间消息传递集成。这将为基于区域的所有权模型在 Python 中的应用奠定基础，最终目标是简化并发编程，并避免并发陷阱。该项目借鉴了 Rust 等语言的经验，但采用了动态检查，以适应 Python 的动态类型特性。
阅读更多
智能手机的普及让家长们既享受科技带来的便利，又担忧其对孩子心理健康的不良影响。文章描述了康涅狄格州韦斯特波特镇举办的“替代设备展”，展会上展示了各种功能受限的儿童手机，这些手机内置了高级家长控制功能和AI内容审查系统，旨在保护孩子免受网络暴力、色情信息和不良内容的侵害。然而，这些手机也引发了关于隐私、过度监控和AI技术可靠性的争议。家长们在安全与孩子自由之间艰难权衡，寻求一种既能保护孩子，又能让他们享受科技乐趣的平衡点。
阅读更多
Starlark是一种简单、线程安全的Python方言，旨在嵌入到其他应用程序中，提供配置或脚本功能。它具有动态类型、高层数据类型、具有词法作用域的一级函数以及垃圾回收等特性。Starlark的优势在于确定性求值、隔离执行、并行求值、简单易用且类似Python，方便用户快速学习和使用。
阅读更多
本文介绍了艾伦·平克顿的著作《真探三十年》，该书记录了平克顿三十年的侦探生涯，汇集了各种犯罪案例和技巧。平克顿从苏格兰逃到美国后，成为一名私家侦探，并为林肯总统做过间谍工作，后来成立了平克顿侦探社。本书详细描述了扒窃、入室盗窃、伪造等各种犯罪手法，以及罪犯使用的特殊工具。平克顿对罪犯的“精明”表示钦佩，认为权力才是定义罪犯的关键。
阅读更多
本文探讨了设计的社会责任和局限性。从最初的装饰性艺术到如今涉及硬件、软件、服务和基础设施等多领域，设计肩负着越来越多的责任。作者回顾了设计史上的重要人物和事件，如Eva Zeisel、包豪斯学派和史蒂夫·乔布斯，展现了设计理念的演变。然而，设计思维的流行也带来了挑战，如在Gainesville市的案例中，设计思维未能有效解决社会深层问题。文章最终强调，设计能够为构建更美好社会做出贡献，但需避免脱离政治和社会现实，并重视参与式设计，与其他领域合作才能真正解决“棘手问题”。
阅读更多
美国国家海洋和大气管理局太空天气预报中心（SWPC）是美国负责监测和预测地球周边太空天气条件的指定机构。该网站提供有关太阳活动、地磁活动、太阳风和太空天气的实时数据和预测。
阅读更多
本文报道了美国联邦调查局对大型企业房东Cortland Management进行突击搜查的事件。Cortland被指控与软件和咨询公司RealPage合谋，通过协调房东定价决策和控制公寓供应来提高全美范围内的租金。据称，RealPage与至少21家大型房东和机构投资者合作，涵盖了全美70%的出租公寓楼和1600万套住房。该事件引发了人们对租金上涨和房地产市场垄断行为的关注。
阅读更多
本文回顾了吃豆人女士这位电子游戏史上早期女性角色的诞生和演变。文章首先介绍了吃豆人女士性感的形象设计以及其背后的市场策略和社会意义，指出其作为“女士”而非“夫人”或“小姐”的称呼体现了女性意识的觉醒。随后，文章探讨了吃豆人女士与其版权方之间的法律纠纷，以及其近年来在游戏作品中被边缘化甚至被新角色替代的现象，表达了对这位经典角色的怀念和对游戏公司忽视女性玩家的批评。
阅读更多
这篇文章讨论了开源Android应用NewPipe中出现的一个错误。用户报告称，在播放YouTube视频时，应用频繁出现'com.google.android.exoplayer2.exoPlaybackException'错误，并伴随403错误代码。该错误似乎与YouTube方面发生的变化有关，导致第三方应用无法正常访问视频资源。
阅读更多
Chalice 是一个用于在 Python 中编写无服务器应用程序的框架，允许快速创建和部署使用 AWS Lambda 的应用程序。它提供了命令行工具来创建、部署和管理应用程序，基于装饰器的 API 用于与 Amazon API Gateway、Amazon S3、Amazon SNS、Amazon SQS 和其他 AWS 服务集成，以及自动生成 IAM 策略。
阅读更多
Trellis 是一家专注于非结构化数据处理的初创公司，获得YC孵化器支持。公司正在招聘创始后端工程师，负责构建类似Snowflake的数据库，将非结构化数据转换为SQL兼容的表格。工作地点位于美国旧金山，要求具备3年以上全栈开发经验，精通Python、Go等编程语言以及机器学习库。
阅读更多
在软件开发中，攻克难题并非易事。本文提出三个实用技巧：首先，积极倾听团队成员遇到的困难，并直接发问“为什么这么难？”；其次，鼓励深入探讨看似不可能的方案，探索其在特定条件下的可行性，即使最终未采纳，也能带来新的思路；最后，建议尝试设计多个方案，即使看似浪费时间，也能更深入地理解问题，为最终的实现提供更多可能性。最终，集体理解远比代码本身更重要。
阅读更多
本文介绍了Mamba-2模型的核心，即结构化状态空间对偶性（SSD）模型。SSD模型是对Mamba-1的改进，通过将递归矩阵A限制为标量-恒等结构，在保持高效性的同时，可以使用矩阵乘法进行计算，从而显著提高了训练速度。与Mamba-1相比，Mamba-2允许更大的状态维度，并在多查询关联回忆等合成任务上表现更出色。
阅读更多
htmx 2.0.0 版本已发布，不再支持 Internet Explorer，并对一些默认设置进行了调整。主要变化包括将所有扩展移至独立的存储库，删除了已弃用的 hx-sse 和 hx-ws 属性，HTTP DELETE 请求现在使用参数而不是表单编码的主体，以及提供用于各种 JavaScript 模块样式的特定文件。
阅读更多
本文是一篇教程，详细介绍了如何在服务器上安装 Docmost，一个开源的 Notion 替代品。文章首先介绍了 Docmost 的特点和优势，然后逐步讲解了安装所需的步骤，包括获取 root 服务器、设置 DNS、安装 Docmost、配置 SSL 证书等。此外，文章还提供了一些故障排除建议和安全提示。
阅读更多
Eidos 是一款可扩展的框架，用于在一个地方管理您一生的个人数据，是 Notion 的离线替代方案。该软件支持离线访问、AI 功能（即使在离线状态下也能使用）、可扩展性、开发者友好型 API 和 SDK 以及 Sqlite 标准化等功能。
阅读更多
LO 是一种面向 WASM 的小型编程语言，目标是尽可能简洁易懂。该语言使用 Rust 开发，并提供 VS Code 扩展以方便开发者使用。LO 已经实现了基本的编译器和标准库，并能够运行一些简单的程序。
阅读更多
Oterm 是一款功能强大的文本终端客户端，专为 Ollama 大型语言模型设计。它提供直观的用户界面，支持多会话聊天、模型自定义、快捷键操作以及会话存储等功能，使用户能够方便地与 Ollama 模型进行交互。
阅读更多
GitHub上的这个存储库包含DRUM_2004的第一个版本中包含的4个示例。DRUM_2004是用于钢琴卷帘乐谱转录和MIDI文件生成的软件。这些示例演示了DRUM_2004的功能，包括编辑钢琴卷帘乐谱、生成MIDI文件以及将MIDI文件导出为其他格式。
阅读更多
Python 创始人 Guido van Rossum 提交了一份PR，将他在 Python 解释器中的大部分代码所有权转让给了 Mark Shannon。他表示，自己已经厌倦了不知道自己是否真的被要求进行代码审查，所以决定将这部分所有权转让出去。
阅读更多