日本九州大学的研究人员开发出一种可在300℃下运行的固体氧化物燃料电池（SOFC），显著降低了传统SOFC所需的700-800℃高温。这项突破的关键在于重新设计了电池的电解质，通过掺杂两种化合物并利用扫描钪原子形成的“ScO₆高速公路”结构，实现了在低温下高质子传导率。这有望降低制造成本，推动SOFC在消费级领域的应用，并为其他低温电解、氢泵和CO₂转化等技术提供借鉴。
阅读更多
为了充分利用Claude Pro的五小时使用限制，作者调整了自己的睡眠时间，采用类似水手短时间睡眠的方式，每次睡2-3小时，从而最大化编程效率。这种方法让他在B2B SaaS项目开发中效率提升了10倍。作者认为，这种方法虽然牺牲了睡眠质量，但目前来看非常有效，并计划在Claude Pro限制收紧后继续使用这种策略。
阅读更多
本文探讨了代码行长的最佳实践。作者从80字符限制的历史渊源谈起，深入分析了人类视觉生理特性对阅读代码的影响，并指出现代宽屏显示器虽然提供了更多空间，但过长的代码行反而降低了可读性。最终，作者结合实际情况，推荐使用88字符作为代码行长的上限，并解释了这一选择背后的原因，包括代码缩进、diff工具兼容性等因素。
阅读更多
加州大学圣克鲁兹分校的Andy Yeh教授利用AI设计了一种新型发光生物传感器，能够高精度地检测血液或尿液中的皮质醇水平。该传感器结合智能手机摄像头使用，可在家庭或诊所进行便捷的检测，其灵敏度和动态范围远超传统方法，为皮质醇相关疾病的诊断和治疗提供了新的途径。这项突破性技术有望改变皮质醇检测方式，并为药物研发提供新的工具。
阅读更多
Modos Paper Dev Kit是一个开源硬件电子纸显示器开发套件，具有75Hz的快速刷新率、低延迟、多种屏幕更新配置、多种图像模式和灵活的抖动选项。它可以通过HDMI或USB连接，兼容Linux、macOS和Windows。该套件提供6英寸和13英寸的单色版本，但其控制器也可用于其他面板。该套件旨在解决电子纸技术中存在的硬件和软件专有、缺乏标准以及成本高等问题，并创建一个致力于建立电子纸技术标准和最佳实践的社区。
阅读更多
Boom Supersonic公司仅用50人团队和传统项目十分之一的预算，成功研制了全球首款自主研发的超音速飞机XB-1。他们总结经验教训，开发了内部飞机设计软件mkBoom，将软件工程师嵌入硬件团队，实现了设计流程自动化和快速迭代。mkBoom能够对飞机进行全面的性能分析，并通过模拟飞行测试各种设计方案，最终帮助Boom优化了Overture超音速客机设计，提升了乘客体验并实现了“无音爆巡航”。
阅读更多
Reddit 发现 AI 公司正在利用互联网档案馆 Wayback Machine 爬取其数据，并违反了其平台政策。因此，Reddit 决定限制 Wayback Machine 对其大部分内容的访问，只允许其索引 Reddit 首页。此举旨在保护用户隐私，防止数据滥用用于训练 AI 模型。Reddit 此前已与 Google 达成付费数据协议，并起诉 Anthropic 公司未经授权爬取数据。这一事件凸显了 AI 数据获取的伦理困境和平台保护自身数据的挑战。
阅读更多
福特汽车宣布投资近50亿美元，推出全新电动汽车生产系统和平台，旨在更有效地生产更经济实惠的电动汽车。首款车型是一款将于2027年推出的中型电动皮卡，预计售价约为3万美元，将在肯塔基州路易斯维尔装配厂组装。福特还将投资30亿美元建设BlueOval电池园区，生产这款皮卡所使用的磷酸铁锂电池。新生产系统采用“装配树”模式，简化生产流程，提高效率，并改善员工的工效学。这款电动皮卡的设计灵感来自Model T，目标是拥有Mustang EcoBoost的加速性能，同时具备更低的五年总拥有成本。福特希望通过这一举措，在与中国电动汽车制造商的竞争中占据优势。
阅读更多
英伟达和AMD同意将其向中国销售芯片的收入的15%交给美国政府，以换取出口许可证。此举源于美国政府出于国家安全考虑，此前暂停了先进芯片对华销售。尽管如此，此举引发争议，有人质疑其合法性，认为这相当于变相的出口税，可能损害美国国家安全和竞争力。
阅读更多
本文深入探讨了递归函数和循环的等价性，以及尾递归优化技术。递归函数易于理解和推理，但效率较低，因为它需要使用堆栈存储中间结果。循环效率更高，但可读性可能较差。尾递归是一种特殊的递归，它将递归调用放在函数的末尾，编译器可以将其优化为循环，从而避免堆栈溢出并提高效率。文章通过示例代码比较了递归、迭代和尾递归三种方式实现求和函数的效率，并提出了两个练习题，引导读者深入理解尾递归的原理和应用。
阅读更多
日本发行量最大的报纸《读卖新闻》以版权侵权为由起诉了生成式AI初创公司Perplexity。这是日本主要新闻出版商首次对AI公司提起版权诉讼。诉讼称Perplexity未经授权访问并复制了《读卖新闻》的119467篇文章，用于回复用户查询。读卖新闻寻求近1500万美元的赔偿，并要求Perplexity停止复制其文章。尽管日本法律允许AI开发者在未经许可的情况下使用版权材料进行模型训练，但这并不意味着可以随意复制和分发作品。此案突显了AI公司与新闻出版商之间日益紧张的关系，以及版权在AI时代面临的挑战。
阅读更多
韩国星巴克因顾客长期占用座位办公（“咖啡办公族”现象），更新了店内政策，禁止携带台式电脑、打印机等大型设备。这一举措源于顾客占用空间、影响其他顾客体验的问题。虽然星巴克旨在打造舒适的“第三空间”，但“咖啡办公族”现象的日益突出，以及高昂的办公租金迫使许多公司员工选择咖啡店办公，引发了咖啡店和顾客之间的矛盾。
阅读更多
最新研究揭示了大脑感知口渴的机制。大脑并非直接感知缺水，而是通过位于下丘脑附近的血管器官（如OVLT和SFO），监测血液中盐分的浓度。当盐浓度过高或水盐比例失衡时，这些器官向大脑发出信号，引发口渴感。有趣的是，大脑并非等待水分吸收后再判断是否解渴，而是通过口腔和肠道中的传感器快速估计摄入水量，从而及时关闭口渴信号。这表明，口渴感并非单纯的缺水信号，而是大脑对体内环境的“有根据的猜测”。
阅读更多
本文讲述了微软Windows XP操作系统从构思到最终成功，再到逐渐淡出的传奇故事。从最初试图摆脱MS-DOS的困境，到取消“Neptune”项目，最终整合为“Whistler”（后来的XP），微软经历了技术和战略上的重大调整。XP不仅统一了消费者和专业版本，还带来了全新的用户界面和诸多创新功能，如系统还原、防火墙等，极大地提升了用户体验。虽然最初的市场反应褒贬不一，但XP最终凭借其稳定性和兼容性，成为历史上最成功的操作系统之一，统治了全球PC市场十余年。
阅读更多
Decipad 提出了一种全新的时间处理方式，将日期视为区间而非精确时刻。这改变了我们处理日期的方式，告别了对毫秒的依赖，让日期计算更直观、更符合人类思维。例如，'2023' 代表整一年，'2024年3月' 代表整个三月，避免了传统日期库中对特定时刻的假设而导致的逻辑错误。这种区间表示法也简化了日期计算，例如，直接计算两个日期之间的差值，得到以天、小时、分钟等单位表示的时间间隔。这种方法更简洁、更易于理解，也避免了时区转换等复杂问题。
阅读更多
PlanetScale团队近日宣布推出Neki，一个基于他们构建Vitess的经验而开发的Postgres分布式数据库。不同于Vitess对MySQL的适配，Neki从一开始就针对Postgres进行设计，旨在将Vitess的水平扩展能力带给Postgres用户。目前Neki尚处于开发阶段，团队正与规模化设计合作伙伴一起构建，未来将作为开源项目发布，以满足最苛刻的Postgres工作负载需求。
阅读更多
一位Linux爱好者开发了一个独特的Wayland锁屏程序，它将Game Boy模拟器和修改后的Pokemon游戏结合起来，用户需要通过在游戏中完成一个小挑战来解锁系统。这个项目巧妙地将娱乐与技术结合，展示了Wayland的高度定制能力。开发者不仅深入研究了Wayland协议和锁屏机制，还独立实现了低级别Wayland窗口，并修改了Pokemon游戏代码以实现密码解锁逻辑。虽然该项目仍处于实验阶段，但它充分展现了创造力和技术实力，为个性化系统定制提供了新的思路。
阅读更多
研究人员测试了大型语言模型（LLM）在超出其训练数据范围的任务类型、格式和长度上的泛化能力。结果显示，当任务与训练数据差异增大时，模型的准确性急剧下降。即使模型能给出正确的答案，其推理过程也可能存在逻辑错误或与答案不符。这表明，LLM的“链式思维”（CoT）推理并非真正理解文本，而是对训练数据中模式的复制。模型在处理长度不同或包含陌生符号的输入时，表现也显著恶化，再次印证了其泛化能力的不足。
阅读更多
一个网站为了对抗AI公司的大规模数据抓取，采用了名为Anubis的反爬虫机制。Anubis类似于Hashcash，通过增加计算负载来阻止爬虫。这种方法在小规模访问下影响不大，但对于大规模爬虫而言成本显著增加。Anubis是一个临时的解决方案，最终目标是通过识别无头浏览器来更好地区分合法用户和爬虫，从而避免对普通用户造成影响。需要注意的是，Anubis需要现代JavaScript功能，因此请禁用JShelter等插件。
阅读更多
Tilf是一款使用PySide6构建的简洁强大的像素艺术编辑器，用于创建精灵图、图标和小型2D素材。它具有必要的工具、实时预览、撤销/重做和导出选项，无需账户注册或邮箱，可在Windows、MacOS和GNU/Linux上运行。作者在业余时间开发了Tilf，代码质量还有提升空间，欢迎贡献代码。
阅读更多
2024年末，一件鲜为人知的事情震惊了维基百科：一篇关于相对默默无闻的艺术家David Woodard的文章，竟以335种语言版本成为维基百科上拥有最多语言版本的条目。调查发现，这背后隐藏着一个长达十年的庞大自我推销计划，涉及200多个账号和大量代理IP，旨在通过批量创建和翻译文章来提升Woodard的知名度。该行动利用多个账号和IP地址，在不同语言的维基百科上创建和修改文章，甚至伪造照片和信息。最终，维基百科社区通过协调行动，删除了大部分虚假条目，挫败了这场精心策划的自我推销行动。
阅读更多
两位开发者在环太平洋航行的七年间，亲身体验了现代软件的脆弱性，以及依赖云端服务的风险。他们决定抛弃复杂的现代技术栈，转向复古的8位游戏机和极简编程语言，构建一个自给自足的、可离线运行的个人计算系统。通过探索虚拟机、汇编语言和极简指令集计算机等技术，他们试图打造一个更具韧性和可持续性的编程环境，以此应对软件“寒冬”并实现数据持久化。
阅读更多
本文记录了苹果公司首款电脑Apple-1的详细资料，包括其位置、批次、验证状态、图片数量、历史记录和拍卖信息等。Apple-1没有序列号，每个都拥有独特名称，大多可以修复运行。文章强调了Apple-1的稀缺性，并呼吁公众分享相关信息，帮助完善这个科技史上的传奇记录。
阅读更多
StarDict，一款流行的跨平台字典软件，被发现存在严重安全漏洞。在X11系统下，其默认配置会将用户选中的文本通过未加密的HTTP协议发送到两个远程服务器。该漏洞源于其默认启用的“扫描”功能，该功能会实时监控用户文本选择并自动提供翻译。尽管维护者认为禁用扫描功能或YouDao插件即可解决问题，但安全专家指出，存在隐私风险的功能不应默认启用。此漏洞并非首次出现，此前也曾有类似报告，但修复不彻底，导致部分用户多年来可能一直面临文本泄露风险。Debian系统中StarDict的安装量虽不高，但这凸显了开源软件维护中安全问题的长期存在和修复的滞后性。
阅读更多
从1973年大众汽车的排放造假丑闻到挑战者号和哥伦比亚号航天飞机的悲剧，再到切斯特菲尔德运河的意外堵塞，本文探讨了机构性遗忘的可怕后果。文章指出，无论是知识的流失、经验的淡忘，还是关键信息的丢失，都可能导致灾难性事件的发生。机构需要重视知识传承和经验积累，避免因遗忘而付出惨痛代价。
阅读更多
Ollama平台在加载GGUF模型时遇到问题，错误日志显示张量'blk.0.ffn_down_exps.weight'的ggml类型无效(39, NONE)。这可能是由于llama.cpp的ggml依赖库版本过旧导致的，需要更新ggml依赖库以解决此问题。尽管在llama.cpp上运行GGUF模型没有问题，但Ollama平台的加载失败表明需要更新其ggml依赖库。
阅读更多
在快节奏的时代，作者尝试用“学习、反思、实践、准备”四个动词构建日常，而非依赖应用或工具。通过每天学习新知识、反思所得、付诸实践并提前准备，作者逐渐建立起高效且平静的生活节奏，这是一种持续的实验，而非完美的方法。
阅读更多
本文探讨了在构建应用时，需要同时考虑三种界面：用户界面（UI）、应用程序接口（API）和用户代理界面（UAI）。作者强调，随着AI代理的兴起，UAI设计变得至关重要。为了确保应用功能在三种界面中的一致性和可用性，关键在于将核心业务逻辑与界面特定的呈现和交互模式区分开来，并将功能定义抽象到底层应用逻辑中，从而避免在添加新功能时意外降低任何界面的可用性。
阅读更多
美国网络安全领域正经历一场风暴。特朗普政府的政策变动导致人员清洗和优先级不明确，这在拉斯维加斯的黑帽大会和DEFCON大会上体现得淋漓尽致。前NSA和网络司令部司令Paul Nakasone与DEFCON创始人Jeff Moss的对话揭示了美国面临的严峻挑战：技术政治化，人才断层（政府官员年龄远高于科技界人士），以及与中国、伊朗、朝鲜和俄罗斯等国的对抗。他们还讨论了勒索软件的日益猖獗以及地缘政治冲突带来的不确定性，预示着未来网络安全形势将更加复杂严峻。
阅读更多
1986年末，Microrim 成为 IBM OS/2 的 Beta 测试站点。他们面临着一个巨大的挑战：在 IBM 正式发布 OS/2 之前，将大型数据库管理软件 R:BASE System V 移植到新系统。Microrim 凭借其模块化的软件设计和经验丰富的工程师团队，巧妙地利用语言转换工具和系统性的方法，在短短几个月内完成了移植工作。他们选择先将 FORTRAN 代码转换为 C 代码，再进行 OS/2 移植，并有效地隔离了操作系统相关的调用，最终成功在 IBM 的 OS/2 发布会上演示了产品。这次成功的移植，不仅证明了 Microrim 的技术实力，也为其他软件开发者提供了宝贵的经验。
阅读更多