c4se記:さっちゃんですよ☆

.。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)

.。oO(此のblogは、主に音樂考察Programming に分類されますよ。ヾ(〃l _ l)ノ゙♬♪♡)

音樂は SoundCloud に公開中です。

考察は現在は主に Scrapbox で公表中です。

Programming は GitHub で開發中です。

Programming

自然文から PromQL って生成できるのかな〜 (ChatGPT)

御存知の通り Mackerel では OpenTelemetry Metrics + PromQL への對應を進めてゐます (Mackerel の PromQL 處理の內部 (2023/12 時點) #mackerelio - c4se記:さっちゃんですよ☆)。その PromQL を OpenAI API 等で自動生成して樂できないかな〜、と試してみ…

path 依存型って何? 調べてみました!

qiita.comの 12/21 です。 先日社内の勉強會で Tour of Scala を見返してゐたら「path 依存型」と云ふ文言を見て、名前しか知らんなと思ひ返しました。そこで path 依存型って何? どんなもの? 年齡は? 結婚してる? 調べてみました! speakerdeck.com scrapbox…

Mackerel で SAML を實裝してゐます #mackerelio

qiita.comの 12/18 (月) です。 Mackerel では今 SAML を實裝してゐます。提供時期や價格等はここには書けないのですが、實裝してゐる機能の內側を御覽に入れます。 想定讀者 : Mackerel の SAML を導入する事を檢討する IdP 管理者 この記事は 2023/12 に實…

作ってよかった graceful shutdown ライブラリ

qiita.comの 12/12 (火) です。 去る 12/2 (土) に Go Conference mini 2023 Winter IN KYOTO で「作ってよかったgraceful shutdownライブラリ」と云ふ事を喋りました。 event report は以下。 scrapbox.io ここでは喋った事を紹介します。 speakerdeck.com …

Mackerel の PromQL 處理の內部 (2023/12 時點) #mackerelio

qiita.comの 12/8 (金) です。 Mackerel では從來のメトリックに加へ、メトリックにラベルを附与できる形式である「ラベル付きメトリック」を開發中です。OpenTelemetry 規格のメトリックそのものを Mackerel に投稿し閲覽できます。 mackerel.io 只今ベータ…

mackerel-agent の plugin は Bash script で簡單に作れます

Calendar for Mackerel | Advent Calendar 2022 - Qiitaの 12/11 (日) 分です。昨日は id:Windymelt さんのPage Speed InsightsのスコアをMackerelに投稿するツールを作った(バイナリあります) - Lambdaカクテルでした。 クリスマスを樂しみにする advent ca…

2022-11-07~13 週に得た事 : 神學・政治論

音樂 無し 考察 新設 楕圓曲線 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 新設 二次形式 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 文書 讀んだ 神学・政治論(下) (光文社古典新訳文庫) 蒐集した 無し 買った しまぶっくす (清澄白河) ジョゼフ・フーシェ―ある…

2022-09-05~11 週に得た事 : 格の alignment

音樂 無し 考察 格の alignment 主語 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 文書 讀んだ 無し 蒐集した Alan Ross Anderson, Nuel D. Belnap, Jr. “Modalities in Ackermann's "Rigorous Implication"” 2014 買った BOOKOFF 武蔵小山パルム店 戦略の本質:…

2022-08-01~07 週に得た事 : jsxs(), jsx()

音樂 無し 考察 dilemma 名辭論理學に於ける命題の型 : AEIO - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 資料を正しいものに 讀書會の方法 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 新設 運命 : 受命・宿命・使命 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) Łuka…

2022-07-25~31 週に得た事 : メトリックはいかにして見え續ける樣になったか

音樂 無し 考察 行列表現とか足した 複素數っぽいもの集 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) alibi 治療 - 本人の關係 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 代示 名辭論理學に於ける命題の型 : AEIO - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 少し増…

2022-07-11~17 週に得た事 : inner_cotton v0.6.7

音樂 無し 考察 氣配り←→氣晴らしを移動 narcissism - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 限界狀況を移動 性差は性差 (性別化) であり男女ではない - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) あちこちから集約 John Duns Scotus「存在の一義性: ヨーロッ…

2022-07-04~07-10 週に得た事 : 題名讀みを避ける

音樂 無し 考察 增補 王陽明「傳習錄」1528 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 分祀 combinatory 論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 分祀 Erich Fromm「悪について」1964 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 分祀 idola - .。oO(さっち…

2022-06-20~26 週に得た事 : Clojure での reference

音樂 無し 考察 置く場所もう在ったよね Alfred North Whitehead「過程と實在 コスモロジーへの試論」1978 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) triangle of reference の和譯を貼った B. Spinoza の認識Ⅰ・Ⅱ・Ⅲ - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)…

2022-06-06~12 週に得た事 : 無 - 不 - 非

音樂 無し 考察 増補した Hoare 論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 空欄を埋めた 佛敎の戒律 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 移設した 無意識 (Ubw) - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 無 - 不 - 非 收錄した 發言の超越論的な根…

2022-05-23~29 週に得た事 : 過剰決定 / 過小決定

音樂 無し 考察 過剰決定 矛盾許容論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)。過小決定 paracomplete logic - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 組織 cynicism - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 分祀した discours - .。oO(さっちゃんですよ…

2022-05-16~22 週に得た事 : 分散 algorithm

音樂 無し 考察 整除した Gilles Deleuze「カントの批判哲學」1963 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 民主←→民主主義。共和←→共和主義。帝國←→帝國主義 法・市・組 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 轉記増やした 集團療法 (group psychothera…

2022-05-09~15 週に得た事 : Clean Architecture 達人に学ぶソフトウェアの構造と設計

音樂 無し 考察 カオス zero cost な network の譬喩 頁を切り出し。法・市・組 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 讀んだ 悪について (ちくま学芸文庫) 現實に就いての一般三角形 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 引き裂かれた自己: 狂気の現…

2022-04-04~10 週に得た事 : team への入門の方法

音樂 無し 考察 福島眞人「學習の生態學 ――リスク・實驗・高信賴性」2010 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)とproduct 三角形 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)を骨として入門 system を考案した。 靈符 (呪符) に興味を持ち Amazon の欲しい物…

もうとっくに Elixir を使ってゐない

もし觀測されてゐれば明らかだったらうが、もうとっくに Elixir を使ってゐない。代はりに Clojure と Clojerl を使ってゐる。 2020-09-03 には以下の通り、新しく Elixir でものを作りはしないだらうと書いてゐた。 scrapbox.io この時は Clojerl と Elixir…

Microsoft Terminal で bell 音を靜かにさせる

settings.json を弄るだけ。 Microsoft Terminal で例へば cd 先を補完する時に選擇肢が幾つか有ると、直ぐ bell が鳴ってうるさい。 うるさい。 とてもうるさい。 よく「うっせぇ!」って言ってる。治安が惡い。 さて靜かにする。GUI からは設定できない。se…

mackerel-container-agent に mackerel-plugin-uwsgi-vassal を設定した

mackerel-container-agent に mackerel-plugin-json 以外を設定した事が無かったからやってみた。對象は帝國火星曆の頁。 martian-imperial-year-table.c4se.jp Python & Flask で uWSGI で動かしてゐるから mackerel-plugin-uwsgi-vassal を設定しよう。 gi…

Mackerel の Google Cloud インテグレーションから、Compute Engine instance を自動退役する

Calendar for Mackerel Advent Calendar 2021 | Advent Calendar 2021 - Qiitaの 12/18 (土) です。昨日 12/17 (金) は masayoshi634 さんのMackerelでSLI/SLO運用をする際に役立つ機能やツールの紹介 - Mackerel お知らせ #mackerelioでした。 Mackerel に …

Clojerl の runtime に起動してゐる process 達

Clojure Advent Calendar 2021 12/11 (土) です☆ 12/10 (金) は id:kbaba1001 さんのClojureで仕事をはじめて1年経った - さめたコーヒーでした♪ www.kbaba1001.com Clojerl は Erlang VM で動く Clojure です。Erlang/OTP や Erlang library の函數を Cloj…

JavaScript / TypeScript で grep しにくい對象を、ESLint plugin を作って抽象構文木を基に檢索する

JavaScript / TypeScript で grep しにくい對象を抽象構文木を基に ESLint plugin で檢索する方法を敎へてもらった。目標とする抽象構文木で error を出す ESLint plugin を書けば、行が分かれて grep / ag しづらい對象を網羅して檢索できる。 今調べるとそ…

esbuild で大量の file を生成すると webpack --watch が SIGBUS で落ちる

實は esbuild は關係が無い。だうやら大量の file を生成すると webpack --watch が SIGBUS で落ちるやうだ。esbuild が tsc よりとても速いから一氣に webpack に更新を食はせて、落ちる頻度が随分と上がる、といふ事があった。bundle せず大量の TypeScrip…

結局 grep が便利

LSP (language server protocol) server での定義 jump は便利ですね。IDE は便利です。でも部分的にしか program を理解できなかったり、そもそも LSP は壊れたりします、おま環 (死語) ではありますが…。 結局 grep だとか ag が便利です。結局 print debu…

tokyo.ex Reboot に參加して喋った #tokyoex

二年ぶりの開催でした。memo です。 scrapbox.io LT はこれ。Elixir でない BEAM 言語も OK だと主宰者の方から言っていただけたので、Clojerl を紹介しました。 scrapbox.io

はてなリモートインターンシップ 2021 の講義資料が公開された

はてなリモートインターンシップ 2021 の講義資料が公開された。 developer.hatenastaff.com 私は microservice に就いての講義を擔當した。 speakerdeck.com 他の講義の資料も上記に公開されてある。 自分の講義を反省的に檢討すれば、抽象的な體系を述べる…

JPEG / PNG 畫像を可逆壓縮する Python script を Clojure (Babashka) で書き直した

先日書いた以下の記事で Python の script を貼り附けた。 c4se.hatenablog.com しかし今は Clojure (Babashka) で書く事に決めてあるので、書き直した。Windows 版の Babashka (bb.exe) ではなく Linux 版 (bb) を呼んでゐる。WSL2 で作業するのでこれで困…

JPEG / PNG 畫像を可逆壓縮する @ Windows

畫像を Internet に上げる前に壓縮する習慣を持ってゐる。macOS では ImageOptim を使ってゐるが、Windows では無い。 imageoptim.com JPEG 畫像は mozjpeg で、PNG 畫像は zopfli で可逆壓縮できればよい。以下の通りにやってゐる。 mozjpeg は scoop で入…