10G光インターネットを使う

Posted on 水 15 1月 2025 in サービス • Tagged with 光回線, インターネット, IPoE, ルータ, ネットワーク

最近ネット回線を特に意味もなく10Gプランに変えてみたので、その備忘録。特にいくつか詰まる部分があったので、それを残しておく。

10GbE市販普及の背景

さて、イ …


Continue reading

F-ing modules: 存在型によるモジュール基盤

Posted on 木 21 11月 2024 in プログラミング言語 • Tagged with 型システム, 存在型, モジュール, System-F

現代的なプログラムは、非常に複雑で規模の大きなものが多い。そのため、プログラムを構成する部品を適切に分割し …


Continue reading

Firefish のインストール方法

Posted on 水 06 12月 2023 in 環境構築 • Tagged with Fediverse, ActivityPub, Web, Firefish

Fediverse は ActivityPub により接続されたサーバ群によるネットワークである。ActivityPub は短文投稿、画像・動画共有、ファイル共有などを可 …


Continue reading

2023/10 時点の Fediverse の状況

Posted on 日 29 10月 2023 in サービス • Tagged with Web, ActivityPub, Mastodon, Fediverse

Fediverse は、W3C 勧告の ActivityPub を主要なプロトコルとした、リソース共有を相互に行う Web 上の分散ネットワークである。昨今の騒動 …


Continue reading

ボックスタイプとCSSレイアウト

Posted on 日 08 10月 2023 in 規格 • Tagged with CSS, HTML, Web, デザイン

さて、

<div>デザインにおいて、<div style="text-decoration: underline;">レイアウト</div>は重要な要素だ。</div>

という HTML 片が、基本的なブラウザでどう表示され …


Continue reading

アーカイブ済み ActivityPub サーバの実装

Posted on 土 09 9月 2023 in サービス • Tagged with Fediverse, ActivityPub, Web, アーカイブ

Fediverse は ActivityPub をしゃべるサーバを基本単位とした分散型 SNS ネットワークである。ActivityPub は W3C が勧告する分散型 SNS の標準プロト …


Continue reading

malloc と併用可能なアロケータを作る

Posted on 金 01 9月 2023 in プログラミング • Tagged with Linux, glibc, メモリ

大規模で、ユーザ入力などの外部要因により左右されるプログラムでは、動的なメモリ管理が必要になる場合が多い …


Continue reading

Systemd ユニットのセキュリティスコアを改善する

Posted on 日 06 8月 2023 in 運用 • Tagged with systemd, セキュリティ, Linux

systemd は Linux の標準的なシステム・サービスマネージャで、sysvinit の代替の init プロセスとなることを目指して開発されたソフ …


Continue reading

Ansible の変数を CUE で記述する

Posted on 日 18 6月 2023 in 運用 • Tagged with Ansible, YAML, CUE, データ検証

Ansible や Kubernetes などのオーケストレーションツールでは、タスクやサービスの記述は再利用可能にしておきつつ、設定を別途 …


Continue reading

nftables のログを JSON で吐く

Posted on 日 21 5月 2023 in 運用 • Tagged with nftables, ファイアウォール, Debian

Linux でのファイアウォールが nftables になってからかなり経つ。iptables フロントエンドよりも分かりやすい設定ファイルと設定 …


Continue reading