Masaki Waga

🌉 bridged from https://mastodon.maswag.net/@maswag on the fediverse by https://fed.brid.gy/

豊穣圏

本垢: https://x.com/KWatanabeCS

人生の落とし穴はどこにあるかわからない https://x.com/moratorium08

2年以内にDを取る必要がある

Ph.D. (Eng.)/CMOS-MEMS/LSI/つくば

Professeur des Universités LS2N Nantes Université Institut Universitaire de France (2024-2029) #FlyLess (no plane travel within Europe) (he/him)

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

Standardization is King やせいのプログラマ。暗号とか認証技術とかできます。probably-better-known-as-the-SMTPをやめろguy 音楽方面ではファゴットを吹いたり音ゲー周辺のDJをしたりします。 他 -> https://s01.ninja/about

Twitter(X):@yuqlid ロボットを作ったり酒を飲んだりしている キャンプやスノボもしている たまには温泉旅行したい

1st-year doctoral student @ Univ. Tokyo | audio signal processing, speech synthesis, machine learning https://trgkpc.github.io/

人類はアレ。☃️は非アレ。

熊本/京都/神奈川/Coq/SSReflect/

Haskellで数学を実装するのが趣味です。 機械学習の抽象的で統一された設計技法に興味があります

Software Engineer at Medley inc. こんなアイコンをしていますがお仕事では Web 開発をしています。 最近は TypeScript, React, Next.js などフロントエンドの関心が強め。 https://twitter.com/0x19f

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

インターネットスローライフ

競プロer ラテン語好き Ubi caritas et amor sunt, ibi sum ego.

Vim と Rust 言語が好き。5弦ベースを弾いてます https://github.com/monaqa

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

Twitter では t_wada でした プログラマ。テスト駆動開発実践者。power-assert-js 作者。『テスト駆動開発』を翻訳、『プログラマが知るべき97のこと』『SQLアンチパターン第2版』を監訳/監修、『事業をエンジニアリングする技術者たち』を編纂しました。

compiler and microarch https://sigfpe.info/about

猫が好きです。犬さんも好きです。あと、酒が好きです。 元DNS屋さん？→いまSaaS屋さん。 Twitter: https://twitter.com/m_bird

叶えたい願いがあるから今もここで歌ってる いつか夢に見た世界まで君の手をとって僕は踏み出すよ

frontend performance engineer in devtools

にゃーん lazy geek cat who loves coding, OSS, and cloud-native stuff 🐳💻🎺🐱🍸🎮 | I work for AWS | ʕ◔ϖ◔ʔ | tweets are my own, he/him 𝕏 💥🕊️ twitter.com/_musaprg_ 🏠 mssn.dev

Gott ist tot 📍 die bunte Kuh 🪦 https://wtsnjp.com

SWE in US. SKK/Dvorakが好き。旅行行きたい。 PST/UTC-0800

ここではギャグは書かないという強い意志

AT Protocol な実装/運営が複数マトモに出てくるまでは気持ちなし（最低でも招待制の closed な環境でなくなるまで←とりあえずなりましたね）。どちらかというと fediverse にいます。今は https://pasokey.net/@sksat がメイン。

情報と数学をなんとなく愛する 0x24 歳のかわいい生き物。 雑学; 鉄道（乗り潰し派）; 卓ゲ; 散歩; 献血; 文字; 計算機科学; プログラミング; 超準解析; 圏論; 変人; 運痴; 記録魔; 少食系; 光のほげほげ士 📍関東平野　👤 tā/tā　🎈誕生日: 1989年7月6日 📆 2023年7月からBlueskyを利用しています

https://github.com/gfngfn https://twitter.com/bd_gfngfn https://gfngfn.github.io/ja/

企業研究者←DB開発者←WEBエンジニア←大学院博士課程、博士（理学）、エルデシュ数3

イケイケUIエンジニア KC132→UTS3🇷🇺→IS17er→CS19er imi研→ChromeOS Fundamentals 伊達と酔狂 twitter.com/elkurin_

PFNソフトウェアエンジニア/ex-Google/AtCoder創業。修論はいもす法、卒論はないんたんの天気予報。アイコンは岸田メル先生が描いてくれました。子供は5歳と1歳。 https://imoz.jp

うにょーん

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

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

だいたい https://zy.gy/yf に居ます

人や銀河や修羅や海胆

🦐 | 研究の話とか: bindingscope@mastodon.acm.org | Signal: zeptometer.95

Scala，LaTeX，Swift，型システム，暗号，量子計算．筑波大学情報科学類（COINS11，WORD編集部），未踏ターゲット（2018ゲート式量子コンピュータ），コーヒー☕️ X: https://twitter.com/_yyu_ GitHub: https://github.com/y-yu Zenn: https://zenn.dev/yyu CTF: https://urandom.team

音楽家 インスタ: http://instagram.com/sakuzyo_skz/ Youtube: http://youtube.com/@SakuzyoOfficial お仕事の依頼など→ 44damtk@kha.biglobe.ne.jp

Dr. NISHIO Hirokazu | Doctor of Science & Master of Tech Management | Cybozu Researcher | Mitou Foundation Board Member | Whovian | Buddhist | Plurality ⿻ https://mem.nhiro.org/

Haskell / Standard ML

@qnighy.qnmd.info.ap.brid.gy