这项研究提出了一种高效的钙钛矿太阳能电池循环再利用方法，涵盖了从电池组件各个层面的材料回收，包括钙钛矿层、空穴传输层（spiro-OMeTAD）和电极。通过分层回收和多轮循环利用，该方法实现了高达96.8%的电极回收率。研究还进行了全面的生命周期评估（LCA），分析了不同回收频率对环境影响和经济效益的影响，并计算了平准化发电成本（LCOE）。结果表明，回收利用显著降低了环境影响，并提高了钙钛矿太阳能电池的经济竞争力。
阅读更多
2025年TLA⁺社区活动回顾了TLA⁺工具的现状及未来发展方向。文章指出，TLA⁺工具的易用性是其发展的关键，并对现有解析器、解释器、模型检查器等工具进行了总结。同时，文章也指出了TLA⁺项目面临的挑战，例如遗留代码问题和缺乏文档等。为了解决这些问题，作者提出了测试驱动开发、开发者培训和基金资助等策略。最后，文章展望了TLA⁺工具的未来发展，例如生成式测试和语法简化等，并提出了一个雄心勃勃的目标：将TLC模型检查器的吞吐量提高到每分钟10亿个状态。
阅读更多
Ruth Belville 的家族几代人与格林尼治天文台的授时工作息息相关。她的祖母Maria Elizabeth Belville接手了为伦敦钟表匠送时间的工作，而Ruth继承了这份事业，持续了近五十年。从1892年到1940年，她每周都带着祖传的精准怀表，走街串巷为客户校准时间，见证了从机械时代到电气时代的转变，成为一段鲜为人知的传奇。
阅读更多
博主Robbe Derks为了避免每次取水都要按按钮，对一台ION 900系列饮水机进行了二进制修改。他首先使用Arduino和PICkit读取饮水机主控芯片（PIC18F6527和PIC16F630）的固件，然后利用Ghidra逆向工程分析固件，识别出按键控制、阀门控制等关键函数。最后，他编写C代码，通过修改关键函数，实现了按下“常温水”和“冷水”按钮后自动取水1升的功能。整个过程充满挑战，需要精通逆向工程、嵌入式编程等技能，但最终成功地解决了博主的“懒人”问题。
阅读更多
作者讲述了与插画家爱德华·戈里（Edward Gorey）之间非比寻常的书信往来。从孩童时期被戈里作品独特的风格吸引，到成年后与这位古怪的艺术家通信，分享彼此对文学、艺术、怪诞文化的共同兴趣。他们的书信充满奇思妙想，内容涵盖从谋杀案到古怪食谱，从伦敦廉价书店到僵尸行为，展现了戈里独特的语言风格和对细节的极致追求。文章最后，作者讲述了戈里书信离奇消失的故事，以及戈里为其活动绘制的封面至今仍被珍藏的经历，以此感叹人生如戏，充满了不可思议的联系。
阅读更多
我一开始自信满满地分配了1GB的ESP分区和1GB的boot分区，结果很快打脸。日常更新系统时，apt报错提示boot分区空间不足，罪魁祸首是新安装的显卡驱动模块。临时解决方案是清理旧内核版本，但治标不治本。最终方案是使用GParted缩小根分区，扩展boot分区，并使用rsync迁移数据，更新fstab和grub。过程中需要注意先执行grub install再清理旧分区，否则系统重启后可能无法引导。最后，我将旧boot分区改造成未加密的临时备份分区。
阅读更多
博主Dylan Beattie为了提升他每月举办的吉他卡拉OK之夜的体验，开发了一个系统，能自动将歌曲的和弦显示在视频上。他利用Vamp插件提取音频中的和弦信息，然后使用ImageSharp和FFmpegCore生成包含和弦的透明视频，最后将该视频与原视频合成。整个过程涉及音频分析、图像处理和视频合成等多个步骤，最终实现了在卡拉OK视频中实时显示吉他谱的功能。未来，他计划改进系统，实现自动节拍检测和批量处理功能。
阅读更多
作者分享了使用AI辅助编程的经验，提升了开发效率，并反思了当前软件工程师招聘的弊端。通过AI工具，作者完成了更复杂的代码，提高了代码质量，并减少了繁琐工作。然而，作者也指出，一些公司在面试中禁止使用AI，这忽略了工程师的系统性思维能力。作者认为，招聘应更注重工程师解决问题的能力和想象力，而非简单的代码记忆和检索能力。文章还讨论了在不同数据库中选择主键作为唯一标识符的策略，以及如何平衡开发效率和数据完整性。
阅读更多
Mistral AI发布了Mistral Saba，一个240亿参数的AI模型，专门针对中东和南亚地区语言（包括阿拉伯语和多种印度语言，尤其擅长南印度语系）进行训练。该模型体积小巧，可在单GPU上运行，速度快，成本低，且能够在本地部署，保证数据安全。Mistral Saba在多个领域展现出强大的应用能力，例如阿拉伯语会话支持、领域特定专业知识以及文化内容创作，为企业提供更准确、更贴合当地文化的服务。
阅读更多
斯坦福大学和华盛顿大学的研究人员仅用不到50美元的云计算费用，就训练出一个名为s1的AI推理模型，其性能与OpenAI的o1和DeepSeek的R1等尖端模型相当。他们通过蒸馏法，利用谷歌Gemini 2.0 Flash Thinking Experimental模型的答案和思考过程作为训练数据，并结合少量精心挑选的问题集（1000个），在16个Nvidia H100 GPU上训练不到30分钟就完成了。这一成果引发了人们对AI模型商品化的讨论，也让大型AI实验室感到不安。
阅读更多
迪士尼第一季度财报显示，Disney+在近几个月全球流失了70万用户，这与秋季的涨价政策有关。Disney+含广告版价格从7.99美元涨至9.99美元，无广告版从13.99美元涨至15.99美元。此外，迪士尼还在打击密码共享，这可能也导致了用户流失。尽管如此，迪士尼CEO鲍勃·艾格表示，用户流失情况好于预期。Hulu则在本季度增加了160万用户，达到5360万付费用户。迪士尼整体营收增长4.8%，这主要得益于电影《莫阿娜2》的票房收入超过10亿美元。
阅读更多
AppStat 是一款免费的应用程序性能监控工具，能够实时监控 CPU、内存、磁盘和线程指标。它拥有简洁直观的图形界面，可以帮助开发者快速识别资源瓶颈、内存泄漏和性能峰值，而无需中断工作流程。AppStat 支持深浅模式、置顶显示以及日志导出等功能，方便团队协作分析。
阅读更多
博主Clayton Ramsey分享了他将个人博客从手动编写HTML迁移到Zola静态网站生成器的经历。起初，他认为手动编写HTML并不难，但长期下来，处理数学公式（使用MathML）、代码高亮以及维护导航栏等细节问题让他不堪重负。于是，他尝试了Zola，并利用Python脚本转换LaTeX到MathML，最终实现了自动化部署。虽然过程中也遇到了一些挑战，例如GitHub Actions的YAML配置，但他认为迁移后的效率显著提高，编写新文章的门槛也降低了。
阅读更多
Nova Act SDK 旨在简化智能代理的开发，它允许开发者将复杂的工作流程分解成原子命令（例如搜索、结账、回答屏幕问题），并为这些命令添加更详细的指令（例如“不要接受保险附加销售”），还能调用API等，从而提高可靠性。目前智能代理技术仍处于早期阶段，Nova Act SDK 的出现是构建可靠代理的关键一步。
阅读更多
加密货币交易所Bybit遭受了据信来自朝鲜Lazarus集团的黑客攻击，损失近15亿美元，导致超过55亿美元的资金外流。攻击者窃取了Bybit冷钱包中约70%的客户以太币。Bybit CEO周焯华表示，交易所已采取紧急措施，包括获得贷款以处理提款，并开发新的软件来验证签名，以应对用户挤兑。尽管Bybit拥有储备金，但事件导致Safe暂时关闭其智能钱包功能，进一步加剧了危机。Bybit已与新加坡当局和区块链分析公司合作调查事件，并探讨了回滚以太坊区块链的可能性，但这需要社区共识。目前，攻击的具体原因仍在调查中。
阅读更多
SQLite3是一款轻量级、功能强大的嵌入式数据库，它不像MySQL或PostgreSQL那样复杂，而是以单文件形式存在，无需服务器即可运行。它支持完整的SQL语句，性能优异，甚至比直接文件I/O更快，可处理高达281TB的数据。SQLite3广泛应用于各种设备和应用，从手机到网站，其稳定性、易用性和安全性使其成为许多项目的理想选择，尤其适合中小型项目或对数据库管理要求不高的应用。
阅读更多
这篇博文提供了一些数学手写技巧，以避免在书写罗马字母、数字和希腊字母时出现歧义。作者强调了区分相似字母和符号的重要性，例如将小写字母 'l' 写成斜体以避免与数字 '1' 混淆，以及在 'p'、'q'、't'、'u'、'v'、'w'、'x' 和 'z' 上添加特定的笔画以使其与其他符号区分开来。此外，文章还详细介绍了如何书写希腊字母，以避免与罗马字母或其他希腊字母混淆。总而言之，这篇文章为提高数学手写清晰度和准确性提供了宝贵的建议。
阅读更多
AIOC 是一款带 USB-C 接口的小型适配器，可枚举为声卡（例如用于 APRS）、用于编程和断言 PTT（按下通话）的虚拟 tty（“COM 端口”）以及用于 CM108 样式 PTT 的 CM108 兼容 HID 端点（固件版本 1.2.0 中的新功能）。它基于易于破解的 STM32F302，带有内部 ADC/DAC，可通过 USB 引导加载程序使用 DFU 进行编程。它支持双 PTT HT，并与所有流行的操作系统（Linux、Windows 和 MacOS，但有一些限制）兼容。文章提供了关于制造、组装、构建、编程和使用 AIOC 的详细说明，以及 Direwolf、APRSdroid、CHIRP 和 VaraFM 等软件的兼容性说明。还讨论了已知问题和未来工作。
阅读更多
历经16年，Stack Overflow及其旗下网站正式告别位于新泽西的数据中心，所有服务器设备均已下架并妥善处理。此次迁移是Stack Overflow向云端全面转型的重要一步，标志着其基础设施的彻底云化。文章以生动的故事性叙述了迁移过程中的细节，从拆卸服务器、处理大量线缆到最终清空机房，展现了团队的辛勤付出与高效执行力。此次迁移不仅提升了效率，也保障了用户数据的安全。
阅读更多
研究人员利用深度学习和异质图神经网络，对具有生物传感、超分辨率显微镜和3D打印应用前景的上转换纳米粒子（UCNPs）进行了逆向设计。他们创建了一个包含6000多个UCNP发射光谱的大型数据集，并利用该数据集训练了一个GNN模型。通过基于梯度的优化，该模型识别出预测发射率比训练集中任何UCNP高6.5倍的结构，为UCNP的设计提供了新的原理，也为基于深度学习的纳米材料逆向设计提供了新的方向。
阅读更多
畅销书《论暴政》的图解版问世，作者蒂莫西·斯奈德从纳粹主义和共产主义等历史黑暗时刻中汲取教训，阐述了抵抗现代极权主义的二十条准则。插画师诺拉·克鲁格的精美插画，将斯奈德的文字内容转化为引人入胜的视觉体验。本书强调要警惕符号的滥用、独立思考、重视语言的精准性等重要原则，在动荡不安的时代，呼吁人们积极参与抵抗，守护民主自由。
阅读更多
好莱坞掀起一股“微剂量”潮流，明星们不再追求减肥，而是将糖尿病药物Ozempic（司美格鲁肽）等GLP-1受体激动剂以低于标准剂量的水平服用，以期获得其抗炎、提升认知和预防多种疾病的益处。医生们证实，微剂量服用能减少炎症，改善认知功能，甚至缓解关节炎等症状，且副作用较小，成本更低。虽然主要用于减肥的GLP-1抑制剂会带来令人不快的副作用，但微剂量服用可避免这些问题。这种趋势也反映了人们对健康长寿和抗衰老的追求。
阅读更多
厌倦了枯燥的编程？这款名为`vscode-pets`的VS Code插件，为你带来猫咪、狗狗、蛇等各种萌宠，陪伴你一起coding！插件安装简单，功能丰富，可自定义宠物类型和主题。更有来自全球贡献者的翻译支持，让你的编程之旅充满乐趣！
阅读更多
加州太平洋瓦电公司（PG&E）的电价远高于其发电和输电成本，导致居民电费负担过重。文章以Walnut Creek为例，分析了城市自建电网的可行性。通过对比Palo Alto市政电力公司的财务数据，作者计算出Walnut Creek自建电网后，电价可降低10-15美分/千瓦时，每年为居民节省约800美元。此外，自建电网还能促进绿色能源投资、推动能源转型，并增强城市财政稳定性。虽然面临初始投资成本，但长期收益巨大，值得城市政府认真考虑。
阅读更多
本文探讨了工作记忆在思维和学习中的关键作用。工作记忆就像大脑的“草稿纸”，承载着我们当前思考的信息。研究表明，对于简单的决策，有意识的思考更有效；但对于复杂的决策，无意识的思考往往更胜一筹。此外，工作记忆容量的提升可以通过训练来实现，并可能提高智商。文章还建议了一些策略来减轻工作记忆负担，从而提升思维能力和学习效率。
阅读更多
一位艺术家巧妙地利用两块翻转显示屏，模拟演奏了史蒂夫·莱希的经典音乐作品《拍手音乐》。通过控制显示屏上单个单元的翻转，艺术家创造出类似拍手的节奏和音效。该项目不仅展示了硬件和软件的结合，更体现了艺术家对声音和视觉的独特创意。项目代码已开源，为其他创作者提供了借鉴。
阅读更多
一个名为`/llms.txt`的标准化提案旨在简化大型语言模型（LLM）与网站的交互。该提案建立了一个网站信息目录，收集了众多公司和产品，涵盖AI开发工具、金融产品、网站等等，这些公司和产品都致力于推动`/llms.txt`标准的采用，从而提升LLM在各种网站上的应用效率和准确性。
阅读更多
一家公司在使用Wise账户五年后，账户突然被冻结，无法进行任何交易。账户内超过6万澳元的资金无法提取。尽管提供了Wise要求的所有文件，包括公司股东信息和所有者身份证明，但Wise客服始终无法解决问题，并反复要求提供已提交的文件。该公司多次尝试联系Wise客服，但均无果，最终只能眼睁睁看着巨款被冻结。
阅读更多
一项新的研究发现，全球超过8000名最常被引用的科学家至少有一篇论文被撤稿。研究人员分析了55000多篇撤稿论文的数据，发现被撤稿论文的自引率更高，合著者数量越多越容易被撤稿。撤稿率在不同国家之间也有差异，印度和中国大陆及台湾地区最高，芬兰、比利时和以色列最低。研究指出，论文数量与撤稿数量正相关，但这并不意味着所有撤稿都是学术不端，更重要的是要了解其背后的原因和规律。
阅读更多
这个网站提供了一个搜索联邦政府活跃拨款的工具。用户可以使用EIN、UEI或关键词进行搜索，系统会进行精确匹配和前缀匹配。为提高性能，仅显示前100个匹配项。这是一个方便的研究人员和机构查找政府资助的便捷工具。
阅读更多