[2025-04-23] Sapphire: Rust based package manager for macOS (Homebrew replacement) — Open Source Projects Receive Funding to Reclaim the Public Internet

0 views
Skip to first unread message

Hot Posts Digest

unread,
Apr 23, 2025, 9:56:58 PM4/23/25
to mo-...@googlegroups.com
 

Hacker News

Sapphire: Rust based package manager for macOS (Homebrew replacement)

271 points by adamnemecek at 02:39:20 | 197 comments


Open Source Projects Receive Funding to Reclaim the Public Internet

269 points by edent at 15:20:33 | 114 comments


Native visionOS platform support

254 points by whalee at 11:37:05 | 155 comments


Atuin Desktop: Runbooks That Run

237 points by freetonik at 04:54:52 | 58 comments


ClickHouse gets lazier and faster: Introducing lazy materialization

227 points by tbragin at 00:03:32 | 63 comments


Advanced Python Features

218 points by BerislavLopac at 15:21:44 | 80 comments


America's cyber defenses are being dismantled from the inside

170 points by rntn at 18:10:28 | 74 comments


I should have loved biology too

164 points by nehal96 at 00:46:19 | 113 comments


CSS Hell

162 points by gaws at 05:58:50 | 76 comments


Are polynomial features the root of all evil? (2024)

136 points by Areibman at 00:49:55 | 50 comments


Show HN: Rowboat – Open-source IDE for multi-agent systems

131 points by segmenta at 00:33:21 | 46 comments


The complex origin story of domestic cats

127 points by gmays at 02:07:32 | 71 comments


π0.5: A VLA with open-world generalization

125 points by lachyg at 01:29:31 | 34 comments


Show HN: Morphik – Open-source RAG that understands PDF images, runs locally

122 points by Adityav369 at 00:18:41 | 26 comments


How long does it take to create a new habit? (2015)

121 points by rzk at 02:47:05 | 61 comments


Projects for Old OS X

121 points by pierremenard at 09:42:28 | 24 comments


Google won't ditch third-party cookies in Chrome after all

120 points by jnord at 06:15:00 | 70 comments


The Gruen Transfer is consuming the internet

113 points by Incerto at 16:49:34 | 62 comments


Ping, You've Got Whale: AI detection system alerts ships of whales in their path

112 points by Geekette at 02:28:20 | 32 comments


How to quickly charge your smartphone: fast charging technologies in detail

108 points by uycyp at 06:00:36 | 52 comments


Apple and Meta fined millions for breaching EU law

106 points by Aldipower at 18:01:04 | 83 comments


MinC Is Not Cygwin

101 points by thingfish at 18:21:57 | 51 comments


V2EX


送码|独立开发的英语学习软件

我当初做这个英语学习软件是考虑国外工作的机会,所以,软件定位是全面提高英语能力,包括但不限于单词。

我之前在少数派写过一篇文章,详细介绍了软件的设计思想,感兴趣的可以看下: https://sspai.com/post/95972

最初做这个软件,只是想通过阅读提升英语,通过阅读积累单词,然后不断复习记忆。但是后来发现,很多单词是六级单词,所以,我后来加入了单词记忆功能。而最终我们是要提升的是口语,于是我最近加入了口语练习的能力,包括预定义场景对话和 AI 场景对话等。而口语是“快”的表达,写作是“慢”的表达,所以,在这之前加入了写作的能力。所以,现在的功能包括:记单词、网页阅读、写作和口语。

[记单词]

虽然市面上记单词软件很多,但是我的软件也有独到之处。比如,双向链接和多层级标签,双向链接可以用来关联相似的单词,不论是外观上还是含义上;多层级标签可以用来对单词归类。这样可以通过整理达到更好的学习效果。此外,我整合了单词书、之前开源的 GPTWord 以及比例词典,所以单词含义更丰富。而学习方式上,我推崇的是“高频、快速记忆、利用碎片化时间”,也就是开启一个循环自动轮播音标,只利用碎片化时间学习。

[阅读]

提供的是网页阅读能力,可以在浏览网页的时候长按查看单词和翻译句子,并收藏以备后续学习用。

[写作]

主要是通过 AI 对写作点评,这样可以提升写作的技巧,纠正语法和用词错误。当然最终的目的是通过写作这种慢的表达方式最终实现口语水平提升。

[口语]

如上所述,有 AI 自定义口语练习和预定义场景口语练习两种。下个版本预定义场景会下调到高级版可用。

[兑换码]

软件上架之后一直不温不火,我准备后续加强种草推广,所以,我在应用里面加了隐藏的兑换码使用入口( Apple Store 里的兑换码能生成的数量有限)。因此,这里给的兑换码也是通过隐藏入口使用的(不是 Apple Store 的入口)。

入口是:在首页“我的”TAB 点击“会员中心”进入“会员中心”页面,长按“您的权益”可以使用兑换码。

R4XJIECUL8SABS2L5MQQ5D
RR8S7DQCMAAABS2L5MQRHM
QDXMQ6PGRVWABS2L5MQRSH
R3ND23SSKJEABS2L5MQSCO
RFOJYEFQ4Y7ABS2L5MQSTH
RHNG3TM42FIABS2L5MQS4V
RQHT6GWL8Y3ABS2L5MQTED
QRH34JXYEEWABS2L5MQTOW
RATQ6KFCUHEABS2L5MQTVY
RLNIRWKJJ3OABS2L5MQT5R
QR88INIXTM7ABS2L5MQUFB
Q4IPQTY53F5ABS2L5MQUNY
QRDOAB22EA7ABS2L5MQUT2
RBWUTT7I5NAABS2L5MQU5U
R6GVAMYNS7GABS2L5MQVC4

每个用户使用一次兑换码即可,不要使用多个多个。

先出 15 个码,如果后续还有 v 友需要可以留言,我可以再生成一批兑换码。

[下载地址]

⬇️ 下载链接: https://apps.apple.com/cn/app/id6502190494

软件开发了有一段时间了,用户量不多,如果使用过程中有发现任何问题、异常或者崩溃,抑或有好的建议可以使用任意渠道与我沟通。当然,如果能给一个好评就再好不过了~

非常感谢🙏

227 comments by WngShhng at 09:58:39 in 分享创造


五一要去谈彩礼,心里有点慌

习俗是 60w ,不算黄金,不怎么回礼,有的话可能也是 10 几 w

双方父母都是普通打工的

已在父母支持下贷款买房,自己也有车,收入大概是女方 6 倍

女方年龄比较小,双方身高样貌应该都在及格线上

女方有个哥哥,已离婚没有小孩,赚钱能力一般,万以下

想想到时要养一大家子,压力还是有点大,父母慢慢要退休了,只是因为我还没成家还在上班

本来这次不打算去了,再缓缓先赚钱,女方那边提议双方父母先见面聊聊,可能订婚先十几万,后续再看

150 comments by mo9V1Iyie18b095k at 10:37:54 in 生活


好酒好在哪里,二锅头和牛栏山又差在哪里? 上周末喝酒,因为老同学相聚不容易,不醉不归式的喝上了不少白酒,这么亲近的同学关系,也不在乎要喝多贵多上档次的酒,就是普通的牛栏山,喝完也没有感觉和二三百块一瓶的酒相差很大。那好酒好在哪里呢,第二天反应比较小么,我也没感觉多大差别啊,是我个体差异么。当然,更贵的酒,上千块的酒,虽然也喝但喝的少,主要对比还是 400 块以内的酒。

还是说成本都差不多?差别在品牌溢价?

112 comments by fly89 at 10:18:15 in 美酒与美食


哪吒排期到五月底了,我提议

定个哪吒节放三天假呗

111 comments by sikuu2al at 15:28:16 in 电影


午休醒了,上午不想干活,下午也不想干活,一天就这么过去了。

HR 又来巡逻了,提醒员工要上班。

83 comments by littleG at 13:37:00 in 职场话题


大家有没有感觉有了 AI 编程能力没变菜,反而变强了

一开始也有点担心 AI 会让程序员变笨,代码能力下降,但用了一段时间后,尤其是最近几个月,发现完全不是那么回事。感觉自己的代码能力,反而是不降反增了。

其实挺反直觉的。按理有人帮你写代码,动脑子的地方就少了,能力自然就退化了。但实际是想让 AI 写出 能用 的代码得先把需求描述得清清楚楚。你得精确地告诉它上下文是什么,输入输出是什么,不能有任何歧义,尤其是 3.5 的时代。就逼着你把问题想得更透彻,这种表达能力得到了很好锻炼。以前我容易有个思路就闷头就写,不知不觉现在习惯是先细化列点再写。

而且 AI 生成的代码,你敢直接用吗?反正我不敢。你总得去读去理解它的思路去检查有没有坑。有时候 AI 会用一些你没用过的库,或者一些比较刁钻的写法。这个过程中你就被迫去阅读大量的、不同风格的代码,尤其是写一些系统级的程序。有时候还不得不去看上游代码,修 AI 造的 bug ,看多了感觉阅读代码能力飞升。

另外 AI 的上下文能力是真的捉急。稍微复杂一点的项目是没法把代码全放进去的,更遑论有很多小众外部依赖的情况。比如我最近在搞的 mo 编译器 (moinfra/mo),这东西的编译流程复杂,而且没有用 LLVM ,想让 AI 帮我写个复杂点的 Pass 几乎不可能,因为它完全不知道上下文,只会当成基于 LLVM 写。没办法,只能自己硬着头皮去梳理,把接口、依赖关系梳理清楚,整一个专门的知识库给 AI ,才能让 AI 写点局部的辅助函数。换句话说我需要反复梳理相关的上下文,提取给 AI ,代码阅量++。不过有了 gemnini2.5 感觉这个又变了。

就是 AI 写的代码里有多少 bug 真的无花八门,写点前后端还行,如果是比较冷门的(比如写 ZK ) AI 就会乱编,这种情况它自己基本修复不了这些 bug ,在一个错误的逻辑里反复打转。最后得靠人去 debug ,你去调试 AI 写的代码,往往比调试自己写的代码更费劲,因为它的逻辑可能跟你习惯的完全不一样。这个过程,对你理解代码、定位问题的能力,绝对是高强度的训练。

最有意思是,有些以前没完全搞懂的原理,现在反而因为调试 AI 写的烂代码而搞懂了。就说我那个 mo 编译器里的 LSRA 分配。原理大致知道,但实现细节,特别是 spill code 怎么插,还有多个 interval 的处理一直有点模糊。我让 AI 帮我写了个基础框架,结果 bug 一堆,逻辑硬伤也不少,但大方向的原理是对的。我就对着这个半成品,一点点调,一点点改。在这个过程中,反复琢磨寄存器的分配策略、活跃区间、冲突解决、溢出代码的插入时机和位置……最后,硬是把所有分配细节给彻底搞明白了。这个过程,调试 AI 写的 bug ,反而不断强化了我对底层原理的理解。

现在感觉,写代码的心态也变了。以前很多时间都浪费在查 API 、写各种样板代码、纠结一些语法细节上。这些琐碎的事情,现在大部分可以丢给 AI 。感觉编程这件事情变得更有趣了一点。我能把更多精力放在更宏观的层面,比如算法设计、整体架构的权衡。看代码的速度也快了很多,以前可能要一行一行地看,现在一大段代码扫一眼,基本就能瞟出来它的实现思路和核心逻辑。相比起来,面试还要一个白框手搓代码,筛选的到底是什么人?背诵仙人?

我另一个个人项目,一个大模型客户端 ,几乎全是 AI 开发的,UI 审美比我好多了,大家可以看看自己的组能不能一天内设计出这个水平。这种模式下我基本上不写代码,纯读然后修细节,更专注于功能和架构。对我来说,结论就是这样:AI 没让我变菜,反而让我变强了。

说了这么多其实关键就是,以前是读代码占 6 分,写占 4 分,现在感觉是读占 9 分,写占 1 分。而读代码的重要性一直以来被很多人低估了,读代码真的特别提升理解能力。以前一半时间写初版,一半时间修 bug ,现在基本上除了 C/V 就是修 bug ,也是相当锻炼人。以前一个团队干的活,现在一个人就能搞。遇到别人的大项目也敢去看代码提 PR 了。感觉程序员正在朝更牛逼的工种进化,可能以后反而不会失业?但是分化可能会越来越明显。

82 comments by pluvet at 01:42:23 in 程序员


25 岁第一辆车,想买一辆两门二手油车,求建议 如题,第一辆车,最近突然想预算 20+,买一辆二手两门油车(跑车),心里预想 718 M4 M2 brz 这些,V 友有什么建议吗

79 comments by MicroG at 10:03:54 in 汽车


北京-霍营这块的房子能上车吗

和老婆在北京打拼了一些年(都在互联网,老婆有集体户口)。孩子刚怀上,预计 26 年初出生。算了一下,我们首付可以拿 200 个,然后公积金余额有 90 个,预计贷款 200 个 然后上个 500 左右的 3 居。 本来想上朝阳那边,但是那边 3 居都是 600 左右, 压力会更大。 权衡了一下上车的利弊: ✅ 北京有个稳定的家了,后面的生活质量(买家具、装修、稳定性 等)比现在租房要强很多,包括即将出生的孩子也不用跟着一起漂了 ❌

  1. 经济直接变成负债,以前只需要看房东/中介的脸色(或者扯皮),之后得看公司/老板的脸色(真牛马)...
  2. 抗风险能力归 0
  3. 父母(知道怀孕后)很支持这个时候上车,希望我们有个稳定的家,表示可以帮兜底还钱, 虽然我是独生子,但是总觉得把父母拉进来和我一起负债不太好。于心不忍
  4. 房价持续在跌

也想过换租个大点的房子,公司附近的 3 居室,差不多一个月 1w+,1 年就算 15w 吧,也有点贵,但是这样的话至少有退路,即便过两年被优化了,也可以回老家躺平(成都,有房子)

74 comments by jugglllljugg at 15:14:52 in 北京


撸了个 macOS 小工具

前段时间心血来潮撸了个菜单栏小工具

如图:

img

下载地址: https://apps.apple.com/cn/app/time-progress/id6743822912?mt=12

分享几个兑换码

9XMTNEEFYLEH

TAY9ENYLA9EW

WLWY4YYJYMYH

6H9RMK7H9ANK

PK94XRXLTY4Y

72 comments by nodesolar at 09:57:20 in macOS


五一孤身一人想去日本旅游,发现订不起酒店怎么办

人在深圳,五一难得办了日本签证,然后看机票,发现香港飞大阪/东京机票都好便宜(往返 1-2k)好想去日本旅游。但是上 bnb ,boking 看看,酒店都好贵,大阪的胶囊都 400 左右一晚。 打算只去东京或者只去日本,怎么才能住宿啊?住几天大阪,然后再去京都住几晚? 求求万能 v 友帮帮忙了

71 comments by GallifreyCAR at 15:14:40 in 旅行

Built With ❤️ by jiacai2050/mofish
 
Reply all
Reply to author
Forward
0 new messages