kanarus @kanarus_dev
かなる／NixOS／Rustacean; creator of Ohkami web framework, SQLx-D1, alien-signals-rs, rusty_mujoco／Go, TypeScript／ZennのRustの記事絶対いいねするマン github.com/kanarus 京都大学 工学部 情報学科 B4 (n回目 (まずい)) Joined December 2021-
Tweets10K
-
Followers688
-
Following536
-
Likes107K
kanarus retweeted
pythonとか似てるけれどあれ def <id> <params> ['->' <ret_ty>] ':" だからね。indentが大事とかいう面倒くささはあるけれどbodyまでに区切りはあるんだよ なんでこっちはないんだparseが面倒になるに決まっているだろぅ… あああああああああああああ
kanarus retweeted
qiita.com/keitah/items/b… 要は使う側の人の胆力ってまるめられがちだけど、この比較、技術的にしっかりまとめられてて良いわ
kanarus retweeted
prepolyでは fun display(point) { return "{point.x} {point.y}" } println(display({ x: 1, y: 2 })) とだけ書けばよく、これくらいで許されて欲しい。
kanarus retweeted
十進で n 桁以下の自然数 10^n 個のうち非ナベアツ数は高々 9^n 個しかないから n を大きくするとほとんど至る所アホなの意識してなかった
kanarus retweeted
プログラムの停止性判定は別に㋔㋟㋗が嬉しいだけではなく定理証明支援系だと健全性のために必須の機能ですよ（或る種の停止しない式には任意の型がつくので，本来成り立ってはいけない命題も停止しない計算が書ける体系ではinhabitedとなり成り立つことになってしまう）
kanarus retweeted
たしか音声とは語源が別でたまたま音が一致してしまったのだとか。
kanarus retweeted
CI修正だけしかしてないけどNASAに貢献した。 Use rust-cache for CI Rust dependency caching by TaKO8Ki · Pull Request #73 · nasa/spacewasm github.com/nasa/spacewasm…
kanarus retweeted
自分のドメイン名に Email Verification Protocol 実装できた！！
見(๑•﹏•) 【ついに1局指し切った】GPT-5.6が将棋強すぎてマジでヤバい… youtu.be/2btWl7M660c
kanarus retweeted
名前間違ってておもろい 🏀じゃなくて🧶です #KTC_meetup
見(๑•﹏•) AWSの設定をミスって本番を落とした話 zenn.dev/it_imataka/art… > Lambda > response = http.request('GET', url, headers=headers, timeout=10.0) > 例外~捕捉先でSNSへ ~ 設定不足 ~ 送信が失敗 > Lambdaが Subscriber ~ SNSのリトライポリシーにより再配信、Lambdaが再起動
kanarus retweeted
ここが一番重要なんですが、そもそも生成AIに対戦を学習させるという行為自体が非効率で、例えるなら数式や数学者が数式を解いた例をすべて学習させて計算機なしで数式を解かせようとしてることとほぼ同じです
kanarus retweeted
ポケカABCの経験からみると、むしろモデルに学習させるのではなく強者の行動を愚直にルールベースに書き起こす方が多分強くなる（数百数千のif文を愚直に書く）
kanarus retweeted
ポケモン対戦をAIに学習させて、という文脈に詳しくなりたい人はまずNLHFの論文を読むと良いです arxiv.org/abs/2312.00886 ドパガキ向けに結論から書くと、じゃんけん性のあるゲームで自己対戦をどれだけ重ねても安定的な結果に収束しません
Yoshi's Dreamチャ�... @TTRS_Yoshi_KU
438 Followers 379 Following NYG34th → 京大電電 → 京大院 通信情報 M1 / 医陸上 + KMC(47th) + KU-Tetris / 3DCG（描画処理等），テトリス，競プロ，けもフレとかやってたり @TTRS_Yoshiの大学垢！ / CG垢: @TTRS_Yoshi_CG / 趣味垢: @RunningOutRate
物理好き @butsurizuki
12K Followers 13K Following ND73→KUEE→KUinfoM2 音ゲー:ウニ99.72未鳥メロ⬛️ 理1127+黒41 定数調査班 SDVX∇暴20.0 競プロ:ｽﾊﾟｺﾝ'18優勝 JOI'19'20春 ICPC'24'25WF AtC橙1m橙3/H橙4 CF濃橙(は?)m濃赤 たまに:麻雀 OMC青 アイコン: @MA23_96
はすじょい (hsjo... @hsjoihs
11K Followers 8K Following セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師；東大既仏→Stanford 学部（数学・物理学）・修士（応用・工学物理学）卒業；NandGame和訳；ZEN大学教員「オートマトンと形式言語理論」「論理回路概論」@sosoBOTpi と同一
🈶うひょ🤪✒�... @uhyo_
14K Followers 2K Following 👨💻駆け出し TypeScript 6.0 エンジニア✨ it/it. 🤓TechFeed公認エキスパート 🐺月下人狼🚶♂️https://t.co/TFIkctYMdB 💻IS15er/CS17er（元小林研）｜🏮元103 『プロを目指す人のためのTypeScript入門』好評販売中
英語R再履ばー�... @baseluniv
1K Followers 1K Following knzwに敗北/理学部B4-1組🇫🇷/KairA/京音/大な同/PCゲー垢→@haru_mathmatics 音ゲー垢→@baselotoge 最近作った縮小？サブ垢？→@baselsmall/学生証再発行カウンター：1
わっしー @wasshi_kuee1
1K Followers 1K Following
fluorine/競プロ @fluorine_0728
479 Followers 404 Following 情報M1 | KCPC(京大競プロサークル) @kcpc_official | AtCoder 💧| 京大パズル同好会 @kyodai_puzzle
Hal @hal_spidernight
437 Followers 464 Following Software Engineer | Vue.js Nuxt Rust AWS | Contribute @vuefes
やんく @i_am_not_fugu
699 Followers 1K Following ふぐではありません！！ yank.nvimです seccamp2024 S13 AP nostr: npub1yank796utnl96u9437fa74qjekkj3fggarnvytwaszf02pex2u4qgnsmdt マジック→ @fugu_plays_mtg
kobaken @kfly8
1K Followers 1K Following Founding https://t.co/nSzZxUquDV — Baby steps to Giant strides. Building https://t.co/spnZn3RiCa — TSX in. Your stack out
ferrarin @marcoferrarin_
10 Followers 63 Following low-level and embedded software 30歳を超えて組み込みエンジニアに挑戦中
コーヘイ| クラ�... @kinmakujoudo
242 Followers 902 Following クラウドエンジニア。 28歳 Cloud Tech永久会員。 Rare TECH 57期生。 AZ-900
Yael @yael_krefft
2K Followers 5K Following 🍓 A little sweet, a little sassy, a whole lot of fun... for the grown-ups 💃
R @Mani07313562
271 Followers 775 Following PhD student at the university of Osaka @UOsaka_en Developing tensor network methods and simulating quantum systems.
ynqa @_ynqa
115 Followers 49 Following
Alexa | Startup found... @alexabelonix
24K Followers 15K Following I quit my job at a big bank to build startups. Failed 2. Won 10+ hackathons. Helping founders get first users with my workbook, X growth plans & AI sales SaaS.
chiaoi @_chiaoi
547 Followers 266 Following AWS(AWS Community Builders - Machine Learning)/最適化(AtCoder: Algo青, Heu緑)/Rust/Nix/Neovim/Computer Architecture
裕枝 @SigridTyle98364
6 Followers 232 Following こんにちは！(｡･ω･｡)ﾉフォローお願いします！DMでお返事しますね！ 独身、新しい友達がほしいです(＾▽＾)一緒にお話しましょう！
Aki Zzz @aaki36011407
87 Followers 360 Following Linuxが好き OS: Arch Linux,NixOS, DE: xfce4 or sway or niri, editor: neovim, keyboard HHKB
バトルプログラ... @petitstb
981 Followers 1K Following 情報技術系とか音楽とか頑張るます。 seccamp'25next 聴いてる曲→https://t.co/QF3LhRAruu GitHub→https://t.co/V1ZpnenzAO
Rahul Atlury @atlury
52 Followers 2K Following I am an electronics engineer with interests in preserving the knowledge of yesteryears for future generations
Itto @itto_hiramoto
38 Followers 135 Following Interested in compilers, concurrency, search infrastructure, and backend systems Cybozu Labs Youth 15th / Rakuten TECH Camp 2025 / u22procon 2022 Prize Winner
moozwen @moozwentech
2 Followers 14 Following Software Engineer / Python / ZKP 設計＆開発から紙描きまでやります。 趣味でゼロ知識証明（zk-SNARKs）を Rust で実装しています。
こころ@ITエージ... @pt_kokoro
3K Followers 609 Following IT業界のリアル＆エンジニアのキャリア戦略をぶっちゃけ発信｜ ITエージェント業界の裏側も隠さず話します🔥|業界トレンド,スタートアップニュース,エンジニアの市場価値向上について毎日解説✉️|株式会社Branding Engineer（RAチームリーダー）→ROSCA株式会社1人目営業|キャリアの相談はDMへ
S.S｜FPGA設計開�... @saihara_fpga
366 Followers 443 Following 「動くけれど壊れる」設計を減らしたい。 CDC・タイミング・SPI/UARTなど、 FPGA設計でつまずきやすいポイントを実務ベースで解説しています。 FPGA初心者向けの入門書をZennで公開中👇 https://t.co/ivvGPAyudF
L'MPI_nran @RIKIpqrin
3K Followers 3K Following とある日本の大学生/数学と言語学/JOL'22🥉'23🥈'24🥇'25オープン1位🏅/銃剣道三段 '23鹿児島国体銃剣道競技少年男子6位/
Conao3 @conao_3
2K Followers 1K Following Emacsのパッケージ書くなど。Emacs, Elisp, Clojure, Common Lisp,,, トヨクモ株式会社のClojurian/ #ブルバ100
skytomo🪼 @skytomo221
2K Followers 2K Following いつも混乱しています。ゲーム以外のすべてをプレイしたいです。ほどほどにVRChat。絵を描きたいし、音楽を作りたい。ロジバンとトキポナが好き。 🪼 #kosen15s
🐿りすりす/TwoS... @TwoSquirrels
2K Followers 2K Following 大学生リスグラマ | scitokyo24B/工/IEE,traP | 絵垢: @risquirrels | C/C++,JS/TS,Java/Kotlin | https://t.co/IzrHaOm0tP 💙 | ゲームやサイトを開発していますわよ
八取 來亜 @Raia_Hattori
23 Followers 91 Following ハットリ・ライア 大学で情報学について学ぶ。主にサイバーセキュリティの講義を受け、現在は技術系ブログサービスでポエムを書き漁る仕事に従事(予定)。言語はRustとTypeScript、環境はLinux(特にArch LinuxとNixOS)とNeovim推し。
H1rano @za_rodinoy
422 Followers 493 Following
ルートる@CTF動�... @lutoru161534
7 Followers 10 Following YouTubeでpioCTFの動画を上げてます。 https://t.co/T5KeYrNGdI ITセキュリティ(CTF等)初学者です。 基本フォロー返します
英文学をゼロか... @shakespeare_ni_
12K Followers 13K Following 某私立大学の英文科を中退し、弱小出版社で営業マンとして働いているシェイクスピア(54歳)が、これまでの不勉強を反省し、ゼロから英文学を学んでゆく道程を記録するためのアカウントです。
Yoshi's Dreamチャ�... @TTRS_Yoshi_KU
438 Followers 379 Following NYG34th → 京大電電 → 京大院 通信情報 M1 / 医陸上 + KMC(47th) + KU-Tetris / 3DCG（描画処理等），テトリス，競プロ，けもフレとかやってたり @TTRS_Yoshiの大学垢！ / CG垢: @TTRS_Yoshi_CG / 趣味垢: @RunningOutRate
mattn @mattn_jp
48K Followers 3K Following Long-time #Golang user&contributor, @GoogleDevExpert Go, #Vim, #Windows hacker, ex-GitHubStars, #runner. https://t.co/t2LBoi4Gu9 発言はほぼ冗談です
物理好き @butsurizuki
12K Followers 13K Following ND73→KUEE→KUinfoM2 音ゲー:ウニ99.72未鳥メロ⬛️ 理1127+黒41 定数調査班 SDVX∇暴20.0 競プロ:ｽﾊﾟｺﾝ'18優勝 JOI'19'20春 ICPC'24'25WF AtC橙1m橙3/H橙4 CF濃橙(は?)m濃赤 たまに:麻雀 OMC青 アイコン: @MA23_96
はすじょい (hsjo... @hsjoihs
11K Followers 8K Following セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師；東大既仏→Stanford 学部（数学・物理学）・修士（応用・工学物理学）卒業；NandGame和訳；ZEN大学教員「オートマトンと形式言語理論」「論理回路概論」@sosoBOTpi と同一
🈶うひょ🤪✒�... @uhyo_
14K Followers 2K Following 👨💻駆け出し TypeScript 6.0 エンジニア✨ it/it. 🤓TechFeed公認エキスパート 🐺月下人狼🚶♂️https://t.co/TFIkctYMdB 💻IS15er/CS17er（元小林研）｜🏮元103 『プロを目指す人のためのTypeScript入門』好評販売中
sat @satoru_takeuchi
26K Followers 107 Following Rook(メンテナ)/TopoLVM(メンテナ) 「Linuxのしくみ 」著者 https://t.co/YFiXtxxkef youtube https://t.co/p0tfQ1ziRX
英語R再履ばー�... @baseluniv
1K Followers 1K Following knzwに敗北/理学部B4-1組🇫🇷/KairA/京音/大な同/PCゲー垢→@haru_mathmatics 音ゲー垢→@baselotoge 最近作った縮小？サブ垢？→@baselsmall/学生証再発行カウンター：1
hikalium @hikalium
14K Followers 1K Following Fully-stuck Operating System Software Engineer at Google ( ChromeOS ) / 早大情報理工←学芸大附高 / WasabiOS / https://t.co/2C4XlSy922 / Opinions are my own
chokudai(高橋 直�... @chokudai
65K Followers 16K Following 競技プログラミングの会社の社長です！ AtCoder(株)代表取締役社長/競プロ世界ランカー(GoogleHashCode優勝、ICFPC優勝7回等)/たこやき/ぷよぷよ/ブルアカ(ホシノ/イズナ推し)/DDR SPノンバー皆伝/筑駒中高→慶應SFC卒/NewsPicksプロピッカー/sub:@chokudai_s
わっしー @wasshi_kuee1
1K Followers 1K Following
ferrarin @marcoferrarin_
10 Followers 63 Following low-level and embedded software 30歳を超えて組み込みエンジニアに挑戦中
Hal @hal_spidernight
437 Followers 464 Following Software Engineer | Vue.js Nuxt Rust AWS | Contribute @vuefes
やんく @i_am_not_fugu
699 Followers 1K Following ふぐではありません！！ yank.nvimです seccamp2024 S13 AP nostr: npub1yank796utnl96u9437fa74qjekkj3fggarnvytwaszf02pex2u4qgnsmdt マジック→ @fugu_plays_mtg
コーヘイ| クラ�... @kinmakujoudo
242 Followers 902 Following クラウドエンジニア。 28歳 Cloud Tech永久会員。 Rare TECH 57期生。 AZ-900
R @Mani07313562
271 Followers 775 Following PhD student at the university of Osaka @UOsaka_en Developing tensor network methods and simulating quantum systems.
ynqa @_ynqa
115 Followers 49 Following
みずの@ゆる言�... @yuru_mizuno
80K Followers 82 Following 言語について語るYouTube、Podcast「ゆる言語学ラジオ」のスピーカー。Podcast「神保町で会いましょう」のパーソナリティ。ことばの雑学をつぶやきます。著書に『言語沼』『きょう、ゴリラをうえたよ』。新刊『会話の0.2秒を言語学する』好評発売中！ 国語辞典通読勢
Ring Minus Security @RingMinus
390 Followers 0 Following 「OS より下のレイヤー」に特化したセキュリティコミュニティ (BIOS, ハイパーバイザー, ハードウェア, etc.)
chiaoi @_chiaoi
547 Followers 266 Following AWS(AWS Community Builders - Machine Learning)/最適化(AtCoder: Algo青, Heu緑)/Rust/Nix/Neovim/Computer Architecture
Aki Zzz @aaki36011407
87 Followers 360 Following Linuxが好き OS: Arch Linux,NixOS, DE: xfce4 or sway or niri, editor: neovim, keyboard HHKB
水科美菜@猫又VT... @MinaMizushina
1K Followers 966 Following 事務作業やシステム関連の、自動化・省力化とか、業務改善関連、あとはゲームとか。叱られる内容のゲームの自動化はしません。 // RPAチョットデキル // VTuberをやるかもしれません。メタバースとかも。 // 中の人なんていません。いいですね？中の人なんていませんからね？ // 姉→ @RisaMizushina
Itto @itto_hiramoto
38 Followers 135 Following Interested in compilers, concurrency, search infrastructure, and backend systems Cybozu Labs Youth 15th / Rakuten TECH Camp 2025 / u22procon 2022 Prize Winner
たけのこ @7_taKeNoko
2K Followers 3K Following 白猫テニス古参勢☀️フラン,リリー,ルカ,ルチア推し😊このすばアクア推し🥳ポケスリ/白テニ/ユナイト/ぷよぷよ/転スラ/ゆるキャン△/約ネバ/ワールドトリガー/夏目友人帳/ログ・ホライズン/このすば😋硬式テニス🎾将棋🍵コメダ珈琲店が大好き☕️
☃️じぇら〜と... @Comet_Gelato
294 Followers 4K Following アイコン 君乃あるじ(@Aruji_kimiNO0)様よりお借りしました! そこそこの頻度でなにか言います。 最近はチバリヨ2の人。 VTuberさん、ぼざろ、淑女の嗜みが大好きなお兄さん。雪民、星詠み。 レートとか オンゲキ MAX16.67 チュウニズム MAX17.26 Arcaea MAX12.51
moozwen @moozwentech
2 Followers 14 Following Software Engineer / Python / ZKP 設計＆開発から紙描きまでやります。 趣味でゼロ知識証明（zk-SNARKs）を Rust で実装しています。
S.S｜FPGA設計開�... @saihara_fpga
366 Followers 443 Following 「動くけれど壊れる」設計を減らしたい。 CDC・タイミング・SPI/UARTなど、 FPGA設計でつまずきやすいポイントを実務ベースで解説しています。 FPGA初心者向けの入門書をZennで公開中👇 https://t.co/ivvGPAyudF
Conao3 @conao_3
2K Followers 1K Following Emacsのパッケージ書くなど。Emacs, Elisp, Clojure, Common Lisp,,, トヨクモ株式会社のClojurian/ #ブルバ100
🐿りすりす/TwoS... @TwoSquirrels
2K Followers 2K Following 大学生リスグラマ | scitokyo24B/工/IEE,traP | 絵垢: @risquirrels | C/C++,JS/TS,Java/Kotlin | https://t.co/IzrHaOm0tP 💙 | ゲームやサイトを開発していますわよ
八取 來亜 @Raia_Hattori
23 Followers 91 Following ハットリ・ライア 大学で情報学について学ぶ。主にサイバーセキュリティの講義を受け、現在は技術系ブログサービスでポエムを書き漁る仕事に従事(予定)。言語はRustとTypeScript、環境はLinux(特にArch LinuxとNixOS)とNeovim推し。
百谷涼花 @pepepper_cpp
679 Followers 206 Following プレイヤーがステージから落ちてしまうと プレイヤーはステージからキューブを落とさないように沈めていかなければならないのです
nmoon @_nmoon__
2K Followers 1K Following OMC黄/AtC緑/OMC065/RN62→京理B1/広中杯'22🥉/浜松'24 🥉/科甲13th,14th/音ゲー→@nu_nun35/超かぐや姫
H1rano @za_rodinoy
422 Followers 493 Following
ルートる@CTF動�... @lutoru161534
7 Followers 10 Following YouTubeでpioCTFの動画を上げてます。 https://t.co/T5KeYrNGdI ITセキュリティ(CTF等)初学者です。 基本フォロー返します
英文学をゼロか... @shakespeare_ni_
12K Followers 13K Following 某私立大学の英文科を中退し、弱小出版社で営業マンとして働いているシェイクスピア(54歳)が、これまでの不勉強を反省し、ゼロから英文学を学んでゆく道程を記録するためのアカウントです。
雷之電.rs@古明�... @lunaticlives
1K Followers 1K Following 小説とゲーム作ってる人 心理学部4年 骨髄移植5年目 VRC: @VRCrainoden 一次創作: https://t.co/CElRmabCgJ めろん: https://t.co/0GlCkjOWz4
ぷり @puripuri2100
2K Followers 2K Following 好き：(SATySFi / LaTeX(TeX) / OCaml / Rust / ペンシルパズル / 3ディアと7ボール / カメラ)・歴：(15代目JGK部長 / 8代目パズ研部長 / 76赤庶務C / ITF. coins22 AC / AC部屋 / WORD編集部 / KDE)Trends for United States
You might like
な
@n__907
468 Followers
K
@Arizona_no1
161 Followers
カユイ✨
@ryukayuiii
214 Followers
まな
@Mana__26_
152 Followers
あるごんどらご...
@CloseDragon1
189 Followers
kanyamo
@kanyamo4
319 Followers
fluorine/競プロ
@fluorine_0728
479 Followers