本文探讨了以太坊简化协议的必要性及方法。作者认为，简化协议能提升安全性、降低开发成本、促进社区参与。文章提出了通过简化共识层（例如采用3-slot finality）和执行层（例如用RISC-V替换EVM）来实现这一目标。此外，文章建议共享擦除码、序列化格式和树结构等组件，以进一步减少协议复杂性。最终目标是让以太坊的关键代码简洁如比特币，提高其长期的可维护性和安全性。
阅读更多
Nextcloud 安卓应用的上传功能受到了谷歌的限制，只能上传照片和视频，其他文件无法上传。谷歌以安全为由撤销了关键权限，但 Nextcloud 认为这是谷歌打压竞争对手的行为。尽管 Nextcloud 多次申诉，但谷歌拒绝恢复权限，影响了数百万用户。Nextcloud 认为这是大型科技公司利用其平台优势打压竞争对手的典型案例，并呼吁加强对大型科技公司的监管。
阅读更多
本文是关于打造一款智能手表系列文章的第一篇，作者介绍了选择SiFli公司SF32LB52J芯片作为Core Time 2智能手表的核心芯片的过程。作者回顾了先前Pebble智能手表使用STM32F2芯片的经验，并解释了选择MCU时需要考虑软件兼容性、功耗和成本等因素。最终，SiFli芯片以其512KB SRAM、16MB PSRAM、低功耗和开源SDK等优势胜出，为开源PebbleOS生态注入了新的活力。
阅读更多
Ash是一个强大的应用开发框架，提供一系列预设方案，方便开发者快速构建应用。用户可以选择包含Phoenix LiveView、GraphQL、PostgreSQL等不同组件的预设，并根据需要后期添加其他功能，例如AI、财务、自动化等模块。即使是新手，也可以轻松上手，通过简单的命令行安装和PostgreSQL数据库快速启动项目。
阅读更多
一家公司在使用Wise账户五年后，账户突然被冻结，无法进行任何交易。账户内超过6万澳元的资金无法提取。尽管提供了Wise要求的所有文件，包括公司股东信息和所有者身份证明，但Wise客服始终无法解决问题，并反复要求提供已提交的文件。该公司多次尝试联系Wise客服，但均无果，最终只能眼睁睁看着巨款被冻结。
阅读更多
通用汽车正与LG合作开发富锂锰（LMR）电池，用于其电动卡车和SUV。这种新型电池比现有技术更安全、能量密度更高、成本更低。通用汽车计划到2028年在美国开始商业化生产，成为首家在电动汽车中部署LMR电池的汽车制造商。LMR电池使用更多锰，减少了对昂贵钴的需求，有望降低电动汽车成本，并提升续航里程至400英里。虽然LMR电池存在容量损失和热稳定性下降的挑战，但通用汽车表示已找到解决方法，并对该技术充满信心。
阅读更多
EM-LLM 是一种新型架构，它通过模仿人类情景记忆和事件认知，显著提升了大型语言模型处理超长文本的能力。该模型无需微调，就能将输入文本序列组织成连贯的情景事件，并通过高效的两阶段记忆检索机制访问相关信息。在 LongBench 和 ∞-Bench 基准测试中，EM-LLM 的性能超越了现有最先进的检索模型 InfLLM 和 RAG，甚至在大多数任务中优于全上下文模型，成功处理了 1000 万个 token 的检索任务，这对于全上下文模型来说是计算上不可行的。EM-LLM 的事件分割与人类感知事件高度相关，为探索人类记忆机制提供了新的计算框架。
阅读更多
作者分享了一系列改变其对编程语言和编译器理解的论文和博文，涵盖垃圾收集、代码优化、寄存器分配、正则表达式引擎、机器学习、SSA 形式、编译器设计等多个方面。这些文章以其简洁性、创新性和实用性，为作者提供了新的视角和思路，例如使用Z3作为证明引擎，利用模糊测试发现bug，以及高效的表达式解析方法等。文章体现了作者在持续学习和探索编程语言领域的深度和广度。
阅读更多
Mycelium 是一种基于类型的数据存储和传输格式，支持引用、表达式、函数、类型等。其虚拟机 MVM 以简洁高效著称，所有值都是不可变的，并通过端口进行进程间交互。MycZip 则负责将 Mycelium 值编码为单个文件，而 Mycelium 网络协议 (MNP) 基于 QUIC，用于在对等节点之间传输数据，并缓存已传输的值以提高效率。Spore 语言则为 MVM 提供了易于使用的编程接口。
阅读更多
上海推出了一种新型的定制公交系统“DZ”，乘客可以通过线上平台提交路线建议，当需求达到一定数量（通常15-20人）后，路线即可上线运营。目前已有超过220条DZ路线覆盖全市16个区。该系统根据乘客需求动态调整运力，提高了资源利用率，但也面临着乘客需求不均、公众认知度低以及规划依赖人工等挑战。
阅读更多
DeepSeek创始人梁文锋外表谦逊内敛，但在人工智能领域却展现出过人的天赋。他看似害羞，实则心思缜密，善于提出尖锐的技术问题。他鼓励年轻的研究人员大胆尝试，甚至亲自参与项目更新，分享技术突破。这种独特的工作方式，使得DeepSeek在AI领域取得了令人瞩目的成就。
阅读更多
RPG in a Box是一款简单易用的游戏创作工具，无需编程或建模经验，即可创建RPG游戏和其他互动体验。它提供了像素编辑器、地图编辑器、可视化脚本编辑器、对话编辑器、相机系统、UI自定义、物品系统和音效生成器等功能，支持导出至Windows和MacOS平台。即使是新手也能轻松上手，创造属于自己的游戏世界。
阅读更多
SpaceX公司可能未充分调查EchoStar公司在2GHz频段的广泛使用情况。EchoStar公司已部署超过23000个5G站点，覆盖美国80%以上人口。然而，VTel Wireless公司质疑FCC给予EchoStar更多时间完成5G网络建设，认为这违反了之前与T-Mobile合并协议中EchoStar的承诺。FCC现正寻求公众意见，调查EchoStar对2GHz频谱的使用情况，以及VTel公司关于重新考虑建设期限的申请。
阅读更多
本文深入探讨了GPU在纹理采样过程中Mipmap级别选择机制的细节。作者从纹理混叠问题出发，解释了Mipmapping技术及像素导数（ddx()/ddy()）的作用。通过分析GLES3.0规范和DirectX 11.3规范，结合实验结果，作者揭示了Mipmap级别选择与像素导数关系的复杂性，以及不同厂商GPU实现上的差异。文章还深入研究了椭圆变换和各向异性过滤对Mipmap级别选择的影响，并提供了相应的软件实现，最终与硬件实现进行了比较。
阅读更多
作者应聘Kagi Search公司，收到一份耗时一周的“带回家作业”：构建一个邮箱客户端。尽管作者提交了超出要求的完善方案，包括详细的提案和AWS部署，最终仍被无理由拒绝，只得到一句“我们收到了其他更简单的方案”。作者批判了这种浪费求职者时间和资源的招聘流程，并呼吁改进，例如采用异步或同步的实时代码审查等方式。
阅读更多
Replicube是一款开放式编程益智游戏，玩家通过编写代码来复制3D像素物体。游戏中包含谜题关卡，需要玩家编写代码匹配目标物体，没有唯一答案，只要代码生成的物体相同即可。此外，玩家可以在自由编辑模式下创作，并使用2D图像编辑器生成图像和GIF动画。游戏还设有排行榜和在线论坛，玩家可以分享作品并挑战彼此。支持Windows、macOS和Linux系统。
阅读更多
为了避免家人在关键时刻打扰，我制作了一个物联网设备“Tabajara”。它通过连接到Wi-Fi的ESP32和Arduino框架实现。当我的网络摄像头开启时，设备会点亮办公室门的LED面板（红色表示正在开会，蓝色表示未开会）。Python守护程序定期查询Apple的API以检查摄像头使用情况，并向ESP32发送相应的请求。这个简单的设备有效地解决了在家工作的会议被打扰的问题。
阅读更多
本文追溯了安全别针从古代到现代的演变史。从荷马史诗中提到的珠宝别针到古罗马的fibula，再到1849年Walter Hunt发明的现代安全别针，其设计几百年来几乎没有改变。安全别针不仅是日常必需品，更在朋克文化中成为象征，并在体育赛事中发挥着关键作用。其简单、优雅的设计使其成为跨越文化和时代的实用工具，甚至在一些文化中被赋予了避邪或带来好运的意义。
阅读更多
Airbnb 正在从单次旅行住宿平台转型为更频繁使用的综合性平台。其新版App采用简洁直观的图标设计，引导用户进入住宿、服务和体验三大板块。为了提升用户信任度，Airbnb 对新入驻的服务提供者（如厨师、按摩师等）进行严格背景审核和专业摄影。未来，Airbnb 还计划将用户个人资料发展为主要的互联网身份标识，并增强其内部消息功能，打造一个连接旅行者的社群平台，而非广告平台。这一转型背后，是 Airbnb 创始人 Chesky 对苹果公司设计理念的致敬，以及与前苹果设计师 Jony Ive 的合作。
阅读更多
特朗普政府计划接受卡塔尔王室赠送的价值4亿美元的豪华747-8客机，作为临时“空军一号”。然而，将其改装至总统安保标准可能需要数年时间，并耗资数亿美元。这架飞机将暂时用作“空军一号”，之后所有权将转移至特朗普总统图书馆基金会，此举引发了法律和道德质疑。安全专家警告称，改装外国飞机以达到总统标准将极其昂贵且耗时，并可能扰乱已经延期的波音替换计划。现有“空军一号”经过高度改装，具备强大的防御和通讯系统，改装卡塔尔飞机将面临巨大的安全隐患和成本问题，远不如继续使用现有的飞机直到新飞机交付。
阅读更多
研究表明，减少肉类消费比追求可持续肉类生产更有效地降低饮食碳足迹。即使是最环保的肉类（如低排放牛肉），其碳排放量也远高于植物性蛋白来源（如豆类、豆腐）。该结论基于对全球超过38000个商业农场数据的分析，考虑了不同生产方式和地域差异。虽然可持续肉类生产很重要，但对于个人而言，减少肉类摄入或选择鸡肉、猪肉等低排放肉类，才是降低饮食碳足迹的最有效方法。
阅读更多
哈佛大学图书馆数字化的3000多张关于HIV/AIDS疫情的海报，展现了公共卫生宣传的演变。早期海报以简洁信息和视觉冲击为主，强调单一信息和情感共鸣，引导行动（如提供电话号码或网站）。随着时间的推移，宣传策略转向多渠道、针对不同受众，并从羞辱转向积极肯定的沟通方式。研究者强调，通过与受众共同创作信息，才能更好地传递信息，并最终利用现代预防和治疗手段，例如PrEP和抗逆转录病毒药物，来终结艾滋病毒的传播。
阅读更多
宾汉姆顿大学的Guy German教授及其团队研究了长期浸水后手指起皱的原因。之前的普遍认知是水使皮肤膨胀导致起皱，但研究发现，其实是皮肤下的血管收缩导致了皱纹的形成。更有趣的是，他们通过重复实验发现，皱纹的图案在多次浸水后保持不变，这与血管的相对稳定位置有关。这项研究甚至意外发现，患有正中神经损伤的人手指不会起皱。这项研究成果未来可能应用于法医领域，例如改进指纹识别技术。
阅读更多
亚马逊Audible宣布将推出新的AI技术，彻底改变有声书制作流程。这项技术允许出版商轻松地将图书转换成有声书，并可以选择AI生成的多种语言和口音的声音。此外，Audible还将推出AI翻译工具，支持多种语言互译，进一步拓展全球有声书市场。出版商可以选择Audible全权负责制作流程，或使用自助工具独立完成。这项创新有望极大提升有声书产量和全球可及性。
阅读更多
一位开发者构建了一个基于Python和Sympy库的交互式数学证明助手，它能够半自动地证明涉及标量函数的渐近估计。该工具模仿Lean证明助手，支持线性算术和对数线性算术，并允许用户通过提供高级策略来引导证明过程。该助手目前以Python交互模式运行，但未来计划添加图形用户界面。开发者计划扩展该工具以处理更广泛的数学任务，例如函数空间范数的估计。
阅读更多
本文作者总结了Rust学习者常犯的错误，并提供实用建议。核心在于转变思维模式，将编译器视为合作者而非敌人，积极利用其错误提示学习。作者建议从简单案例入手，逐步增加复杂度，熟练掌握所有权、生命周期等核心概念。此外，作者强调注重细节，阅读标准库文档，并通过实践和代码审查不断提升技能。
阅读更多
本文深入比较了Zig和Rust在内存安全性方面的差异。Rust通过强大的编译时证明机制，几乎彻底消除了内存安全漏洞，而Zig虽然在C的基础上做了改进，例如使用了切片类型和边界检查，但仍然很容易出现内存安全问题，例如悬空指针和缓冲区溢出。作者通过自身经验和项目数据对比，论证了Rust在大型项目中的内存安全优势，但也指出Zig在某些特定场景，如Wasm沙箱环境下，可能具有应用价值。未来，Zig的成功可能取决于廉价运行时缓解措施的发展。
阅读更多
arXivLabs是一个框架，允许协作者直接在arXiv网站上开发和分享新的功能。参与arXivLabs的个人和组织都秉承了开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果你有想法能够为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
从小喝Jolt Cola长大，作者在它退出瑞典市场后尝试了各种可乐替代品，最终在2013年被Volt Cola征服。然而，健康问题让他不得不尝试咖啡。起初，作者讨厌咖啡的苦涩和高温，但为了健康，他开始尝试轻度烘焙咖啡。在YouTube咖啡达人James Hoffmann的启发下，他购买了研磨机和Clever Dripper，并尝试了许多咖啡豆，最终找到了自己喜欢的轻盈多汁的咖啡豆类型。文章最后，作者邀请读者分享咖啡豆推荐。
阅读更多
知名创业孵化器 Y Combinator 在美国针对 Google 的反垄断诉讼中提交了法庭之友简报，指控 Google 扼杀了美国初创企业生态系统。YC 声称 Google 的垄断地位使其不敢投资可能挑战 Google 主导地位的网络搜索和 AI 初创公司，导致创新停滞。YC 呼吁 Google 采取措施，例如开放搜索索引，并提出如果 Google 未在五年内做出改变，则应强制其剥离部分业务。尽管 YC 与 Google 存在合作关系，但它也与 OpenAI 密切合作，这使得其立场更为复杂。
阅读更多