テニプリ、何年経っても変わらんのが一番すごい

ThreadsのAPI経由の投稿もAPに流せるようになるという解釈でいいかしら
あとは即時配信をサポートして欲しいところだが

型を書くのが面倒だというのは換言するとプログラミングの作業のうち型を書く時間は楽しくないということなのだが、これは何故かと言うとプログラミングにおいて最も楽しいのは設計を考えている時間であって、キーボードを叩いてファイルに文字を打ち込んでいる時間というのは既に発見された自明な事柄を反復しているに過ぎないので、型を書いていようが実装を書いていようが等しく面倒でつまらない作業だからである

やらかした 部屋冷やしすぎた

ちょっとおしゃれになっちゃったAudacity馴染まんなぁ

むしろ自社ドメインから離れると危険に見えるからカスタムドメインで自社ドメインに見えるようにしてくれと頼まれる始末だからな

This account is not set to public on notestock.

draw.ioの名誉のために言っておくと、draw.ioの収入源は当該アドオンであり、クソレビューとは「無料のdraw.ioを使うためになぜ金を払う必要があるんだこれは詐欺だ」とのことです

draw.ioがConfluence向けの公式アドオン(有料)にクソレビューつけられたからって理由でOSSでなくなったらしい

睡眠を補充しようと思います 探さないでください

まぁ研究の文脈でそんなことは起きないので所詮…という話ではあるね

@204504bySE そういうのと一緒にしないでほしいと言うか、型を書くのがめんどいと口に出すと無条件でそういうの判定するのはおかしいんだよなという話

型を書くのが面倒と言うと無条件で非国民みたいな扱い受けるの終わってるよな
曲がりなりにもこっちはPL研究してるんだぞ、型のメリットを知らんわけなかろうに
OCamlの方見てみろよ、あいつらも型書くの嫌いだろ

もう使っていないリポジトリのCodespaces Prebuildが無駄に課金枠を食っていた回

眠いので適当なことを言うが、母国語で高度な教育が受けられるのが国内の大学の利点だったはずなのになぜ自国の教員に苦しい英語を聞かされているのだ

この眠さで英語聞き取るのしんどいな、日本人の英語なのがギリギリの救い

死んだ顔しながらZoom滑り込んでる

10:30に起きないと単位がなくなります。対戦よろしくおねがいします。

朝早いのに睡眠時間なくなりました。助けてください。

他人が書いたコード嫌すぎて泣いちゃいそう

Next.js壊れた

頭悪すぎてアルゴリズム全然出てこなかった 無限に時間を掛けている

最強のActivityPubソフトウェアもn年完成してない