错误:无法满足请求。请求被阻止。我们目前无法连接到此应用程序或网站的服务器。可能流量过多或配置错误。稍后重试,或联系应用程序或网站所有者。如果您通过 CloudFront 向客户提供内容,可以在 CloudFront 文档中找到故障排除步骤,以帮助防止此错误。由 cloudfront (CloudFront) 生成。请求 ID:AybeRqAPFDkv16qVURAauW76T6oiLwVCeh89sYN1DaKmt-tUH48s0A==
错误:无法满足请求。请求被阻止。我们目前无法连接到此应用程序或网站的服务器。可能流量过多或配置错误。稍后重试,或联系应用程序或网站所有者。如果您通过 CloudFront 向客户提供内容,可以在 CloudFront 文档中找到故障排除步骤,以帮助防止此错误。由 cloudfront (CloudFront) 生成。请求 ID:AybeRqAPFDkv16qVURAauW76T6oiLwVCeh89sYN1DaKmt-tUH48s0A==
## Offpunk 3.0:协作离线浏览器发布
经过四年的开发,Offpunk,一款专为离线使用设计的Web、Gemini和Gopher命令行浏览器,已达到3.0版本。此版本标志着项目向社区驱动的重大转变,Ploum之外的开发者贡献了大量内容。
主要改进包括翻译支持(加泰罗尼亚语、加利西亚语、荷兰语,并鼓励更多),一个用于打开文件的独立工具“openk”,以及一个用于在终端中查看XKCD漫画的工具“xkcdpunk”。 Offpunk现在利用“unmerdify”去除网站杂乱,增强可读性,并提供新的社交功能,例如共享URL和通过电子邮件回复作者。
3.0版本还引入了用于访问订阅网站的cookie导入功能,改进的图像显示,以及突出显示被阻止的链接和隐藏的RSS源的功能。 已经进行了一些可用性增强,包括预设主题和改进的命令。
Ploum鼓励用户通过“bugreport”命令报告遇到的任何错误,以帮助稳定下一个版本。 该项目积极寻求贡献,并欢迎社区参与。
研究人员利用一种名为CacheTVS的独特算法,发现了地球上最长的视线:从兴都库什山脉到皮克·丹科娃,长达惊人的530公里。这意味着,在理想条件下,理论上你可以看到这么远!
虽然很难精确确定排名第二的视线,因为长距离视线往往集中在某些区域,但研究团队整理了一份突出地理多样性地点的列表。第二长的视线(504公里)从哥伦比亚的安提奥基亚延伸至皮科·克里斯托瓦尔,第三长的视线(483公里)从俄罗斯的厄尔布鲁士山延伸至土耳其的黑海山脉——考虑到这两个国家没有共同边界,这真是一个壮观的景象。
该项目绘制了大约45亿条视线,并且一个允许探索的交互式地图可在map.alltheviews.world上找到。
镶嵌套件
sciencevsmagic.net
## 过度约束型语言的兴起:Swift 与 Kotlin 最近使用 Swift 和 Kotlin 的经验揭示了现代语言设计中令人担忧的趋势:极度关注通过严格的静态类型来防止常见的编程错误。虽然这两种语言都融合了有益的函数式元素,如 lambda 表达式,但它们的定义性特征是对类型相关错误的消除的强烈努力——这是对它们父语言 Objective-C 和 Java 中问题的反应。 这表现为强制异常处理(Swift)、显式的继承开放性(Kotlin)以及严格的空安全。作者认为,这会将错误预防的责任从程序员(通过测试)转移到语言本身,从而导致复杂的语法、广泛的约束以及需要“钻研语言细节”才能掌握它们。 核心问题不是静态类型本身,而是其*深度*。与其解决根本原因——测试不足——不如说语言变得越来越规范化,要求预先了解系统行为并惩罚偏差。这种方法类似于禁用安全系统,可能导致更大的故障。作者提倡优先考虑健全的测试实践,而不是依赖语言特性来保证正确性。
## 狼人 VFLEX 适配器系统:摆脱杂乱,强大电力
狼人 VFLEX 适配器系统提供了一种简化的供电方案,告别凌乱的台式电源和缠绕的电线。作者受到科技专家 Jeff Geerling 的评测启发,购买了几个适配器来修复一台数十年历史的 Nikon Coolwalker,并成功找回了丢失的照片。
VFLEX 系统采用可编程的 USB-C PD(Power Delivery)适配器,允许用户通过网页应用或 iPhone 应用设置精确的电压。这消除了对多个电源适配器的需求,并确保与需要特定电压的设备兼容,例如老式电子设备、业余无线电或发烧友设备。
一个关键特性是能够预设电压并标记适配器以便快速使用,从而节省时间并确保安全。虽然该系统需要一定的投资,但作者强调了它为各种小工具提供安全高效的电源解决方案的价值,特别是那些具有不寻常或难以找到的电源需求的设备。值得注意的是,这些适配器使用中心负极性,某些设备可能需要考虑这一点。
## LinkedIn 的崛起与理解的局限性
Twitter 的衰落意外地提升了 LinkedIn 作为技术讨论平台的地位,引发了关于我们对所构建系统的理解的讨论。一个核心主题,由 Simon Wardley、Adam Jacob、Bruce Perens 的帖子强调,并在 Louis Bucciarelli 1994 年的作品中得到呼应,围绕着在不理解其基本运作方式的情况下创建技术的危险。
讨论质疑“理解”真正意味着什么——在基本使用之外,任何人是否真的能够“从根本上”理解像电话或互联网这样复杂的系统?现代技术,包括 CPU 和操作系统,本质上是分层和复杂的,超出了个人理解的范围。
人工智能进一步加剧了这种复杂性,它提供了抽象底层机制的强大工具,可能使开发者远离核心原理。虽然这种转变存在风险——导致掩盖功能的“魔法”框架——但目前收益大于风险。最终,共识是完全理解复杂的系统是不可能的,而且*一直*是不可能的。关键不是追求完全的知识,而是认识到我们理解的局限性,并诚实地面对它们。
请启用 JavaScript 并禁用任何广告拦截器。
## LispE 概要 LispE 是一种紧凑的、跨平台的 Lisp 方言,旨在融合函数式编程和数组编程的优势。它建立在 Lisp 的基础简单性之上,提供了一种通用的形式主义来结合不同的编程范式。它包含一个内置编辑器(来自 NAVER 的 TAMGU 项目),并支持传统的 Lisp 运算符以及用于数字和字符串的内置类型,这些类型被视为向量以实现高效操作。 LispE 具有现代函数特性,例如组合运算符 (".") 和强大的模式匹配。它还支持数据结构和面向对象编程,具有类和方法。值得注意的是,它集成了数组运算符,并通过 Conway 的生命游戏(Game of Life)的简洁实现进行了演示。 除了核心语言特性之外,LispE 还可以用作 shell,并包含一个演示程序“minizork”,以探索其功能。它由 NAVER Corp. 以 BSD 3-Clause 许可证发布,旨在成为一个“带有所有功能的 Lisp”。