抹茶

40台のITエンジニア。最近はvibe programer。
2024年までは競プロにハマっていた。最近やってません。highest 1410

[抹茶 @MazdaTProg]

ギリギリ入水しました！

MazdaTProgさんのAtCoder Beginner Contest 276での成績：1370位
パフォーマンス：1271相当
レーティング：1193→1201 (+8) :)
Highestを更新し、4 級になりました！
#AtCoder #ABC276 https://t.co/sVZhzTFEYM

[抹茶 @MazdaTProg]

究極、AIとそのベンダーの暴力的な知的能力によって、人類全体が知的な家畜化してしまうなら致し方ないしね。人類の問題。
と言ってもエンジニアの仕事はシステムの曖昧さを潰すこと、仕様を決めて動かすことと思っているので、自分が死ぬまではあるんじゃないかなーと最近は楽観している。

[麦 ⌇Baku @_baku89]

プログラマーの方々の全体的な傾向として自分が感心しているのは、プログラミングによってプログラマーという職能が代替されそうな時に、淘汰されるのであれば仕方あるまい、とそそくさと諦めているところ

共感はしないけど、（ハッカーに比較的多い）リバタリアン／新自由主義者として筋が通ってる

もう少し実存的危機に陥ったり、お気持ち表明してみたり、アーツ・アンド・クラフツ運動みたいな言説をしたり、一部の士業のようにレントシーキングしたって人間臭くていいのに

[抹茶 @MazdaTProg]

法的にギリセーフで何もまずい情報に触っていなくても、「御社のシステムは想定外利用が可能です」なんてデモンストレーション見せられたら対策せざるおえなくなる。

[抹茶 @MazdaTProg]

法的なあれは知らんけど、こういうふざけたハックをされないために、サイゼリア社としては早急にシステム刷新が必要だな

サイゼリアには本業以外のところに金かけて欲しくないんだが…高くなるし

[nakasyou @nakasyou0]

代替クライアントアプリで注文に成功したのと、サイゼリヤ cli を作ることによっておすすめデザートを Codex に注文させることに成功した！会計は代替クライアントでやった

[nakasyou @nakasyou0]

代替クライアントアプリで注文に成功したのと、サイゼリヤ cli を作ることによっておすすめデザートを Codex に注文させることに成功した！会計は代替クライアントでやった

[抹茶 @MazdaTProg]

そうなったら量子暗号の時代が来るのでそれはそれでいいか。社会はむちゃくちゃ混乱するだろうけど。

[抹茶 @MazdaTProg]

mythos「...以上によりP=NPです。本当にありがとうございました。」

[抹茶 @MazdaTProg]

iOSアプリケーション。やっと再審査出したけど、もう次に作りたいアプリ案が出てきてしまった。作るしかない。。。なぜならvibe codingが楽しいからだ。

[抹茶 @MazdaTProg]

今日のテストで再審査だすぞと思ってたら画面で納得いかないところ発見。またSonnetかcodexを蹴飛ばすしかない。

[抹茶 @MazdaTProg]

競プロもう忘れちまった。ハマってた3年間はなんだったのか。まぁLLMが青ぐらいなら解けるぐらいになっちゃってもういっかーってなってしまった。

[抹茶 @MazdaTProg]

なんやかんやまだ審査通せてない。
まぁ、ジオフェンスが主のアプリなのに実機テストが不十分だったね。反省。でも安定稼働するように合ってきた

[抹茶 @MazdaTProg]

絶対にここはrouter.replace()じゃなくて、router.back();router.push()だろうが、テメーの言う通りだとUIに統一感がないんじゃド低脳AIが！
という体でSonnet4.6を言い負かした。いい感じ。まぁわしがケチくさくSonnetを使っているのが悪い。

[抹茶 @MazdaTProg]

俺が使ってて、作業効率低くて10倍、高くて50倍。多分もっともっと界王拳できる人はいる。やばすぎる世界観

[抹茶 @MazdaTProg]

vibesを感じた12日間だった。その前にもアプリを一つ作っていたけど自分の個性が出過ぎていて結局没にしてしまった。こっちも同じぐらいやったかな

[抹茶 @MazdaTProg]

こういうの欲しいなーと思ったアプリをclaude code（sonnet4.6が主）を駆使してreacti native でiOSアプリを作って提出。

最初のコミットから12日でリリース多分実働は20時間切ってる。2、3人日。
多分同じものを2025年初頭に作ろうと思ったら2、3ヶ月はかかると思う。

[抹茶 @MazdaTProg]

実数が完備であることの言及も必要かな

[抹茶 @MazdaTProg]

有理数乗を定義した後に、有理数の稠密性を述べて、
√2-(1/2)^n< p_n <√2
√2< q_n <√2+(1/2)^n
となる有理数列p_n,q_nを選んで、
2^p_n<2^√2<2^q_n
の式をε-N論法で厳密にいけるかな？

しかし高校生にこれ口頭説明か…すごいな…

[林檎ちゃ @apple_tea_pink]

令和8年度京都大学理学部数理科学特色入試を受けて―林檎ちゃ｜林檎ちゃ @apple_tea_pink https://t.co/uU8f5PwHCQ

[抹茶 @MazdaTProg]

OB的には女子枠とか意味わからん

[抹茶 @MazdaTProg]

受験生期も部分積分なんて覚えてなかった気がするなぁと思ったけど、関数積の微分は覚えたけどこっちは毎回導出してたわ。
なるべく覚えることを少なくする作戦で戦ってた気がする

[抹茶 @MazdaTProg]

Calude3.7がエグすぎたのでOpenAIは解約してAnthropicに変えた。
というか、今後どういう風に仕事しているのか全くイメージわかない。もうこいつに全て書かせておけば良くない？

[抹茶 @MazdaTProg]

天才「余白が足りないので証明略」
俺「ふえええ、ここの証明略が意味わからんよー、助けてーAIえもんー」
AIえもん「説明しよう！」
という世界観になったと思えばすごい時代だ