leiysky
@leiysky
Followers
2,721
Following
279
Media
193
Statuses
2,262
Coding machine | Freelancer | previously @DatabendLabs and @PingCAP
Copernicus, Mars
Joined March 2021
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
Sinwar
• 1173497 Tweets
Hamas
• 732935 Tweets
#يحيي_السنوار
• 433966 Tweets
Bear
• 262831 Tweets
Bluesky
• 259827 Tweets
Monsalve
• 105631 Tweets
Tyler
• 102857 Tweets
#TUDUMNaLata
• 100507 Tweets
غير مدبر
• 97042 Tweets
Rafah
• 86323 Tweets
UNRWA
• 84884 Tweets
Niall and Harry
• 83925 Tweets
O Louis
• 51628 Tweets
Louis Tomlinson
• 49844 Tweets
Louis y Zayn
• 49200 Tweets
ابو ابراهيم
• 48881 Tweets
Mark Cuban
• 42956 Tweets
#GHGala7
• 40287 Tweets
Corinthians
• 38258 Tweets
Niall y Harry
• 35907 Tweets
Payno
• 33456 Tweets
Isabel
• 32447 Tweets
Silvia
• 31406 Tweets
Macaya
• 28681 Tweets
対象作品
• 22235 Tweets
Tapia
• 22081 Tweets
Sofía Delgado
• 20414 Tweets
Vural Çelik
• 19872 Tweets
Broncos
• 18574 Tweets
BAUTI X ALGO DE MÚSICA
• 16379 Tweets
Kawhi
• 14705 Tweets
ENIGMA DO MEDO
• 13200 Tweets
全职写 Rust 一年，最大的收获来自于 Rust 的编译时间。刷完了豆瓣片单，肌肉也变大了，感谢 rustc，感谢 cargo🙏
16
38
618
这两天补了网飞的德剧《如何在网上卖迷幻药》，剧情和制作都超级赞。除此之外剧组对 IT 技术和互联网元素的运用也十分考究——主角用 VSCode 写 Markdown 文档，网页代码用的是 Angular，服务器终端里面敲的是正经 Linux 指令，聊天聊的是对 Vim 的吐槽，黑客技术靠的是社工，联机玩的是战地1……
7
17
324
@jakobsonradical
胡耀邦发言很正，铁好。毛泽东是专业杀手，杀人看不到鸡腿。
薄熙来的发言听感不太好，在我这里应该是一张中立牌。
习近平和薄熙来这把出生的时候两个人是抱团的，结果薄熙来被狙死了，所以习近平应该是那个刺客。
这轮听我归票，全票打飞习近平，警长出去直接把毛泽东刀了。过！
3
14
269
“一旦你成为一名创业者，就没有回头路可走。”——《支付战争》
在我五年多的工作生涯中，有90%的时间都是在形形色色的创业公司度过的：目睹了字节跳动从独角兽膨胀成巨无霸；经历了 PingCAP 从小而美成长为全村的希望；亲手实现了 Databend
9
19
219
最近元宇宙的概念越来越火，但是一直没找到很标准的定义。所以我把网上的资料归纳了一下，有如下特点的事物可称为元宇宙：
1. 自己定义的虚拟形象
2. 独特的经济系统
3. 多元的玩法体验
4. 丰富的社交元素
5. 打破次元壁
综合来看，我最早接触的元宇宙 IP 应该是摩尔庄园。
9
26
180
多年使用 WSL 的经历就像在进行一场爱情长跑，中间会因为矛盾而分开，也会因为成长与思念而复合。
每一次复合的蜜月期都是十分幸福的，互相之间可以尽情品味对方身上发生的变化。
但是当这股新鲜感过去后，矛盾总是会悄然出现，无关你做了什么。
最后在某天清晨，她离你而去，留下难以捉摸的告别。
13
17
148
代码开源在这里了，后续可能会看心情更新（大概率不会🤣）
10
17
132
过年问我是做什么工作的长辈有两类：
纯客套的我会告诉他我是做云计算大数据5g区块链的。
比较真诚的我会从 Codd 开天辟地讲到 AWS 再讲到企业数字化转型。
尽管如此，能完全理解其中价值的还是不多，所以最后我都会总结道：以前卖给你们垃圾软件的公司会倒闭，我们会卖给你们更便宜好用的软件。
12
4
123
有些家长养孩子就像做风投一样，在孩子没有实力的时候花费少量金钱获取大量股权，并且不断吹高估值。
平时不关注运营，只在关键节点索要指标，甚至对重大决策作出负面的干涉。
估值达到了就资产入表，估值没达到就资产出表。市场好就追加投资，市场不好就寻求退出。
在这种环境里成长很难不疯掉。
1
5
97
在某个 Java 老牌开源项目的 codebase 上体会到了历史的厚重感。那种感觉就像在路上见到了一坨风干了的💩——外形上是💩，成分上也是💩，但是早已闻不出它新鲜时的味道。
8
4
87
@Takerlovers
一眼假，这种烂梗在各种游戏都见过……据我观察团队竞技类电子游戏在哪里的氛围都很 toxic，而且玩家年龄越小这种现象越严重。团队竞技游戏的玩法就存在缺陷，把一群陌生人随机匹配到一起，一个人的失误就会影响全队，脾气差点的就直接互动起来了。到最后的结果就是玩家流失，新玩家也无法融入。
1
0
61
写 Rust 的一个好处是，大家各自被编译器折腾后都会最终设计出几乎一样的解法，大大降低了交流成本……
看看 Zed 在用 Rust 开发编辑器时对所有权和数据流的一些思考。
GPUI 是他们实现的一套 Rust GUI 库，并且实现了发布订阅等。挺干的一篇文章，本来想翻译一下，但是不太好翻，直接放原文吧。
6
23
166
2
3
52
最近几年逐渐理解了“看山是山，看山不是山，看山还是山”的哲学。
当面对事实时，我最先想的不是接受它，而是尝试寻找各种理论以及别的事实来推翻它，以此来证明自己。然而在掌握了大量信息后我却总是亲自推导出原本的事实……
任何结果都只是漫漫人生中的 checkpoint，享受过程才是最重要的。
5
0
49
看到 timeline 上这么多毕业的推友突然感觉有点悲伤。
高中毕业的时候我因为参加自招错过了毕业典礼；大四的时候遇上疫情，毕业典礼直接取消，每个宿舍每个人给了三天时间回学校办手续滚蛋。刚走没几天，同一栋宿舍楼又有认识的老铁没顶住自杀了。
希望老天能在人生的下一个十字路口能对我仁慈点…
4
0
47
Bringing theorem prover into a SQL optimizer, math force!
5
3
48
今天更新 Rust analyzer 之后发现好多宏展不开了。不过转念一想，这能倒逼研发人员少写宏，赋能 Rust 项目可读性，是件好事。
6
0
47
写基础软件和游玩 Celeste 的体验是很相似的。翻过一座又一座大山，见到一幕又一幕不同的风景。
中间需要面临无数的挑战：想寻找最佳路线，想竞速，想探索新的 movement，然后因为完成不了而变得和主角一样抑郁。
于是最终还是会与自己和解，选择躺平摆烂🤪
2
1
41
@xiaojingcanxue
贵州一系列贪腐事件的一部分。易鲸捷是惠普中华区老总搞的公司，自研的数据库也是用的惠普开源的 Apache Trafodion，但是却创造了国内最大的数据库采购单子，具体的内幕就不为人知了。
0
2
43
围观 TiDB challenge 某 SIGMOD 2022 论文
1
1
44
抽到了一张麦当劳的霸王餐优惠券，遗憾的是没人能跟我一起分享。
一个人一口气全吃完后如释重负，但是当我发现我还没吃饱时，我又陷入了沉思😢。
6
0
38
有这么一个人，在五年前组建了银河战舰，在他的位置上做到了国内的第一人。
2018年，在最重要的会场上，他却做出了下限级的操作，反向推动了发展的进程，辜负了所有人的期望。
虽然受到了很多质疑，但他依然坚持着自己的道路。
今年本该退出的他，却又一次登上了会场。质疑声消失，战友退役。他是__
9
0
30
