Koji Miyazato @viercc

一応生きてますよ(2019/08) すこし元気になってますよ(2020-) 趣味プログラミング専門エンジニア viercc.github.io/blog/ 沖縄 Joined November 2009

Tweets

3K
Followers

238
Following

355
Likes

3K

Riyo @ymdfield

7 days ago

Haskellers, please help me out. Here is an Either indexed by a type-level Bool. When 'i' is False it is guaranteed to be Left, and when 'i' is True it is guaranteed to be Right. Is there a way to keep the type parameters 'a' and 'b' representational while also being able to ...

ymdfield tweet picture

はすじょい (hsjoihs) @hsjoihs

4 months ago

theguardian.com/science/2025/m…

hsjoihs tweet picture

Eitan Chatav @EChatav

6 months ago

Do you like parsers? Excited by profunctor optics? Come check out my new library. Distributors - Unifying Parsers, Printers & Grammars hackage.haskell.org/package/distri…

Koji Miyazato @viercc

6 months ago

viercc tweet picture

Koji Miyazato @viercc

6 months ago

https://t.co/bCwflatFUQ

Koji Miyazato @viercc

6 months ago

モナド同士、コモナド同士の分配法則について viercc.github.io/blog/posts/202…

Koji Miyazato @viercc

7 months ago

私@viercc はXから漸次他のSNSに移行中です。このアカウントは維持しますが、「いいね」と会話のためのリプライ以外せず、リポストも基本的にはしません。現在のところbskyに書いています。 bsky.app/profile/viercc…

Koji Miyazato @viercc

7 months ago

TravelコモナドとFlowモナド viercc.github.io/blog/posts/202…

Koji Miyazato @viercc

4 years ago

タブレットに書かされる署名とか怖いよね「エラー出て消えちゃいました(^ ^)もう一度記入お願いします」って言って、その消えたはずの署名を勝手に別の書類に印刷したら、本人が同意してないのに本人のユニークな署名がある書類の完成である

011-zr @011_zr

67 Followers 1K Following 𝕯𝖗𝖆𝖌𝖔𝖓𝕾𝖑𝖆𝖞𝖊𝖗

Math researcher working in Random Walks on Groups

Srivatsa Chakravarthy @srivatsamath

448 Followers 487 Following Math researcher working in Random Walks on Groups

Omni-modality through higher category theory.

∞-modal @NoahChrein

939 Followers 888 Following Omni-modality through higher category theory.

Puituc @Puituc363

41 Followers 2K Following

JK @chnessGame

101 Followers 430 Following

/user/Google_Think/東北大/
├─ UG: 数学科
├─ PG: 数学専攻
└─ 興味/
　　├─ AI
　　├─ 圏論 ×トポロジー/
　　│　├─ 量子力学
　　│　└─ TQFT
　　├─ 変形理論/
　　│　└─ 変形量子化
　　└─ etc

千代古黎糖 @Google_Think

1K Followers 1K Following /user/Google_Think/東北大/ ├─ UG: 数学科 ├─ PG: 数学専攻 └─ 興味/ 　　├─ AI 　　├─ 圏論 ×トポロジー/ 　　│　├─ 量子力学　　│　└─ TQFT 　　├─ 変形理論/ 　　│　└─ 変形量子化　　└─ etc

Sakura @donalqqisq19562

135 Followers 984 Following

I (re)tweet in 🇬🇧 and 🇮🇹 | he/him

Davide @DavideGreeny

104 Followers 803 Following I (re)tweet in 🇬🇧 and 🇮🇹 | he/him

RT cool-looking stuffs that I don't really understand 🥴

Seonghyun Park @shp4rk

49 Followers 795 Following RT cool-looking stuffs that I don't really understand 🥴

shunkeen @shunkeen

17 Followers 40 Following いいね押す用。

ブルボン、たかぴー、たかむー、たかむ、ドアラー、ファブリー／空き缶で綿菓子をつくってたり、MathML関連のものとかを日本語訳したり、どうでもいいことをつぶやいたりしてる人

たかむ〜 @y_takamu

164 Followers 278 Following ブルボン、たかぴー、たかむー、たかむ、ドアラー、ファブリー／空き缶で綿菓子をつくってたり、MathML関連のものとかを日本語訳したり、どうでもいいことをつぶやいたりしてる人

てらモス🌹 @termoshtt

4K Followers 5K Following カニだよ(´・ω・｀)

CS student. Studying logic and programming languages. Mastodon: @tomstructured@mathstodon.xyz

Tom @tomstructured

24 Followers 506 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]

Functional programming and type theory enthusiast #Haskell #Agda. They/Them

mastodon: https://t.co/yi842YCJhb
bluesky: @anka213.bsky.social

LambdaDuck @Anka213

4K Followers 1K Following Functional programming and type theory enthusiast #Haskell #Agda. They/Them mastodon: https://t.co/yi842YCJhb bluesky: @anka213.bsky.social

漢検準一級応用情報エルデシュ数5 いっぱい数学イベントに参加したい！興味あるイベント：ロマンティック数学ナイト/日本お笑い数学協会/日曜数学会/数学カフェ/プログラマのための数学勉強会/MATH POWER/数学デー/KIOI STEAM LAB/すうがく徒のつどい/数物セミナー/数学ミニプレゼン/むぐむぐ勉強会

ヘカテー @HKTmine

2K Followers 3K Following 漢検準一級応用情報エルデシュ数5 いっぱい数学イベントに参加したい！興味あるイベント：ロマンティック数学ナイト/日本お笑い数学協会/日曜数学会/数学カフェ/プログラマのための数学勉強会/MATH POWER/数学デー/KIOI STEAM LAB/すうがく徒のつどい/数物セミナー/数学ミニプレゼン/むぐむぐ勉強会

matakataka @worstahoahoman

1 Followers 2K Following

Writer, DJ, yoga teacher | prev @linkedin @ifc_org @CarnegieMellon @nyfa Options are my own.

Kuro @toeinriver

193 Followers 2K Following Writer, DJ, yoga teacher | prev @linkedin @ifc_org @CarnegieMellon @nyfa Options are my own.

deep_unlearning @deep_unlearning

120 Followers 2K Following

ささら @sasara1958003

21 Followers 154 Following

Balancing creative/constructive, in human/organisational/technological development

junxan @jmatsushita

484 Followers 1K Following Balancing creative/constructive, in human/organisational/technological development

Андрей 🐍🇷... @kudiluko

91 Followers 556 Following Daily shitpost

Mariano Bertoni @mariano_bertoni

189 Followers 4K Following

Johannes Riecken @rubystallion

6 Followers 81 Following

Ben Green @chreod

269 Followers 995 Following

it has just dawned on me

k h ô i @khoiiiind

659 Followers 918 Following it has just dawned on me

rarely do actual things

kaguya houraisan @kaguyamoe

150 Followers 146 Following rarely do actual things

fmap @fmap34

30 Followers 1K Following

Math and Programming. This Semester I am thinking about : Lie Groups and Algebras, Moduli Spaces and PDE. Trying to change the wat we take notes using Computers

Kento Okura @kento_okura

15 Followers 239 Following Math and Programming. This Semester I am thinking about : Lie Groups and Algebras, Moduli Spaces and PDE. Trying to change the wat we take notes using Computers

Totally normal middle-aged family man.

James Brock @jamesdbrock

593 Followers 821 Following Totally normal middle-aged family man.

Вася Пупкин @cucumber_pro

9 Followers 375 Following

Pensé FFun @inftyCategory

136 Followers 7K Following

itoooak @itoooak

82 Followers 613 Following

mdl fop @FopMdl3971

0 Followers 118 Following

building @stripe, 🎓from @scsatcmu

Raaid Tanveer @raaidrt

60 Followers 298 Following building @stripe, 🎓from @scsatcmu

@aurxenon.io on Bluesky

Occasionally good tweets - he/him

CS PhD student @HopkinsEngineer :)

Opinions are always my own

transition metal nobl... @aurxenon

194 Followers 3K Following @aurxenon.io on Bluesky Occasionally good tweets - he/him CS PhD student @HopkinsEngineer :) Opinions are always my own

Programming Languages PhD student at the University of Maryland. Interested programming languages, formal verification, game dev, game theory.

Henry Blanchette @rybl4

85 Followers 554 Following Programming Languages PhD student at the University of Maryland. Interested programming languages, formal verification, game dev, game theory.

Cyberpunk Metamodernism. Aspiring hyperwrangler. Searching for lcm(∞-axia). CS ∪ CogSci ∪ Complex Systems.

neo @stankneo

855 Followers 4K Following Cyberpunk Metamodernism. Aspiring hyperwrangler. Searching for lcm(∞-axia). CS ∪ CogSci ∪ Complex Systems.

Biracial.
Born and raised in the projects of East LA.
Making allegories to life.
Math Enthusiast.
Living life on a finite field!

John Wu (吴翰) @wu_s_john

442 Followers 2K Following Biracial. Born and raised in the projects of East LA. Making allegories to life. Math Enthusiast. Living life on a finite field!

Civil Engineer from Philosophy Department. Software Engineer @hey_ario.

Juang Wiantoro @broerjuang

1K Followers 4K Following Civil Engineer from Philosophy Department. Software Engineer @hey_ario.

amar @aStaticKaleido

43 Followers 2K Following números. cine.

Co-founder at https://t.co/DAnHdVPSAy | Engineer/Product Leader | Startup Advisor

Deep Dave @D33pDave

134 Followers 683 Following Co-founder at https://t.co/DAnHdVPSAy | Engineer/Product Leader | Startup Advisor

\mathfrak{ • } @smothmanifold

1K Followers 7K Following ☕️ 🍜

A book for the new, the old and the undiscovered programmer. By @renzocarbonara.

A Type of Programming @atopbook

2K Followers 2K Following A book for the new, the old and the undiscovered programmer. By @renzocarbonara.

Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.

Renzo @renzocarbonara

2K Followers 4K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.

PhD student in pure mathematics (category theory, non-additive non-abelian homological algebra)

Vadim Leshkov @bewrrrie

35 Followers 462 Following PhD student in pure mathematics (category theory, non-additive non-abelian homological algebra)

情報学研究科/男/計算, 意味, 論理/web開発

mineel @mineel5

595 Followers 590 Following 情報学研究科/男/計算, 意味, 論理/web開発

ರಾ 🟨🟥 @fernwah

18 Followers 414 Following

Apprentice @monadivalence

216 Followers 274 Following Type theory daisuki! Profile picture by @sealily___

PGP: F2FC 63C2 42C0 4D9D
DMはPGPで送るか https://t.co/ejNiYxeYUE へお願いします。
『Scalaわいわいランド』共同主宰

Windymelt🚀❤️�... @windymelt

3K Followers 2K Following PGP: F2FC 63C2 42C0 4D9D DMはPGPで送るか https://t.co/ejNiYxeYUE へお願いします。『Scalaわいわいランド』共同主宰

セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師；東大既仏→Stanford 学部・修士卒業；NandGame和訳；Turing Complete 和訳中；ZEN大学教員予定（オートマトンと形式言語理論や論理回路の上手い教え方を考える業務）@sosoBOTpi と同一

はすじょい (hsjo... @hsjoihs

11K Followers 8K Following セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師；東大既仏→Stanford 学部・修士卒業；NandGame和訳；Turing Complete 和訳中；ZEN大学教員予定（オートマトンと形式言語理論や論理回路の上手い教え方を考える業務）@sosoBOTpi と同一

「あなたの命と暮らしを守る」情報をお届けするＮＨＫ公式アカウントです。地震や台風、大雨、大雪などの災害の情報や防災減災に役立つ情報、それに子育てや消費生活など暮らしの安心情報をお伝えします（利用規約: https://t.co/a9FXMnqQtN フォローについて:https://t.co/99rLDYYSkj )

ＮＨＫ生活・防... @nhk_seikatsu

1.3M Followers 83 Following 「あなたの命と暮らしを守る」情報をお届けするＮＨＫ公式アカウントです。地震や台風、大雨、大雪などの災害の情報や防災減災に役立つ情報、それに子育てや消費生活など暮らしの安心情報をお伝えします（利用規約: https://t.co/a9FXMnqQtN フォローについて:https://t.co/99rLDYYSkj )

yooooooooooo YOOOOOOOOOOOOOOOOOOOO

Kisu @Kisu_Morrow

454 Followers 344 Following yooooooooooo YOOOOOOOOOOOOOOOOOOOO

立命館大学政策科学部教授。主著に『コミュニティの幸福論』『福祉NPO・社会的企業の経済社会学』（日本NPO学会優秀賞）。最近の研究は読書社会学，質的研究法，ボランティア等。 ※アイコンはねこ画伯コハクちゃん @kohacu_chan

Masanari Sakurai @wagashi_no_yosa

8K Followers 2K Following 立命館大学政策科学部教授。主著に『コミュニティの幸福論』『福祉NPO・社会的企業の経済社会学』（日本NPO学会優秀賞）。最近の研究は読書社会学，質的研究法，ボランティア等。 ※アイコンはねこ画伯コハクちゃん @kohacu_chan

料理動画を作っています。
【SNS各種】https://t.co/j1LC5JpVmE
ヘッダーは@38_miyamaさん

ロウアイキュー @IowlQ

105K Followers 12 Following 料理動画を作っています。【SNS各種】https://t.co/j1LC5JpVmE ヘッダーは@38_miyamaさん

/user/Google_Think/東北大/
├─ UG: 数学科
├─ PG: 数学専攻
└─ 興味/
　　├─ AI
　　├─ 圏論 ×トポロジー/
　　│　├─ 量子力学
　　│　└─ TQFT
　　├─ 変形理論/
　　│　└─ 変形量子化
　　└─ etc

千代古黎糖 @Google_Think

1K Followers 1K Following /user/Google_Think/東北大/ ├─ UG: 数学科 ├─ PG: 数学専攻 └─ 興味/ 　　├─ AI 　　├─ 圏論 ×トポロジー/ 　　│　├─ 量子力学　　│　└─ TQFT 　　├─ 変形理論/ 　　│　└─ 変形量子化　　└─ etc

関数型プログラミングのカンファレンス、関数型まつりの公式アカウントです。

関数型まつり2025は6月14日〜6月15日に開催予定です。

ハッシュタグ: #fp_matsuri

関数型まつり @fp_matsuri

976 Followers 2 Following 関数型プログラミングのカンファレンス、関数型まつりの公式アカウントです。関数型まつり2025は6月14日〜6月15日に開催予定です。ハッシュタグ: #fp_matsuri

FF外から挨拶なしタメ語で話しかけて大丈夫です
物理・数学「セオラゴ」→https://t.co/gfterIFGIX
統計検定準一級
日商簿記三級
応用情報
AtCoder水色(Rust)

岡竜之介 @agajo

1K Followers 5K Following FF外から挨拶なしタメ語で話しかけて大丈夫です物理・数学「セオラゴ」→https://t.co/gfterIFGIX 統計検定準一級日商簿記三級応用情報 AtCoder水色(Rust)

neuroevolutus @neuroevolutus

21 Followers 3K Following

等身大ロボとか作ってる人です。好物は科学全般。ボーカロイド、VTuber、アニメすき。足立レイ＆合成音声開発中！
日本大学理工学研究科精密機械工学専攻
メカニカルガール代表　　ニコニコ→https://t.co/eAph43cyBm
youtube→https://t.co/CxkGZy2DXP

みさいる @missile_39

61K Followers 735 Following 等身大ロボとか作ってる人です。好物は科学全般。ボーカロイド、VTuber、アニメすき。足立レイ＆合成音声開発中！日本大学理工学研究科精密機械工学専攻メカニカルガール代表　　ニコニコ→https://t.co/eAph43cyBm youtube→https://t.co/CxkGZy2DXP

くるぶし（読書猿の中の人：一人でやってます）
5/23 新刊『ゼロからの読書教室』 https://t.co/3sV7JbmCJ8
『ライティングの哲学』（共著）。『独学大全』。『問題解決大全』『アイデア大全』。
外部への無断転載禁止

読書猿 5/23 新刊... @kurubushi_rm

58K Followers 10K Following くるぶし（読書猿の中の人：一人でやってます） 5/23 新刊『ゼロからの読書教室』 https://t.co/3sV7JbmCJ8 『ライティングの哲学』（共著）。『独学大全』。『問題解決大全』『アイデア大全』。外部への無断転載禁止

九州大学言語学講座下地理則のアカウントです。教員の履歴書（業績・教歴・学位etc.）はこちら→https://t.co/hCEAoWtPUp 最新著書はこちら→https://t.co/XvNNKzM84O… コラムはこちら→https://t.co/Iov7jl3d61

九州大学下地�... @shimojizemi

4K Followers 331 Following 九州大学言語学講座下地理則のアカウントです。教員の履歴書（業績・教歴・学位etc.）はこちら→https://t.co/hCEAoWtPUp 最新著書はこちら→https://t.co/XvNNKzM84O… コラムはこちら→https://t.co/Iov7jl3d61

ブルボン、たかぴー、たかむー、たかむ、ドアラー、ファブリー／空き缶で綿菓子をつくってたり、MathML関連のものとかを日本語訳したり、どうでもいいことをつぶやいたりしてる人

たかむ〜 @y_takamu

164 Followers 278 Following ブルボン、たかぴー、たかむー、たかむ、ドアラー、ファブリー／空き缶で綿菓子をつくってたり、MathML関連のものとかを日本語訳したり、どうでもいいことをつぶやいたりしてる人

セキュリティインコです🐣Podcast #セキュリティのアレに参加中🎤よろしくお願いします🐦プロフィール画像はアレティ(@aren0_e)さんに描いて頂きました😃
海外ニュースはBlueskyで発信中です https://t.co/US6KYUmWtA

piyokango @piyokango

41K Followers 36 Following セキュリティインコです🐣Podcast #セキュリティのアレに参加中🎤よろしくお願いします🐦プロフィール画像はアレティ(@aren0_e)さんに描いて頂きました😃 海外ニュースはBlueskyで発信中です https://t.co/US6KYUmWtA

Functional programming and type theory enthusiast #Haskell #Agda. They/Them

mastodon: https://t.co/yi842YCJhb
bluesky: @anka213.bsky.social

LambdaDuck @Anka213

4K Followers 1K Following Functional programming and type theory enthusiast #Haskell #Agda. They/Them mastodon: https://t.co/yi842YCJhb bluesky: @anka213.bsky.social

漢検準一級応用情報エルデシュ数5 いっぱい数学イベントに参加したい！興味あるイベント：ロマンティック数学ナイト/日本お笑い数学協会/日曜数学会/数学カフェ/プログラマのための数学勉強会/MATH POWER/数学デー/KIOI STEAM LAB/すうがく徒のつどい/数物セミナー/数学ミニプレゼン/むぐむぐ勉強会

ヘカテー @HKTmine

2K Followers 3K Following 漢検準一級応用情報エルデシュ数5 いっぱい数学イベントに参加したい！興味あるイベント：ロマンティック数学ナイト/日本お笑い数学協会/日曜数学会/数学カフェ/プログラマのための数学勉強会/MATH POWER/数学デー/KIOI STEAM LAB/すうがく徒のつどい/数物セミナー/数学ミニプレゼン/むぐむぐ勉強会

結晶作りや鉱物•宝石集めが趣味です💎 つくった結晶や集めた石をマイペースにUPしていこうと思います！結晶づくりの動画をYoutubeにて投稿中

manzana @manzana70793576

2K Followers 48 Following 結晶作りや鉱物•宝石集めが趣味です💎 つくった結晶や集めた石をマイペースにUPしていこうと思います！結晶づくりの動画をYoutubeにて投稿中

等身大キャラクター用ヒューマノイドロボット、第三世代試作0号機。ボディ開発中。合成音声ライブラリも開発中。マルコフ連鎖bot実験中。TLを素材にしてツイートを自動生成します。
公式ページっぽいとこ⇒https://t.co/rnJ9DDdhkq

足立レイ @adachirei0

100K Followers 287 Following 等身大キャラクター用ヒューマノイドロボット、第三世代試作0号機。ボディ開発中。合成音声ライブラリも開発中。マルコフ連鎖bot実験中。TLを素材にしてツイートを自動生成します。公式ページっぽいとこ⇒https://t.co/rnJ9DDdhkq

deep_unlearning @deep_unlearning

120 Followers 2K Following

携帯動画変換君の作者で、3DアバターフォーマットVRMを作った人。ドワンゴでのAR/VR・イベント映像演出の研究開発から、株式会社バーチャルキャストへ。その後VC社からスピンアウトでPOPOPO株式会社を設立。株式会社バーチャルキャストCTO・POPOPO株式会社代表・VRMコンソーシアム理事、技術委員長

MIRO @MobileHackerz

23K Followers 221 Following 携帯動画変換君の作者で、3DアバターフォーマットVRMを作った人。ドワンゴでのAR/VR・イベント映像演出の研究開発から、株式会社バーチャルキャストへ。その後VC社からスピンアウトでPOPOPO株式会社を設立。株式会社バーチャルキャストCTO・POPOPO株式会社代表・VRMコンソーシアム理事、技術委員長

🇯🇵🇰🇷語教育者/在韓2001~2018/日韓夫婦/서울대박사과정수료（한국어교육）/帝塚山学院大学准教授(韓国語専攻)/街歩き/映画館愛好家/特撮/リプ率低め/さだまさし＆TWICE/投稿は個人の感想(所属団体と無関係)/RT必ずしも同意ならず/中国語学習者(HSK5)/我は湖の子かけっことびっこ元気っ子

ゆうき 유욱희 @yuki7979seoul

65K Followers 1K Following 🇯🇵🇰🇷語教育者/在韓2001~2018/日韓夫婦/서울대박사과정수료（한국어교육）/帝塚山学院大学准教授(韓国語専攻)/街歩き/映画館愛好家/特撮/リプ率低め/さだまさし＆TWICE/投稿は個人の感想(所属団体と無関係)/RT必ずしも同意ならず/中国語学習者(HSK5)/我は湖の子かけっことびっこ元気っ子

空気吸い放題かつトイレ行き放題の研究室で研究をしています．京都大学の大学院情報学研究科通信情報システムコースの准教授もしています．ソフトウェアやらなんやらの検証手法とかやってます．お仕事のご依頼は https://t.co/hKHA5HXMQF のメールアドレスまで．

Kohei Suenaga @ksuenaga

2K Followers 842 Following 空気吸い放題かつトイレ行き放題の研究室で研究をしています．京都大学の大学院情報学研究科通信情報システムコースの准教授もしています．ソフトウェアやらなんやらの検証手法とかやってます．お仕事のご依頼は https://t.co/hKHA5HXMQF のメールアドレスまで．

ハードコアゲーマーのための情報サイト「Game*Spark」公式アカウント。最新ゲームのニュースをお届け！

ゲーム動画＆スクショ供養部屋：https://t.co/5ujl9yzJEw…

⚡Game*Spark⚡ @gamespark

160K Followers 12K Following ハードコアゲーマーのための情報サイト「Game*Spark」公式アカウント。最新ゲームのニュースをお届け！ゲーム動画＆スクショ供養部屋：https://t.co/5ujl9yzJEw…

kumagi @kumagi_bot

898 Followers 64 Following RDBMSの奈落の底で待つ。

「世界をアップデートする方法　哲学・思想の学び方」https://t.co/si7bdKdKL4
食糧問題の本https://t.co/ra7ydidq2S
思考法の本https://t.co/a7T0xW4U7N
イノベーション本https://t.co/fXao7sj4BA
子育て本https://t.co/nOkX05cNeR
部下育成本https://t.co/9cqaQfolNO

shinshinohara @ShinShinohara

145K Followers 226 Following 「世界をアップデートする方法　哲学・思想の学び方」https://t.co/si7bdKdKL4 食糧問題の本https://t.co/ra7ydidq2S 思考法の本https://t.co/a7T0xW4U7N イノベーション本https://t.co/fXao7sj4BA 子育て本https://t.co/nOkX05cNeR 部下育成本https://t.co/9cqaQfolNO

Independent Agile Coach (CSP-SM), SW Engineering Researcher / SE4ML, MLSys, 機械学習工学研究会（@mlse_jssst）/ Amazonアソシエイト / not X, but Twitter / Opinions are my own

takeo @bonotake

2K Followers 1K Following Independent Agile Coach (CSP-SM), SW Engineering Researcher / SE4ML, MLSys, 機械学習工学研究会（@mlse_jssst）/ Amazonアソシエイト / not X, but Twitter / Opinions are my own

“Categorical” type theory

Taichi Uemura @t_uemura669101

966 Followers 359 Following “Categorical” type theory

Totally normal middle-aged family man.

James Brock @jamesdbrock

593 Followers 821 Following Totally normal middle-aged family man.

Math and Programming. This Semester I am thinking about : Lie Groups and Algebras, Moduli Spaces and PDE. Trying to change the wat we take notes using Computers

Kento Okura @kento_okura

15 Followers 239 Following Math and Programming. This Semester I am thinking about : Lie Groups and Algebras, Moduli Spaces and PDE. Trying to change the wat we take notes using Computers

rarely do actual things

kaguya houraisan @kaguyamoe

150 Followers 146 Following rarely do actual things

東北大学名誉教授
Ph.D., University of Pennsylvania
SML# アーキテクト・共同開発者．
プログラミング言語の研究教育に従事
「大堀淳の計算機科学チャネル」で講義ビデオを配信

Atsushi Ohori （大�... @AtsushiOhori

2K Followers 655 Following 東北大学名誉教授 Ph.D., University of Pennsylvania SML# アーキテクト・共同開発者．プログラミング言語の研究教育に従事「大堀淳の計算機科学チャネル」で講義ビデオを配信

itoooak @itoooak

82 Followers 613 Following

絵を描いたり小説を書いたりする趣味人
カクヨムにて「バ美肉チート吸血鬼VTuber爆誕！」連載中
https://t.co/LdLPx5yRVf
pixiv https://t.co/XYYTeKhafk

たまやん2nd @tamayan2nd

29K Followers 375 Following 絵を描いたり小説を書いたりする趣味人カクヨムにて「バ美肉チート吸血鬼VTuber爆誕！」連載中 https://t.co/LdLPx5yRVf pixiv https://t.co/XYYTeKhafk

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

GitHub @github

2.6M Followers 327 Following The AI-powered developer platform to build, scale, and deliver secure software.

A book for the new, the old and the undiscovered programmer. By @renzocarbonara.

A Type of Programming @atopbook

2K Followers 2K Following A book for the new, the old and the undiscovered programmer. By @renzocarbonara.

Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM

Type Theory Forall @ttforall

4K Followers 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM

PhD student in pure mathematics (category theory, non-additive non-abelian homological algebra)

Vadim Leshkov @bewrrrie

35 Followers 462 Following PhD student in pure mathematics (category theory, non-additive non-abelian homological algebra)

情報学研究科/男/計算, 意味, 論理/web開発

mineel @mineel5

595 Followers 590 Following 情報学研究科/男/計算, 意味, 論理/web開発

PGP: F2FC 63C2 42C0 4D9D
DMはPGPで送るか https://t.co/ejNiYxeYUE へお願いします。
『Scalaわいわいランド』共同主宰

Windymelt🚀❤️�... @windymelt

3K Followers 2K Following PGP: F2FC 63C2 42C0 4D9D DMはPGPで送るか https://t.co/ejNiYxeYUE へお願いします。『Scalaわいわいランド』共同主宰

夢を抱きしめろ Embrace your dreams.｜日JA (N1)・英EN・λHaskell｜ｱ▮▮ﾞﾐｽﾄ｜音ゲー｜ trans rights

Ben Orchard @raehik

287 Followers 1K Following 夢を抱きしめろ Embrace your dreams.｜日JA (N1)・英EN・λHaskell｜ｱ▮▮ﾞﾐｽﾄ｜音ゲー｜ trans rights

fabiohhto 🎲 @0xfabiosje

1K Followers 6K Following

phd @ rosenberg lab. trying to do math

егор @egor_lappo

284 Followers 858 Following phd @ rosenberg lab. trying to do math

株式会社NextInt 代表
著書「ChatGPT攻略」
共著「仕事ではじめる機械学習」「データサイエンティスト養成読本ビジネス活用編」

データ分析、コンサル、ゲームディレクター、技術顧問、企業での研修・講演などで出稼ぎ労働中。お仕事相談はDMからどうぞ。
https://t.co/tVqt57jKEO

ところてん @tokoroten

41K Followers 5K Following 株式会社NextInt 代表著書「ChatGPT攻略」共著「仕事ではじめる機械学習」「データサイエンティスト養成読本ビジネス活用編」データ分析、コンサル、ゲームディレクター、技術顧問、企業での研修・講演などで出稼ぎ労働中。お仕事相談はDMからどうぞ。 https://t.co/tVqt57jKEO

0x1Bさいのwebえんじにゃ💻
楽器演奏がすき 🎹🎸🥁🎷
あとドライブも好き🚗(ND 35th)

ぴくすふぁんく @pxfnc

830 Followers 829 Following 0x1Bさいのwebえんじにゃ💻 楽器演奏がすき 🎹🎸🥁🎷 あとドライブも好き🚗(ND 35th)

編集者／だいたいニコニコしています／Fav→／大屋雄裕／鴻上尚史／東浩紀／士郎正宗／西原理恵子／伊坂幸太郎／みなもと太郎／中村珍／リアル脱出ゲーム／まどマギ／嵐／おかざき真里／ゆうきまさみ／羽海野チカ／末次由紀／小山宙哉／内藤泰弘／篠原健太／清少納言／羽生結弦／FGO／葦原大介／杉田圭／山本淳子／御用はリプ→DMで

たられば @tarareba722

227K Followers 817 Following 編集者／だいたいニコニコしています／Fav→／大屋雄裕／鴻上尚史／東浩紀／士郎正宗／西原理恵子／伊坂幸太郎／みなもと太郎／中村珍／リアル脱出ゲーム／まどマギ／嵐／おかざき真里／ゆうきまさみ／羽海野チカ／末次由紀／小山宙哉／内藤泰弘／篠原健太／清少納言／羽生結弦／FGO／葦原大介／杉田圭／山本淳子／御用はリプ→DMで

naoya @naoya_ito

43K Followers 2K Following

Technologist • Software engineer • Engineering leader • Product developer • Photographer • Swimmer • Japanophile • Lover of beautiful things.

Nadeem Bitar @shinzui

568 Followers 1K Following Technologist • Software engineer • Engineering leader • Product developer • Photographer • Swimmer • Japanophile • Lover of beautiful things.

Violoncellista y programador.

@_letrec@mathstodon.xyz

Ignacio @_letrec

140 Followers 1K Following Violoncellista y programador. @[email protected]

Default enabled language extensions for GHC2031.

ghc2031 @ghc2031

250 Followers 1 Following Default enabled language extensions for GHC2031.

There's no sense crying over every mistake.
You just keep on trying till you run out of cake.
- GLaDOS
https://t.co/70SfmxnROe
https://t.co/p6LXXU7dGH

Prophet @welltypedwitch

3K Followers 544 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/p6LXXU7dGH

“若逢新雪初霁，满月当空，下面平铺着皓影，上面流转着亮银，而你带笑地向我走来，月色与雪色之间，你是第三种绝色。” ——节选自余光中;
若批评不自由,则赞美无意义。

Scala rocks! , ex @RedHat/@GoIvanti

Erik Yan @syan

121 Followers 3K Following “若逢新雪初霁，满月当空，下面平铺着皓影，上面流转着亮银，而你带笑地向我走来，月色与雪色之间，你是第三种绝色。” ——节选自余光中; 若批评不自由,则赞美无意义。 Scala rocks! , ex @RedHat/@GoIvanti

No recent Favorites. New Favorites will appear here.

Trends for United States

Billy Napier

9.494 posts

Clemson

16,5 B posts

Michigan

97,5 B posts

Gators

13,1 B posts

#AEWCollision

8.552 posts

Troy

18,2 B posts

Underwood

4.713 posts

Bulls

22 B posts

Lagway

4.429 posts

Gainesville

4.009 posts

Chip Lindsey

Mateer

3.011 posts

Oklahoma

21,3 B posts

#GoBlue

3.540 posts

Alex Golesh

1.327 posts

Nick Marsh

Austin Mack

Sam Leavitt

Stanek

EDDIE KINGSTON

1.171 posts

You might like

Windymelt🚀❤️�...

スマートコン

Kazutaka Matsuda

@KazutakaMatsuda

デジタル競争の...

入田関太郎

@lambda_funtaro

ぴくすふぁんく