仮想カバ | Rustで競プロ

ソフトウェア技術者 | AtCorder A 🟩 H 💧 | データベーススペシャリスト | ネットワークスペシャリスト | 応用情報技術者 | ソフトウェア設計 |競技プログラミング | AWS | AWS CDK | Rust | ポストに関しては私個人の意見であり所属している団体とは一切関係がありません。

[仮想カバ | Rustで競プロ @_virtual_hippo]

2026年の目標

[仮想カバ | Rustで競プロ @_virtual_hippo]

◆2025年の目標
・1か月を振り返るnoteを毎月書く
・かとじゅんさんのアクターライブラリとdynamodbをイベントストアとする際のRust用のアダプタを使ったプログラムを書く
・5kg痩せる
・AtCoder 1200AC 目指す(今は 892 / 1200)

[仮想カバ | Rustで競プロ @_virtual_hippo]

EC2弁当、S3おにぎり。
どんな味がするのだろうか。

[みのるん @minorun365]

できたよ！

[k.goto @365_step_tech]

最近cdkdばかりですが、cdk-real-driftもおすすめです！(あんまり反響ないと思って最近触れてなかったが、業務で使ってくれていると言っていただいたのでポスト)

cdk driftコマンドでは検出できないCDK未定義プロパティのドリフトも検出でき、記録/差し戻し/ignoreできます！
https://t.co/nqDJ56o1LQ

[仮想カバ | Rustで競プロ @_virtual_hippo]

途中からだけど久しぶりにABC参加した
Rust書くの久しぶりだった
というか、プログラミング自体めっちゃ久々にした

[Manabu Ueno @manabuueno]

https://t.co/g7FF7J0QDb

[仮想カバ | Rustで競プロ @_virtual_hippo]

すごすぎる

[naoya @naoya_ito]

入青しました!!!
oceajiggerさんのAtCoder Beginner Contest 465での成績：923位
パフォーマンス：1696相当
レーティング：1591→1602 (+11) :)
Highestを更新し、2 級になりました！
#AtCoder #ABC465 https://t.co/DQjRsm4B87

[仮想カバ | Rustで競プロ @_virtual_hippo]

最近マルチタスクかつ高い波が重なりすぎて、「あえて申し上げます。助けてください。」状態になっている。

[仮想カバ | Rustで競プロ @_virtual_hippo]

TAKTは、その本来の機能はもちろんですが、成瀬さんの経験が詰め込まれた facets だけでも、とてつもなく有用です。本当にありがとうございます。

[nrs @nrslib]

私の恨みつらみが人を導く光に

[仮想カバ | Rustで競プロ @_virtual_hippo]

ビジネスしてる以上、自分の割いたリソース、コスト、寿命が会社、社会、お客様、ステークホルダーにどれだけ還元されているかは意識しないといけない（いつの時代も変わらない当たり前なことだと思うが）

[仮想カバ | Rustで競プロ @_virtual_hippo]

「わかるなあ」というのと“エンジニアに費やすトークンコストに比べてアウトカムは得られているのかな？"とうのもわからない。

[Takuto Wada @t_wada]

"エージェントに費やすトークンコストに比べてアウトカムが得られてない" ほんとこれ

[仮想カバ | Rustで競プロ @_virtual_hippo]

なまじ、金さえかければ高速にコードを増やせるようになったせいで（トライアンドエラーを高速にできるようになったせいで）、これまででは考えられないリソースの使い方してるとは思う。

[仮想カバ | Rustで競プロ @_virtual_hippo]

一方で、「LLMが活躍する前は健全だったか？」と言われると、YESとは言い切れない感覚もある。

[仮想カバ | Rustで競プロ @_virtual_hippo]

プロダクトのフェーズや、チーム体制、扱っているドメインなどによって適切な解は変わるが、いきなり、イベントソーシングにせずにステートソーシングから始める方が良い気がする。
イベントソーシングを第一案とすると、多くの場合でオーバーエンジニアリングになりそう。

[farstep @farstep_]

https://t.co/fLIm4rlzco

[仮想カバ | Rustで競プロ @_virtual_hippo]

こちらには本当にお世話になってます。道を踏み外そうなときに、何度も支えてもらってます。

[nrs @nrslib]

私の AI への怨嗟がこもった「恨みつらみ.txt」です
ご査収のほどよろしくお願いします

https://t.co/J5ehXKDqw0

[仮想カバ | Rustで競プロ @_virtual_hippo]

全てを吸い込む闇の引力で、汚物処理してくれるの海賊王の器だな

[まっつん @From_North_Blue]

私の考えるONE PIECE最強保育団

[k.goto @365_step_tech]

リポジトリはこれです。
日本語でスキル書いてあるので、見るだけでも役に立つと思います。

ここに、今後テスト以外のCDKに関するスキルを入れていきたいと思います。
https://t.co/QtxENvbvHB

[仮想カバ | Rustで競プロ @_virtual_hippo]

20年もすると人は変わるというが、90年くらい生きてたら変わらんのかな
身近にサンプルがいないからわからん

[.Log【ワンピース考察】 @manganouA]

麦わらの一味＆ヤマト&兄'sの
40歳&60歳まとめ🏴‍☠️
(フランキーは50歳&70歳)
(ブルックは110歳&130歳)
(ジンベエは60歳&80歳)

[仮想カバ | Rustで競プロ @_virtual_hippo]

tmux だけで大体完結するな
コードレビューはGitHubでしてる
たまーに、VSCode使うくらい
チラッとファイル読みたい時はvim
VSCode 使わなくても、検索できるスタイルになりたい

[Keisuke Nishitani @Keisuke69]

どうでもいい話なんだが、2026年も折り返し近いが、AI使ってコード書く上でのエディタ・IDEの最終形態、みんなどこに落ち着いてるのか
Cursor、VS Code + Claude Code、ターミナルでClaude Codeなど
ちなみに僕はアプリかVS CodeでClaude Code、に落ち着いてる
最近はアプリでCodexも使う

[仮想カバ | Rustで競プロ @_virtual_hippo]

moonbit で実装されてる…！

[ushironoko @ushiro_noko]

ちなみに理論上可能とされている6v6シングルバトルのナッシュ均衡解を求める実装がこちらです

https://t.co/ENdgBY21m8

[仮想カバ | Rustで競プロ @_virtual_hippo]

二分探索や遅延伝播の実装はまだですが。

https://t.co/qPTpBVbb4G

作用モノイド？もまだよくわかっていない

[仮想カバ | Rustで競プロ @_virtual_hippo]

GW前半サボりすぎたから、Claudeくんとモノイドの勉強して取り返している。
関係ないけどキーボードの掃除もした。