看看这个 @qu_uan profile

看看这个

@qu_uan

Followers

615

Following

864

Media

21

Statuses

1,755

我嘞个去

谢惠民数学方便面

Joined August 2016

Don't wanna be here? Send us removal request.

Explore tweets Explore followers Explore following

Explore trending content on Musk Viewer

JIMIN JIMIN • 924248 Tweets

América • 855055 Tweets

GRAB GUIDE LINGORM • 615800 Tweets

España • 395702 Tweets

#HappyJiminDay • 357723 Tweets

HAPPY BIRTHDAY JIMIN • 307805 Tweets

Aadi Ram Kabir • 284948 Tweets

#JiminOurMuse • 241325 Tweets

#29YearsofLight • 230674 Tweets

#1013Angel • 213401 Tweets

#OctoberSweetheartJimin • 205761 Tweets

Hispanidad • 144664 Tweets

プロセカ • 93259 Tweets

ラブレターズ • 82970 Tweets

#SixTONESANN • 82712 Tweets

FULL TIME • 74335 Tweets

Park Jimin • 68652 Tweets

SB19 INVADES BULACAN • 51181 Tweets

ニッポン • 45790 Tweets

#INDvBAN • 38393 Tweets

Día de la Raza • 29520 Tweets

イベスト • 26609 Tweets

#SanjuSamson • 24138 Tweets

ファイヤーサンダー • 22544 Tweets

ジェシー • 22212 Tweets

ロングコートダディ • 19133 Tweets

しばゆー • 13057 Tweets

#الاسبوع_الثقافي_القطري

#البليهي_كنو_خارج_الهلال

nonna

ハピアン

Copacabana

Pat McAfee

Boarder

Pogacar

しめちゃん

九能先輩

ドキドキドキンちゃん

ツッコミ不在

慎ちゃん

あでぃしょ

Auron

संजू सैमसन

Ary Toledo

第996回

ラファウ

الروضه الشريفه

KISLASIZ BEDELLI

ジミンちゃん

#ETH6900

Last Seen Profiles

@VanDiemen_

@uncmetsgal

@camera27

@turk_ifsa2019

@Penggemarstw0

@dellaartnow

@KSabelman30874

@inapattmc

@nickfrosst

@PerianneDC

@FreshRoyalsLLC

@kodelle_

@SFIntDept

@OfficialFritzef

@bw2SOWKv5N40012

@GDelbar

@grantrhwoods

@ROHITKUMBHOJKAR

@666xiaoliu

@tiiikawasan

看看这个

@qu_uan

3 months

1

19

254

看看这个

@qu_uan

2 months

📷: @StormWxy

6

13

227

看看这个

@qu_uan

2 years

@rebecca_hoshino 虽然但是, 为什么把钱发老师号上, 不发师母号上

2

0

151

看看这个

@qu_uan

8 months

@rebecca_hoshino 我们物理人都是令c为1的🤓

1

0

30

看看这个

@qu_uan

9 months

@mayo_irl

2

24

看看这个

@qu_uan

2 months

我宣布我会实现 inductive type 和 pattern match 了

2

0

18

看看这个

@qu_uan

1 month

完成了一个支持模式匹配的依值类型语言，支持元变量求解和隐式参数和coverage check

GitHub - KonjacSource/ShiTT: ShiTT is a toy dependent typed language with practical features.

ShiTT is a toy dependent typed language with practical features. - KonjacSource/ShiTT

github.com

2

0

15

看看这个

@qu_uan

11 months

你们前端人的博客怎么比我高中暗恋对象还漂亮?

6

0

10

看看这个

@qu_uan

8 months

Real love

0

8

看看这个

@qu_uan

1 month

我实现 HoTT 了, 望周知.

1

0

8

看看这个

@qu_uan

11 months

同学问我为何熬夜? 我说因为夜就在那里.

5

0

8

看看这个

@qu_uan

4 months

MLTT

1

7

看看这个

@qu_uan

9 days

@damatte0526 你知道吗，大脑是最主要的性器官

1

0

9

看看这个

@qu_uan

9 months

@mikan_chn @RkMonoChrome_CN 我觉得Yorushika和ztmy很好, 感觉很商业但又很独立.

0

6

看看这个

@qu_uan

5 months

```haskell

3

1

6

看看这个

@qu_uan

1 month

@mnixry 你别骂我

0

6

看看这个

@qu_uan

10 months

恋爱了, 对象是被窝, 情敌是早八

2

0

6

看看这个

@qu_uan

9 months

人生第一门编程语言就是Pascal. 🙏🙏🙏

Bertrand Meyer

@Bertrand_Meyer

9 months

We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend.

152

2K

5K

1

0

4

看看这个

@qu_uan

8 months

😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭😭 😭😭😭😭😭😭😭😭 😭😭😭😭😭😭😭😭 😭😭😭 😭😭 😭😭😭 😭😭 😭😭😭 😭😭😭 😭😭 😭😭 😭😭 😭😭 😭😭😭😭😭 😭 😭😭 😭 😭 😭 😭😭 😭 😭 😭 😭 😭😭

1

0

6

��看这个

@qu_uan

7 months

@fengzi_rei 躲在头壳底下社交可以很大程度地坚减轻社交压力. 对我来说就是社恐速效药了.

1

0

5

看看这个

@qu_uan

9 months

唉, 想学前端了

4

0

4

看看这个

@qu_uan

1 year

醒世恒言：正视阳痿是治疗阳痿的第一步。

3

0

5

看看这个

@qu_uan

1 year

@mikan_chn 请问你用cec ide吗

1

0

4

看看这个

@qu_uan

8 months

@mikan_chn

1

0

5

看看这个

@qu_uan

3 months

当舔狗所获得的情绪价值是一般恋爱给不了的，就像有些人爱看悲剧一样，那种情绪跌宕起伏的扭曲快感是普通恋爱喜剧给不了的。

1

0

4

看看这个

@qu_uan

7 months

今天是写agda写到呕吐的一天

1

0

4

看看这个

@qu_uan

4 months

想耍无酒精酒疯

2

0

4

看看这个

@qu_uan

1 year

@sena_kig 肉肉的屁屁以及其上的褶皱（

0

3

看看这个

@qu_uan

7 months

打开推特, 开始吐槽, 用我的第7个小号

4

0

4

看看这个

@qu_uan

4 months

喜欢一边画画一边写代码的感觉 -- 学习cubical agda有感

0

4

看看这个

@qu_uan

3 months

0

4

看看这个

@qu_uan

4 months

致敬传奇处男艾萨克牛顿

0

4

看看这个

@qu_uan

11 months

医生告诉我把自己阳痿的状况告诉别人对治疗没有帮助，叫我不要再逢人就说自己阳痿，告诉我再说就把我送到精神科。

4

1

4

看看这个

@qu_uan

7 months

回首往生, 尽是耻辱.

5

0

4

看看这个

@qu_uan

4 months

三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗,三千有人要吗.

3

0

4

看看这个

@qu_uan

10 months

@sticktech 看到你还和以前一样抽象我就放心了

0

4

看看这个

@qu_uan

9 months

想去听ztmy, 头上颜色太少会不会被嘲笑🤓

2

0

4

看看这个

@qu_uan

10 months

@mikan_chn @DBB_mochitsuki @hightechbrain0 我也打零工😢, 前两天熬夜干活😟

1

0

4

看看这个

@qu_uan

7 months

@zhixiangshuohua @Stv_Lynn 输入特殊符号

0

4

看看这个

@qu_uan

7 months

@DBB_mochitsuki 兄弟, 兄弟, 兄弟

0

4

看看这个

@qu_uan

11 months

从不羡慕DW，上课亦是风景

3

0

4

看看这个

@qu_uan

1 year

？我暑假呢？

3

0

4

看看这个

@qu_uan

10 months

@mikan_chn 芝士爬虫

1

0

4

看看这个

@qu_uan

5 months

爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，爱，不爱，不爱，不爱

0

4

看看这个

@qu_uan

1 year

@DBB_mochitsuki @sena_kig @Zeunders 我看我看我看

1

0

2

看看这个

@qu_uan

1 year

@DBB_mochitsuki @sena_kig @Zeunders 不哭不哭, 摸摸摸摸

0

1

看看这个

@qu_uan

11 months

@mikan_chn 为什么你们都那么好看啊😭

0

4

看看这个

@qu_uan

7 months

@rebecca_hoshino 给他讲严格全序的三分性

0

4

看看这个

@qu_uan

1 year

我宣布我再也不用LaTeX了, typst太爽了

1

0

4

看看这个

@qu_uan

11 months

@mikan_chn 非常好的br，令我的行休息

0

4

看看这个

@qu_uan

10 months

@mikan_chn haskell真好玩吧，真得是世界第一工程语言吧

0

3

看看这个

@qu_uan

7 months

@mikan_chn 高中时同学用来做bad usb到处插

2

0

3

看看这个

@qu_uan

21 days

@fengzi_rei 你这段话，他妈的后劲太大

1

0

3

看看这个

@qu_uan

4 months

@typedfurry 之前给别人讲过tapl, 讲了一节之后他问我是不是在读研究生, 我告诉他我是笨科生之后他就不理我了☹

1

0

3

看看这个

@qu_uan

3 months

删帖瘾又犯了

0

3

看看这个

@qu_uan

1 year

学不会场论🤕

1

0

3

看看这个

@qu_uan

1 year

@mikan_chn 您腿有水平的

1

0

3

看看这个

@qu_uan

7 months

今日emo: 路上碰见高中老同学, 打了招呼被装不认识了, 事后也不敢发Q联系. 事态炎凉, 人心不古.

2

0

3

看看这个

@qu_uan

9 months

@QuantumTransf @lcMenci 各种lisp, 各种ml(ocaml, f#), haskell, agda, coq, lean, idris, f* ... 在这些语言眼里, 一个多参函数是一个返回函数的函数. 比如你在python里也可以写 def add(x): return lambda y: x + y 调用作 add(3)(5). 然后在上面这些更支持这种写法的语言里可以省略掉括号写作 add 3 5.

1

0

3

看看这个

@qu_uan

5 months

教我写inductive type 吧，只要是我能做的，我什么都会做

0

3

看看这个

@qu_uan

7 months