ねこ
TL
Joined July 2010
- Tweets59K
- Following916
- Followers541
- Likes95.2K
まいく / 猫, 幼児, Engineering Manager retweeted
これマジでおすすめです。
ロボット始めようという個人法人問わず
最初の入門編として肌感覚を養うのに最高の教材です。
Amazonで適当にロボット入門とか探してハズレ探すより
これ選んどけば問題ないです。とにかくこれを買え。
まいく / 猫, 幼児, Engineering Manager retweeted
わかる
ImageMagickとかsharpとかをアプリケーションサーバー上で動かすのは今の大脆弱性時代は怖すぎる
面倒でもユーザーから渡された画像の処理は別サーバーでやるようにしてる
まいく / 猫, 幼児, Engineering Manager retweeted
ここ1ヶ月くらいはChief of Staff というか、自分が常に話しかけるエージェントを1個おいて、これはずっと同じセッションで動いている（たまに /compact する）、必要な仕事は herdr で他のエージェントを立ち上げて元のエージェントは全部それを把握してる、みたいにしててとてもよい #rebuildfm
まいく / 猫, 幼児, Engineering Manager retweeted
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
まいく / 猫, 幼児, Engineering Manager retweeted
違うんです。みんなが気にしていなかっただけで、ウェブサーバやその上で動くウェブアプリケーションに携わる人達は、これまでずっと脆弱性と戦ってきたんです。
日々、脆弱性が報告され、そのたびに自分達のシステムへの影響の有無を判定し、影響があればパッチを当ててアップデートする。ログを監視し、アタックがあればブロックし、バグがあれば修正し、そしてまた次の報告が来る。何も起きない日は誰にも気付かれないし、褒められもしない。それでもインターネットが動き続けてきたのは、完璧なプログラムがあったからじゃなくて、壊れるそばから直し続けてきた人達がいたからなんです。
ただ AI の登場で、脆弱性を見つけて突くスピードが一気に上がって、直すスピードより壊すスピードの方が速くなってしまっただけなんです。
これからは、サーバアプリケーションを作る人達も AI を使って直すスピードを上げ、先を予見して穴を塞いでいかなければなりません。今はちょうどその過渡期なのです。
私は50年近くプログラミングをやってきたけれど、脆弱性のないプログラムを書くことは難しく、自分の技術力では到底たどり着けない領域だと感じていた。
それでも、世界には自分など及びもつかないほど頭のいい人たちが大勢いて、そういう人たちが書いた堅牢で美しいプログラムによって、インターネットという巨大な仕組みが支えられているのだろうと、どこか楽観的に信じていた。
自分にはできなくても、きっと誰かにはできるのだろうと、長いあいだ思っていたのである。
しかし、今日の騒動を見ていると、どうやらそうでもなかったらしい。
人類は月に人を送り、何十億もの人々が瞬時につながる世界を作り上げ、ついには人間のように言葉を操るAIまで生み出したというのに、それらを支えるプログラムから脆弱性をなくすという、一見ささやかな願いさえ、いまだに叶えられずにいる。
人類には、脆弱性のないプログラムを書くことは、まだ難しすぎた。
今日ぐらいは、そんなクソデカ主語で語っても許されるだろうか。
まいく / 猫, 幼児, Engineering Manager retweeted
対応必須なので各位踏ん張っていきましょう / PHPの重大な脆弱性「php2shell」（CVE-2026-109618、CVE-2026-109619）の概要と対応指針
blog.flatt.tech/entry/php2sh…
まいく / 猫, 幼児, Engineering Manager retweeted
クレカ情報の一部漏洩ですが、
「うちはStripe使ってるから大丈夫」と思ってる開発者も
明日はマジで我が身です
PCI DSS（カード情報取り扱いのセキュリティ基準）だと名義・期限・下4桁あたりは保持することが許容範囲となっていて、
Stripeでもこのあたりの情報はAPI経由でスッと取れます
たとえば依存ライブラリの脆弱性を放置して任意のコードを実行できる状態になっていたら環境変数を抜かれて漏れるかも
そういう意味でも気楽にバイブコーディングして課金までやるなら、アプリ内課金ができるモバイルアプリの方が手を出しやすいよな
まいく / 猫, 幼児, Engineering Manager retweeted
Lambdaがローンチされて12年、ついにこれが実現されたのか
Cloudflare Workersと比べてどうなんだろう？
あとついにAmplify滅することができるのでは？
久しぶりに後から試したくなるアップデート
見たところ、Workersとはわりと棲み分けっぽい。エッジで全世界に薄く速く返すならWorkers、Nodeがフルでそのまま動いてVPC内のRDSとかに繋ぎたいならWeb Functions。まあ近さではWorkersの勝ちかな。あと大事なこととしてWorkersはGit連携でpushしたらビルドしてデプロイされるけどLambdaにそれがない
Amplifyのほうも同じ。Lambdaだとビルドやプレビュー環境はGitHub Actionsとかで自前になる。だがこの辺はFargateとか使ってた人は用意してるだろう。まあ本当に滅するにはLambdaにGit連携が来てからかな
コールドスタートと、メモリ課金込みの実際の請求は試してみないとわからん
aws.amazon.com/jp/blogs/aws/…
