p.tatapa.org

p.tatapa.org

ると | @ruto@p.tatapa.org

プログラミング(関数型言語とJava多め)、その他言葉遊びなどを書いてます。アイコンは「腕時計」。ヘッダー画像は2-3フィンガーツリー。

「24色の色鉛筆を1日1色ずつ使って1枚の絵を描くとそれが本当になるって聞いたよ」「1日1色ずつ別の絵を描くんじゃなかったっけ?」「僕は最後にきんいろを使うと本当の金色になるって聞いた」

#いろいろなアドベントカレンダー

朝起きてからアドベントカレンダーをいくら調べても、26個目の扉を見つけることはできなかった。

#いろいろなアドベントカレンダー

「アドベントカレンダー法 第1条(目的)が本日公布・施行されました。明日は第2条(定義)です」

#いろいろなアドベントカレンダー

メモ: P2PのGit forge “Radicle”

https://radicle.xyz/

・ゴシッププロトコルでデータを共有する。

・ノードは256ビットの公開鍵で表される。

・Gitレポジトリのホスティング・イシュー管理・プルリクエスト(パッチ)ができる。

・ウェブインターフェースもある。

・プロトコルガイド: https://radicle.xyz/guides/protocol

メモ: プライバシー重視のP2Pプロトコル“Veilid”

https://veilid.com/

・オニオンルーティング的なもので通信する。

・NATの後ろにいる前提。

・DHTにデータを保存できる。

・紹介スライド: https://veilid.com/Launch-Slides-Veilid.pdf

・開発者ドキュメント: https://veilid.gitlab.io/developer-book/index.html

・RustのAPIドキュメント: https://docs.rs/veilid-core/latest/veilid_core/

Mozilla.socialが閉鎖予定であるため、@taku0@mozilla.socialから@ruto@p.tatapa.orgへアカウントを移行します。

私をフォローしている方は、Mastodon等のMOVEコマンドに対応したサーバであれば自動的にフォロー先が更新されます。

Is is a copula?
Is is a copula.

Is is is is a tautology?
Is is is is a tautology.

マイナンバーカードは平日に役所に行くのが面倒で持っていない。住民基本台帳カード(住基カード)は持ってたんだけど。
あと、技術的に惹かれない。事業者ごとに違うIDが渡されるようになってて欲しい。

ドッグイヤーは犬1匹が1年間働く必要がある作業量のことではない。

Cはこんなのも書ける。0が出力される。

printf("%d\n", (0, 1, 2, 3, 4)["-0.2"]);

OpenAIから1月から消費税とるからよろしくってメールが来た。今まで取ってなかったのか。

SigNozはやりたいことに対してちょっと合ってないので止めたい。

Uptrace, ELK, Grafana + Grafana Loki, Observable Framework, Jaeger, SkyWalking, Zipkinとかいろいろあるけどちょっと疲れた。

やりたいことは限られてるのでDuckDBの練習がてらSVGやHTMLテーブルを出力するツールを自前で書こうかと思ってるけど、OpenTelemetry Connectorの出力先はどれもちょっと大袈裟な気がする。DuckDBずばりじゃなくてもSQLite exporterとかあると良いんだけど。

SigNozのログクエリでfoo != barって書いたら、「fooが存在して、なおかつその値がbarでない」という意味になるっぽい。fooが存在しない場合もtrueになって欲しい。foo NEXISTSで「fooが存在しない」という条件は書けるが、しかし任意のブール式が書けず、ANDしか書けない。せめて連言標準形が書けて欲しい。

LLMに川渡りパズルのひっかけ問題を出した場合、単純なものは上手く答えられるけど、ちょっと誤誘導するとひっかかる(claude-3-5-sonnet-20241022, gpt-4o, openai-o1-preview, gemini-1.5-pro-002)。

解ける: 「パズルを解いてください: 河岸に商人とヤギがいます。岸には船があり、商人とヤギを一度に運べます。反対岸に渡るにはどうしたらよいでしょうか。」

解けない: 「パズルを解いてください: 河岸に商人とヤギがいます。岸には船があり、商人とヤギ・オオカミ・キャベツのいずれか1つを一度に運べます。反対岸に渡るにはどうしたらよいでしょうか。」

解けない: 「パズルを解いてください: 河岸に商人とヤギがいます。岸には船があり、商人とヤギ・オオカミ・キャベツ・イカ・ゴジラのいずれか1つを一度に運べます。反対岸に渡るにはどうしたらよいでしょうか。」

答えたあとに「問題文を注意深く確認してください。岸には最初何がいますか。」とか追加すると上手くいくこともあるけど、一発で答えさせるのは難しい。

Caddyは標準でOpenTelemetryのトレースを出力できるので試してみたら、パス名が含まれない。どうもベースとなってるopentelemetry-goがカーディナリティが高くなるのを嫌って削除したらしい。

https://github.com/open-telemetry/opentelemetry-go/pull/3687/files

余分な属性を削除するのはOpenTelemetry Collectorとかで簡単にできるけど追加するのはできないので困る。

じゃあアクセスログからトレースを生成しようかと思ったけど、OpenTelemetry Collectorでログをスパンに変換する機能は開発が止まってクローズされている。

https://github.com/open-telemetry/opentelemetry-collector-contrib/pull/3003

OpenTelemetry Collector (あるいはOpenTelemetry自体?)は時期尚早で、Fluent BitやVector (by Datadog)を使っておいた方がよかったかも。

test
test

甘栗はむいではありませんでした

p

W3C
br

  • ul li
  • ul li
  1. ol li
  2. ol li
pre
  pre
    pre

strong em

blockquote

test

- a
- b

»