画力・博士号・... @bd_gfngfn
8K Followers 5K Following
解釈をしたがらず手を動かす @en_gfngfn @4gfn https://t.co/7yttH4xu38 🌾🍉
kmizu
@kmizu
15K Followers 6K Following
A Software Engineer in Osaka (& Kyoto). Ph.D. in Engineering.
Interests: Parsers, Formal Languages, etc.
ツイートは所属先の見解と関係ありません.思いついたことをつぶやきます.人生を楽しく生きよう(New!)
hikalium @hikalium
13K Followers 1K Following
Fully-stuck Operating System Software Engineer at Google ( ChromeOS ) / 早大情報理工←学芸大附高 / WasabiOS / https://t.co/2C4XlSy922 / Opinions are my own
Hideyuki Tanaka
@tanakh
28K Followers 10K Following
今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。SuperCon2000優勝/ICPC2004,2005アジア大会優勝/ICFPC2010優勝,2019審査員賞/第一回京都大学総長賞/すごいHaskell/カレーマイスター https://t.co/QiEzHucCcp https://t.co/p1UCYyrjmh
専門性・売上・... @golden_lucky
7K Followers 971 Following
鹿野桂一郎。ラムダノート https://t.co/VQBjVCZtlX という計算機好きのための出版社をやっています。脈略なく本の宣伝をするアカウント。 https://t.co/zIWMl5aO0e
Kory @Kory__3
4K Followers 1K Following
@rarun0705 とかわいいとプログラムと計算機が好き.
Icon by: @soleil_paint
VRC: Kory / こりー | Discord: kory33 | 鍵: @.Kory__3_key | @[email protected]
電子計算機の沼
@Hishinuma_t
8K Followers 2K Following
博士(情報学),疎行列とHPCが専門,エルデシュ数4,SB Intuitions←braid← 某スマホメーカ ← RICOS ← PEZY Computing.数値計算の専門家だった。 ゴマちゃんと妻と娘が好き.発言は所属と関係ない
くまぎ
@kumagi
19K Followers 8K Following
そうさ。鉄砲玉(スタビーマン)は神殺しのパケット。
聖なるprotobufを神殺加工(encrypt)した殺傷力バリバリの完全被服弾(gRPC request stream)が、威張り散らかす超根源(SR)を粉砕(クラッシュ)する。
そういう類の喧嘩が、この世にはある。
江添亮 @EzoeRyou
18K Followers 7K Following
夏は東京でクライミング。
冬は白馬村でスノーボード。
GitHub: https://t.co/JaDgsD01LX
YouTube: https://t.co/K3wH0S9NNF
はすじょい (hsjo...
@hsjoihs
11K Followers 8K Following
セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師;東大既仏→Stanford 学部・修士卒業;NandGame和訳;Turing Complete 和訳中;ZEN大学教員予定(オートマトンと形式言語理論や論理回路の上手い教え方を考える業務)@sosoBOTpi と同一
トデス子'\ @todesking
15K Followers 6K Following
Scala, Rust, TypeScriptなどをやる。おおむね有職ですがオポチュニティに関する情報は随時募集しています。
sksat @sksat_tty
6K Followers 5K Following
宇宙・低レイヤ・百合がすき.最近はArkEdge Space Inc.で超小型人工衛星を作ったり,大学生をしたりしなかったりしている.起床と手続きが苦手.
Kazuho Oku @kazuho
28K Followers 2K Following
lead developer of H2O HTTP server / works at @fastly / HTTP, TLS, QUICといった通信プロトコルを実装したり、国際標準化にたずさわったり。ダジャレをつぶやきつつ、インターネットを速くするのが仕事です
エヌユル
@ncaq
6K Followers 3K Following
#Haskell #Emacs
{データベース,ネットワーク,情報セキュリティ}スペシャリスト
🈚️うひょ🤪�... @uhyo_
13K Followers 2K Following
👨💻駆け出し TypeScript 5.9 エンジニア✨ it/it.
🤓TechFeed公認エキスパート
🐺月下人狼🚶♂️https://t.co/TFIkctYMdB
💻IS15er/CS17er|🏮元103
『プロを目指す人のためのTypeScript入門』好評販売中
Mellow Launch @mellow_launch
565 Followers 2K Following
はじめまして。
ライトノベル、音楽制作、動画制作をやってます♪
デジマ、システム業界で15年以上、外資系のSaaS企業や日系の大手IT企業にてソリューションアーキテクトやプロジェクトマネージャーとして、多くの企業のIT導入やデータ基盤構築を支援してます。
kei
@thelissimus
673 Followers 406 Following
Type Theory, Compiler Engineering and Formal Methods
型理論・コンパイラ工学・形式手法
anthem @yasai_murasaki
152 Followers 2K Following
例: プロフィール文 「語学・言語学・文字好き。多言語でポスト。多趣味: 料理、音楽・楽器、カメラ修理など。気軽にフォロー♪」 この分析であなたらしさが反映されたはず!追加希望があれば教えてください。
かびぼうず / 9�... @kabibouzu
1K Followers 2K Following
かび。かびなので元はネットワーク屋さんだし、リアルアグリコラだし、ドミニオンとかボードゲームとか電源ゲームとかもやったりする。俺のルカが可愛くない訳がないんじゃなイカ? あと、(スープ)カレー ハースストーン Asia:kabibouzu#1959
ゴッドファーザ... @u5_h_
739 Followers 1K Following
6000年に1人のアジアプログラマ。ex-iij nginx-module-vts collaborator 発言は個人のもので、所属とは関係ないでーす。
やみぃ @yammy_s
152 Followers 687 Following
好きなもの:アニメ・特撮、ゲーム、HR/HM、唄うこと
好きなボーカリスト:二井原実、下山武徳、高谷学、久保田陽子、人見元基、米倉利紀、David Coverdale、Ronnie James Dio、Graham Bonnet (順不同)
きっちー @rikeden_net
880 Followers 454 Following
IS23er
JL1HBG/ニコニコ技術部/電子工作/プログラミング/ ブログはこちら 理系男子の電子工作 https://t.co/ZISvjOX6gB
petamoriken / 森建 @petamoriken
746 Followers 1K Following
WebDev / ES2025 Float16Array ponyfill author / I love Deno 🦕 & Web Standards 🌐 / @kimamass backseat / Opinions are my own / FANBOX https://t.co/clB4mHuJCM
cjp @cjpatc
28 Followers 40 Following
競プロアカウント
Haskell専
https://t.co/GPnHL8SlwH
sh1ma @sh1ma
163 Followers 241 Following
Software Engineer / 興味: ソフトウェア設計, リバースエンジニアリング, IoT, アクセシビリティ, Web
さきさか @_n_s_7_
728 Followers 669 Following
同人ゲーム制作サークルLASTSOFT主宰、『レプリカ』制作中。
仲崎早凪名義で同人デザイン。
Boost C++ Libraries メンテナ(担当:Spirit)。
趣味:作編曲・デザイン・プログラミング・漫画・PCゲーム。
えとある🎃ろ�... @EtoAl
1K Followers 1K Following
SH/LH/Revo からの供給で情緒を狂わされる一般国民。ウチュウチョットワカル🪐
@n1026kt @N1026kt
623 Followers 7K Following
ユーザーネームの英字だけとって後ろから読むとつくねです。オオナヅチ推しです。よろです
_Naoki @_Naoki_Program
123 Followers 223 Following
ゲームエンジンとかゲーム作ってます。
DirectX12勉強中...
GitHub: https://t.co/fyvjgGEiQz
北窓 @seasawher
24 Followers 43 Following
ポンコツ数学徒。最近のマイブームは Lean 言語。
n 月刊ラムダノートの Lean の記事の著者。
貝 @mat1_naka
46 Followers 2K Following
皆様のポストが心の支え。
🛏…💻⚙️🖥️🌐🌎🐧⚾🏀🦌🐈🫠🍺🍜🍛🥗🐇🐚🦦🦦🌊…🛏
-------------------------------------------------------------------------
大野周平 Shuhei O...
@ohnolab
991 Followers 952 Following
RIKEN / YCU / Few-Body Systems Physics / #JuliaLang / #academistPrize / Cello🎻
okkuu @okkuu_NMB
535 Followers 339 Following
NMBはno more blocking(もうブロックしない)の意
競プロが好き(AtCoder…2339)
巨大数が好き(元世界最強)
TSFが好き
uts1-36🇫🇷B1
駒場理数サークル&TSG
あっきー @akky_piko
511 Followers 655 Following
プログラミング言語が好き アイコンはさはらくんに描いてもらいました
あさしん @_vjl2
1K Followers 1K Following
Algebra/ #spm28 #spm29th 圏論1
画力・博士号・... @bd_gfngfn
8K Followers 5K Following
解釈をしたがらず手を動かす @en_gfngfn @4gfn https://t.co/7yttH4xu38 🌾🍉
Rui Ueyama @rui314
52K Followers 345 Following
Googleソフトウェアエンジニア / スタンフォード大学院コンピュータサイエンス→投資生活→スタートアップ創業 Open-source dev. ex-@Google. MS/CS at Stanford. Creator of the mold and lld linkers.
kmizu
@kmizu
15K Followers 6K Following
A Software Engineer in Osaka (& Kyoto). Ph.D. in Engineering.
Interests: Parsers, Formal Languages, etc.
ツイートは所属先の見解と関係ありません.思いついたことをつぶやきます.人生を楽しく生きよう(New!)
V
@voluntas
25K Followers 484 Following
ラムダノート 株主 / Let’s Encrypt シルバースポンサー / DuckDB Foundation シルバーサポーター / Twitch テクノロジーパートナー
KOBA789 @KOBA789
10K Followers 2K Following
YouTuber(SWE)
https://t.co/68Oq84qcwZ
sat
@satoru_takeuchi
25K Followers 93 Following
Rook(メンテナ)/TopoLVM(メンテナ)
「Linuxのしくみ 」著者
https://t.co/YFiXtxxkef
youtube
https://t.co/p0tfQ1ziRX
hikalium @hikalium
13K Followers 1K Following
Fully-stuck Operating System Software Engineer at Google ( ChromeOS ) / 早大情報理工←学芸大附高 / WasabiOS / https://t.co/2C4XlSy922 / Opinions are my own
Hideyuki Tanaka
@tanakh
28K Followers 10K Following
今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。SuperCon2000優勝/ICPC2004,2005アジア大会優勝/ICFPC2010優勝,2019審査員賞/第一回京都大学総長賞/すごいHaskell/カレーマイスター https://t.co/QiEzHucCcp https://t.co/p1UCYyrjmh
専門性・売上・... @golden_lucky
7K Followers 971 Following
鹿野桂一郎。ラムダノート https://t.co/VQBjVCZtlX という計算機好きのための出版社をやっています。脈略なく本の宣伝をするアカウント。 https://t.co/zIWMl5aO0e
Kory @Kory__3
4K Followers 1K Following
@rarun0705 とかわいいとプログラムと計算機が好き.
Icon by: @soleil_paint
VRC: Kory / こりー | Discord: kory33 | 鍵: @.Kory__3_key | @[email protected]
電子計算機の沼
@Hishinuma_t
8K Followers 2K Following
博士(情報学),疎行列とHPCが専門,エルデシュ数4,SB Intuitions←braid← 某スマホメーカ ← RICOS ← PEZY Computing.数値計算の専門家だった。 ゴマちゃんと妻と娘が好き.発言は所属と関係ない
くまぎ
@kumagi
19K Followers 8K Following
そうさ。鉄砲玉(スタビーマン)は神殺しのパケット。
聖なるprotobufを神殺加工(encrypt)した殺傷力バリバリの完全被服弾(gRPC request stream)が、威張り散らかす超根源(SR)を粉砕(クラッシュ)する。
そういう類の喧嘩が、この世にはある。
江添亮 @EzoeRyou
18K Followers 7K Following
夏は東京でクライミング。
冬は白馬村でスノーボード。
GitHub: https://t.co/JaDgsD01LX
YouTube: https://t.co/K3wH0S9NNF
azu @azu_re
21K Followers 758 Following
JavaScriptな人です。セキュリティネタも好きです。 https://t.co/NsD2KXWFYr というサイトもやっています。 textlint作ってます。
https://t.co/TqRqRbYOnd
https://t.co/FhFZSdyneG
https://t.co/uMItLK7Gg7
はすじょい (hsjo...
@hsjoihs
11K Followers 8K Following
セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師;東大既仏→Stanford 学部・修士卒業;NandGame和訳;Turing Complete 和訳中;ZEN大学教員予定(オートマトンと形式言語理論や論理回路の上手い教え方を考える業務)@sosoBOTpi と同一
Kuniwak @orga_chem
3K Followers 1K Following
Formal Methods Learner (2019-), Software Engineer in Test (2018-), iOS/Web app developer, Git Challenge Problem Author (-2018), Nature ambassador. /kɯɲiːwʌk/
その🪶 @_ksoda
389 Followers 596 Following
🎛️, Logic, (Software) Systems
- 🥃☕を減らす
cjp @cjpatc
28 Followers 40 Following
競プロアカウント
Haskell専
https://t.co/GPnHL8SlwH
とみながたけひ... @takehiro_t
2K Followers 992 Following
科学技術一般とフィギュアスケートを愛する物好きエンジニアです。エンジンはいじれませんが。LAME(mp3エンコーダでない何か、https://t.co/JGWDbDzr7C)のかなりの部分を書いてたりしました。既婚子有り1974年生まれメーカー勤務。呟きは個人のもので所属団体他に関係しません。アイコン写真はバンクーバー五輪観戦時
さきさか @_n_s_7_
728 Followers 669 Following
同人ゲーム制作サークルLASTSOFT主宰、『レプリカ』制作中。
仲崎早凪名義で同人デザイン。
Boost C++ Libraries メンテナ(担当:Spirit)。
趣味:作編曲・デザイン・プログラミング・漫画・PCゲーム。
スドー🍞 @stdaux
56K Followers 306 Following
電羊法律事務所 平野敬(第二東京弁護士会)/インターネッツとかシステム開発とか
catnose
@catnose99
34K Followers 576 Following
デザインが好きなソフトウェアエンジニア。 個人でいろいろ作って生きてる。https://t.co/HwUs4ILHd3の立ち上げ→ 譲渡 → https://t.co/BckBJGSxAJ / https://t.co/O1i0DNfic4
JSer.info @jser_info
4K Followers 1 Following
世界のJavaScript情報を紹介しています。
Maintained by @azu_re
Mastodon: https://t.co/udoamxUsFy
尾瀬小屋【尾瀬...
@ozegoya
28K Followers 25 Following
【National Park🇯🇵】 【尾瀬写真https://t.co/x51CctiP3q】【標高1420m・お花に囲まれた本州最大の高層湿原🌿】 【至仏山を眺めながら📷️歩いた後の山小屋グルメ🍴】 【植物・星空観察/朝霧/白虹/草紅葉】一度は見たい日本の景色🌳
sosuke @__sosukesuzuki
5K Followers 501 Following
Systems Engineer at @bunjavascript,
Maintainer @PrettierCode,
@WebKit Reviewer
https://t.co/Mp3xjV9dwo
Kazuho Oku @kazuho
28K Followers 2K Following
lead developer of H2O HTTP server / works at @fastly / HTTP, TLS, QUICといった通信プロトコルを実装したり、国際標準化にたずさわったり。ダジャレをつぶやきつつ、インターネットを速くするのが仕事です
かふぉすら (capr... @caphosra
244 Followers 221 Following
数学は下手の横好き
静的解析 / 型 / 処理系 / CTF rev pwn / ut B4 IS24er / seccamp '23 C / TSG / tk70
Takashi Miyamoto @tmiya_
2K Followers 2K Following
関数型言語/定理証明、機械学習、自然言語処理に興味があります。発言は所属する組織とは関係のない個人の見解です --- って書いておけばいいんだよね?
tweet やいいねができなくなりました。
避難先 : tmiya at mathtod dot online です。
くりした善行 (Z...
@zkurishi
47K Followers 9K Following
Zenko Kurishita/表現の自由 Fight Against Censorship/都議2期→22年参院選全国比例/24年不健全図書の改称を漫画家有志の方々と実現/【著書📚】「クレカ規制を止める本」「マンガ規制の歴史」「なぜゲームは規制されるのか」/テネシー大卒/Anime Manga Game etc.
Go Kudo / ぜり
@zeriyoshi
903 Followers 504 Following
パソコンカタカタとキーボードすき ポストは全て個人の見解であり、いかなる会社、組織とも関係なく、それらの公式な見解を示すものでもありません
Manabu Ori
@orimanabu
1K Followers 1K Following
Red Hatというオープンソースな会社でコンサルタントの仕事をしています。つぶやきの内容は私個人の見解であり、必ずしも所属組織の立場、戦略、意見を代表するものではありません。と書いておかないといけないそうです。
山田太郎 ⋈(�...
@yamadataro43
117K Followers 3K Following
元文部科学大臣政務官・復興大臣政務官/デジタル大臣政務官。東証マザーズ上場企業創業社長。東大・早大・東工大などで特任教授等歴任。専門は表現の自由と通信の秘密とデジタル政策、こども政策、花粉症等。こども政策特化アカウント【@yamadataro_CF】 #山田太郎 #表現の自由
lagénorhynque🐬カ... @lagenorhynque
1K Followers 2K Following
「楽しく楽にクールにスマートに」を理想とするprogrammer/philosopher/liberalist/realist。好きな言語はClojure, Haskell, Elixir, English, français, русский。読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬
okkuu @okkuu_NMB
535 Followers 339 Following
NMBはno more blocking(もうブロックしない)の意
競プロが好き(AtCoder…2339)
巨大数が好き(元世界最強)
TSFが好き
uts1-36🇫🇷B1
駒場理数サークル&TSG
Tweag
@tweagio
6K Followers 244 Following
The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Serokell @serokell
7K Followers 5K Following
The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Edward Kmett
@kmett
16K Followers 822 Following
Founder/Chief Scientist @Positron_AI
Haskell, category theory, AI, and safety.
https://t.co/wYaTDISbEB
https://t.co/XwbnuaOUzq
🦋 @kmett.ai
shi3z
@shi3z
24K Followers 2K Following
ハッカー / テクニカルエンスージアスト / UberEats配達員(休業中)
FreeAI ltd.共同創業者 https://t.co/bR3HB50oEm
YouTubeチャンネル https://t.co/uehRd4G46M
ゆきくらげ ଳ @yukikurage_2019
1K Followers 1K Following
ファイヤー
ଳ ゲーム🎮 @stellagate_traP
ଳ 音楽 🎵 https://t.co/8u1KEzZBdq
ଳ イラスト 🎨 https://t.co/o9QiXy4K31
ଳ Skeb https://t.co/LlmGRvKHoq
ଳ くらげ鯖 https://t.co/tG0YoOmU08
lestroarmonico @mathraphsody
2K Followers 567 Following
数学・表現論・リー群とリー環,著書:フリーズの数学 スケッチ帖・多項式のラプソディー・代数群と軌道・幾何学と不変量・射影幾何学の考え方,フォロワーは相互フォローできる人のみ.原則鍵垢不可.
Representation Theory, Lie Groups & Lie algebras, Frieze Patterns
N.Y(6/7 ZINEフェス...
@N_Y_Big_Apple
8K Followers 9K Following
理系のはず。 サクソフォンと数学を少々。アイコンは@N_Y_Big_Apple作 一応京大数学科の学部を卒業してゐる ジャンプルーキー:https://t.co/9n95tQ5teW pixiv: https://t.co/Tufp73QQEK
toshico @toshicon201
573 Followers 727 Following
労働者 AtCoder (algo緑色 heu 水色) https://t.co/o1eoXT0sOS 好きなこと: パソコンをカタカタする
chiaoi @_chiaoi
457 Followers 319 Following
競プロ(AtC algo水)/2025 AWS Jr.Champions/なきごと/数学/コーヒー
abap34 @abap34
2K Followers 597 Following
CS undergrad @ https://t.co/8ti769wpjx , ScienceTokyo / machine learning, programming language / https://t.co/3qV5KQwDIO
まなたけ @manatake26
754 Followers 987 Following
名大数学科卒→名大情報学研究科M2、数学基礎論(逆数学と構成主義)、ボードゲーム、写真撮影(Zfc)、確率論(学部時代)
富山市ファミリ... @toyamafamipa
17K Followers 92 Following
富山県にある動物園、富山市ファミリーパークの公式アカウントです。
当アカウントは情報発信専用ですので、返信、リツイート及びダイレクトメッセージによるご質問や申し込みには対応しておりません。ご了承ください。
魚津水族館公式 @uozuaquarium
7K Followers 12 Following
魚津水族館の公式アカウントです!生物の様子などを更新していきます!
※都合により、個人アカウントへの返信、フォロー、フォローバック等は一切行いません。あらかじめご了承ください。
質問等は下記連絡先よりお願いします。
TEL 0765-24-4100
Mail [email protected]
関数型まつり @fp_matsuri
974 Followers 2 Following
関数型プログラミングのカンファレンス、関数型まつりの公式アカウントです。
関数型まつり2025は6月14日〜6月15日に開催予定です。
ハッシュタグ: #fp_matsuri
No recent Favorites. New Favorites will appear here.