苹果应用商店拒绝上架 UTM，这是一款适用于 iPhone 和 iPad 的通用 PC 系统模拟器。尽管最近苹果允许复古游戏机模拟器上架，但苹果认为“PC 不是游戏机”，因此拒绝了 UTM。此外，苹果还阻止 UTM 在欧盟的第三方应用商店中上架，理由是违反了关于模拟器的规定。UTM 开发者表示，由于 iOS 应用无法使用 JIT 编译器，模拟器的功能和性能受到限制，因此将继续通过 Xcode 等旧的“灰色市场”侧载方式提供 UTM for iOS。
阅读更多
这篇文章介绍了Strandbeest，这是一种由荷兰艺术家Theo Jansen创作的大型动力学雕塑。这些雕塑使用风能驱动自身在沙滩上行走，其复杂的腿部结构和运动机制令人惊叹。
阅读更多
本文讲述了Halide团队如何在45天内构思、设计和开发iPad应用程序Orion的故事。Orion可以让iPad变身为HDMI显示器，其设计灵感源于80年代复古科技产品的独特美学。文章详细介绍了团队如何克服技术挑战、设计出独特用户界面和体验，以及如何在紧迫的期限内完成产品发布的过程。
阅读更多
挪威斯瓦尔巴特群岛海岸附近，在水下3000多米深处，发现了一个巨大的热液喷口场。这个名为Jøtul的热液场位于Knipovich 海脊，绵延至少一公里，宽200米，其热液活动由海底火山活动释放的热量造成。这些喷口释放出丰富的矿物质，为依赖化学合成的生物群落提供了基础，形成了一个生机勃勃的深海生态系统。这一发现填补了挪威-格陵兰海热液分布图中一个重要的空白，并为了解化学合成动物群落的分布提供了重要信息。
阅读更多
这篇文章介绍了如何在 NixOS 中像其他测试框架一样以交互方式运行测试。文章提供了一种使用 Python 调试器在测试脚本中插入断点并与之交互的方法，并给出了一个使用示例。文章末尾还提到了交互过程中遇到的一些问题，并建议谨慎使用 Ctrl-c/Ctrl-d 快捷键。
阅读更多
这篇文章讨论了Emacs Lisp的优缺点，以及为什么一些人认为它是一种糟糕的语言。文章列举了Emacs Lisp的一些缺陷，例如缺乏命名空间、模块、包、对象系统、并发性以及难用的正则表达式等。文章还讨论了Emacs Lisp缺乏词法作用域以及与其他Lisp方言（如Scheme和Common Lisp）的区别。最后，文章总结了一些人对Emacs Lisp的改进建议，例如引入闭包、优化编译器、并发模型、集合、与外部世界的接口、安全性和模块化等。
阅读更多
随着航空业的快速发展，美国航空、达美航空和联合航空等大型航空公司正面临航班号即将耗尽的困境。尽管航班号上限为9999，但与合作伙伴的代码共享协议使得实际使用的航班号数量远超这个数字。为解决这一问题，航空公司采取了一些措施，例如在一天内将相同的航班号分配给多个航班，但治标不治本。究其原因，航空公司使用的计算机系统建立在60年前的系统基础之上，难以进行调整以支持5位数的航班号。尽管有人提出使用字母数字组合等解决方案，但考虑到成本和技术难度，航空公司尚未找到最佳解决方案。
阅读更多
随着互联网时代的到来，私营公司和开源情报正在蓬勃发展，为政府和企业提供情报服务。这为传统情报机构提供了新的工具和数据，但也引发了一系列问题，例如公开与秘密之间的界限、法律、道德和隐私问题等。
阅读更多
本文是一篇博主对Surface Pro 4安装Linux系统的体验测评。博主尝试了EndeavourOS和Fedora Workstation 40两个发行版，总体使用体验良好，电池续航、屏幕旋转、高清显示等功能正常。然而，触控识别问题成为一大败笔，包括随机出现的幽灵触控和手掌误触，严重影响了平板模式下的使用体验。最终，博主无奈放弃Linux系统，选择回归Windows 10。
阅读更多
MicroPython 1.23版本带来了多项重要改进，包括自定义USB设备支持、OpenAMP改进、WebAssembly移植优化、库结构重构、RP2040端口性能提升等。自定义USB设备支持允许开发者轻松创建各种USB设备，如HID、MIDI等。OpenAMP改进增强了MicroPython与其他CPU内核上不同系统间的通信。其他改进还包括WebAssembly移植优化、库结构重构以提高与CPython的兼容性、RP2040端口性能提升10%等。
阅读更多
本文节选自科尔姆·托宾的新书《论詹姆斯·鲍德温》，文章探讨了詹姆斯·鲍德温是如何在公共生活中汲取创作灵感，并将个人经历融入到作品中。文章详细描述了鲍德温积极参与民权运动，以及他对社会改革和种族问题的独特见解，并分析了他如何在写作中展现个人灵魂和内心世界，以及如何将非虚构写作与虚构写作相结合，最终形成自己独特的写作风格。
阅读更多
LlamaPReview 是一款免费的 GitHub AI 代码审查助手，可自动审查每个 PR。它无需配置，一键安装即可使用，并支持所有主要编程语言。该工具通过深度代码理解和上下文分析，提供智能评论和优化建议，帮助提升代码质量。
阅读更多
这篇文章是一位经验丰富的科技行业从业者分享的关于如何在动荡的就业市场中保持工作的建议。作者认为，与其依赖公司提供的稳定性，不如专注于打造个人品牌，成为别人离不开的人才。文章提出了“让老板害怕”和“让老板开心”的策略，强调要勇于承担责任，为团队做出贡献，并巧妙处理分歧，最终实现个人价值和职业安全感的双赢。
阅读更多
本文分析了美国房价高企的原因，指出建商通过金融杠杆囤积土地，形成寡头垄断，导致住房供给不足，推高了房价。作者呼吁政策干预，例如为小型开发商提供平等的信贷机会、限制土地囤积、加强市场监管等，以解决土地垄断问题，增加住房供应，抑制房价上涨。
阅读更多
本文记录了作者在确诊患上鳞状细胞癌后一年来的心路历程。从最初的肿瘤复发，到决定进行手术，再到术后接受化疗和参与临床试验，作者详细描述了治疗过程中的挣扎、恐惧和希望。作者坦诚地分享了失去舌头后的生活，以及他对未来的不确定性。尽管面临种种挑战，作者依然在努力寻找生活的意义，并表达了对家人、朋友和所有帮助过他的人的感激之情。
阅读更多
本文介绍了作者如何使用 Rust、数据包捕获和 Polars 来调试 QuestDB 中的网络带宽过高问题。作者首先使用 Rust 编写了一个网络流量捕获工具，该工具使用 pcap 库捕获数据包的时间戳和大小，并将数据写入内存映射文件中。然后，作者使用 Python 和 Polars 库分析数据，通过 pyarrow 将数据加载到 Polars DataFrame 中，并使用 group_by_dynamic 函数对数据进行分组和聚合。最终，作者通过分析网络流量数据，确定问题的原因是重复上传了整个表的元数据，并通过修改代码解决了问题。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/8903613/Nintendo_Switch.jpg)
继微软和索尼之后，任天堂也宣布停止支持 Switch 与 X 平台（前身为推特）的集成。这意味着用户将无法再将 X 帐户链接到 Switch 主机，也无法将游戏截图直接分享到该平台。此次更新还包括一些常规的稳定性改进，并取消了通过 Switch 的好友推荐功能关联社交媒体帐户的功能。尽管 X 游戏官方曾表示与任天堂的合作关系依然稳固，但随着 API 定价调整，成本可能成为各平台放弃集成的主要原因。
阅读更多
这篇来自Trail of Bits的博客文章详细分析了AWS Nitro Enclaves的安全风险，并为开发者提供了可操作的建议。文章涵盖了虚拟socket安全、随机性和熵源、侧信道攻击缓解、内存管理、时间源注意事项、证明最佳实践以及NSM驱动安全等主题。文章强调了将enclaves视为单个信任区域的重要性，并建议开发者采取措施，如强化虚拟socket、验证随机性源、使用正确的时钟源、实施稳健的证明实践以及验证随机数和时间戳等，以降低enclaves工作负载遭受攻击的风险。
阅读更多
本文记录了作者在OpenVMS x86系统上编译1992年版本的俄罗斯方块游戏的过程。由于代码过于古老，作者需要解决代码中的类型定义、数组越界等问题，并为链接器指定X11库的位置。最终，作者成功编译并运行了游戏。
阅读更多
2023年Python开发者调查报告显示，Python 3.12版本的采用率很高，近75%的用户使用了过去三年发布的版本。开发者主要将Python用于数据分析、Web开发和机器学习。PostgreSQL连续第三年成为最受欢迎的数据库，而Flask、Django和FastAPI是Web开发中最受欢迎的框架。调查还显示，Go和Rust越来越受欢迎，用于构建低延迟和内存安全的应用程序。
阅读更多
Virtuals Protocol 公司开发了一种名为 MarioVGG 的 AI 模型，可以通过学习超级马里奥兄弟的视频片段来模拟游戏玩法。尽管生成的视频中存在一些视觉故障，并且速度较慢，但该模型展示了 AI 如何仅通过观察视频和输入数据来推断游戏物理和机制。研究人员认为，这代表了朝着“生成可靠且可控的视频游戏”迈出的第一步，甚至可能在未来“完全取代游戏开发和游戏引擎”。
阅读更多
文章指出，手机虽然方便，但其追踪和联系功能使父母过度依赖科技，削弱了对孩子独立性的培养以及对自身判断力的信任，导致家长更容易焦虑。作者建议通过一些方法，例如让孩子在可控范围内独立完成任务、鼓励学校布置不依赖家长的作业等，来锻炼孩子和家长自身的“放手”能力，建立更健康的亲子关系。
阅读更多
本文揭露了数据代理公司Radaris的虚假CEO事件。KrebsOnSecurity经过调查发现，Radaris的创始人并非其对外宣称的“Gary Norden”，而“Gary Norden”实际上是由Radaris营销部门虚构的人物。KrebsOnSecurity还发现，Radaris与多家公司和个人存在关联，这些公司和个人都曾因各种原因受到过监管机构的处罚或调查。
阅读更多
文章指出，由于内存墙的存在，大型语言模型(LLM)推理框架的性能受到硬件限制。作者建议开发者应选择接近系统内存墙的框架，并关注服务器和离线场景下的高吞吐量。文章还强调了量化和稀疏性优化需谨慎使用，建议使用发布模型的默认格式。最后，文章探讨了突破内存墙的潜在研究方向，例如量化、稀疏性优化、并行解码和推测解码等。
阅读更多
这篇文章探讨了 Java 中 BigDecimal 类的 equals() 方法在比较数值时可能出现的意外结果。equals() 方法比较的是 BigDecimal 的无标度值和标度，而不是数值相等性，这可能导致比较结果不一致。文章建议使用 compareTo() 方法进行数值比较，或者使用 stripTrailingZeros() 方法对 BigDecimal 进行规范化，以避免潜在的陷阱。
阅读更多
这篇文章探讨了UI设计的密度问题，指出UI密度不仅仅是视觉上的密集程度，而是关于界面在一段时间内提供的信息量。作者引入了信息密度、设计密度和时间密度等概念，并结合案例分析了如何提高UI的价值密度。文章认为，UI密度最终目标是使用户在最短的时间和空间内获得最大的价值，速度、可用性、一致性、可预测性、信息丰富度和功能都在其中扮演着重要角色。
阅读更多
随着人们对传统医疗体系的不信任加剧，以及新冠疫情催生的家庭检测需求，硅谷兴起了一股家庭医疗检测热潮。各种初创公司纷纷推出针对各种疾病的家庭检测产品，涵盖了从食物过敏到癌症等多个领域。虽然一些家庭检测产品是标准化诊断工具，但也有一些产品游走在医疗和保健的灰色地带，其健康益处尚未得到证实。医生们对此表示担忧，认为绕过医生的诊断可能导致错误治疗、误诊或延误治疗。
阅读更多
为了应对西方国家在俄乌战争后实施的制裁，俄罗斯议员周二通过了一项法案，允许企业在国际贸易中使用加密货币进行支付。俄罗斯央行行长表示，预计首批加密货币交易将在年底前完成。新的支付基础设施细节尚未公布。该法律将于 9 月生效，但不会取消俄罗斯国内现有的加密货币支付禁令。
阅读更多
2022年，NASA开展了一项双小行星重定向测试（DART），成功地改变了一颗名为Dimorphos的小行星的轨迹。近期研究表明，撞击产生的碎片，包括尘埃和岩石，最快可能在7年内抵达地球，届时可能会观测到流星现象。虽然这些碎片不会对地球构成威胁，但这项研究表明，小行星防御不仅仅是改变其轨道，还需要考虑撞击产生的碎片的影响。
阅读更多
这是一份包含在 Logo Computer Systems, Inc. 为 IBM PC 推出的 Logo 编程语言软件中的 Logo 语言教程，该教程主要讲解如何使用海龟图形进行编程。
阅读更多