×
You are not logged in
Bluesky Followers
Jun Furuse
Followers of @jun.dailambda.jp
aoashi26.bsky.social
Registered:22 Jan 2026 21:13
StepBroBD
Registered:12 Nov 2023 02:02
F/KC1VZR
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))
https://github.com/stepbrobd
櫻井洋志
Registered:12 Apr 2025 02:30
Prolog,MSX,MSX3,AMIGA,OCaml,操作的意味論,型理論,Verilog,FPGA
Internet Hedgehog 🦔
Registered:1 Jul 2023 17:26
A hedgehog in Tokyo.
🦔🦔🦔🦔🦔
End-user programming believer.
日本語OK
https://ezhik.jp
https://mastodon.social/@Ezhik
Freshness and Speed
Registered:10 May 2024 18:05
ごみ屋敷に住んでいました
aliases: bolta, DJ 岡星
くるる＠在米中年集合論者
Registered:16 Mar 2025 15:41
みなさーん、くるくるー！アメリカの州立大学で集合論やってる中年おじさん、くるるでーす。
アイコンはbing image creatorによるkururu_goedel。
twitter: kururu_goedel, mathtod: kururu
clove
Registered:30 Nov 2024 10:07
Programmer, SWE
音楽・エレキギター演奏がライフワーク（現在お休み中）
https://github.com/clove335
garriguejej.bsky.social
Registered:20 Oct 2024 05:13
さっとん☀️食べ歩きしたりカフェ巡りしたりグルメやおでかけスポット楽しんでます🥳
Registered:12 Feb 2024 05:26
https://a.r10.to/h5PxFi
「結局、やり続けた奴が、勝ちでしょう」by哀川翔さんの言葉を胸に鹿児島を中心に食べ歩きグルメやスポット紹介📝
testcross.bsky.social
Registered:1 Jan 2025 20:43
agatan
Registered:24 May 2023 03:35
Software Engineer at Henry, Inc.
極端流形式仕様 初代𝕍𝕚𝕖𝕟𝕟𝕒𝕋𝕒𝕝𝕜𝕖𝕣
Registered:9 Feb 2024 10:37
Programming isn't logic. It's magic! プログラミングが好きです。難しいことを考えると頭から湯気が出てくるので、大規模とか高速処理とかはスゴいプログラマな皆さんに任せて、 オレは自分が楽しいプログラミングをします。仕様はIDEで書け。後悔あとをたたず。ダイナブック信者。熊本城主。
Seb Mondet
Registered:26 Nov 2024 17:04
Thomas Gazagnaire
Registered:22 Nov 2023 19:49
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
yajima.bsky.social
Registered:14 Nov 2023 08:33
Yoichi Hirai
Registered:16 Jul 2023 14:56
interested in computation and logic.
exfinen.bsky.social
Registered:9 Feb 2024 23:51
jun kamo
Registered:7 Feb 2024 11:49
元ゲームプログラマ
ふぉとん / PhotonJP
Registered:25 Aug 2023 15:36
日本で働くソフトウェアエンジニア / 読書好き
Software Engineer at Japan / I like reading books.
Atsushi Igarashi
Registered:7 Feb 2024 14:23
Logarithmic Regret
Registered:9 Feb 2024 07:35
Anil Madhavapeddy
Registered:21 Jun 2023 04:30
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
OCaml
Registered:7 Feb 2024 17:22
nakaeyuriko.bsky.social
Registered:4 Feb 2024 05:54
株式会社Nextatの中榮健二に避妊のしない性行為をされて認知だけと言われ中絶させられた。
自分に気があるのを分かって私が何も言い返さないのを知っての発言。最低の極み。
おく(@OKU_K)
Registered:7 Feb 2024 14:54
熊本/京都/神奈川/Coq/SSReflect/
Yoshihiro Imai
Registered:7 Feb 2024 12:55
zeptometer
Registered:27 Jan 2024 12:48
🦐 | 研究の話とか: bindingscope@mastodon.acm.org | Signal: zeptometer.95
warnsberg.bsky.social
Registered:21 Nov 2023 07:50
Yսsk Satᴏ
Registered:13 May 2023 03:39
SWE at Gᴏᴏglе DееpMind. Based in Califᴏrnia. Likes/RPs ≠ endorsements. Opinions are my own. 趣味は多分ポイ活 in the US. 投稿内容は当然ながら雇用主等とは一切関係ない個人的な意見.
🌊✨️
NISHIO Hirokazu
Registered:28 Jun 2023 15:03
Dr. NISHIO Hirokazu | Doctor of Science & Master of Tech Management | Cybozu Researcher | Mitou Foundation Board Member | Whovian | Buddhist | Plurality ⿻
https://mem.nhiro.org/
hikoichi
Registered:6 Nov 2023 14:54
人生半妙夢
mt-caret.bsky.social
Registered:18 Sep 2023 14:28
typing under the influence
Ozan
Registered:12 Sep 2023 05:38
Quit my job to turn my shower ideas into sustainable businesses and 10x my learning. I occasionally geek out on OCaml, AI, web tech and film cameras.
淡中 圏
Registered:17 Aug 2023 04:16
ソフトウェアと小説を書く空手家。数学好き。
どうでもいいことと何の関係もないことについて呟きます。
おのたかし🍣
Registered:30 May 2023 16:34
小野高志 千葉県浦安市在住
定期的に禁酒とダイエット ちい活 j-wave ポケスリ 光る君へ 虎に翼 相棒 2時間ドラマ 銀チョコロール うさまるキッチン🍺 🍜
https://mixi.social/@onotakash...
https://www.facebook.com/onota...
https://x.com/onotakashi
https://www.duolingo.com/profi...
mitszo
Registered:4 Mar 2023 02:00
通販屋さんで業務システムのお守りをして、ごはんを食べている人。写真とか、時々自転車。おいしいカフェが好き。