akiradeveloper
@akiradeveloper.bsky.social
511キンダーハイム→公立小→麻布→京大→日立R&D→福井地裁スラップ訴訟部
趣味：ギャンブル、囲碁
写真は中学受験時のもの。
麻布・栄光・浅野全勝 '97
Github: https://github.com/akiradeveloper
Blog: https://akiradeveloper.com
YouTube: https://youtube.com/GodAimAkira
趣味：ギャンブル、囲碁
写真は中学受験時のもの。
麻布・栄光・浅野全勝 '97
Github: https://github.com/akiradeveloper
Blog: https://akiradeveloper.com
YouTube: https://youtube.com/GodAimAkira
Pinned
良い絵が描けた。
「非接種者のピクニック」
街で接種者どもがファされていくのを眺めながら、花の咲いたきれいな丘の上でサンドイッチ片手にピクニックを楽しむ非接種者を描いたもの。
by チャッピー
「非接種者のピクニック」
街で接種者どもがファされていくのを眺めながら、花の咲いたきれいな丘の上でサンドイッチ片手にピクニックを楽しむ非接種者を描いたもの。
by チャッピー
マニーメンになったらアラスカに行きたい。
December 18, 2025 at 12:22 PM
マニーメンになったらアラスカに行きたい。
Reposted by akiradeveloper
A pink aurora over Fairbanks, Alaska #Nature #Wednesdayvibe
December 17, 2025 at 9:26 AM
A pink aurora over Fairbanks, Alaska #Nature #Wednesdayvibe
memcachedを実装するとなると、TTLが必要なんだよね。これがめんどい。
December 18, 2025 at 11:15 AM
memcachedを実装するとなると、TTLが必要なんだよね。これがめんどい。
マルチRaftによるシャーディング
readIndexによる一貫性のあるリード
→リードスループット最強
神
readIndexによる一貫性のあるリード
→リードスループット最強
神
December 18, 2025 at 9:17 AM
マルチRaftによるシャーディング
readIndexによる一貫性のあるリード
→リードスループット最強
神
readIndexによる一貫性のあるリード
→リードスループット最強
神
x.com
December 18, 2025 at 9:07 AM
例えば、postgresのリードレプリカはstale readがある。
マスターに書いたけど、そのデータはリードレプリカには反映されていなくて、
リードレプリカを元にして動く人は、一貫性を失った行動をする可能性がある。
そういうのが怖い場合には、マスターのみで運用みたいなクソみたいなことをするしかない。
しかし、RaftのreadIndexがあるならば、一貫性のあるリードがどこでも実現出来る。その上マスターは冗長化されているから壊れたりしない。
マスターに書いたけど、そのデータはリードレプリカには反映されていなくて、
リードレプリカを元にして動く人は、一貫性を失った行動をする可能性がある。
そういうのが怖い場合には、マスターのみで運用みたいなクソみたいなことをするしかない。
しかし、RaftのreadIndexがあるならば、一貫性のあるリードがどこでも実現出来る。その上マスターは冗長化されているから壊れたりしない。
December 18, 2025 at 9:01 AM
例えば、postgresのリードレプリカはstale readがある。
マスターに書いたけど、そのデータはリードレプリカには反映されていなくて、
リードレプリカを元にして動く人は、一貫性を失った行動をする可能性がある。
そういうのが怖い場合には、マスターのみで運用みたいなクソみたいなことをするしかない。
しかし、RaftのreadIndexがあるならば、一貫性のあるリードがどこでも実現出来る。その上マスターは冗長化されているから壊れたりしない。
マスターに書いたけど、そのデータはリードレプリカには反映されていなくて、
リードレプリカを元にして動く人は、一貫性を失った行動をする可能性がある。
そういうのが怖い場合には、マスターのみで運用みたいなクソみたいなことをするしかない。
しかし、RaftのreadIndexがあるならば、一貫性のあるリードがどこでも実現出来る。その上マスターは冗長化されているから壊れたりしない。
readIndexとnon-voterがあると、
一貫性のあるCDNのようなことが出来るということになる。
アメリカ国内に5台のクラスタを組んで、
世界中にノードをばら撒いてそこで一貫したリードクエリ実行が出来るようになる。
ウェブのコンテンツくらいだと要らないがね。
一貫性のあるCDNのようなことが出来るということになる。
アメリカ国内に5台のクラスタを組んで、
世界中にノードをばら撒いてそこで一貫したリードクエリ実行が出来るようになる。
ウェブのコンテンツくらいだと要らないがね。
December 18, 2025 at 8:57 AM
readIndexとnon-voterがあると、
一貫性のあるCDNのようなことが出来るということになる。
アメリカ国内に5台のクラスタを組んで、
世界中にノードをばら撒いてそこで一貫したリードクエリ実行が出来るようになる。
ウェブのコンテンツくらいだと要らないがね。
一貫性のあるCDNのようなことが出来るということになる。
アメリカ国内に5台のクラスタを組んで、
世界中にノードをばら撒いてそこで一貫したリードクエリ実行が出来るようになる。
ウェブのコンテンツくらいだと要らないがね。
もし、S1が最初にバリアを発行していて、それがコミットされていれば、
S1-S3の長さは２になる。
つまり、バリアをコミットされたものでなければもうリーダーになることは出来なくなる。→これが重要。
「バリアを持ってるものがそのタームの正当な選挙者となる」という性質をもたせたいということ。
これは、この図にあるようにログレプリケーションの文脈でも必須だが、
readIndex最適化を考えた場合には、この時点でも必要になる。
なぜならば、readIndexを発行するということは、クエリをキューイングするのと同じ安全性を担保する必要があるから。
S1-S3の長さは２になる。
つまり、バリアをコミットされたものでなければもうリーダーになることは出来なくなる。→これが重要。
「バリアを持ってるものがそのタームの正当な選挙者となる」という性質をもたせたいということ。
これは、この図にあるようにログレプリケーションの文脈でも必須だが、
readIndex最適化を考えた場合には、この時点でも必要になる。
なぜならば、readIndexを発行するということは、クエリをキューイングするのと同じ安全性を担保する必要があるから。
December 18, 2025 at 8:42 AM
もし、S1が最初にバリアを発行していて、それがコミットされていれば、
S1-S3の長さは２になる。
つまり、バリアをコミットされたものでなければもうリーダーになることは出来なくなる。→これが重要。
「バリアを持ってるものがそのタームの正当な選挙者となる」という性質をもたせたいということ。
これは、この図にあるようにログレプリケーションの文脈でも必須だが、
readIndex最適化を考えた場合には、この時点でも必要になる。
なぜならば、readIndexを発行するということは、クエリをキューイングするのと同じ安全性を担保する必要があるから。
S1-S3の長さは２になる。
つまり、バリアをコミットされたものでなければもうリーダーになることは出来なくなる。→これが重要。
「バリアを持ってるものがそのタームの正当な選挙者となる」という性質をもたせたいということ。
これは、この図にあるようにログレプリケーションの文脈でも必須だが、
readIndex最適化を考えた場合には、この時点でも必要になる。
なぜならば、readIndexを発行するということは、クエリをキューイングするのと同じ安全性を担保する必要があるから。
term n+1のログ長はterm nのログ長より+1を保証する（noopをコミットする形でバリアを張る）。
→これが本質
そうすればFigure3.7では、
そもそもS5はリーダーになれない。
→新しいタームでのバリアを持ってなければリーダーには絶対なれない。
→これが本質
そうすればFigure3.7では、
そもそもS5はリーダーになれない。
→新しいタームでのバリアを持ってなければリーダーには絶対なれない。
December 18, 2025 at 8:32 AM
term n+1のログ長はterm nのログ長より+1を保証する（noopをコミットする形でバリアを張る）。
→これが本質
そうすればFigure3.7では、
そもそもS5はリーダーになれない。
→新しいタームでのバリアを持ってなければリーダーには絶対なれない。
→これが本質
そうすればFigure3.7では、
そもそもS5はリーダーになれない。
→新しいタームでのバリアを持ってなければリーダーには絶対なれない。
これ、(c)でterm4のS1が2をコミットしたのに上書きされること(d1)があり得るという図なのだが、前までは「あぁそうですね、バリアが必要ですね」で終わってたが、本質に気づいた。
本質は、S5が再度リーダーになることで、
その本質は、term2,3,4が選挙においてパワーが変わらないから。
だから巻き戻る。
もし、自タームで無意味なバリアをコミットしてから意味のあるエントリをコミットしにいくならば、「タームごとのベースログ長が変化するからタームの選挙パワーに差が出る」ことになる。
これが本質だ。
本質は、S5が再度リーダーになることで、
その本質は、term2,3,4が選挙においてパワーが変わらないから。
だから巻き戻る。
もし、自タームで無意味なバリアをコミットしてから意味のあるエントリをコミットしにいくならば、「タームごとのベースログ長が変化するからタームの選挙パワーに差が出る」ことになる。
これが本質だ。
December 18, 2025 at 8:28 AM
これ、(c)でterm4のS1が2をコミットしたのに上書きされること(d1)があり得るという図なのだが、前までは「あぁそうですね、バリアが必要ですね」で終わってたが、本質に気づいた。
本質は、S5が再度リーダーになることで、
その本質は、term2,3,4が選挙においてパワーが変わらないから。
だから巻き戻る。
もし、自タームで無意味なバリアをコミットしてから意味のあるエントリをコミットしにいくならば、「タームごとのベースログ長が変化するからタームの選挙パワーに差が出る」ことになる。
これが本質だ。
本質は、S5が再度リーダーになることで、
その本質は、term2,3,4が選挙においてパワーが変わらないから。
だから巻き戻る。
もし、自タームで無意味なバリアをコミットしてから意味のあるエントリをコミットしにいくならば、「タームごとのベースログ長が変化するからタームの選挙パワーに差が出る」ことになる。
これが本質だ。
次はnon-voterだな。
December 18, 2025 at 7:25 AM
次はnon-voterだな。
オーストラリアではガキのSNSが禁止になった。
日本でもなるんじゃなかろうか。自殺の要因はSNSだよ。
子供のうちは自分は天才だと思ってがむしゃらにやらなきゃだめ。
キッズ向けにYoutubeするのはリスクある。受験チャンネルとかも危なくなってきたと思う。
しかしこの政策、Githubとかはどうなるんだろう。
Githubはソフトウェア開発SNSだが、これを禁止すると害が大きいのではなかろうか。
子供のゲーマーも育たなくなりそう。
日本でもなるんじゃなかろうか。自殺の要因はSNSだよ。
子供のうちは自分は天才だと思ってがむしゃらにやらなきゃだめ。
キッズ向けにYoutubeするのはリスクある。受験チャンネルとかも危なくなってきたと思う。
しかしこの政策、Githubとかはどうなるんだろう。
Githubはソフトウェア開発SNSだが、これを禁止すると害が大きいのではなかろうか。
子供のゲーマーも育たなくなりそう。
オーストラリアの16歳未満SNS禁止。個人的には中高年のSNS禁止した方が社会的に良いと思うのだ。インターネットやめろ →
子どものSNS利用禁止法、オーストラリアで施行 世界中が注目 www.cnn.co.jp/tech/3524143...
子どものSNS利用禁止法、オーストラリアで施行 世界中が注目 www.cnn.co.jp/tech/3524143...
子どものSNS利用禁止法、オーストラリアで施行 世界中が注目
オーストラリアで10日、16歳未満のSNS利用を禁止する世界初の法律が施行された。中毒性のある仕組みやネットいじめ、未成年を狙う犯罪者などから子どもを守る狙いがある。
www.cnn.co.jp
December 18, 2025 at 7:24 AM
オーストラリアではガキのSNSが禁止になった。
日本でもなるんじゃなかろうか。自殺の要因はSNSだよ。
子供のうちは自分は天才だと思ってがむしゃらにやらなきゃだめ。
キッズ向けにYoutubeするのはリスクある。受験チャンネルとかも危なくなってきたと思う。
しかしこの政策、Githubとかはどうなるんだろう。
Githubはソフトウェア開発SNSだが、これを禁止すると害が大きいのではなかろうか。
子供のゲーマーも育たなくなりそう。
日本でもなるんじゃなかろうか。自殺の要因はSNSだよ。
子供のうちは自分は天才だと思ってがむしゃらにやらなきゃだめ。
キッズ向けにYoutubeするのはリスクある。受験チャンネルとかも危なくなってきたと思う。
しかしこの政策、Githubとかはどうなるんだろう。
Githubはソフトウェア開発SNSだが、これを禁止すると害が大きいのではなかろうか。
子供のゲーマーも育たなくなりそう。
完了。一発で通った。
リーダーでなくともリード出来るようになった。
リーダーでなくともリード出来るようになった。
December 18, 2025 at 7:13 AM
完了。一発で通った。
リーダーでなくともリード出来るようになった。
リーダーでなくともリード出来るようになった。
今一番待ち遠しいゲーム
リリースは26Q1
ウィッシュリストに速攻追加。
リリースは26Q1
ウィッシュリストに速攻追加。
『Full Stride』 Steamストア公開＆新PV解禁！🏇💨
"Full Stride" Steam Store Page is NOW OPEN!🏇💨
👇 Store Page & Wishlist
Steam:https://x.gd/O8Qyn
🎥 高画質フルバージョン(4K)はこちら
Click here for the high-quality 4K version
YouTube:https://x.gd/KGjmj
#FullStride #フルストライド #競馬 #HorseRacing #IndieGame #GameDev #UE5 #Steam #PS5
"Full Stride" Steam Store Page is NOW OPEN!🏇💨
👇 Store Page & Wishlist
Steam:https://x.gd/O8Qyn
🎥 高画質フルバージョン(4K)はこちら
Click here for the high-quality 4K version
YouTube:https://x.gd/KGjmj
#FullStride #フルストライド #競馬 #HorseRacing #IndieGame #GameDev #UE5 #Steam #PS5
December 18, 2025 at 6:09 AM
今一番待ち遠しいゲーム
リリースは26Q1
ウィッシュリストに速攻追加。
リリースは26Q1
ウィッシュリストに速攻追加。
京大であるということは特別な人間ということだ。穢多非人とは違う。
December 18, 2025 at 5:18 AM
京大であるということは特別な人間ということだ。穢多非人とは違う。
一気にやるしかない。おれは京大だ。
December 18, 2025 at 5:17 AM
一気にやるしかない。おれは京大だ。
秒でシンギュラリティに到達する
x.com/singularity2...
x.com/singularity2...
x.com
December 18, 2025 at 4:33 AM
秒でシンギュラリティに到達する
x.com/singularity2...
x.com/singularity2...
ファが非常に面白くなってきた。
鯖江もファされてほしいものだ。
鯖江もファされてほしいものだ。
December 18, 2025 at 4:27 AM
ファが非常に面白くなってきた。
鯖江もファされてほしいものだ。
鯖江もファされてほしいものだ。