tani

@shoyokoi.bsky.social

(理解|納得)のための(説明|正当化|推論|議論)を担う(言語|知識)の数理と上達の方法論とインセンティブデザインとアナログゲームに興味があります。

@gigazine.net

ニュースサイト「GIGAZINE」（ギガジン）公式アカウント。

@nikkei.com

日本経済新聞（日経電子版）の公式アカウントです。トップページで報じたニュースを中心に注目コンテンツを発信していきます。 https://www.nikkei.com/

@microsoft.com

👀📎

@comamoca.dev

初星学園でやけにプログラミングに詳しいプロデューサーをやっています。アイマス比重重め。 おにまい/U149/アイマス/蓮ノ空/まちカド/わたてん リンク集: https://linkat.blue/comamoca.dev 技術の話は→ @lab.comamoca.dev

@tunsns.net

I loved Vim,HHKB,Vivaldi and Programming!

@matz.bsky.social

Ruby's Father

@github.com

The AI-powered developer platform to build, scale, and deliver secure software.

@yuys13.bsky.social

ヘビーお便り職人 車アイコン ピュア https://github.com/yuys13 https://zenn.dev/yuys13

@uedatakumi.bsky.social

Software Engineer

@orgmode.bsky.social

@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/

@chaton.practical-scheme.net

Automatic feed from Chaton chat server. https://chaton.practical-scheme.net/

@venriched.bsky.social

豊穣圏

@mitton5772.bsky.social

RIMSで圏論ソルジャー アイコンは4巻カラー絵のアルトちゃん(かわいい)

@ngaastue.bsky.social

Kyoto Japan / KU RIMS D1, CS group/ Math, Categorical Logic,Category Theory, Mathematical Logic, Type theory Homepage: https://hayatonasu.github.io/hayatonasu/

@catjigary.bsky.social

Rims Keisuke Hoshino

@piano2683.bsky.social

ID確保だけしておきます

@yukihiro0036.bsky.social

Specially appointed research fellow at Tohoku Univ. Logic/Software verification/Cyclic proofs

@g000001.bsky.social

g-000-001

@cxxxr.bsky.social

https://github.com/cxxxr lemというエディタを作ってます

@uswansuu.bsky.social

はじめまして Vsingerの稀羽すうです 用件をどうぞ

@k-ikeda.bsky.social

Vim/Neovim好きな素人の爺。藪、土手、筍。

@ixy.bsky.social

https://twitter.com/Ixy イラストレーターです https://ixyis.com/

@yayatam.bsky.social

やまねあや/やや/青二プロダクション所属の声優です💐

@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.org

vim-jp はテキストエディタ Vim と日本・日本語に関わるあらゆるリソースを集約することを目的としたコミュニティです。 https://vim-jp.org

@takeokunn.bsky.social

emacs

@golden-lucky.net

Lambda Note Ltd. https://twitter.com/golden_lucky 「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26

@voluntas.net

時雨堂

@wtsnjp.com

∈ Ph.D. in Computer Science ∩ Researchers ∩ Software Engineers ∩ NLPers ∩ TeXperts 🏚 https://wtsnjp.com

@conao3.bsky.social

バックエンド屋さん。AWSとかPythonとかGraphQLとかが好き

@hokorobi.bsky.social

@pddg.bsky.social

SRE https://twitter.com/pudding_info

@kt3k.org

A software engineer at @deno.land 🦕, lives in 🇯🇵, interested in Deno / VSCode Extension / Theorem provers / Wrist watches. A partner of Iyochi. he/him https://kt3k.org

@gengo.bsky.social

@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

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app

@hyuki.net

数学青春物語『数学ガール』の作者です。執筆生活30年目。気軽にリプライくださいね。Amazonアソシエイトに参加中。 https://www.hyuki.com/ Author of "Math Girls". 30 years into writing introductory math and programming books. LaTeX / Vim / Ruby / Math / Writing /

@chiezo.bsky.social

猫と留守番 https://github.com/hasundue