00:02:33

全盛期のとしぁ伝説

00:25:53

一日が短い

03:01:15

ONI、安定した電力供給がとにかくむずい

03:12:07

今はNatural Gas噴出口があるので耐えてるけど、これがなくなったらどうやって同等の電力供給源を確保すればいいんだ

03:19:14

エタノール作ってエタノール発電できるサイクルを開発するのが急務かなあ

03:57:04

いやこれ副産物に興味がなければ木を燃やし続けてもだいたい同じ出力だし楽だな

06:12:47

ねれん

11:19:28

相似な三角形の不変量として導入した三角比がなぜか解析的な級数、しかもかなり性質がよいものとしても表現できるのは数学の面白さなんだけど、義務教育(+高校)の限られた時間でこういった現象について系統立てた理解を得られるような道筋を組み立てるのは非常に難しそう

11:23:54

それはそれとして、高校範囲だけで三角関数の実際の値を(近似的に)計算したいなら加法定理と半角の公式を繰り返し使うとよさそう

11:31:27

ベジェ曲線、未だに何も分かってない(TODOリストに積まれている)

11:33:23

楕円曲線もTODOリストに積まれている。曲線なんもわからん

12:24:14

ネギまってそういう世界観なの

13:10:23

@orumin うまそう。これどこですか?

13:12:29

マネーフォワード、口座残高を毎日syncするようにできないんかな

13:19:42

あずにゃん

14:13:51

そこでワークフローエンジンなんですね

14:17:55

asyncに状態遷移が起きるのをDBでトラックするやつ、要するにオートマトンの状態をシリアライズして実行コンテキストをまたげるようにしてるんだから、オートマトンを書く気持ちでコードに落とせばいいと思ってる

14:21:34

Workflow engine、Apache AirflowとかCadenceとかのやつですね

14:26:42

WorkerがDBに積まれてるタスクをpullしてくモデルでWorkerが複数いるとき、安全にタスクのロックを取って解放する正しいやり方(特にWorkerが死んだとき)があまり分かってない

14:30:49

Redisみたいな非同期キューからのpopを所有権の代わりに使うと、workerが突然死したときにタスクが消滅してしまうんだよな

14:40:04

SQSみたいなメッセージングキューを入れると管理がめちゃくちゃだるい。まあ分散ってそういうもんかもしれんけど、もっと気軽にやりたい気持ちはある

14:41:57

SQS、exactly once型の配信できるんだ

14:44:33

exactly onceで300req/s出るなら大抵のユースケースではなんとかなりそう

16:05:24

開国した頃に大量の金が外国に流出したやつじゃん

16:23:45

@teobot でもなぜ蕎麦の麺ってあんまり蕎麦じゃなくない?

17:19:20

@orumin ありがとうございます。いい名前

17:43:04

秘書と何をするんですか?

17:54:54

あずにゃんとにゃんにゃん

20:55:02

チキンステーキいいね

20:55:46
20:56:46

東工大生のソウルフードのひとつやぞ

21:02:04

晩ごはんなにたべよ

21:09:06

自炊の気分じゃないからセブンでいいか

21:22:15

Vectorを自称するベクトルでない構造体

21:27:18

内部的に連続したメモリ領域でないとその意味でもベクトルではないのでは

21:28:56

CPUのベクトル演算命令の話かと思った

21:32:30

まあ組み込みでvectorと呼ばれてる構造が本当にベクトル空間のベクトルな言語はMATLABしか知りませんが……

21:36:24

Attack vectorとかVirus vectorって言葉も見たことあるし、ベクトル空間の元をvectorって言うのも数学が乗っ取った結果なのかなと思いきや、数学と生物学以外で名詞の用法はないっぽい? merriam-webster.com/dictionary

21:41:54

あなたも私も同期~

21:42:51

それ知らんうちに山奥に誘い込まれるやつじゃない?

21:44:26

われら同期、同年同月同日に生まれずとも、同年同月同日に生きることを願わん

21:50:46

違法オプションすき

21:52:23

ONIやるぞ

21:54:20

昨日じっくり考えた結果、とりあえず開拓してNatural Gas無限湧きスポットをもう一つ見つけるのが正解っぽい感じになった

23:10:47

CCさくらを現代的な分析にかけるオタクだ

23:18:45

もしかしてこのゲーム、Duplicantを増やしすぎると酸素供給にリソースを取られて不利になる?

23:25:00

1つの発電機でまかなうグループごとに固めて設置しないと無理だなこれ