DevPick

ニュース一覧(55ページ目)

未読: コンウェイの予想の証明をVibe codingで実現(新しいタブで開きます)

Hacker NewsHN投稿者: m-hodges
登録で表示

I Vibed a Proof of Conway's Conjecture

コンウェイの予想に関する証明を、Vibe codingという手法を用いて作成した取り組みが紹介されている

#研究・論文#生成AI活用・ツール
2026/9/18

未読: Bend 2とバイブコーディングの罠(新しいタブで開きます)

Hacker NewsHN投稿者: LiamPowell
登録で表示

Bend 2 and the Vibe-Coding Trap

Bend 2というツールや手法に関連して、バイブコーディングと呼ばれる開発アプローチが抱える問題点や罠について考察する記事

#生成AI活用・ツール#AIエージェント
2026/9/18

ローカルAIエージェントアプリ「LM Studio Bionic」に、大規模タスクでAIが過去の指示を忘れるのを防ぐ新機能「Introspection」が追加された

  • •Element Labsが9月17日に、AIが過去のチャット内容を忘れないようにする機能「Introspection」の追加を発表した
  • •この機能は、大規模なタスク処理においてAIのコンテキスト管理や指示の維持を支援するものである
  • •機能の追加先は、ローカル環境で動作するAIエージェントアプリ「LM Studio Bionic」である
#AIエージェント#生成AI活用・ツール
2026/9/18

未読: OpenJev(新しいタブで開きます)

Hacker NewsHN投稿者: ilreb
登録で表示
AI要約タイトルからの推定
「OpenJev」の要約ページ

OpenJevというプロジェクトやソフトウェアについて言及されているが、具体的な機能や背景は不明である。

#生成AI活用・ツール
2026/9/18

東急電鉄とパナソニックが東横線に、ホームのカメラ映像をAIで解析して運転手の判断を支援するシステムを導入する

  • •東急電鉄とパナソニック コネクトグループは9月16日、ワンマン運転の運転士がドアを閉める際の判断を支援する「乗務員支援ホーム監視AIシステム」を東横線に導入すると発表した
  • •システムはホームのカメラ映像をAIで解析し、乗降客や介助が必要な利用者の検出結果を運転台のモニターに表示する
  • •9月17日に綱島駅で運用を始め、代官山駅から横浜駅までの計20駅に順次導入される
#ビジネス活用事例#AIエージェント#生成AI活用・ツール
2026/9/18

豊中市教委が生成AIとの対話で職員の匿名の本音を集めるアプリ「ココボイス」を自治体として初めて試験導入した

  • •大阪府豊中市教育委員会は、職員の気づきや悩みを匿名で集めて管理職に届けるアプリ「ココボイス」を試験導入した
  • •このアプリは生成AIとの対話を通じて、対面では伝えにくい本音を職場の改善につなげることを目的としている
  • •自治体における同様のアプリの導入は今回が初めてとなる
#生成AI活用・ツール#ビジネス活用事例
2026/9/18

未読: ZCode内部調査: Git履歴がクラウドに無言でアップロードされていた(新しいタブで開きます)

Hacker NewsHN投稿者: csmantle
登録で表示

Inside ZCode: Silently uploading your Git history to the cloud

開発ツールZCodeがユーザーのGit履歴を明示的な許可なくクラウドにアップロードしている問題が指摘されている

#セキュリティ・悪用#生成AI活用・ツール
2026/9/18

テラスカイがSalesforce連携ツール「mitoco」および「mitoco 申請」のバージョンアップを発表し、機能強化を図った

  • •コミュニケーションツール「mitoco」がVer.24.0に、ワークフローツール「mitoco 申請」がVer.1.5に更新された
  • •「mitoco 申請」はSalesforce上で日本の商習慣に合わせた申請・承認フローを実現するための機能を含む
  • •16日に発表され、Salesforce環境での業務効率化と国内特有のワークフロー対応が強化された
#ビジネス活用事例#生成AI活用・ツール
2026/9/18

アピリッツが、UXリサーチで得たユーザーの発言やフィードバックを、具体的なプロダクト改善施策に落とし込むためのプロセスを解説した

  • •ユーザーインタビューや定量調査で収集した生の声を、単なる記録で終わらせず、実行可能なアクションプランに変換する手法が紹介されている
  • •ユーザーの潜在ニーズや不満点を構造化し、プロダクトの機能追加やUI改善といった具体的施策に紐づけるフレームワークが示されている
  • •このプロセスを定着させることで、データドリブンな意思決定を促進し、ユーザー体験の向上とビジネス目標の達成を両立させることができる
#ビジネス活用事例#生成AI活用・ツール
2026/9/18

GitHubが、クラシックPATやSSHキーのSSO認可を自動化するための新しいAPIを公開し、セキュリティ管理の効率化を図った

  • •公開されたAPIにより、個人アクセストークン(PAT)やSSHキーのSSO(シングルサインオン)認可状態をプログラムで管理できる
  • •これにより、組織は未認可の認証情報を自動的に検出し、ポリシーに基づいて無効化または更新するボット構築が可能になる
  • •開発者の手作業によるSSO移行作業を削減し、組織全体のセキュリティコンプライアンスを維持するコストを低減できる
#セキュリティ・悪用#主要プレイヤー動向#生成AI活用・ツール
2026/9/18