Jun Furuse 🐫🌴

92.2K posts

Jun Furuse 🐫🌴 banner
Jun Furuse 🐫🌴

Jun Furuse 🐫🌴

@camloeba

Aka @camlspotter, OCaml programmer who has once used Haskell in his work. CEO of DaiLambda, Inc. Migrated to BlueSky. @jun.dailambda.jp

Kyoto Katılım Aralık 2010
531 Takip Edilen2.3K Takipçiler
Sabitlenmiş Tweet
Jun Furuse 🐫🌴
Jun Furuse 🐫🌴@camloeba·
Being fed up with the recent changes of this place, I only post summaries here. See details in BlueSky.
English
0
0
0
977
Jun Furuse 🐫🌴
Jun Furuse 🐫🌴@camloeba·
手を痛めて、マイクを持って演説はできるが、座って討論はできない。不思議な話だ。
日本語
0
0
0
217
Jun Furuse 🐫🌴 retweetledi
みえっぱりな京都人bot
みえっぱりな京都人bot@kyoutojin_bot·
【速報】カナートこと洛北阪急スクエア、閉店ラッシュ 無尽蔵、ポポラマーマに続きDAISO、ロフトも閉店予定 安売りも多いらしいし週末行ってみるか
日本語
25
248
1.3K
195.5K
Jun Furuse 🐫🌴 retweetledi
ここっと
ここっと@compete_oishii·
阪急スクエア、ダイソーロフトを筆頭にありえない数の店が閉店を表明している
日本語
23
251
2.7K
972.7K
Jun Furuse 🐫🌴
Jun Furuse 🐫🌴@camloeba·
この報告書をカラーで印刷する意義...
日本語
0
0
0
124
Jun Furuse 🐫🌴
Jun Furuse 🐫🌴@camloeba·
全知事セクハラ報告書、AI生成ではない おじさん構文例 がついており興味深い
日本語
1
0
0
247
Jun Furuse 🐫🌴
Jun Furuse 🐫🌴@camloeba·
イカヅチうどん、Google mapで臨時休業表示になっとるね
日本語
0
0
0
246
Jun Furuse 🐫🌴 retweetledi
京大魑魅魍魎大図鑑
京大魑魅魍魎大図鑑@kyodai_meltdown·
アカハラ系ハク 「京大理系でアイドル業もこなしながら単位取れてる人がおるのに4年で卒業できひんお前らはいったい何してたん?」
京大魑魅魍魎大図鑑 tweet media
日本語
6
78
1.9K
73K
Jun Furuse 🐫🌴
Jun Furuse 🐫🌴@camloeba·
北白川の変遷...全ては瓜生山学園に飲み込まれる運命なのか
日本語
0
0
1
171
Jun Furuse 🐫🌴 retweetledi
玲珑
玲珑@osakanafishcom·
北白川からワールドコーヒー消えるらしい… 大国屋が消えて、ローソンが消えて、パン屋が消えて、天下一品が消えて、うどん屋が消えて、どんどん寂しいエリアになっちまうな…
玲珑 tweet media
日本語
51
578
1.9K
319.5K
Jun Furuse 🐫🌴 retweetledi
Κeіsuke Νakanο
Κeіsuke Νakanο@ksknac·
Lean以外にも証明支援系は昔からあるという話が、Leanが昔からあるという話に変わってしまっている… Gonthierらが6年以上かけてCoqで奇数位数定理を形式化して話題になったのは、Leanが誕生する以前の2012年ですし,その後Voevodskyが数学の形式化に貢献したことも忘れられているようで悲しいですね…
日本語
3
33
133
13.4K
Jun Furuse 🐫🌴
Jun Furuse 🐫🌴@camloeba·
京都市バス、今車内でチャージできんねんけどなあ
日本語
0
0
0
242
Jun Furuse 🐫🌴 retweetledi
Mei Kaigai🇩🇪
Mei Kaigai🇩🇪@Mitchan_599·
同志Suicaペンギンが失脚したのって京都駅のあいつらが関係してるんじゃないか?
Mei Kaigai🇩🇪 tweet media
日本語
3
174
1.3K
50.8K
Jun Furuse 🐫🌴
Jun Furuse 🐫🌴@camloeba·
こんなところを小鮎師が見ているとも思えないが、知内川は今月21日から川底耕耘のため小鮎釣り自粛をお願いしているそうです。まあ濁るので行っても釣れないでしょう。
日本語
0
0
3
737
Jun Furuse 🐫🌴 retweetledi
人のプーさん
人のプーさん@wineet_the_pooh·
Q.猿と遭遇したらどうする? A.自分はゴリラ、オランウータンに次ぐ地球上で三番目に大きな猿の一族であるという事実を思い出し、勇気を出す
日本語
85
4K
61.1K
3.6M
Jun Furuse 🐫🌴 retweetledi