可扩展的智能体平台：定义扩展和结构化输出
2025-03-16
一个名为Agentic的平台允许用户自定义扩展，并通过Pydantic数据模型定义输出模式。这意味着你可以让聊天机器人生成结构化的输出，例如，代码示例中展示了如何使用Pydantic定义一个时间输出模型，从而让机器人输出日期和时间信息。这为构建更灵活和可控的AI应用提供了可能性。
阅读更多
开发
使用React Relay和Vite实现流式SSR
2025-01-17
Aqora团队分享了他们使用React Relay和Vite实现流式服务器端渲染(SSR)的经验。文章详细介绍了在整合React Router和Relay过程中遇到的挑战，例如Suspense与SSR的交互、Relay store的数据流以及元标签的处理等。他们通过使用`createStaticHandler`、`renderToPipeableStream`、`preloadQuery`和`react-helmet-async`等技术解决了这些问题，实现了高效的SSR，提升了SEO和性能。文章还提供了关键代码片段和架构决策，为开发者提供了宝贵的实践经验。
阅读更多
(aqora.io)
GitHub Actions 的安全隐患：可变标签的风险
2025-03-25
近日，一个名为 tj-actions/changed-files 的 GitHub Action 被发现存在安全漏洞，攻击者可通过修改其可变 Git 标签来注入恶意代码，泄露用户的构建日志中的密钥。文章作者分享了一个用于检查自身 GitHub Actions 工作流中使用了哪些 Action 的 shell 脚本，并探讨了使用固定提交 ID 来增强安全性的方法，以及如何评估不同 Action 提供商的可信度。作者建议优先选择来自大型组织的 Action，或自行编写脚本替代不信任的 Action。
阅读更多
开发
微软施压特朗普政府放宽AI芯片出口限制
2025-02-27
微软正向特朗普政府施压，要求放松并简化新的AI芯片出口管制制度。该制度限制了尖端美国人工智能芯片向全球大部分地区的销售。微软在一篇博文中呼吁放宽对用于训练AI模型的数据中心芯片的限制，使其不再适用于包括印度、瑞士和以色列在内的一组友好国家。这些国家属于该出口管制系统的三级体系中的第二级。
阅读更多
科技
SUS HDL：一种更易于理解的硬件描述语言
2025-07-07
SUS HDL 是一种新型硬件描述语言 (HDL)，它致力于简化硬件设计流程。不同于 Verilog 或 VHDL，SUS 拥有延迟计数功能，方便开发者处理时序和流水线；其编译器会跟踪硬件设计的各个方面，并在编辑器中显示，方便调试；并支持强大的元编程功能，可以生成查找表 (LUT)。SUS 的核心设计理念是保持简洁的语法，方便开发者直接构建网表，并能与传统综合工具兼容。虽然它要求硬件同步，但其易用性和强大的功能使其成为一个有潜力的替代方案。
阅读更多
开发
SUS
PhysicsForums：AI生成的帖子如何“杀死”互联网？
2025-01-24
一篇调查文章揭露了科学论坛PhysicsForums中大量AI生成的虚假用户帖子的现象。这些帖子被追溯到过去，混淆了真实用户的内容，反映了“死互联网理论”——即互联网上大部分内容并非人类创作——的潜在危机。文章分析了AI生成内容对论坛真实性的破坏，以及网站为了生存而做出的妥协，引发了关于互联网未来和人机交互的深刻思考。
阅读更多
科技
Qwen2.5-1M：百万级上下文长度的开源大模型
2025-01-26
Qwen团队发布了支持百万级上下文长度的开源大模型Qwen2.5-1M，包含7B和14B参数两个版本。该模型在长文本任务中显著优于之前的128K版本，甚至在某些任务上超越了GPT-4o-mini。为了高效部署，团队还开源了基于vLLM的推理框架，利用稀疏注意力机制将推理速度提升3到7倍。Qwen2.5-1M的训练采用了渐进式方法，并结合了双块注意力（DCA）和稀疏注意力等技术，有效处理长文本信息。
阅读更多
AI
百万上下文
FBI无证搜索违宪：法院裁决引发702条款改革呼声
2025-01-24
美国法院裁定，联邦调查局(FBI)在未取得搜查令的情况下搜索通信信息违反了第四修正案。此案涉及根据《外国情报监视法》(FISA)第702条收集的数据，FBI在2021年进行了340万次此类搜索。法官裁定，政府不能仅仅因为信息已被收集就绕过搜查令要求，但同时也指出，在国家安全紧急情况下，可能存在例外情况。此裁决引发了对702条款的改革呼声，数字权利组织呼吁国会增加搜查令要求，以保护公民的隐私权。
阅读更多
科技
MuJoCo Playground：简化机器人学习的开源框架
2025-01-16
MuJoCo Playground是一个完全开源的机器人学习框架，基于MJX构建，旨在简化仿真、训练和从模拟到现实的转移。只需简单的安装(pip install playground)，研究人员就能在单GPU上几分钟内训练策略。它支持多种机器人平台，包括四足机器人、人形机器人、灵巧手和机械臂，并支持基于状态和像素输入的零样本模拟到现实转移。这得益于其集成的物理引擎、批量渲染器和训练环境。MuJoCo Playground是社区的共同努力，希望它能为研究人员和开发者带来价值。
阅读更多萨尔瓦多撤销比特币法定货币地位
2025-02-09
四年后，萨尔瓦多立法议会投票修改了比特币法，取消了比特币的法定货币地位，但仍为合法支付手段。此举是与国际货币基金组织（IMF）达成14亿美元贷款协议的一部分，旨在降低比特币带来的金融风险。尽管如此，萨尔瓦多政府仍表示将继续持有比特币，并声称仍是“比特币国家”。
阅读更多
科技
IMF
Zasper：为数据科学打造的超强 IDE
2025-01-02
Zasper 是一款为数据科学设计的全新 IDE，它以高并发性、低内存占用和极速运行著称。它完美支持类似 REPL 的数据应用程序，例如 Jupyter Notebook。目前，Zasper 已在 Mac 系统上得到全面支持，并在 Linux 系统上提供有限支持。与 JupyterLab 相比，Zasper 的 RAM 和 CPU 占用率分别降低了 75%。该项目由 Prasun Anand 创建，旨在提供一个免费、开源且可在本地运行的解决方案，充分利用现代电脑的资源。
阅读更多
开发
共享Unix主机与云服务的博弈：一个老牌博主的迁移故事
2025-02-17
一位资深博主历经15年Dreamhost共享主机后，因其FastCGI支持不稳定而迁移至Mythic Beasts。文章探讨了共享Unix主机与云服务的优劣。作者认为，尽管云服务看似现代化，但缺乏开放协议和长期稳定性；而共享主机，虽然选择有限，但基于Unix系统的可编程性和可迁移性，更适合轻量级脚本和长期维护。作者对比了多个共享主机服务商，并最终推荐Mythic Beasts和OpalStack，因其对Unix系统的良好支持。
阅读更多
(oils.pub)
开发
肯尼迪遇刺案：数万页解密文件公开
2025-03-20
美国国家档案馆近日公布了数万页关于1963年肯尼迪总统遇刺案的解密文件，其中包括一份此前被大量涂黑的1961年备忘录，该备忘录详细披露了中央情报局（CIA）的活动，以及其与肯尼迪总统之间的紧张关系。此次解密文件还包含了CIA在墨西哥城窃听苏联和古巴外交设施的详细记录，以及对李·哈维·奥斯瓦尔德相关活动的监控信息。这些文件的公开，将进一步推动人们对肯尼迪遇刺案真相的探索，也引发了关于CIA角色和政府透明度的广泛讨论。
阅读更多伦敦警察暴力闯入贵格会教堂逮捕气候活动家
2025-03-30
伦敦警方出动20多名警员，强行破门进入一间贵格会教堂，逮捕了6名正在讨论气候变化和加沙问题的女性。这是贵格会历史上首次发生警察强行进入其礼拜场所的事件。这些女性当时正举行非暴力抗议活动的欢迎会，警方使用泰瑟枪将其逮捕，没收财物并搜查了她们的住所。此事件引发了对警方行为的强烈谴责。
阅读更多英国外科医生为何被称为“先生”？
2025-05-19
在英国，外科医生总是被称为“先生”，这与其他国家形成鲜明对比。这篇文章追溯了这一传统的起源，从18世纪外科医生缺乏正式资格，到19世纪皇家外科医学院的成立和“纯粹外科医生”的崛起。随着医疗体系的发展，这一称呼逐渐成为一种荣誉象征，但如今在医疗团队合作日益密切的背景下，这一传统是否应该继续存在，值得商榷。
阅读更多
杂项
httptap：Linux 系统下的 HTTP/HTTPS 请求监控工具
2025-02-03
httptap 是一款运行在 Linux 系统上的命令行工具，无需 root 权限即可监控任何程序发出的 HTTP 和 HTTPS 请求。它通过在独立的网络命名空间中运行目标程序，并拦截其网络流量来实现这一功能。httptap 使用 Go 语言编写，无需依赖，可直接运行。它能够显示请求的详细信息，包括 URL、HTTP 状态码、请求体和响应体等，并支持将数据导出为 HAR 文件。httptap 还支持 DoH（DNS over HTTPS），并能够处理 HTTP 重定向。
阅读更多
开发
Go语言实现的交互式Git添加工具
2025-05-30
这是一个用Go语言编写的Git交互式添加工具，它重现了`git add -i`和`git add -p`的功能，并增加了强大的新特性，例如全局过滤器（使用正则表达式过滤代码块）、自动分割代码块以及增强的搜索和导航功能。该工具可以作为Git命令安装，方便用户使用。它还包含全面的单元测试，确保了其稳定性和可靠性。
阅读更多
开发
颠覆40年猜想：新型哈希表速度远超预期
2025-02-10
剑桥大学的研究生Krapivin与纽约大学的Farach-Colton和Kuszmaul合作，推翻了计算机科学界长期以来被奉为圭臬的Yao猜想。他们设计了一种新型哈希表，其在最坏情况下查找元素的时间复杂度为(log x)²，远低于之前认为的最佳复杂度x。这项突破性研究成果，不仅解决了哈希表领域一个经典难题，也为数据存储效率带来了显著提升，引发了学术界的高度关注。
阅读更多
开发
极简主义者的窗口管理器：mwm
2025-07-25
mwm是一个仅20行代码的极简主义窗口管理器，摒弃了所有花哨的功能，例如鼠标控制、虚拟桌面和配置文件。它只提供启动应用、切换窗口和关闭窗口三个基本功能。作者认为现代软件过于臃肿，mwm旨在提供一个可修改、易于理解的小巧软件，体现了“自由软件”的真正意义。
阅读更多
开发
RDNA3 GPU上的FP32矩阵乘法优化：超越rocBLAS 60%
2025-03-28
本文详细介绍了如何在AMD RDNA3 GPU上编写优化的FP32矩阵乘法，其性能比rocBLAS快60%。作者通过迭代的方式，逐步优化了8个不同的内核，从简单的朴素实现到最终利用指令集级优化，大幅提升了性能。优化策略包括LDS平铺、寄存器平铺、全局内存双缓冲、LDS利用率优化以及指令集级VALU利用率优化和循环展开等。最终实现的内核性能超过了rocBLAS，达到了近50 TFLOPS。
阅读更多
开发
RDNA3
莫斯科的网络安全提案：披着合作外衣的战略陷阱
2025-03-15
本文揭露了俄罗斯在网络安全领域的战略欺骗。俄罗斯长期以来以国际协议为幌子，推动符合自身利益的议程，牺牲他国利益。其“信息安全”定义与西方的“网络安全”大相径庭，前者包含内容控制和言论审查，后者侧重技术层面。接受俄罗斯的框架将损害言论自由。历史先例表明，专制政权利用裁军谈判谋取私利。本文分析了俄罗斯自90年代以来的网络条约提案，指出其隐藏的障碍，以及与中国合作控制网络话语的企图。作者建议西方国家应保持警惕，坚持现有国际法，并通过加强合作和执行现有规范来应对网络威胁，而非签订与俄罗斯的具有约束力的条约。
阅读更多
科技
硬核字体排版：巧妙解决字体字距调整难题
2025-03-14
本文讲述了作者如何在一个具有垂直条纹背景的特殊字体中解决字距调整（Kerning）问题。传统方法GPOS无法适用，因为简单的调整会造成字母重叠。作者巧妙地利用GSUB替换功能，将字母拆分成左右两部分，并用自定义的连接符替换重叠部分，从而完美地解决了字距问题。这个过程依赖于Python脚本和fontTools及fontFeatures库的辅助。虽然目前字体尚未完善，但已成功解决了核心难题，为特殊字体设计提供了新的思路。
阅读更多
设计
AI智能体：学会像人类一样使用电脑
2025-02-06
R1-computer-use项目旨在训练一个AI智能体，使其能够像人类一样使用电脑，包括文件系统、网页浏览器和命令行等。该项目借鉴了DeepSeek-R1的强化学习技术，但不同于传统方法依赖硬编码验证器，它使用神经奖励模型来评估智能体的行为是否正确和有效。训练过程包含多个阶段，从专家演示到基于奖励模型的策略优化和微调，最终目标是创建一个安全可靠、能够完成复杂任务的AI智能体。
阅读更多
AI
计算机交互
布鲁塞尔陵墓的神秘光线：巧合还是设计？
2025-06-11
每年6月21日中午，一束光线穿透布鲁塞尔拉肯墓地一座陵墓的屋顶，形成一个光之心脏。这是否是刻意设计？陵墓的主人Louise Flignot和Léonce Evrard分别于1916年和1919年去世，陵墓直到1920年才建成。设计师Georges deLarabrie鲜为人知，设计图纸中也没有提到这个光之心脏。文章还提及了1625年去世的Sir Lawrence Tanfield墓碑上的诗歌，诗歌表达了妻子对丈夫的爱和思念。
阅读更多IRS斥巨资购买Nvidia超级AI计算机，旨在提高效率还是裁员？
2025-02-15
美国国税局（IRS）计划购买价值数百万美元的Nvidia SuperPod人工智能超级计算机集群，引发了人们对其用途的猜测。虽然官方说法是为了提高效率，处理复杂的机器学习工作负载，用于反欺诈和理解纳税人行为等，但此举正值特朗普政府试图利用人工智能精简政府机构之际，引发了人们对大规模裁员的担忧。此次采购可能与特朗普政府的“人工智能优先”议程有关，旨在用机器取代人工，减少政府人员数量。
阅读更多
科技
开源维护者的困境与有效的贡献方式
2025-03-10
一位开发者在Hacker News上发文，探讨了开源项目的维护难题。大型组织依赖开源项目节省成本却很少回馈，导致维护者不堪重负。文章指出，沟通不畅是主要问题：维护者缺乏清晰的贡献指南，开发者不知道如何有效帮助。作者建议维护者明确表达需求，例如是否接受PR，如何提交bug报告，以及是否接受资金支持，以提高效率，促进合作。
阅读更多
开发
助力英国科技创新：BBNs融资难题与解决方案
2025-06-20
英国先进研究与发明机构（ARIA）正在探索一种新型研发组织——BBNs（类似于专注型研究组织FROs，但更注重可持续性）。文章探讨了BBNs面临的融资难题，例如现金流问题、启动资金需求、风险资本需求等。作者提出了一种名为“研发贷款机构”的解决方案，并探讨了多种融资模式，例如基于收入的融资、低息贷款和循环贷款基金，以帮助BBNs获得持续发展，促进英国科技创新。
阅读更多
科技
研发组织
涅槃乐队《Nevermind》: 纯粹的Major和弦的意外成功
2025-05-04
1991年，涅槃乐队的《Nevermind》横空出世，成为意外的商业和评论上的成功。其粗粝的吉他声和毫不掩饰的音色征服了听众。30多年后，我们重新审视这张专辑，发现其成功的秘诀在于：几乎全用Major和弦，摒弃了小和弦以及复杂的和弦变化（7th, 2nd, 4th, 6th, 9th, dim, aug），创造出独特的和声语言。这在当时是相当大胆创新的，而Kurt Cobain本人似乎并不知道自己遵循了何种音乐规则，只是凭直觉创作。这证明了纯粹的力量有时能超越技巧的束缚。
阅读更多基因表达时间微调，果蝇眼大小变迁
2025-03-13
一项新的研究发现，单个基因表达时间的微小变化会导致果蝇眼睛大小的显著差异。研究人员比较了两种密切相关的果蝇物种——摩里塔尼亚果蝇和模拟果蝇，发现名为orthodenticle (otd)的基因表达时间的细微差异，导致了它们眼部单位——小眼——尺寸的显著变化。摩里塔尼亚果蝇的otd基因表达时间更早，导致小眼尺寸更大，眼睛也更大。这项研究为了解器官大小的进化机制提供了新的视角。
阅读更多
(phys.org)
科技
眼部发育
切尔诺贝利事故简化分析：揭示RBMK反应堆固有缺陷
2025-01-24
本文利用简化数值模型分析了切尔诺贝利事故。研究表明，切尔诺贝利事故的发生与RBMK反应堆的设计缺陷密切相关，其巨大的尺寸和微弱的功率负反馈系数导致反应堆功率难以控制，即使有自动系统也容易发生氙振荡。安全棒的设计使得在堆芯上半部分存在氙中毒的情况下，其初始作用反而增加了堆芯反应性，最终导致高压增加、大量液态水在燃料通道中产生强烈的冲击波，破坏了部分压力管，随后发生的减压过程（闪蒸）进一步加剧了事故。研究还评估了事故中释放的裂变能，并探讨了反应堆的稳定性及控制策略。
阅读更多
科技
RBMK反应堆