Tim Qian

Building transparent startups at notes on this platform using English and Chinese

[Tim Qian @Tim_Qian]

Introducing Bambot, an open source, low cost (~$300) humanoid robot.

Inspired by @LeRobotHF , so-100 arm and lekiwi

[Tim Qian @Tim_Qian]

Discussions: https://t.co/Ij20D8taSf

[Tim Qian @Tim_Qian]

Built lean4.js: run Lean 4 @leanprover directly in the browser with WebAssembly.
Also shipped a playground so anyone can try Lean without a local setup.
Still early and startup is heavy, but it works: https://t.co/ukvujviyhM

[Tim Qian @Tim_Qian]

Source code: https://t.co/4IQifSCcyS
NPM package: https://t.co/gxEWFAkYQb

[Tim Qian @Tim_Qian]

科学进步 =不同背景的学者不同方向的理论尝试 + 实验验证

[Tim Qian @Tim_Qian]

@noodlesli2016 从工作性质上来说转行了，从就业上就不知道了

[Tim Qian @Tim_Qian]

当 AI 的编程能力超过大多数程序员，程序员改干产品经理
当 AI 的数学&逻辑推理能力超过大多数数学家，数学家改干什么？

[Tim Qian @Tim_Qian]

Humans are able to output "tokens" and train mind at the same time, is it possible to gain this feature on LLMs

[Tim Qian @Tim_Qian]

(It might shake, when a good idea comes

[Tim Qian @Tim_Qian]

Your body knows what you truly love to do/build. Listen to your body.

[Tim Qian @Tim_Qian]

@sofish coze 上的这些给 agent 做的应用还不错，比如这个农场：
https://t.co/YCYYUAfTES
还有其他的
https://t.co/2xNyUWtgMr

[Tim Qian @Tim_Qian]

@wong2__ 天才

[Tim Qian @Tim_Qian]

正如我们把最大量的资源用于娱乐，未来最大量的token也会花在这个方向

[Tim Qian @Tim_Qian]

Every good creation/insight is a ladder for me

[Tim Qian @Tim_Qian]

love the idea: 从 吩咐 Agent 去干某事 -» Agent 主动参与到现有的各种工作流程

[Claude @claudeai]

Introducing Claude Managed Agents: everything you need to build and deploy agents at scale.

It pairs an agent harness tuned for performance with production infrastructure, so you can go from prototype to launch in days.

Now in public beta on the Claude Platform.

[Tim Qian @Tim_Qian]

我常常不假思索地以下面三种方式存在
1. 生活是与别人的一场协作，一起认识世界，解决问题，创造东西
2. 生活是与别人的一场比赛，努力找一个领域，在这个领域超过其他人
3. 生活是与别人一起玩的游戏，尽量增加自己和别人的体验感

可能是应试教育的影响，潜意识经常困在2里。我想要更多的3，适量的1

[Tim Qian @Tim_Qian]

https://t.co/SwEueAd1py 这个博客让我想把 rss 重新用起来

[Tim Qian @Tim_Qian]

Open-Sourcing my App That Reached Top 3 on the iOS Medical Paid Chart
https://t.co/biWLflYSzZ

[Tim Qian @Tim_Qian]

开源一下我做的这个登上过 iOS 医疗付费榜前三的 App
- Blog: https://t.co/6F1tM5Nh87
- App: https://t.co/1UTycysAmH
- GitHub: https://t.co/OhLR6SnzJR

[Tim Qian @Tim_Qian]

Prompt to CAD tools
- https://t.co/g6B5ZvDgcC
- https://t.co/vfzNAhIlfW

[Tim Qian @Tim_Qian]

@gong_cn 我的体验是很多时候，在一个自己比较把握不准的事情上，倾向于某一边去问大模型，它会给你找很多理由支撑你的结论。然后过段时间，当你倾向于另一边去问大模型的时候，它也会给你找很多理由来支持你。

[Tim Qian @Tim_Qian]

大模型的一个危险之处：它会加强你的倾向性，它会很聪明得为你的轻微倾向性找到非常有说服力的理由。不加防范，它让你拥有不该有的坚定。