Kory (@Kory__3) header
Kory (@Kory__3) profile picture

Kory

@Kory__3

@rarun0705 とかわいいとプログラムと計算機が好き. Icon by: @soleil_paint VRC: Kory / こりー | Discord: kory33 | 鍵: @.Kory__3_key | @kory@misskey.io

 Tokyo, Japan
github.com/kory33
Joined August 2014
  • Tweets27K
  • Following1.4K
  • Followers4K
7.3KMedia
Photo by Kory (@Kory__3)Photo by Kory (@Kory__3)Photo by Kory (@Kory__3)Photo by Kory (@Kory__3)Photo by Kory (@Kory__3)Photo by Kory (@Kory__3)Photo by Kory (@Kory__3)Photo by Kory (@Kory__3)Photo by Kory (@Kory__3)Photo by Kory (@Kory__3)
Pinned Tweet
Kory (@Kory__3) profile picture
Kory@Kory__3Jul 11
16:30～17:20 に Track B で『弱い世界から分解するデータ型の概念』という題で発表します 資料が完成したので公開しておきます！ docs.google.com/presentation… #fp_matsuri #fp_matsuri_b
「弱い」世界から分解する「データ型」の概念

「弱い」世界から分解する「データ型」の概念

関数型まつり 2026 1日目 (2026/07/11) #fp_matsuri #fp_matsuri_b by Kory 弱い世界から分解する データ型の概念 スライド (Google slides)

docs.google.com
31
3
81
13,360
眠すぎてやばい
1
149
5時間くらい知らない文字を見ていた
1
1
11
803
more replies
ｳｵｵｵ
Image from Kory (@Kory__3)
1
2
195
Image from Kory (@Kory__3)
70
総武本線と双模倣性の類似性について
8
337
「お、お姉ちゃん…この服着るのちょっと恥ずかしいんだけど……」 #Salt3D #VRChat
Image from Azalea (@azalea_0113)
87
3
1,107
23,431
Kory retweeted
suziko (@suziko_ho) profile picture
suziko@suziko_hoNov 6
Image from suziko (@suziko_ho)
1
20
476
4,671
規模の問題もまぁあるが道具の問題の比重が大きくないか、とは思うけれど、概ね同じ気持ち
1
238
Kory retweeted
Tibo (@thsottiaux) profile picture
Tibo
@thsottiauxNov 6
Formal proofs of tens of millions of lines of code are not a ridiculous thing anymore and within the realm of what should be considered when designing new systems.
128
69
28
2,234
524,356
Kory retweeted
Tibo (@thsottiaux) profile picture
Tibo
@thsottiauxNov 6
I can confidently say that humans were not very good at writing secure infrastructure. The endstate will be hypersecure infrastructure and software for all, but we're going to go through some turbulence before we reach that.
1,041
625
233
14,612
1,277,755
Kory retweeted
septem47 (@septem47) profile picture
septem47
@septem47Nov 6
おまけとして、まばたきアニメーションとすやすやエクちゃのイラストをいただいておりました...💫 #Eku3D
Image from septem47 (@septem47)
septem47 (@septem47) profile pictureseptem47
@septem47Nov 5
みも先生 (@mimofeb) にエクを描いていただきました...🌟 #Eku3D
Image from septem47 (@septem47)
2
138
2
1,060
18,771
👀👀👀👀
208
ワークショップ「形式検証の最前線」 2026年12月19日(土)～12月20日(日) @国立情報学研究所 参加申込み締切:12月10日 group-mmm.org/~kazuki/FFV/in… #Dタイム情報
9
1
28
2,777
週末このゲームで終わるくない？？？
3
251
Image from Kory (@Kory__3)
1
11
500
今のところの感想: このゲームを遊んでいる人間の発話をすべて記録して言語モデルの学習コーパスにすべきだ
3
152
モノ申phisation
2
252
そんな複雑なことある？？
1
246
Load more