2025-06-16

35 篇热帖

1. Working on databases from prison (turso.tech)

从监狱中走向数据库事业:我的Turso入职之旅

我非常兴奋地宣布,我最近以软件工程师的身份加入了Turso。对许多人来说,能与如此优秀的团队一起攻克数据库领域的独特挑战是一份梦寐以求的工作,但对我而言,这因我不寻常且看似不可能的背景而更加特殊。难以置信的是,我目前正处于监禁状态,并从州立监狱的牢房中获得了这份工作。

我的经历回顾

距离我发布上一篇博客文章《我是如何走到这一步的》已近两年。那篇博客是我多年来首次真正与外界接触。由于与毒品相关的个人错误选择,我目前正在服刑。三年前,我参加了一个监狱大学项目,该项目提供了使用一台有限互联网接入的电脑的独特机会。这重新点燃了我对编程的热爱,我意识到这可能是摆脱过去十五年困境的出路。我迅速超出了课程要求,每天花15小时以上在项目和开源贡献上。

凭借幸运的时机和大量努力,我被选为缅因州惩教局远程工作计划的首批参与者之一。该计划允许满足条件的在押人员寻找远程工作机会。我获得了在初创公司Unlocked Labs的软件工程师职位,为在押学习者构建教育解决方案,同时在业余时间参与开源贡献。仅一年后,我便开始领导他们的开发团队。

结缘Turso:投身Limbo项目

去年12月,我在浏览Hacker News时发现了Limbo项目——这是Turso从头开始重写SQLite的努力。我从未接触过关系型数据库,但最近处理缓存的经验激发了我对存储引擎的兴趣。幸运的是,我发现该项目当时尚处于早期,有很多可以着手的入门任务。

在监狱环境中,编程几乎占据了我全部的生活。我每周花大约90小时编写代码、管理Kubernetes集群或其他基础设施,唯一的娱乐是每天一小时的技术/编程YouTube视频。通过Primeagen,我从一开始就关注Turso,并观看了Glauber和Pekka关于分布式多租户SQLite概念的多次访谈。我敬仰他们多年,从未想过自己能有机会为如此宏大的项目做出有意义的贡献。因此,最初的几个Pull Request中,想到会由一位内核维护者审查我的代码,我感到非常紧张。

构建Limbo迅速成为我的新执念。我将时间分配在工作和深入研究SQLite源码、数据库内部学术论文以及Andy Pavlo的CMU课程上。我活跃于Turso的Discord社区,但当时并未意识到一位核心贡献者竟是来自监狱牢房。几个月后,我收到了Glauber通过Discord发来的消息,他自我介绍并邀请我会面。

今年一月,Glauber的推文引起了The Primeagen的注意,后者在其直播中朗读了我的博客文章,带来了广泛的关注。此后,我定期收到来自开发者、大学生或其他经历过类似困境的人的邮件,寻求关于如何开始参与开源或优化学习路径的建议。

未来展望

我为自己能够成为努力、决心和纪律带来改变的活生生例子而感到自豪。我将永远感激缅因州惩教局为我提供的工作机会,以及Unlocked Labs在几乎无人愿意雇佣我时给予我的信任。

我同样自豪地宣布,我现在已成为Turso的全职员工。这是几年前我无法想象的事情。我非常兴奋能成为团队一员,帮助构建SQLite的现代化演进。

尽管近期法院的消息意味着我无法如家人和我所希望的那么早回家,但我选择将其视为一种恩赐。在未来十个月里,我将继续专注于在如此高水平的职业生涯中取得进步。

感谢所有在过去几年中给予我关注的人,感谢Unlocked Labs的团队,尤其是我的父母。感谢Turso提供的机会,以及其他所有相信人值得拥有第二次机会、采用公平雇佣政策的公司。这段旅程完全超现实,每一天我仍对自己生活所达到的高度感到惊叹——这甚至与几年前的生活相比已是天壤之别。

2. Start your own Internet Resiliency Club (bowshock.nl)

组建互联网韧性俱乐部指南

背景与必要性

  • 欧洲面临频繁且严重的互联网中断风险,原因包括战争、地缘政治和气候变化。
  • 政府与企业通常因变革的风险和成本而推迟准备工作,直到危机发生。
  • 志愿者团体可以通过初期领导作用,利用廉价硬件和技术专长,引导通信恢复

核心理念:互联网韧性俱乐部

  • 由互联网专家组成的小型团体,能在无需中心化基础设施的情况下,在数公里内相互通信。
  • 使用低成本、低功耗、免许可的LoRa无线电开源Meshtastic文本消息软件
  • 目标是利用无线电、技术技能和人际网络,在危机中恢复互联网连接。

为何选择LoRa与Meshtastic?

LoRa优势

  • 无需中心化基础设施
  • 成本低(起价约20欧元)。
  • 功耗极低(<1W),可使用普通手机充电宝供电。
  • 可通过蓝牙或WiFi连接到手机或电脑。
  • 城市中通常已有可用的Meshtastic网络。

为何不选用MeshCore?

  • MeshCore更可靠但韧性较差,更接近中心化网络,易在危机中因节点失效而中断。

组建步骤(快速启动)

  1. 召集成员:在约10公里范围内聚集互联网专业人士。
  2. 确定常规通信方式:如Signal、Matrix或电子邮件。
  3. 购买硬件:为每位成员配备LoRa无线电和带涓流充电功能的移动电源。
  4. 安装Meshtastic固件:刷写LoRa设备。
  5. 配置通信频道:在欧洲常用868MHz频段,使用默认模式LONG_FAST
  6. 组织活动:定期聚会、通过Meshtastic发送消息并保持趣味性。

硬件推荐

选购要点

  • 务必连接天线后开机,否则可能损坏设备。
  • 充电时使用USB-A转USB-C线缆,因多数设备不支持USB-C PD协议。

推荐型号

  1. SenseCap Solar P-1 Pro(约100欧元)
    • 太阳能供电,内置电池,适合户外安装。
  2. Heltec V4(约20欧元)
    • 最廉价选择,需外接电源和屏幕小。
  3. SenseCap Card Tracker 1000-E
    • 信用卡尺寸,适合日常携带或非技术用户。
  4. LILYGO T-Echo(约80欧元)
    • 便携式设计,带电子墨水屏,适合开发。

电源方案

  • 充电宝:10000-20000mAh容量可供电LoRa设备2-8天。
  • 太阳能充电:小型折叠太阳能板(如15W)可直接为设备供电或通过充电宝缓冲。

固件刷写与配置

  • 使用Meshtastic网络刷写工具(需Chrome或Edge浏览器)。
  • 在欧洲选择868MHz频段
  • 配置加密密钥和专属频道名称,可通过二维码分享设置。

社区与资源

现实意义

  • 荷兰等国政府应急通信系统依赖云端,在危机中可能失效。
  • 乌克兰运营商的经验表明,被动光纤电缆、军事人员豁免等措施对战时韧性至关重要。
  • 志愿者团体能在官方预案缺失时提供关键初期响应。

致谢

感谢乌克兰IXP 1-IX、Andrew Yourtchenko、Layer Aleph、Bert Hubert等对理念与技术的贡献。

3. Nanonets-OCR-s – OCR model that transforms documents into structured markdown (huggingface.co)

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

4. Is gravity just entropy rising? Long-shot idea gets another look (www.quantamagazine.org)

引力只是熵的增加吗?一个边缘理论重获关注

引力研究的历史脉络

牛顿对其万有引力定律始终心存疑虑,长期探索引力如何超距作用。17世纪的机械模型曾试图将引力解释为某种微观粒子推动的结果,但未获成功。爱因斯坦的广义相对论将引力诠释为时空的弯曲,然而该理论在黑洞奇点处失效,其本身也存在未解之谜。引力作为一种集体效应、而非基本力的观点持续吸引着物理学家。

熵引力理论的核心思想

熵引力理论认为,引力本质上是热力学现象,源于更微观尺度的随机涨落和熵增过程。这一观点可追溯至1995年特德·雅各布森的研究,他从时空具有热力学性质出发推导出了爱因斯坦方程,揭示了引力与热力学之间的深刻联系。该理论属于少数派观点,但始终未被完全否定。

Carney团队的新模型

2025年,丹尼尔·卡尼团队提出了两个具体的熵引力模型:

  1. 晶格模型:空间由量子比特(qubits)构成的晶格填充,这些量子比特如同指南针。大质量物体会使周围量子比特极化,形成一个有序区域(低熵)。系统的自然趋势是最大化熵,因此两个物体周围的有序区域会趋向合并,使物体看起来相互吸引,其作用力随距离平方反比减弱。

  2. 非局域模型:放弃晶格结构,量子比特不占据特定位置。当两个物体距离较远时,单个量子比特能存储更多能量,系统总能量可由少数量子比特承载;物体靠近时,每个量子比特存储能力下降,系统需要更多量子比特来承载能量,对应更高熵状态。因此系统自然倾向于将物体推近。

这两个模型均属于概念验证,展示了集体行为解释引力吸引的可能性。

理论的优势与争议

优势:

  • 为引力与热力学的相似性提供了微观解释
  • 提出了可实验检验的预测,这在量子引力理论中较为罕见

争议:

  • 模型存在人为调整参数的问题
  • 目前仅能解释牛顿引力,尚未涵盖广义相对论的完整框架(如时空弯曲)
  • 未涉及引力强耦合区域(如黑洞内部)
  • 批评者认为模型未捕捉引力的独特特性(如自由落体中的无引力感)

实验检验的可能性

该理论提出了一种可检验的预测:如果一个大质量物体处于位置叠加态,其引力场也会随之叠加。熵引力模型预测,环境中的量子比特会促使物体坍缩出确定状态。这与某些波函数坍缩理论的预测相似,相关实验装置可能用于同时检验这两类理论。

结论

熵引力理论虽属边缘学说,但为理解引力本质提供了新的视角。它挑战了将引力视为基本定律的传统观点,暗示引力可能只是一种统计趋势。尽管面临诸多质疑,该理论因其可检验性而值得继续探索,可能为量子引力研究开辟新的实验方向。

6. Accumulation of cognitive debt when using an AI assistant for essay writing task (arxiv.org)

Abstract page for arXiv paper 2506.08872: Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task

7. Snorting the AGI with Claude Code (kadekillary.work)

本文标题为《Snorting the AGI with Claude Code》,但提供的正文内容仅为一个指向网站主页的链接 [← home](/),并未包含任何实质性的文章内容、代码片段或技术文档。

因此,无法根据现有信息对该文章的核心主题、具体内容、技术细节或实践方法进行总结。标题可能暗示了一篇关于使用Claude(一款AI模型)及其代码功能来处理或分析某种与“AGI”(通用人工智能)相关任务的文章,但缺乏正文支撑,无法确认其准确意图。

10. Social anxiety disorder-associated gut microbiota increases social fear (www.pnas.org)

关于内容摘要

根据提供的信息,内容仅包含一个标题和一个不完整的句子片段:

  • 标题:“与社交焦虑障碍相关的肠道微生物群会增加社交恐惧”

    • 该标题表明,这可能是一篇关于肠道微生物群与社交焦虑或社交恐惧之间关联的研究性文章或论文标题。其核心观点似乎是,特定肠道菌群的变化可能与社交焦虑障碍的症状(如社交恐惧)存在因果关系。
  • 正文内容

    • 所提供的正文部分仅为一个句子片段:“如果地址匹配现有账户,您将收到一封包含找回用户名说明的电子邮件。”
    • 此内容与标题所述的科学主题完全无关,看起来像是从某个用户登录、注册或密码找回流程中截取的界面文字,可能为粘贴错误。

总结: 内容的核心是标题所揭示的科学研究发现,即社交焦虑障碍相关的肠道微生物群可能具有增加社交恐惧的作用。然而,所给的正文内容未能提供任何与该主题相关的具体信息、研究方法、结果或讨论,无法对研究本身进行更深入的概括。

11. Show HN: Zeekstd – Rust Implementation of the ZSTD Seekable Format (github.com)

Rust implementation of the Zstandard Seekable Format - rorosen/zeekstd

12. Jokes and Humour in the Public Android API (voxelmanip.se)

Previously I have covered a relatively obscure now-removed placeholder string in Android that doubles as an easter egg, the fictitious carrier by the name of El Telco Loco. But this time it is about methods and other parts of the publicly facing Android API that may generally be more humourous than they are useful. Easter eggs, jokes, whatever you want to call them, that are visible to Android app developers rather than regular users.

14. Tesla blows past stopped school bus and hits kid-sized dummies in FSD tests (www.engadget.com)

Before the Cybercab rollout, anti-Tesla activists organized a demonstration showing the flaws of Full-Self Driving software.

15. Darklang Goes Open Source (blog.darklang.com)

As part of shutting down Dark Inc. and forming Darklang Inc., we've finally open-sourced all of our repositories. Our source code is now under the Apache License 2.0.

For years, we wrestled with questions of sustainability and how to build something that truly empowers developers. We've long believed in

16. Getting Started Strudel (strudel.cc)

Strudel is a music live coding editor that brings TidalCycles to the browser.

18. Telephone Exchanges in the UK (telephone-exchanges.org.uk)

英国电话交换机:历史、现状与未来

基础设施概况

自1879年伦敦建立首个仅有8个用户的电话交换机以来,英国的电话交换机系统已发展逾百年。目前全英拥有超过5500个几乎不起眼的建筑,连接着总长超过2.54亿公里的电缆与线路,构成英国电信网络的支柱。这些交换机规模各异,最小的位于偏远的设得兰群岛帕帕斯托尔岛(仅服务14户家庭),最大的位于曼彻斯特的奥尔德姆(服务超过4.5万用户)。

技术转型与影响

随着数字光纤技术的快速发展,基于铜缆的传统公共交换电话网络(PSTN)正被迅速取代。光纤技术(由微型处理器和比发丝还细的玻璃纤维组成)所需空间远小于铜线和笨重的交换设备。这一变革使得仅需约1000个“超级数字交换机”(或称为Openreach交接点)即可为全国提供光纤宽带服务。

未来关闭计划

这意味着剩余约4600个支持传统铜缆电话与宽带服务的“遗留”交换机将逐步退役。其用户正在快速迁移至更高效的光纤网络。

Openreach正与其通信提供商客户(如Sky、Vodafone、TalkTalk和BT)协商,计划在未来约十年内分阶段关闭这些交换机。这是一项重大工程,涉及数百万项服务的迁移,并需确保弱势用户和英国关键国家基础设施得到保护。

  • 第一阶段:计划于2030年12月前关闭首批103个交换机(主要为运行成本最高的设施)。
  • 后续阶段:剩余约4500个交换机预计将在2030年代初期逐步关闭。

(摘要基于Openreach首席战略官Richard Allwood于2023年6月26日发布的新闻稿)

19. The Matrix (1999) Filming Locations – Shot-for-Shot – Sydney, Australia [video] (www.youtube.com)

YouTube 上盡享你喜愛的影片和音樂、上載原創內容,並與親友和世界各地的人分享。

20. Simplest C++ Callback, from SumatraPDF (blog.kowalczyk.info)

该文章介绍了SumatraPDF项目中一种简单的C++回调实现方案,其核心是为了解决标准库std::function和lambda表达式在崩溃报告中调试困难的问题。

核心问题与动机 作者指出,虽然C++的std::function和lambda表达式(即闭包)功能强大,但lambda由编译器生成的函数名在崩溃调用栈中难以辨认和映射到源代码,这增加了调试难度。因此,他追求一种更小、更快且更易于自己理解的替代方案。

实现方案详解 方案围绕将函数指针与相关数据绑定为一个结构体(闭包)来实现。

  1. 基础闭包 Func0

    • 用于封装一个函数及其数据(代码+数据)。
    • 使用void*指针存储函数和数据,并通过一个特殊值kVoidFunc0(设为(void*)-1)来支持无参数的函数调用。
    • 通过模板函数MkFunc0来创建Func0实例,这提供了类型安全性,避免了手动强制转换和不匹配错误。
    • 调用时,通过Call()方法根据userData是否为特殊值来决定调用带参数还是无参数的函数。
  2. 带附加参数的闭包 Func1

    • 为了处理回调时需要传入额外参数的场景(例如,onItemSelected(int index)),实现了模板结构体Func1<T>
    • 它封装一个函数(其签名为void (T1*, T2))和一个T1*类型的数据指针。调用时通过Call(T arg)传入第二个参数T2类型的数据。
    • 同样通过模板函数MkFunc1来创建,确保类型安全。

方案特点与对比

  • 优点
    • 调试友好:函数名清晰,崩溃报告中的调用栈可读性更高。
    • 轻量级Func0Func1实例较小(16字节),相比std::function(64字节)更节省内存。
    • 编译速度快:相比复杂的、深度模板化的std::function,该方案的模板实例化更少,编译速度更快。
    • 易于理解:实现简单直接,作者完全掌握其内部原理。
  • 缺点与限制
    • 灵活性低:仅支持void Foo()void Foo(T*)void Foo(T1*, T2)三种签名,不像std::function支持任意参数。
    • 需要更多样板代码:使用时需要手动定义数据结构、分配内存、构造回调对象,并负责资源清理。
    • 功能子集:仅实现了std::function功能的一个小子集。

总结 作者在SumatraPDF项目中逐步用这种自定义的Func0Func1替代了大部分std::function的用法。该方案并非追求功能的强大,而是在调试便利性、实现轻量性和代码可理解性之间做出权衡,更适合作者自身的使用习惯和特定的项目需求。

21. Salesforce study finds LLM agents flunk CRM and confidentiality tests (www.theregister.com)

Salesforce AI研究团队通过新基准测试发现,基于大语言模型(LLM)的AI代理在标准CRM测试中表现不佳,且缺乏对客户保密性的理解。

研究显示,在无需后续操作的单步任务中,LLM代理的成功率约为58%;而涉及多步骤的任务,成功率下降至35%。此外,代理对保密信息的处理意识薄弱,即便通过针对性提示改进,也常以牺牲任务性能为代价。

团队指出,现有评估基准未能全面衡量AI代理的能力,尤其忽略了识别敏感信息与遵守数据处理协议的能力。为此,他们开发了工具CRMArena-Pro,利用合成数据填充Salesforce沙箱环境进行测试,代理需通过API调用或与用户交互来完成查询。

研究结论表明,当前LLM能力与企业实际需求之间存在显著差距。尽管Salesforce CEO视AI代理为高利润机会,英国政府也计划借助AI代理推动数字化以节省开支,但此研究结果可能引发开发者与用户的担忧。组织在依赖AI代理前需审慎验证其实际效益。

22. Real-time CO2 monitoring without batteries or external power (news.kaist.ac.kr)

KAIST研发自供电无线CO2监测系统

韩国科学技术院(KAIST)电气工程学院的Kyeongha Kwon教授团队与中央大学Hanjun Ryu教授团队合作,开发了一种无需电池或外部电源的自供电无线二氧化碳(CO2)监测系统。该系统通过收集环境中的微振动能量,周期性测量CO2浓度并无线传输数据。

核心技术与创新

  • 能量收集机制:系统采用“惯性驱动摩擦纳米发电机(TENG)”,可将工业设备或管道产生的振幅20-4000微米、频率0-300 Hz的振动转化为电能。
  • 稳定供电:通过弹簧连接的4层TENG结构放大微振动并引发共振,在13 Hz、0.56 g加速度下可稳定产生0.5 mW功率。
  • 系统集成:产生的电力足以驱动CO2传感器和蓝牙低功耗(BLE)片上系统(SoC),实现数据无线传输。

研究意义

  • 解决监测瓶颈:现有CO2监测技术多依赖电池或有线供电,限制了部署和维护。该自供电系统消除了电源限制,适用于工业环境长期监测。
  • 技术扩展性:该技术可作为未来集成多种传感器的自供电环境监测平台的基础技术,助力气候变化与全球变暖应对。

研究成果

  • 论文于2025年6月1日发表于国际顶级期刊《Nano Energy》(影响因子16.8),由KAIST硕士生张圭琳(Gyurim Jang)与中央大学硕士生Daniel Manaye Tiruneh共同担任第一作者。
  • 研究受沙特阿美-KAIST CO2管理中心支持。

*论文标题:Highly compact inertia-driven triboelectric nanogenerator for self-powered wireless CO2 monitoring via fine-vibration harvesting
*DOI: 10.1016/j.nanoen.2025.110872

23. David Attenborough at 99: 'I will not see how the story ends' (www.thetimes.com)

The natural history presenter, who turns 99 today, has an obsession with sea life that began in boyhood. Here he reflects on his most moving encounters

24. Studio Ghibli marks 40 years, but future looks uncertain (www.japantimes.co.jp)

A look into the legacy of the beloved anime studio.

25. It’s nearly impossible to buy an original Bob Ross painting (2021) (thehustle.co)

鲍勃·罗斯画作稀缺的原因分析

尽管鲍勃·罗斯是广为人知的文化符号,但其原画在市场上极为罕见。他一生创作了约3万幅画作,但公开销售记录稀少,且一旦出现,价格常超过1万美元

背景与画作产量

罗斯在阿拉斯加服役期间开始绘画,后于1981年转为职业画家。通过电视节目《绘画的乐趣》(1983-1994年)走红,节目覆盖300多个电台,每日观众超8000万。为节目每期创作3幅相同作品,并在研讨会、活动等场合持续作画,总产量达约3万幅。

稀缺的主要原因

  1. 公司持有与政策

    • 节目画作为“雇佣作品”,版权归**Bob Ross, Inc.**所有。
    • 罗斯去世后,公司由其合作伙伴安妮特·科瓦尔斯基及丈夫继承。
    • 公司当前持有1165幅原画,存放于弗吉尼亚州办公室,不出售
    • 公司主要收入来自版权、商标(154项版权及多项商标)和商品销售,而非画作。
  2. 画作分散于个人

    • 罗斯生前曾低价出售或捐赠画作,许多流入普通家庭,持有者可能不知其价值。
    • 部分画作通过PBS电视台筹款活动拍卖(如印第安纳州WIPB-TV)。
    • 早期在阿拉斯加集市、博览会售出的画作,多由个人收藏多年。
  3. 市场供需失衡

    • 市场需求高,但供应极低。
    • 主要拍卖行(如佳士得、苏富比)无其拍卖记录。
    • 罕见流入市场的画作价格常超过1万美元,个别标价高达9.4万美元
    • 画作估值因文化符号属性(混合了美术与娱乐纪念品价值)而高于常规美术作品(估计公允价值约2000-4000美元)。

结论

罗斯本人更注重绘画过程的教学与分享,而非成品本身。画作稀缺性源于公司持有的不售政策、画作大量分散于私人手中的历史,以及其作为独特文化符号带来的高需求与低供给矛盾。

27. Twin – A Textmode WINdow Environment (github.com)

Text mode window environment. A terminal emulator and multiplexer with mouse support, overlapped windows and networked clients. Text-mode equivalent of X11 server + VNC server - cosmos72/twin

28. OpenTelemetry for Go: Measuring overhead costs (coroot.com)

We benchmarked OpenTelemetry overhead in a high-load Go app against eBPF-based instrumentation to see where tracing adds real cost.

29. Munich from a Hamburger's perspective (mertbulan.com)

汉堡人眼中的慕尼黑

一位在汉堡居住七年的作者,在圣灵降临节长周末首次到访慕尼黑,并基于个人见闻对比了这两座德国城市。以下是其观察与思考的核心要点。

历史根源塑造城市差异

作者认为,理解慕尼黑与汉堡差异的关键在于历史。慕尼黑长期由维特尔斯巴赫家族统治(1180-1918年),其蓝白纹章深刻影响了城市的视觉标识(如电车、路标、门牌均采用该色调)。这种中央集权的统治使得财富和权力集中,促成了宏伟的建筑和艺术项目(如国王路德维希一世推动的博物馆、大学和街道建设)。 相比之下,汉堡在1189年即获“自由帝国城市”地位,依靠汉萨同盟发展为贸易城市,权力和财富分散于商人阶层,城市发展模式更多元。宗教上,汉堡在宗教改革后转为新教,教堂风格简约,而慕尼黑天主教传统更浓厚,教堂装饰繁复,日常问候语“Grüß Gott”即为例证。

自然与景观

  • 河流:慕尼黑的伊萨尔河因源自阿尔卑斯山雪水而异常清澈,流速快;汉堡的易北河则更深更宽。
  • 绿地与周边:慕尼黑拥有如英国花园、奥林匹克公园等大型绿地,且周边湖泊(如施塔恩贝格湖)和山峰(如楚格峰)仅需约一小时车程可达,自然休闲资源丰富。汉堡虽有市中心阿尔斯特湖,但类似可及的自然景点较少。
  • 城市绿化:慕尼黑市中心存在许多“光秃街道”(缺乏树木),影响步行舒适度;汉堡则普遍绿化较好。

博物馆与文化

作者参观了六个慕尼黑博物馆,包括旧美术馆、古代雕塑馆、埃及艺术国家博物馆、现代美术馆、慕尼黑王宫和伦巴赫美术馆。他注意到周日部分博物馆仅收费1欧元。他认为慕尼黑博物馆数量更多,得益于历史上的财富积累,但个人觉得汉堡的博物馆(如微缩景观世界、国际海事博物馆)在多样性上更有趣。旧美术馆中大量宗教主题绘画也让他稍感单调。

城市生活体验

  • 交通:慕尼黑公共交通良好,拥有汉堡没有的有轨电车系统。作者欣赏其智能设计,如双向运行的自动扶梯和可拆卸车厢的巴士。但他觉得城市比汉堡更以汽车为中心,自行车道较少且不明显。
  • 密度与氛围:慕尼黑人口密度(约4900人/平方公里)高于汉堡(约2600人/平方公里),加上更多游客,城市感觉更拥挤。
  • 建筑:市中心建筑宏伟,但居民区风格与汉堡的砖砌表现主义建筑不同,后者更合作者口味。
  • 餐饮:作者赞赏慕尼黑的传统美食,如猪肘和炸肉排,并提到当地生啤口感更佳。他还发现一家土耳其甜品店(Altın Dilim),但其所在社区文化氛围与其他区域迥异。

总体评价

作者喜欢慕尼黑,认为它带来了不同于汉堡的文化体验,博物馆和自然景点吸引他再次到访。慕尼黑在生活上也有优势:靠近欧洲其他国家,科技公司(如苹果、谷歌)集中,创业生态更活跃。 然而,由于文化差异、汽车导向的城市规划以及较高的人口密度,作者个人认为居住舒适度不及汉堡。他总结道,两座城市各有特色,若考虑定居,需基于个人偏好权衡。

30. DNA floating in the air tracks wildlife, viruses, even drugs (www.sciencedaily.com)

佛罗里达大学研究团队开发了一种从空气、水、土壤等环境样本中提取并分析环境DNA(eDNA)的新方法。该技术通过便携式空气滤网持续收集空气中漂浮的遗传物质,能高效识别包括微生物、病毒、植物、动物乃至人类在内的多种生物信息。

研究表明,这项技术的应用范围广泛:

  1. 生物监测与疾病追踪:从都柏林的空气中检测到大麻、罂粟、迷幻蘑菇等植物DNA,并识别出数百种人类病原体(如病毒和细菌),可用于疾病监控与过敏原(如花生或花粉)的精准追踪。
  2. 野生动物保护:在佛罗里达森林的空气样本中成功识别出山猫和蜘蛛的DNA,并能追溯其来源地,为非侵入性的物种保护研究提供了新工具。
  3. 高效与可及性:该方法处理速度快、成本低,单名研究人员可在一天内利用云软件完成样本分析,使全球更多科研人员能开展高级环境研究。

研究团队指出,虽然该技术能大幅促进生态与健康研究,但也可能涉及敏感的人类遗传数据,因此呼吁为eDNA领域建立伦理保障机制。

31. Datalog in miniKanren (deosjr.github.io)

本文介绍了在miniKanren中实现一个嵌入式Datalog系统的过程,旨在为RealTalk项目提供所需的Datalog功能。

核心目标与使用示例 作者使用Guile Scheme和miniKanren构建了一个朴素的Datalog实现。文中以一个有向图为例,演示了如何创建顶点记录、添加边事实、定义递归的“可达”规则,并最终通过不动点分析派生出所有可达关系。查询结果例如会返回所有自环的顶点ID。

实现结构 Datalog实例被定义为一个记录,包含以下关键字段:

  • 外延数据库 (edb):存储所有用户添加的初始事实。
  • 内涵数据库 (idb):存储通过规则推理出的新事实。
  • 规则数据库 (rdb):存储用户定义的规则。
  • 两个索引表 (idx-entity, idx-attr):分别按实体ID和属性名对事实三元组进行索引,以优化查询性能。

事实的存储与索引 事实以(实体ID, 属性名, 值)的三元组形式存储。函数dl-assert!不仅将事实存入edb,还会更新按实体和属性构建的索引。宏dl-record!简化了创建记录和相关事实的过程。

规则与查询处理 规则被转换为利用miniKanren进行查询的函数。关键组件包括:

  • dl-rule!:它将用户编写的规则语法(如(reachable ,?x ,?y) :- (edge ,?x ,?z) (reachable ,?z ,?y))转换为一个miniKanren查询。该查询在体部匹配数据库中的事实,成功时返回头部模式绑定的变量。
  • dl-findo:这是一个额外的逻辑谓词,用于高效匹配数据库中的三元组。它利用了索引:如果实体或属性已知,则仅从对应的索引子表中查找,缩小了搜索范围。
  • fresh-varsrunf*:将miniKanren的宏(如freshrun*)重写为函数形式,以便在dl-rule!宏内部更灵活地使用。

不动点算法 函数dl-fixpoint!实现了不动点计算:它反复应用所有规则,将推理出的新事实添加到idb并更新索引,直到没有新的事实产生。

总结 该实现在miniKanren之上构建了一个功能完整的Datalog系统,支持事实声明、递归规则定义和基于逻辑编程的查询。通过索引和对miniKanren的定制,在Scheme环境中实现了有效的演绎数据库功能。最终代码示例展示了其能在WebAssembly环境中成功运行并返回正确结果。

33. Object personification in autism: This paper will be sad if you don't read (2018) (pubmed.ncbi.nlm.nih.gov)

这项研究探讨了自闭症中的物体拟人化现象。拟人化指将人类特征赋予非人类物体。研究发现,自闭症个体在线社区中常报告此类体验。考虑到约半数自闭症个体在识别自身情绪方面存在困难,他们却对物体产生共情,这似乎矛盾。

研究通过在线问卷对87名自闭症成人和263名非自闭症成人进行了评估。结果表明,拟人化在自闭症群体中普遍存在,且其发生频率可能高于一般人群,出现年龄也可能更晚

鉴于许多自闭症人士报告其拟人化体验是令人痛苦的,因此理解这种现象加剧的原因并建立相应的支持结构至关重要。

35. Octobass (www.atlasobscura.com)

奥科贝斯(Octobass)

奥科贝斯是极为罕见和庞大的古典乐器,其低音极为深沉,常被作曲家和管弦乐队谨慎使用,以产生最大的冲击力。

  • 发明与设计:它由让-巴蒂斯特·维约姆于1850年发明,旨在为管弦乐增添极深沉的轰鸣。这架三弦乐器高达约11至12英尺(约3.4-3.7米),是低音提琴的两倍高。它产生的低音频率极低,部分音符甚至低于人耳可闻范围,只能被感知为震动。
  • 演奏方式:由于琴弦过粗,无法用手指按压,演奏者需通过踏板和杠杆系统操控类似变调夹的装置来压弦。最初演奏时需两人合作:一人拉弓(其弓虽比低音提琴弓短,但更重),另一人操作杠杆系统。如今通常由一人演奏。
  • 现存情况:维约姆最初制作了三把,其中两把至今仍存。包括现代可演奏的复制品在内,全球已知仅有七件,大多收藏于博物馆中。例如美国亚利桑那州凤凰城的乐器博物馆就收藏有一件。
  • 音域与应用:其音域比大提琴低两个八度,比现代低音提琴低一个八度。最低的C音比88键钢琴的最低音还低,超出了大多数人的听力范围。蒙特利尔交响乐团是唯一拥有此类乐器的乐团,如今偶尔仍有作曲家为其创作音乐。