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 19, 2025 at 5:42 AM
もともとアクター的な形にはしてる。アクターではないが。次は厳密にメールボックス的な動作をさせる
書き込みは読み込みに比べて極小という仮定をおけば、コンパイラの保証のほうが遥かに大きいといえると思う。
並行プリミティブがごっそり消えるから、わかりやすくもなる。
並行プリミティブがごっそり消えるから、わかりやすくもなる。
December 19, 2025 at 5:41 AM
書き込みは読み込みに比べて極小という仮定をおけば、コンパイラの保証のほうが遥かに大きいといえると思う。
並行プリミティブがごっそり消えるから、わかりやすくもなる。
並行プリミティブがごっそり消えるから、わかりやすくもなる。
アクター的な形に書き換える。
December 19, 2025 at 5:40 AM
アクター的な形に書き換える。
ログ挿入してるときにレプリケーションが止まることだが、確かに問題っぽさはあるが、コンパイラの保証のことを考えればゴミでは？と思う
December 19, 2025 at 5:39 AM
ログ挿入してるときにレプリケーションが止まることだが、確かに問題っぽさはあるが、コンパイラの保証のことを考えればゴミでは？と思う
困るのは、書き込みしてる時に読めなくなること。
December 19, 2025 at 5:36 AM
困るのは、書き込みしてる時に読めなくなること。
ロックを使ってアクター相当のことをする。おそらくコントローラは信用出来るパーツになるんじゃないかな。
あとはログの方だが、これは直列化すると悪くなる気がするが、してもいいような気もしてる。
あとはログの方だが、これは直列化すると悪くなる気がするが、してもいいような気もしてる。
December 19, 2025 at 5:35 AM
ロックを使ってアクター相当のことをする。おそらくコントローラは信用出来るパーツになるんじゃないかな。
あとはログの方だが、これは直列化すると悪くなる気がするが、してもいいような気もしてる。
あとはログの方だが、これは直列化すると悪くなる気がするが、してもいいような気もしてる。
コントローラの直列化はそんなに害がない。メンバーシップの変更とか、選挙とか稀なものばかりなので。
December 19, 2025 at 5:33 AM
コントローラの直列化はそんなに害がない。メンバーシップの変更とか、選挙とか稀なものばかりなので。
コントローラ周りで、コンパイラの保証を増やそう。このままだとおれすらも正しさを信じられない。
December 19, 2025 at 5:33 AM
コントローラ周りで、コンパイラの保証を増やそう。このままだとおれすらも正しさを信じられない。
麻布から京大医学部行ったやつは脳外科してるのか。かっこいいわ。
直美死ね。
直美死ね。
December 19, 2025 at 4:55 AM
麻布から京大医学部行ったやつは脳外科してるのか。かっこいいわ。
直美死ね。
直美死ね。
相当妥協して実装するしかないと思う
December 19, 2025 at 2:49 AM
相当妥協して実装するしかないと思う
こりゃアクターかもな。
人間の脳にはわからんわこりゃ
人間の脳にはわからんわこりゃ
December 19, 2025 at 2:48 AM
こりゃアクターかもな。
人間の脳にはわからんわこりゃ
人間の脳にはわからんわこりゃ
膨大だな。中身を整理しないとどもならん
December 19, 2025 at 2:29 AM
膨大だな。中身を整理しないとどもならん
レプリケーションはアクターじゃないとだめだな。これはバグるかも。
正確にいうと、Raftの能力でセルフヒールする可能性があるが、ようわからんからもっと単純化しないと人間の脳では理解出来ない
正確にいうと、Raftの能力でセルフヒールする可能性があるが、ようわからんからもっと単純化しないと人間の脳では理解出来ない
December 19, 2025 at 1:49 AM
レプリケーションはアクターじゃないとだめだな。これはバグるかも。
正確にいうと、Raftの能力でセルフヒールする可能性があるが、ようわからんからもっと単純化しないと人間の脳では理解出来ない
正確にいうと、Raftの能力でセルフヒールする可能性があるが、ようわからんからもっと単純化しないと人間の脳では理解出来ない
地区センで少しやるか。ここも自習室作ればいいのに
December 19, 2025 at 1:11 AM
地区センで少しやるか。ここも自習室作ればいいのに
内部的には、自分を覗いたやつの情報だけを持つことにする方がわかりやすいと思うな。その方針で手を動かしてみるか。
December 19, 2025 at 12:47 AM
内部的には、自分を覗いたやつの情報だけを持つことにする方がわかりやすいと思うな。その方針で手を動かしてみるか。
peer_contextsはすでに隣人しか保持してない。
December 19, 2025 at 12:46 AM
peer_contextsはすでに隣人しか保持してない。
あぁそうか。
membershipというのを消したら簡明になるかな。
membershipというのを消したら簡明になるかな。
December 19, 2025 at 12:44 AM
あぁそうか。
membershipというのを消したら簡明になるかな。
membershipというのを消したら簡明になるかな。
出身高校と大学を聞いて、ワクチンしてるかどうかを当てます！！
December 18, 2025 at 11:40 PM
出身高校と大学を聞いて、ワクチンしてるかどうかを当てます！！
【お茶大生の胸中】実は早慶級！？名門女子大生が思うトントンの大学はどこ？徹底調査！【wakatte TV】#1345
YouTube video by wakatte.tv
youtu.be
December 18, 2025 at 11:39 PM
これペダリングも良くなるんじゃないかな
prtimes.jp/main/html/rd...
prtimes.jp/main/html/rd...
股間を圧迫しないサドル、evo4 Super Hornetを販売開始
フェニックス合同会社のプレスリリース（2024年9月13日 12時10分）股間を圧迫しないサドル、evo4 Super Hornetを販売開始
prtimes.jp
December 18, 2025 at 10:46 PM
これペダリングも良くなるんじゃないかな
prtimes.jp/main/html/rd...
prtimes.jp/main/html/rd...
non-voter、検討してるが、きれいにやる方法が見つからないな。
December 18, 2025 at 10:40 PM
non-voter、検討してるが、きれいにやる方法が見つからないな。