2025年10月24日,仅供娱乐。我喜欢多伦多的自行车共享网络,但经常发生的情况是离我最近的自行车站点没有自行车,或者我要前往的地方没有停车位。自行车共享应用程序有点笨重,需要多次点击和滚动才能查看所有这些信息。为了节省早上的几秒钟,我做了理所当然的事情,花费了几个小时制作了一个简单的仪表盘和iOS小部件,以便一目了然地显示我需要的信息。 在GitHub上查看该项目:这里有一些仪表盘和小部件实际运行的截图:多伦多自行车共享——仪表盘概览。显示收藏站点的iOS Scriptable小部件。
2025年10月24日,仅供娱乐。我喜欢多伦多的自行车共享网络,但经常发生的情况是离我最近的自行车站点没有自行车,或者我要前往的地方没有停车位。自行车共享应用程序有点笨重,需要多次点击和滚动才能查看所有这些信息。为了节省早上的几秒钟,我做了理所当然的事情,花费了几个小时制作了一个简单的仪表盘和iOS小部件,以便一目了然地显示我需要的信息。 在GitHub上查看该项目:这里有一些仪表盘和小部件实际运行的截图:多伦多自行车共享——仪表盘概览。显示收藏站点的iOS Scriptable小部件。
## beaconDB & BLE Beacon 探索:总结
该项目研究了 beaconDB,它是 Mozilla Location Service (MLS) 的后继者,旨在利用蜂窝塔、WiFi 热点和 BLE 信标的观测结果提供位置查找。作者是一位 GrapheneOS 用户,寻求 Google 位置服务的替代方案,希望为 beaconDB 贡献力量并测试其 BLE 信标功能。
实验包括购买 BLE 信标,配置它们广播数据(使用 Feasy FSC-BP104D 型号),并通过 NeoStumbler 和直接 API 调用提交位置观测数据。尽管数据提交成功,但 API 始终返回信标的“404 Not Found”错误。
进一步调查,包括检查 beaconDB 源代码,揭示了核心问题:**beaconDB 目前*存储* BLE 信标数据,但尚未*利用*它来进行地理定位。** 虽然 WiFi 观测成功返回了位置数据,但 BLE 信标功能仍在开发中。
作者向 beaconDB 提交了一个 issue,强调了缺失的地理定位功能。尽管结果出乎意料,但该项目提供了关于 BLE 信标技术、beaconDB API 以及位置服务复杂性的宝贵学习经验。
启用 JavaScript 和 Cookie 以继续。
客户端挑战:您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接,禁用任何广告拦截器,或尝试使用不同的浏览器。
## Agent Lightning:无需重写代码即可优化AI智能体
Agent Lightning 是一款易于使用的工具,可利用强化学习和提示词优化等技术来优化AI智能体——**无需更改现有的智能体代码。** 它兼容 LangChain、AutoGen 等流行框架,甚至适用于原生的 Python OpenAI 设置。
该系统通过追踪智能体交互(提示词、工具调用、奖励)并将这些数据提供给所选算法来工作。 然后,这些算法会优化智能体资源,例如提示词或策略,从而持续提高性能。
主要功能包括多智能体系统中的选择性优化、用于数据管理的中央“LightningStore”以及用于管理学习循环的灵活的Trainer。 Agent Lightning 优先考虑简单性,让开发者专注于他们的核心想法,而不是复杂的 инфраструктура。
DeepWerewolf 和 AgentFlow 等示例展示了其功能。 它是开源的(MIT 许可证),并欢迎贡献——详情请参见他们的 Discord 和文档站点:[https://arxiv.org/abs/2508.03680](https://arxiv.org/abs/2508.03680)。
## ASIMO:本田的先锋人形机器人 ASIMO(先进步进创新移动),由本田在2000年至2018年间开发,是一款全球公认的人形机器人,旨在协助人类。它的开发源于数十年的研究,始于1980年代的E系列和P系列机器人——这些是逐步更高级的原型,专注于实现稳定的双足行走。 ASIMO身高4英尺3英寸,其尺寸经过精心设计,旨在为人类环境(如家庭和医院)提供实际帮助。ASIMO配备了先进的传感器、摄像头和强大的计算机,可以识别面部、声音、手势,并自主导航空间,避开障碍物,甚至响应简单的命令。 ASIMO由锂离子电池供电,利用34个伺服电机实现流畅的运动。尽管从未商业销售(估计成本200万至250万美元),ASIMO为本田开发机器人技术提供了一个至关重要的平台。本田于2018年停止开发,并将重点转向将ASIMO的创新应用于更实用、更贴近现实的应用。如今,ASIMO在东京的未来科学馆展出,见证了它的遗产。
## APL 数组操作总结 APL 提供了强大的函数来选择和修改数组的部分内容。基本的方括号索引(例如 `TAB[2;1]←8`)允许直接元素赋值。更复杂的选择使用诸如 **Take (↑)**、**Ravel (,)** 和 **Compression (/),** 等函数,通常结合使用。 **Take** 提取数组的一部分,而 **Ravel** 将多维数组展平成向量,从而可以一次性地赋值给整个结构。**Compression** 根据布尔条件选择元素。例如,`(('A'=,MAT)/,MAT)←'*'` 将矩阵中的所有 'A' 替换为星号。 这些函数可以组合起来进行复杂的操作——替换子矩阵,或根据其值或位置有选择地更新元素。数组的形状 (`⍴X`) 也可以用来动态确定选择大小。 **Enlist (∊)** 移除嵌套,允许赋值给嵌套数组中的特定位置。最后,**First (↑)** 选择第一个元素,从而可以替换整个子数组。APL 的灵活性允许进行高度简洁和富有表现力的数组操作。
## 耐克的 Amplify 项目:为日常运动员提供助力鞋款 耐克正在开发 Amplify 项目,这是一款革命性的助力鞋款系统,旨在让所有水平的跑步和步行更快、更远、更轻松。该系统利用轻量级电机、皮带和可充电电池与碳纤维鞋集成,以*增强*自然的腿部运动——本质上提供了一种类似于“第二组小腿肌肉”的助力。 Amplify 项目的目标是跑速为每英里 10-12 分钟的运动员,它并非关注精英表现,而是为了增加运动的乐趣和可及性。测试表明,用户体验到更少的努力,尤其是在上坡时,并且有可能提高他们的速度。 Amplify 项目与机器人合作伙伴 Dephy 合作开发,并参考了耐克运动研究实验室的大量研究(测试了超过 240 万步!),代表了耐克持续创新的承诺及其对运动对健康至关重要的信念。虽然仍在测试中,耐克设想未来这项技术将扩大跑步和步行的普及度,就像电动自行车对城市通勤的影响一样。
## Linux 中的共享库与加载时重定位
本文解释了 Linux 如何利用加载时重定位来实现共享库的使用。与加载到固定地址的可执行文件不同,共享库会动态加载到可用的虚拟内存中,这意味着它们的最终地址直到运行时才可知。这带来了一个挑战:库中的代码通常引用库*内部*的数据(如全局变量)或其他函数,需要编译期间未固定的地址。
加载时重定位通过最初在库的代码中嵌入占位符地址(如 0x0)来解决这个问题。一个重定位段详细说明了这些占位符的位置以及它们所引用的符号。当库被加载时,动态加载器会根据库的实际运行时地址调整这些占位符,从而有效地“重定位”这些引用。
例如,对库内函数的调用最初包含相对偏移量。动态加载器根据库的加载地址计算绝对地址并更新指令。类似地,对全局变量的访问会被修补为正确的内存位置。
虽然位置无关代码 (PIC) 现在是首选方法,但理解加载时重定位可以提供共享库如何工作的基本理解,并简化对 PIC 概念的掌握。此过程对于现代操作系统的有效内存使用和代码共享至关重要。
``` %PDF-1.4 % âãÏÓ 4 0 obj > /PageLabels > ] >> /Outlines 2 0 R /Pages 1 0 R >> endobj 5 0 obj ```