@tech-trending.bsky.social
技術に関するトレンドニュースを流すボット たまに SAMARI ( https://samari.news ) のお知らせも 開発者: @koki.me GitHub: https://github.com/koki-develop/bsky-tech-trending-bot
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@techbookfest.org
2025年6月1日(日) 池袋サンシャインシティにて #技術書典 18を開催📚同時にオンラインマーケットでも5月31日(土) から6月15日(日) まで開催✨お困りごとやご相談はDiscordのチャットサポートか公式サイトの「お問い合わせ」からどうぞ。 https://blog.techbookfest.org
@nixos-org.bsky.social
The mission of the foundation is to support the Nix ecosystem's infrastructure, and projects.
@kakkun61.pawoo.net.ap.brid.gy
The Haskell Programmer — Enterprise Edition [bridged from https://pawoo.net/@kakkun61 on the fediverse by https://fed.brid.gy/ ]
@kyouken.bsky.social
@ilikeanachor.bsky.social
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
@tewui.bsky.social
she/her | 28 | i draw burgers | no a/i | mdni aspiring artist and rp writer with a dose of mmo brainrot tags: #art | #rkgk personal tag: TBD idk i'll figure something out lmao i: https://x.com/Midori_soumenn am also: https://twitter.com/_tewui
@aripiprazole.dev
i'm an atypical antipsychotic who loves theorem provers - 🖥️ rust 🦀 & ocaml 🐫 - 📖 type theory & hott - 🌝 my name is gabrielle - 🇧🇷 são paulo ⏱️ previously @io_gabx on twitter/x
@colt45s.dev
@miti-7.bsky.social
小学 5 年生です アルゴリズムとデータ構造と組合せ最適化と幼馴染に興味があります AtCoder(水) https://miti-7.github.io/
@hayabusa1601.bsky.social
@dustingetz.bsky.social
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/electric
@greenz.bsky.social
@mag-neko.net
クドのマグカップ良いですよ。 わふー！ Twitter: https://twitter.com/ikudi1 Mastodon: https://mstdn.jp/@magnia Misskey: https://misskey.io/@magnia Discord: まぐにあ#4163
@ozy4dm-programming.bsky.social
プログラミングに関する話題用 メインは @ozy4dm.bsky.social TopCoder Marathon Match(MM)やAtCoder Heuristic Contest(AHC)のような、比較的長期のヒューリスティック系のコンテストに参加しています
@morimotoa.com
しがないWebセキュリティエンジ二ア。アイコンは文月える先生に描いていただいたものです。𝕏のアカウントは@morimotoa(削除済み)でした。 Fukuoka, JPN
@ebicochineal.bsky.social
海老レンジャイ コチニールレッド AtCoder(A水/H橙),TopCoder(MM黄),CodinGame(Grandmaster) CodeGolf,Python,C#,C++,Unity,Blender,Arduino,3Dプリンタ スキンヘッド,中卒,引きこもり,ヤマトコン2位,第4回Asprovaコン4位
@trackiss.bsky.social
@windbel.bsky.social
自分からはあまりリプしませんがリプ歓迎です。 好きなもの 競プロ/にじさんじ/花譜/QuizKnock 作ったもの 逆紅クイズ・Gyakubenile・大人の隠しページ探しなど https://windbel.net/
@ryota2357.com
電気通信大学I類CS 4年(UEC22, MMA) / Rust, Neovim, C++, 競プロ, C#, Unity / https://github.com/ryota2357
@shiumachi.bsky.social
Python Data App Engineer / System Architect at Open Collector / Tokyo, Japan
@tiramister.net
Japanese 🇯🇵 / Software Engineer (Java, AWS) / Competitive Programming (AtCoder: Orange)
@ozu.bsky.social
QunaSys 早稲田/名古屋大 理論物理学/Arch Linux/Rust/SATySFi/FreeBSD/言語処理系/精度保証/OS自作/SAT Solver/定理証明/新井朝雄/アカペラ/人狼 https://twitter.com/yasuo_ozu
@social.mizunashi.work
弱い Haskeller。C言語が書けないのでプログラミングできないです 主にマストドン生息。マストドンの投稿をここにも流してますが、Bluesky 側の投稿はどこにも流してないのでご安心を Home: https://mizunashi-mana.github.io/profile/
@rathbone.dev
💻 CTO @ Serene, currently in ‘build mode’ ❤️ Love my family 🎹 Pet Shop Boys obsessive 🤩 Trying to control my Lego addiction 🥾 Hiker, Biker, fan of Riker! 🥸
@twada.bsky.social
Twitter では t_wada でした プログラマ。テスト駆動開発実践者。power-assert-js 作者。『テスト駆動開発』を翻訳、『プログラマが知るべき97のこと』『SQLアンチパターン』を監訳/監修、『事業をエンジニアリングする技術者たち』を編纂しました。
@ockeghem.bsky.social
徳丸本の中の人 OWASP Japanアドバイザリーボード EGセキュアソリューションズ取締役CTO IPA非常勤職員 YouTubeチャンネル: 徳丸浩のウェブセキュリティ講座 https://youtube.com/@websecstudy