はてぶ・Qiita・Zennのトレンド記事を紹介
話題のテックでは、はてぶ・Qiita・Zennなどのトレンド記事や技術者ブログの情報を紹介しています。プログラミングやテクノロジーの最新情報をお楽しみください。
OpenAIの内部モデルが数学の未解決問題を証明──OpenAIは「重要な転換点」、フィールズ賞受賞数学者は「画期的な成果」と評価 🔖 13
AIが数学の未解決問題を自律的に解いた初の事例――米OpenAIは5月20日（現地時間）、こんな研究成果を発表した。約80年未解決だった数学の問題について、AIがこれまでの予想を否定する形で証明した。証明が正しいことを、外部の数学者らが検証したという。同社は数学とAIの両分野にと
ChatGPTでPowerPointを自動操作してスライドを作れる「ChatGPT for PowerPoint」が登場 🔖 5
ChatGPTにPowerPointを操作させて新しいスライドの作成や既存のスライドの編集などができる「ChatGPT for PowerPoint」のベータ版をOpenAIが公開しました。 ChatGPT for PowerPoint | Create and edit pre
無線通信ハックガジェット「Flipper One」の開発が進行中、Wi-Fiや5GなどあらゆるIP通信のハックに対応＆ローカルAIを実行可能でFlipper Zeroとは別カテゴリのデバイス 🔖 19
無線通信ハッキングデバイス「Flipper Zero」の開発で知られるがFlipper Devicesが、LinuxベースのOSを搭載したIP通信ハッキングデバイス「Flipper One」を開発中であることを2026年5月21日に発表しました。 Flipper One — we
Terraform経験者が初めてAWS CDKを利用して感じたギャップ | フューチャー技術ブログ 🔖 4
Terraform連載2026 の4本目です。 TIG（Technology Innovation Group）の八木雅斗です。 2023年の新卒入社以来、IaCツールは一貫してTerraformを利用してきましたが、最近の業務ではAWS CDKを利用しています。 AWS CDK
Rustで自作可逆画像圧縮フォーマット「IVR」を実装したら、特定のVSCODEスクショでPNGの46%サイズになった!
UI・CG画像特化の可逆画像形式 .ivr を開発しました！UI画像やCG画像の一部で、PNGよりも軽く、速いことがある可逆画像形式 .ivr を開発しました！！！注:これは汎用画像フォーマットではなく、UIスクリーンショットに特化した実験的フォーマットです。万能圧縮では決し
Salesforceのセキュリティ強化に備えよう（確認・対応すべき項目ざっくりまとめ）
はじめに最近、Salesforceはセキュリティ強化に対する要求を立て続けに発表しています。これまでのリリース更新では、対応猶予が数ヶ月〜1年程度与えられることが多かったのですが、今回のセキュリティ対応事項のなかには猶予が約1か月などかなり短いものもあり、Salesforce
GoogleのModern Web Guidanceに学ぶ、モダンCSSのDos / Don'ts大全 🔖 180
Googleがリリースした「Modern Web Guidance」スキルを使うと、AIエージェントが最新のWeb機能でコードを書けるようになります。https://zenn.dev/ubie_dev/articles/modern-web-guidanceスキルが参照するガ
【PDF圧縮】約40年続く業界標準Ghostscriptを、Rust 自前実装で抜いた話 🔖 2
はじめに皆さん如何お過ごしでしょうか？最近はどの技術記事もAI一色で食傷気味の長嶋です。さて本日は、個人開発しているデスクトップアプリ Karui に PDF 圧縮機能を載せてみたら意外と深い穴にハマったので、 その記録です。https://karui.app/jaちな
Clojurianが出会ったsimple志向なJVM関数型言語Flix ——ファーストインプレッション
きっかけ関数型言語や関数型プログラミングの影響を受けたライブラリでは、「エフェクトシステム」(effect system)や「代数的エフェクト」(algebraic effects)と呼ばれるものがサポートされていることがあります。HaskellやScalaの各種ライブラリ、
SaaS で AI Agent を提供するあなたへ贈る、Bedrock AgentCore マルチテナント実装 - Runtime 編 🔖 2
SaaS で AI Agent を提供するあなたへ贈る、Amazon Bedrock AgentCore マルチテナント実装 - Runtime 編初めまして、AWS Japan でソリューションアーキテクトをしている showish & fukumo_to です。「
複数集約を跨ぐ処理を1つのDBトランザクションで括る前に読む記事 🔖 111
本稿は、DDDの集約モデリング手順や、境界の見つけ方そのものを解説する記事ではない。扱うのは、集約境界と単一DBトランザクション境界を混同したときの波及である。RDBのロックや運用上の負担、読み取り側の公開範囲、プロセスマネージャー設計へ、どのような影響が出るのかを見る。つまり、
GoogleのModern Web Guidanceスキル登場。AIが古いCSS・JSを書く問題を解決する 🔖 245
AIにフロントエンドのコードを書かせると、一昔前の書き方をされて困ることがよくあります。私のAIの使い方が悪いというのは前提にありつつ、最新の書き方を選んでくれないことが何度もあります。たとえばCSSではSubgridを使ってほしい場面でわざわざ古いGridのネストを書いてくる
ｽﾀｯｸﾁｬﾝ（正式には半角表記のようですが、以降書きやすさのためにスタックチャン表記です）、かわいいですね。M5Stack社の販売したスタックチャン（M5スタックチャン）が大人気ということで、買って一通り初期ファームウェアで遊んだ後に、自分で開発するために必要な情報をまとめます
はじめにクラシル社でSREをしているKaitoです。弊社では開発環境を含む全ての環境でIaC (Terraform) を採用しており、秘密情報 (Secrets Manager, SSM Parameter Store など) については SOPS × KMS で管理していま
PLG Stack — 第1部：Prometheus・Loki・Grafanaを深く理解する 🔖 1
あなたのシステムは動いている——でも、本当に何をしているか把握できていますか？これは PLG Stack シリーズ全2回の 第1部 です。各コンポーネントがどのように動作し、何のために使うのかを詳しく解説します。第2部 では、Docker Compose・Kubern...
[Frontend Performance - Part 20] フロントエンドパフォーマンス改善 完全ロードマップ総まとめ 🔖 1
📝 注意この記事はAIによる編集支援を受けています。📚 目次0. はじめに：「勘に頼った最適化」から「計測駆動型の改善プロセス」へ1. 振り返り：5つの基礎パートと8つの知識レベル2. 3つの柱となる知識の総まとめ3. 実践的な最適化ロードマップ –...
New Relic Synthetics Recorderを使って、ノーコードで高度なユーザー体験監視（外形監視）を始めよう！ 🔖 1
はじめにWebサービスの品質を担保する上で、「サーバーが動いているか」という死活監視だけでなく、「ユーザーが正常にサービスを利用できているか」を監視することが重要です。New RelicのSynthetic モニターを使えば、定期的にWebサイトやAPIにアクセスし、...
Copilot Studio の新しい「ワークフロー」と従来の「エージェントフロー」の現時点での使い分けを整理してみる 🔖 1
はじめにCopilot Studio のフローメニューを開くと、最近「新しいワークフロー」と「新しいエージェント フロー」の2つの選択肢が並ぶようになりました。「ワークフロー」を選んでみると、Build / Activity / Analytics の3タブで構成さ...
「OSって、結局なにしてるんですか？」— 新人エンジニア向けに“裏側”を整理してみる—
はじめまして。株式会社PRUMでエンジニアをしているひとみです。日々、プログラミング学習や実務の中で、つまずきやすいポイントや、仕事で起きやすい“ズレ”について整理して発信しています。誰かの助けになれば幸いです。「OSって、結局なにしてるんですか？」— 新人エンジ...
あれほど頼れるAIが、しょっぱいテストケースを作ってくる理由を考えた
はじめにNewsPicks で QA エンジニアをしています、西薗（@yurizono）です。本稿では、私が取り組んでいるAI4QAの話をします。私なんかよりよっぽどしっかりしたコードを書いてくれるLLM君ですが、QAっぽいタスクになった途端、頼りなく見えます。これは...
【AI失業したくない】 このAI時代に、一番人手不足なのはまだまだ「情報サービス業」らしい（帝国データバンク調べ） 🔖 1
はじめに最近、「AIがエンジニアの仕事を奪う」という話をよく見かけます。実際に現場でも当たり前にAIによるコーディングを行っていますし、Qiitaのトレンドを見ていてもAIコーディングについても記事をよく見かけます。こういった流れを見ていると、「もう人間のエンジニ...
技術とマネジメントの架け橋に。PMOの私がクラウド資格に挑むワケ
■はじめにこんにちは！MSOL DigitalでPMOとして活動しています。 「放っておいてもコードを書く」タイプではない私がクラウドに挑み続ける理由。それは、技術という「共通言語」を武器に、PMOとしてのバリューを最大化したいからです 。本記事では、中学生の娘を持つマ...
Claude Code時代の音声入力アプリ4選｜Mac標準を諦めてAqua Voiceに落ち着くまで
はじめにClaude Code、ChatGPT、Cursor、NotebookLM。日々AIに何かを頼むたびに、長めのプロンプトをキーボードで打っている。ふと気づく。「プロンプトを書くの、めちゃくちゃ面倒くさくないか？」コードを書くのも、リサーチも、ドキュメント作...
Docling と Langflow で表・画像入り文書の RAG を行う
RAG で表や画像入りの文書を扱いたいRAG とか Agentic AI で、プレーンなテキストではなくて、表とか画像とか含んだPDFとかPPTXとかの非構造化データを使いたいケースはあると思います。非構造化データもがんばって実装すればいろいろ解析できるんでしょうけど、...
クリアコード20周年記念Meatupを7月29日に開催するよ！ #cc20th 🔖 1
クリアコードの代表取締役の須藤です。前職の仲間たちと一緒に立ち上げたクリアコードが今年の7月25日に設立20周年を迎えます。それを記念して20周年記念イベントを開催します！そんなクリアコードをお祝いしてくれるクリアコードファン（自称）のみなさんはぜひイベントにもお越しください
はてなのポッドキャスト Backyard Hatena #55 - AIと激流（id:daiksy） #byhatena 🔖 1
はてな「技術グループ」によるポッドキャスト「Backyard Hatena」を更新。今回は技術グループ長の id:daiksy を迎えて、技術グループ長になってからの1年の振り返りや、AI活用から個人活動についてなど、お話しました。
「会ったことない人と何しゃべる？」フルリモート下で1on1を1年間続けて気づいたこと 🔖 132
こんにちは。ぐるなびでネット予約関連プロダクトのディレクション業務を行っているいしのです。 マネジメントをテーマに、ということですが、昨年度1年間メンバーと定期的に1on1をしていたので、（リモート環境化のコミュニケーションというテーマは語りつくされている気もしますが） その中で
Security-JAWS【第41回】〜Day1〜でAWS WAFの運用について発表しました！ 🔖 8
こんにちは！ アンドパッド セキュリティグループの 宜野座(ぎのざ)です。 2026/05/16(土)に開催された Security-JAWS【第41回】〜Day1〜 にて登壇の機会をいただき、私のセッションでは「AWS WAFの運用を地道に改善し、自社で運用可能にするプラクティ