Odin编写的闪光式调音器：精准音高检测与自适应增益
2025-09-08
一位开发者使用Odin语言编写了一个创新的闪光式调音器。该调音器基于NSDF音高检测算法，具有平滑的视觉反馈、手动目标音符选择、谐波模式和游标模式等功能。它通过单频DFT和相位比较器算法实现精确的音高检测和视觉效果，并采用自适应增益控制以维持稳定的视觉对比度。与其他方法相比，该调音器在视觉分辨率、灵敏度和延迟方面具有显著优势。
阅读更多深夜无人商店的奇遇：购买微波炉的离奇经历
2025-09-08
SoraNews24记者佐藤先生奉命购买新的办公室微波炉，却意外选择了东京蒲田的24小时无人商店GO12。这家商店货架上摆满了二手家电，顾客自助选购，通过平板电脑支付。佐藤先生购买了一台5000日元的微波炉，整个过程流畅快捷，却也让他感到一丝不安，仿佛做了亏心事。GO12的信任机制和独特的购物体验，在便利的同时，也引发了人们对社会信任和人性的思考。
阅读更多
杂项
无人商店
TheAuditor：赋予AI辅助开发“慧眼”的代码分析平台
2025-09-08
TheAuditor是一个离线优先、AI为中心的静态应用程序安全测试（SAST）和代码智能平台。它运行业界标准的代码分析工具，生成结构化的、AI可理解的报告，从而为开发者和AI助手提供可信的“事实依据”。不同于传统的SAST工具，TheAuditor旨在解决AI辅助开发中代码安全和质量保证问题，防止AI生成不安全或有缺陷的代码。它支持多种语言和框架，并提供依赖关系图可视化、重构检测等功能，最终目标是构建一个无需人工干预的AI自纠错开发流程。
阅读更多
开发
SAST
GPT-5搜索能力惊人：我的“研究地精”
2025-09-08
作者发现OpenAI的GPT-5结合必应搜索功能，其强大的搜索能力令人震惊。它可以处理各种复杂的任务，进行深入的网络搜索并给出答案，堪称“研究地精”。作者通过多个例子展示了GPT-5的强大功能，例如：识别建筑物、调查星巴克蛋糕棒的销售情况、查找剑桥大学的正式名称等。GPT-5甚至能够自主地进行多步骤搜索、分析结果并提出后续行动建议，例如自动生成邮件来获取信息。作者认为，GPT-5的搜索能力已经达到甚至超过了手动搜索的效率，尤其是在移动设备上的使用体验极佳。
阅读更多
AI
AI浪潮下，Z世代在科技行业失业？
2025-09-08
近年来，科技公司裁员潮席卷硅谷，而受冲击最大的却是Z世代。数据显示，21-25岁年轻员工在科技公司的比例已锐减一半。AI技术提高了效率，自动化取代了初级职位，导致大量Gen Z员工失业。与此同时，科技公司平均年龄却在上升，资深员工凭借自身经验和不可替代性保住了工作。这种现象不仅扼杀了创新，也为科技行业的未来发展埋下了隐患。专家建议Z世代积极拥抱AI，学习利用AI工具提升效率，并通过技能提升、灵活就业等方式寻找新的职业机会。
阅读更多
科技
Pezy Computing的SC4s：挑战GPU霸权的日本数学加速器
2025-09-08
历经十五年发展，日本Pezy Computing公司推出了最新的SC4s数学加速器，挑战Nvidia GPU在高性能计算和AI领域的统治地位。SC4s采用2048个RISC-V核心，搭配96GB HBM3内存，峰值功耗达600瓦，在FP64精度下性能与Nvidia H100相当，且能效出色。不同于GPU的SIMT架构，Pezy采用SPMD架构，具备更高的编程灵活性，并支持PyTorch等主流AI框架。尽管FugakuNext超级计算机主要采用Nvidia GPU，但Pezy的持续研发，为日本在高性能计算领域提供了技术自主性保障，也为未来多样化计算架构提供了可能性。
阅读更多
硬件
大型企业AI采用率下降：美国人口普查局数据显示
2025-09-08
美国人口普查局的双周调查显示，大型企业（员工超过250人）对人工智能工具的采用率正在下降。这项调查涵盖120万家企业，询问其在过去两周是否使用过机器学习、自然语言处理等AI技术。数据显示，尽管AI的整体应用还在增长，但大型企业的增长速度正在放缓。这提示我们，AI技术的普及可能面临一些挑战，尤其是在大型企业中，其应用的边际效益可能正在下降。
阅读更多灵活的软件设计胜过严格的领域模型
2025-09-08
本文作者挑战了流行的软件设计理念——代码应尽可能紧密地绑定到领域模型。作者认为，过分强调避免无效状态，例如通过严格的数据库模式和类型约束，会限制软件的灵活性，难以应对现实世界中不可避免的异常情况。作者以状态机和外键约束为例，说明了如何在保证核心设计简单的前提下，允许一些任意状态转换，从而提升软件的适应性和可维护性。最终，作者主张在用户界面软件中，应允许表示某些无效状态，以应对不断变化的需求和意外情况。
阅读更多
开发
英国如何打造全球最安全的道路？
2025-09-08
从1950年至今，英国道路交通事故死亡率下降了22倍。这篇文章讲述了英国道路安全史上的关键时刻，包括战后初期混乱的交通状况，到后来通过修建高速公路、推广环岛、打击酒驾、强制佩戴安全帽和安全带、提高汽车安全标准以及降低限速等措施，最终使英国拥有了全球最安全的道路之一。文章强调了政策、规范和交通创新在拯救生命方面的作用，并呼吁其他国家借鉴英国经验，提高道路安全水平，减少全球每年120万的道路交通事故死亡人数。
阅读更多
科技
MacBook 屏幕角度传感器 C++ 库：精准读取屏幕角度
2025-09-08
这个开源项目提供了一个 C++ 库，用于读取 MacBook 笔记本电脑的屏幕角度传感器数据。通过反向工程 HID 设备规范，该库能够实时精确地测量屏幕角度（0-360 度），并具有高性能、易于使用的 API 接口和完善的异常处理机制。支持 2019 年及以后的 16 英寸 MacBook Pro 和 M 系列 MacBook Pro。该库基于 Sam Gold 的原始 Objective-C 实现，并进行了 C++ 移植和扩展。
阅读更多
开发
英特尔发布Arc Pro B50专业显卡：紧凑型工作站的AI利器
2025-09-08
英特尔发布了面向紧凑型工作站的Arc Pro B50专业显卡，它基于Battlemage BMG-G21 GPU，拥有16个Xe2核心和16GB GDDR6显存。70W的低功耗设计使其无需外接电源，并通过PCIe Gen 5 x8接口提供高效带宽。Arc Pro B50在INT8计算中可达到170 TOPS的性能，非常适合AI推理、机器学习和数据预处理等任务，同时也优化了CAD、工程和设计软件。该卡采用低剖面双槽设计，并配备四个mini DisplayPort输出，适合空间受限的工作站。349美元的售价使其成为专业级GPU市场的具有竞争力的选择。
阅读更多Linus Torvalds痛斥Git提交中的无用链接
2025-09-08
Linux内核开发者Linus Torvalds对Git提交信息中无价值的“Link:”标签表达了强烈不满。他认为，很多“Link:”标签只是指向相同的补丁，浪费时间且毫无意义。他将严格审查提交请求，只接受包含额外信息的链接，并建议改进链接添加机制，例如为多部分补丁系列的封面信提供链接，或利用AI智能判断链接是否有价值。他希望开发者在提交补丁时，确保“Link:”标签提供实际价值，避免无意义的链接浪费时间。
阅读更多
开发
微软光学计算机：比你想象的更快、更节能
2025-09-08
微软研发了一种新型模拟光学计算机（AOC），利用光子进行计算，在解决优化问题和运行AI模型方面展现出巨大潜力。该AOC在医疗影像重建和金融交易结算中取得突破性进展，例如将MRI扫描时间缩短至原来的五分之一，并高效处理复杂的金融交易。微软公开分享了AOC的算法和数字孪生模型，以推动该领域的进一步研究，目标是打造更高效节能的未来计算平台。
阅读更多
科技
光学计算机
NASA模拟火星任务：为人类踏上红色星球铺路
2025-09-08
四名志愿者将参与NASA为期一年的火星任务模拟，在休斯顿约翰逊航天中心的一个3D打印栖息地中生活378天。此次名为CHAPEA的模拟任务旨在评估长期太空探索对人体健康和表现的影响，包括资源限制、设备故障、通讯延迟以及隔离等因素。参与者将进行科学研究和操作任务，例如模拟火星行走和种植蔬菜。这项模拟是NASA为未来的载人阿耳忒弥斯任务和最终的火星登陆做准备的关键一步，旨在为人类探索月球、火星及更远的地方提供宝贵的数据。
阅读更多
科技
火星任务
Pico：轻量级CSS框架，极致简约
2025-09-08
Pico是一个极简的CSS框架，它只使用不到10个类名直接样式化HTML标签，甚至提供无类名版本。它无需依赖、包管理器或外部文件，完全通过纯CSS实现优雅的样式，并原生支持响应式设计和明暗模式自动切换，只需修改CSS变量即可轻松定制。Pico注重性能优化，保持HTML简洁，减少内存占用和加载文件数量，是追求速度和优雅的完美选择。
阅读更多
设计
超越单GPU的极限：数据中心规模下的分布式计算革命
2025-09-08
随着数据规模爆炸式增长，单GPU服务器已无法满足需求。数据在GPU内存和VRAM之间的移动成为瓶颈，效率低下导致成本飙升。NVIDIA和AMD正竞相开发分布式计算运行时，例如NVIDIA的CUDA DTX和基于RAPIDS的解决方案，以及AMD的ROCm-DS。然而，Voltron Data的Theseus另辟蹊径，将数据移动置于核心地位，通过异步执行器和精细的数据预取策略，显著提升了数据中心规模下分析和AI任务的效率，并已在基准测试中超越了Databricks Photon。
阅读更多
科技
塔可钟的AI点餐系统：一场以失败告终的科技冒险
2025-09-08
塔可钟在500多家门店部署了AI语音点餐系统，意图革新点餐效率。然而，现实却狠狠打了他们的脸。顾客的奇葩点餐需求、系统故障以及AI对复杂语言的处理能力不足，导致系统频频出错。最终，塔可钟不得不重新评估AI策略，承认AI在应对高峰期点餐时力不从心。这次失败案例完美诠释了企业对AI的过度乐观、大规模部署前的不足测试以及人类创造力与AI的冲突。尽管如此，塔可钟仍坚持AI是其未来发展的重要组成部分，展现出一种独特的科技自信。
阅读更多
科技
嵌入式维度：从300到4096，AI模型的进化之路
2025-09-08
几年前，200-300维的嵌入式向量在工业界很常见。但随着深度学习模型（如BERT、GPT）的兴起和GPU计算能力的提升，嵌入式向量的维度不断增长，从BERT的768维到GPT-3的1536维，再到如今的4096维甚至更高。这背后是模型架构（Transformer）、训练数据规模、以及开源平台（Hugging Face）和向量数据库的共同作用。虽然维度增加带来了性能提升，但也带来了存储和推理的挑战。最近的研究开始探索更有效的嵌入式表示方法，例如Matryoshka表示学习，以平衡性能和效率。
阅读更多从魔术师到创业者：Buildkite联合创始人Keith Pitt的创业历程
2025-09-08
本文是Buildkite联合创始人Keith Pitt的访谈，讲述了他从一个兼职项目到成功创业，再到出售公司的历程。他分享了Buildkite的早期发展、融资的经验教训、团队管理以及对产品开发理念的思考。Pitt强调了现金流的重要性，以及在高估值情况下如何应对挑战。他坦言，在与投资人打交道的过程中，保持长期可持续发展的理念至关重要。最终，Pitt选择出售Buildkite，并创立了新公司Unreasonable Magic，专注于探索AI编程工具如何提升程序员的工作体验和成就感。
阅读更多
创业
古代DNA揭示斯拉夫迁徙如何重塑中东欧
2025-09-08
一项对550多个古代基因组的分析揭示了斯拉夫人的大规模迁徙。研究发现，公元6-8世纪，来自东欧的移民涌入东德、波兰/乌克兰和北巴尔干地区，其后裔占当地人口的80%以上。迁徙并非征服，而是整个家庭和社群的融合。东德移民带来了新的社会结构，而克罗地亚则融合了旧传统。这项研究改写了我们对斯拉夫扩张的理解，证明这是一场复杂且多样的过程，塑造了现代中东欧的基因和语言景观。
阅读更多Musl 默认内存分配器性能灾难：7倍慢！
2025-09-08
在一个真实世界的基准测试中，Musl 默认内存分配器比其他分配器慢 7 倍！作者建议所有 Rust 项目立即在其 application 的 main.rs 中添加几行代码来替换默认分配器，例如使用 mimalloc 或 jemalloc。问题根源在于多线程分配内存时的竞争，线程或分配越多，问题越严重。即使你的项目不是针对 musl 编译，或者你的程序是单线程的，也建议替换分配器。作者解释了使用 musl 的原因（为了跨平台兼容性和静态可执行文件），以及发现此性能问题的过程。文章还列举了其他项目也遇到过类似问题，并展示了在不同核心数量的机器上测试的结果，差异巨大，高达 700 倍！最终，作者强烈建议切换到其他更高效的内存分配器。
阅读更多
开发
Musl
维度：直线到底有几维？
2025-09-08
本文探讨了如何定义几何形状的维度。作者首先介绍了基于空间包含的直观方法，但这种方法在处理弯曲线段等情况下存在不足。随后，作者提出了一种基于“自由度”的方法，但这种方法也存在歧义。最终，作者引入了Minkowski维度，通过箱子计数法来更精确地定义维度，这种方法甚至可以处理分形形状，并得出非整数维度，例如谢尔宾斯基三角形的维度约为1.6。
阅读更多
数学
用音乐和照片编程？探索奇特的编程语言世界
2025-09-08
一本名为《44种深奥语言：深奥代码的艺术》的新书介绍了44种奇特的编程语言，这些语言有的使用乐谱，有的每次运行结果都不同，甚至有的用照片编写代码。作者丹尼尔·坦金通过这些语言，探索了编程的创造性，以及程序员与机器之间控制权的微妙关系，并指出深奥语言与AI生成的代码形成鲜明对比，后者往往缺乏创造性。深奥语言的历史可以追溯到早期计算时代，并与共享软件、演示场景以及早期互联网的发展密切相关。
阅读更多
开发
深奥语言
创意科技：从声霸卡到多元化探索的传奇
2025-09-08
本文讲述了新加坡创意科技公司创始人沈望熙的传奇故事。从童年摆摊卖鸡蛋到创立创意科技，他凭借对音乐的热爱和敏锐的商业嗅觉，打造出风靡全球的声霸卡，一度占据市场霸主地位。然而，在多元化探索中，创意科技经历了从显卡、MP3播放器到其他领域的起伏，最终回归音频领域，继续以其优质产品获得成功。这篇文章不仅回顾了创意科技的辉煌历史，也体现了其在科技浪潮中的适应与变革。
阅读更多模拟退火算法的全新光学架构
2025-09-08
研究人员设计了一种基于光学的模拟退火算法架构，利用微型LED阵列、液晶空间光调制器和光电探测器阵列来执行矩阵向量乘法。该系统能够高效处理机器学习和优化问题，通过模拟tanh非线性函数实现高效求解。实验结果表明，该系统在MNIST和Fashion-MNIST数据集上实现了高精度分类，并在各种优化问题上展现出优越的性能，为大规模模拟退火计算提供了一种新的硬件解决方案。
阅读更多
AI
模拟退火
40年前就解决了代码格式化问题？
2025-09-08
上世纪80年代，Ada编译器开发者使用名为DIANA的中间表示(IR)代替纯文本源码，解决了代码格式化难题。编译器和IDE直接操作DIANA树，用户可自定义代码显示格式，无需纠结空格或制表符。这使得增量编译、重构和快速集成成为可能。作者以此为例，反思如今代码格式化问题依然困扰程序员，并鼓励探索更先进的解决方案。
阅读更多
开发
Veena Chromatic Tuner：一款精准的乐器调音应用
2025-09-08
Veena Chromatic Tuner是一款功能强大的调音应用，适用于各种乐器和音乐传统。它不仅支持平均律和纯律调音，还提供示波器式的波形显示，让用户能够直观地看到音准偏差。这款应用还支持多种音名系统、可自定义参考音高和转调，并允许用户创建和保存自定义调音方案。此外，它还特别为维纳琴设计了24品位的调音模式，方便乐器制作和维修。
阅读更多AI助攻：让25年前的磁带驱动程序在现代Linux上复活
2025-09-08
作者爱好修复老旧磁带，特别是90年代流行的QIC-80磁带。这些磁带使用老旧的ftape驱动程序读取，该程序仅支持非常老旧的Linux版本（CentOS 3.5）。作者尝试使用Claude Code AI模型对ftape驱动程序进行现代化改造，使其能够在现代Linux内核上编译和运行。经过多次迭代和少量人工干预，作者成功地将ftape驱动程序编译成可加载的内核模块，并在Xubuntu 24.04上成功读取了测试磁带。作者总结了与AI协同工作的经验，强调了明确具体的指令、理解AI的优缺点以及将AI作为技能倍增器的重要性。
阅读更多
开发
阿根廷80年代的计算机与首款游戏Truco
2025-09-08
本文讲述了20世纪80年代阿根廷计算机产业的兴衰以及首款商业游戏Truco的诞生。从早期由Manuel Sadosky领导的计算机项目“Clementina”开始，阿根廷的计算机发展之路几经波折，受到政治动荡和经济政策的影响。尽管曾出现过本土计算机MS101，但由于进口管制放松，最终未能与国外产品竞争。80年代中期，随着克隆机的兴起（例如ZX81和Commodore 64克隆机）和政府对计算机产业的支持，阿根廷的家庭电脑市场蓬勃发展。然而，游戏市场却以盗版游戏为主。在此背景下，Enrique Arbiser和Ariel Arbiser叔侄二人开发了阿根廷首款商业游戏Truco，一款基于阿根廷流行纸牌游戏的电脑游戏，并在TI-99/4A和DOS平台上发行，成为阿根廷游戏史上的里程碑。
阅读更多怀旧的Demo场景：优雅地走向消亡
2025-09-07
Demo场景，曾被誉为瑞典的活态文化遗产，却正逐渐走向消亡。这并非因为缺乏吸引力，而是因为其独特的文化属性难以复制和商业化。上世纪80、90年代，它兴起于家用电脑普及的初期，依靠有限的资源和交流方式，凝聚了一批热爱编程和创意的年轻人。如今，互联网和强大的电脑已改变了创作环境，年轻一代有了更多选择。作者认为，Demo场景的消亡是自然而然的，无需惋惜，重要的是享受创作的乐趣，让它保持其独特的魅力。
阅读更多
游戏