这里记录每周值得分享的科技内容,周五发布。
本杂志开源,欢迎投稿。另有《谁在招人》服务,发布程序员招聘信息。合作请邮件联系([email protected])。
封面图
温州江心屿是瓯江里面的一个小岛,最近完成了改造工程。(via)
VS Code 编辑器的下一站是 Zed?
程序员离不开编辑器,眼下最流行的代码编辑器肯定是 VS Code。
VS Code 其他都好,但有一个很大的缺点:性能。
它运行在 Electron 的沙箱里面,资源占用多,速度慢。我现在调用某些插件,就有明显的延迟。
它还有点臃肿,安装包 100MB,需要磁盘空间 500MB。
所以,当我听说有一个新的编辑器 Zed,性能出众,功能强大,就立刻安装了,下面就是我的使用体会。
首先说一下,为什么 Zed 吸引我?
(1)它的作者是原来的 Atom 编辑器的作者,以及 Tree-sitter 解析库的作者。
(2)它基于 Rust 语言,充分利用多核 CPU 和 GPU,追求极致性能,速度极快。
(3)它内置了 VS Code 的很多插件功能,比如 LSP(语言服务器协议)、代码提示补全、多人实时编辑、AI 助手等。
(4)它的开发非常活跃,GitHub 仓库的星星已经达到了 49K。
安装后,我一打开就觉得非常清爽,极简主义的界面,布局跟 VS Code 类似,没有学习成本,可以直接上手。
它的速度真是快,不管什么操作,一点即开。用久之后,再用 VS Code 都不习惯了。
编程需要的功能,大部分开箱即用。如果没有的话,可以去插件市场找找。
有些功能,我觉得很实用。比如,它有一个大纲面板(下图左),列出当前脚本的所有函数,点击函数名可以跳转到函数实现。
它还可以添加参与人(必须有 GitHub 账号),让你跟多人实时协作、聊天。
参与者的头像显示在窗口右上角。
虽然它有上面这些优点,但也有一些难以忽视的问题。
(1)它不是真的跨平台,目前只有 Mac 版本最完善,Linux 版本我遇到了不少问题,Windows 版本官方暂未支持。
(2)很多地方还没来得及做,你经常会遇到一些小功能缺失,找不到解决方法。
(3)它的设置就是一个大的 JSON 文件,没有图形设置界面,动不动就要查文档。
(4)AI 助手只支持 OpenAI、Claude 和本地运行的 Ollama 模型。
我的结论是,它的表现非常出色,但没有完全准备好,只适合那些看重性能、愿意自己解决问题的程序员。
总的来说,Zed 是 VS Code 很好的替代品,奉行极简主义,不臃肿,内置功能完备。明年的这个时候,它也许会让 VS Code 不再那么流行。
[本周软件]302.AI
面对层出不穷的 AI 模型,你会不会有一种想法,如果存在一个统一的使用入口该多好?
事实上,真有这样的产品。周刊以前介绍过一个网站 302.AI,就是这种思路。
它的定位是"AI 应用超市",可以看作是一个适配层,适配了各种各样的 AI 模型,让你都能通过它来使用。
你可以直接使用各种模型,也可以使用"工具超市"预置的30多种 AI 应用,比如下图的"AI 学术论文搜索"。
它还提供 API 调用,通过它的服务器,调用各种模型的 API。
它有试用额度,此后按照使用量收费,一般是底层模型原始价格的五折。
最后,它本周开源了,各种官网工具的源码都放出来了,仓库地址 github.com/302ai。他们用 Next.js,你可以用来开发自己的 AI 应用。
科技动态
1、34阶魔方
普通的魔方是3阶的,即长宽高各3个色块,但也有其他阶的魔方。
上图是2阶、4阶、5阶的魔方。
最近,有人用 3D 打印机做了一个世界最高阶的魔方,达到34阶。
这么大的魔方,转动起来很不方便,已经不适合用来游戏,而是适合摆弄许多奇特的造型。
随着 3D 打印的普及,做出更高阶的魔方也不是难事,但是缺乏实际意义。目前,量产的最高阶魔方是17阶。
2、Ping 时钟
ping 是一个命令行工具,用来显示本机到服务器的信号传输时间。
一位国外程序员突发奇想,制作了一个 Ping 时钟,在钟面上显示 ping 的耗时。
它的钟面有两根指针,长指针是每次 ping 的毫秒数,短指针是最长耗时。
钟面下部是液晶显示屏,显示当前所在网络,以及目标服务器。
每次只要运行 ping 命令,就能很直观地看到,长指针不停地摆动,网速可视化了。
这个时钟的源码,已经开源了,使用 ESP32 芯片、一个微型电机和定制的 PCB 电路板。有电路基础的同学,完全可以自己动手制作。
3、麻雀的新用途
麻雀有什么用?澳大利亚科学家想出一个新用途。
澳大利亚是世界主要的铅生产国,有28个铅矿。铅会造成人体中毒,对儿童影响尤其大。
科学家一直寻找监控方法,能够测试环境的铅泄漏。他们想到了麻雀。
麻雀比人类,更早摄入环境中的化学物质。只要抓住麻雀,测一下它们的血铅,就能了解是否有铅泄漏,从而可以早期发出报警(下图)。
4、其他
(1)一位美国物理学家总结出猫的行为方程,已知猫的质量和疲劳系数,可以算出猫从 t0 到 t1 的位移,该公式的目的是"唤起非专业人士对经典力学的兴趣"。
(2)CDN 服务商 bunny.net,推出边缘函数功能,基于 Deno,可以备用。
文章
1、如何简化 PATH 环境变量(英文)
Linux 系统有一个环境变量 PATH,指定可执行文件的默认路径。本文告诉你,怎么简化这个变量,更容易管理。
2、AppData 目录的作用(英文)
一篇科普文章,Windows 11 有一个 AppData 目录,它有什么用。
3、蓝牙版本的变化(英文)
本文介绍蓝牙协议如何进化,每个版本的特点是什么。
4、业务逻辑不要放入数据库(英文)
本文提出,数据库最好只用来存放数据,不要加入业务逻辑,让应用程序处理业务逻辑。
5、SAML:技术入门(英文)
一篇长文,介绍企业用的登录协议 SAML。开头部分是 SAML 简介,写得挺好,后面是技术细节,可以不看。
6、质能公式与光速(英文)
一篇物理学科普长文,谈怎么理解质能公式 E=mc^2,为什么包含光速的平方。没有数学,我觉得很有启发。
工具
1、PasteBar
开源的桌面软件,用来管理剪贴板,可以搜索剪贴板历史,以及预设常用的粘贴项(比如地址),支持 Windows 和 Mac 系统。
2、FastHTML
一个 Python 的 Web 框架,Django 的替代品,用起来更简单。
3、Kagi 翻译
搜索引擎 Kagi 推出的翻译服务,类似于谷歌翻译。
4、Star
一个 Web 应用,在手机打开以后,它会利用手机的运动传感器,显示某一颗你指定的卫星相对你的方位。
一个开源的网页终端,在网页上通过 SSH 连入远程主机。(@zyyzyykk 投稿)
一个基于 Next.js 的博客和 CMS 系统,查看 demo 站点。(@fecommunity 投稿)
开源的命令行工具,使用 AI 翻译 PDF 文件,完整保留排版。(@Byaidu 投稿)
8、dimmer
开源的 Chrome 浏览器插件,暗黑模式一键切换。(@slc3a2 投稿)
9、ThriveX
一个开源的博客系统,基于 Next14 + Spring Boot。链接是前端仓库,另有后端和控制台。(@LiuYuYang01 投稿)
10、Trayce
这个工具拦截本地开发环境中 Docker 容器发送和接收的 HTTP(S) 请求。
11、ngtop
一个命令行工具,用来查询 nginx 日志。
12、InputShare
电脑连接安卓设备之后,这个工具可以把电脑的键鼠和剪贴板,共享给安卓设备,只支持 Windows。(@BHznJNs 投稿)
资源
1、逆向工程教程(Reverse Engineering For Everyone)
面向初学者的逆向工程英文电子书,涵盖了 x86 和 ARM 架构。
HTML 的 iframe 元素有很多属性,这个工具网站可以查看所有属性值,并生成最终代码。(@wincatcher 投稿)
这个网页收集 Chromium(Chrome)浏览器的命令行开关,居然有1600多个。
4、Typst 介绍(英文)
Typst 是一种排版工具,可以生成论文、小册子、表格等,功能类似于 LaTeX,但是写法类似于 Markdown,用起来相对简单。
图片
1、犰狳化石
一个阿根廷农民发现,路边有四个奇怪的大土块。
后来经过生物学家辨认,这居然是四个巨型犰狳的化石,这种动物已经在一万年前灭绝了。
犰狳是一种看上去很像穿山甲的动物,外面披着一身铠甲。下面就是现代小型犰狳的照片。
巨型犰狳的灭绝原因,有一种说法是跟人类有关,古人想要它们的铠甲。
2、因纽特人的雪镜
雪地和冰面会强烈反射阳光,导致视力受损,这叫做"雪盲症"。因此,雪地活动都需要佩戴墨镜或保护镜。
因纽特人是美洲北极圈的原住民,已经在那里定居了几百年。他们在原始条件下,怎么防止雪盲症呢?
原来他们使用各种材料(骨头、木头、鲸须)制作雪镜,戴在眼睛前,只留出一条窄缝观察外界。
这种眼镜限制了进光量,保护了佩戴者的眼睛,也有助于提高视力。它就像针眼相机一样,狭缝聚焦光线,使得远处的物体看起来更清晰。
文摘
AI 的发展,使得语音可以成为用户界面,这称为"语音 UI"。
有人认为,语音 UI 将是终极 UI,因为当你可以直接说出命令,为什么还要费心使用键盘和鼠标呢?
我不相信语音会成为通用界面,原因有很多。
(1)声音本质上无法表达抽象思想。很多时候,我们的大脑里面只有零碎的意识,很难找到正确的词语,将它们表达出来。
(2)语音让很多事情变得更难而不是更容易。理论上,说出"叫一辆网约车去机场"似乎是完成任务的最简单方法,但是如果你还有其他要求,比如指定车型和限价,口头表达就会很麻烦。
(3)语音侵犯隐私。你说出指令的时候,愿意被别人听到吗?
(4)视觉 UI 可以展示软件的局限性,语音 UI 就不行。很多事情,软件无法做到,视觉 UI 可以帮助我们了解软件的功能。如果没有视觉 UI,你很难发现软件不能做什么事。
(5)用户不喜欢一直说话。使用语音完成简单的任务是可以的,但要完成所有事情很快就会变得烦人,难道你要一直说个不停吗?
(6)语音无法解决现实世界中的歧义。语言表达可能存在大量歧义,无法通过纯语音界面轻松解决。人工智能可能无法正确理解你想要完成什么。
当然,视觉 UI 也有歧义,但是这会更困难,因为你的操作有视觉反馈。
言论
1、
美国的在线教育公司 Chegg,业务是帮助完成家庭作业。学生输入题目后,它会分发给印度的数千名承包商,让他们提供答案。
ChatGPT 诞生后,学生不再使用这个服务了,而是直接问 ChatGPT。Chegg 的股价已经下降了99%。
2、
大多数哲学的目的,都是强化你的身心,让你学会,对于那些自己无法控制的事情要漠不关心、
-- 《禁欲主义》
3、
作为一个德国人,我每月支付的医保费用是1000欧元左右,另外还要支付差不多金额的个人所得税。但是,如果我停止工作,结婚并生1-2个孩子,我拿到的失业救济金 + 生育补助,比我现在的税后收入还要多。这完全是不可持续的,但政治家们没人谈论这些。
4、
经常有人问我,为什么2019年决定将 Keras 库合并到 TensorFlow。
这不是我的决定,而是 TensorFlow 团队主管的决定。当时我是谷歌 L5 级员工,而他是 L8。如果我不同意这个决定,就需要从谷歌离职。
-- 弗朗索瓦·乔莱(Francois Chollet),神经网络库 Keras 的作者,本周宣布从谷歌离职
5、
创业公司的最大风险不是失败,而是一种不敢尝试的文化。
-- 《容忍失败的领导者》
往年回顾
棘手的 AI 版权(2023 #278)
人类和人生的意义(2022 #228)
家庭太阳能发电的春天(2021 #178)
这个社会是否正在变成"赛博朋克"?(2020 #128)
(完)
zheng 说:
和语音UI同理,用chagpt编程,很难把复杂逻辑描述清楚,一步一步细化,还不如自己写代码。就像让建筑设计师或美工不要画草图,就说,把结构说清楚。不过用于查询某个用法,或者简单的算法,倒是好用
2024年11月15日 09:00 | # | 引用
zweix 说:
我看Cursor就已经可以代替VSCode了,不过Cursor使用了VSCode开源部分的代码,不知道这样还算不算代替。
2024年11月15日 09:01 | # | 引用
qiba 说:
不敢尝试的根源就是害怕失败
2024年11月15日 09:14 | # | 引用
DingSoung 说:
我是第一个吗。
Zed 不好用,尽管宣称性能,但是目前而言 VS Code对我而言够用,Zed 的优势并没有带来足够的价值。
随着 Zed 的完善,其优势不一定还在。
2024年11月15日 09:23 | # | 引用
xingo 说:
"总的来说,Zed 是 VS Code 很好的替代品,奉行极简主义,不臃肿,内置功能完备。明年的这个时候,它也许会让 VS Code 不再那么流行。"
让vscode不再那么流行有点可能,但让vscode不再流行有点不太可能
2024年11月15日 09:32 | # | 引用
Michael 说:
我是个java后端开发,环境是 mac,IDE我用的Intellij Idea, 但平时简单的文本编辑 用的zed,用了有3个月了,非常喜欢。替换了我之前用的sublime,目前他还是0.x的版本。
2024年11月15日 09:36 | # | 引用
八页 说:
5、
创业公司的最大风险不是失败,而是一种不敢尝试的文化。
-- 《容忍失败的领导者》
确实如此,而且人生最重要的领导者,是个人自己,所以有句话说的好:保持对自己最大的宽恕,在自己的能力范围内,勇敢地去试错。
2024年11月15日 09:40 | # | 引用
唐鸥 说:
Zed对vscode影响非常有限,性能从来不是编程时的痛点,感知并不强。但Zed的插件生态比起vscode差远了,这才是最要命的。
2024年11月15日 09:53 | # | 引用
agitra 说:
不认为一个文本编辑器需要过分强调性能,就算是vscode大部分lsp实现也都是它们各自的语言或是其他外部程序,编辑器基本只负责ui渲染,流畅够用就好
2024年11月15日 09:59 | # | 引用
张宇 说:
以前一直用WebStrom,WebStrom有一些功能VSCode真就没有,而且VSCode自带的Git工具跟屎一样,我不喜欢用VSCode,为了用Cursor只能自适应了,估计Zed也好不了哪去。
Windows上的AppData真的麻烦,动不动就几十个G,以前我还分区的时候C盘老不够,现在就一个盘爱咋咋地。
2024年11月15日 10:01 | # | 引用
panpengfei 说:
windows可以用zed,我就装了一个,可以用scoop或者choco直接安装。但是windows下不好用是真的
2024年11月15日 10:06 | # | 引用
胡一淳 说:
当然,视觉 UI 也有歧义,但是这会更困难,因为你的操作有视觉反馈。
这里应该是视觉UI也有歧义的情况,但是你更难犯(歧义的)错,因为你的操作有视觉反馈。
2024年11月15日 10:26 | # | 引用
讲多七个字会嘎 说:
复杂乘以复杂
2024年11月15日 10:28 | # | 引用
我小子又走运了 说:
zed用过几天,还是用回cursor。zed还不完善,有小bug,代码提示比cursor差很多,我指的不是生成的代码水平,而是用户操作上。
2024年11月15日 10:54 | # | 引用
zz 说:
VS Code臃肿???对比一众ide、jetbrains简直不要太轻量
2024年11月15日 10:58 | # | 引用
Kholin 说:
德国那位网友,相当于每个月社保+个税一万四千多元人民币,这不是普通工薪阶层吧
2024年11月15日 11:24 | # | 引用
Jun Xie 说:
Zed 是支持第三方模型的,比如这样使用 groq:
"language_models": {
"openai": {
"version": "1",
"api_url": "https://api.groq.com/openai/v1",
"available_models": [
{
"name": "llama-3.2-90b-text-preview",
"max_tokens": 8192
}
]
}
}
2024年11月15日 11:31 | # | 引用
bqh 说:
全局搜索找了半天。。感觉不是很符合直觉
2024年11月15日 11:56 | # | 引用
业余草 说:
创业公司的最大风险不是失败,而是一种不敢尝试的文化。
非创业公司也一样,犹如:上汽、北汽、诺基亚????
2024年11月15日 12:59 | # | 引用
wsure 说:
zed我去官网下载安装之后,打不开....这是一个令人信任的软件吗,无法使用
2024年11月15日 12:59 | # | 引用
亦无哈哈哈 说:
VS Code 刚出来时,大家惊呼不已,但同样是功能缺少,随着功能越来越多,也开始越来越庞大,然后就自然出现了性能问题 => 貌似每一个软件(事情)都逃脱不了这个循环,又快又多是个伪命题?
2024年11月15日 13:09 | # | 引用
Whisker 说:
虽然不清楚德国的情况,但失业救济金一般只能领一段时间吧,类似于半年到一年,还要积极找工作才行。另外,金额可能是按照自己原来的收入乘以一定比例计算的,加上生育补贴之后超过原来的收入也可以理解。
2024年11月15日 13:40 | # | 引用
weirwei 说:
与其说 Cursor 可以代替 VSCode,不如说 Cursor 就是装了个特殊插件的 VSCode。Cursor 导入VScode 的设置和插件后,稍微调整一下设置,几乎就跟 VSCode 一模一样了。
2024年11月15日 14:03 | # | 引用
sygkyo 说:
VScode刚出的时候也是宣称轻量级,又快又好用,几年后,插件越来越多。等Zed成长到VScode现在这个程度,还能保持现在的性能?
2024年11月15日 17:07 | # | 引用
SchneeHertz 说:
vscode现在有copilot edit,已经可以代替Cursor了
2024年11月15日 18:05 | # | 引用
老曹 说:
vscode最大的问题就保存文件太慢了,目前我的解决方案是不停的按ctrl+s大概连按10几次就保存成功了
2024年11月16日 07:46 | # | 引用
fasdfa 说:
别给typescript/javascript和electron洗了,垃圾性能就是垃圾性能,vscode天生会越来越慢,拿头去和编译语言做的软件比性能
2024年11月16日 13:28 | # | 引用
苏小刚 说:
但是目前体验还是不如cursor更加成熟,当然我更习惯用vscode+插件,而且copilot价格相比cursor更有优势
2024年11月16日 14:10 | # | 引用
周星星 说:
目前这些编辑器都一个样好吧,没多大区别,也没多“清爽”,UI都一个样子。但是你说性能肯定是比vs快。像zed,lapce这些看起来和vs没区别的,只是基于rust天生有性能优势。
2024年11月16日 15:31 | # | 引用
Yan 说:
zed/sublime在全局搜索上非常不好用。和之前eclipse差不多。相比vscode,他的全局搜索功能 非常符合直觉
2024年11月16日 18:13 | # | 引用
ccc 说:
不会啊,你看看反大陆的 NOTEPAD++ 做的多好。就没有 大陆的 CODER 做一个反击一下?
2024年11月16日 19:59 | # | 引用
datou 说:
一个直接针对文本渲染,一个基于浏览器内核。
一个专用方案,一个通用方案。
你拿台配置低的机器跑跑看,差别就明显了
2024年11月17日 13:06 | # | 引用
Kali 说:
Zed不能指望,轻量级带AI插件的编辑器比比皆是。
用固态的情况下,vscode的延迟始终是保持在一个可接受范围的。
2024年11月17日 19:54 | # | 引用
Matt 说:
zed是tauri开发的吗?tauri在mac上内置的safari浏览器,难用死了
2024年11月17日 20:44 | # | 引用
虚指 说:
现在我就在用NotePad--,也是一种反击了,功能也能覆盖
2024年11月18日 09:54 | # | 引用
张校长 说:
作为一个德国人,我每月支付的医保费用是1000欧元左右,另外还要支付差不多金额的个人所得税。但是,如果我停止工作,结婚并生1-2个孩子,我拿到的失业救济金 + 生育补助,比我现在的税后收入还要多。这完全是不可持续的,但政治家们没人谈论这些。
----我17年去德国出差,那边人就给我讲过了。税后只剩一半,但如果女方结婚生俩娃且不上班,拿到的比不生娃还多。而且,娃的医疗、教育几乎不花钱。所以德国是目前几乎唯一生育率扭转了的国家吧
2024年11月18日 10:53 | # | 引用
lofayo 说:
一个盘,想咋样就咋样,再也不用担心C盘快满了
2024年11月18日 14:00 | # | 引用
nuc 说:
這是你的個人感覺吧?第一我不認爲 notepad++ 反大陸,第二我感覺 notepad++ 非常難用,它的流行完全是因爲搶注了一個名字而已。
2024年11月19日 03:15 | # | 引用
tonyFu 说:
公司的360居然对cursor报错,认为是木马程序。
2024年11月19日 08:54 | # | 引用
willow 说:
全球有四千多万的盲人。我相信语音UI还是有它的意义,只是需要改进。
2024年11月19日 10:27 | # | 引用
wujimalayo 说:
会不会明年这个时候就不会那么极简了?
2024年11月21日 15:47 | # | 引用
你小心点 说:
光速和质能公式那篇确实很好,物理学真的很有哲学味道
2024年11月22日 14:27 | # | 引用
不好取名字 说:
zed体验过一段时间,非常不好用
2024年11月25日 14:21 | # | 引用
姓C的某人 说:
# 言论
2、大多数哲学的目的,都是强化你的身心,让你学会,对于那些自己无法控制的事情要漠不关心、-- 《禁欲主义》
---
是“极简”不是“禁欲”
2024年11月28日 19:11 | # | 引用