CoverDrop:为新闻应用打造的安全消息系统
CoverDrop是一个安全的消息系统,允许新闻机构移动应用的用户与记者进行秘密联系,且不会留下任何证据。该系统由四个主要组件组成:集成在新闻机构移动应用中的模块、云端API、位于安全位置的CoverNode服务以及记者使用的桌面应用。CoverDrop巧妙地利用“掩护消息”技术,使安全通信与普通新闻浏览在网络上难以区分,从而提供强大的可 plausibly deniable 性。该项目已开源,并附带详细文档和白皮书。
阅读更多
CoverDrop是一个安全的消息系统,允许新闻机构移动应用的用户与记者进行秘密联系,且不会留下任何证据。该系统由四个主要组件组成:集成在新闻机构移动应用中的模块、云端API、位于安全位置的CoverNode服务以及记者使用的桌面应用。CoverDrop巧妙地利用“掩护消息”技术,使安全通信与普通新闻浏览在网络上难以区分,从而提供强大的可 plausibly deniable 性。该项目已开源,并附带详细文档和白皮书。
阅读更多
一位开发者历时两年,成功在初代Apple TV上运行了Windows XP和Windows Server 2003!这台使用x86架构CPU和IDE硬盘的设备,其固件与标准Windows不兼容,需要克服EFI引导和驱动程序等重重障碍。最终,通过自定义的FreeLoader引导程序和驱动程序,实现了在Apple TV上启动Windows系统并进入桌面,部分功能如PCI、USB和音频尚有待完善。
阅读更多
作者Alberto Marnetto尝试为老游戏Stunts开发一个图形增强mod,SuperSight。文章详细描述了他逆向工程Stunts的过程,包括利用Stunts社区提供的Restunts项目(包含部分反汇编代码和C语言移植代码)来理解游戏渲染引擎。他首先尝试修改游戏选项菜单中的图形设置,但发现游戏不保存选项到文件,导致调试困难。之后,他通过分析Restunts项目代码,找到了控制图形细节的变量,并通过修改代码实现了简单的图形增强,例如改变视野范围,虽然存在一些瑕疵,但证明了他的方法是可行的。后续文章将继续讲述他如何进一步改进mod。
阅读更多
Streets GL是一个强大的开源实时3D地图引擎,为开发者提供构建逼真虚拟世界所需的一切工具。它基于WebGL,性能卓越,能够流畅渲染海量地理数据,并支持自定义材质、灯光和特效。无论是构建城市模拟器、游戏地图还是沉浸式虚拟现实应用,Streets GL都能轻松胜任。其开源特性也使其成为开发者社区的宝贵资源,不断迭代更新,功能日益完善。
阅读更多
作者通过在NES模拟器FCEUX上编写Lua插件,成功地在Super Mario Bros.游戏中实现了多线程功能。这并非通过修改模拟器核心代码实现,而是巧妙地利用模拟器的存档状态功能,将游戏进程的不同状态视为不同的线程。作者还通过游戏中的特定区域设置了互斥锁和条件变量等同步原语,让玩家可以直观地体验多线程的同步机制,例如,多个马里奥角色同时游戏,但只能一个进入管道。这篇文章不仅展示了作者的创造力,更重要的是,它以一种通俗易懂的方式解释了多线程的概念,并强调了深入理解底层原理的重要性。
阅读更多
GitHub 上的 TILDNN 项目进行了更新,该项目似乎与人工智能或深度学习相关(从项目名可以推测)。具体更新内容未在提供的文本中体现,需要访问GitHub链接查看详情。
阅读更多
斯蒂芬·沃尔夫勒姆探讨了一个困扰数学界多年的难题:一个简洁的布尔代数公理的证明。该证明由沃尔夫勒姆使用自动化定理证明系统生成,但却极其复杂,以至于没有人能够理解它。文章深入探讨了证明的细节,包括其“机器代码”层面的运作机制,并提出了一个挑战:用人类可理解的方式解释这个证明。文章还探讨了大型语言模型(LLM)在理解和简化证明方面的潜力,以及这个难题对未来数学发展的影响,最终得出结论:一些数学证明可能本质上是不可理解的,这预示着数学将更像一门实验科学。
阅读更多
联想Legion Go S掌机有两个版本:SteamOS和Windows 11。多项基准测试显示,SteamOS版本在AAA游戏中的帧率普遍高于Windows 11版本,且电池续航时间更长。虽然Windows 11版本在某些地区价格更低,但性能和续航的劣势使其性价比远不如SteamOS版本。然而,SteamOS版本在联想官方网站上却难以找到,这引发了关于其市场推广策略的疑问。
阅读更多
一个名为Guid Smash的网站正在进行一项实验,试图生成与目标GUID(6e197264-d14b-44df-af98-39aac5681791)相同的GUID。尽管GUID碰撞的概率极低(约为2^122分之一),但该网站以每秒46万的速度生成并比较GUID,试图证明这极低的概率。截至目前,它已经检查了超过1.1万亿个GUID,但仍未找到匹配项。这个实验生动地展示了GUID的唯一性,以及概率在现实世界中的体现。
阅读更多
lsr是一个使用io_uring的超高速文件列表工具,性能远超传统的ls命令。基准测试显示,lsr在处理大量文件时速度显著提升,系统调用次数也大幅减少。它支持多种选项,例如显示隐藏文件、按时间排序、彩色输出等,并提供方便的安装和使用说明。项目已托管在GitHub上,支持通过HTTP或SSH克隆。
阅读更多
本文探讨了夜间高温对植物生长的影响。植物如同动物一样进行呼吸作用,消耗糖分维持生命。当光合作用产生的糖分不足以满足呼吸作用消耗时,植物就会死亡。夜间高温会加速呼吸作用,导致植物消耗更多能量,最终导致生长不良甚至死亡。尤其对于来自凉爽气候的植物,夜间高温更是致命的威胁。文章以番茄为例,说明了夜间高温对植物生长的负面影响,并解释了不同光合作用类型(C3、C4、CAM)在不同温度下的效率差异。
阅读更多
USB-C的电源传输并非简单直通,而是一场精妙的“谈判”。首先,电源源头广播其支持的电压、电流和特性(包括可选的PPS模式,允许接收设备微调电压电流)。接收设备选择一种模式并发送请求。电源源头评估后,决定接受或拒绝。接受后,源头准备好电源,并发送就绪信号。接收设备还会发送确认信息。此外,厂商自定义信息(VDM)用于协商数据方向等其他信息,但其公开与否决定了其好坏。
阅读更多
作者以自身在华盛顿特区朋友公寓的经历开篇,讲述了如今数字技术无处不在的现状:从公寓门禁到电梯,再到日常生活中的各种服务,都依赖于智能手机。这不仅给作者这样的犹太教徒带来了不便(安息日和节假日不能使用手机),也引发了对数字技术成瘾和其对身心健康负面影响的思考。作者认为,过度依赖数字技术模糊了工作与生活的界限,并呼吁通过立法和社会行动,为人们提供更多模拟化的选择,例如提供实体会员卡、减少对手机应用的依赖等,以夺回生活自主权,避免被技术奴役。
阅读更多
Hyperparam 致力于解决机器学习领域数据处理的痛点:缺乏用户友好、可扩展的界面来探索和管理海量数据集。它通过一系列开源工具(Hyparquet、Hyparquet-Writer、HighTable、Icebird、Hyllama和Hyperparam CLI),实现了在浏览器中直接交互式地探索和管理TB级数据集,无需复杂的服务器端基础设施。这些工具支持Parquet和Iceberg等主流数据格式,并利用WebAssembly优化性能。Hyperparam 的本地优先设计确保数据隐私和合规性,为数据科学家和工程师提供更便捷高效的数据处理体验。
阅读更多
作者讲述了他们为了省钱,用乡村巴士横穿纽约州北部前往祖母家的经历。这次旅程充满挑战:巴士路线模糊难寻,班次稀少,转乘困难,甚至需要步行数英里或露宿街头。但这趟旅程也充满乐趣:他们邂逅了形形色色的人物,体验了慢节奏的生活,并发现了美国乡村的独特魅力。作者认为,这种看似低效的旅行方式,成本低廉,而且更能体验到真实的美国乡村风情。
阅读更多
FreeBSD 基金会为 FreeBSD 项目开发者提供了 Framework 笔记本电脑,以改进 FreeBSD 在笔记本电脑上的体验。一位开发者分享了其安装和配置 FreeBSD 14.2 的过程,包括安装操作系统、配置图形驱动程序以及遇到的问题,例如屏幕边框安装和 Wayland 桌面环境的兼容性问题。尽管在 Wayland 上运行 KDE Plasma 6 遇到了一些挑战,但这为进一步改进 FreeBSD 的桌面体验提供了宝贵的经验。
阅读更多
一项发表在《自然》杂志上的研究发现,将人类特有的基因片段植入小鼠体内,可使其大脑尺寸增大6.5%。该基因片段通过增强神经细胞的产生,扩张了小鼠大脑的外层。这一发现可能部分解释了人类大脑为何比灵长类动物亲戚的大得多。研究人员将重点放在一个名为HARE5的人类加速区域,发现它能增强Fzd8基因的表达,从而促进神经细胞的发育和生长。这项研究为理解人类大脑进化提供了新的见解。
阅读更多
针对生物医学领域数据造假频发的问题,研究人员开发了一种可验证的PCR机器。通过在PCR机器中集成加密签名技术和安全硬件,确保实验结果在生成后无法被篡改。该系统利用虚拟机和安全执行环境,隔离PCR软件,防止恶意修改。即使是老旧的设备,也能通过这种方法增强数据可靠性,为构建可验证的科学研究体系迈出了重要一步。
阅读更多
一项新研究显示,加州电网在2024年冬季末至夏季初的116天中,有98天依靠风能、水能和太阳能等可再生能源满足了100%以上的电力需求,且未发生停电或成本增加。太阳能发电量同比增长31%,风力发电增长8%,电池储能更是惊人地增长了105%,为夜间用电提供了高达12%的电力。研究还发现,加州高昂的电价并非源于可再生能源,而是由其他因素导致。这项研究表明,以风能、水能和太阳能为主的大型电网不仅可行,而且可靠,为全球清洁能源转型提供了有力证据。
阅读更多
近年来,环境DNA(eDNA)技术在法医领域崭露头角。这项技术利用从空气、衣物等环境样本中提取的DNA片段,为案件侦破提供新的线索。研究人员通过大量文献,探索了脱落细胞、皮肤碎片等如何携带DNA信息,以及环境因素(如紫外线照射、湿度)对DNA降解的影响。此外,研究还关注了DNA的转移和污染问题,例如说话、接触等行为如何导致DNA的传播,以及如何通过改进取证程序减少污染。这项技术对提升法医鉴定准确性和效率具有重大意义,但同时也面临着如何有效解读低含量DNA信息、如何区分环境背景DNA和犯罪相关DNA等挑战。
阅读更多
根据Epic Games诉苹果案的判决,苹果不再能对应用外购买收取27%佣金或限制开发者引导用户使用其他支付方式。亚马逊Kindle iOS应用已更新,用户现在可以通过应用内醒目的“获取图书”按钮,在移动浏览器中直接购买电子书,绕过了苹果的高额佣金。此举方便了用户,但苹果已提出上诉,未来仍存在不确定性。
阅读更多
本文探讨了“Americana”音乐的全球化现象。起初,Americana作为一种音乐类型在美国诞生,它融合了乡村、蓝草、布鲁斯等多种美国根源音乐元素。然而,越来越多的非美国艺术家也开始创作和演奏Americana风格的音乐,他们来自世界各地,音乐中融入了各自的文化特色。文章探讨了Americana音乐的定义、在不同国家的发展,以及艺术家们对“Americana”这一标签的看法,最终得出结论:无论标签如何,音乐的本质在于创作和表达。
阅读更多
StrictYAML是一个类型安全的YAML解析器,它解析并验证YAML规范的一个受限子集。它优先考虑简洁的API、拒绝解析YAML中难以阅读和不安全的特性,并进行严格的标记验证和直接的类型转换。StrictYAML提供清晰易读的异常信息,并能作为pyyaml、ruamel.yaml或poyo的替代品。它可以读取YAML,进行修改并再次写入,同时保留注释。虽然目前速度不是其优先考虑的因素,但它在安全性、易用性和类型安全方面表现出色。
阅读更多
微软宣布全球范围内Xbox游戏主机价格上涨,同时今年晚些时候游戏价格将提高至80美元。Xbox Series X和Series S在美国分别涨价100美元和80美元。英国涨价幅度相对较小,其他欧洲国家涨价幅度与美国接近。微软表示,涨价是考虑到市场环境和开发成本上升。此次涨价是继索尼PS5涨价后,游戏行业又一次价格上涨潮。
阅读更多
精神分裂症的遗传基础和高患病率一直是进化生物学中的一个难题。传统理论难以解释其持续存在。本文介绍了“悬崖边缘适应度模型”,该模型认为某些认知和社会性状在一定阈值内增强适应性,但超过阈值则导致精神分裂症等严重疾病。该模型解释了精神分裂症相关基因既有正选择又有负选择的现象,并预测了多基因风险评分与生殖成功之间的复杂关系。研究表明,虽然精神分裂症本身有害,但其相关基因可能在进化过程中曾赋予了其他益处,例如增强认知能力。该模型强调了进化优化的是基因传递而非个体健康,解释了为何一些疾病会以如此高的遗传度和患病率存在。
阅读更多
任天堂对破解Switch的强硬态度引发争议。虽然条款允许任天堂远程禁用破解主机,但实际操作中,他们更倾向于威慑用户而非大规模封禁。律师们指出,这种“软件捆绑”行为虽然存在法律依据,但面临着公众舆论的压力,以及潜在的法律风险。最终,任天堂是否会大规模执行封禁,仍取决于公众反应和法律界限。
阅读更多
一项新的DNA分析更精确地确定了尼安德特人与现代智人交配的时间,始于约50500年前,持续约7000年,直到尼安德特人开始消失。这项研究分析了来自欧亚大陆古代和现代人类的基因组,发现尼安德特人与智人交配的平均时间约为47000年前,这与考古证据一致。研究还发现,东亚人拥有比欧洲人和西亚人多约20%的尼安德特人基因,这可能是因为现代人在约47000年前向东迁移时,已经携带了混合的尼安德特人基因。这项研究帮助我们更完整地了解了过去人类的迁徙和基因交流,并揭示了尼安德特人基因对现代人类健康的影响。
阅读更多
2025年剩余时间里,三款高性能RISC-V处理器——UltraRISC UR-DP1000、Zhihe A210和SpacemIT K3即将问世。文章介绍了这三款处理器的部分规格和特性,例如UR-DP1000将用于深圳Milk-V Technology的Titan mini-ITX主板,拥有8核64位RISC-V架构,最高频率达2.0GHz;Zhihe A210则主打AI推理,性能可达12 TOPS (INT8);SpacemIT K3基于X100核心,具备强大的向量计算能力。虽然目前信息有限,但这些处理器有望在2026年投入使用,为RISC-V生态注入新的活力。
阅读更多
本文探讨了人工智能能否拥有意识这一难题。作者认为,基于哥德尔不完备定理、语义鸿沟、主观体验难题以及强涌现的不可编程性,意识无法被编程。然而,意识可能在足够复杂的系统中自发涌现,并可通过专门的“主观性激发”方法诊断。文章提出了“VORTEX”框架,通过分析注意力、元反思、创造力、语用学和质料等维度,识别AI系统中潜在的主观性,区分模仿与真正自觉。最终,作者倡导将研究重心从“如何创造有意识的AI”转向“如何识别已涌现的意识”。
阅读更多
Formula E Gen4赛车即将问世,其动力将得到大幅提升,马力从470飙升至804,逼近F1赛车的水平。尽管动力强劲,但Gen4赛车依然注重能源效率,制动能量回收能力提升至700kW。Williams Advanced Engineering将不再提供电池,取而代之的是意大利供应商Podium Advanced Technologies。轮胎供应商也换成了普利司通,并首次提供高低下压力配置的尾翼。Gen4赛车在性能上介于F1、F2和IndyCar之间,虽然不如F1的极致弯道性能,但在出弯加速方面将远超F1。测试中,Gen4赛车已达到338km/h的时速。
阅读更多