#tech
OCaml 5 + Eio + musl でシングルバイナリ HTTP サーバを作る
2024-11-09Go を使うと動的ライブラリに依存しない（シングルバイナリな）実行バイナリを作ることができます。 libc の代わりに musl を使うようにセットアップした OCaml コンパイラを使うと、いくつかハマりポイントはありながらも、OCaml でも同じことができることが分かったので、 HTTP サーバ… Read more.
ValidatingAdmissionPolicy で PVC の誤削除を防ぐ
2024-11-04Kubernetes 1.30 から GA になった ValidatingAdmissionPolicy を使うと、リソースへの操作に対して validation をかけることができます。ここでは、特定のアノテーションがついている PVC に対して削除が実行されようとしたときにそれを弾くことで、PV… Read more.
家計簿をつけたら二部グラフの最小重み完全マッチングが必要だった
2024-09-08前置き もう約一年くらい、個人の家計簿を自作の複式簿記用プログラミング言語である Qash でつけています。もともとこれを作ったモチベーションの大部分は家計簿を SQL でクエリしたいというところにあったのですが、ちゃんとその役目を果たしてくれています。 ただ実のところ、家計簿をつける全ての作業を … Read more.
Linux で NTFS のディスクをマウントする
2024-08-14追記（2024/09/07） Linux で mount(1) のマウントオプションを微調整することで安全に NTFS を使おうというのがこの記事の趣旨だったのですが、この記事のとおりにマウントしてデータを書き込んだ場合でもなんかデータが壊れるということが手元で起こってしまったので、 Linux で… Read more.
Jsonnet コンパイラを書いて Kubernetes のマニフェスト生成を速くできる？
2024-08-09この記事は、CYBOZU SUMMER BLOG FES ’24 (クラウド基盤本部 Stage) DAY 6 の記事です。 こんにちは。サイボウズのクラウド基盤本部の伴野です。この記事では、自分が趣味で作った Jsonnet コンパイラである JITsonnet を紹介したいと思います。私が所属し… Read more.
cmark-gfm で east asian line break する
2024-08-04blog.anqou.net では、Markdown で書かれた記事を HTML に変換するために cmark-gfm を使っています。これは CommonMark という Markdown の方言のリファレンス実装である cmark を GitHub がフォークしたもので、GitHub Flavo… Read more.
blog.anqou.net を支える技術
2024-07-23私が今まで書いた記事や、これから書く記事をまとめて置く場所として blog.anqou.net を立ち上げました。この blog.anqou.net を支えている技術について簡単に説明します。 SSG: soupault Static site generator (SSG) として soupaul… Read more.
ノードが並列に走る CUDA Graph を簡単に作る
2021-04-05この記事はもともと別場所にて公開していました。 cudaStreamBeginCaptureなどを使えば CUDA Graph は比較的簡単に作ることができるが、複数のストリームを使って並列に動くようなプログラムを capture することができないので、そのような場合は CUDA Graphs の… Read more.
F*コードを F#でパーズして遊ぶ
2020-12-18この記事はもともと別場所にて公開していました。 この記事はF# Advent Calendar 2020の 17 日目の記事です[1]。 概要 F*は、プログラム検証を目的とした関数型プログラミング言語です。プログラム検証のために篩型などの機能を搭載しており、バックエンドの SMT ソルバとしてZ3… Read more.
Google Cloud TTS と DSharpPlus を使って代読 Discord ボットを F#で作る
2020-12-10この記事はもともと別場所にて公開していました。 この記事はF# アドベントカレンダー 2020の 10 日目の記事です。 概要 Discord のテキストチャンネルで流れてきた文字列を Google Cloud Text-to-Speech (TTS)を使って音声合成しボイスチャンネル（VC）に流し… Read more.
Vim のプラグインを見直した
2020-12-02この記事はもともと別場所にて公開していました。 Vim のプラグインでいくつか気に食わないのがあったので、久しぶりに全部見直した。 dein の代わりに vim-plug を使う Vim プラグインのインストール例として上がってるのをよく見るから。なんか速いらしい。Vim8 付属のやつでもよかったけ… Read more.
Go 用 SQL スロークエリ解析ツール Aquery を書いて ISUCON10 の本選に出たら fail した
2020-10-11この記事はもともと別場所にて公開していました。 TL;DR Go 用 SQL スロークエリ解析ツール Aquery を書いて ISUCON10 の本選に出たけど、再起動試験を適当にやったせいでちゃんと起動せずに fail して涙を飲んだり飲まなかったりした。 ISUCON10 本選についてはメンバー… Read more.
FStar Tips
2020-09-15この記事はもともと別場所にて公開していました。 気づいたことを雑にまとめる。Markdown で”F*“とかくとバックスラッシュが必要でダルいので、適宜”FStar”で代用する。 疑問 別の fst を参照する場合に、参照先の fst が検証できなくても参照元で使えるのなんとかならんの 検証でき… Read more.