kanenobu

全てのツイートは個人の感想です

[𝙎𝙐𝙈𝙈𝙀𝙍 @SourpussFJ]

共感をやめろ 異なる立場から他人を救え

[kanenobu @mkane_1000]

西の空にめちゃ明るい光源があって調べたら金星っぽい

[VCスタートアップ健康保険組合 @startupkenpo]

https://t.co/cvMZkJ3Ni2

[kanenobu @mkane_1000]

会社でインタビュー受けたので、気になる方いたら連絡お願いします！

[VCスタートアップ健康保険組合 @startupkenpo]

https://t.co/uWTUCicJVF

[NAKAMURA Atsushi @nuits_jp]

Amazonが出社に戻したとき、定量的な根拠はあるのか？と従業員に聞かれて、経営者が「ない。経営者のカンだ」って答えてたの、潔いし、一周回って誠実ですらある。

[kanenobu @mkane_1000]

macの三本指ドラッグオプションを有効にしたらQoLが上がった
https://t.co/aOkChS0EZN

[kanenobu @mkane_1000]

アキヨド行ったら買おうと思ってたものの在庫が池袋店にしか無いって言われてどうしようかなあ

[kanenobu @mkane_1000]

自然言語による仕様定義がナンセンスなのは同意

その上で一般的なレベル感の人が形式手法を扱うのはLLM経由だとしても難しいんじゃないかと思うものの、それは仕様を定義すること自体の本質的な難しさが適切に表出してるだけだよなあと思ったりもする

[mizchi @mizchi]

仕様駆動開発に対して洞察が深まってきた。
正本を自然言語で書くべきではなく、Lean などで形式的に書いて、それを常に真として可読ドキュメントとテストオラクルを生成させる。実装はそれをパスするように書く。

仕様の追加/問い合わせは LLM を通して形式的なモデルを介して行う

[kanenobu @mkane_1000]

なにこの仕様
https://t.co/jAM2Iut5Oo

[kanenobu @mkane_1000]

キュレルの泡ボディソープを使ってたけど高かったのでアマゾンの安いのに買えたら思った以上に微妙

[Vercel @vercel]

You can now run any Dockerfile on Vercel.

# 𝙳𝚘𝚌𝚔𝚎𝚛𝚏𝚒𝚕𝚎.𝚟𝚎𝚛𝚌𝚎𝚕
𝙵𝚁𝙾𝙼 𝚐𝚘𝚕𝚊𝚗𝚐:𝟷.𝟸𝟺
𝙲𝙾𝙿𝚈 . .
𝚁𝚄𝙽 𝚐𝚘 𝚋𝚞𝚒𝚕𝚍 -𝚘 /𝚜𝚎𝚛𝚟𝚎𝚛 .
𝙲𝙼𝙳 ["/𝚜𝚎𝚛𝚟𝚎𝚛"]

https://t.co/xOUMi4zxpD

[kanenobu @mkane_1000]

最近mac標準のIMEが微妙すぎるのでazooKeyに乗り換えた

[kanenobu @mkane_1000]

聞かれたことに答えるというのは案外高等なスキルなんだなあというのを最近よく思う

[kanenobu @mkane_1000]

近所にユニクロが欲しい

[kanenobu @mkane_1000]

PS5のコントローラーがドリフトし始めた
次買い換えたら4代目なので最初からDualSense Edge買ってた方が安くついたなあ

[関宮 @sekimiya]

コーディングが生成AIである程度自動化されたことで割とごっちゃにされてた実装スキルとCS的素養（後者を持ってる人間は前者が基本的に高いが逆が成立しないことはこの前提より高い気がしている）が分離され始めた気がしていて個人的にはこの流れは割といいんじゃないかと思ってるんですがどうなんですかね

[Brandon K. Hill | CEO of btrax 🇺🇸x🇯🇵/2 @BrandonKHill]

今アメリカでかなり話題になってる、ワートンとボストン大の経済学者2人が、何も変えなければ、AIは確実に経済を壊すことを数式で証明。タイトルは「The AI Layoff Trap」。このままの流れで解雇が進むと、消費が極端に冷え込み、世界恐慌が訪れる。僕の考察を含めスレッドで解説します。↓

[kanenobu @mkane_1000]

アンソニー・キーディスとアンディ・サーキス

[kanenobu @mkane_1000]

個人で運用しているNext.jsアプリ、Cloud Runに乗せてるけどコールドスタートが気になるのでVercelに持っていこうかなあ

[kanenobu @mkane_1000]

中村佳穂がVRChatやってて謎
喋ってるのと歌ってるのが地続きですごい
https://t.co/ExXcdptsMf