twitter.com/wx257osn2
github.com/wx257osn2
フロントエンド寄りのプログラマー
TS/React/Hono/PHP/Laravel/Rust/Haskell あたりを深めていきたい
I'm working with friends who are a billion times faster at calculations than we are! 😸
Interests: Nix / Reproducible builds / compilers
https://momee.mt / x.com/mutsuha_asada
Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Cohomology enthusiast. I've seen rings you people wouldn't believe.
Compiler enthusiast, GHC Maintainer, working with Well-Typed.
The Haskell Interlude is a Haskell-focused podcast where we interview guests from the Haskell community.
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
https://blog.orito-itsuki.net/
広告プラットフォームエンジニア, クライマー
Signal:wanimaru.02
Haskell, electric circuits, Ham Radio, minerals, violin, leather crafts
1アマ、一陸持ちの10W局
エンジニア/絵描き
https://klara.works
Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
5000兆円欲しい
https://t3tra.dev/
https://x.com/t3tra_x
https://github.com/t3tra-dev
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
何かをしている場合もある Web/Chromium/C++/Rust/形式検証
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
言語処理系いじりとロジックが好き 相方→@qnighy
※バニラのマストドンのため、カスタム絵文字スタンプを使えません。
🌉 bridged from ⁂ https://qnmd.info/@qnighy, follow @ap.brid.gy to interact
Twitter(X), GitHubなどにいるのと同一人物です
openpgp4fpr:B2E1DC9AF16599BD2D873A227BABC58075EC4EE6
興味: Haskell, 数学
The only major non-profit backed, people-first browser ️🔥
ja / en / la / (grc)
好きなものを書き連ねようとしたけどどれもまとめ方に困ったので諦めました。
SWE/NLP見習い ← Ph.D. in Physics @UT
Twitterと同じID
https://ho-oto.github.io/
Ops 寄りの仕事をする擬プログラマ。
関数型プログラミング , 一部のLisp方言, ネットワーク技術, 丹沢山系 #ときのそら 🐻 と #ぜったい天使くるみちゃん が好き。ロボットになりたい。
弱い Haskeller。C言語が書けないのでプログラミングできないです
主にマストドン生息。マストドンの投稿をここにも流してますが、Bluesky 側の投稿はどこにも流してないのでご安心を
Home: https://mizunashi-mana.github.io/profile/
次回 #技術書典 20は2026年4月11日(土)〜4月26日(日) オンラインマーケットで開催!オフライン会場は4月12日(日) @池袋!お困りごとやご相談はDiscordに参加してサークル参加経験者に聞いてみるか、公式サイトの「お問い合わせ」からどうぞ。 https://blog.techbookfest.org/
プログラミング言語Scalaのコミュニティ「Scalaわいわいランド」を運営しているよ。←ググって!!!
https://www.3qe.us
PGP: F2FC 63C2 42C0 4D9D
D言語とブルアカ
GitHub: https://github.com/kubo39
神奈川県藤沢市在住 東北大学卒業理学修士 (数学専攻) 現在プログラマー 社民党党員 (X https://x.com/kagamin_hr)
Engineer at Noeon Research ← Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
プログラミング言語と数理論理学がすきです🐹
・個人サイト: https://silasol.la
・Keybase: https://keybase.io/silasolla
・ソーシャルメディアは、基本的に silasolla というユーザ名でやっていますが、例外もあります: https://silasol.la/links
I love programming in Haskell, and playing low flute (e.g. bass flute, contrabass flute and subcontrabass flute in F).
サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。
3月まではIT系専門学校教員。スクラム開発、デザイン思考などを教えておりました。その先はまだ未定。
https://lit.link/taf
:: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
https://wasabi315.github.io/en/
Optimizing Ruby JIT. YJIT team at Shopify.
https://fetburner.hatenablog.com/
Undergraduate student at TUT, software engineer
情報と数学をなんとなく愛する 0x24 歳のかわいい生き物。 雑学; 鉄道(乗り潰し派); 卓ゲ; 散歩; 献血; 文字; 計算機科学; プログラミング; 超準解析; 圏論; 変人; 運痴; 記録魔; 少食系; 光のほげほげ士
📍関東平野 👤 tā/tā 🎈誕生日: 1989年7月6日
📆 2023年7月からBlueskyを利用しています
数学の研究者, プログラマ, 二児の父 (9歳女, 0歳男)
https://taketo-sano.me/
https://highload.fun/ でSIMD高速化バトルをしています
都内で働くITエンジニア。
コピーフリーPDFで販売される電子書籍販売サイトをまとめています。
https://twitter.com/Umu999_0YOtJHCt/status/1286591433776828416
http://zenn.dev/umu
http://umu-mu.hatenablog.com
アイコンとヘッダーは世界で一番美しい山。
2025 年ですがOpenCOBOL(主にコンパイラの中)とか弄ってます。Haxeとか組込とかRoundcube Webmail(カスタマイズとかplugin開発)も。インフラ/サーバ関連なども。長崎で開発会社運営 SW-2051-8278-4526 銀モデもち
Twitter: @syocy
Mastodon: @syocy@fla.red
Lambda Note Ltd. https://twitter.com/golden_lucky
「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26
Professor Emeritus, Mie University, Japan
https://okumuralab.org/~okumura/
compiler and microarch
https://sigfpe.info/about
『数式組版』ラムダノート
https://www.lambdanote.com/products/mathtypo
㈱清閑堂/ハクバオウジ㈱代表
https://www.tmaehara.com/ TCS Researcher & ML Engineer.
Brilliant British Foods: https://bsky.app/profile/did:plc:dqxsa5cjfrzulhalom4kuyd2/feed/aaaiqwjhlzavy
Bluesky Bots https://gitlab.com/tmaehara/bluesky-newsbots
@qnighy.qnmd.info.ap.brid.gy
プリキュアと音ゲーとポムポムプリンとプログラミングが大好き
Loves PreCure, rhythm games, computer programming, and Pompom Purin!
Personal Website: https://the.igreque.info/
Misskey: https://rhythmisskey.games/@igrep
GitHub: https://github.com/igrep
旧Twitter: https://twitter.com/igrep
https://github.com/gfngfn
https://twitter.com/bd_gfngfn
https://gfngfn.github.io/ja/
幾何とかの具現化をやってます。
💜 → JuliaLang/数学/工作/3Dプリンタ/レーザー加工機/いきもの/クランベリー
個人サイト → https://hyrodium.github.io/ja/
Booth販売 → https://hyrodium.booth.pm/
(理解|納得)のための(説明|正当化|推論|議論)を担う(言語|知識)の数理と上達の方法論とインセンティブデザインとアナログゲームに興味があります。
好きなもの: Rust/C++(20以降)/i3wm/HPC/計算機代数/グレブナー基底/剰余環/FFT/多倍長計算/円周率/ボードゲーム/ドミニオン/鉄道/早見沙織
HP https://toru3.gitlab.io/
X(Twitter) @Toru31415926535
Gott ist tot
📍 die bunte Kuh
🪦 https://wtsnjp.com