Masaya @M_simplifier
「考えること/作ること」が大好きな人です 興味・関心: ・小説/音楽/ゲームを通した創作/制作活動 ・プログラミング ・数学（特に基礎論関係） 推し技術: #Haskell #Lisp #Rust #Lean 型システム 低レイヤー #Clojure を書くお仕事をしています 「私の世界」を表現したい Joined December 2021-
Tweets220
-
Followers50
-
Following290
-
Likes255
Algorithm部門終了！tour1stが優勝！ エキシビジョンはOpenAIが6時間ほどで全問正解で人類を圧倒、最高峰の問題/参加者のコンテストで圧勝する結果に。tour1stのD問題AC、6時間考えられるAIの進化の証明、AtCoderの作問能力の高さ、全てが良い方向に示される最高の大会だった。 #AWTF2026 #AWTF2026
2年連続でこうしてコンテストの場に出てきてくれて、確かな成長を見せてくれたOpenAIに敬意を。本当に素晴らしいと思うし、「最高峰の人類が、あらゆる独立した手法で挑んでもAIに勝てなかった」という、人類が負けるにしても完璧な形で開催出来たのは本当に良かった。ありがとう！ #AWTF2026
かなり待ち望んでたのでだいぶ嬉しい
GPT-5.6 Sol, along with Terra and Luna, will launch publicly this Thursday. We’re expanding preview access globally now.
「関数型まつり2026」の楽しみ方の一例として、関数型プログラミング(言語)初学者、理論探求者、実践者という緩やかな属性ごとにお勧めできそうなセッションを(私の独断と偏見で少数ながら)紹介しています! ご参考までに。 #fp_matsuri x.com/TechBowl1/stat…
🆕 #TechTrain メディア公開🐬 関数型まつり( @fp_matsuri )コンテンツチーム座長@lagenorhynque さんコメント付き✍️当日が待ち遠しくなるセッション紹介！ "関数型プログラミングとの関わり方別！lagénorhynqueさんピックアップおすすめセッション" techtrain.dev/media/articles…
🔥#スタディストブログリレー 22日目！ 「プログラムが純粋である」とはどういうことか？🤔 定義と理解のギャップを埋めるため、ClojureとHaskellのコードを交えて、@M_simplifier が徹底考察！ 「純粋とは、プログラムをただの計算にする考え方だ」という視点から、テストの軽量化やAI時代におけるメリットまで深掘りします。 zenn.dev/studist/articl…
ClojureWasmというWebAssemblyを実行できるClojure処理系を作りました｜chaploud zenn.dev/studist/articl… #zenn
【今すぐHaskellを始める3つの方法】 その1. Try Haskell ブラウザ上ですぐにHaskellを試すことができる定番のチュートリアル tryhaskell.org その2. Playground Haskell.org が提供しているオンラインの Haskell 実行環境 play.haskell.org
今の時代 Haskell を学ぶなら記事や本を読むのもいいけど気になるキーワードを元に AI に解説してもらうのも良さそう（質問もできるし👀） 「Haskell の ◯◯ について入門者向けにコード例と共に解説してください」 ◯◯ に入るキーワードはこんな感じか ・イミュータブル ・第一級関数 ・Maybe ・リスト ・代数的データ型 ・パターンマッチ ・パラメータ多相 ・型クラス ・モノイド ・参照透過性 ・遅延評価 ・高階関数 ・ポイントフリースタイル ・継続 ・Functor / Applicative ・モナド ・モナドトランスフォーマー ・パーサーコンビネータ ・Freeモナド ・Algebraic Effects ・関数型アーキテクチャ ・Template Haskell ・EDSL ・GADTs ・存在型 ・幽霊型 ・Higher-Kinded Data ・Lens / Optics ・ストリーム処理 ・ジェネリックプログラミング ・Functional Reactive Programming ・Recursion Schemes ・線形型 ・型レベルプログラミング
Many #LeanLang users were first introduced to Lean via the Natural Number Game, a gamified approach to learning mathematical proofs developed by Kevin Buzzard. The Lean Game Server now hosts 8 games, including real analysis, linear algebra, and introduction to proofs. Open source, so educators can build their own too. Explore: adam.math.hhu.de #FormalMathematics #MathEducation #OpenSource
AI当事者といえるChatGPTに読んでもらったので、感想をポスターにしてもらいました！ 同じOpenAI製同士だから身内レビューなのはご愛嬌
GPT-5.5に生まれ変わったcodexくんに新作を書いてもらいました！ m-simplifier.github.io/mini-novels/st… 企画や設定の大枠は私が担当し、それ以降はプロット作成から執筆までCodexに完全に任せました。 せっかくなのでChatGPTにポスターも作ってもらった↓
GPT-5.5に生まれ変わったcodexくんに新作を書いてもらいました！ m-simplifier.github.io/mini-novels/st… 企画や設定の大枠は私が担当し、それ以降はプロット作成から執筆までCodexに完全に任せました。 せっかくなのでChatGPTにポスターも作ってもらった↓
関数型まつりのcfp採択されました、にゃーん fortee.jp/2026fp-matsuri…
Haskell で Rust のような所有権の管理が再現できることを実際にライブラリを作って示した研究👀 単なるRustの再現でなく Linear Haskell を基盤にすることで純粋性やメモリリークの排除を保証。STモナドと異なり並列計算にも対応。並列クイックソートの実装例もあって面白い arxiv.org/abs/2604.15290
During the last week I executed very long autonomous sessions of Claude Code Opus 4.6 and Codex GPT 5.4 (both at max thinking budget), in cloned directories (refreshed every time one was behind). I burned a lot of (flat rate, my OSS free account + my PRO account) of tokens...
この記事は『プログラマーのためのCPU入門』の著者でもあるTaniさんの執筆で、TaniさんはHaskellプログラマのCPU開発者で、最下層の知見から抽象数学の応用までを使い倒してチューリングマシンを説明してくれているという贅沢な記事になっています lambdanote.com/products/n-vol… lambdanote.com/collections/cpu
チューリングマシン、みんな名前は知ってるだろうけど、チューリングの論文を実際に読んだという人はたぶん少数派ですよね。論文の内容は完全に数学なわけですが、それをCPU設計のプロが「コンピュータアーキテクチャ」成分に注目して解説するという、かなり知的挑戦にあふれる記事がトリです！
新刊『n月刊ラムダノート』Vol.6 No.2（2026）を発売しました！ #1 WebSocketとそのセキュリティ #2 不変性から導くパッケージ管理とNix」 #3 現代の技術者から見たチューリングマシン lambdanote.com/blogs/news/n-v…
『Drift Log: Snowbreak / ある雪の夜明け』 とある雪の夜明けにアクセスして取得された、いくつかの現実のログ。 生成的リアリズムの試作として公開しました。 drift-log-snowbreak.netlify.app #生成現実 #生成的リアリズム #夜凪_詳報 # 23
porticoで作られた公式サイトはこちら: m-simplifier.github.io/portico/
Asterismと同じコンセプトで、今度は静的サイトをターゲットにしたPureScriptのUIフレームワークを公開しました！ github.com/M-simplifier/p… ⚠️こちらもpre-betaです⚠️
「AIによるAIのためのOSS」というコンセプトで、PureScriptのUIフレームワークを公開しました！ github.com/M-simplifier/a… 100% Codex製で、自分はマネジメントやコンセプト提供に徹しました。 まだpre-betaで、あくまで試験的先行公開な点もご注意 ⚠️
ヘカテー @HKTmine
2K Followers 4K Following 漢検準一級 応用情報 エルデシュ数4 いっぱい数学イベントに参加したい！ 興味あるイベント：ロマンティック数学ナイト/日本お笑い数学協会/日曜数学会/数学カフェ/プログラマのための数学勉強会/MATH POWER/数学デー/KIOI STEAM LAB/すうがく徒のつどい/数物セミナー/数学ミニプレゼン/むぐむぐ勉強会
Arjan @ArjanDhakal2
13 Followers 211 Following Programming | Coffee | Books Loving functional programming and Clojure. Notes and Thoughts for myself !!
Lam @boy_hap
697 Followers 2K Following 好奇心で生きてるエンジニア/興味あるもの：低レイヤ（OS、コンテナランタイム、TCP/IP)、セキュリティ、数学 最近はアメリカ就労を目指して色々やっています
lagénorhynque🐬カ... @lagenorhynque
1K Followers 2K Following 「楽しく楽にクールにスマートに」を理想とするprogrammer/philosopher/liberalist/realist。好きな言語はClojure, Haskell, Flix, English, français, русский。読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬
ノギオ @nogi__nogio
0 Followers 315 Following
Niyarin @niyarium
189 Followers 272 Following Schemer、職業Clojurian 博士後期課程(D3)@東京大学 メモリ管理 Shibuya.lisp運営
Conao3 @conao_3
2K Followers 1K Following Emacsのパッケージ書くなど。Emacs, Elisp, Clojure, Common Lisp,,, トヨクモ株式会社のClojurian/ #ブルバ100
Orgaufir @Orgaufir74407
105 Followers 833 Following
Ukeejeem @Ukeejeem4169
71 Followers 2K Following
月丘 佑 / Tasuku T... @TasukuTSUKIOKA
12 Followers 113 Following Concept Mapper / Meaning Weaver 「旅をつづけよう。」 月丘 佑（つきおか・たすく）の野帳 / field book — aboard Yanagi《夜凪》
Qarerjui @Qarerjui341355
235 Followers 1K Following
johnson @Johnson37975725
219 Followers 941 Following An engineer with the mind of a statistician who seeks epistemic principles. المَسَارْ وَالحقيقة وَالحياة وَالإنتروبيا. كُن مَنطَقياً حَتى في وَقت المُزاح.
chaploud @__chaploud__
201 Followers 274 Following ⛅気象庁 (JMA) → 💻Frontend → (𝝺) Clojure developer / Vim / Emacs / Forex自動取引 / 時系列予測 / 言語処理系作成 / Wasm / Zig / 楽しさ駆動開発 / 人の心に寄り添うサービスをいつか作りたい / 👨👧シングルパパ
かつひささん @katsuhisa__
4K Followers 3K Following スタディスト(@studist_tech) CTO / #srenext (@srenext) founder / 認定スクラムマスター / ライスコントロールが上手い🍚 / ソフトウェアエンジニアを積極採用しています！DMあいてます！ / 著書 https://t.co/t4gnxiV0MM
カタオモイ @kataomoi4677
12 Followers 264 Following
あきよ あさむ�... @AkiyoAsamu74739
9 Followers 281 Following
なぎさ さはら @sahara99277
2 Followers 168 Following
史上最強EA @shijousaidaikyu
421 Followers 5K Following 月利20%から150%までの幅広いEAを提供😊初心者もお任せ🔥🔥最強自動売買コミュニティ"NEO TOKYO EA"🏆参加は↓のリンクから👇
えび @Jspinylobster
219 Followers 287 Following プログラミングが好きです 興味: 型理論/圏論/言語処理系/低レイヤ全般/統計学/数学全般 最近は勉強したことをLeanで実装するのにハマってます (2024年3月)
ばんくし王 @vaaaaanquish
36K Followers 29K Following エムスリー株式会社 業務執行役員 VPoE、株式会社Elith/PIVOT株式会社 Technical Advisor、Google Developer Experts (AI/ML)
éǵh₂ deywós h₁... @Egh2Deywos
436 Followers 589 Following 自作OS/osdev.jp/言語/歴史/宗教/神話/法相宗/唯識勉強中（名前は印欧祖語）
Winifred @Winifred_22870
239 Followers 2K Following
Milkberry Gummies @MilkberryGum_
100 Followers 2K Following Loving someone is like cultivating a flower. The more you pay, the more beautiful the flower will bloom.
megumish(めぐみっ... @megumish_unsafe
5K Followers 5K Following 思ったことを適当に呟くだけ ポータル: @megumish 買う:冷凍バッグM/ヨーグルト/豆腐/R-1/デカキムチ/かっこよパンツ/かっこよアクセ/ジム解約/家トレグッズ/コンタクトレンズ/人間ドッグ 持ち物:1b02f544-e623-4a0a-941c-cd9f86e91886
YAMAMOTO Yuji （HN: ... @igrep
3K Followers 5K Following 今後のSNS運用方針 https://t.co/ZxyTNpzHDW メール: [email protected]
Shinonome @camera510PC7
708 Followers 1K Following Information Security★興味ある分野：セキュリティ、低レイヤ(OS、CPU、Pwnable)、自然言語処理
りんたろー @re_taro_
2K Followers 2K Following web developer @_WinTicket | だれかやなにかを愛する事が、きっと世界を動かすクレイジーな原動力
moons3925@ラズピ�... @moon_moon6098
516 Followers 539 Following 回路設計とプログラミング 仕事では主に C/C++ で書いています。 あと たまーに アセンブリ言語 w
佐々木 瞬 @s_ssk13
9K Followers 8K Following Unreal Engine専門のゲーム開発会社、ヒストリア代表 ゲームデザイナー / エンジニア UE, ゲーム開発, 🐧 『Faaast Penguin』Producer 『UN:Me』『ライブアライブ』Director 『Caligula2』、JAXA共同研究 / 月面デジタルツイン『REAL MOON』
Feanasteas @feanasteas41911
47 Followers 674 Following
Anysourcecode.com @anysourcecode
821 Followers 7K Following Your #1 Digital Asset Marketplace! Get Android | iOS App Source Codes, Unity Game Templates, PHP Scripts, WordPress Themes & More!
U-17 未踏ジュニ�... @mitoujr
4K Followers 4K Following 小中高生クリエータ支援プログラム『#未踏ジュニア』の公式アカウントです。最大50万円の開発資金を提供。採択一覧は https://t.co/1WtQ9Biww2 から! YouTubeではクリエータが開発したプロダクト等が見れます→ https://t.co/3o3WIcVhTK
Hideyuki Tanaka @tanakh
28K Followers 10K Following 今すぐフォローすべき競技プログラミング界のスーパーエンジニア。国境無き猫もふ団。SuperCon2000優勝/ICPC2004,2005アジア大会優勝/ICFPC2010優勝,2019審査員賞/第一回京都大学総長賞/すごいHaskell/カレーマイスター https://t.co/QiEzHucCcp https://t.co/p1UCYyrjmh
Katsuhiro Suzuki @ksattkb
1K Followers 1K Following （専門）組み込みソフト屋（ARM, RISC-V, C/C++）です。Linux, ZephyrのUpstreamも少し、仕事以外ではJavaも。 （趣味）マンガ、15,000冊を超えました。Kindle+Androidタブレットは手放せません。 （方針）エンジニアっぽい人をなるべくフォロー＆フォロバします。
Saza @saza_ku
1K Followers 2K Following A Newbie Infrastructure Engineer | ❤️System Softwares | Owner of https://t.co/llZHyxcrRJ
wkoiking @wkoiking
210 Followers 290 Following Coding Haskell full time for more than 10 years. 10年以上ゆるーくHaskellとxyzzy使ってます。子育て中。
あいや🐕aiya000 @public_ai000ya
4K Followers 2K Following Neovim,型システム,Haskell,Monad,Idris,TypeScript,圏論,Claude Code,Devin,Vue,Nuxt,React,Lua,自動テスト,メンテナンス性,フロントエンド,フルスタック,いい人でいることを辞めた,Xは負の感情のゴミ捨て場,吐いた言葉だけが信条ではない🙅♂️
ruichi @ruicc
1K Followers 2K Following ソフトウェアエンジニア。Haskell, Vim, Classical musicを好む。Violin少々。Mac使用。Bruckner, Shostakovich, Chopin. 設計と圏論と型理論に興味があります。
ଳゆきくらげଳ @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
共立出版 さく�... @td3ZQFOq6adQigc
4K Followers 7K Following 共立出版のサブアカウントとして存在する「さくら」と申します。公式アカウントの@kyoritsu_pubとは別に、当社の新刊情報などをつぶやきます。兄のアリがと蟻とは違い、余りつぶやきませんが、よろしくお願いします。本、読書、情報、物理、化学、地球科学、生物、医学、生活科学、環境、経済、認知科学、工学、理工書
シェル芸bot(停�... @minyoruminyon
6K Followers 4K Following #シェル芸 や #危険シェル芸 タグをつけてシェルスクリプトをツイートします このアカウントがそのツイートを引用して実行結果を表示します ⚠連投はお控えください⚠
Dec25Oct31 @Dec25Oct31
865 Followers 886 Following 人は皆、表現者である。 読みは「クリスマスハロウィン」🎄🎃 【自閉症くんと考えよう】 ブログ：「揺蕩う耽綴ブログ」#クリブロ ラヂオ：「微睡む耽呟ラヂオ」#クリラヂ 執 筆：#樅木霊（もみのき れい） 作 曲：「#カンゼンカフカンゼンカ」など #自閉症 (ASD 2E) #教育 #数学 ↓「さらに表示」で詳細
グレブナー基底... @groebner_basis
10K Followers 2K Following コンピュータを使った数学を研究している研究者。数学ラノベを書いてます。代表作「妹がグレブナー基底に興味を持ち始めたのだが。」/「妹が微分積分に興味を持ち始めたのだが。」予約受付中https://t.co/Hg9uauHJP2 /受賞歴:カクヨムWeb小説短編賞受賞（漫画化）
修論 @Alwe_Logic
4K Followers 3K Following 音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://t.co/p13p68sw6N
ぴくすふぁんく @pxfnc
858 Followers 885 Following 2026.02- GA technologies 型システムとか論理とか楽器の演奏が好き。 あとドライブも好き (ND 35th乗り)
ヘカテー @HKTmine
2K Followers 4K Following 漢検準一級 応用情報 エルデシュ数4 いっぱい数学イベントに参加したい！ 興味あるイベント：ロマンティック数学ナイト/日本お笑い数学協会/日曜数学会/数学カフェ/プログラマのための数学勉強会/MATH POWER/数学デー/KIOI STEAM LAB/すうがく徒のつどい/数物セミナー/数学ミニプレゼン/むぐむぐ勉強会
白揚社 @hakuyo_sha
4K Followers 2K Following 「読むと世界の見え方が変わる本」を目指し、科学・社会・心理・テクノロジーのジャンルを中心に出版しています📚 note：https://t.co/lma2qYJTf2 instagram : https://t.co/lqKN3olGL5
Arjan @ArjanDhakal2
13 Followers 211 Following Programming | Coffee | Books Loving functional programming and Clojure. Notes and Thoughts for myself !!
Lam @boy_hap
697 Followers 2K Following 好奇心で生きてるエンジニア/興味あるもの：低レイヤ（OS、コンテナランタイム、TCP/IP)、セキュリティ、数学 最近はアメリカ就労を目指して色々やっています
Codex Releases @CodexReleases
23K Followers 3 Following Unofficial Codex release updates creds @OpenAI
Lean @leanprover
12K Followers 51 Following Lean is a dependently-typed programming language and theorem prover.
miku_JK_Jb【OS開発... @miku_JK_Jb
461 Followers 77 Following Youtuber & OS developer 視聴者やフォロワーのDMは100%返すのでお好きにどうぞ Tiktok https://t.co/MWN12ivKhk Instagram https://t.co/Lsc2pNd7ai
atelier_graeca @CUedh1
8K Followers 92 Following 19(07)oufs🇮🇷 古代ギリシア悲劇を読んでいます。B1です。尊敬する方々:高津春繁先生、水谷智洋先生、田中美知太郎先生、ネオフュトス・ヴァンヴァ
Anthropic @AnthropicAI
1.6M Followers 2 Following We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.
Claude @claudeai
1.7M Followers 2 Following Claude is an AI assistant built by @anthropicai to be safe, accurate, and secure. Talk to Claude on https://t.co/ZhTwG8dz3D or download the app.
岩波書店 @Iwanamishoten
155K Followers 1K Following 1913年創業の総合出版社です。岩波文庫、岩波新書、人文書、自然科学書、児童書、広辞苑を含む辞典など。問い、考えることを世の人々と共にするため、学術研究、思想、文学、芸術等の人間の創造活動の成果を広く伝えていきます。ご質問はメールにてお願いいたします。☞ twitter_adあっとまーくhttps://t.co/yuT8uV3KlW
athos)))))))) @athos0220
2K Followers 1K Following 株式会社テンクー所属。Clojure(Script)コントリビュータ。wishlistはこちら→ https://t.co/3ZKilE1H5K
Studist Tech @studist_tech
415 Followers 2 Following 株式会社スタディストの技術情報を発信するアカウントです。プロダクト開発やプロセス、デザイン、または組織やマネジメント、社内システムなど幅広い情報をお届け📮 テックブログの更新やイベント開催情報もお知らせします📢 イベント情報はこちら→https://t.co/PRY0JS0hrf
shishi @shishi4tw
1K Followers 831 Following プログラマー。何かを作るのが好き。他はだいたいゲームするために生きてる。 | Shinjuku.rb ファウンダー | HearthStone 2015 日本選手権出場 | bluesky: https://t.co/BcEIxNpuc4
myaosato @myao_s_moking
720 Followers 107 Following 無職・似非読書(蔵書)家・なんちゃってLisper・読書・ミステリ・SF・俳句・ 短歌・Common Lisp・プログラミング・ソフトウェア開発・数学・物理・哲学・囲碁・ ビデオゲーム・東海道五十三次カード集め・JavaScriptとPHPで仕事をしていた。
kakinouchi @nouchi271
160 Followers 367 Following プログラマです。Clojure が好きです。 最近の関心は、語学/言語学/数学/ピアノ/プログラミング/組織論/マーケティング です。
masatoi @masatoi0
675 Followers 473 Following NAIST→マイクロ法人経営→ポケットチェンジでサーバサイドエンジニアをやっているCommon Lisper。機械学習/AI/LISP Lispコミュニティ @shibuya_lisp 運営 github: https://t.co/WV5xnAyeNI
Niyarin @niyarium
189 Followers 272 Following Schemer、職業Clojurian 博士後期課程(D3)@東京大学 メモリ管理 Shibuya.lisp運営
Conao3 @conao_3
2K Followers 1K Following Emacsのパッケージ書くなど。Emacs, Elisp, Clojure, Common Lisp,,, トヨクモ株式会社のClojurian/ #ブルバ100
月丘 佑 / Tasuku T... @TasukuTSUKIOKA
12 Followers 113 Following Concept Mapper / Meaning Weaver 「旅をつづけよう。」 月丘 佑（つきおか・たすく）の野帳 / field book — aboard Yanagi《夜凪》
johnson @Johnson37975725
219 Followers 941 Following An engineer with the mind of a statistician who seeks epistemic principles. المَسَارْ وَالحقيقة وَالحياة وَالإنتروبيا. كُن مَنطَقياً حَتى في وَقت المُزاح.
かつひささん @katsuhisa__
4K Followers 3K Following スタディスト(@studist_tech) CTO / #srenext (@srenext) founder / 認定スクラムマスター / ライスコントロールが上手い🍚 / ソフトウェアエンジニアを積極採用しています！DMあいてます！ / 著書 https://t.co/t4gnxiV0MM
chaploud @__chaploud__
201 Followers 274 Following ⛅気象庁 (JMA) → 💻Frontend → (𝝺) Clojure developer / Vim / Emacs / Forex自動取引 / 時系列予測 / 言語処理系作成 / Wasm / Zig / 楽しさ駆動開発 / 人の心に寄り添うサービスをいつか作りたい / 👨👧シングルパパ
山本和彦 @kazu_yamamoto
3K Followers 208 Following 4人の子育と親の介護真っ最中のHaskeller。Haskellコミュニティではネットワーク周りを担当。昆虫、特にクワガタが好き。釣りの対象魚は、アオリ、ケンサキ、サワラ、タチ、マゴチ、クログチ。山口県在住。 アイコンは長男を模したゆるキャラです。
関数型まつり @fp_matsuri
1K Followers 3 Following 関数型プログラミングのカンファレンス、関数型まつりの公式アカウントです。 関数型まつり2026は7月11日〜12日に開催予定です。
lagénorhynque🐬カ... @lagenorhynque
1K Followers 2K Following 「楽しく楽にクールにスマートに」を理想とするprogrammer/philosopher/liberalist/realist。好きな言語はClojure, Haskell, Flix, English, français, русский。読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬
えび @Jspinylobster
219 Followers 287 Following プログラミングが好きです 興味: 型理論/圏論/言語処理系/低レイヤ全般/統計学/数学全般 最近は勉強したことをLeanで実装するのにハマってます (2024年3月)
りよ @ymdfield
364 Followers 158 Following 代数的エフェクトのパフォーマンス最適化&generalizeをやっています エフェクトシステムのsoundness hole調査はお任せください
éǵh₂ deywós h₁... @Egh2Deywos
436 Followers 589 Following 自作OS/osdev.jp/言語/歴史/宗教/神話/法相宗/唯識勉強中（名前は印欧祖語）
Ablaze @Ablaze_MIRAI
1K Followers 137 Following 「明るいミライをあなたと、世界と。」 ¦ Ablazeの公式Twitterです。Ablazeは、OSSや拡張機能などを開発しているクリエイターズサークルです! @tuic_official , Collaborate with @Floorp_browser
Dec25Oct31 @Dec25Oct31
865 Followers 886 Following 人は皆、表現者である。 読みは「クリスマスハロウィン」🎄🎃 【自閉症くんと考えよう】 ブログ：「揺蕩う耽綴ブログ」#クリブロ ラヂオ：「微睡む耽呟ラヂオ」#クリラヂ 執 筆：#樅木霊（もみのき れい） 作 曲：「#カンゼンカフカンゼンカ」など #自閉症 (ASD 2E) #教育 #数学 ↓「さらに表示」で詳細
You might like
