根据荷兰国际集团(ING)研究报告，随着电动汽车开始占据市场主导地位，预计未来五到十年内，荷兰一半的加油站将关闭。该行经济学家表示，未来加油站的收入将不足，目前4131家加油站中只有约2000家能够继续经营。报告指出，主要是小型无人加油站将消失。预计大型品牌如壳牌、BP和道达尔等将不会受到影响，而受冲击的将是小型的独立加油站，包括家族企业。
阅读更多
尽管美国在 2019 年出台法律禁止政府机构与使用华为设备的实体签署合同，但由于华为在全球电信设备收入中占据近三分之一的份额，寻找替代方案几乎不可能，五角大楼难以完全避免与依赖华为技术的公司开展业务。五角大楼认为，严格遵守这些限制将 disrupt 其采购医疗用品、药品、服装和其他类型的后勤支持的能力，并已寻求正式豁免其在该法案下的义务。
阅读更多
magick.css是一个极简的CSS框架，设计易于使用和理解。它包含在一个文件中，每个选择都有注释。 magick.css的目标是在最大限度地提高可读性和信息传达能力的同时，实现优雅而神奇的外观，类似于巫师的笔记。该框架在所有设备和屏幕尺寸上都保留了它的美观和功能，并且完全不需要JavaScript。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25513610/VRG_Roku_Broke_TV_K_Radtke_3.jpg)
Roku 于 6 月 6 日发布的 13.0.0 版本系统更新后，强制开启了“运动平滑”功能，导致许多用户，尤其是TCL电视用户深受其害。Roku 方面至今未对用户的反馈做出回应，也没有提供任何解决方案。作者认为，Roku 此举不仅损害了用户体验，也反映了其糟糕的客户服务和品牌意识，最终很可能导致用户流失。
阅读更多
这篇文章探讨了在特定情况下，向Java进程发送`kill -11`信号（SIGSEGV）是否会导致NullPointerException。HotSpot JVM使用信号处理程序来捕获SIGSEGV，并在某些情况下将其解释为NullPointerException。文章解释了HotSpot如何处理SIGSEGV，以及如何构造一个Java程序和发送信号，使其在接收到`kill -11`时抛出NullPointerException。
阅读更多
本文讲述了作者如何逆向工程分析自己文凭上的二维码验证系统。作者发现该系统使用RSA加密算法，并详细分析了其加密和解密过程，但由于系统采用了一些不安全的做法，例如使用PKCS#1 v1.5填充，作者尝试利用Bleichenbacher填充攻击来伪造文凭，但最终失败。
阅读更多
本文批判性地反思了尼尔·斯蒂芬森小说《钻石时代》中“年轻女士插图启蒙读本”的教育科技愿景。作者赞赏其沉浸式体验、响应性、学习保证和情感投入，但批评其灌输性、孤立性和过度依赖游戏化。作者主张构建一种新的学习环境，它融入现实世界，支持有意义的行动，并增强内在满足感，而非仅仅追求娱乐。
阅读更多
本文评测了高通骁龙 X Elite 处理器中的 Adreno X1 iGPU，将其与英特尔 Meteor Lake 的 Xe-LPG 和 AMD Phoenix 的 RDNA 3 iGPU 进行比较。Adreno X1 在 32 位和 16 位浮点运算方面具有竞争力的计算吞吐量，并拥有比竞品更强的 DRAM 带宽。然而，Adreno X1 的缓存带宽较低，延迟表现平庸，寄存器文件容量也有限。虽然 GMEM 灵活，但 Adreno 似乎更适合像素着色器工作占主导地位的 DirectX 11 时代。此外，驱动程序和软件支持尚未完善。
阅读更多
Browspilot 是一款 Chrome 浏览器扩展程序，可以全文搜索用户的浏览历史记录。用户可以使用任何关键词搜索浏览历史，或滚动浏览过去的活动。该扩展程序还提供域名过滤、主页、个性化背景、列表和详细视图等功能。
阅读更多
Nex Computer公司旗下的Nex Devices设备可以将智能手机变成笔记本电脑、平板电脑或台式电脑。NexDock是一款可以通过有线或无线方式连接手机的笔记本电脑扩展坞；NexPad则可以将手机变成平板电脑；即将推出的NexDock XL则是一款更大尺寸的笔记本电脑扩展坞。
阅读更多
该GitHub仓库包含阿波罗11号任务中指令舱(Comanche055)和登月舱(Luminary099)的原始制导计算机源代码。这些代码由虚拟 AGC 和麻省理工学院博物馆的团队进行数字化，旨在保存和分享阿波罗11号任务的关键历史资料。
阅读更多
文章探讨了北美东部山楂树的种类和数量之谜。曾经被认为种类繁多的山楂树，如今却面临着灭绝的风险。文章介绍了山楂树独特的繁殖方式和欧洲殖民对它们栖息地的影响，并探讨了山楂树物种界定难题对保育工作的影响。最后，文章提出了一个开放性问题：我们应该如何看待山楂树的多样性，以及我们应该付出多少努力去拯救它们？
阅读更多
英国百代公司拥有从1896年到1984年间22万部新闻影片，这些影片具有无与伦比的历史和文化意义。网站提供新闻片授权服务，并定期更新精选影片，方便新闻编辑和记者查找重要纪念日、背景资料或热门话题素材。
阅读更多
Rollstack 是一家致力于改变专业人士工作方式的初创公司，该公司获得了 Y Combinator 的支持。Rollstack 允许团队使用 BI 工具、CRM 和数据仓库自动创建和更新幻灯片和文档。目前 Rollstack 正在招聘多个职位，包括高级软件工程师、高级客户经理等。
阅读更多
这篇文章探讨了C++中缺乏对重载集类型的支持所带来的问题。作者以将数字列表转换为字符串列表、计算最小值以及使用std::bind_front为例，说明了在处理重载函数时，由于缺少重载集类型，开发者不得不求助于lambda表达式来解决问题。文章进一步解释了lambda表达式如何模拟重载集的行为，并讨论了P3312提案，该提案旨在为C++引入重载集类型。最后，作者总结了lambda表达式在处理重载函数方面的局限性，并展望了未来C++中重载集类型的引入。
阅读更多
th64 是一个用 C 语言编写的微型哈希函数，通过了 SMhasher3 中的所有测试。它对于小键（1-32 字节）的速度很快，为 43 个周期/哈希，对于大键的速度也很快，为 2.61 字节/周期（8.52 GiB/秒）。
阅读更多
Hurricane Electric 的域名被 Network Solutions 列入“客户暂挂”名单，原因是收到了一起关于网络钓鱼的投诉。该投诉针对的是一个网页，该网页恰好是来自 bgp.he.net 的关于另一个域名的信息页面。Hurricane Electric 已联系 Network Solutions 数小时，但对方拒绝以任何 expedited 方式处理此问题。
阅读更多
本文探讨了电池成本下降的趋势及其对未来电网的影响。作者通过分析学习曲线和材料成本，预测到2030年电池成本将降至每千瓦时8美元，并认为钠电池的出现将进一步降低成本。作者认为，廉价的电池将彻底改变电网，使其从自上而下的管理模式转变为以分布式、自下而上的模式，并促进太阳能和风能的大规模应用。
阅读更多
本文作者利用 GPT-4o 和 LangChain 分析了过去两年 Hacker News 招聘帖下超过 10000 条评论，对当前就业市场趋势进行了数据可视化分析，包括远程工作比例、签证赞助情况、经验要求、热门地区、常用数据库和 JavaScript 框架等。
阅读更多
格拉斯哥大学的天文学家利用分析引力波的统计模型技术，对安提凯希拉装置（已知最古老的模拟计算机）的一个破损环上的孔数进行了推断。结果表明，该环更有可能拥有354个孔，对应于希腊阴历，而不是365个孔的埃及历。这项研究为安提凯希拉装置的日历环功能提供了新的证据，并突出了古希腊人精湛的工艺水平。
阅读更多
sc-im 是一款基于 ncurses 的类 VIM 电子表格计算器，支持 VIM 编辑命令、撤销/重做、CSV/TAB/XLSX 文件导入导出、单元格格式化、排序、过滤、脚本支持等功能，可通过 Patreon 或 PayPal 捐赠支持开发。
阅读更多
亚马逊Kindle电子书阅读器出现系统故障，导致用户无法下载新购买的书籍以及未下载到本地的任何书籍。据亚马逊客服称，服务器问题是导致此次故障的原因，预计将在48小时或更长时间内恢复正常下载功能。此次故障影响范围广泛，仅限于Kindle电子书阅读器，而Android和iOS上的亚马逊Kindle应用程序不受影响。
阅读更多
微软正在测试新版 Windows 11 开始菜单，将用户账户信息移至中心位置，并突出显示微软产品和服务。然而，此举隐藏了“锁定”、“注销”和“切换用户”等常用功能，用户需要额外点击才能使用，引发了用户的不满。
阅读更多
Ready Player Mode是一款Emacs插件，方便用户在Emacs中快速浏览媒体文件。它提供类似于图片模式的便捷操作，允许用户使用n/p键浏览前后文件，并提供播放和使用外部应用打开的按钮。此外，它还支持显示基本元数据。
阅读更多
文章分析了当前基于属性测试库的现状，指出多数库缺乏对状态机模型和并行测试的支持。作者认为，状态机模型的学习曲线和开源模式的局限性是造成这一现状的原因。文章以计数器、循环缓冲区、水壶谜题和进程注册表为例，展示了如何使用伪对象作为模型，简化状态机模型的编写，并通过合约测试保证伪对象的可靠性。作者认为，这种方法可以降低基于属性测试的学习曲线，并提高测试效率。
阅读更多
美国北卡罗来纳州立大学的研究人员开发了一种受折纸启发的机械计算机，它使用刚性互连聚合物立方体的复杂结构来存储、检索和擦除数据，而无需依赖电子元件。该系统还包括一个可逆功能，允许用户控制何时允许编辑数据以及何时应锁定数据。这种新型机械计算机的基本单元是1厘米的塑料立方体，每64个互连成立方体组成一个功能单元。这些功能单元可以组合成更复杂的元结构，用于存储更多数据或执行更复杂的计算。
阅读更多
Racket Plot 食谱是一个不断更新的代码示例集合，用于使用 Racket Plot 库创建各种图表。该项目欢迎开发者贡献代码、图片和简短描述，所有贡献需遵循与 Racket 相同的 MIT 或 Apache 2 许可协议。
阅读更多