Darkflames Profile Banner
Darkflames Profile
Darkflames

@Darkf1ames

2,219
Followers
451
Following
210
Media
3,514
Statuses

Programming Language Theory / Type Theory / Developer / Photography 📷 / 中文 English 日本語

Sakyo-ku, Kyoto
Joined February 2020
Don't wanna be here? Send us removal request.
Pinned Tweet
@Darkf1ames
Darkflames
2 years
开了一个channel写点日常的东西(暂时还是空的
2
0
12
@Darkf1ames
Darkflames
3 years
有书读了
Tweet media one
144
15
1K
@Darkf1ames
Darkflames
2 years
好耶
Tweet media one
22
7
768
@Darkf1ames
Darkflames
3 years
粗修一下,归于魔幻
Tweet media one
3
10
138
@Darkf1ames
Darkflames
11 months
Tweet media one
4
2
105
@Darkf1ames
Darkflames
3 years
自己洗的第一张大画幅
Tweet media one
7
2
97
@Darkf1ames
Darkflames
3 months
科班确实汗颜了,没想到50年前搞出的 Type Inference 和40年前搓出来的各种 Monad 成了现在编程语言的思想进化了
@xushiwei
xushiwei
4 months
@zty0826 Go如果是草台班子的话,所有科班都应该汗颜。在我看来,Go开启了现代编程语言的先河。很长一段时间,编程思想的进化几近枯竭。但是Go的出现带动了新一轮编程语言的爆发,比如 V 和 Go+ 都有明显受到 Go 的影响,甚至同期的 Rust 身上后来也有借鉴 Go 的影子。
25
0
13
10
3
90
@Darkf1ames
Darkflames
3 years
开个大的
Tweet media one
1
0
85
@Darkf1ames
Darkflames
6 months
我也有被导师背刺的这天啊…
11
0
83
@Darkf1ames
Darkflames
4 years
@himself_65 其实是因为有包
1
0
72
@Darkf1ames
Darkflames
3 years
买了增距镜终于可以拍清对面热水器上的说明了
Tweet media one
10
2
74
@Darkf1ames
Darkflames
4 years
全套到货
Tweet media one
15
0
70
@Darkf1ames
Darkflames
2 years
润了
Tweet media one
8
1
65
@Darkf1ames
Darkflames
1 year
新宠
Tweet media one
6
0
60
@Darkf1ames
Darkflames
6 months
如果有推油有日本后端之类的内推希望可以dm一下,提前感谢。
@Darkf1ames
Darkflames
6 months
需要暂时告别科研了,可能还没办法走新卒找工作
0
0
38
4
7
59
@Darkf1ames
Darkflames
4 years
愿你出走半年,归来还买索尼
Tweet media one
9
1
54
@Darkf1ames
Darkflames
3 years
新玩具
Tweet media one
3
1
51
@Darkf1ames
Darkflames
4 years
@himself_65 我退学都要自己办,面包却可以白嫖室友退学。退学都失败,是我了。
0
0
49
@Darkf1ames
Darkflames
4 years
准备露宿街头一晚
Tweet media one
5
0
50
@Darkf1ames
Darkflames
4 years
@himself_65 简写为成功二字
0
0
48
@Darkf1ames
Darkflames
3 years
每根毛都看的清清楚楚
Tweet media one
Tweet media two
5
0
47
@Darkf1ames
Darkflames
11 months
@chloerei 这个例子无法说明任何东西,你只是给 a 和 b 还有 sum 的返回值加了number 这个类型,并没有在类型上对 sum “它真的在做加法”这一性质有任何限制,类型检查当然无法验证这样的正确性。虽然没有任何意义,但至于怎么让类型系统检查sum 是不是真的在求加法,你可能需要更强的类型系统:
Tweet media one
1
3
47
@Darkf1ames
Darkflames
8 months
人对自己学会的第一种 type safe 的语言有过度好感算不算印随行为
4
0
47
@Darkf1ames
Darkflames
4 years
@himself_65 你吃之前为什么不看看大众点评
0
0
44
@Darkf1ames
Darkflames
4 years
我也想放假,我也想直播写代码。但我可能是境外势力,不知道b站让不让播。
5
2
45
@Darkf1ames
Darkflames
4 years
新玩具
Tweet media one
9
0
43
@Darkf1ames
Darkflames
4 years
@himself_65 直接去pornhub看
2
0
43
@Darkf1ames
Darkflames
4 years
这学期选了个脑瘫课整的我少活十年。每节课提交报告,报告结尾要写明报告正文的字数,这神仙老师每个报告都给你检查这个字数对不对如果不准算不合格。文件名要求是学号,有一次在.docx前面加了个空格,然后windows图标正好在那里截断然后没发现,然后也被算作了不合格。
4
0
41
@Darkf1ames
Darkflames
3 years
Tweet media one
4
1
41
@Darkf1ames
Darkflames
4 years
@LightQuantumhah 那自称满分的同学如果挂科能不能拉呢
0
0
39
@Darkf1ames
Darkflames
4 years
@himself_65 谁能拒绝🍞呢
0
0
37
@Darkf1ames
Darkflames
4 years
Sigma 135mm @DG Art on Fujifilm GFX50R 全景接片,原图2亿像素
Tweet media one
5
0
39
@Darkf1ames
Darkflames
4 years
这可太精神污染了,满脑子都是这张脸
Tweet media one
Tweet media two
5
2
35
@Darkf1ames
Darkflames
10 months
脱亚入欧
Tweet media one
6
0
40
@Darkf1ames
Darkflames
4 years
@himself_65 你去ISU,我去ICU,我们都有美好的未来
1
0
37
@Darkf1ames
Darkflames
4 years
HDR后没怎么修,先随便发一张工作量小的
Tweet media one
5
1
37
@Darkf1ames
Darkflames
2 years
Tweet media one
Tweet media two
Tweet media three
2
0
37
@Darkf1ames
Darkflames
6 months
需要暂时告别科研了,可能还没办法走新卒找工作
0
0
38
@Darkf1ames
Darkflames
3 years
Tweet media one
1
2
36
@Darkf1ames
Darkflames
4 months
可爱捏
Tweet media one
3
0
39
@Darkf1ames
Darkflames
3 years
Tweet media one
Tweet media two
Tweet media three
2
0
34
@Darkf1ames
Darkflames
4 years
@charon15487115 我更离谱的是曾经用ipad记笔记被抓要求写检讨,我强硬拒绝
2
0
31
@Darkf1ames
Darkflames
3 years
拍的并不是很满意的大画幅
Tweet media one
Tweet media two
3
1
32
@Darkf1ames
Darkflames
3 years
拍糖水就完事了
Tweet media one
2
0
33
@Darkf1ames
Darkflames
4 years
年轻人第一台中画幅数码
Tweet media one
6
0
32
@Darkf1ames
Darkflames
2 years
奇怪的图片增加了
Tweet media one
Tweet media two
4
0
32
@Darkf1ames
Darkflames
10 months
曝光正确的Ektar过于美丽了
Tweet media one
6
0
33
@Darkf1ames
Darkflames
4 years
我可以自杀了,太羞耻了
1
0
32
@Darkf1ames
Darkflames
10 months
孩子第一次见极光
Tweet media one
3
1
34
@Darkf1ames
Darkflames
1 year
坑越开越大
Tweet media one
8
0
32
@Darkf1ames
Darkflames
2 years
群友们人又可爱,说话也好听,每天水群最快乐了。可是三次元基本不怎么跟人说话,很多时候还是感觉很空虚。可能是四月病犯了吧。
5
0
31
@Darkf1ames
Darkflames
4 years
Tweet media one
2
0
31
@Darkf1ames
Darkflames
6 months
告别🔨,熬过这一段side project启动,感觉这边所谓的指导完全是debuff
@Darkf1ames
Darkflames
6 months
需要暂时告别科研了,可能还没办法走新卒找工作
0
0
38
4
0
31
@Darkf1ames
Darkflames
4 years
Tweet media one
2
0
30
@Darkf1ames
Darkflames
3 years
玩了这么多镜头,这玩意真的是唯一一个从取景器里就能直观的感受到不同的。哪个男孩不想拥有一颗自己的otus呢?
Tweet media one
2
0
27
@Darkf1ames
Darkflames
4 years
Tweet media one
1
0
29
@Darkf1ames
Darkflames
4 years
这波体验了终电 + 网吧 + 始发电车,图大阪梅田
Tweet media one
1
2
26
@Darkf1ames
Darkflames
4 years
快期末考试了,不想复习想写代码
1
0
27
@Darkf1ames
Darkflames
11 months
感觉自家冲洗流程已经不错了
Tweet media one
2
0
27
@Darkf1ames
Darkflames
4 years
@himself_65 发P站我准备好了
0
0
27
@Darkf1ames
Darkflames
4 years
现在通宵已经有快要过去的感觉了,真的老了
5
0
26
@Darkf1ames
Darkflames
4 years
今天会有这个视角的接片
Tweet media one
0
1
27
@Darkf1ames
Darkflames
4 years
重新修了下这张,不是过分过饱和舒服多了
Tweet media one
1
0
26
@Darkf1ames
Darkflames
11 months
说到这个,有个很有趣的题外话:丹后铁道每个站都在收炸天妇罗的废油,用来做再生燃料给这个车烧
Tweet media one
@Darkf1ames
Darkflames
11 months
Tweet media one
4
2
105
1
1
26
@Darkf1ames
Darkflames
4 years
Airpods pro被我扔到洗衣机里洗了半小时,现在被我擦干放到干燥箱里了
3
0
24
@Darkf1ames
Darkflames
1 year
@himself_65 我查了一下,里面说关注面包
2
0
26
@Darkf1ames
Darkflames
2 years
我去过的地方还蛮多的
Tweet media one
1
0
25
@Darkf1ames
Darkflames
4 years
收到了
Tweet media one
1
0
25
@Darkf1ames
Darkflames
4 years
最终还是决定用这张
Tweet media one
1
0
25
@Darkf1ames
Darkflames
3 years
Tweet media one
2
1
25
@Darkf1ames
Darkflames
4 years
恰猪排
Tweet media one
2
1
23
@Darkf1ames
Darkflames
1 year
Tweet media one
2
0
24
@Darkf1ames
Darkflames
2 years
dvd可爱!
和 df,小智和 Tiger 一起吃牛舌 XD
Tweet media one
24
1
118
3
0
24
@Darkf1ames
Darkflames
2 years
一些东京塔
Tweet media one
Tweet media two
1
0
22
@Darkf1ames
Darkflames
6 months
Tweet media one
Tweet media two
Tweet media three
1
0
24
@Darkf1ames
Darkflames
1 year
Ektar 100
Tweet media one
1
0
24
@Darkf1ames
Darkflames
3 years
@real_Peter_Yang 总觉得这话说的有点草
2
0
24
@Darkf1ames
Darkflames
4 years
1.3亿像素接片粗修,假装自己有小米10Pro(iq4)
Tweet media one
3
0
21
@Darkf1ames
Darkflames
4 months
这可太乐了
Tweet media one
Tweet media two
Tweet media three
7
1
24
@Darkf1ames
Darkflames
1 year
Mamiya 7真好呀(就校色了两张
Tweet media one
Tweet media two
2
0
24
@Darkf1ames
Darkflames
2 years
再不去宇治就彻底变成秋天了
1
0
24
@Darkf1ames
Darkflames
7 months
印象太深了,五年前看到这句话,一直记到现在
@tison1096
tison
7 months
@OwoTizusa @ytiihyslqlabpow 扯,我来一波正义史官:
Tweet media one
4
1
27
3
1
25
@Darkf1ames
Darkflames
1 year
带胶卷从韩国转机,iso160/100的还是强制我过了x光,400的给我做了两次防爆检查。想日本了…
3
1
23
@Darkf1ames
Darkflames
1 year
110apod到了,发现自己是平板扫描仪的受害者
Tweet media one
Tweet media two
3
0
23
@Darkf1ames
Darkflames
4 years
有正常的睡眠时长和质量简直是奢望
2
0
22
@Darkf1ames
Darkflames
11 months
Tweet media one
1
0
22
@Darkf1ames
Darkflames
11 months
体力不支的老年人玩这个可太难了
Tweet media one
0
0
22
@Darkf1ames
Darkflames
4 years
@himself_65 把iPad Pro送我,等发售了再买一个键盘送我,这样既不用烦恼美键鼠用也不用烦恼花钱。
0
0
21
@Darkf1ames
Darkflames
7 months
38000日元买了一块RTX A2000拿来给NAS转码,感觉有捡到漏
3
0
22
@Darkf1ames
Darkflames
9 months
@ddvd233 这个Citation能提升h-index吗
2
0
21
@Darkf1ames
Darkflames
4 years
台风所迫,提前开始旅行。9.5-9.21关西+北海道
2
0
20
@Darkf1ames
Darkflames
4 years
@tonyxty 我已经懒的摸鱼了,等鱼摸我
2
0
21
@Darkf1ames
Darkflames
4 years
@LightQuantumhah @iskyzh 让推友自闭的卖菜,卖了又卖
0
0
21
@Darkf1ames
Darkflames
4 years
我是真的老了,前天一晚没睡头痛到现在
3
0
20
@Darkf1ames
Darkflames
1 year
浴室烘干机拿来烘干胶片真不错
Tweet media one
4
0
21
@Darkf1ames
Darkflames
2 years
Tweet media one
Tweet media two
Tweet media three
0
0
21
@Darkf1ames
Darkflames
1 year
触发防沉迷了。以后一睁眼先刷爆,然后工作一整天。
1
2
21
@Darkf1ames
Darkflames
1 year
感觉比外面细腻很多
Tweet media one
Tweet media two
Tweet media three
Tweet media four
7
0
21
@Darkf1ames
Darkflames
4 years
@himself_65 master bao
0
0
18
@Darkf1ames
Darkflames
10 months
Tweet media one
Tweet media two
1
1
20