中国研制深海电缆切割器，引发全球关注
2025-03-24
中国公开展示了一种新型深海电缆切割器，能够切断全球最坚固的海底通信或电力电缆，其最大工作深度达4000米，超过现有海底通信基础设施的两倍。该设备由中国船舶科学研究中心及其下属的深海载人潜水器国家重点实验室研制，可用于民用打捞和海底采矿，但其军事用途引发担忧，尤其是在战略要地如关岛附近使用，可能破坏全球通信，加剧地缘政治紧张局势。
阅读更多
乙醇扩张的隐藏成本：加剧温室气体排放，加剧贫富差距
2025-06-14
一份新报告指出，乙醇产能扩张不仅加剧了温室气体排放，还未能惠及中西部社区，反而加剧了贫富差距。补贴流向少数大型农业企业，导致土地兼并加剧，小型农场难以生存。拟议中的新政策可能进一步扩大生产，加剧土地转换和温室气体排放。特朗普的减税法案更是加剧了这一问题，豁免了土地转换造成的排放计算。生物燃料行业协会对此未予回应，但业内人士辩称报告夸大了碳排放，并强调大豆燃料的经济贡献和就业机会。
阅读更多
科技
乙醇
超越异或技巧：用可逆布隆过滤器高效查找海量缺失ID
2025-07-18
本文介绍了一种名为可逆布隆过滤器（IBF）的数据结构，它能够高效地解决在海量数据中查找数千个缺失ID的问题。文章从简单的异或技巧出发，逐步解释了IBF的工作原理，并通过分区和迭代恢复等方法克服了传统异或技巧的局限性。IBF利用哈希函数将集合划分成多个部分，然后通过“剥离”算法迭代地恢复对称差集，从而高效地找到缺失的元素。文章还提供了一个Python实现，方便读者学习和实践。
阅读更多
开发
可逆布隆过滤器
ANT+无线协议的终结：蓝牙的胜利？
2025-01-04
长期以来，ANT+协议一直是运动科技领域的基石，确保了不同厂商设备之间的互通性。然而，欧盟新的无线电设备指令（EU RED）要求对个人信息进行加密，这将迫使ANT+进行重大改版，并破坏其向后兼容性。由于蓝牙的普及和缺乏其他厂商的支持，Garmin决定停止ANT+新标准的开发。虽然现有设备仍可正常工作，但这标志着ANT+时代的结束，运动科技行业将转向更加碎片化的私有协议生态。
阅读更多Gemini 2.5：Google AI 助理的重大飞跃
2025-05-20
Google在I/O大会上发布了Gemini 2.5的重大升级，包括更强大的Gemini 2.5 Pro和更快速的Gemini 2.5 Flash。Pro版本新增“Deep Think”模式，能够进行多重假设推理，在数学和编码基准测试中取得了令人印象深刻的成绩。Flash版本则在推理、多模态和代码方面都有显著提升，效率也更高。两者都增加了原生音频输出、文本转语音、思维摘要和思维预算等功能，支持多种语言和方言，并增强了与开源工具的集成。Google的目标是打造一个能够理解上下文、规划并采取行动的“通用AI助理”，Gemini 2.5正朝着这一目标迈进。
阅读更多
AI
Ecosia：永不盈利，只为种树
2025-03-10
Ecosia创始人Christian Kroll承诺永不卖掉公司，也不从中获利，将公司转型为“管家式所有制公司”，所有股份不得以盈利为目的出售，也不得从中提取利润。这一举动旨在最大化植树数量，而非利润，为环保事业贡献力量，并呼吁更多企业效仿，以社会意义而非股东价值最大化驱动发展。
阅读更多
创业
企业社会责任
Claude操控Elektron Digitone合成器：AI音乐制作新纪元
2025-03-28
一个名为Digitone MCP的服务器项目允许Claude等兼容MCP的大型语言模型通过MIDI与Elektron Digitone合成器互动并控制它。目前仅支持Wavetone音源，未来将添加更多。该项目使用Python编写，需要安装uv包和Claude Desktop应用。通过在`claude_desktop_config.json`文件中配置MCP服务器，即可让Claude实时控制Digitone合成器，实现AI辅助音乐创作。该库采用面向对象架构，包含基础控制器、专用控制器、MCP工具和MIDI接口，并利用FastMCP、Pydantic和mido等库保证效率和稳定性。
阅读更多开源macOS生产力工具Orange Intelligence：超越Apple Intelligence
2025-01-26
Orange Intelligence 是一款强大的开源 macOS 生产力工具，旨在超越 Apple Intelligence 的局限性。它采用优雅的浮动窗口界面，允许用户在任何应用程序中无缝捕获、处理和替换文本。 Orange Intelligence 支持自定义 Python 函数，可以集成大型语言模型（LLM）如 OpenAI 或本地 LLaMA，构建复杂 Agent 系统。该项目使用 Python、PyQt6 和 Applescript 开发，并提供丰富的自定义功能，极大地提升了开发人员、研究人员和 AI 爱好者的工作效率。
阅读更多
开发
AI不会终结软件行业：别听那些骗子
2025-01-24
近期，许多人声称AI将取代软件开发者。但作者认为这是无稽之谈，软件开发的黄金时代才刚刚开始。AI工具虽然提升了开发效率（Jevons悖论），但这会解锁更多项目，而非减少工作岗位。即使AI能胜任部分工作，但软件开发并非只是写代码，它还包含沟通、设计、系统架构等，这些都需要人类参与。此外，AI的计算成本和应用范围限制了其取代人类的可能性。总而言之，AI将加速技术进步，带来经济增长，创造更多机会，软件开发者需要做的，是拥抱AI，学习新的工具和方法，不断提升自身技能。
阅读更多
开发
CSIRO水安全科学地图：AI驱动的开放获取研究可视化
2024-12-18
CSIRO发布了“开放水安全科学地图”，这是一个互动地图，通过AI技术可视化了自2010年以来CSIRO水安全项目公开发表的论文的地理分布。该地图目前为3个月试用版，可能存在偏差，需谨慎使用。用户可以查看研究的演变，点击论文查看详细信息，包括作者和全文链接。该项目展示了AI在解决环境科学问题上的创新应用。
阅读更多
科技
水安全
TimeMap.org：世界历史地图集项目
2024-12-12
TimeMap.org是一个世界历史地图集项目，它允许用户创建和分享基于时间线的世界地图。该项目拥有活跃的社区，定期发布新闻和更新，并提供移动应用程序方便用户使用。用户可以探索不同地区的各种历史地图，并深入研究不同时期的历史事件。
阅读更多GitHub Pages静态网站生成器SkunkHTML上线
2024-12-27
SkunkHTML是一个基于GitHub Actions的静态网站生成器，它允许用户使用Markdown文件快速搭建个人博客或网站，并自动部署到GitHub Pages。只需将Markdown文件上传到`/markdown-blog/`文件夹，GitHub Actions将自动触发构建流程，将Markdown转换为HTML，并更新GitHub Pages。SkunkHTML支持Giscus评论系统，并提供详细的文档和示例。项目完全开源，用户可直接在GitHub上fork使用，无需本地下载。
阅读更多
开发
算法与工人权力：逆向人机协作的崛起与反击
2025-05-30
本文探讨了“鸡化”（指剥削性工作安排）和“逆向人机协作”（AI主导，人为附属）在现代劳工中的融合。文章以送餐员和电商司机为例，揭示了算法如何操纵工人，隐瞒实际收入，并通过监控手段加强控制。面对这种新型剥削，工人组织正在通过开发反算法应用（如Para），揭露算法的不透明性，并组织集体行动（如#DECLINENOW运动）来争取权力。此外，一些倡议通过逆向工程算法，增强工人的透明度和自主性，例如创建“图愈”应用，以提升送货司机的自主权。最终，作者呼吁劳工团结，利用科技手段对抗算法控制，重建工人权力。
阅读更多在低配硬件上高效编程：我的终端工作流
2025-04-13
作者分享了如何在配置低的硬件（例如Intel Celeron N4000和Intel Atom x5-Z8350处理器）上高效编程的经验。秘诀在于：使用轻量级的Linux发行版（作者使用Arch Linux），搭配i3wm等轻量级窗口管理器，以及Neovim等终端文本编辑器和Alacritty终端。这种组合不仅资源占用低，而且在不同机器上具有良好的可移植性，即使在低配或过时的硬件上也能提供舒适的编程体验。此外，作者提倡轻量级编程理念，尽量减少依赖项，从而提高编译速度和二进制文件大小。
阅读更多
开发
TwoFold：让文本文件像动态文件一样
2025-05-14
TwoFold是一个命令行工具，它能让纯文本文件像动态文件一样工作。它结合了文本扩展器和模板引擎的功能，灵感源于Emacs Org-mode、Python Jupyter Notebooks和React JS。TwoFold通过处理文本文件，识别所有类似LISP/XML的标签，并将它们转换成有用的输出。它兼容XML和HTML文档，并且可以自定义标签标记。它可以监听文件的变化，允许在同一文件和位置进行实时协作，例如验证信息、计算统计数据或检查拼写错误。TwoFold支持多种文件类型，例如.txt、Markdown、Emacs Org、reStructured Text、HTML、XML和源代码文件，但不支持二进制文件。它使用Bun运行，用户可以轻松编写自己的标签并加载它们。
阅读更多
开发
60分钟探秘：前NSA雇员重返门威斯山基地
2024-12-24
前美国国家安全局（NSA）雇员玛格丽特·纽瑟姆受《60分钟》节目组邀请，重返位于英国的门威斯山监听站。时隔多年，她惊讶地发现基地规模已远超当年，并与摄制组一起，冒着被捕的风险，靠近基地进行拍摄和采访。纽瑟姆向记者详细讲述了她在基地工作的经历，以及她对基地现状的观察，这段经历充满了紧张刺激和冒险，也揭示了这个神秘监听站的巨大规模和影响力。
阅读更多Legalyze.ai：AI赋能法律，高效处理医疗记录
2025-01-24
Legalyze.ai 是一款利用人工智能自动生成医疗时间线和摘要的法律科技工具。它能从海量医疗记录中提取关键信息，帮助律师事务所大幅缩短医疗记录审查时间，从几天缩短到几小时甚至几分钟。该平台支持多种文件格式，并已通过外部安全审计。此外，它还提供与实践管理系统集成、文档起草和AI文档问答等功能，显著提高律师的工作效率，最终帮助律师赢得更多案件。
阅读更多
科技
闪电般快速的文件管理器：自定义面板、标签页和强大的搜索功能
2025-02-18
这款文件管理器拥有可自定义的面板和标签页布局，支持拖放操作，让你轻松管理文件。毫秒级搜索功能可浏览整个硬盘，模糊搜索和文件扩展名过滤功能更提升了效率。此外，它还提供文件内容预览、批量重命名、快速访问常用路径、命令面板和自定义快捷键、上下文菜单以及自定义外观等功能，极大提升了文件管理效率。
阅读更多
开发
特朗普关税重创机械键盘厂商：Qwertykeys暂停美国发货
2025-02-06
由于特朗普政府对中国商品征收的关税生效，机械键盘公司Qwertykeys暂停了所有发往美国的货物。该公司表示，DHL现在要求预付50%的申报产品价值作为关税押金，外加每包裹21美元的处理费，这使得从中国运往美国的键盘价格增加了45%，令其无法承受。Qwertykeys计划暂停发货72小时，期间将与DHL和其他物流供应商协商，以寻求更公平的关税处理方案。同时，由于美国邮政服务此前暂停接收来自中国的包裹（现已恢复），Qwertykeys也暂时无法向客户发送更换部件。
阅读更多
硬件
特朗普政府叫停纸质支票，全面转向电子支付
2025-03-31
美国总统特朗普签署行政命令，从9月30日起，美国财政部将停止发行纸质支票，包括税款退款、供应商付款、福利金支付和政府间转移支付等。此举旨在打击浪费、欺诈和滥用行为，提高效率。白宫指出，纸质支票丢失、被盗、无法送达或被篡改的概率是电子转账的16倍，且维持纸质支票处理基础设施的成本在2024年高达6.57亿美元。虽然纸质支票使用率持续下降，但支票欺诈却有所上升。美国银行家协会对此表示欢迎，并鼓励消费者使用电子支付。政府将为无法使用银行或电子支付系统的人群、紧急付款、执法活动等特殊情况提供例外安排。
阅读更多
科技
电子支付
MIT研发出新型机器人昆虫，为机器人授粉铺平道路
2025-01-21
麻省理工学院的研究人员开发了一种用于人工授粉的机器人昆虫，为未来完全室内的农场奠定了基础。这款机器人栩栩如生的扑动翅膀模仿了自然界的昆虫，使其重量不到一克。这款灵活耐用的新型机器人代表了小型机器人技术的一项重大进步。设想中的室内农场将利用多层仓库种植水果和蔬菜，最大限度地提高每英亩的产量，同时通过受控的闭环系统最大限度地减少对环境的影响。在这种情况下，机器人昆虫将栖息在机械蜂箱中，并成群结队地部署进行同步授粉任务。然而，目前正在开发的机器人昆虫在速度、机动性和耐力方面仍然无法与自然蜜蜂相匹敌。
阅读更多使用BCC工具追踪Linux内核函数解决测试失败难题
2025-04-13
作者在修补开源项目时，遇到测试间歇性失败的问题。通过BCC工具中的`trace`程序，作者监控了内核函数`touch_atime`的调用，最终发现是文本编辑器的后台线程扫描项目文件导致文件访问时间改变，从而引发测试失败。这个案例生动地展现了BCC工具在Linux内核调试中的强大功能，以及深入理解系统行为的重要性。
阅读更多
开发
BCC工具
LogTape：为JavaScript库量身定制的日志记录方案
2025-06-23
JavaScript库的日志记录一直是个难题：既要提供调试功能，又要尊重用户的选择。LogTape 提供了一种独特的解决方案，它以“库优先”的设计理念，在用户未配置日志的情况下，不会产生任何输出或副作用。只有当用户显式配置后，LogTape 才会生效，并且所有 LogTape 启用库都可通过统一配置系统管理。它零依赖，支持 ESM 和 CommonJS，在各种运行环境中都能一致工作，并具有出色的性能。LogTape 旨在为开发者提供更灵活、更轻量级的日志记录方案，同时尊重用户现有日志系统。
阅读更多
开发
库开发
reMarkable 2上的AI助手：Ghostwriter
2025-02-08
Ghostwriter是一个运行在reMarkable 2上的AI助手，它能够根据手写或屏幕上的提示，通过OpenAI、Anthropic和Google Gemini等模型生成文本或图像回复。开发者通过不断迭代，完善了手写识别、图像生成、虚拟键盘等功能，并实现了对不同模型和API的兼容。目前，Ghostwriter支持多种模式，包括文本辅助和绘图模式，并正在开发更强大的评估系统和更丰富的工具，以提升用户体验。
阅读更多
开发
别再沉迷「效率神器」了，高效的关键是「做」
2025-01-17
本文探讨了生产力工具的利弊。作者认为，虽然极简主义的「埋头苦干」方法对某些人有效，但对大多数人来说，一个个性化的系统才能真正提升效率。作者以自身经历为例，说明了建立并使用适合自身需求的系统的重要性，并强调了不同系统之间风格的多样性，以及互相借鉴的价值。最终，作者认为，无论系统多么复杂或简单，关键在于找到适合自己的方法，并付诸行动。
阅读更多
杂项
arXivLabs：与社区合作者的实验性项目
2025-01-31
arXivLabs是一个允许合作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与坚持这些价值观的合作伙伴合作。如有想法能为arXiv社区增值，请进一步了解arXivLabs。
阅读更多
开发
社区合作
全球数据筛选器：自定义你的搜索
2025-05-28
这是一个强大的数据筛选工具，允许用户根据国家、语言和更新时间等参数自定义搜索结果。用户可以从众多国家和语言选项中进行选择，并指定更新时间的范围，从而精准地获取所需信息。
阅读更多
杂项
数据筛选
2024年度最热门软件工程演讲Top 100
2025-02-12
这份榜单汇集了2024年全球几乎所有软件工程大会上观看次数最多的100场演讲。从大型语言模型的现实应用到Rust和Java的高性能技巧，再到现代Web开发和可靠性工程的最佳实践，涵盖主题广泛。其中，Jodie Burchell关于大型语言模型的演讲，以及Martin Thwaites关于OpenTelemetry的演讲，观看次数均超过13万次，位列榜单前茅。这份榜单为软件工程师们提供了学习和提升的宝贵资源。
阅读更多
开发
GOTO大会
LLM辅助编程：效率提升的代价是智力退化？
2025-03-16
作者分享了长期使用LLM辅助编程工具（如GitHub Copilot）的亲身经历，指出虽然LLM提高了编程效率，但也可能导致程序员对基本知识的遗忘和对工具的过度依赖，最终降低自身解决问题的能力。作者建议，应将LLM视为学习工具而非代码生成器，批判性地对待其输出结果，并注重理解底层原理，才能真正受益。
阅读更多
(eli.cx)
开发
程序员技能
用球面嵌入构建3D网格：一种新颖的表面重建方法
2025-01-31
本文探讨了一种新颖的3D模型表面重建方法——球面嵌入。该方法通过将点云投影到球面上，再利用凸包构建网格，解决传统方法在处理复杂形状和缺失数据时可能出现的孔洞问题。虽然该方法在处理Stanford Bunny模型时展现了一定的优势，尤其是在保证网格完整性方面，但在效率和精度上仍有待提高，与Poisson surface reconstruction等传统方法相比，需要更多迭代和参数微调才能获得理想结果。文章详细介绍了算法实现过程，并通过代码示例展示了不同参数下算法的性能。
阅读更多