微软展示实时AI游戏生成原型：WHAM
2025-02-19
微软展示了名为WHAM的实时AI视频生成工具原型，该工具可根据用户输入即时生成游戏画面，用户甚至可以通过输入新的样本帧立即跳转场景。虽然目前分辨率和帧率极低（300x180，10fps），画面也存在扭曲变形等问题，但这标志着AI生成交互式体验迈出了关键一步，未来或将实现AI即时生成高品质交互式游戏体验。
阅读更多
谷歌Gemini：巨额投入与盈利困境
2025-03-26
谷歌的Gemini AI应用尽管拥有雄心勃勃的目标，例如实现AGI（人工通用智能），但目前仍面临盈利难题。与OpenAI的ChatGPT相比，Gemini的下载量远低于后者，且生成式AI领域的高额研发成本和能源消耗也构成巨大挑战。谷歌正试图通过在Gemini应用中投放广告来实现盈利，同时面临着反垄断诉讼可能造成的巨额收入损失。内部员工也表达了对工作强度和未来前景的担忧。尽管Gemini的功能不断拓展，但仍存在准确性问题，例如在一次广告中错误估计了全球Gouda奶酪的消费量。谷歌正谨慎地推进Gemini的发展，力图避免重蹈覆辙，继续在AI竞赛中保持领先地位。
阅读更多
科技
脸书的权力游戏：一位前政策主管的揭露
2025-03-17
前脸书政策主管莎拉·温恩-威廉姆斯在其新书《粗心大意的人》中揭露了脸书内部的权力运作和决策过程。她描述了脸书在缅甸的失败、试图在中国市场运作的险恶策略，以及扎克伯格如何利用其权力，忽视甚至歪曲事实来迎合自身商业利益。书中指出，脸书内部的审查机制薄弱，对有害内容的处理效率低下，最终导致了严重的社会后果。作者还强调了扎克伯格的绝对权力，并将其比作一位“君主”，对脸书的未来发展以及全球信息生态系统都提出了严峻的警告。
阅读更多
科技
内幕
Kagi搜索引擎重大更新：Android应用发布，全新功能上线
2025-02-05
Kagi搜索引擎团队在巴塞罗那年度闭幕会上宣布了一系列令人兴奋的更新。首先，官方Android应用正式上线，用户无需账户即可立即使用，并提供原生主屏幕小部件。其次，推出了名为“Snaps”的创新搜索操作符，允许用户直接在搜索栏中进行特定网站搜索。此外，广受欢迎的Universal Summarizer扩展程序现已登陆Chrome浏览器。最后，Kagi Assistant迎来了30天更新，增加了文件上传功能、停止按钮以及移动端改进等。这些更新旨在提升用户体验，并借助欧盟新规，推动Kagi在Android和Chrome上的普及。
阅读更多
(kagi.com)
科技
从零开始编译C程序：一个老司机的血泪史
2025-06-14
作者讲述了其在Mac系统上编译C/C++程序的经验，从安装编译器到处理依赖项，再到解决链接错误，一步步展现了编译过程的挑战与技巧。文中涵盖了使用`apt-get`、`brew`安装依赖，利用`Makefile`、`./configure`脚本构建程序，以及处理编译警告和链接错误等方面的内容。作者还分享了使用环境变量`CPPFLAGS`和`LDLIBS`传递编译器和链接器参数的方法，以及利用`make`命令单独编译目标文件等技巧。最后，作者总结道，即使不写C程序，理解C程序的构建过程对于解决实际问题也大有裨益。
阅读更多
(jvns.ca)
开发
凡尔赛宫：权力与灵魂的缺失
2025-02-19
凡尔赛宫的建造源于路易十四对权力的渴望和对前财政大臣富丽堂皇花园的嫉妒。作者借此探讨现代产品设计中灵魂的缺失。他认为，如同凡尔赛宫令人叹为观止却缺乏生命力，许多现代产品也只追求表面的美感和功能，忽略了情感的注入。真正的设计应源于创作者内心的情感体验，如同园丁培育土壤般，从自身经验中汲取灵感，才能创造出饱含生命力的产品。文章以建筑为例，对比了圣家堂和电话交换机建筑所带来的不同感受，强调了设计中情感的重要性。
阅读更多
设计
产品
太阳能：解开美国能源转型之锁的钥匙？
2025-03-24
美国许多地区的太阳能发电已成为最廉价的新能源，但其普及程度严重依赖市场结构。在自由市场中，企业家和独立发电商可以直接追求盈利机会，太阳能发展迅速；而在受监管的公用事业领域，由于既有投资和官僚监督，转型速度缓慢。为加速向可再生能源和具有成本竞争力的未来过渡，美国应进一步放松管制，让私人资本建设更大规模的清洁电网，以满足新兴技术不断增长的能源需求，并确保美国的全球竞争力。
阅读更多
科技
市场监管
ScyllaDB开源战略调整：转向单一版本，提供免费企业版
2024-12-25
ScyllaDB宣布将专注于单一版本ScyllaDB Enterprise，并终止AGPL许可的开源版本。为社区提供免费的ScyllaDB Enterprise，包含此前仅限企业版的功能，例如性能、效率和安全特性。免费版限制为最多50个vCPU和10TB总存储空间。此举旨在简化产品线，同时为用户提供更强大的免费选项。
阅读更多
开发
用四字词解释爱因斯坦相对论
2025-04-14
本文以简洁的语言，通过类比和故事的方式，解释了爱因斯坦相对论的核心概念。作者从“静止”的相对性出发，引入了光速不变原理，阐述了时间、空间、质量的相对性，以及引力作为时空弯曲的体现。文章生动形象地解释了相对论的复杂概念，即使没有物理学背景的读者也能轻松理解其核心思想。
阅读更多
科技
sixos：基于Nixpkgs和s6的轻量级操作系统
2025-01-31
Adam Joseph发布了sixos，一个基于Nixpkgs和s6的全新操作系统，旨在替代systemd。sixos抛弃了systemd的单体架构，采用更简洁的infuse组合器管理服务，并与Nixpkgs的包管理方式保持一致。它还支持ownerboot，实现从引导程序到系统内核的完整版本控制和安全管理，彻底消除了固件和软件之间的界限。目前，sixos已在作者的各种设备上成功运行，包括工作站、服务器、路由器等。
阅读更多Satellogic 开放卫星数据：700万张图像的背后
2025-03-04
Satellogic公司，一家卫星设计、制造和星座运营商，公布了其名为“Satellogic EarthView”的开放卫星数据计划。该计划包含超过700万张来自300万个不同地点的1米分辨率图像，涵盖RGB和近红外影像。文章作者利用其强大的工作站，详细分析了Satellogic的卫星星座、发射历史以及开放数据的访问和处理过程，并生成了多个数据可视化图表，展现了数据的空间分布和时间覆盖情况。
阅读更多
科技
空间数据分析
Bambu Connect 的 X.509 证书和私钥泄露
2025-01-20
Bambu Lab 推出新的固件以锁定其 X1 系列 3D 打印机的网络访问后，Bambu Connect 应用程序的 X.509 证书和私钥被 hWuxH 提取。该应用程序本应成为第三方软件向 Bambu Lab 硬件发送打印作业的唯一途径。Bambu Connect 应用是一个基于 Electron 的应用程序，虽然尝试了混淆和加密，但不足以阻止窥探。泄露的 main.js 文件中清晰可见证书和私钥，这些用于加密与打印机的 HTTP 通信，是阻止类似 OrcaSlicer 的工具与启用身份验证的 Bambu Lab 打印机通信的唯一障碍。Bambu Lab 的下一步行动尚不清楚，但此次事件表明，单纯依靠混淆来实现安全是无效的。
阅读更多Futhark编译器后端扩展：并非易事，但并非不可能
2025-03-28
本文探讨了为Futhark编译器添加新后端的复杂性。Futhark编译器采用分阶段处理，前端负责解析和类型检查，中间端进行优化转换，后端将中间表示转换为目标代码。后端实现并非简单的教程式步骤，而是涉及到多种中间表示（IR）方言，以及对编译器内部API的深入理解。作者建议，根据目标语言的抽象级别选择合适的IR方言，并利用现有基础设施简化开发过程，最终的目标是实现一个可通过命令行调用的新后端。
阅读更多
开发
Futhark
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
Mathesar：开源 PostgreSQL 数据管理利器
2025-01-30
Mathesar 是一款开源的、直观的类似电子表格的界面，允许任何技术水平的用户直接查看、编辑、查询和协作处理 Postgres 数据。它完全开源、自托管，并具有原生的 Postgres 访问控制。Mathesar 基于 Postgres，安装便捷，支持各种规模的数据，并能与现有基础设施无缝集成。其核心优势在于易用性和安全性，通过熟悉的电子表格界面简化了数据库操作，并利用 Postgres 的角色和权限实现安全访问控制。
阅读更多
开发
Roe AI：下一代数据仓库，招募顶尖工程师
2025-02-06
Roe AI 是一家由 Gradient Ventures 和 Y Combinator 投资的初创公司，致力于构建下一代数据仓库，目标是成为数据仓库领域的最终解决方案。他们正在寻找一位创始工程师，负责开发核心 SQL 引擎、多模态 AI 数据引擎和多模态 RAG 系统。理想候选人需要具备生成式 AI、前端和后端开发经验，以及扎实的计算机科学基础知识。公司提供优厚的福利待遇和混合办公模式。
阅读更多
创业
NVIDIA Dynamo：高吞吐量低延迟的生成式AI推理框架
2025-03-18
NVIDIA发布了Dynamo，一个用于在多节点分布式环境中为生成式AI和推理模型提供服务的、高吞吐量低延迟推理框架。Dynamo支持多种推理引擎（如TRT-LLM、vLLM、SGLang等），并具备预填充和解码推理解耦、动态GPU调度、LLM感知请求路由、加速数据传输和KV缓存卸载等特性，以最大化GPU吞吐量并降低延迟。该框架使用Rust编写以提高性能，并使用Python编写以增强可扩展性，完全开源。
阅读更多
AI
复活一台古董JavaStation：NetBSD网络启动的冒险
2025-03-05
作者怀着对儿时梦想的追忆，购得一台古董JavaStation网络电脑。历经波折，终于收到机器，却发现无法启动。经过一番排查，最终发现问题仅仅是死掉的NVRAM电池和缺乏耐心。通过串口调试和巧妙的网络配置（RARP、TFTP、DHCP、NFS），作者成功在JavaStation上运行了NetBSD操作系统，完成了一次精彩的复古科技复活之旅。
阅读更多
硬件
网络启动
强链接问题与弱链接问题：科学的困境
2025-02-08
文章探讨了“强链接问题”和“弱链接问题”的概念。弱链接问题，如食品安全，取决于最差环节的质量；而强链接问题，如科学进步，取决于最佳环节的质量。许多人错误地将科学视为弱链接问题，过度关注阻止劣质研究，反而扼杀了具有突破性的研究。作者认为，这种做法源于学术界的竞争压力和对地位的关注，最终导致科学进步停滞。
阅读更多日本电动汽车销量暴跌：四年来首次下滑
2025-01-10
2024年，日本电动汽车销量同比暴跌33%，降至59736辆，这是四年来的首次下滑。数据显示，电动汽车在日本汽车总销量中的占比低于2%，在主要发达经济体中最低。尽管全球电动汽车销量仍在增长，但增长速度放缓，日本对电动汽车的接受程度迟缓日益明显。日产汽车依然占据榜首，而中国比亚迪汽车在日本市场的销量则实现了增长。
阅读更多
科技
日本汽车市场
空气污染：致死元凶及来源追踪
2025-04-02
每年，数百万人生命因空气污染而过早结束。本文深入探讨了各种空气污染物的来源，这些污染物不仅危害人类健康，也破坏生态系统。通过分析来自社区排放数据系统（CEDS）的数据，文章揭示了能源生产、交通运输和农业是主要污染源，并详细阐述了二氧化硫、氮氧化物、黑碳、甲烷、氨和非甲烷挥发性有机化合物等污染物的来源、危害和减排途径。研究发现，向清洁能源转型、减少肉类消费和改进农业实践是应对空气污染的关键。
阅读更多
科技
污染物来源
地球深层或蕴藏巨量天然氢
2024-12-25
美国地质调查局的两位地质学家创建了一个模型，显示地球深处可能蕴藏高达5.6×10⁶百万吨的天然氢。该模型综合考虑了氢的自然生成率、储量以及泄漏量等因素。虽然大部分氢可能难以获取，但研究人员指出，开采其中2%即可满足人类约两个世纪的能源需求，为清洁能源发展带来新的希望。
阅读更多
(phys.org)
捷克海狸一夜之间建成水坝，拯救了村庄？
2025-02-10
捷克中波希米亚自然和景观保护局局长Jaroslav Obermajer向国际布拉格电台透露，海狸们利用石头、泥土和木材在溪流上筑坝，一夜之间建造了一个水坝，防止了村庄被洪水淹没。这些水坝不仅为海狸提供了食物和保护，还创造了其他物种的栖息地，并起到天然防火带、碳汇和防洪的作用。巴伐利亚州联邦自然保护协会的海狸管理员Gerhard Schwab对海狸的效率表示赞赏，但对“一夜之间”的说法表示怀疑。
阅读更多
科技
专家与新手：迷宫中的效率差异
2025-05-18
本文通过迷宫游戏类比，探讨了专家与新手在解决问题效率上的巨大差异。专家凭借经验和高效的策略快速解决问题，而新手则容易陷入自己制造的困境，浪费时间在无关紧要的事情上。作者强调，新手并非能力不足，而是缺乏经验和对问题的全局观。新手需要寻求专家的帮助，学习如何识别关键决策，并避免因错误决策导致的连锁反应。同时，新手也应积极探索领域内的知识，并培养自信和勇气。
阅读更多
开发
新手
NVIDIA发布Project DIGITS：人人可用的AI超级计算机
2025-01-07
英伟达发布了Project DIGITS，一款基于Grace Blackwell超级芯片的个人AI超级计算机。这款售价3000美元起的设备，让AI研究人员、数据科学家和学生都能轻松访问强大的AI计算能力。GB10超级芯片提供高达1 petaflop的AI性能，能够运行2000亿参数的大型语言模型。用户可以在自己的桌面系统上开发和运行模型，然后无缝部署到云或数据中心基础设施上。Project DIGITS将AI计算能力带给大众，推动AI普及化。
阅读更多DiscMaster 2：海量CD-ROM数据资源的全新升级
2025-03-04
DiscMaster 2上线了！这个项目对旧的DiscMaster 1中的数百万个文件进行了重新处理，支持超过3000种文件格式，并添加了强大的搜索功能。新的搜索功能支持模糊匹配、正则表达式、文件哈希搜索等，搜索速度也大幅提升。此外，DiscMaster 2还改进了文件浏览、下载和显示方式，提供了更友好的用户体验。
阅读更多基于证据的目标设定和行为改变方法
2024-12-27
新年决心往往以失败告终？本文探讨了基于证据的目标设定和行为改变策略。研究表明，新年决心的成功率并非想象中那么低，关键在于利用“新鲜开始效应”，并结合目标层级设定（上层目标、中间目标、下层目标）、方法与结果导向、掌握与表现目标等策略，建立灵活的约束而非僵化的约束，最终实现长期成功。文章还介绍了宏观因素等工具如何支持目标设定和行为改变。
阅读更多
杂项
新年决心
IPv4地址枯竭与IPv6部署的拉锯战
2025-01-12
2024年，互联网的IPv4地址资源日渐枯竭，IPv6的部署却进展缓慢。文章分析了IPv4地址分配数据，发现地址交易市场并未有效回收未使用的地址，反而导致价格波动剧烈。与此同时，IPv6的部署虽然有所增长，但远未达到预期，各地区发展不平衡。作者预测，互联网未来可能走向高度碎片化，而IPv6的普及程度将决定这一趋势的走向。这篇文章深入探讨了技术、经济和政策等多方面因素对互联网发展的影响，并对未来趋势提出了思考。
阅读更多
科技
互联网地址
逆向工程奔腾处理器的超前进位加法器
2025-01-18
本文讲述了Ken Shirriff对奔腾浮点单元中一个8位加法器的逆向工程过程。该加法器是一种Kogge-Stone型超前进位加法器，通过并行计算进位来加快加法运算速度。文章详细解释了超前进位加法器的原理，并展示了奔腾处理器中该加法器的硬件实现细节，包括其四层电路结构和Kogge-Stone算法的实现方式。此外，文章还探讨了该加法器在奔腾浮点除法单元中的作用以及其与著名的奔腾FDIV除法错误的关系。
阅读更多
硬件
超前进位加法器
Zig：在安全性与速度上超越Rust？
2024-12-30
博主在一个垃圾回收字节码解释器项目中比较了Rust和Zig。在Rust中使用不安全代码的经历非常糟糕，复杂的别名规则和未定义行为让开发变得困难且易出错。而Zig则提供更友好的内存不安全环境工具，例如内置的内存泄漏检测和更易用的指针操作，最终Zig版本在速度和安全性上都优于Rust版本，并且开发效率更高。
阅读更多
开发