本文介绍了 Common Lisp 中三种常见数据结构的实现:链表、可增长向量和哈希表。作者首先假设读者具备 Common Lisp 和 Big-O 符号的基本知识,然后逐步讲解了每种数据结构的构建过程,包括节点定义、添加元素、删除元素和遍历等操作。作者还讨论了每种数据结构的优缺点,以及在实际应用中的注意事项。
阅读更多
CIQ 的一份新白皮书指出,Linux 厂商内核普遍存在安全漏洞,原因在于回溯修复的工程流程存在缺陷。虽然这可能会让一些人感到震惊,但这在 Linux 社区中是一个公开的秘密。Linux 稳定内核维护者、内核安全团队的杰出成员 Greg Kroah-Hartman 最近表示:“为了安全,你应该始终使用最新的长期稳定内核。” 这里面的关键词是“最新”。仅仅使用 LTS 是不够的。你必须使用最新的版本才能尽可能地安全。不幸的是,几乎没有人这样做。然而,正如谷歌 Linux 内核工程师 Kees Cook 解释的那样:“那么,供应商应该怎么做?答案很简单:如果痛苦:不断更新到最新的内核版本,无论是主要版本还是稳定版本。”
阅读更多
中国在长江上游的一家造船厂建造了世界上第一艘专门用于无人机的航母。这艘航母的甲板比美国海军或中国海军的超级航母的甲板短三分之一,窄一半。它可能被用于模拟敌方力量或测试和开发海上无人机作战。
阅读更多
本文介绍了如何在 Sophgo SG2000 RISC-V SoC (Milk-V Duo S SBC) 上运行 Apache NuttX RTOS。作者首先介绍了 SG2000 SoC 的硬件架构和启动过程,然后详细讲解了如何修改 NuttX 内核以适配 SG2000,包括内存映射、UART 驱动、中断控制器等。最终,Milk-V Duo S 成功启动到 NuttX Shell,展示了 NuttX 在 SG2000 上的良好运行状态。
阅读更多
美国FDA授予双特异性抗体petosemtamab突破性疗法认定,用于治疗经铂类化疗和PD-L1/PD-1抑制剂治疗后疾病进展的复发或转移性头颈部鳞状细胞癌患者。这一决定基于正在进行的MCLA-158-CL01 1/2期试验的数据,该试验显示petosemtamab在包括复发或转移性头颈部鳞状细胞癌在内的晚期实体瘤中具有良好的疗效和可控的安全性。
阅读更多
这篇文章探讨了是否可以使用正则表达式来检测有效的正则表达式。由于正则表达式本身不支持递归,因此无法使用标准正则表达式来匹配所有有效的正则表达式。文章中提出了几种方法,包括使用递归正则表达式、解析器以及利用编程语言的异常处理机制来验证正则表达式的有效性。
阅读更多
OpenAI 成立了一个名为“超级对齐”的团队,旨在解决控制超级智能 AI 的核心技术挑战。然而,该团队负责人 Jan Leike 和 OpenAI 联合创始人 Ilya Sutskever 于本周辞职,原因是公司未能提供承诺的计算资源,并且安全文化和流程被产品发布所掩盖。尽管 OpenAI 首席执行官 Sam Altman 表示他们致力于解决这些问题,但“超级对齐”团队已被解散,相关工作将由分散在公司各部门的研究人员承担。
阅读更多
这篇文章讨论了在Ubuntu 17.04机器上运行apt-get upgrade时,有时会自动启动Dwarf Fortress游戏的问题。 作者解释说,这可能是因为Dwarf Fortress的可执行文件名为df,与系统工具df(用于显示磁盘空间使用情况)的名称相同,从而导致冲突。当脚本试图检查是否有足够的可用空间来解压存档时,它可能会启动Dwarf Fortress而不是系统工具df。
阅读更多
澳大利亚养老基金UniSuper的谷歌云账户被意外删除,包括存储在该服务上的所有备份。尽管UniSuper在其他供应商处有一些备份,并能够恢复其数据,但此次事件导致了长达两周的停机时间。谷歌云首席执行官托马斯·库里安确认,此次中断是由一系列前所未有的事件引起的,这些事件导致UniSuper的私有云订阅被删除,并表示已采取措施确保此类事件不再发生。
阅读更多
文章探讨了家具作为一种艺术形式的模糊性,它既具有实用功能,又能表达思想和情感。文章追溯了家具史,从早期文明的象征性家具到现代主义的功能主义,再到超现实主义者对家具神话般的诠释。作者还分析了当代设计师如何挑战艺术与设计的界限,创作出既实用又发人深省的家具作品。文章认为,最成功的家具作品能够超越功能性,与身体产生对话,并引发观者的思考和情感共鸣。
阅读更多
八家汽车制造商因在没有法院命令或搜查令的情况下向警方提供车辆位置数据而受到立法者的批评。这些公司声称,他们只在收到传票、紧急情况或征得客户同意的情况下才会分享数据。然而,参议员Ron Wyden和Ed Markey对这种做法表示担忧,并致函联邦贸易委员会,敦促其展开调查。他们认为,汽车制造商违反了十年前签署的《消费者隐私保护原则》,该原则规定汽车制造商只有在持有法院签发的搜查令或命令的情况下才能提供数据。
阅读更多
本文介绍了一个基于GitHub的私有证书颁发机构,它可以为需要TLS证书的本地开发环境提供服务。该方案使用openssl证书签名命令,可以在GitHub actions中运行,并将CA的私钥存储为存储库密钥,签署的证书存储为工作流运行工件。
阅读更多
本文介绍了伦敦国家美术馆的装裱主管Peter Schade如何通过修复画框来改变人们对艺术品的观感。Schade致力于用古老的材料和技术,为画作寻找最合适的画框,以还原其历史风貌,并提升其艺术价值。他认为合适的画框应该“隐形”,让观赏者将注意力集中在画作本身。文章详细介绍了Schade修复梵·艾克的《阿尔诺芬尼夫妇像》、波提且利的《圣塞巴斯蒂安的殉难》等画作的案例,并探讨了画框对艺术品的影响。
阅读更多
这篇文章主要介绍了Hoot Scheme-to-WebAssembly编译器的开发历程,作者详细阐述了从最初的纸上设计到实现完整Guile语言的过程。作者重点介绍了Hoot的启动过程,包括时间轴上的发展以及功能的逐步完善。文章还讨论了Guile模块系统的静态语义,以及Hoot如何实现与Guile的兼容性。最后,作者展望了Hoot的未来发展方向,即与Guile合并,为用户提供更强大的WebAssembly开发体验。
阅读更多
这篇文章介绍了 Anthropic 的 Claude 提示工程互动教程,该教程旨在帮助用户掌握 Claude 模型的提示工程技巧。教程共分为 9 个章节,涵盖了从基础的提示结构到高级的预认知和示例学习等内容,并配有练习和附录,帮助用户逐步提升提示工程能力。教程使用了 Claude 3 Haiku 模型,并提供了交互式练习环境,方便用户实践和学习。
阅读更多
本文探讨了美国休斯顿市在土地使用规划方面的成功经验。休斯顿市通过改革建筑法规,允许土地所有者在满足一定条件的情况下自动获得建造联排别墅的许可,同时允许当地居民选择退出这些改革措施。这种模式促进了城市更新,提高了步行友好性,并抑制了房价上涨,为其他城市提供了借鉴。
阅读更多
文章探讨了公众情绪与统计数据之间的差距,即使统计数据表明世界正在变得更好,但公众情绪却越来越悲观。作者认为,这是因为人们倾向于更多地谈论问题,以便解决问题,导致负面信息被过度代表。文章使用一个简单的模型模拟了这一现象,并预测随着信息时代的到来,这种负面情绪会加剧,因为人们有更多的话题可供选择,从而更有可能选择负面话题进行讨论。
阅读更多
一个有500年历史的数学问题探讨了圆在直线上滚动时所形成的轨迹形状。答案被称为“摆线”,并在各种科学领域中得到应用,例如咖啡杯中光线反射形成的形状。
阅读更多
这是一个名为“域名服务器故障的天数”的网站,由Andrew MacDonald手工制作,访问https://itwasdns.net了解更多信息。
阅读更多