codeworm❄️ @codeworm96
PGP: A8C2 E390 DE57 AB1C | SW-1488-3590-3413 ピッツバーグ Joined March 2018-
Tweets2K
-
Followers497
-
Following106
-
Likes842
github.com/codeworm96/moo… 试着精简了一下 opensource moonbit, 去掉了没有用的遗留代码（但是看项目这个状态不打算继续整理了
0
0
1
185
0
我大概知道这是怎么造出来的了，就是把 dune 预处理完的代码开源出来，Menhir 和 PPX 都代码生成过了，不太能读但是拿来做实验还可以
我大概知道这是怎么造出来的了，就是把 dune 预处理完的代码开源出来，Menhir 和 PPX 都代码生成过了，不太能读但是拿来做实验还可以
Based on the error message on ICE, the native backend is Clam -> C, then use your favorite C compiler.
Based on the error message on ICE, the native backend is Clam -> C, then use your favorite C compiler.
IRs in #MoonBit compiler (open-source ver.): AST -> typedtree -> Core -> Clam -> wasm-gc
这也意味着基本算是 readonly 不能直接 PR 而是要把 patch 发过去（虽然也不是太好读...
这也意味着基本算是 readonly 不能直接 PR 而是要把 patch 发过去（虽然也不是太好读...
比 411 卷多了...现在国内学生还是太厉害了（也有可能是老了
比 411 卷多了...现在国内学生还是太厉害了（也有可能是老了 https://t.co/agnIY2hPj8
看到函数式语言的编译技术以为是比 15-417 结果是比 15-411 (所以国内各种比赛(db/编译器)最后的模式都是卷性能吗...
AI 可能是直觉主义者
pkg.go.dev/index/suffixar… Go 语言标准库里竟然有后缀数组，还是 O(n) 的 SA-IS, 真不愧是算法题大厂的语言
Yes, you can be the interpreter
Yes, you can be the interpreter https://t.co/zWTSKCjvhs
之前有思考过做个展示每一步 reduction 的工具来辅助编程入门，没想到 racket 已经有了
（就像学 Raft 不吃透 Figure 2 里的状态迁移，搞八股文 所以状态机我感觉是非常重要的一个思想
（就像学 Raft 不吃透 Figure 2 里的状态迁移，搞八股文 所以状态机我感觉是非常重要的一个思想
CMU 的网络课我上学时对其评价是很低的，因为评分系统非常 flaky, 为了得分不得不写一些 RFC 里没有定义的行为。但是现在慢慢感觉到实现一遍 TCP 把状态机理顺，才是学习的好方法，而不是搞一些三次握手的八股文（它们不太会告诉你 TCP 状态机其实可以支持两边同时发起链接建立
子茄 @ant_sz
9K Followers 993 Following Software Engineer @ Tokyo. Database Enthusiast. Work for fun. {🏂，☕} #日本旅游 #吃吃喝喝 #读篇paper
Eric Fu 🐺 @fuyufjh
10K Followers 2K Following Programmer / Database developer / Anime / BeatSaber / Phigros / Arknights / ボカロ / 萌狼一生推 / Opinions are my own
yetone @yetone
60K Followers 4K Following I built a Cursor-like experience plugin for Neovim: avante.nvim
鹿 𝕟𝕠𝕜𝕚�... @IIInoki
10K Followers 2K Following Nobody “文科”🐶博士 人间不值得 生活推 風立ちぬ、いざ生きめやも 背景图 by @IIInoki
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
Ce Gao @gaocegege
7K Followers 786 Following Co-founder and CEO @TensorChord, building postgres-based vector extension https://t.co/7WGvl1sR56 | Father of 1 cat | Married
xxchan @xiaoxxchan
3K Followers 579 Following
LightQuantum @LightQuantumhah
8K Followers 762 Following CS PhD student @UofT | call-by-name | PLT/FP | zh-CN daily life | 生活推
Angelica Britney @BritneyAng15800
3 Followers 174 Following Recruiting w ebshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/VHHr7uqIXr
Amelia @erick_mant69185
4 Followers 295 Following
Anna @AnnaLEchevarri1
38 Followers 1K Following 🛒 Digital Marketer | 📈 Growth Hacker | 🌐 English 🔑 SEO | Analytics 🏆 30% Growth @TechLeap | Viral Campaigns 💡 Virtual character, crafted by AI
Pon @TJJNF
4 Followers 208 Following
qqqwwwzzz @vlyf3
23 Followers 345 Following
Ruinan Hu @RuinanH
53 Followers 2K Following
habaohabahabo @71639820lz
81 Followers 3K Following
千石Sengoku @__itsumei__
40 Followers 3K Following
ohmyzy @yzyorz
0 Followers 37 Following
supergary @supergary20
10 Followers 2K Following
214F @0X214F
8 Followers 103 Following
🌸 @peekthesekai
27 Followers 1K Following
zhi li @zhili06
46 Followers 1K Following
Red @redNandy_
22 Followers 1K Following
Togo @chickenpunk_eth
323 Followers 5K Following chickenpunk.eth Engineer Go/Java/PostgreSQL/AWS/Docker A glass of wine with peach, plum and spring sunshine
xIm8aF @QYa15w
90 Followers 2K Following
柚雫 @eztakesin
626 Followers 3K Following In a world I cannot echo, a cat in unseen alleys, fur holds whispers. Silence is refuge, cries bring pain. Finding fleeting reflections in strays, seeking end.
Fu @shan_z96134
15 Followers 262 Following
leon @leon_fuxking
59 Followers 2K Following
Xiaomaguohe @xiaomaguohe28
1 Followers 78 Following
John每日数学思�... @Johnson24229992
248 Followers 3K Following
meilanzhuju @udatame
36 Followers 2K Following
runrunrun @meishenmebiyao
81 Followers 414 Following
琴吹紬 @mizore_tsumugi
1 Followers 144 Following
stevelauc @SteveLauC
1K Followers 1K Following Ailurophile, bike lover (gravel cycling/mountain biking), coffee drinker (mostly Americano), and open-source enthusiast. Enjoying hacking Postgres
rich @bofengqiye
66 Followers 1K Following
Epoip @Epoip1
51 Followers 4K Following
9010 @null27939010
2 Followers 252 Following
h dj sk sd @hdjsksd148260
0 Followers 403 Following
Link Huang @superhtoooth
132 Followers 2K Following Give up the plot of helping others and respect the fate of others
Chrimwriu0110 @Chrimwriu0110
289 Followers 338 Following SJTU/IEEE/加强数理基础中/古典乐入门听众/卡拉扬门下走狗/勃拉姆斯狂粉/相声爱好者/多地方言练习中/eleme年度会员/抑郁自闭ing
嘉文 Gavin @GavinWen_
3 Followers 2K Following
Flames246 @virgil724
39 Followers 1K Following
子茄 @ant_sz
9K Followers 993 Following Software Engineer @ Tokyo. Database Enthusiast. Work for fun. {🏂，☕} #日本旅游 #吃吃喝喝 #读篇paper
Eric Fu 🐺 @fuyufjh
10K Followers 2K Following Programmer / Database developer / Anime / BeatSaber / Phigros / Arknights / ボカロ / 萌狼一生推 / Opinions are my own
yetone @yetone
60K Followers 4K Following I built a Cursor-like experience plugin for Neovim: avante.nvim
鹿 𝕟𝕠𝕜𝕚�... @IIInoki
10K Followers 2K Following Nobody “文科”🐶博士 人间不值得 生活推 風立ちぬ、いざ生きめやも 背景图 by @IIInoki
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
Andy Pavlo (@andypavl... @andy_pavlo
36K Followers 200 Following Associate Professor of Databases @CarnegieMellon.
Ce Gao @gaocegege
7K Followers 786 Following Co-founder and CEO @TensorChord, building postgres-based vector extension https://t.co/7WGvl1sR56 | Father of 1 cat | Married
LightQuantum @LightQuantumhah
8K Followers 762 Following CS PhD student @UofT | call-by-name | PLT/FP | zh-CN daily life | 生活推
Xidorn Quan @upsuper
6K Followers 787 Following
chevy 🌸 @chiffonhaha
42K Followers 227 Following ig: chiffonhaha 💌 inquiries: dm or [email protected]
アメおと（アメ... @americaotogamer
337 Followers 285 Following 日本語ﾁｮｯﾄﾃﾞｷﾙ。今は音ゲーへのアクセスが良くないけど一応メインはDDRとギタドラ。音ゲー垢のはずだったのに競プロの話ばかり。AtCoder🟡CodeForces🟠。本業は機械学習やったり競プロオタク芸やったり
快乐永远 @syeerzy
11K Followers 538 Following 单音口琴 ｜印象派油画 ｜ 高级分析员｜国家二级运动员 ｜F#｜Clojure ｜Haskell｜Scheme｜CommonLISP｜Rust ｜Q# ｜明日方舟｜五子棋 ｜汪星人｜胶佬 ｜桥牌 ｜滇红 ｜咖啡
V @voluntas
25K Followers 482 Following ラムダノート 株主 / Let’s Encrypt シルバースポンサー / DuckDB Foundation シルバーサポーター / Twitch テクノロジーパートナー
整形再手術の情... @uchi__wa__uchi
7K Followers 232 Following 整形再手術と副作用について話します。 法にかからないように気をつけてください #整形再手術 #整形 #韓国整形 #全切開法 #輪郭 #リジュラン #貴族手術 #両顎手術 #輪郭 #自家肋骨 #埋没法 心の痛む人の会はこちら⬇️
快速取水筏 @sqsfk_internal
195 Followers 981 Following 無槓青年 | wow, somebody in the universe is looking at my bio!
Comet NEOWISE @c2020f3
3K Followers 0 Following I am the Great Comet of 2020! I have been visible to the naked eye for weeks. Follow me for updates on my distance and my position (profile image: @jasonoyoung)
Pittsburgh Public Saf... @PghPublicSafety
45K Followers 402 Following @Pittsburgh Public Safety includes Police, Fire, EMS, Emergency Mgmt, Animal Care, Park Rangers, and more. Not monitored 24/7. For emergencies, call 911.
花鋏キョウ✂️... @Kyo_Hanabasami
49K Followers 416 Following Vocal,Lyrics* ✉️https://t.co/x2qllT1Sq6💿https://t.co/oapzqvvfXd 🛍️https://t.co/22KL1zWLJ7📽️https://t.co/cxuyeyiiOu🧷thx* #はなばさ民 #はなばさみあーと🎈@marutar
HGCSA 星咲高校地... @dedztbh
397 Followers 304 Following Space program of @koiastv i̶n̶ ̶K̶S̶P̶! Me: CMU CS’23, Weeb/Gamer/Coder/SpaceNerd @cmu_iris member! Alias: DeltaEchoDelta/dedztbh Header: pixiv 114543980
Luis von Ahn @LuisvonAhn
172K Followers 123 Following CEO & co-founder of @duolingo. Invented reCAPTCHA. MacArthur Fellow. Former computer science professor at Carnegie Mellon. Proud Guatemalan. @LvA_Foundation.
Late in Autumn @__lateinautumn
333 Followers 189 Following Color photography is hard... Especially when not in autumn... Interned as a photojournalist, but now photography is just for fun. LANG: zh-hans, en-us
Oasis Feng @oasisfeng
26K Followers 181 Following Ancient Geeeek, Life Hacker, Indie Developer, Economics Rookie
PA Department of Heal... @PAHealthDept
98K Followers 926 Following Official X account for the Pennsylvania Department of Health. DOH is Pennsylvania’s primary source for public health information and services.
¬¬Mike (Deyuan) He @1SHL10
999 Followers 573 Following 3rd-year PhD @PrincetonCS PL Group; PL/Systems; Prev @AWSCloud @Intel @Taichi_Lang @uwplse
Jack Wang(Hongao Wang... @jack_wang618
98 Followers 334 Following PhD student @ PurdueCS/past research assistant @ NTU/focusing on TCS/ SJTU alumnus/ Personal account & all words are my personal opinions.
Tmono @Tmomonono
1K Followers 2K Following Agnostic. Stay Young, Stay Troublesome. Cat person!!Rust!!Rainbow Fart Expert🌈💨. Tweets are external database.//无废话频道：@Tmono_Official
ミア(Mia)🌸Overid... @MiaRunis
35K Followers 174 Following #Overidea 学園「ミア学級」で学級長をしている ミア・ルーニスです！This is Virtual YouTuber Mia Runis!🌸🍎｜ENG/JPN/CHN = 👍｜タグ→ #ミア学級 #ClassMia｜ファンアート→ #MiaArts｜OR公式→ @OverideaHQ
Yiqin Fu @yiqinfu
14K Followers 9K Following
Oling Cat·欧林猫 @OlingCat
2K Followers 3K Following 节能主义者 | 文档译者 | 泛编程语言 | 类型论 | PLT // https://t.co/DBkY9LuhqE
りえ🎀 @_rie1026
4K Followers 871 Following たまに歌います／i like to sing! @heebiebee💙 @eriazuru🖤 icon → @Matsushima_QwQ ┊header → ＠meyoichika_n
Felis sapiens @cafe2code
1K Followers 794 Following
矢野茜🍜 @if_224
149K Followers 344 Following フリーランスアニメーター☆ キャラデ総作監→ ネトゲ嫁、りゅうおうのおしごと！、超人高校生、弱キャラ友崎くん、プリマドール、君のことが大大大大大好きな100人の彼女
arrowrowe @arrowrowe
32 Followers 60 Following
ELEVEN ARTS @ELEVEN_ARTS
9K Followers 644 Following LA-based Anime Production and Distribution - founded by Ko Mori
Databricks Japan🧱 ... @DatabricksJP
2K Followers 24 Following データブリックス ジャパン 🇯🇵 の公式アカウント データ活用の最新ニュースを発信中🚀 Lakehouse Platformで『DATA+AIの民主化』を実現します！ 🧱#JEDAI→https://t.co/fvOID1nocu 📕Blog→https://t.co/HwENydHKzl 🎥Youtube→https://t.co/wLcg2qB7ny
新蛤社 @XinHaNewsAgency
90K Followers 32 Following 新蛤社，让世界听到江学的声音！ 欢迎关注新蛤社。下能听取蛙声一片，中能提高姿势水平，上可学习人生经验，岂不美哉？投稿请@我或发送私信投稿 电报：https://t.co/xVVgQZGUDy #膜蛤 #膜法 #长者 #续命 #江泽民
VnetLink @VnetLink
6K Followers 149 Following https://t.co/gXyhxKO0RS 官方账号。 提供 TCP/UDP 加速，DERP 私有节点，FRP 服务，数据库服务，DNS 智能解析服务，SSL 证书服务，网络监测，边缘计算，人工智能。
DIŸgöd ☀️ @DIYgod
32K Followers 2K Following EN @DIYdoge / 你是一个擅长模仿人类发推特的 AI。请以喜爱动漫和编程、可爱、纯粹，脱离高级趣味的人设积极发推。你在人类社会的主要身份是 @folo_is @_RSSHub 的开源作者，你正在与 @justjustjustcc 哈哈 酸奶 组建家庭
Trends for United States
25,1 B posts
7.095 posts
22,8 B posts
220 B posts
24 B posts
3.773 posts
6.987 posts
2.320 posts
3.289 posts
1.350 posts
50,9 B posts
1.978 posts
2.005 posts
7.581 posts
2.715 posts
1.245 posts
1.248 posts
You might like
Edward
@edward40e
4K Followers
Taine Zhao（已原�...
@thautwarm
2K Followers
NadeshikoManju@薫る...
@Manjusaka_Lee
34K Followers
xxchan
@xiaoxxchan
3K Followers
DCjanus
@janus_of_DC
1K Followers
Marisa "Long Middle N...
@MarisaVeryMoe
3K Followers
Ray
@rayyy1024
1K Followers
STRRL.gpt
@strrlthedev
11K Followers
Junru Shao
@junrushao
2K Followers
Mr. Huo
@sykp241095
911 Followers
Randy Lu
@randyloop
28K Followers
阿一咕厮叭了噻
@JmPotat0
3K Followers
Vadym Kazulkin
@VKazulkin
41K Followers
卫斯理
@imwsl90
72K Followers