Masaya @M_simplifier
「考えること/作ること」が大好きな人です 興味・関心: ・小説/音楽/ゲームを通した創作/制作活動 ・プログラミング ・数学（特に基礎論関係） 推し技術: Haskell、Lisp、Rust、型システム、低レイヤー Clojureを書くお仕事をしています 「私の世界」を表現したい Joined December 2021-
Tweets172
-
Followers33
-
Following262
-
Likes79
これから始める発表の資料です！イベントに参加されていない方もぜひともご覧ください！ #frontendo #ガウディルーム 奥深くて厄介な「改行」と仲良くなる20分 speakerdeck.com/oguemon/vs-new…
本日発売！ 私がレビューした本が本日発売されます！ プログラミングと証明に興味がある人にかなりおすすめの一冊です 今回登場するトピックは「整数の足し算・引き算・掛け算・不等号」なので、「数学とか証明に興味はあるけど、あんまり自信ないなぁ」という人も、気兼ねなくお買い求めください
本日発売！ 私がレビューした本が本日発売されます！ プログラミングと証明に興味がある人にかなりおすすめの一冊です 今回登場するトピックは「整数の足し算・引き算・掛け算・不等号」なので、「数学とか証明に興味はあるけど、あんまり自信ないなぁ」という人も、気兼ねなくお買い求めください
というわけで9月4日に新刊発売です。ついにLeanの本がでます！ Mathlibもgrindもあります！ 今月正式リリースになったばかりの4.22.0です！ lambdanote.com/blogs/news/lean
Clojureを実務で使ったりClojure入門者をサポートしたりしてきた経験から、早めに習得すると良さそうな知識/技術をまとめてみました🐬 Clojureを仕事で使うにあたって早めに押さえたい知識/技術｜lagénorhynque/カマイルカ zenn.dev/lagenorhynque/… #zenn
𝘀𝘂𝗱𝗼 is getting a makeover, based on Rust. 🦀 We’re excited to announce that Ubuntu will be the first major Linux distribution to adopt 𝘀𝘂𝗱𝗼-𝗿𝘀 as the default implementation of 𝘀𝘂𝗱𝗼, in partnership with the Trifecta Tech Foundation. Jon Seager, VP Engineering at…
『数学ガール／リーマン予想』ついに登場。 数学青春物語、堂々の完結へ！ ただいま予約受付中！ （2025年8月刊行予定） ◆結城浩『数学ガール／リーマン予想』 amzn.to/4lMB9hq #数学ガール
簡単にreactive-bananaをGlossと一緒に使えるようにしたくてコピペで使えるglue codeを書きました。 gist.github.com/M-simplifier/9… FRPを試す環境を作るのにだいぶ手間取った……。 これでしばらく落ち着いてFRP自体の学習ができるかなと期待。 #haskell #frp
ついにRustに明文化された言語仕様が! Ferrous Systemsが独自に書き起こしていたRustの言語仕様がRustプロジェクトに寄付され、公式に仕様のある言語になった Ferrous Systems Donates Ferrocene Language Specification to Rust Project - The Rust Foundation rustfoundation.org/media/ferrous-…
折を見てまとめるか… 雑に言うと、編集中のコードってそもそも括弧が不一致だったりセミコロンが抜けてたり、syntax errorな状態が基本なので真面目な構文解析はしてなくて、字句解析か正規表現によるヒューリスティックなパターンマッチでやってるのが多いです。…
折を見てまとめるか… 雑に言うと、編集中のコードってそもそも括弧が不一致だったりセミコロンが抜けてたり、syntax errorな状態が基本なので真面目な構文解析はしてなくて、字句解析か正規表現によるヒューリスティックなパターンマッチでやってるのが多いです。…
全問正解できた！！ いつ間違えるかハラハラしながら解いていましたが、最後までできて自分でもびっくりしました 初歩的な問題集なのでしょうが、少し前なら答えられなかったと思うのですごく嬉しい…… 「Haskellのモナド完全に理解した」試験問題｜lotz zenn.dev/lotz/articles/… #zenn #haskell
#Siv3D でテトリスを作ってみました！ 今回は関数型×ゲーム開発をテーマに実装を工夫しました。 自分なりに「関数型のアイデアをどうゲーム開発に活かすか」を考えた作品で、この開発を通じて大きく成長できたなと感じています。 すごく楽しい時間でした！ 実装→ gist.github.com/M-simplifier/e…
遅ればせながら、昨日リリースした新作ゲームをお知らせします Steamで『Mutable 50』というローグライクアクションを定価120円で好評発売中です 値段以上のクオリティであると自負しているので、クリアまで是非遊んでみてください store.steampowered.com/app/3147480/Mu…
本日の CEDEC での C++ 講演スライドです。 docswell.com/s/cpp/5XEY92-c… #CEDEC2024
Rust 1.80.0 is now available! 🦀🌈 This release brings you LazyCell, LazyLock, checked cfg names & values, exclusive ranges in patterns, IntoIterator for Box<[T]>, Option::take_if, split_at_checked, and more! Check out the announcement and release notes: blog.rust-lang.org/2024/07/25/Rus…
C++23 での [ ] 演算子の多次元対応、 obj[1, 2] obj[1, 2, 3] のように 2 次元や 3 次元のことばかり考えてたけど、0 次元（引数無し） obj[ ] もできるの見落としてたね（どこで使うんだ）。
これまでに作ってきた自作プログラミング言語色々について書いてみる。 * プログラミング言語Onion github.com/onion-lang/oni……
カタオモイ @kataomoi4677
5 Followers 281 Following
あきよ あさむ�... @AkiyoAsamu74739
7 Followers 302 Following
なぎさ さはら @sahara99277
6 Followers 185 Following
史上最強EA @shijousaidaikyu
539 Followers 5K Following 月利20%から150%までの幅広いEAを提供😊初心者もお任せ🔥🔥最強自動売買コミュニティ"NEO TOKYO EA"🏆参加は↓のリンクから👇
えび @Jspinylobster
143 Followers 192 Following プログラミングが好きです 興味: 型理論/圏論/言語処理系/低レイヤ全般/統計学/数学全般 最近は勉強したことをLeanで実装するのにハマってます (2024年3月)
ばんくし王 @vaaaaanquish
35K Followers 29K Following エムスリー株式会社 VPoE、株式会社Elith/PIVOT株式会社 Technical Advisor、Google Cloud Champion Innovator (AI/ML)
éǵh₂ deywós h₁... @Egh2Deywos
335 Followers 473 Following 自作OS/osdev.jp/言語/歴史/宗教/神話/法相宗/唯識勉強中（名前は印欧祖語）
Winifred @Winifred_22870
667 Followers 2K Following
株式会社イー・... @estudio_Co
725 Followers 7K Following 株式会社イー・スタジオの公式アカウントです。案件情報を毎日お届けします。開発系のフリーランスエンジニアの方からのご応募をお待ちしております。スキルシートを送って頂ければ弊社案件DB（非公開案件あり）から最適な案件を選出しご提案致します。お気軽にお声掛けください。地方からのフルリモートもOKです。
Milkberry Gummies @MilkberryGum_
120 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 フルスタック・フルサイクルITエンジニア、ギター、ボイトレ、お絵描き、漫画を読むなどをしているものです amazarashi、ずっと真夜中でいいのに、が好きです 人類の文化が好きです いずれ宇宙全域を支配する予定があります @megumish ← 発信専用
YAMAMOTO Yuji （HN: ... @igrep
3K Followers 5K Following 今後のSNS運用方針 https://t.co/ZxyTNpzHDW メール: [email protected]
Shinonome @camera510PC7
694 Followers 1K Following Information Security★興味ある分野：セキュリティ、低レイヤ(OS、CPU、Pwnable)、自然言語処理
moons3925@ラズピ�... @moon_moon6098
535 Followers 549 Following 回路設計とプログラミング 仕事では主に C/C++ で書いています。 あと たまーに アセンブリ言語 w
佐々木 瞬 @s_ssk13
8K Followers 7K Following Unreal Engine専門のゲーム開発会社、ヒストリアの代表。 『Faaast Penguin』Producer、『ライブアライブ』Director、『Caligula2』制作ディレクター、WEBメディア『ゲームメーカーズ』、『UE5ぷちコン』 、UEFN、JAXA共同研究-月面シミュレーション、その他いろいろ
Feanasteas @feanasteas41911
62 Followers 699 Following
Anysourcecode.com @anysourcecode
796 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 1K Following seccamp'21 | GSoC'22 | 未踏スパクリ'23 | seccamp'24 講師 | 未踏AD'25 | Owner of https://t.co/llZHyxcrRJ
wkoiking @wkoiking
218 Followers 292 Following Coding Haskell full time for more than 10 years. 10年以上ゆるーくHaskellとxyzzy使ってます。子育て中。
あいや🐕aiya000 ... @public_ai000ya
4K Followers 2K Following にっこにっこにー🤟😌🤟つよつよフロントエンドエンジニアです！主兵装はTypeScript全般🫰フロント以外もできるよ〜！Haskellできる！静的型システムできる🪬技術の最新動向追います👀圏論の数学書執筆したよ📝通知欄あまり見ないので何かあればDM🙏/もっと詳しく→'📎' or 'さらに表示'↓
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
3K Followers 7K Following 共立出版のサブアカウントとして存在する「さくら」と申します。公式アカウントの@kyoritsu_pubとは別に、当社の新刊情報などをつぶやきます。兄のアリがと蟻とは違い、余りつぶやきませんが、よろしくお願いします。本、読書、情報、物理、化学、地球科学、生物、医学、生活科学、環境、経済、認知科学、工学、理工書
シェル芸bot(停�... @minyoruminyon
6K Followers 5K Following #シェル芸 や #危険シェル芸 タグをつけてシェルスクリプトをツイートします このアカウントがそのツイートを引用して実行結果を表示します ⚠連投はお控えください⚠
Dec25Oct31 @Dec25Oct31
839 Followers 847 Following 人は皆、表現者である。 読みは「クリスマスハロウィン」🎄🎃 ブログ「自閉症くんと考えよう」 ラヂオ「微睡む耽呟ラヂオ」#クリラヂ 小説 #樅木霊（もみのき れい） 音楽 「#カンゼンカフカンゼンカ」など #自閉症( #ASD #2E ) #教育 #数学 #作曲 ( #DTM #ボカロ) ↓「さらに表示」で詳細
山本和彦 @kazu_yamamoto
3K Followers 204 Following 4人の子育と親の介護真っ最中のHaskeller。Haskellコミュニティではネットワーク周りを担当。昆虫、特にクワガタが好き。エギンガー＆サワラーな釣り人。山口県在住。 アイコンは長男を模したゆるキャラです。
関数型まつり @fp_matsuri
976 Followers 2 Following 関数型プログラミングのカンファレンス、関数型まつりの公式アカウントです。 関数型まつり2025は6月14日〜6月15日に開催予定です。 ハッシュタグ: #fp_matsuri
lagénorhynque🐬カ... @lagenorhynque
1K Followers 2K Following 「楽しく楽にクールにスマートに」を理想とするprogrammer/philosopher/liberalist/realist。好きな言語はClojure, Haskell, Elixir, English, français, русский。読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬
えび @Jspinylobster
143 Followers 192 Following プログラミングが好きです 興味: 型理論/圏論/言語処理系/低レイヤ全般/統計学/数学全般 最近は勉強したことをLeanで実装するのにハマってます (2024年3月)
Riyo @ymdfield
254 Followers 121 Following Haskellで代数的エフェクトライブラリを作っています: https://t.co/u9Sk1WiEeQ 最近はエッジデバイスでの学習手法に興味があります。あと、Lean4に入門中です。
éǵh₂ deywós h₁... @Egh2Deywos
335 Followers 473 Following 自作OS/osdev.jp/言語/歴史/宗教/神話/法相宗/唯識勉強中（名前は印欧祖語）
Ablaze @Ablaze_MIRAI
1K Followers 142 Following 「明るいミライをあなたと、世界と。」 ¦ Ablazeの公式Twitterです。Ablazeは、ブラウザのFloorpや、検索エンジンのFrea Searchなどを仲良く、そして楽しく開発しているクリエイターズサークルです。 @Floorp_browser #FreaSearch @tuic_official
株式会社イー・... @estudio_Co
725 Followers 7K Following 株式会社イー・スタジオの公式アカウントです。案件情報を毎日お届けします。開発系のフリーランスエンジニアの方からのご応募をお待ちしております。スキルシートを送って頂ければ弊社案件DB（非公開案件あり）から最適な案件を選出しご提案致します。お気軽にお声掛けください。地方からのフルリモートもOKです。
Dec25Oct31 @Dec25Oct31
839 Followers 847 Following 人は皆、表現者である。 読みは「クリスマスハロウィン」🎄🎃 ブログ「自閉症くんと考えよう」 ラヂオ「微睡む耽呟ラヂオ」#クリラヂ 小説 #樅木霊（もみのき れい） 音楽 「#カンゼンカフカンゼンカ」など #自閉症( #ASD #2E ) #教育 #数学 #作曲 ( #DTM #ボカロ) ↓「さらに表示」で詳細
Toshihiro Shimizu @meso
7K Followers 3K Following 株式会社アイデミー取締役CTO / 元ドワンゴR&D担当副本部長&バーチャルキャストVPoE / TSKaigi Association理事 / Node.js日本ユーザーグループ創設者 / アンダーリム眼鏡 / 著書: https://t.co/vmrygbm9AQ
ごりちゃん🦍 @prd_xxx
5K Followers 3K Following 競プロやってるゴリラ / 競プロオンサイトによく現れる / ごりちゃん / AtCoder (Python) Algo:💧1400↑ Heu: 🐳1900↑ / IIDX @prd_iidx
hyaku💯 @yurikomium
287 Followers 164 Following Yuriko Kikuchi / Software Engineer / Master student of Information Science (JAIST) 社会人大学院生のCS修士号取得までの道のりと、個人開発、OSS活動（GSoC mentor）、エンジニアライターについてポストします。ご連絡はDMへ📩
inductor / Kohei Ota @_inductor_
11K Followers 3K Following Swift Server Ecosystem @Apple / he/him / Opinions are my own / KubeCon Japan '25 Keynote speaker / KubeDay Japan '24 Co-chair / English @inductor__
Cubbit @cubbit2
4K Followers 85 Following
TaKO8Ki @TaKOBKi
2K Followers 631 Following A committer of @rustlang 🦀 (compiler team) https://t.co/eA6V2wr5xf
Yoshiya Hinosawa @kt3k
2K Followers 334 Following A software engineer at @deno_land 🦕 I mainly post in blue sky 🦋 https://t.co/lP6OrfD02K
渋川よしき @shibu_jp
10K Followers 1K Following プログラマです。 @shibukawa は英語用になります。こちらは日本語。Future Architectで仕事してます。
Yosuke Furukawa @yosuke_furukawa
17K Followers 888 Following ソフトウェアエンジニア/Node.js/Japan Node.js Association 代表理事/Chrome Advisory Board/TechFeed公認エキスパート
syumai @__syumai
8K Followers 2K Following Webプログラマ。Go、JS / TSの話題を呟きます。 アイコンは@_tanakaworldさん作 / Asakusa.go (#asakusago)、ECMAScript仕様輪読会 (#esspec) 主催 / Software Design 2025年2月号までCloudflare Workersの連載を執筆
Keisuke Nishitani @Keisuke69
25K Followers 8K Following COO @ 株式会社DELTA｜ex-AWS, ex-スタートアップCTO ソフトウェアエンジニア × クラウド プロダクト開発と技術支援してます モノを作って売るのが好き 各種DMでご相談ください 将来はカフェやりたい☕️
🈚️うひょ🤪�... @uhyo_
13K Followers 2K Following 👨💻駆け出し TypeScript 5.9 エンジニア✨ it/it. 🤓TechFeed公認エキスパート 🐺月下人狼🚶♂️https://t.co/TFIkctYMdB 💻IS15er/CS17er｜🏮元103 『プロを目指す人のためのTypeScript入門』好評販売中
たろうまる @taroumaru461
362 Followers 829 Following 組み込みAndroid屋さんになりました/あとRustを少々/その前は組み込みLinux(Yocto)屋さんでした/日曜ジャズギタリスト
にしぐち@2期目 @nishiguchi_sho1
546 Followers 1K Following 教育で起業 兼 Rails&Reactエンジニア 1期目で土台作りを終えました。 2期目は、ゆっくりでも確実にポジションをとりにいきます。
モロ @moro_is
6K Followers 1K Following 何でも作りたがるタイプのデザイナーです。ウェブとかフロントとかやります。元コック。好きなコーギーはペンブローク。怪談とビルとギターが好き。ほしいも https://t.co/3Ca42c8rxJ
Objective-ひろC🍜... @hirothings
5K Followers 898 Following 元ラーメン屋店長プログラマー | minto 50万ユーザー突破 | note https://t.co/Mcn5lb3fa1 🍜
名人｜マナリン... @Meijin_garden
5K Followers 3K Following CTO at https://t.co/cURlYkkLj1 / フロントエンドが好きなWebエンジニア🧑💻 / テストメーカー (https://t.co/Dv8DpuqZEh)開発者 / 応用情報 / AI実装検定A級 / 将棋(二段) / ミラーレス一眼📸 / ラム酒 / 筋トレ / 奈良高専→LIFULL→現職
mono @_mono
13K Followers 2K Following Flutter と Firebase 好きなフリーランス / Dart / iOS / Swift / TypeScript / GCP / 総資産の4割がテスラ株 / 開成・東大(+院) / @swift_mono / GitHubスポンサー: https://t.co/mFKOdsOy0m
ばんくし王 @vaaaaanquish
35K Followers 29K Following エムスリー株式会社 VPoE、株式会社Elith/PIVOT株式会社 Technical Advisor、Google Cloud Champion Innovator (AI/ML)
naoya @naoya_ito
43K Followers 2K Following
choo @choo_s
6K Followers 287 Following 個人開発好きのソフトウェアエンジニア。 賃貸検索の Comfy https://t.co/goS8okhYfR などを運営してます。 Rust、React、Python、パフォーマンスチューニング、地理空間情報が好きです。 競プロも好き（AtCoder 青）（最近はお休み中）。 好きなプログラマはポール・グレアム、中島聡氏
Sergio Gasquez @Sergio_Gasquez
309 Followers 279 Following Learning embedded and Rust while contributing to esp-rs (Rust in Espressif SoCs). Embedded Software - Firmware 🖥️ IoT ⚡️ Rust 🦀
Shinonome @camera510PC7
694 Followers 1K Following Information Security★興味ある分野：セキュリティ、低レイヤ(OS、CPU、Pwnable)、自然言語処理
発明家で技術コ... @nonNoise
11K Followers 7K Following 技術コンサルやってます [email protected] 主に研究開発と試作の技術コンサルをやってます。 専門はシステム工学（ハードとソフト横断します） DMしたい際はコメント頂けると解放します！ https://t.co/FG3jNcnQzh
akita11/JunichiAkita @akita11
7K Followers 1K Following 本業は集積回路（特にイメージセンサ）、実装手段・可能性から考えるインタラクティブシステム。マイコン、半田付け。ライフワークはたぶん知覚。元未来大。数理の翼。NT金沢の中の人。MakeLSI:の人。無駄な抵抗コースターの人。「はじめて学ぶ電子回路15講」の人。好きな半田は共晶半田。好きなプロセスはCMOS0.35um
専門性・売上・... @golden_lucky
7K Followers 968 Following 鹿野桂一郎。ラムダノート https://t.co/VQBjVCZtlX という計算機好きのための出版社をやっています。脈略なく本の宣伝をするアカウント。 https://t.co/An1Ki9AgtJ
Trends for United States
You might like
