zhenyi.eth

Co-Founder of @TurtlecaseGang | Author of ERC721G | Crypto | AI | 🏀 | 🏎 | 📷 | 📚 | 🎮 | ☀️ | Olympiad in Informatics/ICPC | BUIDLer | $TCGOG holder

[晚点 LatePost @latepostnews]

查看全文：https://t.co/fHhyZJETU9

[zhenyi.eth @soczhenyi]

@TaNGSoFT 所以msa的doc不是把整个doc训练到attn里。而是把学习到怎么看doc写入了？ 每次query的时候，local doc也要作为输入一起和prompt给到msa是吧

[zhenyi.eth @soczhenyi]

@elliotchen100 请教一下，docs是作为输入和query一起组成prompt的对吧。而不是把docs直接存入attention

[zhenyi.eth @soczhenyi]

That's it!

[DeepSeek @deepseek_ai]

🚀 Day 0: Warming up for #OpenSourceWeek!

We're a tiny team @deepseek_ai exploring AGI. Starting next week, we'll be open-sourcing 5 repos, sharing our small but sincere progress with full transparency.

These humble building blocks in our online service have been documented, deployed and battle-tested in production.

As part of the open-source community, we believe that every line shared becomes collective momentum that accelerates the journey.

Daily unlocks are coming soon. No ivory towers - just pure garage-energy and community-driven innovation.

[zhenyi.eth @soczhenyi]

@aigclink F**king Cool !!!

[zhenyi.eth @soczhenyi]

@lidangzzz 和我观点接近。中国孩子只有竞赛可以打是一种“悲哀”，没有美国这么多样化的机会和途径

[zhenyi.eth @soczhenyi]

@VitalikButerin Vitalik, we’re developing the same idea (AI-based) of that about the problem of inconsistency between code implementation logic and the author's intention is widespread. This phenomenon is known as Code-Comment Inconsistency (CCI).

https://t.co/4RPQJddIvS

[zhenyi.eth @soczhenyi]

来看看基于SIR编译器的 AI-based 意图一致性技术：https://t.co/4RPQJddIvS

[vitalik.eth @VitalikButerin]

One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.

Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.

[zhenyi.eth @soczhenyi]

赞👍 欢迎大家来Fork Star

[ZAN @zan_team]

🚀 Exciting news for developers! We're proud to announce the open sourcing of 'Smart Intermediate Representation' - a cutting-edge compiler framework that redefines contract development with security, efficiency, rollup friendly, and AI friendly.

Dive into the future of compiler technology with us! 🌐

Read more: https://t.co/lLWENJPuXe

#Web3 #developer #tools #smartcontract #Blockchain

[zhenyi.eth @soczhenyi]

#NVDA #AGI #ChatGPT 上一个高点精准“抄顶”，但是对“算力”的未来就是有很大信心，不论Crypto还是AI。

长线，还是看好硬科技。

Long GPGPU～

[Cos(余弦)😶‍🌫️ @evilcos]

从来不会因为一个漏洞弃用一个产品，哪怕这个漏洞再严重；而肯定会因为一个团队对待漏洞的态度而决定弃用与否，哪怕这个漏洞再小。

[东京温哥 @wenqiangjp]

按理说，中国人遍布全球，理应在Twitter上，看到世界各地不同的文化碰撞。为什么，每天一上推，看到的都是“中国新闻”？好像人人都是时政评论家，一睁眼就开始键盘指点江山，生活中实在没什么可发的吗？关键是，真正有水平的也没几个，都是转来转去，没什么独到的见解，一条新闻看几十遍...在简中圈，但凡看见一个敢于真人出镜，乐于分享生活的推友，我大概率都关注了，因为太罕见了...😂

为什么华人上推特就只能聊政治？是马斯克规定的吗？文化、宗教、艺术、科技、历史、旅行、美食、生活...什么不能聊？Twitter 改名为 X ，意味着，这将是一个包罗万象的App，与时俱进一点吧！

政治会影响生活，但不是生活的全部。

（图：隅田川花火大会）

#温哥的小感悟

[zhenyi.eth @soczhenyi]

符号学习这种人工找模式是必然路径，已经找到的模式依然有价值。但是只要人可以经历这种范式转移的路径，理论上机器也可以。比如AlphaGo是预学习了棋谱的。但是AlphaZero只告知了围棋的规则，完全从0开始自我博弈，也就是可以做到把棋谱（确定算法）的东西自主学习（模式发现）出来

[zhenyi.eth @soczhenyi]

#GPT #AGI 机器学习带来的范式转移就一段话：过去在初级阶段，需要人力总结模式，所以早期大发展符号学习，确定性算法。比如早期的计算机图形学的识别算法就是人工总结的霍夫线变换加仿射。这个算法是定死的，特定模式只能硬匹配特定算法，基本没有泛化能力。

[zhenyi.eth @soczhenyi]

突破某个奇点后，开始发展自动找这些固定模式，就是从统计学习开始往深度学习不断演变的。所以很多机器学习干的事情就是Pattern Recognition。

所以整个AI领域，也从符号学习 演变为 连接主义的学习（监督、无监督、强化）

[zhenyi.eth @soczhenyi]

@0xsilence 太强了👍

[zhenyi.eth @soczhenyi]

chatGPT API，信息世界的铱星
GPT技术非常有希望获得GPS相似的地位，成为现代世界必不可少的基础技术之一

[zhenyi.eth @soczhenyi]

1. Quick Basic
2. Turbo Pascal
3. VB
4. JavaScript
5. C/C++
6. Python
7. C#
8. Java
9. Scheme
10. APL
11. Prolog
12. Scala
13. Coq
14. Isabelle
15. Haskell
16. TypeScript
17. Rust
18. Solidity
19. Vyper

[Jeff Dean @JeffDean]

1. Assembly (8080, later 68000, x86, ...)
2. Basic
3. Pascal
4. Modula-2
5. C
6. Lisp/Scheme
7. Ada
8. Perl
9. Miranda
10. C++
11. Self
12. Cecil
13. Modula-3
14. Java
15. Javascript
16. Python
17. Go
Fun!

(Written/worked on compilers or interpreters for 6, 10, 11, 12, 13, 14)

[Damus⚡️ @damusapp]

That was fast