F-ing modules: 存在型によるモジュール基盤
2024年11月21日に投稿 • カテゴリ:プログラミング言語 • タグ:型システム、存在型、モジュール、System-F
現代的なプログラムは、非常に複雑で規模の大きなものが多い。そのため、プログラムを構成する部品を適切に分割し …
Firefish のインストール方法
2023年12月06日に投稿 • カテゴリ:環境構築 • タグ:Fediverse、ActivityPub、Web、Firefish
Fediverse は ActivityPub により接続されたサーバ群によるネットワークである。ActivityPub は短文投稿、画像・動画共有、ファイル共有などを可 …
2023/10 時点の Fediverse の状況
2023年10月29日に投稿 • カテゴリ:サービス • タグ:Web、ActivityPub、Mastodon、Fediverse
Fediverse は、W3C 勧告の ActivityPub を主要なプロトコルとした、リソース共有を相互に行う Web 上の分散ネットワークである。昨今の騒動 …
ボックスタイプとCSSレイアウト
さて、
<div>デザインにおいて、<div style="text-decoration: underline;">レイアウト</div>は重要な要素だ。</div>
という HTML 片が、基本的なブラウザでどう表示され …
アーカイブ済み ActivityPub サーバの実装
2023年09月09日に投稿 • カテゴリ:サービス • タグ:Fediverse、ActivityPub、Web、アーカイブ
Fediverse は ActivityPub をしゃべるサーバを基本単位とした分散型 SNS ネットワークである。ActivityPub は W3C が勧告する分散型 SNS の標準プロト …
malloc と併用可能なアロケータを作る
大規模で、ユーザ入力などの外部要因により左右されるプログラムでは、動的なメモリ管理が必要になる場合が多い …
Systemd ユニットのセキュリティスコアを改善する
systemd は Linux の標準的なシステム・サービスマネージャで、sysvinit の代替の init プロセスとなることを目指して開発されたソフ …
Ansible の変数を CUE で記述する
Ansible や Kubernetes などのオーケストレーションツールでは、タスクやサービスの記述は再利用可能にしておきつつ、設定を別途 …
nftables のログを JSON で吐く
Linux でのファイアウォールが nftables になってからかなり経つ。iptables フロントエンドよりも分かりやすい設定ファイルと設定 …