2024 02 04 HackerNews

Pkl, a Programming Language for Configuration #

https://pkl-lang.org/blog/introducing-pkl.html

“Pkl” 是一个用于生成配置的编程语言。它结合了静态语言和通用编程语言的特点,旨在提供声明性、易于阅读和编写的语言,同时具有从通用编程语言借鉴的功能。Pkl 支持类、函数、条件语句和循环等特性,可以构建抽象层,并通过创建包和发布它们来共享代码。Pkl 旨在实现三个主要目标:在部署前捕获验证错误以提供安全性、从简单到复杂的用例进行扩展、提供最佳的集成开发环境(IDE)支持。

Pkl 的语法熟悉且易于学习,包括类、函数、循环和类型注解等功能。通过示例展示了如何定义配置模式以及如何定义配置数据。Pkl 还提供内置的验证功能,通过类型注解和约束来确保数据的有效性。Pkl 还支持发布和导入包,以及通过语言绑定将配置嵌入到其他语言中。编辑器支持方面,Pkl 提供了丰富的支持,包括自动补全、导航和验证功能。未来,Pkl 还计划支持语言服务器协议,以提供更广泛的编辑器集成。


HN 评论 393 comments | 作者:bioballer | 1 day ago #

https://news.ycombinator.com/item?id=39232976

根据提供的链接内容,对评论观点进行中文摘要:

有评论认为现在的开发者创造了许多问题,比如使用 87MB 的二进制文件来创建配置文件,认为这是在制造问题而不是解决问题。

有人对 Windows 注册表进行了讽刺,认为它是一个笑话,暗示不需要创新,应该继续前进。

有人建议统一配置文件格式,认为对于非树状配置,INI 文件已经足够,而 TOML 等新格式只是为了制造问题而非解决问题。

有人指出 INI 格式的缺陷,认为 TOML 破坏了 INI 格式的兼容性,但也有人认为 TOML 有助于解决 INI 格式的解析问题。

有人提到使用现有的语言和工具来处理配置文件,认为不需要为此发明新的编程语言。

有人分享了 Pkl 在 Apple 内部的成功案例,称赞其在迁移 k8s 配置方面的成功应用。

这些观点涵盖了对配置文件处理方式的不同看法,从传统方式到新兴技术的讨论,展示了不同开发者对于配置文件处理方式的看法和建议。


Apple releases Pkl – configuration as code language #

https://pkl-lang.org/index.html

网站 https://pkl-lang.org 是关于 Pkl 的内容。Pkl 是一个用于生成配置的开源编程语言,结合了静态语言和通用编程语言的优点,允许用户编写声明性和简单的代码,并具备编程语言的功能。

Pkl 提供了强大的工具,使编写 Pkl 代码像编写静态类型语言一样简单。它支持 IntelliJ、Visual Studio Code 和 Neovim 的插件和扩展,同时还提供了 Language Server Protocol 的支持。

用户可以在 Pkl 中定义所有数据,并生成 JSON、YAML、Property Lists 等各种静态配置格式的输出。此外,Pkl 还可以嵌入到应用程序中,用于运行时配置,并为 Java、Kotlin、Swift 和 Go 生成代码。

Pkl 还具有丰富的类型和验证系统,可以在部署应用程序之前捕获配置错误,帮助开发人员在部署前发现问题并进行修复。

总的来说,Pkl 是一个配置即代码的语言,旨在提供可编程、可扩展和安全的配置解决方案。

这些信息是从 https://pkl-lang.org/index.html 网站内容中整理出来的。


HN 评论 5 comments | 作者:isodev | 14 hours ago #

https://news.ycombinator.com/item?id=39239265

https://news.ycombinator.com/item?id=39232976 重复

有人认为使用 Java 学习新语法来自动生成 JSON 和 YAML 文件对于简单任务来说过于复杂,除非涉及大量或庞大的文件;另一些人指出一些公司确实有大量和庞大的文件数量。


Over the edge: The use of design tactics to undermine browser choice #

https://research.mozilla.org/browser-competition/over-the-edge-the-use-of-design-tactics-to-undermine-browser-choice/

根据 Mozilla Research 发布的内容,他们委托独立研究人员 Harry Brignull 和 Cennydd Bowles 调查了微软的策略以及对消费者的影响。研究报告详细描述了微软如何阻止 Windows 上有效选择浏览器。

报告指出,微软将自己的浏览器 Edge 置于操作系统的核心,并利用 Windows 的用户界面设计来削弱人们选择竞争对手浏览器的能力。有时,使用有害设计策略与微软自己的设计准则相悖。这种行为尤其令人担忧,对于像 Firefox 这样依赖于同样是竞争对手浏览器供应商提供的操作系统的独立浏览器来说,这种行为可能导致(并加剧)消费者受害并破坏来自竞争对手浏览器的竞争。

Mozilla 强调了操作系统/浏览器提供商的自我偏好问题,例如在《Five Walled Gardens》报告中。最近,Mozilla 在 Platform Tilt 仪表板上发布了许多有关在主要操作系统上竞争时遇到的问题的详细信息。随着欧盟数字市场法的实施标志着全球竞争监管浪潮的开始,人们希望浏览器竞争的障碍将被拆除。然而,即使在朝着正确方向迈出步伐的地方,改进也是不完整的,并且只在监管机构强迫平台所有者进行更改以尊重浏览器选择的市场中勉强提供。

例如,苹果决定允许替代浏览器引擎仅在欧盟有效。同样,微软最近承诺停止一些推动 Edge 的行为,这些变化只针对报告中概述的少数策略。更糟糕的是,这些变化只会应用于欧洲经济区的用户。全球各地的 Windows 用户,尤其是在其他地区,仍然受到微软使用有害设计来阻碍、覆盖和破坏其选择的影响。需要全球范围内的监管行动来恢复浏览器选择和所有主要平台上的竞争。您可以在这里下载完整报告(PDF,5MB)。


HN 评论 245 comments | 作者:ChrisArchitect | 21 hours ago #

https://news.ycombinator.com/item?id=39237567

根据您提供的链接,这篇帖子中的评论观点可以总结为:

对 Edge 浏览器的隐私设置和搜索引擎选择不满,认为微软在推广 Bing 搜索引擎方面过于强硬;

对 Edge 团队的开发方式和决策持质疑态度,认为他们可能被上层管理所控制;

对其他浏览器如 Brave、Vivaldi、Opera 和 Firefox 提出了替代选择;

对 Windows 操作系统的 UI 和广告策略表示不满,认为操作系统内部存在一些窗口管理问题;

对 Linux 和 Mac OS 的窗口管理方式进行了比较和讨论;

对 Windows 操作系统的许可证费用和广告策略提出质疑和批评;对游戏在 Linux 上的兼容性表示期待和支持。


Carl Weathers has died #

https://www.bbc.co.uk/news/world-us-canada-68188746

文章标题:《洛基电影中的阿波罗·克里德,卡尔·韦瑟斯去世,享年 76 岁》

卡尔·韦瑟斯,美国演员,曾在《洛基》系列电影中饰演阿波罗·克里德一角,于 76 岁高龄去世。

他在家人发布的声明中被描述为“在睡梦中平静离世”,家人称他是一位杰出的人,过着非凡的生活。

除了《洛基》系列,他还出演了《掠食者》和亚诺·施瓦辛格主演的电影,以及亚当·桑德勒的《快乐的吉尔摩》。

韦瑟斯曾是一名 NFL 线卫,他的家人称他是一位杰出的人,通过他在电影、电视、艺术和体育方面的贡献,他留下了不可磨灭的印记。

他在好莱坞的 50 多年职业生涯中出演了 75 多部电影和电视节目,曾因在《曼达洛人》中的表现获得艾美奖提名。

亚诺·施瓦辛格和亚当·桑德勒等人都对韦瑟斯表示赞赏和怀念,称他是一位传奇人物。

韦瑟斯在社交媒体上受到了许多人的致敬,被描述为一位伟大的父亲、演员和运动员。

他的朋友们和同事们也纷纷发文悼念他,称他是一个了不起的人,对他的离世感到悲痛。

这篇文章详细介绍了卡尔·韦瑟斯的生平和事业,以及他在好莱坞的影响力和对他的怀念。

来源:BBC News - Carl Weathers, Apollo Creed from Rocky movies, dies aged 76


HN 评论 64 comments | 作者:zeristor | 1 day ago #

https://news.ycombinator.com/item?id=39235336

根据您提供的链接,这篇帖子中的评论观点可以总结为:

对卡尔·韦瑟斯在《阿甘正传》中的表现表示赞赏和怀念;

讨论他在《歌舞青春》中的角色创意和表现;

回顾他在《摇滚明星生涯》中的经典对白和角色形象;

提及他在《铁血战士》中的角色和与阿诺德·施瓦辛格的经典对手戏;

赞扬他在《曼达洛人》中的表现;

怀念他在《捉鬼敢死队》中的角色和表现;

讨论他在《行动杰克逊》中的形象和电影本身。

这些评论涵盖了对卡尔·韦瑟斯在不同影视作品中的角色和表现的赞美和怀念。


SeaweedFS fast distributed storage system for blobs, objects, files and datalake #

https://github.com/seaweedfs/seaweedfs

SeaweedFS 是一个快速的分布式存储系统,用于存储二进制大对象、对象、文件和数据湖,可以处理数十亿个文件!Blob 存储具有 O(1) 磁盘查找,支持云分层存储。

该系统的特点包括支持云驱动器、跨数据中心的主动-主动复制、Kubernetes、POSIX FUSE 挂载、S3 API、S3 网关、Hadoop、WebDAV、加密和纠删码。SeaweedFS 还提供了各种功能,如自动压缩、自动整理以回收磁盘空间、自动条目 TTL 过期、支持多存储层、透明云集成等。Filer 服务器提供了常规目录和文件访问,支持多种功能,如文件 TTL、FUSE 挂载、S3 兼容 API、Hadoop 兼容文件系统、异步复制到云等。整体架构简单高效,适用于处理大量小文件和快速并发访问。


HN 评论 117 comments | 作者:thushanfernando | 1 day ago #

https://news.ycombinator.com/item?id=39235593

根据您提供的链接,这篇帖子中的评论观点可以归纳为:

SeaweedFS 作为分布式存储系统填补了开源S3 API blob 存储的空白,GarageS3 是一个不错的中间选择,对于存储和处理失败情况的文档需求较大,有关编程语言选择(如 Go)和 GC 的讨论,以及关于文件存储和对象存储的不同观点。


Why isn’t the element 100% supported on caniuse.com? #

https://anderegg.ca/2024/02/02/why-isnt-the-html-element-100-supported

文章作者 Gavin Anderegg 在 2024 年 2 月 2 日发表了一篇文章,探讨了为什么 CanIUse.com 上 HTML 元素的支持率没有达到 100%。

他提到 Can I Use 是一个帮助 Web 开发人员跟踪 Web 技术采用率的网站,估计浏览器使用情况,衡量特性兼容性,并给出一个反映功能可用性的数字。文章指出,尽管有一些不支持的功能,但这并不足以解释缺失的 2.66%。作者还提到一些浏览器被列为“支持未知”,其中一些浏览器的使用率相加达到 1.27%。

此外,还有一个 Android 浏览器版本 2.1-4.3 被列为不支持 HTML 元素,但使用份额为 0%。作者认为这些数据可能存在一些舍入错误。文章指出作者对此问题没有很好的答案,欢迎读者提供更多见解。


HN 评论 82 comments | 作者:GavinAnderegg | 1 day ago #

https://news.ycombinator.com/item?id=39235001

根据对帖子评论的观点进行归并,观点包括:

对于 CanIUse 网站的数据不全的观点:CanIUse 网站的数据可能不包括所有浏览器的支持情况,导致部分浏览器显示为未知支持,实际上这些浏览器可能支持 HTML 元素。

讨论特殊用途爬虫的观点:1.27% 的浏览器可能是特殊用途的爬虫,可能无法正确解析 HTML 元素。

关于浏览器和用户代理的讨论:讨论浏览器和用户代理的区别,以及脚本或爬虫的输出对象不同于浏览器。

应用内嵌浏览器的观点:应用内嵌浏览器是绕过本地网络访问控制的常见技术。

关于 MDN 更名的讨论:Mozilla Developer Network 更名为 MDN 的原因和历史。

有趣的递归首字母缩略词讨论:分享有趣的递归首字母缩略词的例子和讨论。

对于网站名称更改的讨论:讨论公司和网站名称更改的趣闻和历史。

对于 HTML 最小有效性的讨论:讨论 HTML 中最小有效性的表达方式和相关标签的支持情况。

以上是对帖子评论观点的归并总结。


JetBrains' unremovable AI assistant meets irresistible outcry #

https://www.theregister.com/2024/02/01/jetbrains_unremovable_ai_assistant/

根据 The Register 的文章,JetBrains 在去年 12 月推出了一个 AI 助手,旨在帮助程序员编写代码。然而,现在该公司正试图如何允许客户将其移除。

JetBrains AI 助手类似于 GitHub Copilot,但它深度集成到 JetBrains 的开发环境(IDEs)、代码编辑器和其他产品中。尽管基于神经网络的服务被广泛吹捧,但它们也带来了一些问题,如对大型语言模型的安全性、法律风险、隐私和伦理问题的担忧仍然未得到解决。

Google、微软和 OpenAI 选择在一定条件下为客户提供赔偿,以安抚那些担心生成式 AI 可能导致潜在法律索赔的人。然而,并非每家提供 AI 服务的公司都能承担这种赌注,有时候会有成本。例如,Zoom 在去年 8 月不得不澄清,尽管其服务条款发生了变化,允许使用人们的聊天记录和通话内容进行 AI 训练,但 Zoom 不会这样做。

一些 JetBrains 的客户对 AI 助手持强烈意见,他们不希望插件出现在 JetBrains 的应用程序中,无论是因为公司政策与 AI 助手不兼容,还是出于其他担忧。但由于插件代码已经“深度集成”,因此移除变得复杂。自插件推出以来,JetBrains 的 YouTrack 问题板上已经发布了十多个帖子,寻求删除、卸载或以其他方式清除 AI 助手插件的方法。

一篇名为“提供完全从系统中删除插件的可能性”的帖子阐明了为什么有人不希望将这个插件集成到公司的开发工具中,比如 PyCharm、IntelliJ IDEA 等应用程序。软件开发人员在支持论坛上发帖引发了许多担忧,称插件为“臃肿软件”、“对公司知识产权的风险”、“安全问题”、“令人讨厌”和“信任的破坏”。

JetBrains 的开发者倡导者 Matt Ellis 在接受 The Register 采访时试图澄清误解,并安抚那些对 AI 助手的持续存在感到担忧的人。虽然 AI 助手插件是捆绑在一起的,并且插件本身是启用的,但默认情况下没有启用任何 AI 功能,也没有数据在未经您同意的情况下发送到外部设备。

Ellis 表示,JetBrains 有很多对捆绑插件感到满意的客户,因此该公司正在研究如何使其 AI 助手既能捆绑又能完全移除。移除捆绑插件的问题在于可能会破坏应用程序签名并导致更新问题。询问 JetBrains 有多少客户反对 AI 助手时,一位发言人表示:“我们无法确定这些意见如何代表我们所有客户的立场。我们理解情感的强烈程度,我们正在倾听来自我们社区各个部分的反馈,包括许多使用 AI 助手的满意个人和企业。”


HN 评论 232 comments | 作者:cannibalXxx | 16 hours ago #

https://news.ycombinator.com/item?id=39238666

根据您提供的链接,这篇帖子中的评论观点可以总结为:

一些人认为 AI 插件存在默认情况下可能会导致额外订阅,

一些人认为 JetBrains 应该更好地沟通和处理 AI 插件的情况,

还有一些人认为 AI 整合可能会使产品在某些公司中无法使用。


Show HN: The classic Minesweeper on an irregular grid #

https://polyreplay.com/minesweepertwist

一款扫雷游戏


HN 评论 129 comments | 作者:frading | 1 day ago #

https://news.ycombinator.com/item?id=39232572

根据帖子评论的观点,归纳如下:

有人希望游戏不收集和出售个人数据,愿意支付购买无广告版本。

有人愿意支付少量费用支持创作者,而不下载带有广告设置的应用。

有人建议添加更友好的广告提供商,以保护用户隐私。

有人提出游戏改进建议,如左右点击同时揭示周围方块、更快的揭示动画等。

有人提到游戏的不同之处,如角落也算邻居、不同形状使游戏更具挑战性。

有人分享了游戏的新玩法想法,如城市地图作为游戏网格、侧向滚动扫雷等创新设想。

有人提出了游戏中的 bug 反馈和改进建议,如修复标记错误的问题、改进动画速度等。

这些观点涵盖了对游戏体验、隐私保护、游戏功能改进等方面的不同看法和建议。


How Quora died #

https://slate.com/technology/2024/02/quora-what-happened-ai-decline.html

Quora,经是一个繁荣的社区,致力于回答我们具体问题。然而,用户正在离开这个网站。

文章指出,Quora 的质量逐渐下降,充斥着毫无意义、重复无聊、荒谬、令人厌和人工智能生成的回答。过去你在谷歌搜索事件的问题时,往往会在搜索结果中找到 Quora 上有关问题的深入回答。但现在,你更有可能遇到一些人们 2024 年问的问题,如 “一直以来种族主义者的唐纳德・特朗普是否真的是种族主义者?” 或者一些没有意义的答案。

Quora 的质量下降越来快,用户纷纷离开。然而,Quora 的问题并非完是由于人工智能导致的,Quora 在内容审查和功能方面存在问题。此外,quora 的经济状况也不佳,投资者犹豫不决,对其进行继续投资。因此,公司削减了预算,缩小了内容审核队和客户支持团队,并取消了一些原本重要的功能,随着广告和垃圾信息增加,Quora 的问题得越来越多,而志愿用户无法自己解决。

此外,Quora 在使用人工智能生成文本,并改变了服务条款,让用户的回答可能被用于训练人工智能模型。这引发关于同意和所有权的问题,一些知名用户已经删除了他们的作品并离开了 Quora。总的来说,Quora 在人工智能时代面临着份认同的危机,不仅损害了它曾经建立起来的繁荣社区,还浪费了的好意、社区、专业知识和好心。


HN 评论 296 comments | 作者:CharlesW | 9 hours ago #

https://news.ycombinator.com/item?id=39241448

根据您提供的链接,这篇帖子中的评论观点可以归纳为:

对 Quora 的商业模式和用户贡献平台的管理方式提出批评,认为需要更好地关注贡献者需求和维护质量,建议设立专门角色;

讨论 Quora 转向 AI 和对人工内容的支持减少;

提出 Quora 应该是非营利性质,类似于 Library of Congress;

讨论 Elon Musk 和 Twitter 的关系;

讨论 Wikipedia 的内容偏见和编辑问题;

对 Wikipedia 的政治倾向、编辑难度和内容质量提出质疑;

讨论 Wikipedia 的资金使用和编辑政策;

对 Wikipedia 的编辑过程、内容质量和政治倾向提出不同看法。


Goodbye non-KISS appliances #

https://willbush.dev/blog/complex-appliances/

在这篇博客文章中,作者分享了关于复杂家电的经历和见解。文章以作者放弃并分享了自己的 GE 法式门冰箱后的故事开始。作者提到了幸存者偏见的概念,并分享了自己的车库里使用了十多年的 Kenmore 侧-by-侧式冰箱的故事。

作者描述了他们购买的 GE 法式门冰箱出现的种种问题,以及最终决定放弃这款冰箱的原因。接着,作者介绍了他们购买的 GE Café 冰箱的种种问题,包括水过滤器锁定、冰箱部件故障、触摸屏问题等。

最终,作者决定放弃这款冰箱,转而选择简单的顶冷冻式冰箱,并分享了他们的购买决策和体验。文章还提到了作者对其他家电的看法,包括生活没有垃圾处理器的便利性以及对传统洗衣机和烘干机的信赖。

作者总结认为,简单的家电可能更可靠,而复杂的功能并不一定值得带来潜在的麻烦。

来源:willbush.dev - Complex Appliances


HN 评论 426 comments | 作者:willbush | 19 hours ago #

https://news.ycombinator.com/item?id=39238010

根据提供的链接内容,评论中的观点可以总结为:

避免智能或连接互联网的家电,认为简单的家电更省钱、更可靠。

对于家电变得复杂的用户体验路径感到不满,认为旧款家电的简单操作更好。

喜欢家电使用固态控制,但仍希望尽可能选择功能较少的家电。

对于家电的复杂性和隐私问题表示担忧,认为可联网家电可能带来的风险大于收益。

认为一些功能虽然很少用到,但在必要时仍然有用。

对于家电的设计趋势和可靠性提出质疑,认为现代家电的质量较差。

认为家电应该保持简单,不需要过多的智能功能。

认为家电的报警功能是有用的,可以在必要时提醒用户。

对于家电的设计和功能提出了不同的看法,认为一些功能是多余的,而另一些功能则有其用处。

以上是评论中的主要观点总结,涵盖了对智能家电、用户体验、功能复杂性、隐私问题等方面的讨论。