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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

以下のおもちゃ React component が有って、右に swipe したら右に fade out、左に swipe したら左に fade out したいとしよう。 import React, { useState } from "react"; const items = [ {id: 1, content: "item 1"}, {id: 2, content: "item 2"}, ]; ex…

J 言語の剰餘演算は a | b。b が割られる數だぜ! 7 | 16 2 嗚呼、整數論での表記ね。解るけどさぁ? code.jsoftware.com 16 % 7 は割り算で 2.28571 に成る。 code.jsoftware.com / は配列に二項動詞を reduce する副詞だもんね。 code.jsoftware.com

speakerdeck.com まかれるあなとみあ ―Mackerel のしくみを理解する 30 分― @ Hatena Engineer Seminar #16 喋ったのでした。喋った事自體に就いての裏話は無い! mackerel-agent 側も普段觸ってゐるが今囘は喋ってゐない。 id:tukaelu さんがされた data dri…

自明なのだけれども。 github.com この data source は YAML 形式だが、實行時の YAML library への依存を除く爲と起動・動作速度の爲に ETS (Erlang Term Storage) file に變換して同梱してある。おそらく Erlang の ver. を上げたからなのだらうが、data s…

普通に comment out/in する command である M-; でよい。macOS であれば Meta key は Option key に割り當てる事が多い。 (defn f [] (x)) の (x) を comment out したいとしよう。(x) のどこかに cursor を置き va( で (x) を選擇する。M-; で comment out…

Zoom 開催です。Clojure 囘でした。 Shibuya.lisp さんには二回目の參加ですが、相當昔に偶々職場で開催された時だったので実質初です。その時も Clojure 囘だった氣がする。 これは memo です。 scrapbox.io ClojureScript の eco system を一切知らんなと…

Kubernetes に於いて debug する爲に cluster 内に突如 container を立てたく成ったならば kubectl run 〜 --restart=Never で立てられる。既に在る container 内に入りたければ kubectl exec 〜 でよく、Pod 内に container を立てたければ、今は ephemeral…