はてぶ・Qiita・Zennのトレンド記事を紹介
はじめて関数型言語の機能に触れるエンジニア向けの学び方/教え方 / how-to-learn-or-teach-for-fp-beginner 🔖 22
はじめて関数型言語の機能に触れるエンジニア向けの学び方/教え方 / how-to-learn-or-teach-for-fp-beginner
Claude CodeとGitHub Issueを使った全自動開発について 🔖 214
Claude CodeとGitHub Issueを使った全自動開発について202506151218 準備 #wikiは使用しないdocsディレクトリで管理するREADMEにプロジェクト概要を書くGitHub Issueのtemplateを作成する.github/ISSUE_TEM
AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜 #fp_matsuri / FP Matsuri 2025 🔖 29
関数型まつり 2025 で使用したスライドです。
Tartelet を使って macOS の GitHub Actions self-hosted runner を動かす 🔖 23
GitHub Actions では、自前の環境でジョブを実行できる self-hosted runner 機能が提供されています。 また、iOS アプリのビルドなど一部のジョブは macOS でしか実行できないものがありますが、この self-hosted runner を ma
Reactの内部の仕組み読み解きガイド (執筆中) 🔖 44
はじめに こんにちは、calloc134 です。毎日「React なんもわからん」を繰り返していたところ、ソースコードを読み始めていました React は今や、フロントエンド開発においてデファクトスタンダートなライブラリとなっています。 しかし、どのような考え方・仕組みで実装され
関数型言語を採用し、維持し、継続する By 松澤 有 (ymtszw) (Siiibo証券株式会社 CTO) @関数型まつり2025 (2025/06/14) [1] Siiibo証券株式会社 2019年創業、筆者はfounding engineer / CTO ↓の構成で社債専
iPhoneで「知らない番号からの着信」に出なくて良い時代到来--iOS 26なら自動応答＋用件テキスト化 🔖 39
iOS 26、iPadOS 26、そしてmacOS Tahoe 26には、筆者がずっと待ち望んでいた新機能が搭載される。もっと前からAppleが取り入れていても不思議ではなかった、通話とメッセージのスクリーニング機能だ。単に知らない人との煩わしいやりとりが減るだけではない。個人情
新興 PostgreSQL サービス企業の買収劇の背景：Snowflake と Databricks が描く未来に思いを馳せてみた 🔖 25
新興 PostgreSQL サービス企業の買収劇の背景：Snowflake と Databricks が描く未来に思いを馳せてみた 日本の PostgreSQL コミュニティが今月、大きな盛り上がりを見せています。その理由は、データ・AI 業界の二大巨頭である Snowflake
天気痛、9割超が「仕事や勉強に支障」 5人に1人は「梅雨に悪化」――ウェザーニューズ調べ 🔖 32
2005年から天気痛外来を開設している佐藤純医師（愛知医科大学病院 痛みセンター客員教授）は、「痛み止めを飲み過ぎると効きにくくなる」として、服用のタイミングが重要だと指摘。「天気の変化を事前に予想できれば、痛みが強くなる前に対処できる。自分の傾向を把握して、タイミング良く服用す
AppleがAIで出遅れても“後追い”で十分な理由、iOS 26は新デザインでAndroidとの差別化が明確に 🔖 31
米Appleは、6月9日（現地時間）に開発者向け会議WWDCの基調講演を開催した。例年通り、ここでは各デバイスに搭載される最新OSが発表されている。それぞれのバージョンが年号で統一され、次期iOSは「iOS 26」になる。同日から、デベロッパー用のβ版が配布されており、7月にはパ
Anthropic「How we built our multi-agent research system」の要点まとめ 🔖 134
2025年6月13日にAnthropicが How we built our multi-agent research system という記事を公開しました。Claudeの「Research」機能の開発過程で得られたマルチエージェントシステムの重要な知見をまとめている非常に有用
関数型まつり(#fp_matsuri)の登壇資料です。
【コピペでOK】ChatGPTのVoice Modeでリアルな会話練習！もう英会話のフリートークは怖くない｜genkAIjokyo|ChatGPT/Claudeで論文作成と科研費申請 🔖 943
「初対面の外国人を前に、会話が盛り上がらない…」 「パーティーの輪の中で、うまく話が続けられず気まずい思いをした…」 英語学習でぶつかる大きな壁の一つが、準備していない場面でのフリートークではないでしょうか。私自身、こうした場面で「もっと気の利いたことが言えれば…」と落ち込んだ経
「広告の質が良いからあんまりストレスねんだよな」Amazonプライムビデオ、広告が出るようになってからアニメの前後半の間にCMが挟まるようになって視聴体験が逆に良くなってる 🔖 54
ぐっちょむ @gutchom prime video、広告出るようになってからアニメの前後半の間にCMが挟まるようになって視聴体験が逆に良くなってる 2025-06-14 18:32:01
Claude Codeの会話ログをDuckDBで分析して自分の仕事スタイルを改善する方法 - yasuhisa's blog 🔖 213
3行まとめ はじめに Claude Codeのログ保存機能とその特徴 ログ分析の活用例 音声入力の課題と英語プロンプトの活用 DuckDBを用いた分析アプローチ スキーマ情報の重要性とログ分析の活用 ログの長期保存設定 まとめ 3行まとめ Claude Codeの会話ログはJSO
"緊急じゃないけど、重要なこと" に取り組めるか - pospomeのプログラミング日記 🔖 172
単なる感想です。 背景 緊急なことに振り回されていると組織の成長が頭打ちになる どのように時間を作るか? まとめ 宣伝 背景 最近EMに「"緊急じゃないけど、重要なこと" に取り組めるかどうかが重要です」みたいな話をしたので、ブログに書いておこうと思う。 緊急なことに振り回されて
昨今巷で Effect システムが流行っていますが、実はその双対、Coeffect システムというものがあるのをご存じでしょうか。 Effect が関数のボディでの作用について述べるシステムだとすれば、Coeffect は対称的に、引数の性質について述べるシステムです。変数の使用
中国製パーツでノートPCを作ってしまったファーウェイ サプライチェーンを構築した制裁からの6年 (1/2) 🔖 43
同じく中国製品だけで組み立てたサーバーでLLMモデルをトレーニングしたり、ソフトウェアやサービスでも米国製品の代替が可能になるなど、米国が制裁を強化しても、中国独自にテック環境を構築できるようになりつつある。 この“中国産テクノロジーだけで世界と張り合える”というフレーズは、最近
Cursor x Claude Code = Vibes Coding = 俺いる...?🤔になった話。 🔖 33
Cursor x Claude Code = Vibes Coding = 俺いる...?🤔になった話。 はじめに 初めまして！ 株式会社スペースマーケットで内定者インターンに参加させていただいている、h4luです！ 最近、技術トレンドを追うためにオンラインイベントにちょこちょこ
最近、LLMが日常のあらゆる場面に浸透してきた。情報の整理や分析、資料作成、一部のコーディング業務など、これまで人間がやっていた仕事の多くをAIに任せられるようになっている(しかもブラックボックスのままで)。この変化で生産性が大幅に向上したのは間違いない。ただ、微妙に物足りなさを
メタ、スケールAIに2兆円出資 28歳のアレクサンダー・ワンCEOに「超知能」開発託す - 日本経済新聞 🔖 22
【シリコンバレー=中藤玲】米メタは12日、人工知能（AI）新興企業の米スケールAIに出資したと明らかにした。創業者のアレクサンダー・ワン最高経営責任者（CEO）にAI開発を託す。メタは出資額を明かしていない。米ブルームバーグ通信によると、メタは143億ドル（約2兆500億円）でス
Google Cloudの大規模障害についてGoogleが原因と対策を説明 🔖 60
米Googleは6月13日午後4時45分（米太平洋時間）、12日の午前10時51分に発生し、同日午後6時18分に収束したGoogle Cloudのサービス障害について、原因と対策を報告した。 原因はAPI管理システムの新機能のコード不備 今回の障害は、GoogleのAPI管理シス
日本のPCユーザーは表計算好きといわれている。ちょっとした計算もExcelを使う人は少なくない。そもそもExcelは、ワークシートの関数、特に一部の初等関数（logなど）や特殊関数（一部のみ）、統計、金融の関数が充実している。 こうした関数を使い慣れてしまうと、コンピュータ言語の
Gitアレルギーが治っちゃう！キャラで覚えるGitローカル編（Cursor対応）【1】ローカル編 GPTs付き！｜コタ 🔖 271
Gitアレルギーが治っちゃう！キャラで覚えるGitローカル編（Cursor対応）【1】ローカル編 GPTs付き！ Claude Code と Claude Code Action出てきて、Gitアレルギーなんとかしたくなった並列実装とか色々見て、やってみたい！･･･と思ったものの
GitHub Appのトークンを発行するGitHub CLI拡張を作った - ぶていのログでぶログ 🔖 17
私はGitHub AppをGitHub Actionsで主に使っているのだけど、手元でスクリプトの動作検証をしたいときにJWTを作って…トークンを発行して…というのが面倒だったので、GitHub CLIの拡張として新たにコマンドを作った。 同じことを考えている人がいるはず！っと検
DuckDB実践入門 手軽に使えるデータ分析用DB―基本からエコシステム活用まで - インプレスブックス 🔖 24
3,850円（本体 3,500円＋税10%） 品種名書籍 発売日2025/8/20 ページ数440 サイズB5変形判 著者 Mark Needham 著/Michael Hunger 著/Michael Simons 著/設樂 洋爾 訳 ISBN 9784295021988 「分
CSS の ident() による動的な custom-ident の生成 | blog.jxck.io 🔖 16
Intro CSS で Custom Ident 値を動的に生成する ident() が提案されている。 策定中の仕様をベースに解説する。 Anchor Name の動的生成 Popover の Anchoring は、anchor-name と position-anchor
TypeGO｜タイピング×AIで個別最適な英語学習 🔖 42
TypeGOはタイピング×AIで英語4技能を強化。個別最適な学習と授業準備の負担軽減で、教員の労働時間短縮にも貢献するICTツールです。
オススメのRust製無料プロキシツール「Caido」の紹介 - blog of morioka12 🔖 133
1. 始めに こんにちは、morioka12 です。 本稿では、最近注目を浴びているオススメの Rust 製の無料プロキシツール「Caido」について紹介します。 本稿で触れるプロキシツールは、Web アプリやスマホアプリの通信を傍受して、リクエストの内容を確認したり書き換えたり
関数型言語テイスティング: Haskell, Scala, Clojure, Elixirを比べて味わう関数型プログラミングの旨さ | ドクセル 🔖 27
4つの関数型言語を例に、関数型プログラミング(言語)の本質を探ろう。 関数型まつり2025セッション概要: https://fortee.jp/2025fp-matsuri/proposal/f7646b8b-29b0-4ac4-8ec3-46cabaa8ef1a
「もうダメだ！ AIの小説が上手すぎる」作家3名が文芸と生成AIの未来を語る配信企画 🔖 78
鼎談「もうダメだ！ AIの小説が上手すぎる――現代作家3人の緊急会議」が、6月28日（土）20時からYouTubeでライブ配信される。 登壇するのは、作家／編集者の笠井康平さん、SF作家の樋口恭介さん、批評家の山本浩貴さん（いぬのせなか座）の3名。 登壇者3人がそれぞれの実践と視
ある大手企業と研究機関によるホワイトペーパーをLLMに読み込ませたところ、「内容とは無関係な不審な指示文」が目視で分からないところに埋め込まれててゾッとした話 🔖 320
AIDB運営みずたに @mizutaniken_jp 先日あるホワイトペーパーをLLMに入力した際、 「1ページ目に内容とは無関係な不審な指示文が含まれており、これは明らかに異常な挿入である。」 と告げられました。 ゾッとして目視で確認するも傍目には分からず、なんと書いてあるのか
【中華ロボット25年史】ツッコミどころ満載だった「先行者」から四半世紀、中国の技術はここまで進化した。今や世界最強のロボ大国！ - IT・科学 - ニュース 🔖 97
週プレNEWS TOPニュースIT・科学【中華ロボット25年史】ツッコミどころ満載だった「先行者」から四半世紀、中国の技術はここまで進化した。今や世界最強のロボ大国！ 先行者 中国の国立国防科技大学が開発した二足歩行ロボット。2000年に発表されると、イジりたくなるフォルムと性能
「Claude Codeで効率的に開発するための知見管理」をコマンド1発で自分のプロジェクトに反映する方法 🔖 251
はじめに 開発プロジェクトにおいて、コードの知識管理やドキュメント整備は重要ですが、手間がかかる作業でもあります。しかし、LLMの力を借りることで、先駆者が構築した知見を瞬時に自分のプロジェクトに適用できる時代が到来しました。 背景：話題になった記事 こちらの記事が開発者コミュニ
スレッズでインフルエンサーによる「愛国」的なパクり投稿botが目立ってる - 電脳塵芥 🔖 121
https://www.threads.com/@photo___lemon_a/post/DK0zwRByYnK というのがスレッズの投稿にあった。この「中国人の性格」という元ネタは元々はXで投稿されたものだが現在削除済みでアーカイブ上にも残ってはいないが、リアルタイム検索上で
SNS上の情報リテラシー高いSEはClaude Codeに感銘を受けている一方、実際SESの現場ではAIどころかネット接続すら禁止というリアル 🔖 25
橋田至@エンジニア @dall_develop Twitterの情報リテラシー高いエンジニアは「Claude Codeすげー！」とか言ってますが、実際SESの現場にいる派遣エンジニアは 「AIの使用は禁止なので使ったことないです。なんならインターネット接続すら禁止です…」 みたい
Pixel 10への機種変を考えていたが、iOS 26のこの機能を見てiPhoneのままで良いと思った話 🔖 32
PixelからiPhoneに乗り換えて以来、私はずっとGoogleの「代わりに待ってて」を恋しく思ってきた。電話をかけるたびに流れてくる、耐えがたいほど退屈で不快な保留音。お店や保険会社、携帯キャリアといった、大人になると避けて通れない用件で電話をするときに、この機能がどれだけあ
システム開発は「決めること」の連続 - Magnolia Tech 🔖 168
システム開発は「決めること」の連続なので、そこからの学びをちゃんと得ていけば、影響範囲に応じた適切な意思決定ができるようになると思うんだけど、そこを回避して「作業者に徹する」と先のキャリアで詰んじゃうよーって話をした— magnoliak🍧 (@magnolia_k_) June
生成AI時代のデータエンジニアの未来は明るい｜zono 🔖 49
はじめに生成AIの台頭とデータエンジニアリングへの影響生成AIが急速に発展しており、私だけではなく、恐らく全世界の知的労働に勤めている人々は衝撃や恐怖を感じているのではないでしょうか？ データエンジニアリングの分野でも、生成AIは既存の業務プロセスを大きく変わりつつあります。コー
フロッピーディスクが衰退した理由と「それでも古い業種で使われ続ける理由」（スマホライフPLUS） - Yahoo!ニュース 🔖 22
80年代や90年代には、パソコンのデータ保存といえば「フロッピーディスク」が当たり前の時代がありました。しかし、より大容量で高速な記録媒体が登場し、フロッピーディスクが急速に一般家庭やオフィスから姿を消したのも事実です。 【画像でわかる】MD（ミニディスク）は時代遅れじゃなかった
脱VMwareの大本命！“Proxmox VE“に仮想マシンをマイグレーションしてみた。 | OTTOSERVER "TECH" Blog 🔖 38
脱VMwareの大本命！“Proxmox VE“に仮想マシンをマイグレーションしてみた。 2025 6/13 はじめに 2024年以降、VMwareのライセンス体系変更やBroadcomによる買収の影響を受け、 仮想基盤の再検討を迫られている企業も多いのではないでしょうか？ Nu
Cline x MCP サーバーで入社後のシステム理解を効率化 - エムスリーテックブログ 🔖 41
【QAチーム ブログリレー4日目】 AIを使ってサービスを理解しようとする人（今回の記事のイメージ） はじめに はじめまして、QAチームの草場です。 ５月に中途入社して１ヶ月が経ちました。 以前の会社には新卒以来長く勤めていて、今回が初めての転職なので日々新鮮に感じることが多いで