2024-12-14 Hacker News Top Stories #
- 设计师推出了一款现代化的意式咖啡机和咖啡磨豆机，采用极简主义设计，重新定义了传统咖啡机的外观。
- 美国国防部网站上出现了一个测试页面，内容是无意义的字符串，引发了网友们的猜测和讨论。
- IBM 在 1968 年推出了“Executive Terminal”，一种计算机系统，旨在促进高层决策，使用计算机、视频和数字化信息。
- 终端程序通常遵循一些不成文的规则，包括程序退出、颜色使用、键绑定等方面，以确保用户体验的统一性。
- 现代社会中各个创意领域的同质化现象日益明显，人们的独特性在逐渐消失，取而代之的是“平均化”的趋势。
- 新西兰政府削减基础研究资金，社会科学领域遭受重创，引发了学术界的担忧和批评。
- Elixir 和 Erlang 支持热代码替换，允许在运行时动态加载和卸载代码，而不需要重启系统或影响正在使用的服务。
- 微软的 Recall 功能存储信用卡号码和社会安全号码，引发了用户的隐私担忧和安全问题。
- Carta 的取消订阅流程太复杂，创始人抱怨说需要与客户成功经理会面才能取消订阅，但会议时间却被安排在续约日期之后。
- 数学家们发现了一种新的方法来计算素数，使用一种称为“粗略素数”的概念，可能是解决一般类型的素数问题的关键一步。
Show HN: I designed an espresso machine and coffee grinder #
该网页展示了两款产品：TREFOLO ESPRESSO MACHINE 和 Turbina COFFEE GRINDER。
TREFOLO ESPRESSO MACHINE 是一款极简主义风格的咖啡机，旨在重新定义传统的咖啡机设计。产品名称"TREFOLO"暗示着其简洁而现代的设计理念。
Turbina COFFEE GRINDER 是一款圆柱形咖啡豆磨器，号称是第一款采用圆柱形设计的咖啡豆磨器。其独特的设计使其在咖啡爱好者中脱颖而出。
这是一个单人项目，工作量很大，但我希望你们觉得它很酷。在网站上我说“我们”时，只是在最尊贵的意义上使用。我还负责了所有的摄影和摄像工作。起初，我设计了一台供个人使用的机器，但像许多事情一样，它从那里开始有点失控了。
我觉得意式咖啡机变得越来越大，塑料感强，并且与应用程序集成，但实际上并没有改进使其工作的基础技术。特别是那些噪音大的振动泵，它们来自 1977 年，自那以后基本没有改变。所以我想要专注于制造我能做到的最先进的内部结构，并将其他部分尽可能简化。就我所知，这款泵在功率密度和价格方面是完全独特的。不花费几千美元，很难找到一台带有齿轮泵的机器，而可调压力也同样昂贵，但这台机器具备这些功能，并且购买成本正常。你还可以将压力调低，制作滤泡咖啡。
我还看到很多人（包括我自己）在制作意式咖啡时使用秤，甚至在冲煮头下方放一个杯子来接滴水，完全忽略了滴水盘，所以我基本上是为这种情况设计的！这台机器的轮廓更美观，不会像我以前的意式咖啡机那样在角落里显得突兀。
至于磨豆机，市场上几乎所有的产品都使用从香料磨粉机演变而来的锥形和平面刀盘，并且是相同的几种标准尺寸。有时大公司会设计自己的刀盘，但仅限于现有的形状。有一种趋势是将越来越大尺寸的刀盘放入咖啡磨豆机中，这有其道理，但使用圆柱形刀盘，你可以相对于磨豆机的大小大幅增加切割面积。当磨豆机变得太大时，保持对齐变得机械上很麻烦，但圆柱形刀盘可以从内部得到很好的支撑，并且还有一个额外的好处，就是可以将整个电机隐藏在刀盘内部。最终的咖啡粉末明显优于我使用过的所有其他磨豆机，但显然这是个人口味和偏好的问题。
磨豆机最大的缺点是它不适用于星巴克风格的油性烘焙咖啡，因为咖啡在通过刀盘时膨胀太多，有时会堵塞刀齿。这不会损坏磨豆机，但确实需要清洁（无需工具！）。这两台机器的另一个缺点是它们使用直流电源，所以最好在你的厨房里有一个地方可以放置电源适配器。
我还制作了一个套件，使齿轮泵成为其他意式咖啡机的即插即用升级，以减少噪音并增加可调压力。
https://velofuso.com/store/p/gear-pump-upgrade-kit
这个过程中最艰难的部分是开发中途那些完全不起作用的时刻。当磨豆机立即卡住，或者第四家工厂告诉你正在制作的零件是不可能的，或者泵交替地从侧面喷水到你脸上并且完全不工作时。默认的想法是“当然它不工作，如果这要成功，别人早就这么做了”。你选择的路径从根本上足够不同，以至于没有现成的解决方案可以借鉴。你基本上是在黑暗中摸索几个月，烧钱，然后有一天，所有微小的累积变化突然加起来，制作出一杯美味的意式咖啡。虽然还不完美，但至少你能看到前方的路。
总之，这比我预期的写得要多得多，感谢阅读！如果有任何问题，请告诉我。
HN 热度 709 points | 评论 422 comments | 作者：smeeeeeeeeeeeee | 23 hours ago #
https://news.ycombinator.com/item?id=42405046
- 设计看起来不错，但网站设计不够吸引人，缺乏真实环境下的产品照片。
- 可持续性宣传需要更具体的数据和说明，特别是关于替换零件和维修的信息。
- 产品的尺寸和外观在真实环境下的展示很重要，需要更多的实拍照片和视频。
- 关于 Turbo 咖啡研磨机的可替换零件和维修问题，需要更明确的说明和承诺。
- 产品的使用说明和内部结构图需要公开，方便用户理解和维护。
- 产品的热水供应方式不够明确，需要说明热水来自哪里，是否需要用户自己准备。
- 产品的预热周期和压力释放方式不够明确，需要进一步说明。
Test #
https://www.defense.gov/News/News-Stories/Article/Article/4000004/test/
美国国防部官方网站 展示了一个测试页面，内容是：
asfasfasdfasfdasdfasfasfasfsadffffffffffffffffffffasdfsfsafsfdwfgasdgbdfbgdsgasdgdsbdb
HN 热度 415 points | 评论 94 comments | 作者：ajdude | 11 hours ago #
https://news.ycombinator.com/item?id=42408202
- 这篇帖子可能是美国国防部网站的测试帖子，内容为无意义的字符串。
- 有人认为这是一个测试帖子，用于测试网站的功能。
- 有人开玩笑说这是一个秘密消息，需要解码。
- 有人认为这是一个错误，帖子内容应该是测试标题和测试文本。
- 有人认为这是一个安全测试，用于测试网站的安全性。
- 有人认为这是一个招聘帖子，用于招聘网站管理员。
- 有人认为这是一个恶作剧，用于吸引人们的注意力。
- 有人认为这是一个编码消息，需要使用特定的方法来解码。
- 有人认为这是一个测试帖子，用于测试网站的性能。
- 有人认为这是一个错误，帖子内容应该是空白的。
A new video captures a 1968 demo of IBM’s Executive Terminal #
https://spectrum.ieee.org/ibm-demo
IBM 构建了一个名为“Executive Terminal”的计算机系统，旨在促进高层决策。该系统使用计算机、视频和数字化信息。1968 年，IBM 在总部进行了一次演示，展示了该系统的功能。演示中，IBM 的高管们使用计算机进行数据分析和决策。演示还展示了该系统的视频功能，可以播放视频和图像。
该演示被录制在了一盘早期的 Memorex 视频带上。视频带被保存在计算机历史博物馆（Computer History Museum）的收藏中。博物馆的工作人员最近对视频带进行了数字化处理，使其可以在现代设备上播放。
该视频带的发现为人们提供了一个机会，了解 IBM 在 20 世纪 60 年代末期的计算机技术和商业应用。视频带展示了 IBM 在计算机领域的创新和领导地位。同时，也为人们了解当时的商业环境和决策过程提供了一个窗口。
HN 热度 310 points | 评论 87 comments | 作者：sohkamyung | 22 hours ago #
https://news.ycombinator.com/item?id=42405462
- 早期版本的系统使用 IBM 3270 显示器和电话听筒，但没有键盘，执行长官可以拨打电话并连接到呼叫中心，呼叫中心工作人员可以为他们执行电子表格操作。
- NASA 的阿波罗任务控制中心在 20 世纪 60 年代就使用了类似的技术，控制台上的屏幕都是电视接收机，所有的显示数据都通过电视网络发送，任何控制台都可以查看任何来源的数据。
- 这种技术在 20 世纪 80 年代仍在一些美国空军设施中使用。
- 高能物理/加速器研究所有公开的状态仪表板，展示了这种概念的应用。
- 电视台使用类似的路由系统，混合和匹配数百个视频输入和输出。
- Asciinema 直播功能可以共享终端，但有安全问题和用户体验问题。
- 在 20 世纪 90 年代，开发团队发现一些用户仍然习惯使用打印机打印电子邮件，而不是使用电子邮件客户端。
- 一些高管不愿意使用电脑，宁愿让秘书代劳。
- 医生认为自己的时间太宝贵，不愿意花时间在电子病历的数据录入上，宁愿雇佣额外的员工来做这件事。
- 医疗系统的电子病历仍然存在问题，需要改进。
“Rules” that terminal programs follow #
https://jvns.ca/blog/2024/11/26/terminal-rules/
这个网页是一篇博客文章，讨论了终端程序的行为规则。作者指出，尽管没有正式的标准，但终端程序通常遵循一些不成文的规则。文章列出了七条规则，包括：
- 非交互式程序应该在按下 Ctrl-C 时退出。
- TUI 程序（如 less 和 htop）应该在按下 q 时退出。
- REPL 程序（如 python3 和 ed）应该在按下 Ctrl-D 时退出。
- 终端程序不应该使用超过 16 种颜色。
- 终端程序应该支持 readline 键绑定。
- 终端程序不应该在写入管道时使用颜色。
- -符号应该表示标准输入/输出。
作者还指出，这些规则并不是强制性的，程序可以根据需要进行调整。文章最后提到，这些规则是基于作者多年的使用经验总结出来的，并不是一个正式的标准。
HN 热度 249 points | 评论 133 comments | 作者：charlieok | 1 day ago #
https://news.ycombinator.com/item?id=42401011
- 终端程序应尊重用户的默认前景色和背景色，不应在没有充分理由的情况下改变它们。
- 如果使用颜色，应确保颜色在不同终端和背景色下都清晰可见。
- 不应仅使用颜色作为提示，应提供其他形式的提示以确保所有用户都能理解。
- 应避免滥用 emoji 和非 ASCII 字符，考虑到不同用户的显示设置和阅读习惯。
- 如果程序使用了大量颜色和视觉效果，应提供一个选项允许用户关闭这些效果。
- 终端程序不应改变背景色，除非有充分的理由，并且应提供切换到“暗模式”或“亮模式”的选项以确保颜色可见。
- 应考虑到部分用户可能是色盲或完全盲人，依赖屏幕阅读器，因此不应仅靠颜色作为提示。
- 部分用户可能会关闭颜色显示，因此程序应考虑到这一点。
- 有人认为，终端程序应遵循一个通用的配置来禁用颜色显示。
The age of average (2023) #
https://www.alexmurrell.co.uk/articles/the-age-of-average
这篇文章探讨了现代社会中各个创意领域的同质化现象，指出我们生活的世界越来越趋向于 “平均化”。文章以两位俄罗斯艺术家维塔利・科马尔和亚历山大・梅拉米德在 1990 年代的艺术实验为开端。他们委托市场研究公司调查人们对艺术作品的偏好，结果显示无论在不同国家，公众对艺术的需求都相似，最终创造出的艺术作品几乎没有差异。这一现象反映了人们的普遍性和趋同，暗示个体的独特性在现代社会中正逐渐消失。
文章接着探讨了几个领域的同质化现象：
- ** 室内设计 **：作者提到一位设计师劳雷尔・施瓦尔茨通过 Airbnb 发现了全球范围内的室内设计风格，即 “国际 Airbnb 风格”。这种风格以白墙、原木、工业风灯具等元素为主，遍及不同国家的 Airbnb 房源，导致旅行者在不同地方感受到的设计体验越来越相似。
- ** 建筑设计 **：引用建筑师 Rem Koolhaas 的观点，城市建筑越来越呈现出无个性、同质化的趋势，尤其是在美国的廉价公寓建筑中，常见的 “快速建筑” 模式让许多城市看起来愈发相似。这种 “McUrbanism” 或称五层住宅（五层结构）建筑的广泛流行，使得城市失去了地方特色。
- ** 商业空间 **：文章提到，许多咖啡店和餐厅开始模仿这种同质化的风格，新的设计往往借鉴旧有的 “嘻哈风格”，如使用复古元素和粗犷的木材，试图吸引年轻的消费者。
- ** 汽车设计 **：随着空气动力学测试的普及，汽车设计也变得趋同。设计师们为了提高燃油效率，往往采用相似的流线型设计，导致各大品牌的汽车在外观上越来越难以区分。
综上所述，文章通过多个领域的案例，指出了现代社会中个体的独特性被削弱，创意产业的同质化现象无处不在。最终，作者引导读者反思这种 “平均化” 背后的深层原因，以及我们如何可能在未来的生活和工作环境中重拾个性与多样性。
HN 热度 230 points | 评论 154 comments | 作者：synergy20 | 19 hours ago #
https://news.ycombinator.com/item?id=42405999
- 建筑评论中有一种独特的势利眼，特别是在抱怨大众化的“方块，容易忘记的中层建筑”提供公寓时。
- 抱怨建筑风格单调，只能是那些不用担心房租的人才能写出来的。
- 世界上最小的提琴为那些钱财丰厚的游客演奏，他们在旅行中发现各地建筑风格都很相似。
- 人们在任何时代都更关心的是拥有可以用当地资源建造且不太昂贵的住房，而不是表达自己的身份。
- 在全球化的时代，“当地资源”不再意味着当地材料。
- 抱怨建筑风格单调是微不足道的，人们可以把它看作是提高生活水平的结果。
- 如果提高生活水平的代价是某种程度的统一，那也无妨。
- 作者并没有建议廉价的现代化住房是坏事，他批评的是建筑风格的单调，特别是外观。
- 作者的语气暗示，如果你不在乎他们批评的那些考虑因素，或者你把它们排在了可负担性、易建造性和低开发门槛之下，那么你就是一个没有品味的人。
- 作者认为，人们不应该被剥夺居住在有趣、有意义和美丽的地方的机会。
- 作者认为，人们应该从世界各地的建筑中汲取灵感，而不是复制和粘贴最无聊、最乏味的建筑风格。
- 作者认为，人们应该为城市生活提供更多的选择，而不是试图创造昂贵的建筑多样性。
- 作者认为，全球化的趋势使得世界各地的建筑风格变得更加相似，这是世界统一的标志。
- 作者认为，即使建筑风格单调，也可以通过在城市中添加一些独特的元素来弥补。
- 作者认为，人们应该考虑建筑风格是否适合当地的气候和生活方式。
- 作者认为，考虑一个地方的身份并不是势利眼的表现。
- 作者认为，人们应该花时间规划城市的未来，而不是仅仅关注廉价的住房。
- 作者认为，人们不应该假设其他地方应该像某个地方一样建造，因为每个地方都有其独特的需求和问题。
Amid cuts to basic research, New Zealand scraps all support for social sciences #
新西兰政府宣布削减基础研究资金，社会科学领域遭受重创。新西兰的研究人员对此感到震惊，因为政府将“蓝天”马斯登基金（Marsden Fund）的半数预算转移到了研究经济效益的项目上。马斯登基金是新西兰唯一的基础科学研究资金来源，今年的预算为 7500 万新西兰元。
新西兰大学代表协会（Universities New Zealand）对政府的决定表示震惊，称其“令人吃惊”。许多学者和科学家呼吁政府撤销这一决定。新西兰科学、创新和技术部长朱迪思·科林斯（Judith Collins）表示，马斯登基金应该重点支持经济增长和高科技、高生产率、高价值的企业和就业。
社会科学领域的研究人员表示，削减基础研究资金将对新西兰的社会和经济产生负面影响。社会学家保罗·斯普尼（Paul Spoonley）表示，政府的决定“很奇怪”，因为社会科学是理解经济和社会问题的关键。他还指出，新西兰的科学政策鼓励跨学科研究，以确保该国能够预测技术发展对社会的影响。
马斯登基金支持的研究领域包括人口老龄化、人口减少、极端主义等。研究人员表示，削减基础研究资金将导致这些领域的研究受到严重影响。新西兰的科学界已经有多个更大的资金来源支持应用研究，但马斯登基金是社会科学领域唯一的资金来源。
新西兰的科学界表示，政府的决定表明他们不了解商业化研究往往依赖于基础科学的发现。新西兰麦克迪亚米德研究所（MacDiarmid Institute）的共同主任尼古拉·加斯顿（Nicola Gaston）表示，政府的决定“令人失望”。
新西兰的大学和研究机构表示，政府的决定将导致研究人员流失和研究项目被迫终止。新西兰大学代表协会表示，政府的决定将对新西兰的科学界和经济产生长期的负面影响。
HN 热度 227 points | 评论 424 comments | 作者：zdw | 20 hours ago #
https://news.ycombinator.com/item?id=42405956
- 社会科学研究应该重视量化方法和科学方法，避免研究质量下降
- 经济学也存在问题，例如使用量化方法来掩盖逻辑跳跃和缺乏严谨性
- 经济学应该探讨新的经济体系，而不是固守资本主义和共产主义
- 极端的贫富差距是社会问题，例如亿万富翁拥有大量财富，而普通人却难以维持生计
- 基础研究不应该被削减，因为它是推动社会进步的重要力量
Elixir/Erlang Hot Swapping Code (2016) #
https://kennyballou.com/blog/2016/12/elixir-hot-swapping/index.html
本文讨论了在 Elixir 和 Erlang 中热代码替换（Hot Code Swapping）的基本概念及其在部署过程中的应用。
热代码替换的基本概念 #
热代码替换的优势在于能够在运行时动态加载和卸载代码，而不需要重启系统或影响正在使用的服务。Erlang 和 Elixir 的运行时具有类似于真实操作系统的能力，可以进行进程和代码的启动与停止。这样的特性使得在进行代码部署时，可以实现几乎即时的更新。
示例代码 #
文中提供了一个简单的 GenServer 模块示例 ——KV。通过 elixirc 命令编译模块，并在 iex 会话中加载和测试。然后，通过对 KV 模块进行修改（如添加日志功能），展示了如何在不关闭 iex 会话的情况下热替换正在运行的代码。这一过程涉及几个函数，如：:code.load_file/1、:sys.suspend/1、:sys.change_code/4 和 :sys.resume/1。
便利函数 #
在 iex 中，还提供了更简便的热代码替换方式，如 c/1 和 r/1 函数，分别用于编译文件和重新加载模块。这些方法更适合开发环境，但不建议在生产环境中使用。
Relups #
接下来，文中介绍了 Erlang 的应用程序和发布（Release）概念，以及如何使用 Relups 进行升级。Erlang 应用程序使用 .app 文件描述应用的相关信息，而 Erlang 发布则包含 Erlang 虚拟机、依赖的应用程序及其版本等。
Appups 和 Relups #
- Appups：描述如何升级单个应用的模块，包含升级和降级的指令。
- Relups：类似于 Appups，但用于整个发布，包括更复杂的指令集。
文中提供了具体的示例，展示了如何生成 .appup 和 relup 文件，以及这些文件的语法结构和使用说明。
总结 #
通过热代码替换，开发者能够在不影响用户服务的情况下，快速部署和升级应用程序。这种机制在 Elixir 和 Erlang 的生态系统中具有重要意义，能够提高系统的可用性和稳定性。在生产环境中，建议使用 Relups 等工具进行安全的代码替换和升级，而不是依赖简单的热替换功能。
HN 热度 214 points | 评论 103 comments | 作者：justinludwig | 1 day ago #
https://news.ycombinator.com/item?id=42404411
- Elixir/Erlang 的热更新功能在某些场景下非常有用，但社区似乎已经不再强调这一点。
- 热更新对于需要高可用性的系统非常有用，但在 web 应用中并不常用。
- Elixir 社区更倾向于使用蓝绿部署，而不是热更新。
- 热更新需要仔细设计和测试，以避免系统故障和数据丢失。
- Mix Releases 不支持热更新，且警告用户避免使用热更新。
- 热更新虽然复杂，但在某些场景下是非常有用的功能。
Microsoft Recall still storing credit card, social security numbers #
微软的 Recall 功能最近回归到 Windows Insiders 中，该功能可以记录用户的电脑活动，并提供搜索功能。然而，测试发现，尽管 Recall 有一个“过滤敏感信息”的设置，但它并不能有效地过滤出信用卡号码、社会安全号码等敏感信息。
测试人员使用 Windows Notepad 和 Microsoft Edge 测试了 Recall 的过滤功能，结果发现，尽管设置了“过滤敏感信息”，Recall 仍然捕获了信用卡号码和社会安全号码。测试人员还创建了一个 HTML 页面，包含一个信用卡号码输入表单，Recall 同样捕获了该表单中的信息。
然而，在测试人员访问两个在线商店（Pimoroni 和 Adafruit）的支付页面时，Recall 却成功地过滤出了信用卡信息。微软表示，Recall 的过滤功能会不断改进，并鼓励用户通过反馈中心提供反馈，以帮助改进该功能。
Recall 的工作原理是记录用户的电脑活动，包括浏览网页、编辑文档等，并将这些活动以时间线的形式呈现给用户。用户可以使用自然语言搜索功能来查找特定的活动。Recall 还可以读取图像中的文本，并允许用户复制文本。
安全性是 Recall 的一个重要方面。微软表示，Recall 的数据库是加密的，用户需要使用 Windows Hello 登录才能访问 Recall 的时间线。然而，测试人员发现，如果用户知道 PIN 码，仍然可以远程访问 Recall 的时间线。
HN 热度 213 points | 评论 106 comments | 作者：geekinchief | 1 day ago #
https://news.ycombinator.com/item?id=42400935
- 微软与客户的关系糟糕，总是强迫用户做出不愿意做的事情。
- Linux 桌面系统已经有了很大的进步，用户可以选择多种发行版和桌面环境。
- 不要找借口，直接使用 Linux 桌面系统，比如 Kubuntu，用户可以自由定制。
- 微软的行为是不可接受的，用户应该选择自由和安全的 Linux 系统。
- Recall 是微软滥用客户信任的典型例子，用户应该离开微软。
- Linux 系统可以满足用户的需求，包括游戏和应用程序的兼容性。
- 用户不应该被微软的行为所左右，应该选择符合自己需求的系统。
- Google 也会不断地提示用户开启备份和通知，软件公司的行为令人反感。
- 用户应该选择像 GrapheneOS 这样的开源系统，拒绝被软件公司控制。
- 即使是开源系统，也可能会有一些不足之处，比如导航应用的体验不如 Google Maps。
Carta is making it too difficult to cancel subscriptions, some founders say #
Carta 是一家提供股权管理软件的公司，最近一些创始人抱怨说，Carta 的取消订阅流程太复杂。创始人 Sudarshan Sridharan 在社交媒体上分享了他的经历，他说 Carta 要求他与客户成功经理会面才能取消订阅，但会议时间却被安排在他的续约日期之后。另一位创始人 Adam Ryan 也遇到了类似的问题，他说 Carta 的日历显示会议时间只有 12 月 26 日，而他的续约日期是 12 月 17 日。
Carta 表示，这些问题是由于临时的人员挑战导致的，目前正在解决。公司表示，客户可以通过聊天或电话联系支持团队来取消订阅。然而，Carta 的一些竞争对手表示，他们不需要会议来取消服务。AngelList 的 Sumukh Sridhara 说，客户可以直接在软件中取消订阅，而 Pulley 的 Alison Gonzalez 说，客户可以通过电子邮件取消订阅。
Carta 解释说，他们要求会议是为了确保客户了解取消流程，并能够顺利转移证券数据。然而，一些创始人认为，这种做法不合理。Carta 还表示，他们的股权管理软件不仅仅是一个 SaaS 产品，还需要遵守 SEC 的规定。然而，Pulley 也是一家 SEC 认可的转让代理人，但他们不需要会议来取消服务。
Carta 的做法引起了一些争议，之前就有创始人抱怨过他们的股权管理软件。今年 1 月，Linear 的创始人 Karri Saarinen 指控 Carta 泄露了他的私人股权数据。Carta 后来退出了二级股票交易市场，将业务卖给了 Public。
HN 热度 208 points | 评论 72 comments | 作者：impish9208 | 1 day ago #
https://news.ycombinator.com/item?id=42404144
- Carta 的行为是故意设计的暗模式，目的是为了阻止用户取消订阅。
- Carta 的行为是企业软件订阅中常见的暗模式，目的是为了增加收入。
- Carta 的行为是对用户的不公平待遇，应该允许用户轻松取消订阅。
- Carta 的行为是由于内部流程问题导致的，不是故意设计的暗模式。
- 用户应该能够轻松取消订阅，不应该需要律师的帮助。
- Carta 的行为是对小型创业公司不公平的，因为他们可能没有足够的资源来处理这些问题。
- Carta 的行为是对所有用户不公平的，不应该区分大小型公司。
- Carta 的行为是由于他们的系统存在问题，应该尽快解决。
- Carta 的行为是对用户的不尊重，应该改善他们的客户服务。
- Carta 的行为是对整个行业的不良影响，应该引起重视。
Mathematicians uncover a new way to count prime numbers #
https://www.quantamagazine.org/mathematicians-uncover-a-new-way-to-count-prime-numbers-20241211/
数学家们发现了一种新的方法来计算素数。素数是只能被 1 和自己整除的数，是数学中的基本单位。虽然素数看起来是随机分布的，但它们实际上是有规律的。数学家们已经花了几个世纪的时间来研究素数的分布，希望能够找到一种方法来准确地预测它们的位置。
最近，两位数学家 Ben Green 和 Mehtaab Sawhney 证明了一个关于素数的新定理。他们的工作是基于一个古老的问题，即是否存在无穷多个素数，可以用两个素数的平方和来表示。这个问题已经困扰数学家们几个世纪了。
Green 和 Sawhney 的方法是使用一种称为“粗略素数”的概念。粗略素数是指那些可以被几个小素数整除的数。他们发现，如果使用粗略素数来代替素数，那么就可以证明无穷多个素数可以用两个素数的平方和来表示。
这个结果不仅仅是对素数分布的理解的重大进展，也是对数学家们长期以来使用的方法的重大突破。Green 和 Sawhney 的工作表明，使用粗略素数来研究素数分布可能是一个非常有效的方法。
Green 和 Sawhney 的工作还表明，数学家们可以使用来自其他领域的工具来解决素数问题。他们的方法是基于一种称为“椭圆曲线”的数学工具，这种工具通常用于研究代数几何。
总的来说，Green 和 Sawhney 的工作是对素数分布的理解的重大进展，也是对数学家们长期以来使用的方法的重大突破。他们的工作表明，使用粗略素数来研究素数分布可能是一个非常有效的方法，也表明数学家们可以使用来自其他领域的工具来解决素数问题。
HN 热度 179 points | 评论 84 comments | 作者：nsoonhui | 21 hours ago #
https://news.ycombinator.com/item?id=42405733
- 这篇文章写得很糟糕，标题和副标题都不 informative。
- 作者的写作风格很糟糕，喜欢用长篇大论的方式讲故事，而不是直接说明问题的关键。
- 这个结果非常重要，它可能是解决一般类型的素数问题的关键一步。
- 证明素数的分布密度是正常的多项式集的关键问题。
- Szemeredi 定理与此相关。
- 研究素数对计算机科学、机器学习和数据科学的进步至关重要。
- 基础研究对人类的进步至关重要，尽管它可能没有直接的应用。
- 研究素数可以帮助我们发现其他领域的新知识和新方法。
- 了解素数的结构可以帮助我们确认或否定黎曼猜想。-黎曼猜想的证明对其他许多猜想的证明也至关重要。
- 这个结果使用了来自不同数学领域的工具，这些工具可能比我们想象的更强大，也可能有其他应用。