keke

[鯖 @Thavatter]

すごい文章だ
https://t.co/JdCLCF7OPf

[Nick Walton @nickwalton00]

i trained the fly to solve rubiks cube

is there anything this little guy can't do?

[Haruki Yano / Haruma-K @harumak_11]

優れたエンジニアリングはエンジニアを信用しない、という記事
https://t.co/nNgTiLleAD

・工場の現場で働く人々は、ソフトウェアエンジニアを信頼していない
・紙の上で完璧に動くモデルが、ほこり、部品の微妙な違い、人為的な操作、気温などの現実世界の環境変化に対応できないことを知っているからだ
・優れたエンジニアリングは、そのように人間が間違えるという前提に立ってプロセスを構築する
・NASAや航空産業、原子力発電所などは、エンジニア個人を信頼せず、危険分析や要件の追跡可能性、独立した検証など、個々人が去った後も残る証拠や仕組みを用意する

・AIがコードの作成、デバッグ、リファクタリング、テスト生成までこなすようになり、開発者は自分の仕事の本質を問い直している
・キーボードを奪われてアイデンティティが失われるなら、これまでは単にコーディングすること自体がエンジニアとしての正体だったことになる
・1968年にソフトウェアエンジニアリングという言葉が生まれたときは危機に対応するための規律を求めたものだったが、現在の業界は肩書きだけを残してプロセスを極端に簡略化してしまった
・コードが唯一の現実とされ、要求はチケット、安全性はプルリクエストのコメント、検証はリリース後の監視に成り下がっている
・これまでは優秀な開発者の記憶と判断力で弱いプロセスを補えていたが、AIが大量のコードを瞬時に生成するようになり、コードを絶対とする体制の限界が浮き彫りになった

・NASAのシステムエンジニアリングは実装からではなく、誰が何を求めているかというステークホルダーの期待から始まる
・仕様通りに作ったかを問う検証と、実際にその環境で目的を果たす正しいものを作ったかを問う妥当性確認を厳格に区別する
・仕様を完璧に実装してテストがすべて合格しても、システムとして間違っていることはよくある
・安全エンジニアリングは希望する動作ではなく、何が起きると危険かという問いから要件を設計する
・バルブの動作を制御する際、そのバルブが何のために使われ、故障したときにどれほどの損害が出るかというコードの外部にある結果から要件を設計する
・工場の現場でオペレーターがバルブが時々固まると指摘したとき、仕様書の記述を優先せず、モデルに何が欠けているかを問い直す

・本来、要件が義務であり、設計はそれを満たす論理的根拠であり、コードは具現化の一つにすぎない
・しかし現状はコードが唯一の真実になり、要件はチケットが閉じれば忘れ去られ、数ヶ月後には仕様を復元するための考古学が必要になる
・AIが生成するコードは内部的に一貫していても、根本の意図が間違っていれば、誤った動作をもっともらしいテストや説明で覆い隠してしまう
・多くのチームは同じ開発者に要件の解釈から設計、実装、テストの作成まで任せており、これは独立した証拠にならない
・NASAは第三者が分析する独立検証・妥当性確認（IV&V）を取り入れることで、開発チームの盲点を見つけている
・エージェントを複数重ねても、同じ不完全な要件やコンテキストを共有しているなら、単に同じ仮定を繰り返しているだけにすぎない
・テストの網羅率が100%であっても、要件が正しいことや環境に対して安全である証明にはならない

・コーディングをエンジニアリングの定義にするのをやめる必要がある
・システムを理解し、意図を明確にし、環境の制約を特定し、何が起きるかを事前に予測することが本質だ
・AIは危険性の提案や要件の構築、テストケースの作成などに活用し、エンジニアは不確実性の管理や、どこで人間の判断が必要かを決める役割を担う
・すべてにNASAの厳格さを求めるのではなく、リスクの大きさに応じた比例性が重要になる
・ReqProofはこの考え方を反映し、要件をコードより上のレイヤーに置き、意図と実装、エビデンスを関連づけて、AIが生成したものでも理由を追跡できるようにする
・NASAのFRETプロジェクトのように要件を構造化自然言語で記述して論理式に変換し、AIが生成したコードやテストでもその論理的根拠を検査可能にする
・優れたエンジニアリングは、開発した人間を盲目的に信用せず、その設計が正しいかを実世界で証明する方法を現場に提供することから始まる
・AIの台頭はソフトウェア開発の終わりではなく、私たちが本当のエンジニアリングを実践し始める契機になる

[ちみ☺︎ @omochi3183]

最近の4歳の疑問「みんな昔は赤ちゃんで、赤ちゃんは誰かにお世話してもらわないといけないでしょ？1番最初の人は誰がお世話してくれたの？」

[ライブドアニュース @livedoornews]

【研究】「ぼっち育ち」のオタマジャクシ、仲間に近づかなくなる 京都大学が発表
https://t.co/z6957GbkXO

アズマヒキガエルのオタマジャクシを、仲間と一緒に育てた場合と、1匹だけで育てた場合とで比較したところ、単独で育った個体は、少し距離を置いた場所に長くとどまる傾向が確認されたという。

[花 @Euphorbia10182]

どこで売ってるんだろう

[Shen @shenmacro]

AIによる雑用の駆逐が進むと、組織における若手の役割は「雑用をやってくれる」から「年齢構成を維持する上で必要であり、可愛い」にシフトしそうですね。つまり採用基準は

[면도 @myeondopyeong]

와이거몇년간 찾고있던 사진이었는데 드디어 찾아서 기쁘다
가쿠란이라 당연히 일본소년인줄알고 일본학생가쿠란학생가방비피하기<일어로치고 난리쌩쇼했는데 한국작가가 찍은 한국에서의 한국학생의 사진이라서 졸지에 파랑새는..내곁에 함

[ナガノ @ngntrtr]

@monomoonmonoyo 最近一気に買ったのは最強伝説黒沢です✌️

[Deer 🦌 aka xiegmund freudlian @VampireFaun]

EVERY APOTHECARY DIARIES EPISODE
court lady: EEE!!! THERE’S A GHOST SLAPPING MY ASS!!!
maomao: the fabric of your dress is a heavy material that slaps your ass as you walk. but the vibrations can cause a miscarriage
jinshi: i am openly in love with you
gaoshun:

[ستروبري @ItsStrawberriii]

مشيتي لاني دايم مستعجله

[Old Internet @OldInternetFeel]

When Björk assaulted a journalist who was harassing her

[nedjma @LaylaNajmiyya]

Gender wars are basically just reducing class issues into gender issues. I have more in common with the homeless guy at the train station than a female CEO

[女性声優 @ssig33]

これ、酷い言い方だけど、真理だよね。AGIとか言ってるバカどもがどれだけ身体性のことを忘れているか。

[いかり(泉) @bebebeBayes]

これまた面白そうな本が。
自由エネルギー原理って内部機構については道具主義的な解釈をするのが主流だと思いこんでたけど、実在論的な解釈をする勢力も一定数いるらしく、その辺も議論されてるといいな。心的概念の実在性を巡る議論の参考にもなるかも。
https://t.co/rG2ikY56XE

[cleo tams @tamsdefleurs]

*jerking myself off* what am i

[杉浦圭｜気になる街を増やす人 @B0482472380869]

純喫茶でゆで卵を食べてたら、隣のジジイに「独自の卵の割り方を持っている人に会ったのは君で4人目だ」と話しかけられた
誰に教わったのか聞かれたので「祖父です」と答えたら急に会話が終わり、帰り際にママから「ごめんね」と謝られた

[PC Watch @pc_watch]

Opus 5に迫る「DeepSeek-V4.1-Flash」無償公開、DeepSeekショック再びか https://t.co/AEptl8g7eu