图解《论暴政》：抵抗现代极权主义的视觉指南
2025-03-28
畅销书《论暴政》的图解版问世，作者蒂莫西·斯奈德从纳粹主义和共产主义等历史黑暗时刻中汲取教训，阐述了抵抗现代极权主义的二十条准则。插画师诺拉·克鲁格的精美插画，将斯奈德的文字内容转化为引人入胜的视觉体验。本书强调要警惕符号的滥用、独立思考、重视语言的精准性等重要原则，在动荡不安的时代，呼吁人们积极参与抵抗，守护民主自由。
阅读更多
绝望车站：深夜滞留日本奥津车站的真实体验
2025-02-07
日本的一些火车站被称为“绝望车站”，奥津车站便是其中之一。它位于东京郊区，是中央快速线终点站。记者体验了一把深夜滞留奥津车站的感受：寒冷的气温，大部分店铺都已打烊，便利店数量有限，仅有的几家也缺乏可供休息的空间。尽管如此，记者还是找到了一些应急方案，例如全天候营业的卡拉OK店或价格可能上涨的酒店。这篇文章提醒大家，节假日出行要谨慎规划，避免因错过末班车而滞留“绝望车站”。
阅读更多
杂项
深夜体验
美国正式退出世界卫生组织
2025-01-21
2025年1月20日，美国总统签署行政命令，正式宣布美国退出世界卫生组织（WHO）。该命令指责WHO在应对新冠疫情和全球卫生危机方面处理不当，未能进行必要的改革，且受成员国不当政治影响。此外，美国认为WHO向美国索取的费用过高。此举将暂停美国对WHO的资金支持，召回相关人员，并寻找新的国际合作伙伴承担WHO先前的工作。美国还将停止参与WHO的《大流行病协定》和《国际卫生条例》的谈判。
阅读更多
科技
世界卫生组织
网站隐私政策及Cookie使用说明
2025-07-23
本网站使用Cookie等技术存储和访问设备信息，以提供最佳用户体验。同意这些技术将允许我们处理浏览行为或唯一ID等数据。不同意或撤回同意可能会影响某些功能。网站还解释了不同类型技术存储或访问的目的，包括必要的技术存储、用于存储偏好设置的技术存储、用于统计目的的技术存储以及用于创建用户画像以投放广告的技术存储等。
阅读更多
(i4is.org)
杂项
传奇游戏设计师Steve Meretzky访谈：从《银河系漫游指南》到《恐惧的皮革女神》
2025-02-06
本文采访了著名游戏设计师Steve Meretzky，他参与创作了众多经典游戏，包括《银河系漫游指南》、《永远航行的思想》和《恐惧的皮革女神》。文章回顾了Meretzky在Infocom的经历，讲述了他与道格拉斯·亚当斯合作开发《银河系漫游指南》游戏时的趣事，以及创作《恐惧的皮革女神》的幕后故事。他还分享了自己创作游戏理念的转变，以及对游戏中一些经典谜题的设计思路。
阅读更多
游戏
NBA Apple Vision Pro 应用新增“桌面”模式：沉浸式观赛体验升级
2025-02-14
NBA官方Apple Vision Pro应用新增“桌面”模式（Tabletop），该模式以微缩模型的形式呈现比赛实况，结合传统的2D直播画面，带来更沉浸的观赛体验。虽然存在约半秒的延迟，但该功能极具潜力。目前仅部分比赛支持该模式，但NBA计划在下一赛季将其扩展至所有League Pass赛事。此功能需要League Pass订阅（每月15美元起）。这一创新与此前因F1集团干预而下线的Lapz应用异曲同工，两者都展现了XR技术在远程观看体育赛事方面的巨大潜力。相比之下，Meta Quest平台通过Xtadium应用免费提供52场NBA比赛的180度沉浸式直播，但缺乏Vision Pro应用的“桌面”模式带来的独特视角。
阅读更多
科技
XR技术
震惊！肌酸增肌效果被高估？
2025-04-02
一项新的研究表明，按照推荐剂量服用肌酸补充剂对增肌几乎没有效果。由新南威尔士大学领导的一项为期12周的临床试验，对54名参与者进行了抗阻训练，结果发现，每天服用5克肌酸补充剂的组与未服用肌酸组的瘦体重增加量没有显著差异。研究人员认为，以往研究中肌酸增肌效果的夸大可能是由于方法学问题造成的。这项研究对肌酸补充剂的有效性提出了质疑，提醒大家不要盲目相信其增肌效果。
阅读更多FutureHouse：用AI打造半自动科学家
2025-03-22
旧金山非营利组织FutureHouse正致力于利用AI自动化科学发现。他们开发了一系列以“乌鸦”命名的工具，例如ChemCrow用于化学反应设计，WikiCrow总结蛋白质信息，ContraCrow查找文献中的矛盾之处，PaperQA系列工具则用于可靠地查询PDF。 FutureHouse的目标是构建半自主的AI科学家，从预测模型到最终能够独立运行实验的类人机器人，最终加速科学发现，解决生物医学文献总结难、可靠性差等问题。他们面临的挑战包括构建基础设施、获取数据和处理工程问题，但AI模型在假设生成和结论推导方面表现出色。FutureHouse强调AI科学家的可靠性，并致力于通过改进数据分析和可重复性来解决问题。
阅读更多开源游戏开发宝典：从零到英雄
2025-01-06
一个名为《2D Game Development: From Zero To Hero》的开源游戏开发书籍项目，汇集了社区对游戏设计和开发的知识。该项目以Creative Commons许可证授权，旨在成为一个学习资源，并鼓励社区贡献。该书涵盖游戏设计、开发、算法、技巧等方面，提供PDF和EPub版本，源码在GitHub和GitLab上开源。作者反对使用AI生成内容，以维护书籍质量和原创性。
阅读更多
游戏
微软研究院推出证明导向型编程语言F*
2024-12-25
F* 是一种通用的证明导向型编程语言，支持纯函数式和有副作用的编程。它结合了依赖类型的表达能力和基于SMT求解和基于策略的交互式定理证明的自动化证明功能。F* 程序默认编译成 OCaml，还可以通过 KaRaMeL 工具提取到 F#、C 或 Wasm，或使用 Vale 工具链提取到汇编语言。F* 由微软研究院、Inria 和社区积极开发，开源且免费，并广泛应用于安全、加密和系统等领域，例如 Mozilla Firefox 和 Linux 内核等项目。
阅读更多
开发
证明导向型编程
AI赋能的本地化书签管理应用Hoarder强势来袭
2024-12-24
Hoarder是一款可自托管的书签管理应用，它不仅能存储链接、笔记和图片，还能利用AI技术进行自动标签化和全文搜索。它支持本地模型（如ollama），并具有OCR、Chrome/Firefox插件、iOS/Android应用、RSS订阅、REST API、页面存档等功能，旨在解决用户在多平台浏览信息后难以整理和检索的问题。项目目前处于积极开发中，但已提供demo供体验。
阅读更多
开发
Framework发布新款扩展坞模块及其他更新
2024-12-17
Framework公司发布了Framework Laptop 16的第一个全新扩展坞模块：双M.2适配器，允许用户添加额外的存储驱动器或其他高速设备。此外，他们还更新了Framework Laptop 16的CPU散热解决方案，并推出了包含随机配件的“神秘盒子”，以减少电子垃圾。同时，他们还增加了48GB DDR5内存模块、新款周边产品以及更多地区的配送服务，进一步提升了产品线和用户体验。
阅读更多Rust反射：安全与访问规则的博弈
2025-01-03
Rust语言缺乏反射机制，但人们对其需求强烈。本文探讨了在Rust中实现反射时面临的安全挑战。由于Rust的内存安全机制，反射API必须遵守严格的访问规则，不能随意访问私有字段，否则可能导致内存安全漏洞。文章深入分析了这种限制对反射API设计的影响，例如，如何处理反射失败，以及如何表达复杂的反射边界。作者还探讨了安全与非安全反射API的权衡，以及如何平衡功能性和安全性。总而言之，在Rust中实现安全的反射机制是一个复杂且充满挑战的问题，需要仔细权衡各种因素。
阅读更多
开发
反射
谷歌Gemini：巨额投入与盈利困境
2025-03-26
谷歌的Gemini AI应用尽管拥有雄心勃勃的目标，例如实现AGI（人工通用智能），但目前仍面临盈利难题。与OpenAI的ChatGPT相比，Gemini的下载量远低于后者，且生成式AI领域的高额研发成本和能源消耗也构成巨大挑战。谷歌正试图通过在Gemini应用中投放广告来实现盈利，同时面临着反垄断诉讼可能造成的巨额收入损失。内部员工也表达了对工作强度和未来前景的担忧。尽管Gemini的功能不断拓展，但仍存在准确性问题，例如在一次广告中错误估计了全球Gouda奶酪的消费量。谷歌正谨慎地推进Gemini的发展，力图避免重蹈覆辙，继续在AI竞赛中保持领先地位。
阅读更多
科技
StarVector: 基于Transformer的图像转SVG矢量化模型
2025-03-26
StarVector是一个基于Transformer的图像转SVG矢量化模型，在Hugging Face上发布了8B和1B参数的模型。它在SVG-Bench基准测试中取得了SOTA结果，尤其擅长矢量化图标、logo、技术图表等，在处理复杂图形细节方面表现出色。该模型利用了大量数据集进行训练，包括各种风格的矢量图形，从简单的图标到复杂的彩色插图。与传统的矢量化方法相比，StarVector生成的SVG代码更简洁、更准确，能够更好地保留图像的细节和结构信息。
阅读更多
AI
图像矢量化
零到底是单数还是复数？
2025-01-22
一篇关于英语语法中零的数的讨论文章引发热议。文章指出，在数学教材中，'zero 3s' 的用法表明零被视为复数。这种用法并非基于数学逻辑，而是英语语言习惯。当零作为修饰词修饰可数名词时，名词通常用复数形式，这与其他表示否定意义的词语用法类似。 这引发了关于英语语法中零的数的讨论，以及如何理解这种看似不符合直觉的语言习惯。
阅读更多
杂项
数量词
中国补贴智能手机以刺激消费
2025-01-03
为了应对外部逆风和提振国内消费，中国将扩大消费补贴范围，涵盖智能手机和其他电子产品。国家发改委官员周五表示，目前针对家用电器和汽车的国家以旧换新计划，今年将扩大到手机、平板电脑和智能手表等个人设备。疫情后，由于缺乏令人兴奋的新功能和普遍的节俭，中国消费者开始延长智能手机的使用寿命。与汽车和洗衣机一样，投资者希望激励措施能够重振全球最大的智能手机市场，不仅能推动华为和小米等品牌的销售，还能刺激阿里巴巴和京东等受设备爱好者欢迎的平台的业务。此举是中国努力鼓励消费以抵消任何新的美国对华出口关税影响的一部分，而这些关税一直是重要的增长动力。上个月，中国高层领导人十年来第二次将刺激消费和内需作为2025年的首要任务。国家发改委副秘书长袁达表示，政府将大幅增加超长期特别国债的销售，为该计划提供资金，该计划还鼓励企业升级设备。2024年末，一些省份已经启动了自己的个人设备和手机以旧换新计划，但全国范围内的举措可能会更有效。中央政府7月份承诺，将从特别国债筹集的3000亿元人民币（411亿美元）资金用于支持补贴。包括地方政府的努力，从9月份开始，这些激励措施导致汽车和家用电器销量激增。袁达表示，对升级业务设备的补贴也将扩大到包括农业设施在内的领域。他表示，该计划扩大的具体方案将很快发布。中国此前曾对手机购买进行补贴，作为2007年末开始应对全球金融危机影响的大规模消费刺激计划的一部分。该计划针对农村居民，还涵盖家用电器、电脑和汽车，于2013年结束。
阅读更多逆向工程Cursor的LLM客户端：窥探AI代码助手背后的秘密
2025-06-07
本文讲述了作者如何使用TensorZero这个开源框架，搭建了一个自托管代理，成功逆向工程了AI代码助手Cursor的LLM客户端。通过将Cursor与LLM提供商之间的通信路由到TensorZero，他们能够观察、分析甚至优化Cursor使用的提示和模型。过程中克服了Cursor服务器端预处理和CORS跨域问题。最终，他们获得了Cursor与LLM交互的完整数据，包括提示词和响应，并能够进行A/B测试，比较不同LLM模型的性能。这项工作为理解和优化AI代码助手提供了宝贵的经验，也揭示了Cursor内部可能存在一个由不同能力的LLM组成的层次结构。
阅读更多
开发
Theranos骗局之后：伊丽莎白·霍姆斯的新篇章？
2025-05-16
身陷囹圄的伊丽莎白·霍姆斯，其男友创立的血液检测公司Haemanthus，令人联想起Theranos的骗局。作者认为，Haemanthus并非旨在革新医疗，而是霍姆斯精心编织的个人叙事的一部分，旨在证明Theranos并非彻头彻尾的欺诈。作者质疑Haemanthus技术的可行性，并提醒潜在投资者关注霍姆斯的真实动机，而非被其传奇色彩的“浴火重生”故事所迷惑。这篇文章属于科技领域，揭露了科技创业中道德和商业伦理的缺失。
阅读更多
科技
GitHub Actions新应用：将RSS推送至Bluesky
2025-01-30
一个名为Blueskyfeedbot的GitHub Actions应用可以将RSS/ATOM feed自动发布到Bluesky社交平台。用户只需创建一个GitHub仓库，配置secrets（包含Bluesky用户名和应用密码），并设置一个包含RSS feed地址和Handlebars模板的workflow文件，即可实现自动化发布。该应用简化了将内容同步到Bluesky的过程，为博主和开发者提供了便利。
阅读更多
开发
塞尔维亚政府利用零日漏洞监控异见学生
2025-03-01
国际特赦组织发现塞尔维亚政府利用Cellebrite公司出售的零日漏洞攻击了一名批评政府的学生的手机。该漏洞可以绕过最新Android系统的锁屏，利用了Linux内核中USB驱动程序的漏洞。此次事件表明，尽管Cellebrite声称已暂停向塞尔维亚相关客户销售产品，但塞尔维亚政府仍在继续对民间社会进行监控，进一步证实了其对异见的压制行为。
阅读更多
科技
彻底搞懂如何在各种Shell下配置PATH环境变量
2025-02-17
本文深入浅出地讲解了如何在bash、zsh和fish等不同shell环境下添加目录到PATH变量中，并详细解释了各种可能遇到的问题和解决方法，例如不同shell的配置文件位置、PATH变量的重复项处理以及在cron任务中配置PATH等。作者以实际案例出发，一步步引导读者掌握PATH配置技巧，避免常见的陷阱，最终顺利运行程序。
阅读更多
(jvns.ca)
开发
PATH
街机游戏鼻祖《Battlezone》的诞生：一场与军方的意外邂逅
2025-01-04
1980年，Atari公司推出的第一人称坦克游戏《Battlezone》横空出世，其利用矢量显示技术构建的3D游戏世界震惊了玩家。该游戏依靠三个微处理器协同工作，其中一个专门负责复杂的矩阵运算以实现透视效果。开发团队克服了诸多技术难题，如对象数量限制和屏幕裁剪问题，最终创造出这款里程碑式的游戏。然而，令人意想不到的是，《Battlezone》的成功却引来了美国军方的关注，迫使开发团队在短时间内将其改造成军事训练模拟游戏《Army Battlezone》。这篇文章讲述了《Battlezone》的开发历程以及其与军方的意外牵连，展现了早期游戏开发的艰辛和技术突破，以及开发者面对道德困境时的抉择。
阅读更多
游戏
Pixelfed漏洞：私密帖子泄露危机
2025-03-30
Pixelfed，一个流行的图片分享平台，因ActivityPub协议实现缺陷，导致私密帖子泄露。该漏洞允许任何人在Pixelfed实例上关注其他服务器上的私密账户，从而读取私密帖子。漏洞已修复，但升级过程困难，且维护者处理方式欠佳，引发对Fediverse信任机制的担忧。
阅读更多Git自动纠正速度太快？连F1车手都反应不过来！
2025-01-19
Git的自动纠错功能以其0.1秒的反应速度引发热议。文章解释了这一功能的设计初衷，以及为何其速度如此之快。原来，这并非Git的默认行为，而是通过`help.autocorrect`设置进行配置。最初的设计者开玩笑似的设定了这个极短的等待时间，后来的改进允许用户自定义等待时间或选择提示确认模式。作者还分析了Git自动纠错的算法，并提出了改进建议，力求让其更符合用户预期。
阅读更多
开发
为患病儿童寻找耐用型血糖监测手机
2025-02-16
作者为患有疾病需要持续血糖监测的儿子Sam寻找合适的手机。最初使用Pixel 4a 5G的大屏幕显示血糖值，但Sam开始活动后，需要更小巧耐用的手机。之后两年多，Cubot King Kong Mini 3成为Sam的专属“胰腺手机”，但由于停产，作者需要寻找替代品。一次意外中，作者临时购买了廉价的Smart E25应急，但其质量欠佳。这篇文章记录了作者为满足儿子特殊需求而进行的手机选择历程，并寻求网友建议。
阅读更多
杂项
耐用手机
那些消失的昵称与姓氏的起源
2025-02-10
许多英语姓氏源于父名，而父名常常是昵称。例如，“Jackson”源于“Jack”（John的昵称）。文章探讨了众多如今已鲜为人知的昵称及其衍生出的姓氏，例如“Wat”（Walter的昵称）衍生出“Watts”、“Watson”、“Watkins”；“Gib”（Gilbert的昵称）衍生出“Gibbs”、“Gibson”；“Hob”（Robert的昵称）衍生出“Hobbs”、“Hobson”、“Hobkins”等等。作者呼吁读者提供更多例子，并补充了“Hick”（Richard的昵称）及其衍生姓氏，以及“-mott”可能表示姻亲的推测。
阅读更多Salt Typhoon：美国制裁无效，中国黑客组织持续攻击电信运营商
2025-02-15
据Recorded Future报告，尽管美国政府对中国政府支持的黑客组织Salt Typhoon实施了制裁，该组织仍在持续攻击全球电信运营商。Salt Typhoon近期入侵了五家电信公司，包括一家美国大型电信运营商的子公司以及意大利、南非和泰国的电信公司。他们利用Cisco设备漏洞，并对缅甸Mytel公司基础设施进行了侦察。此次攻击目标还包括一些大学，疑似为了获取相关技术研究成果。尽管美国财政部已对与Salt Typhoon有关联的四川久信和网络科技公司进行制裁，但Recorded Future预计该组织的攻击活动将持续下去。
阅读更多
科技
Workflow Use：无需编程的自动化工作流
2025-05-16
Workflow Use是一个革命性的项目，旨在通过录制浏览器交互来创建确定性、可自我修复的工作流。用户只需向录制器展示工作流程，系统便会自动生成可重复使用的自动化脚本。该项目目前仍处于早期开发阶段，但其目标是让计算机能够一次性学习任务，并无限次地执行，无需人工干预。未来规划包括改进LLM回退机制、实现自我修复功能以及与其他工具集成。
阅读更多
开发
RPA
冷水浸泡对健康的影响：一项系统综述与荟萃分析
2025-02-08
一项新的系统综述和荟萃分析研究了冷水浸泡（CWI）对健康的影响。研究纳入了11项涉及3177名参与者的随机对照试验。结果显示，CWI会立即导致炎症增加，但在12小时后会降低压力。对免疫力的影响尚不明确。虽然一些研究表明CWI可以改善睡眠质量和生活质量，但还需要更多高质量的研究来证实其益处并确定最佳应用方法。
阅读更多