2026-05-26
2026-05-25←前 次→2026-05-27
clanとtribe, 型理論の慣習の批判
from: 型理論へのファイブレーション的アプローチ: インスタンスとは - 檜山正幸のキマイラ飼育記 (はてなBlog)
Notes on clans and tribes
Andre Joyal. Notes on clans and tribes. 2017. https://arxiv.org/pdf/1710.10238
clan in nLab
ディスプレイ射
値
自由変数のない項は閉じているという。閉じた項はコンビネータとも呼ばれる。
『型システム入門 : プログラミング言語と型の理論』P42
Linear Haskell, ロック
lotz84_
Linear Haskell を使ってデッドロックを起こさないことを保証するライブラリ linear-locks
楽観ロックのSTMと異なり静的に保証することができロックを取得しながらIOを伴う処理を行うこともできる
https://github.com/dcastro/linear-locks
dcastro/linear-locks: linear-locks provides locking primitives that are statically guaranteed to be free of deadlocks.
Linear Haskell、ロック
排他制御(楽観ロック・悲観ロック)の基礎  #SQL - Qiita
S3
https://x.com/dkfj/status/2059197919958536248?s=20
「S3はファイルストレージではない」と書いたところ、かなり反応があった
S3の内部構造を 1 時間で整理したスライドと動画があります
・分散KVSとしての構造
・Prefix と性能設計
・整合性モデル
・フォルダに見えるものの正体
スライド
https://speakerdeck.com/nrinetcom/s3wozheng-sikuli-jie-surutamenonei-bu-gou-zao-nodu-jie
動画
https://www.youtube.com/watch?v=kwoFRpQsPOA
S3を正しく理解するための内部構造の読解 - Speaker Deck
S3を正しく理解するための内部構造の読解 表層の理解を超えた設計の原則 ~NRIネットコム TECH AND DESIGN STUDY #85~ - YouTube
S3, オブジェクトストレージ
ブロックストレージ、ファイルシステム
風来のシレン6
超神髄Tier表 - YouTube
食料品消費税減税案 vs 所得連動型給付案
食料品消費税減税案 vs 所得連動型給付案
#日誌