Leon Ding

🧪 INTP
🎸 Full-stack Developer
📚 Technology Blog Writer
🚢 International Busines
🔍 Research Basic Software
🧑‍🔬 Open Source Project Maintainer

[Leon Ding @auula_]

补充一些：

🌍 域名 & CDN : https://t.co/XgnXZdgXb3
🐛 代码质量：https://t.co/jd1SGIMAQM
📉 数据分析：https://t.co/syUbpPGo4w
📢 国际短信：https://t.co/MjqeNDDc1Y

[0xinhua @0xinhua_zh]

现在开展自己的软件生意真的极其地便宜。

你唯一需要的就是 20 美元左右域名费用👇：

🎨 设计：Figma $0
💾 数据库：Supabase $0
🚀 部署：Vercel $0
🔐 用户：Auth0 $0
📧 邮件：Resend $0
💻 编码：V0 + Cursor $0
📊 统计：Mixpanel $0
🔗 短链：Dub $0
📬 公司邮箱：Lark $0
🤖 顾问：ChatGPT $0

[Kai @real_kai42]

过去一个月是疯狂的一个月

大概一个月前，我下定决心重构 kimi-code，开始设计新的架构。
我大概抱着电脑和便携屏在汤泉卷了两整天，花了几千刀的 token 去做架构分析、设计和验证，最终得到了一份我认为最优的架构方案。 我觉得在 vibe 时代，架构变得更加重要了，一份好的架构能够在可控的范围内，让 Agent 肆意 coding，而不会打破东西

- 架构确定后，就开始冲刺实现。（过程中吵和推翻了无数次）
- 迅速组建了一个强大的 team，感恩兄弟们无条件的信任🙇‍♂️
- 迅速 onboarding 整个 team，🙇‍♂️ 再次感恩兄弟们
- 封闭开发了一段时间（🤣年轻的时候，觉得是糟粕，真到时候，发现是人类工程效率奇迹。你无法想象随时可以拉着全部人在白板前吵架的架构迭代速度）
- 虽然代码都是 vibe 的，但依旧逃不过 “代码质量正比于人类的注意力密度”。所以 agent 并不会替代所有程序员，只会让顶级的程序员生产力翻 20 倍，并淘汰其他程序员，且，集体主义 >>> 个人英雄主义。
- 一步一个坑的解决过程中遇到的问题。每一天都是最绝望的一天😭
- 开源后就病倒了，皮质醇分泌过度，影响免疫力
- 这一个月学的东西够我消化半年的
- 一周干了一整箱红牛，还得是生物燃料
- 🫥 也在 x 上消失了一个月

本来想写一些文章去总结过程中一些 insights 和 idea，但我本来就不擅长写长文，外加人脑自我保护让我迅速忘记了整个过程中的痛苦，并模糊了时间观念（冷知识，kimi-code 重构版开源其实才过了一周多，但在我的感性认知中，像是已经过了一个月）

等 kimi-code 陆续迭代到稳定，再去总结过程中的 lessons learned

[GraalVM @graalvm]

"GraalVM native-image + Gluon Substrate + JavaFX gives you a single-binary desktop app with native application startup times"

#GraalVM #JavaFX

[灰狐 @huihoo]

若一个软件应用使用 Lisp 编写或内置了 Lisp
GNU Emacs 就是这样的软件应用

并且人们可以编写 Lisp 程序来扩展该应用程序
那么它实际上就是人们学习编程的一个好方法

这给了人们编写实用小程序的机会，而这在多数其他场合是不可能的

一个大型软件系统，可以试试内置一个 Lisp 来扩展系统
一个尽可能小的Lisp系统，比如 Scheme
这也给出了 Scheme 一个很好的发展思路
让 Scheme 解释器无处不在，轻松地与 C 和 C++ 程序集成
让 Scheme 成为系统的标准扩展语言（不是 Common Lisp，它太庞大了）
把 Scheme 解释器连接到各种大型系统的应用程序中
比如，GUN Guile，一个小而美的 Scheme 解释器
Chez Scheme 已有41年历史，由 Cisco 悉心维护
而不是重新开发一个新的脚本语言或 DSL

我的 Lisp 经历和 GNU Emacs 的开发，一篇非常有启发的文章
Richard Stallman 在国际 Lisp 大会上的谈话记录，2002年10月28日。
https://t.co/9ZosSE5CXL
GNU 工程启动图形化桌面项目时，Stallman 非常看不上 TCL，也在努力阻止 Sun 公司正试图雇人把 TCL 变成全世界“扩展语言的实质标准”的计划
Stallman 想的是要让 Scheme 成为 GNU 的标准扩展语言

很认同的观点：
构建扩展的语言不能是事后再想的编程语言，它应该按照编程语言来设计
事实上，我们发现 Lisp 是做这件事的最佳语言
内核不必是用 Lisp 编写的，但是我们应当有 Lisp

现实中，Lua 是一门广泛使用，简洁、轻量、可扩展的脚本语言。它有着相对简单的C语言API而很容易嵌入应用中。很多应用程序使用Lua作为自己的嵌入式脚本语言，以此来实现可配置性、可扩展性（比如，大型网络游戏）

Lua 作者在《The Evolution of Lua》中也提到在1993年，唯一真正的竞争者是Tcl，它已经明确的设计用于嵌入到应用之中
也不会考虑LISP或Scheme，因为它们有着不友好的语法
但事实上 Lua 的语义久而久之日趋受到 Scheme 的影响
比如：列表的数据结构机制、匿名函数和完全的词法作用域

[写增长的子木 @CoderJeffLee]

https://t.co/s5fFy3zfL3

[Leon Ding @auula_]

agent 和 agent 之间还是推荐 JSON ，HTML 这种适合做实时生成渲染数据给人看的那种。

[华铧 Jasper @HUABANG1]

不同场景需要不同的信息展示形式，
信息粒度不同，互动性不同。

但我并不觉得是一刀切吧，
更多根据具体场景做选择吧。

[Toby! @TobyAtLarge]

长期招人😂
1. 依然在招uiux designer，目前招了一个厉害的兼职！但还是希望可以招一个全职🤔
- 教育 x AI 行业，已有1.0产品，14+万注册用户，纯国内市场
- 初创公司（整体 < 10人），资金已确保到明年年底
- 最好是3-5年左右经验，太资深了也招不起😂
- 待遇低，月薪税前25k rmb/月，不交金，签合同
- 工作地点上海，一周至少2天到办公室（莘庄地铁站附近）
- 唯一的优点可能是不加班，希望你一周高效投入40小时🤔 （因为老板我不喜欢加班）

2. 也招开发实习生
- 实习生6k-8k rmb/月，不交金，签合同
- 工作地点上海，一周至少2天到办公室（莘庄地铁站附近）
- 希望你一周可以保证20-25小时的勤奋工作时间💪('ω'💪)

- 全职的话是30k rmb/月，不交金，签合同。2天onsite + 40hr/week
- 目前全职不缺，但是……也欢迎投递哈，保持联系，万一我们业务扩张了呢！😂

往期第一弹：https://t.co/m8NG8kBVmg
往期第二弹：https://t.co/eGixW374aw

[Toby! @TobyAtLarge]

招聘第二弹来了：

坐标上海，英语学习类APP
10w+用户，现寻一位厉害的产品设计师

1. 你日常要做的事：
- 参与产品需求的讨论，从用户视角给出设计方案
- 负责信息架构、交互动线和视觉呈现，搭建设计系统并维护一致性
- 以文字+figma的形式交付，与工程师协作确保最终实现和设计一致

2. 我们希望你：
- 2-4 年产品设计经验（UI+UX，不是纯视觉）
- 对用户体验和转化设计有自己的理解和方法论
- 熟练运用figma，熟练运用AI生成工具
- 对教育产品有兴趣加分，对代码有基础的了解加分

3. 我们能给的：
- 月薪 25k+rmb（到手）
- 上海，一周至少 3 天到办公室，其余可以远程
- 团队小，没有层级，做的事直接影响几十万学生

感兴趣的话，欢迎带作品集私信/email我 💌

[Leon Ding @auula_]

认同，最讨厌那种胡搅蛮缠那种人了。

[华铧 Jasper @HUABANG1]

算被好朋友背刺吧，
不喜欢过分虚伪的人。

[Zack Chapple @Zackary_Chapple]

我将与团队一同前往杭州和上海，与字节跳动及阿里巴巴的朋友们探讨微前端、Web 模块联邦以及 React Native 相关的话题. 有人愿意邀请我们去贵司办公室交流一番吗？如果您感兴趣，欢迎给我发送私信.

[硅谷101陈茜（Qian Chen ） @Valley101_Qian]

#预告 #视频播客 #硅谷101 再访田渊栋 @tydsh
从Meta离职之后，前FAIR研究总监田渊栋的电话被各大AI公司和猎头打爆，但他很快敲定了下一步：加入新AI实验室Recursive Superintelligence（RSI）。这个有着8名顶级AI研究员作为联合创始人的明星neolab最近进行了官宣：融资6.5亿美元，估值46.5亿美元。

这期视频播客，我们走近位于旧金山的RSI，与田渊栋进行了半年之后的另外一场对话，聊聊他的新旅程在押注一个什么样的未来，如今AI前沿模型的厮杀和路线之争，Neolab们的生态与前景，以及普通人面对“职场蒸馏”，应该怎么办。

剧透一下，对于最后一个话题，田渊栋的回答很精彩。以及，我们office tour彩蛋会继续带大家逛逛46.5亿的AI lab长什么样子。视频明天上线，see you tomorrow!

[Suhani @tiwarisuhani_11]

One of the most important Backend &amp; System Design interview questions:

What is the N+1 Query Problem?

[Manning Publications @ManningBooks]

Choosing a programming language usually comes down to figuring out which tradeoffs you care most about.

Rust keeps gaining traction because it solves problems developers actually care about, from embedded systems to production infrastructure.

Today's Deal of the Day gets you 50% off the following Rust titles:
• Embedded Software with Rust
• Learn Rust in a Month of Lunches by @mithridates
• Rust in Action by @timClicks
• Refactoring to Rust by @TheLily_Mara and Joel Holmes
• Idiomatic Rust
• Write Powerful Rust Macros by @VanOvermeireS

Check out the deal: https://t.co/fTnLmCHme3

[Tiger Chen & 前端之虎陈随易 @chenbimo]

国产Codex，Kimi Work来了。

[老鬼 @laogui]

你们在设计 APP 图标的时候，考虑过一个 40 多岁老男人的感受吗？😂 @libapi_ @yetone

[Yiyang Zhuge @ZhugeYY]

I’ve been writing a cultural column on American higher ed for @caixin for the past 6 months and am the youngest columnist in its history. Nice to visit its headquarter in Beijing for an interview.

[Seven egg @Yali1028]

公司 Java 和 PHP 对 AI 的抵触还挺大的，还秉承古法编程，开会时建议组长自己多用用，回了句下半年可以躺平然后回家了。
您自祈多福吧，CTO 早就逮着机会想换后端组长了。

[tison @tison1096]

我已经有六个月没听到〖程序员将在六个月内被全面取代〗的笑话了🥵🥵🥵

[陈广 @chain00x]

腾讯安全应急响应中心提交并且通过了1000个有效漏洞🎉

[恒星 @vintcessun]

LLM写代码天天吹安全，结果只防恶意攻击，日常改个bug、配个环境都能炸出严重故障。这篇翻遍顶会和GitHub issue，扒出33种真实操作风险，超65%都是高严重性——你看的benchmark根本测不到。作者从68816篇论文和16586个issue里人工确认，归纳出7个维度：约束违反、破坏操作、授权绕过、欺骗等。终于有人认真补这个空白了。

https://t.co/3PTJ5SGzmt