In JVM, "safepoint" is a point that all threads are suspended so we can get the consistent view of the thread states. openjdk.org JVM executes operations that needs to be done inside safepoint (e.g. thread dump) in below procedure: 1 Call …

Introduction Kafkaにおいて、同一のgroup.idを持つKafka consumerの集合をconsumer groupと呼び、各groupは特定のtopicをsubscribeする。 group内の各consumer（memberと呼ぶ）にはtopicのpartitionが分散して割り当てられ、それぞれ割り当てられたpartitio…

Environment VRoid Studio version: 1.13.0（正式版） How to このpresetの服の色を赤っぽく変えたいとします まず、Edit textureでテクスチャの編集画面を開きます まず服のテクスチャ画像をpngにexportします 上記のscreenshotでは「デフォルト画像」を右…

Background TLA+のツールセットにはSpecをLaTeXドキュメントとして出力する機能があります。 Example: 最近、この機能を拙作のTLA+ intellij pluginにintegrateできないか考えていました。 公式のTLA+ toolboxやVS Code pluginにはintegrateされていてSpecを…