はてぶ・Qiita・Zennのトレンド記事を紹介
AI時代におけるテストの基礎の再定義 / Rethinking the Fundamentals of Testing in the AI Era 🔖 170
AI時代到来です。 AIの台頭によって「このままテストをやっていて大丈夫なのか」「学んできたテスト技術は通用し続けるのか」と不安を感じているテストエンジニアも多いのではないでしょうか。 この講演では、AIを過度に恐れず、かといって過信もしないために、テストエンジニアとして押さえて
ターミナルを自作したら、1日のコミット数が500を超えて、生産性がバグった話 🔖 377
僕は長いこと、ターミナルの中で暮らしています。エディタは emacs、VS Code や GUI 系のツールはどうにも手に馴染まない。Web 上の開発環境も、あの「ちょっとした不便」が積もって結局使わなくなる。要するに、ターミナルに慣れ親しみすぎて、GUI のボタンがどこにあるの
自宅でローカルなテレビ局を開局してみた 【地上デジタル放送の仕組みに迫る】 🔖 246
はじめに 地上デジタル放送のテレビ局が送出しているものは、突き詰めると「MPEG-TS ストリーム」と「その中に埋め込まれた PSI/SI テーブル」の2つに集約される。 であれば、同じ構造のストリームを自前で組み立てれば、市販のテレビ録画ソフトがそれを "本物のチャンネル" と
AIが世界中の数学者を80年間も悩ませてきた超難問を解いてしまった。でも手放しでは喜べないらしい | ギズモード・ジャパン 🔖 29
「フェルマーの最終定理」が証明されたときの熱狂を覚えているでしょうか。 数学者アンドリュー・ワイルズが、7年間のほぼ孤独な戦いの末に証明を発表したのは1993年。ケンブリッジでの講演の瞬間、会場は拍手に包まれました。 ところが直後、証明に穴が見つかります。そこからさらに1年、盟友
開発しているだけで進捗が更新される。Linear × Claude Code × GitHubで作る開発フロー 🔖 39
Claude Codeを使うようになって、実装にかかる時間はかなり短くなりました。 ただ、開発が速くなっても、タスクを作る、着手状態にする、PRを紐付ける、レビュー中に変える、完了にする、といった管理作業は残ります。1回ごとの操作は小さくても、開発の途中で何度もLinearを開く
Lean 4で「正しさ」を証明してから書く——AIエージェントと作った検証済みコンパイラ基盤で macro_peg の意味論まで証明した話 🔖 34
はじめに こんにちは！株式会社ネクストビートでテクノロジー・エヴァンジェリストなる肩書きでお仕事をしている水島です。 普段はコーディングAIの実践活用の記事を書くことが多いのですが、今回はその延長線上にある、もう少し研究寄りの話です。Lean 4 という定理証明支援系(馴染みのな
画像も動画も音声も生成できるAI「FLUX 3」が発表される 🔖 29
AI開発企業のBlack Forest Labsが独自開発のAIモデル「FLUX 3」を発表しました。FLUX 3は「画像」「動画」「音声」の生成に対応したマルチモーダルモデルで、記事作成時点では動画生成機能が早期アクセス版としてリリースされています。 FLUX 3: One M
性的表現に誤タップ誘導――ネットの“不快な広告”への苦情が1年で2倍に 件数も過去最多 🔖 96
日本広告審査機構（JARO）は7月23日、2025年度に受け付けた広告への苦情が、24年度の約1.5倍となる1万2589件だったと発表した。設立以来最多で、コロナ禍の20年度（1万1560件）を上回った。媒体別では、インターネット広告への苦情が24年度の約1.7倍となる7664件
【Claude Code活用特集】あの会社で一番使われてるSkillsは？Claude Codeの利用Skills Top5を大公開！ | Findy AI+ 🔖 167
本特集では、Claude Code活用を積極的に進める株式会社ダイニー、ディップ株式会社、株式会社LayerX、株式会社タイミーの4社に、社内でよく使われている Claude Code の Skills トップ5を公開いただきました。 どの企業もレビュー・QA・分析スキルが使われ
「定休日にも予約取れそう」話題になっているAI予約システム「オートリザーブ」だが、店舗で拒否されてる事例が出ていて問題視する反応が集まる 🔖 98
AutoReserve[オートリザーブ] | AIによるレストラン予約サイト 予約可能レストラン数No.1なら、AutoReserve。AIが世界中の飲食店の予約を行います。当サイトでしか予約できないレストラン情報やお店の写真、口コミなど豊富に取り揃えております。 7 users
クソツイをしたらTwitter（自称X）が突然「日本国内非公開」になった話｜こぶだし 🔖 288
※2026年7月現在で未解決です。 最後まで読んでも解決はしていませんのであしからず。 こんにちは。こぶだしという者です。 普段はインターネットでお絵かきをしたり、漫画を描いたりしています。 私のSNSをウォッチしている方は既にご存知かもしませんが ある日突然、Twitter（自
コードを読まない時代の死角: 検出から検証へ、脆弱性診断AIエージェントの現在地 / state-of-vulnerability-ai-agents 🔖 22
コードを読まない時代の死角: 検出から検証へ、脆弱性診断AIエージェントの現在地 / state-of-vulnerability-ai-agents
なぜCardputerは世界で一番売れるM5Stack製品になったのか——英語圏で広がる「小さなコンピュータ」文化 🔖 21
M5Stackが、世界ブランドとして急速に成長しています。 M5Stackの人気が最初に火が付いたのは日本で、2018年の発売から１年後の2019年ごろ、M5Stackの世界売上に占める日本の割合は約35％あり、圧倒的な最大市場でした。その後、日本での売上も毎年伸び続けています。
Googleが“自社AIの裏切り”に備え始めた 異例の構想「AI Control Roadmap」とは 🔖 21
小林啓倫のエマージング・テクノロジー論考 Googleが“自社AIの裏切り”に備え始めた 異例の構想「AI Control Roadmap」とは（1/3 ページ） 米Googleの研究組織であるGoogle DeepMindは6月、「GDM AI Control Roadmap」
AI導入の「期待外れ」を乗り越える ─ 可視化と改善のサイクル、基本と基礎の徹底｜AI DevEx Conference 2026 登壇レポート - Findy Tech Blog 🔖 32
こんにちは。ファインディ株式会社でプリンシパルエンジニアをしている戸田です。普段は開発組織のAI推進を専任で担当しています。 生成AIが開発現場に入り込むようになり、Claude CodeやGitHub Copilotなどのエージェント型ツールも一般的になってきました。 その一方
るりま(Ruby リファレンスマニュアル)のソースを Markdown に移行しました - @znz blog 🔖 37
2026年7月、るりま(Ruby の日本語リファレンスマニュアル)のドキュメントソースを、 長年使ってきた RD ベースの独自記法(RRD)から GitHub Flavored Markdown(GFM)ベースの記法に移行しました。 すでに本番切替も完了していて、いま docs.
「生成AIで仕事が楽に」のはずが……IT現場を蝕む“AI疲れ・AIうつ”の正体 🔖 48
このところ、SNSやITエンジニアの集まりで「AI疲れ」「AI鬱（うつ）」という言葉を耳にする機会が増えました。生成AIを使えば仕事が速く、楽になるはずだったのに、なぜか現場が疲弊している。「AIを導入したはいいが、思ったほど効率化されていない」「なんだか、疲れました」という声が
単一HTMLファイルでローカル動作するスライド作成ウェブアプリ「Bento/Slides」が登場、共同編集可能＆AIエージェントでの自動操作もスムーズ 🔖 58
FirefoxやChromeなどのウェブブラウザ上で動作する無料のスライド作成アプリ「Bento/Slides」が登場しました。Bento/Slidesは作成したスライドだけでなく「スライド作成機能そのもの」も含めて単一のHTMLファイルとして保存できるのが特徴で、インターネット
海岸にヒグマがいたので「スマホの100倍ズーム」で撮った結果、AI処理でヒグマが「別の物体」に…スマホカメラは「物を記録する道具」には使えない？と賛否 🔖 64
造形工房chevalier 造形作家アキ @現状は護憲派。 @aki_chevalier 多分もうやってるところあるだろうけど写真コンテストとかではスマホ規制せざるを得ないだろうし、日常の思い出を残すにも意図せぬ手が加えられた写真で良いのかという疑問がある。 2、3年前くらいから
L.トーバルズ氏、AI反対派に強硬姿勢--「フォークしろ」 🔖 148
多くの人々がAIを嫌悪し、少しも信用していない。しかし、「Linux」創始者のLinus Torvalds氏はその一人ではない。同氏は、AIがプログラミングやメンテナンスにおいて非常に有用であると考えている。実際に、Linuxカーネルの開発におけるAIの使用は明示的に認められてい
Google、アカウントログイン方法に「自撮り動画」を追加 ロックアウト時の復旧を容易に 🔖 74
米Googleは7月23日（現地時間）、Googleアカウントへのログイン方法に「自撮り動画」を追加すると発表した。スマートフォンやPCのカメラで自分の顔を短く撮影し、本人確認に使う仕組み。普段使っているスマートフォンやPCが手元にない場合や、アカウントからロックアウトされた場合
白黒のコマになぜ色が見えるのか 200年の謎をAIが解明 | Forbes JAPAN 公式サイト（フォーブス ジャパン） 🔖 130
上面に白と黒のパターンが描かれたコマを回転させると、そこにあるはずのない色が浮かんで見える「ベンハムのコマ」をご存知だろうか。この現象は1826年に発見され、1894年に発明家チャールズ・ベンハムがその原理を利用して開発し発売した玩具だ。発見当初は、網膜や視覚経路における時間応答
『動くだけ』のその先へ — AI駆動開発で品質と速度を両取りする温故知新な新手法 / Beyond Just Vibe Coding - Combining Classic Principles with AI-Driven Development
2026年のソフトウェア開発を考える（2026/07版） / Agentic Software Engineering 2026-07 Findy Edition 🔖 306
Jul 23, 2026 @ 2026年のソフトウェア開発を考える（2026/07版） AI DevEx Conference 2026 2026年7月23日（木） https://dev-productivity-con.findy-code.io/aidevex2026
iPhoneの箱はなぜ無傷で届くのか､アップルが世界中に｢おとりの箱｣を送り続ける驚きの理由 🔖 215
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 なお、Microsoft Edgeをご利用のお客様はプライバシー設定が影響している可能性があるため
バックアップの「3-2-1ルール」とは？企業におけるバックアップの重要性とその方法 – TD SYNNEX BLOG 🔖 26
バックアップの「3-2-1ルール」とは？企業におけるバックアップの重要性とその方法 企業のIT資産を支えているのは、ひとつひとつのデータです。 近年では新しい働き方が定着し、リモートワークの普及やクラウドサービスの活用により、社外から社内システムへアクセスする機会が増えた企業も多
「人間洗濯機」が高齢者施設に 福祉の現場に万博技術導入 人手不足解消や産業成長に期待 🔖 207
2025年の大阪・関西万博で紹介された最先端の製品や技術が、福祉分野で実用化され始めた。大阪ヘルスケアパビリオンで話題を呼んだ「ミライ人間洗濯機」を介護施設用に応用した入浴装置が、大阪市内の高齢者施設で導入されたほか、介護ロボットやAIによる見守りも注目される。介護の人手不足対策
アンソロピック「Claude Opus 5」明日にも発表か、GPT-5.6や中国AIに対抗 焦点は？ 🔖 97
米アンソロピックが、次世代の最上位AIモデル「Claude Opus 5」を日本時間24日早朝にも発表するとの観測が強まっている。性能を高めながら安定性を高め、運用コストを抑えるモデルになるとの期待があり、OpenAIのGPT-5.6や低価格な中国勢との競争を左右しそうだ。 米ア
クラウドにOSSを「持っていかれる」問題：Elastic、Redis、HashiCorpから考えるAGPL - Convergence Lab. 🔖 167
「ソースコードを公開すれば、利用者が増え、改善が返ってきて、みんなが得をする」 OSSにはそんな理想があります。しかし、実際にプロジェクトが成功すると、別の光景が現れることがあります。巨大クラウド事業者がOSSをマネージドサービスとして提供し、運用の手軽さと販売網を武器に大きな売
「マジで見づらいだけ」と大不評だったスーパーの生成AIポップ、看板ガチ勢の「きぬた歯科」さんの評価は意外にも…たしかに成功例はあるが、今回は的外れ？ 🔖 43
きぬた歯科 @西八王子 @kinutashika 看板王として言わせて頂きます。これはアリ、なんです。ありきたりでは差別化出来ません。POPをグチャグチャにする事で店内をカオス化させ、客のアドレナリンを促し、購買意欲を刺激する作戦です。パットしないスーパーは見習って下さい。#きぬ