構文認識でGitコンフリクトを自動解決するMergirafが良さげかも | kawarimidoll.com
プログラミング言語の構文を理解してGitコンフリクトを自動解決するツールMergirafの紹介です。 https://mergiraf.org https://codeberg.org/mergiraf/mergiraf 機能 通常のGitマージは行単位で差分を比較するため、同じファイルの別の関数を編集した場合にもコンフリクトすることがあります。Mergirafはソースコードの構文木を解析し、行ベースでは解決できないコンフリクトを自動的に解消します。 git mergeだけでなく、rebase、cherry-pick、revertにも対応。 対応言語はかなり幅広く、mergiraf languagesコマンドで一覧を確認できます。 Gitへ設定して自動解決 gitconfigに設定しておくと、マージ時に自動でコンフリクトを解決してくれます。 # diff3形式でコンフリクトを表示 # Me
AI エージェント kuro の裏側 - STORES Product Blog
こんにちは。技術推進本部の @shia です。前回は kuro の活動事例を紹介しましたので、今回はその裏側を解説していきます。 なぜ自作したのか 前回の記事を読んで「既存の SaaS やマネージドなエージェントサービスを使えばいいのでは？」と思った方もいるかもしれません。一応、いくつかの理由から自作という判断に至っています。 まず、開発着手した 2 月時点では利用できるサービスの選択肢がそもそも多くありませんでした。使えると考えたのは Devin くらいで、実際使ってもいましたが、 GitHub 上のやり取りに制約があったり、開発環境の都合などで当時はやや物足りなさを覚えてました。 次に汎用サービスよりは機能が少ないかもしれないが、自作してしまった方がもろもろ価値を出しやすいと考えました。ハーネスエンジニアリングという表現がはやるくらいにはその辺が大事なのでここは今もそこまで変わってない
gh skillが登場。GitHub公式のスキル管理ツールにnpx skillsから乗り換えた
AIエージェント向けのスキル（Agent Skills）、みなさんはどう管理していますか？ 2026/04/16、GitHub公式CLIのghに、スキルをパッケージ管理する新しいサブコマンドgh skillが追加されました。GitHubのリポジトリに公開されているスキルをgh経由でインストール・アップデート・公開できます。私はこれまでnpx skillsでスキルをインストール・管理してきましたが、gh skillの方が安全面でよさそうなので乗り換えることにしました。 本記事では、メリットや実際の動作を紹介します。 3行まとめ gh skill install スキルでスキルをインストールできる gh skill publish スキルで自作スキルを仕様に沿って公開できる 改ざん検知・バージョン固定・由来情報の埋め込みなど、サプライチェーン対策が組み込み済み 環境準備 GitHub CLI
一度教えてもらったことはもう二度と聞いてはいけないのが社会人のルールなの？「前も教えたよね？」っていう人意地悪すぎない？→画期的な案が寄せられる
一度教えてもらったことはもう二度と聞いてはいけないのが社会人のルールなの？「前も教えたよね？」っていう人意地悪すぎない？→画期的な案が寄せられる
HonoのNode.jsアダプタが最大2.3倍速くなります
これからリリースするHonoのNode.jsアダプタのv2では、ボディパースのベンチマークで従来のv1系と比べて2.3倍速くなります。 近日中にリリースしますが、現在RC版が使えるので試してみてください。 v2 Node.jsアダプタはメジャーバージョンアップをしてv2系になります。といってもメインのAPIは変わらず、これから紹介する大幅なパフォーマンス向上が目玉となります。他の変更点はNode.js v18系のサポートを切ることと不要になったVercel用のアダプタをobsoleteにします。 Node.jsアダプタの役割 Node.jsアダプタは何をしているのか？というおさらいをすると⋯これはHonoのアプリケーションをNode.jsで動かすために作られました。HonoではWebスタンダードAPIを使っていますが、それをそのままNode.jsでサーバーとして動かすのは不可能です。そこで
みんな、はてなブックマークしてくれ - nomolkのブログ
※これはマジで高純度の「お前が言うな」案件なので絶対にわたくしのブックマークを見ないで聴いてください。 仕事でもプライベートでもわりと長いこと記事を扱っているんですけど、記事をたくさんの人に読んでもらうというのがなかなか難しい時代になってきました。みんな動画や配信ばっかり見てるからね～、というのはまあそうなんですけど、それだけじゃなくてそもそも流入ルートがないんですよね。今。 このブログの話をすると、ここははてなブログなので、主な流入ルートははてな関連サービスです。 記事を書いたときに最初に見にきてくれるのは、たぶんはてなブログ上で読者登録をしている人。あとはXに「書きました」って書くのでそこから来てくれる人もいます。 で、その人たちが気に入ってくれてはてなブックマークを３人くらいつけてくれると、はてなブックマークの新着エントリに載ります。 そうするとはてなブックマーク側の新着一覧ページに
Synapse! シナプス！ 01 隠岐 -理屈の手離し方 - konton04 - BOOTH
・2026年4月19日以降発送予定 ・2026年4月19日 ZINE FEST 福岡 ・価格は梱包資材、封筒代、プラットフォーム手数料 等を含みます ・A5 フルカラー 80P ・Synapse！シナプス！ Issue 01 隠岐 -理屈の手離し方 ・隠岐に魅せられた二人（はみ出してしまっているキャリア女と、フリーのマーケター）と、隠岐に行ったことがない一人（生物・恐竜オタクのシューズデザイナー）が隠岐について語りまくる ・2026年4月19日以降発送予定 ・2026年4月19日 ZINE FEST 福岡 ・価格は梱包資材、封筒代、プラットフォーム手数料 等を含みます ・A5 フルカラー 80P ・Synapse！シナプス！ Issue 01 隠岐 -理屈の手離し方 ・隠岐に魅せられた二人（はみ出してしまっているキャリア女と、フリーのマーケター）と、隠岐に行ったことがない一人（生物・恐竜オ
知り合いの偽坊主は震災直後に宮城を訪問、家族を亡くした被災者達に縋られてお経をあげることに→偽物である自分が供養してしまった後悔から罪滅ぼしのため、本当に僧侶となった話
松次郎卿 @545mmaks74u 知り合いの偽坊主(宗教が好きな坊主リエナクター)は震災直後に宮城を訪れたら家族を亡くした被災者達に縋られてお経をあげました。 資格を持っていないと言える空気ではなかったとはいえ、偽物である自分が供養してしまったという後悔から罪滅ぼしのために本当に仏門を志して僧侶となりました。 x.com/namho_nam/stat… 2026-04-15 19:15:33 ナーム和尚 @namho_nam 僧侶のライセンスは証明するものを携行してないから難しいすね。事実無免許坊主もいるんですが、お経じゃわからない。何故なら素人みたいにお経下手な本物のお坊さんもたまにいるんで…w x.com/koderago/statu… 2026-04-15 18:17:43
技術調査 - AG-UIプロトコルとCopilotKit
■概要 AG-UIプロトコルは、イベント駆動型のオープンソースプロトコルです。AIエージェントとフロントエンドアプリケーション間の接続を簡素化し、柔軟性を高めるために設計されました。このプロトコルの主な目的は、AIエージェントとユーザーがリアルタイムで協調作業をする新しい標準インターフェースを提供することです。「エージェントとユーザーを結ぶ共通言語」としての役割を目指します。 ■背景・経緯 従来のAIエージェントエコシステムは、主にバックエンドの自動化に焦点を当てていました。そのため、ユーザーとの対話性は限定的でした。多くのAIエージェントは、独立したプロセスとして機能してきました。例えば、データ移行、調査と要約、フォーム入力などです。これらのプロセスでは、ユーザーの介入は少ないです。AI技術の進化に伴い、対話型アプリケーションへの需要が高まりました。対話型アプリケーションでは、エージェン
映像にもキャラにも歌詞にも興味がない人のための、ここから聴いてほしいボカロおすすめ曲集 - nomolkのブログ
インターネットで中途半端に長く生きているので初音ミクの登場当時も知っていますが、あの頃の「電子の歌姫・初音ミクさんが一生懸命エモい歌を歌う」的なノリについていけず、以来ずっとボカロカルチャーからは距離を置いてたんですよね。 なんですけど2024年の秋、急に「ボカロ聴かねば」と思い立ちまして、なんつうかもうカルチャーとしての規模と多様性を鑑みるにこれを無視していたらやばい、というのを急に感じまして、それ以来ちょくちょく掘っています。 自分は音楽こそ好きなものの、映像（MVとか）に興味がない、歌詞にも興味がない、そもそも歌なしのインストでいい、ボカロのキャラも（2024年当時）知らんというかなりボカロリスナー向きでない人材なのですが、逆にそういう自分の選曲だからこそ届く人もいるのでは、ということで自分が面白いと思ったボカロ曲をできるだけたくさん紹介したいと思います。 そうはいってもリスナー歴一
景色を蔑ろにしているようでは静かに信頼しあう関係を築けない - 積極的にメモっていく姿勢
北海道技術コミュニティ上京勢とごはん会なんかをすると，この話に着地することが多いです．もしかすると 20 代後半くらいの人たちが興味を持つトピックなのかなとも思います． 結構いろんなことに当てはまる考え方ではありますが，今回はカンファレンスやコミュニティをリードする立場の人目線で考えてみます． 景色 ここでいう景色とは，自分がその場にいることがありありと想像できる妄想上の実際のことです． 文字で書くと片手落ち感が否めませんが，例えばこういう例があります． 同年代の Web 系エンジニアが集まって，お互いの悩みを相談しあっている．話は尽きなくて，次々とお店をはしごし，帰りたくないとワガママを言う人間が現れる様子． 旭川地域の電気電子情報技術が好きなひとが集まって，畳の部屋でみかんを食べながら，ああでもないこうでもないと手を動かしている様子． 居酒屋にあつまって，その地域の料理を囲んで，技術系
TypeScript製ライブラリ VerifyFetch で「切れない」ファイルダウンロードを作ってみる - プププなテクブ
Webブラウザで数KBのJSONを取得するなら標準の fetch で十分ですが、例えばブラウザ上のWeb Viewerで画像を数十枚表示するなどのユースケースに標準のfetchで対応しようとする場合以下のような問題がつきまとうことが多いでしょう。 再開不能: ネットワーク瞬断やリロードでダウンロード進捗が0に戻る 整合性不明: ダウンロードが完了しない限りファイルが破損なくダウンロードできているかわからない メモリ逼迫: 全データをメモリに展開する必要があり、クラッシュのリスクがある これらの問題を解決するためのライブラリとして、今回は VerifyFetch を使ってみようと思います。 github.com VerifyFetchの特徴 先述の3つの問題への対処として、VerifyFetchは3つの機能を提供しています。 1. 分割ダウンロードと都度検証 VerifyFetchでは、あら
なぜcronからsystemd timerへ移行しているのか？歴史と設計思想から理解する
この時代において cron は、軽量・シンプル・依存関係なしという 非常に優れた設計でした。 cron の「通知」はログではなくメール cron は「ログを溜める」より「異常を通知する」発想でした。典型的には stdout/stderr をメールで送るのが当時の設計です。 2. crontab の何が問題だったか？ cron は長年使われてきましたが、現代のサーバ運用では次の問題が顕在化しました。 問題① 実行されたか分からない（状態がない） cron には「実行履歴」という概念がありません。 成功したか？ 実行されたか？ 何秒かかったか？ これらを OS 側で追跡しません。 問題② ログが自動で残らない（可観測性が低い） cron は標準でログを「保存」しません。 そのため実務ではよく次のようになります。 出力先は人力 ローテーションも自前 失敗検知も自作 運用が属人化しやすいのが問題で
水素コンロの燃費がエグい。100mlの水と1kWhの電力で6時間調理
水素コンロの燃費がエグい。100mlの水と1kWhの電力で6時間調理2026.04.12 17:00199,582 長谷川賢人 インドのエネルギースタートアップ｢Greenvize｣が開発した水素調理コンロは、わずかな水と電力から水素を自らつくり調理ができるというシロモノ。しかも排気は水蒸気だけ。 ｢エネルギー効率｣という言葉がただのお題目じゃない時代に、かなり刺さる技術です。 水を｢割って｣燃料にする仕組みこの調理コンロの心臓部は｢PEM電解槽（プロトン交換膜電解槽）｣と呼ばれる装置です。名前はむずかしいけど、仕組みはシンプル。 水に電気を流すと｢水素｣と｢酸素｣に分解できます。理科の授業でやった｢電気分解｣そのものです。コンロに組み込まれたこの装置が水を水素と酸素に分解し、できた水素をその場で燃料として燃やします。 このコンロでは、水素は生成と同時にリアルタイムに消費される設計なので、
DESIGN.mdを日本語UIで本当に使える形へ｜hirokaji
jp-ui-contracts を公開しましたAIでUIを作る流れが強くなるほど、逆に目立ってくるものがあります。 それは、日本語の詰めの甘さです。 色はそれらしく見える。 余白もそれっぽく整う。 カードやボタンの形も、かなり上手に出てくる。 でも最後に崩れるのが、日本語です。 見出しの折り返しが苦しい。 本文の行間が浅い。 英語のサービス名が混ざると急に浮く。 フォームだけ窮屈になる。 表の密度が本文のルールを引きずって読みにくくなる。 この違和感は、単に「AIの精度が足りない」から起きているわけではありません。 もっと手前の問題です。 日本語UIの設計契約が、まだ十分に書かれていない。 そこで作ったのが、jp-ui-contracts です。 また、以下の記事が “DESIGN.md とは何か” を定義する総論で、今回の記事は “それを日本語UIでどう実装資産にするか” を示す各論です
「友だちともっと遊びたかった。あのときのぼくの時間はもう二度と戻ってこない」小3から小学校卒業まで週3で塾に通った子どもが涙の訴え… 子どもを追い詰めた「親心」
週3日の塾通いに子どもが「ぼくの時間は戻ってこない」と涙の訴え なぜ日本の小中学生は塾に通うのか 親心のゆくえ | AERA DIGITAL（アエラデジタル） 日本の義務教育は、OECD（経済協力開発機構）によると世界トップレベルにあるという。なのに、なぜ多くの子どもたちは塾に通うのか。 1 user AERA DIGITAL（アエラデジタル） 明 @ch9209213195584 @YahooNewsTopics 大人になって分かるけど、行きたくないのに行っても意味ない。塾無理やり行かされてたけど、今あの時の経験は生かされてない。むしろ勉強大嫌いになった。 好きなら塾行けばいい。嫌いなら行かなくてもいいんだよ。 勉強頑張らなかったけど手取り30もらえてるから満足 2026-04-09 10:52:09
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
石破氏「節約呼びかけは当然」 ホルムズ封鎖長期化なら | NEWSjp
創作の「完成しただけすごい」って本気で言ってるの？
トランプ氏、キリストと並ぶ画像をまた投稿
コードを書くように登壇資料を作る | ドクセル
