本文探讨了 eBPF 中用于提升性能的 Trampoline 机制。eBPF 程序广泛应用于系统监控等领域，其执行效率至关重要。Trampoline 机制通过直接调用 eBPF 程序，避免了传统 kprobe 机制中异常处理带来的开销，显著提升了性能。文章详细解释了 Trampoline 的工作原理，并涵盖了处理函数入口和出口、多参数传递等高级用法，以及在 ARM64 架构上的实现和优化。
阅读更多
印度雄心勃勃地计划取代中国成为全球电子制造中心，然而其战略却出人意料地依赖中国公司提供技术架构、制造技术和运营模式。例如，印度本土电子制造巨头Dixon Technologies，其发展壮大就离不开与多家中国公司的合作。这种依赖性模式已成为印度电子制造业发展的核心。尽管印度政府投入巨资，但其计划能否成功，取决于中印两国能否在激烈的经济竞争和地缘政治紧张局势下维持稳定的商业关系，这无疑是一个巨大的风险。
阅读更多
一项来自Giskard的研究表明，要求AI简洁作答，尤其是在模糊话题上，反而会增加其产生幻觉的可能性。研究人员发现，简洁的指令会限制模型识别并纠正错误的能力，导致其优先选择简洁性而非准确性，即使是像GPT-4这样的先进模型也受到影响。这揭示了在追求用户体验与确保AI准确性之间的矛盾，提示开发者在系统指令设计上需谨慎。
阅读更多
本文介绍了一个基于ATmega328的超低功耗Arduino系统。作者通过精简硬件和利用JeeLib库的休眠功能，将系统功耗从6.7mA降低到43μA，实现电池续航时间大幅提升。文章详细讲解了硬件连接、软件编程以及功耗测试结果，并以温度传感器为例计算了系统在实际应用中的电池续航时间，预计可达两年。
阅读更多
本书《凯尔特人：一部现代史》探讨了凯尔特人身份认同的演变。从18世纪学者们对凯尔特语言和文化的复兴，到民族主义和种族主义对凯尔特人形象的影响，再到20世纪泛凯尔特主义运动的兴起，作者伊恩·斯图尔特抽丝剥茧，展现了凯尔特人身份认同的复杂性和多重性，以及其在学术、政治和社会中的变迁。尽管曾被质疑其历史真实性，凯尔特人身份认同却始终顽强地存在着，这正是本书试图解释的谜题。
阅读更多
微软将OpenAI的Sora视频生成技术整合进Bing移动端应用，推出免费的Bing Video Creator。用户只需输入文字提示，即可生成5秒短视频，未来还将支持横向视频。虽然目前功能有限，仅支持文本生成视频，且免费生成次数有限，但其便捷性和易用性使其成为一款极具吸引力的工具，为用户带来轻松创作视频的体验。此举不仅为消费者提供便捷的视频创作工具，也为企业用户提供了探索AI视频生成技术应用的可能性，例如自动生成视频摘要、培训内容或营销素材等。
阅读更多
PrintedLabs是一个开源平台，提供3D打印的低成本科学实验设备和相关软件，旨在激发人们对STEM领域的兴趣。无论是教师用于演示实验，学生用于自主研究，还是爱好者用于个人项目，PrintedLabs都能提供简单易用的工具和资源。其目标是通过动手实践，培养学生的分析能力、解决问题的能力和结构化工作方法，并教授数据处理和分析的基本知识。该平台自2021年起已应用于拜罗伊特大学的物理教学实践课程。
阅读更多
CES 2025展会上，一款名为Nuwa Pen的智能笔惊艳亮相。它内置三个微型摄像头，可以将你写在纸上的内容实时数字化，并存储到配套的应用程序中。你甚至可以通过应用内置的大型语言模型搜索笔记内容，提出问题。虽然目前准确率有待提高，但Nuwa Pen为手写笔记的数字化提供了一种全新的方式，其“无限画布”功能也极具创意，对于需要快速记录和检索信息的用户来说非常实用。
阅读更多
arXivLabs是一个框架，允许协作者直接在arXiv网站上开发和分享新功能。参与arXivLabs的个人和组织都认同并接受了arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。 如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
SIOF是一个轻量级的R7RS Scheme编程语言解释器，其全部代码包含在一个C源文件中。无需依赖任何外部库或特殊的构建工具，只需使用C编译器编译即可运行。它支持垃圾回收、尾递归、call/cc等特性，但同时也存在一些限制，例如不支持大数、Unicode和某些R7RS特性。SIOF的核心代码最初使用#F语言编写，其编译器和宏扩展器分别源自Marc Feeley和Al Petrofsky的工作。
阅读更多
作者近期造访巴拉圭首都亚松森，惊讶于这座城市缺乏美学一致性。尽管拥有现代化高层建筑，但城市规划混乱，破旧建筑与现代建筑并存。这与巴拉圭低政府支出（GDP占比19%）和高非正规就业率（62%-67%）有关。税收制度的特殊性吸引大量外国投资者购买房产，导致房地产市场繁荣，但并未惠及当地中产阶级。文章揭示了巴拉圭独特的经济和城市发展模式，以及其背后复杂的历史和社会因素。
阅读更多
本文讲述了一个令人费解的调试故事：在使用 `dlclose`卸载动态链接库时，库 libA 成功卸载，但其依赖库 libB 却意外地残留在内存中。深入调查发现，问题根源在于 libB 中注册的线程局部存储 (TLS) 析构函数。由于线程未退出，这些析构函数未执行，导致 libB 无法卸载。启用日志记录后，问题消失，因为日志库也使用了 TLS，导致 libA 也无法卸载，从而维持了 libA 和 libB 的共享状态一致性。这个案例强调了理解 `dlclose` 行为以及 TLS 析构函数的影响的重要性，并建议使用 `LD_DEBUG` 环境变量进行动态链接库调试。
阅读更多
西班牙足球联盟LaLiga为打击盗版，通过法院命令大规模封锁Cloudflare的IP地址，导致数百万个无辜网站无法访问，甚至危及紧急服务资源。Cloudflare CEO Matthew Prince对此表示强烈谴责，警告称这种“疯狂”的策略可能造成人员伤亡。尽管LaLiga声称其行动合法合规，但Prince强调Cloudflare一直愿意合作，并提供了有效的合作流程，只是LaLiga拒绝使用。这场名为#laligagate的事件引发了对互联网审查和版权保护的激烈辩论，凸显了大规模封锁的巨大风险和潜在的致命后果。
阅读更多
美国退伍军人事务部计划裁员8.3万，占其员工总数的17%以上。此举将严重影响退伍军人的医疗保健、住房、教育和其它福利。裁员将加剧退伍军人面临的挑战，例如医疗保健获取困难、自杀率上升以及其它社会问题的恶化。此外，裁员还将削弱退伍军人事务部的研究能力，影响对退伍军人健康问题的理解和治疗方法的开发。这一政策逆转将对那些为国家做出贡献的退伍军人造成深远的影响。
阅读更多
Apache Iceberg 开源表格式新增对几何数据列的支持，彻底改变了大小型地理空间数据用户的处理方式。传统方法在处理百万级以上要素时效率低下，而 Iceberg 基于 Parquet，提供极速读取和超大数据集的可扩展性，并支持 DML 操作（插入、更新、合并和删除）、版本控制和时间旅行等特性。它解决了数据湖事务不可靠、缺乏并发保护等问题，并支持地理空间删除、时间旅行和 upsert 操作，同时提供模式强制和模式演变功能，以及高效的文件列表操作和小文件压缩。Iceberg 的合并读取模式显著提高了 DML 操作的效率。总而言之，Iceberg 为地理空间数据提供了更优越的解决方案，显著提升了性能和可靠性。
阅读更多
本文讲述了一个在线桌游网站如何通过服务端渲染、HTML标准元素和URL参数等技术，实现完全可选的JavaScript功能。作者成功地将游戏实时更新改造成基于页面自动刷新的机制，并用HTML标准元素替代了JavaScript下拉菜单和模态框。虽然增加了服务器负载和代码复杂性，但该实践提升了页面加载速度和网站健壮性，并带来了一些意想不到的益处，例如更语义化的HTML。然而，作者最终认为，这种方法的额外工作量并不值得，除非目标用户群体对JavaScript的依赖性极低。
阅读更多
作者尝试在笔记本电脑上使用Alpine Linux作为日常驱动器半年。Alpine Linux以其快速启动、优秀的包管理系统和轻量级著称。然而，作者发现Alpine使用musl库而非glibc，导致部分软件兼容性问题，特别是对于需要glibc的实验性软件。虽然可以通过gcompat、自行编译或使用Flatpak等方式解决，但这增加了额外的摩擦。最终，作者决定尝试其他发行版，例如Void Linux或Debian，以寻求更好的兼容性和稳定性。
阅读更多
本文讲述了作者在学习C语言过程中，关于整数类型定义的意外发现。早期C语言的整数大小在不同架构的机器上差异很大，为此，一些编译器厂商自定义了类型定义，例如Microware的types.h。后来ANSI C标准引入了stdint.h，提供了像uint32_t这样的标准类型定义，以及limits.h中定义的INT_MAX等最大值。然而，作者最近才发现stdint.h中还包含了INT8_MAX、UINT32_MAX等，可以直接用于定义特定大小整数类型的最大值和最小值，这使得代码更具可移植性，避免了因平台差异导致的错误。
阅读更多
作者结合滑板、激光雷达和手机AR技术，创造了一个名为“Helmdar”的装置，用于在滑板过程中扫描城市环境。该装置将激光雷达数据与手机的6DoF姿态跟踪数据融合，生成3D点云地图。作者分享了其制作过程、软件实现以及令人惊叹的布鲁克林夜景3D扫描结果，展现了独特的城市探索方式和数据可视化技术。
阅读更多
绩效考核季到了，许多经理却在用ChatGPT写绩效评估，这是一种捷径，却会阻碍他们的成长。文章指出，AI只是辅助工具，而非抽象层，过度依赖AI会限制经理提升管理技能的机会。真正的管理需要精准、同理心和战略思维，而AI无法替代经理与团队成员进行面对面的沟通和交流，从而学习和提升管理能力。作者建议，对于重复性任务或答案绝对的任务可以使用AI，但在需要处理模糊性和人际关系的任务中，应该坚持人工操作，才能在管理实践中学习和成长。
阅读更多
博主更新了其广受欢迎的六边形网格指南，新增了螺旋坐标系统章节。虽然尚未在实际项目中应用，但博主决定不再等待，分享了部分理解和未优化的示例代码，并表示未来会补充更多变体。此外，他还意外发现了一种基于轴坐标的简化角度排序方法，并将其单独成页发布。
阅读更多
华盛顿大学运营的全球闪电定位网络 (WWLLN) 利用遍布全球的低频无线电传感器，绘制全球闪电活动地图。该网络通过分析闪电产生的无线电信号到达不同传感器的时间差来确定闪电的位置。虽然理想情况下需要数百个传感器才能实现均匀覆盖，但目前WWLLN已拥有超过70个传感器，并持续寻求更多合作站点。该网络的数据可用于研究，并可通过多种途径获取，包括免费的月度订阅（站点主机）和付费存档数据。
阅读更多
数学家们长期以来研究“单稳态四面体”——一种只有一侧稳定的特殊四面体。理论上，这种形状可以通过巧妙的质量分布实现，但现实中构建却极其困难。Gergő Almádi和他的团队经过复杂的计算和多次失败的尝试，最终利用碳纤维框架和钨碳部件，成功构建了一个单稳态四面体模型。这个模型的成功不仅验证了数学理论，也为未来工程设计，例如月球着陆器的设计，提供了新的思路。
阅读更多
本文档详细介绍了如何搭建Gumroad的本地开发环境。你需要安装Docker、Docker Compose、MySQL 8.0.x、imagemagick、libvips、ffmpeg、pdftk以及Bundler。此外，还需要安装Node.js和npm，并根据需要配置Sidekiq Pro和环境变量。最后，需要生成SSL证书，并使用`make local`启动Docker服务和Rails服务器。记得重置Elasticsearch索引并启动推送通知服务。
阅读更多
CircuitHub 是一家致力于革新快速电子原型设计的公司，已获得 Y Combinator 和 Google Ventures 等顶级投资机构 2000 万美元的融资。他们利用现代化技术栈构建了第一个自动化电子工厂“The Grid”，显著提升了小批量、高混电子组装的效率，其客户包括特斯拉、Meta 和 Zipline 等行业领导者。目前，CircuitHub 正在招募全栈机器人工程师，负责“The Grid”的运营和改进，这将是一个直接参与塑造自动化制造业未来，充满挑战和机遇的角色。
阅读更多
一位程序员五年来坚持使用协调世界时（UTC），彻底告别了时区转换的困扰。他发现，使用UTC不仅简化了时间管理，还提高了工作效率，即使频繁跨时区旅行也从未错过会议或航班。虽然需要一些时间适应，并偶尔解释手机显示的“错误时间”，但这种方法带来的便利性远大于不便。文章详细讲述了他的实验过程和经验，并建议读者尝试使用UTC，掌控自己的时间。
阅读更多
在中国杭州，由Unitree公司举办了世界首届人形机器人格斗比赛。比赛中，身高约4英尺，重约77磅的Unitree G1机器人进行了一场激烈的格斗，由人类操控者通过遥控器和语音指令控制其出拳、踢腿等动作。这场比赛不仅是一场精彩的科技秀，更重要的是，它展现了中国机器人技术的快速发展，以及通过高压环境测试来优化机器人平衡性、运动性和耐用性的方法。未来，这项技术有望应用于工厂、医院甚至家庭等领域。
阅读更多
英国电费居高不下，并非仅仅因为电力批发价格。文章指出，网络建设成本和绿色能源补贴是主要推手。20年来英国电网投资停滞，如今急需扩张，导致网络成本飙升。此外，用于补贴可再生能源的合同将会持续增加电费，而过去的补贴政策，例如可再生能源义务和补贴家用光伏的政策，即使在可再生能源价格下降后也未及时调整，造成了巨大的长期成本。作者认为，未来降低电费的途径在于减少对电网的依赖或提高电网利用率。
阅读更多
在用户离开网站时可靠地向服务器发送数据一直是个挑战。传统的 `beforeunload` 事件结合 `fetch` 或 `XMLHttpRequest` 方法不可靠，因为浏览器可能为了用户体验而取消请求。JavaScript 的 Beacon API 提供了一种“即发即忘”的解决方案，浏览器无需等待响应即可立即执行 JavaScript，确保数据可靠发送。尽管 Beacon API 限制数据量且仅支持 POST 请求，但对于发送少量关键数据（如分析数据或页面离开事件）非常理想，并适用于任何需要可靠异步数据发送的场景，例如实时数据同步。
阅读更多