SRE NEXT 2025で@EGMC さんとChairをやる渡部です！コミュニティ活動分からないことだらけですが心強いメンバーが周りに沢山いるので頼りつつ、よいイベントにしていければなと思います引き続きSRE NEXTをよろしくお願いします！#srenext— RyuichiWatanabe@g…

2025年1月〜6月の振り返り。 よかった点 エンジニアとして新しい取り組みが色々できたんじゃないかなと思っている。特にECSやらDynamoDBなんかは触ってこなかった技術で1月くらいだとまだなんとかなくイメージしかなかったけどそれなりの設計と運用ができる…

FastAPI や Starlette アプリケーションでは、アプリケーションの起動時・終了時に非同期処理を実行する仕組みとして lifespan という概念があります。 from fastapi import FastAPI from contextlib import asynccontextmanager @asynccontextmanager async…

ストレージプール -> tank zfs create tank/share zfs create -o mountpoint=/DATA/share tank/share

RHEL 7.8 yum -y install yum-utils yum -y remove zfs zfs-kmod spl spl-kmod libzfs2 libnvpair1 libuutil1 libzpool2 zfs-release yum -y install http://download.zfsonlinux.org/epel/zfs-release.el7_8.noarch.rpm yum-config-manager --disable zfs y…

形式証明とは、明確に定義された論理ルールに従って、ある命題（主張）が真であることを一歩一歩証明していく方法です。自然言語ではなく、記号と論理だけで構成された「形式的な」方法で記述されるのが特徴です。日々のプログラミングでは、テストを書いて…