BStools

Yoshitaka Totsuka

@yoshitaka.bsky.social

94 followers, 87 follows, 2,997 posts

Registered:3 Jul 2023 13:53

Follow date:13 Jan 2026 04:00

Elmを書いたりUIをデザインしたりします

hagamokoso

@hagamokoso.bsky.social

6 followers, 15 follows, 9 posts

Registered:10 Feb 2024 17:41

Follow date:10 May 2025 02:56

Tech Trending

@tech-trending.bsky.social

2,295 followers, 3,352 follows, 50,163 posts

Registered:17 Feb 2024 13:10

Follow date:13 Apr 2025 05:29

技術に関するトレンドニュースを流すボットたまに SAMARI ( https://samari.news ) のお知らせも開発者: @koki.me GitHub: https://github.com/koki-develo...

KC Sivaramakrishnan

@kcsrk.info

1,239 followers, 395 follows, 204 posts

Registered:14 Nov 2024 13:41

Follow date:12 Apr 2025 05:51

Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info

技術書典公式アカウント

@techbookfest.org

796 followers, 9 follows, 879 posts

Registered:20 Aug 2023 12:45

Follow date:6 Apr 2025 05:12

次回 #技術書典 20は2026年4月11日(土)〜4月26日(日) オンラインマーケットで開催！オフライン会場は4月12日(日) ＠池袋！お困りごとやご相談はDiscordに参加してサークル参加経験者に聞いてみるか、公式サイトの「お問い合わせ」からどうぞ。 https://blog.techbookfest.org/

岡本和樹 @技術書典 18「き10」6月1日東池袋

@kakkun61.com

16 followers, 5 follows, 15 posts

Registered:15 Feb 2024 13:06

Follow date:6 Apr 2025 05:12

https://kakkun61.com/

NixOS Foundation

@nixos.org

399 followers, 6 follows, 59 posts

Registered:3 Mar 2025 17:22

Follow date:27 Mar 2025 23:42

The mission of the foundation is to support the Nix ecosystem's infrastructure, and projects.

kakkun61

@kakkun61.pawoo.net.ap.brid.gy

28 followers, 10 follows, 8,677 posts

Registered:5 May 2024 04:49

Follow date:26 Mar 2025 04:19

令和最新版 🌉 bridged from ⁂ https://pawoo.net/@kakkun61, follow @ap.brid.gy to interact

関数型まつり

@fp-matsuri.bsky.social

51 followers, 1 follows, 57 posts

Registered:5 Mar 2025 07:59

Follow date:10 Mar 2025 00:24

https://2026.fp-matsuri.org

OCaml

@ocaml.org

1,266 followers, 15 follows, 546 posts

Registered:7 Feb 2024 17:22

Follow date:18 Jan 2025 05:45

https://ocaml.org

dan

@danabra.mov

62,840 followers, 1,220 follows, 13,480 posts

Registered:8 Apr 2023 20:19

Follow date:25 Dec 2024 04:28

есть цветок и есть песок

abatanx

@abatan.interfair.jp

42 followers, 65 follows, 18 posts

Registered:8 Feb 2024 18:34

Follow date:12 Nov 2024 04:41

味噌汁・湯豆腐を、毎年作り続けて早三十余年。

Kyouken

@kyouken.bsky.social

6 followers, 80 follows, 0 posts

Registered:19 Oct 2024 06:53

Follow date:19 Oct 2024 07:16

狗之卡比

@hugoret.bsky.social

46 followers, 879 follows, 22 posts

Registered:19 Oct 2024 02:04

Follow date:19 Oct 2024 03:33

20｜B/Kabi/Kirby 百合 FF14 🇨🇳,English OK,中文OK

Anachor

@ilikeanachor.bsky.social

79 followers, 1,086 follows, 0 posts

Registered:8 Oct 2023 13:29

Follow date:19 Oct 2024 01:23

36-year-old gamer, tech & fitness enthusiast, and lifelong learner. Exploring worlds, both virtual and real. Always up for a good challenge! My other socials → linktr.ee/anachor

cyn

@tewui.bsky.social

109 followers, 690 follows, 192 posts

Registered:18 Aug 2023 16:47

Follow date:18 Oct 2024 07:12

9SQ

@quitsq.com

122 followers, 110 follows, 1,420 posts

Registered:14 Jun 2023 06:35

Follow date:18 Oct 2024 07:12

猫になりたい。旅をしたい。 quitsq.com

䌷

@aokirin3000.bsky.social

8 followers, 337 follows, 2 posts

Registered:17 Oct 2024 23:01

Follow date:18 Oct 2024 07:12

╯ 　乀ヘ　へ　′ 　﹀

μ

@aripiprazole.dev

411 followers, 221 follows, 154 posts

Registered:7 Aug 2023 14:38

Follow date:13 Sep 2024 11:32

I’m an atypical antipsychotic who loves theorem provers - 🖥️ Rust 🦀 & OCaml 🐫 - 📖 Type Theory & Nerd stuff - 🇧🇷 São Paulo ⏱️ @io_gabx on twitter/x

Colt45s

@colt45s.dev

102 followers, 193 follows, 994 posts

Registered:11 Apr 2023 05:07

Follow date:19 Jan 2024 15:55

高校100年生

@miti-7.bsky.social

69 followers, 59 follows, 31 posts

Registered:1 Dec 2023 07:03

Follow date:15 Jan 2024 01:37

小学 5 年生ですアルゴリズムとデータ構造と組合せ最適化に興味があります AtCoder(青) https://miti-7.github.io/

hayabusa

@hayabusa1601.bsky.social

26 followers, 30 follows, 47 posts

Registered:5 Aug 2023 04:41

Follow date:4 Jan 2024 12:25

みやけくれは

@k08.bsky.social

6 followers, 7 follows, 21 posts

Registered:17 Dec 2023 18:16

Follow date:28 Dec 2023 23:38

Kawasaki Z400(2021) / 林檎班 / アラサー(アッパー)

handle.invalid

!! Invalid Handle !!

1 followers, 0 follows, 0 posts

Registered:25 Oct 2023 02:11

Follow date:25 Oct 2023 02:13

Dustin Getz

@dustingetz.bsky.social

207 followers, 60 follows, 1 posts

Registered:12 Sep 2023 22:43

Follow date:25 Sep 2023 09:22

CEO Hyperfiddle: a "CRUD spreadsheet" for building serious cloud GUIs, and Electric Clojure, a new web development paradigm w/ compiler-managed FE/BE state sync https://github.com/hyperfiddle...

greenz

@greenz.bsky.social

134 followers, 98 follows, 1,507 posts

Registered:12 Apr 2023 12:49

Follow date:9 Sep 2023 09:47

すわくん

@ztrehagem.dev

13 followers, 52 follows, 342 posts

Registered:29 Aug 2023 03:03

Follow date:9 Sep 2023 03:32

ぷろぐらま〜 https://x.com/ztrehagem https://ztrehagem.dev

y1r

@y1r.bsky.social

56 followers, 41 follows, 11 posts

Registered:9 Jul 2023 05:01

Follow date:11 Aug 2023 09:37

パソコン

まぐにあ

@mag-neko.net

222 followers, 289 follows, 182 posts

Registered:7 Jun 2023 13:55

Follow date:8 Aug 2023 00:41

クドのマグカップ良いですよ。わふー！ Twitter: https://twitter.com/ikudi1 Mastodon: https://mstdn.jp/@magnia Misskey: https://misskey.io/@magnia Discord: まぐにあ#4163

ozy4dm

@ozy4dm-programming.bsky.social

64 followers, 41 follows, 110 posts

Registered:3 Jul 2023 10:10

Follow date:31 Jul 2023 12:20

プログラミングに関する話題用メインは @ozy4dm.bsky.social TopCoder Marathon Match(MM)やAtCoder Heuristic Contest(AHC)のような、比較的長期のヒューリスティック系のコンテストに参加しています

スマートコン

@konn-san.com

191 followers, 118 follows, 470 posts

Registered:27 Jul 2023 04:47

Follow date:31 Jul 2023 12:19

小人閒居為不貞寝 @mr_konn from Twitter

もか

@morimotoa.com

395 followers, 322 follows, 4,956 posts

Registered:31 Jul 2023 06:26

Follow date:31 Jul 2023 12:19

しがないWebセキュリティエンジニャ 🏠️ふくおか

Masooka

@masooka.bsky.social

32 followers, 11 follows, 3 posts

Registered:16 Apr 2023 23:35

Follow date:31 Jul 2023 12:19

Machine learning enthusiast.

進捗bot

@yutopp.bsky.social

148 followers, 150 follows, 127 posts

Registered:3 Jul 2023 09:02

Follow date:28 Jul 2023 14:56

yutoppです。本当です。

海老コチニール

@ebicochineal.bsky.social

231 followers, 212 follows, 337 posts

Registered:24 Jul 2023 12:51

Follow date:25 Jul 2023 08:33

海老レンジャイコチニールレッド AtCoder(highest A水/H橙),TopCoder(MM黄),CodinGame(Grandmaster) CodeGolf,Python,C#,C++,Unity,Blender,Arduino,3Dプリンタスキンヘッド,中卒,引きこもり,ヤマトコン2位,第4回Asprovaコン4位

trackiss

@trackiss.bsky.social

4 followers, 4 follows, 2 posts

Registered:6 Jul 2023 23:34

Follow date:23 Jul 2023 03:35

やなぎ

@koyanagihitoshi.bsky.social

1,073 followers, 964 follows, 1 posts

Registered:15 May 2023 13:53

Follow date:12 Jul 2023 23:34

Product Manager https://x.com/KoyanagiHitoshi

ウインドベル

@windbel.bsky.social

48 followers, 41 follows, 96 posts

Registered:3 Jul 2023 07:20

Follow date:12 Jul 2023 02:33

自分からはあまりリプしませんがリプ歓迎です。好きなもの競プロ/にじさんじ/花譜/QuizKnock 作ったもの逆紅クイズ・Gyakubenile・大人の隠しページ探しなど https://windbel.net/

V

@voluntas.net

1,849 followers, 229 follows, 464 posts

Registered:11 Mar 2023 15:21

Follow date:11 Jul 2023 09:40

時雨堂

ryota2357

@ryota2357.com

142 followers, 144 follows, 506 posts

Registered:3 Jul 2023 09:33

Follow date:8 Jul 2023 17:32

電気通信大学I類CS 4年(UEC22, MMA, 小宮研) / Nix, Rust, Neovim, C++, 競プロ, C#, Unity / https://github.com/ryota2357

Sho Shimauchi

@shiumachi.bsky.social

1,079 followers, 906 follows, 563 posts

Registered:3 Jul 2023 07:46

Follow date:6 Jul 2023 12:57

Python Data App Engineer / System Architect at Open Collector / Tokyo, Japan

sh-mug

@mug.sh

104 followers, 118 follows, 105 posts

Registered:26 Jun 2023 17:30

Follow date:6 Jul 2023 12:56

競プロやGeoGuessr、たまにCTFをしていた陶磁器 See also: @mug.mstdn.maud.io.ap.brid.gy

Tiramister

@tiramister.net

169 followers, 184 follows, 775 posts

Registered:21 Apr 2023 13:31

Follow date:5 Jul 2023 09:48

Japanese 🇯🇵 / Software Engineer (Java, AWS) / Competitive Programming (AtCoder: Orange)

λ

@lmd.bsky.social

2 followers, 1 follows, 0 posts

Registered:5 Jul 2023 03:58

Follow date:5 Jul 2023 04:02

sub account of @lmdexpr.com

podhmo

@podhmo.bsky.social

62 followers, 81 follows, 542 posts

Registered:5 Jul 2023 00:24

Follow date:5 Jul 2023 03:42

pythonに踊らされる日々 → gopherに追いかけられる日々本当は関数型言語というか式が優遇されてる言語のほうが好き

yasuo_ozu😶量子コンピュータエンジニア

@ozu.bsky.social

100 followers, 45 follows, 3 posts

Registered:4 Jul 2023 17:39

Follow date:5 Jul 2023 00:28

QunaSys 早稲田/名古屋大理論物理学/Arch Linux/Rust/SATySFi/FreeBSD/言語処理系/精度保証/OS自作/SAT Solver/定理証明/新井朝雄/アカペラ/人狼 https://twitter.com/yasuo_ozu

Mizunashi Mana

@social.mizunashi.work

144 followers, 172 follows, 1,646 posts

Registered:3 Jun 2023 02:08

Follow date:4 Jul 2023 16:06

弱い Haskeller。C言語が書けないのでプログラミングできないです主にマストドン生息。マストドンの投稿をここにも流してますが、Bluesky 側の投稿はどこにも流してないのでご安心を Home: https://mizunashi-mana.github....

Jun Furuse

@jun.dailambda.jp

102 followers, 73 follows, 1,037 posts

Registered:14 Jun 2023 14:26

Follow date:4 Jul 2023 11:47

Fishing, Kyoto, OCaml, No Phishing 釣り、京都

Ian Rathbone

@rathbone.dev

8,745 followers, 69,321 follows, 23,910 posts

Registered:12 Apr 2023 07:43

Follow date:3 Jul 2023 10:30

💻 CTO @ Serene, currently in ‘build mode’ ❤️ Love my family 🎹 Pet Shop Boys obsessive 🤩 Trying to control my Lego addiction 🥾 Hiker, Biker, fan of Riker! 🥸

mizchi

@mizchi.bsky.social

1,494 followers, 399 follows, 48 posts

Registered:24 Apr 2023 05:29

Follow date:3 Jul 2023 09:35

frontend performance engineer in devtools