NALOMA workshop @naloma.bsky.social naloma.github.io
𝗡𝗔tural 𝗟𝗢gic Meets 𝗠𝗔chine Learning Workshop Official Account
past venues: IWCS 2023, ESSLLI 2022, IWCS 2021, WeSSLLI 2020
Michael Chavinda @mschav.bsky.social Curious about many things
vaibhav sagar @vaibhavsagar.com future trophy husband
disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿
🇦🇺🇮🇩🇮🇳
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Omochice @omochice.bsky.social びむびーむ
passagemath @passagemath.org General-purpose #OpenSource #Mathematics software system in #Python.
The pip-installable modularized portable compatible fork of #SageMath.
https://passagemath.org/ · https://github.com/passagemath · posts by @mkoeppe.bsky.social
Sho Yokoi @shoyokoi.bsky.social (理解|納得)のための(説明|正当化|推論|議論)を担う(言語|知識)の数理と上達の方法論とインセンティブデザインとアナログゲームに興味があります。
GIGAZINE @gigazine.net ニュースサイト「GIGAZINE」（ギガジン）公式アカウント。
日経電子版 @nikkei.com 日本経済新聞（日経電子版）の公式アカウントです。トップページで報じたニュースを中心に注目コンテンツを発信していきます。画像・映像・テキストの改変およびAIを用いた加工処理等は日経の著作権ポリシーで禁じています。
▶ 日経HP: https://www.nikkei.com/
▶ 「著作権に対する姿勢」: https://www.nikkei.co.jp/nikkeiinfo/copyright/
Microsoft @microsoft.com AI, Cloud, Productivity, Computing, Gaming & Apps ☀️
こまもか🦊 @comamoca.dev 初星学園でやけにプログラミングに詳しいプロデューサーをやっています。アイマス比重重め。
おにまい/U149/アイマス/蓮ノ空/まちカド/わたてん
リンク集: https://linkat.blue/comamoca.dev
技術の話は→ @lab.comamoca.dev
ArcCosine @tunsns.net I loved Vim,HHKB,Vivaldi and Programming!
Yukihiro Matz @matz.bsky.social Ruby's Father 
GitHub @github.com The AI-powered developer platform to build, scale, and deliver secure software.
yuys13 @yuys13.bsky.social ヘビーお便り職人
車アイコン
ピュア
https://github.com/yuys13
https://zenn.dev/yuys13
Takumi Ueda @uedatakumi.bsky.social Software Engineer
Emacs Org Mode @orgmode.bsky.social 
t-sin @sinclav.bsky.social へっぽこプログラマ。
夢川かなう🐟🫧 @kanauoo.bsky.social Re:AcT所属Vtuber⌇水と歌うことが好き
画力・博士号・油田 @gfngfn.bsky.social https://github.com/gfngfn
https://twitter.com/bd_gfngfn
https://gfngfn.github.io/ja/- C @chaton.practical-scheme.net @chaton.practical-scheme.net Automatic feed from Chaton chat server.
https://chaton.practical-scheme.net/
K.Hirata @venriched.bsky.social 豊穣圏
Μίττον@圏論ソルジャー(गजस्पृशन्ध) @mitton5772.bsky.social RIMSで圏論ソルジャー
アイコンは4巻カラー絵のアルトちゃん(かわいい)
Hayato Nasu @ngaastue.bsky.social Halifax, Canada/ PhD student/ Categorical logic (or, logical category theory)
Homepage: https://hayatonasu.github.io/hayatonasu/
ほしのけいすけ @catjigary.bsky.social Rims
Keisuke Hoshino- P ぴあのん @piano2683.bsky.social ID確保だけしておきます
- Y Yukihiro Oda @yukihiro0036.bsky.social Specially appointed research fellow at Tohoku Univ.
Logic/Software verification/Cyclic proofs
cxxxr @cxxxr.bsky.social https://github.com/cxxxr
lemというエディタを作ってます
稀羽すう.wav @uswansuu.bsky.social はじめまして
Vsingerの稀羽すうです
用件をどうぞ
K Ikeda @k-ikeda.bsky.social Vim/Neovim好きな素人の爺。藪、土手、筍。
Ixy(いくしー) @ixy.bsky.social https://twitter.com/Ixy
イラストレーターです
https://ixyis.com/
山根 綺 @yayatam.bsky.social やまねあや/やや/青二プロダクション所属の声優です💐
Mika Pikazo @mikapikazompz.bsky.social Mika Pikazo(ミカ ピカゾ)
Artist / Art Director / Illustrator
mail: mikapikaworkz@gmail.com
https://x.com/mikapikazo?s=21&t=OlmW7ew7e6nNbis-95X12w
https://www.instagram.com/mika_pikazo_mpz?igsh=MWxwcjZla3Nna2YzZg%3D%3D&utm_source=qr
山本崇一朗 @udon0531.bsky.social 漫画家です。マネマネにちにち連載中。からかい上手の高木さん。それでも歩は寄せてくる。くノ一ツバキの胸の内
佃煮のりお/犬山たまき @noripro.bsky.social 漫画家￤Vtuber事務所「のりプロ」社長🌞💍
個人Vtuber「犬山たまき」運営🐶💙
ナガノ @ngntrtr.bsky.social 。
名取さな @natorisana.com 
ありすえ @lambdalisue.bsky.social 16歳プログラマー。 なお進数は毎年上がる模様。
Vim, Python, Deno, Rust が好き。
https://vim-jp-radio.com/ で毎週月曜、適当に喋ってます。
Keybase: https://keybase.io/lambdalisue
GitHub: https://github.com/lambdalisue
X (Twitter): https://x.com/lambdalisue
しぐれうい @uishig.bsky.social イラストレーターのしぐれういです！※本物
pixiv: https://www.pixiv.net/users/431873
Youtube: https://www.youtube.com/channel/UCt30jJgChL8qeT9VPadidSw
なもり @namoridane.bsky.social 「ゆるゆり」「大室家」連載中。不定期で「東西南北！」も。
vim-jp @vim-jp.org vim-jp はテキストエディタ Vim と日本・日本語に関わるあらゆるリソースを集約することを目的としたコミュニティです。
https://vim-jp.org
た҉͜け҉͜て҉͜ぃ҉͜𓁈𓈷 @takeokunn.bsky.social emacs
Keiichiro Shikano @golden-lucky.net Lambda Note Ltd. https://twitter.com/golden_lucky
「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26
V @voluntas.net 時雨堂 (shiguredo)
Muskeltrainingsübermenschbot @wtsnjp.com Nichts ist wahr, alles ist erlaubt
📍 die bunte Kuh
🪦 https://wtsnjp.com
conao3 @conao3.bsky.social バックエンド屋さん。AWSとかPythonとかGraphQLとかが好き
hokorobi @hokorobi.bsky.social 
pudding @pddg.bsky.social SRE
https://twitter.com/pudding_info
https://www.instagram.com/poyo.inf
Yoshiya Hinosawa @kt3k.org A software engineer / based in 🇯🇵 / interested in Deno, VSCode Custom Editor, Theorem provers / A partner of Iyo. he/him
https://kt3k.org- G @gengo.bsky.social @gengo.bsky.social
zgz 🤖 @handle.invalid じがじ だよ
Japanese Cluster Feedの発言を連結して喋るよ
メンションにも反応します
時刻はReykjavík基準です
source code: github.com/kawarimidoll/zgz
icon is made by: charat.me/chibi/create
ゴリラ @skanehira.bsky.social 株式会社テックリード代表
GitHub github.com/skanehira
zenn zenn.dev/skanehira
SchooのGo講師 schoo.jp/teacher/2869
Vimが好きになる本 nextpublishing.jp/book/11839.html
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
結城浩 / Hiroshi Yuki @hyuki.net 数学青春物語『数学ガール』の作者です。青春小説『AIと生きる』刊行！2025年8月に『数学ガール／リーマン予想』刊行。執筆生活30年越え。気軽にリプライくださいね。Amazonアソシエイトに参加中。
https://www.hyuki.com/
Author of "Math Girls". more than 30 years into writing introductory math and programming books.
LaTeX / Vim / Ruby / Math / Writing
Chiezo @chiezo.bsky.social 猫と留守番
https://github.com/hasundue
takets @takets.bsky.social I'm neo/vim user.
Lived in vim-jp.
https://meganemusume.net/
Hajime Hoshi @hajimehoshi.bsky.social CTO at Odencat. Author of Ebitengine. he/him
https://hajimehoshi.com
結城浩bot / Hiroshi Yuki (bot) @hyuki.bsky.social 結城浩は @hyuki.net に引っ越しました。こちらのアカウントは現在実験botとして使っています。
Hiroshi Yuki (human) has moved to @hyuki.net
tennashi @tennashi.bsky.social そふとうぇあえんじにあ
えすあーるいー
びむ
ごー
OgaKen @ogaken.bsky.social a nvim user
Iizuka Masashi @uochan.bsky.social トヨクモ株式会社にて Clojure を使ってお仕事してます。
ClojurianでVimmer。
scrapbox.io/uochan/uochan
輪ごむ @wagomu.bsky.social 
kamesuke42 @kamesuke42.bsky.social Programmer @kamesuke42.com
rapan931 @rapan931.bsky.social vim
くいなちゃん @kuina.bsky.social わたしの知識の一部をあげますので、あなたの一部をください！ くいなちゃん、６さい。 サイト→ http://kuina.ch [イラスト／作曲／プログラミング／ゲーム制作／あらゆる学問／…
ryoppippi @ryoppippi.com
ryoppippi.com
Github: github.com/ryoppippi
Sub bsky: https://bsky.app/profile/ryoppippi.bsky.social
since 07 Apr 2023
fuzmare(fuzakebito) @fuzake.io 一般linuxユーザー
nvim dein
biosugar0 @biosugar0.bsky.social SRE。開発環境いじりと自動化が好き。 ビジネスを加速させるスタートアップSREのアプローチを日々模索しています。/Vim/Go/k8s/AWS/terraform/Microservices/
https://github.com/biosugar0/curriculum-vitae
ヤエガッシー (yaegassy) @yaegassy.bsky.social 
yasunori @yasunori.bsky.social ＞vim == 呼吸
True
＞echo $DESKTOP_SESSION
i3
＞echo $TERMINAL
alacritty
＞echo $EDITOR
nvim
＞# I use a nixos
色即是空 @kuuote.bsky.social 一生設定してろ
monaqa @monaqa.bsky.social Vim と Rust 言語が好き。5弦ベースを弾いてます
https://github.com/monaqa
shishi @shishi.bsky.social Programmer, from vim-jp
Yoshimasa Niwa @niw.bsky.social Software engineering, loving cats.
yutkat @yutkat.github.io Programmer.
DevEnv: Neovim, zsh, wezterm, ArchLinux(hyprland)
Gadgets:Thinkpad X1C, HHKB hybrid, GameBall, Pixel7a
https://github.com/yutkat
https://yutkat.github.io/
https://twitter.com/yutkat
へいほぅ @handle.invalid https://bsky.app/profile/h3y6e.bsky.social/post/3jptvdznem22m
NI57721 @ni57721.bsky.social All I want to do is edit the settings of Vim and ArchLinux.
My life is just like yak shaving.
https://NI57721.dev
yukimemi @yukimemi.bsky.social https://yukimemi.deno.dev
Tsuyoshi CHO @tsuyoshicho.bsky.social 駄文er
thinca @thinca.bsky.social 
うるし💫 @uakihir0.com Urushihara Akihiro | Programmer | Swift/Kotlin/Go | TheWorld SocialHub | http://www.uakihir0.com/blog | https://twitter.com/uakihir0 | http://misskey.io/@uakihir0
nature @nature122.bsky.social nature is life
cat 😊 @cats.bsky.social cat club🐈⬛❤️
Bluesky Support @support.bsky.team Submit bug reports, feature requests, and feedback with the in-app form in your left side menu (mobile) or right column (desktop), or email us at support@bsky.app.
Kat0h @kat0h.com 
kyoh86 @kyoh86.dev
MURAOKA Taro @koron.bsky.social Vim user, Slave of IT, Servant of Cat. A specialist who stains shirts when eating. (a.k.a SSS). Alias "kaoriya"
heyhoe @h3y6e.bsky.social へいほぅ https://h3y6e.com/humans.txt
mattn @mattn.bsky.social 
Shimba, Koji @shimba.co 個人でウェブサービスを運営したりしているソフトウェアエンジニアです。
日常の話はMewstでつぶやいています。
https://mewst.com/@shimbaco
🏠 https://wikino.app/s/shimbaco
🧑💻 @annict.com, @mewst.com, @wikino.app
Peacock🦚🇯🇵 @p3ac0ck.net Go, Python and Google Cloud at GROOVE X, Inc. / PyCon JP Vice Chair (2022, APAC 2023, 2025)
Loves classical music (both listening and playing). Bartok is my favorite.
Other things: skiing, cameras, beer and whiskey.
syumai @syum.ai Web Application Developer at Tokyo, Japan. https://syum.ai
Rikuoh Tsujitani @riq0h.jp 頻出顔文字一覧
(・_・)
(・へ・)
(っ◞‸◟c)
( ´◔ ‸◔`)
https://riq0h.jp
https://mystech.ink/@riq0h
https://keyoxide.org/48DD5CD37CAE0C69E1637DE2010F09DEA298C717
raa0121 @raa0121.info 
響🏳🌈 @4513echo.dev 奈落の底に落ちてるのか、大空へ向かって飛んだ瞬間なのかはわからないけど
Homepage: https://4513echo.dev
heavenshell @heavenshell.bsky.social 
カワリミ人形 ⁽'ᵕ'⁾ @kawarimidoll.github.io カワリミ人形🧑💻🧗🧑🎓🇯🇵
🍄Amanita
since 2023/03/16 4357th user
🇦🇺ﾜﾎ完 2024/05/14-2025/01/08
目指せハッカーと画家
https://kawarimidoll.github.io
つくったもの https://bsky.app/profile/kawarimidoll.github.io/post/3jujc6xpmyz23