あずにゃん (@ Ramen Tatsu-ya in Austin, TX) https://www.swarmapp.com/osa_k/checkin/5c9c105a9e0d54002c1928c4?s=z9LUmKizC4bkyJwCslV3NmJqLzg
あずにゃん (@ Ramen Tatsu-ya in Austin, TX) https://www.swarmapp.com/osa_k/checkin/5c9c105a9e0d54002c1928c4?s=z9LUmKizC4bkyJwCslV3NmJqLzg
携帯に画面保護シートを貼り最強になったかと思いきや中央に小さいゴミを巻き込んでしまっていて精神が終わった
Error Boundaryってかなりジェネリックな名前だけど、もしかしてReactの造語なのか？検索してもReactしか出てこない
コロナのせいでオフィスの中を歩き回る程度の運動すらしなくなったのやばい気がするな
ここ最近そこはかとなくだるいんだけど、引きこもってるせいで身体がバグってるだけのような感もありよく分からない
一貫性がないので、ごはんを炊いたけどDoordashでデリバリーを注文することにした
冷凍食品は無限に保つと仮定すると、レストランが生きてる間は外食し続ける方がアドという説あるな（備蓄食料を減らさなくて済むので）
このアカウントは、notestockで公開設定になっていません。
レバレッジETF、長期で持つと絶対死ぬからとっとと利確売りしないといけないけど、下手に利益を出すと所得税率爆上げして悲しみになりそう
Long term capital gainは所得には組み入れずに独自の税率で課税される感じでいいのかな
ん、というか昇給やらLTIPやらがあるので所得税爆上げは不可避っぽい気がしてきたぞ？ということはレバレッジETF買い得なのでは？？
3倍レバレッジETFのコンポーネントをいくつか単株で買って長期保有すればいい説あるな
不思議DX、ライザ2みたいにグッズだけの箱も売って欲しい。ゲームはSteamが一番便利なため……
函数 f が X にコンパクトな台を持つとは、f の台 supp(f) が X のコンパクト部分集合となることを言う。 https://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0%E3%81%AE%E5%8F%B0#%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8F%B0%E4%BB%98%E3%81%8D%E3%81%AE%E5%87%BD%E6%95%B0
具体例は分からんけど、実質的に定義域がコンパクトだと思えると連続写像で写した後もコンパクトになるから嬉しいみたいな気持ちなのかな
コンパクトゲームというのを思いつきました（過去1億人くらい思いついてそう）
あ、さっきコーヒー買いに出たついでに酒も買ってくればよかった（計画性∅）
1対1写像という言葉はたぶん存在しなくて、1対1対応（全単射）か1対1の写像（単射）なら存在するけど、宇宙一紛らわしい単語なのでおとなしく全単射とか単射とか言いましょう（というのをつい数ヶ月前に知った）
Whole Foodsが開いてるうちに買い出しに行く。Whole Foodsは9時で閉まる #おさけーめも
これは……焼き肉のタレかけて焼いたら完全に焼き肉ですね。切り方なのか肉質なのか分からんけど、塩レモンだと肉の味があんまり引き立ってない
塩レモンと肉の相性ではなく、レモンが弱い説あるな（そのままかじったらあんまり酸っぱくなかった）
たとえばとかつまりって言いながらfor exampleとかthat isって書いてもダメージあるだろ
e.g.とi.e.とcf.は自分が正しく使っても読み手があんまり分かってないことがよくあるのでア
ガラス製で中の様子が見えるティーポットって保温性どうなんですか？識者の意見が聞きたい
中学生くらいのときはかっこいいのでQ.E.D.って書いてたけど、幾度かの調整を経て今は■で済ますようになった
証明終わりの記号、名前あるしなんなら専用のUnicode codepointも割り当てられてるのか…… https://ja.wikipedia.org/wiki/%E5%A2%93%E7%9F%B3%E8%A8%98%E5%8F%B7
(@ Alcatraz Island) http://foursquare.com/v/4451c80ef964a520a5321fe3
あずにゃん (@ Hinodeya Union Square) http://foursquare.com/v/6354434558524936f9749b1d
このアカウントは、notestockで公開設定になっていません。
財布に入ってる金額がマネーフォワードの主張する金額より1万円くらい少ないんだけどそんなことある？
使ってないから分からんけど、ちょっと調べた感じfreeeは単式簿記っぽいUIがメインなのかな
マネーフォワードは簿記の教科書読んで想像したシステム構成をだいたいそのままUIにしたような感じで、学習コストは高めだけど安心感はあった
thatも名詞句の前には置けなくて、Does it mean your...かDoes it mean (that) you have a solid will to... ですね
モックできない時計に依存するコードはテスト不可能 and/or 時刻やマシンのタイムゾーンで結果が変わるようになって死しかない
java.timeは現在時刻が問題になるほとんどのケースで陽にClockを要求してたはず。Joda Timeはテスト用にシステムクロックをモックする機構がなかったっけ
@omasanori 結構ある……Cleanは名前は割と聞きますね（AgdaとかCoqとかお前そもそも副作用書けなくない？みたいなのもありますが）
> 現在のあいおいニッセイ同和損害保険会社の前身会社の一社である同和火災海上保険（以下同和火災）は、明治時代に誕生した横浜火災海上保険、共同火災海上保険（以下、共同火災）、神戸海上火災保険、その後大正時代に発足した朝日海上火災保険が、太平洋戦争末期昭和19年に合併してできた会社です。
から考えるとまあ単純に"和する"みたいなところから名付けられたのかな
三井住友海上とあいおいニッセイ同和の火災保険見積もりが同じフォーマットでなんでだろうと思ってたけど経営統合してたのね
ローグライト無双アクション『無双アビス』なんと新アプデで『アトリエ』シリーズのキャラ実装。英傑としてしれっと混じるライザ・ソフィー・ユミア https://automaton-media.com/articles/newsjp/musou-abyss-20250328-333227/
@mecha_natsuki エンジニア「みたいな」ってことは、kb10uy先パイは真のエンジニアじゃないってこと！？
ておロボもDALLEだったけどContent-Typeが不正は見たことないなあ
@mecha_natsuki 豚こまが余ってるんだけどうまく使えないかな
