SIOF是一个轻量级的R7RS Scheme编程语言解释器，其全部代码包含在一个C源文件中。无需依赖任何外部库或特殊的构建工具，只需使用C编译器编译即可运行。它支持垃圾回收、尾递归、call/cc等特性，但同时也存在一些限制，例如不支持大数、Unicode和某些R7RS特性。SIOF的核心代码最初使用#F语言编写，其编译器和宏扩展器分别源自Marc Feeley和Al Petrofsky的工作。
阅读更多
许多工程师对Bash又爱又恨。本文作者分享了其构建更强大Bash日志系统的经验，克服了Bash在错误处理和数据结构方面的不足。通过自定义`log::info`、`log::error`等函数，结合`BASH_SOURCE`、`FUNCNAME`、`BASH_LINENO`等内置变量，实现了精细的日志记录和堆栈追踪功能，有效提升了大型Bash脚本的调试效率。这套系统不仅提供了详细的错误信息和位置，还避免了Bash内置选项的不一致性问题，为构建更健壮的Bash脚本提供了新的思路。
阅读更多
英剧《窥视》以其独特的视角展现了主角Mark和Jez的邪恶。他们并非反派，而是映射出每个人内心深处自卑、懦弱和逃避的一面。剧集通过第一人称视角和内心独白，将观众带入主角的视角，感受他们的挣扎和困境，从而更深刻地体会到他们行为背后的动机，以及他们如何将内心的自卑转化为对自身和他人的伤害。剧中展现的“邪恶的平庸化”，并非源于恶意，而是源于懦弱、逃避和自私，这才是其最可怕之处。
阅读更多
资深程序员antirez分享了他一年半来使用Gemini 2.5 PRO和Claude Opus等大型语言模型辅助编程的经验。他认为，目前的LLM更适合作为程序员的强大助手，而非独立完成项目的工具。通过清晰地描述问题，并进行有效的沟通和迭代，LLM可以帮助程序员消除bug，快速探索想法，进行结对设计，甚至学习掌握超出自身专业领域的技术。然而，antirez强调，要充分发挥LLM的潜力，需要提供足够的上下文信息，选择合适的模型，并始终保持对代码的控制，避免依赖自动化代理。只有这样，才能保证代码质量，并最大限度地提高效率。
阅读更多
OpenBSD 最近进行了一次重大的系统更新，将标准输入输出库中 FILE 对象的内部结构设为不透明。这意味着程序将无法再直接访问 FILE 对象的内部结构。这次更改影响广泛，涉及 libc 及其依赖的许多库，包括 libcrypto、libtls 和 libssl 等。为了平滑过渡，一些辅助符号暂时保留，但未来将被删除。建议开发者使用快照升级来避免潜在问题。
阅读更多
AMD RDNA 4 架构的 GPU 通过第三代矩阵核心提升了通用矩阵乘法 (GEMM) 运算性能。本文深入探讨了如何在 HIP 内核中使用 RDNA 4 GPU 的矩阵核心，特别是利用 WMMA (Wave Matrix Multiply Accumulate) 内核进行矩阵运算的优化技巧。文章详细介绍了 WMMA 的工作原理、新的内建函数 `__builtin_amdgcn_wmma_f32_16x16x16_f16_w32_gfx12` 的使用方法以及与 RDNA 3 架构的差异，并提供了一个简单的多层感知器 (MLP) 实现示例，展示如何在 RDNA 4 上高效执行矩阵运算。
阅读更多
本文介绍了一种使用SVG滤镜模拟手绘动画中常见“沸腾”效果的方法。这种效果通过对图像边缘应用轻微的扭曲动画来实现，使其看起来像在微微抖动。文章详细解释了如何使用feTurbulence和feDisplacementMap滤镜生成噪声纹理并将其应用于图像，以及如何使用JavaScript动画化滤镜参数来创建“沸腾”效果。文中还提供了交互式演示，允许用户调整参数并观察效果变化。最终，作者成功地利用简单的SVG滤镜和JavaScript代码，在网页上模拟出了逼真的手绘动画效果。
阅读更多
一项研究利用激光脉冲选择性刺激视网膜上的视锥细胞，声称可以让人们看到前所未有的色彩。尽管研究报告缺乏具体的受试者体验描述，但一个基于光学错觉的动画演示似乎也能产生类似效果。该动画通过饱和红色光来抑制红色敏感视锥细胞，从而突出绿色敏感视锥细胞的活动，产生一种强烈的蓝绿色。然而，由于视锥细胞光谱的重叠以及屏幕显示技术的限制，这种方法能否展现出超越人类正常色域的色彩，仍存在疑问。
阅读更多
XMLUI 是一款基于 XML 标记的 Web 应用构建框架，它简化了 React 和 CSS 的使用，让非专业开发者也能轻松创建交互式 Web 应用。通过预构建的组件和简单的 XML 语法，开发者可以快速构建应用程序，并利用其内置的响应式数据绑定和主题系统，无需深入了解 React 或 CSS。XMLUI 还支持自定义组件和与大型语言模型 (LLM) 的协同开发，进一步降低了开发门槛，让更多人能够参与到 Web 应用的开发中。
阅读更多
XBOW团队通过一种巧妙的方法——“模型合金”，显著提升了其漏洞检测代理的性能。该方法将不同LLM（如Google Gemini和Anthropic Sonnet）的优势结合，在一个单一对话线程中交替使用，从而突破了单个模型的局限。实验结果表明，这种“合金”策略能够将成功率提升至55%以上，远超单个模型的表现。这项技术并非局限于网络安全领域，对各种需要在庞大搜索空间中寻找解决方案的AI代理任务都具有借鉴意义。
阅读更多
受够了Daikin空调依赖云端且缓慢的WiFi控制？一个开源项目提供了解决方案！该项目开发了一个本地控制模块，支持Web界面、MQTT和Home Assistant集成，无需云连接。该模块的PCB设计已开源，并在Tindie和亚马逊英国等平台有售。项目采用GPL许可，允许分叉和贡献，但禁止使用项目名称和商标进行商业销售。该模块兼容多种Daikin空调型号，并具有自动协议检测、远程监控和日志记录等功能。
阅读更多
软件工程中的日志记录策略至关重要。本文作者论证了在处理大量事件时，基于时间的日志记录（例如，每 X 秒记录一次）优于基于计数的日志记录（例如，每 X 条消息记录一次）。基于计数的日志记录在不同负载下日志频率波动大，可能导致日志过少或过多。而基于时间的日志记录能保持稳定的日志速率，避免因日志过多而降低系统性能或因日志过少而影响可观察性。作者通过伪代码示例和利弊分析，有力地支持了其观点，为高效的日志记录策略提供了新的思路。
阅读更多
connmap是一个X11桌面小工具，可以在地图上显示当前网络连接的地理位置。它支持Wayland，并且易于安装和使用。只需克隆仓库、安装依赖项并运行可执行文件即可。用户可以自定义地图大小、位置和更新间隔。目前仅支持IPv4，并在i3wm环境下测试通过。
阅读更多
“动态规划”一词在算法学习中常常令人困惑。“动态”并非指其变化性，而是指“编程”的计划性含义，源于上世纪50年代工程师规划建筑项目的“流程安排”。动态规划在计算机科学中指解决问题的子步骤顺序规划，例如计算斐波那契数列，其“程序”即为按依赖顺序计算fib(2)到fib(10)的步骤。这可以自顶向下或自底向上规划，最终计划一致，皆为动态规划。Richard Bellman创造此名词时，为了避开国防部长对“数学研究”的厌恶，巧妙地选择了“动态编程”，因“动态”一词无法用于贬义。
阅读更多
克里斯蒂娜·德·皮赞的著作《智者查理五世国王的事迹与良善风俗》为我们揭开了14世纪法国国王查理五世日常生活的神秘面纱。文中详细描述了国王的一天：从早上的祈祷、听取民众诉求，到处理国事、享用简朴午餐，再到下午接见使节、处理公务，最后在花园中休憩。查理五世的一天体现了中世纪君主的责任与享乐的平衡，以及他通过公开露面来展现公正形象的策略。
阅读更多
作者讲述了对自家孩子Toniebox玩具的逆向工程经历。Toniebox是一款使用NFC标签播放音频的儿童玩具，但它依赖云服务，并收集大量用户数据。作者通过拆解设备提取SD卡备份音频文件，并介绍了社区开发的工具teddyBench，用于处理Toniebox的元数据和音频文件。文章探讨了Toniebox的隐私问题，以及社区对该设备进行的各种硬件和软件修改，例如自定义固件、中间人攻击和硬件改装，以增强功能或保护隐私。最终，作者表达了对Toniebox的复杂情感，既欣赏其对孩子的吸引力，又担忧其隐私风险。
阅读更多
三星电子与约翰·霍普金斯大学应用物理实验室合作，在《自然通讯》发表论文，介绍了其研发的下一代高效薄膜半导体珀耳帖制冷技术。该技术利用纳米工程技术，实现了无制冷剂制冷，效率比传统设备高约75%。这项技术已应用于三星Bespoke AI混合冰箱，通过与压缩机结合，智能切换制冷方式，降低能耗并提高温度控制精度，未来有望实现全无制冷剂冰箱。
阅读更多
尽管2025年被普遍认为是AI智能体的元年，但一位AI系统构建者却对此持谨慎态度。他基于一年多来构建十多个实际生产环境中运行的AI智能体系统的经验，指出当前的炒作忽略了三个关键现实：多步骤工作流程中的错误率呈指数级增长；上下文窗口导致二次成本增长；真正的挑战在于设计智能体能够有效使用的工具和反馈系统。他认为成功的AI智能体系统并非完全自主，而是将AI与人类控制和传统软件工程相结合，在明确边界内运行，并具备可验证的操作和回滚机制。未来，那些构建受限、特定领域工具的团队将会胜出，而非追求完全自主的方案。
阅读更多
英国罗马道路研究协会（RRRA）宣布了2024/25年度一系列关于罗马道路的线上讲座，主题涵盖苏格兰、英格兰和威尔士的罗马道路考古学。同时，协会也宣布正在开发一个全新的网站，以更现代化的风格和更好的功能来取代现有的网站。
阅读更多
当今社会充斥着廉价、易损的产品，从快时尚服装到短暂耐用的家用电器，引发人们对产品质量下降的担忧。文章探讨了这种现象背后的原因，并非仅仅是企业追求利润最大化，更与消费者的观念转变、社会经济不平等以及技术进步的负面影响有关。快时尚的盛行导致人们追求新奇而非耐用，而自动化和人工智能在提升效率的同时，也降低了服务质量和真实信息的可靠性。文章指出，我们需要反思消费模式，追求更可持续和负责任的消费选择。
阅读更多
GitHub代码审查中，批量应用代码建议功能存在诸多限制，例如：建议需有代码修改、不能应用于已关闭的Pull Request、部分修改集、单行多建议、已应用或已解决的建议、待审核的建议、多行注释以及已排队合并的Pull Request等。此外，还可能出现一些暂时无法应用建议的情况。
阅读更多
来自西北大学、波士顿大学和加州大学伯克利分校的科学家们实现了突破性进展：他们将微型光子量子系统集成到传统的电子芯片中。这个仅1平方毫米的芯片不仅能够产生量子光，还内置了智能电子系统来稳定量子光，从而可靠地产生用于光量子通信、传感和处理的单光子对。该芯片由商业半导体工厂制造，具有大规模生产潜力，标志着可扩展量子光子系统发展的重要一步，为量子计算、传感和通信应用打开了大门。
阅读更多
GitHub代码审查中，批量应用代码建议功能存在诸多限制：无法应用于无代码更改的建议、已关闭的Pull Request、部分代码变更视图、单行多建议、已删除行、已应用或已解决的建议、待审阅建议、多行注释以及正在合并的Pull Request。此外，还存在一些未知原因导致的“此刻无法执行该操作”的错误。
阅读更多
Twitter联合创始人Jack Dorsey投资1000万美元，通过名为“andOtherStuff”的集体，资助开源项目和工具，旨在改变社交媒体格局。该团队包括Dorsey，前Twitter员工，以及来自Cashu和Truth Social的成员。他们关注Nostr等去中心化协议，并开发了Shakespeare（基于Nostr的应用构建平台）、heynow（语音留言应用）等应用。Dorsey批评了传统社交媒体的商业模式，认为其受制于广告商，并倡导更开放、去中心化的社交媒体生态。他与前Twitter员工Henshaw-Plath合作推出了播客“revolution.social”，探讨社交媒体的未来。
阅读更多
本文回顾了2025年大型语言模型（LLM）的架构发展，重点关注DeepSeek、OLMo、Gemma、Mistral和Qwen等开源模型。DeepSeek V3/R1通过多头潜在注意力（MLA）和混合专家（MoE）技术提升计算效率；OLMo 2则注重规范化层（RMSNorm）的放置，采用后规范化（Post-Norm）和QK-Norm；Gemma 3利用滑动窗口注意力降低内存需求；Mistral Small 3.1在性能和速度上取得平衡；Qwen 3提供密集型和MoE两种模型，满足不同需求；SmolLM3以其30亿参数规模和NoPE技术（无位置嵌入）而引人注目；最后，Kimi 2凭借其万亿参数规模和Muon优化器成为亮点。这些模型在注意力机制、规范化、MoE和优化器等方面进行了创新，展现了LLM架构的多样性和持续演进。
阅读更多
这篇论文提出了一种名为Agora协议的技术方案，旨在解决威权政权通过分裂反对派和压制民众而造成的社会分裂问题。该协议利用Telegram平台，创建一个安全匿名、多阶段的协商流程，让公民就国家重要议题进行讨论和投票。通过优胜劣汰的筛选机制，最终形成一个透明且所有参与者都可见的全国共识。据称，该协议效率极高，可在六周内将一亿人口的意见浓缩成一百人的核心群体。
阅读更多
一项新的研究表明，利用全球数百万部Android智能手机的内置加速器，可以创建一个有效的地震预警系统。该系统名为Android地震预警（AEA），其准确性与传统地震网络相当，能够检测到全球范围内的地震活动，并向用户发出警报。即使在缺乏传统基础设施的地区，AEA也能发挥作用，为数百万人口提供宝贵的预警时间，从而降低地震造成的损失。该系统利用地震波传播速度的差异，在破坏性地震波到达之前发出警报，为人们争取宝贵的自救时间。
阅读更多
CLJ-AGI是一个新的通用人工智能（AGI）基准测试，旨在评估AI系统能否增强Clojure编程语言。该测试要求AI系统添加诸如优先使用transducer、消除或可选使用惰性求值、广泛使用协议、将常用数据结构设计为CRDT等特性。如果AI系统能够在保持与现有Clojure代码兼容性的前提下完成这些增强，将获得丰厚奖励。这标志着AGI的一个重要里程碑。
阅读更多
一位在神经AI领域攻读博士学位的计算机工程师，用了9年Arch Linux后，转向了新款MacBook Pro。文中详细描述了他如何在一天内配置好新机器，尽可能复现原有的工作流程。他使用了Nix作为包管理器，AeroSpace窗口管理器和Raycast启动器，并保留了zsh shell和Zed编辑器等熟悉的工具。虽然macOS的包管理不如Arch Linux方便，但他为了获得更稳定的硬件和更好的用户体验，最终选择了妥协。
阅读更多
一篇基于数据的文章分析了美国民主的现状。数据显示，美国政治资金高度集中于少数富豪，司法系统面临分裂，政府机构被政治力量重塑，选民投票率低迷，尤其民主党支持者投票率远低于共和党。然而，数据也展现了希望：大量民主党潜在选民未参与投票，历史表明公民运动能有效对抗威权，追究领导人责任在健康民主中是常态。文章呼吁关注选民动员，而非仅仅关注意识形态的温和，并强调公民参与的重要性。
阅读更多