mikutterに対応できなくなった自責の念に耐えかねて名前を捨てた可能性がある……？

動画だけどフェアに各種サービスを比較してて良い /
【Threads】今Twitterがヤバい！？代替SNSを実際に使ってみた感想【Misskey】
https://youtu.be/Iu0TSRjdAjg

十二単

宇宙服ってそんなに層あるの

宇宙服の役割や構造について教えて下さい | ファン!ファン!JAXA! /
https://fanfun.jaxa.jp/faq/detail/205.html

ほえー

ねむにこ

気絶してた

お、埼玉大学の図書館が一般利用できるようになってる！ http://www.lib.saitama-u.ac.jp/?page_id=29#c06

ここは睡眠崩壊してる人間の多いインターネッツですね

@brsywe 一応その日は空いてるけど、昨今の状況的に人混みはあんまり行きたくないな……

@brsywe 飲みならまあ

@brsywe いいけど埼玉だよ

思考がまとまらないので酒を入れた

SimpleLogin設定した

はーーーーあずにゃん

最近は書店に並んでいるだけの本に対して信頼性を担保するメカニズムが何であるのかも分からなくなっていそう

もちろん淘汰が起きて明らかに変な出版社が消え去った後だからかもしれない

近現代の思想としては既存の文脈からの連続性が重視されているっぽくて、それを検証可能な形で担保する最も確実な方法としてとにかく出典を細かく列挙する方針になっているように思う。これをショートカットすると出版社や著者に帰着する権威主義になるが、それはやっぱりショートカットでしかなく、信頼の形としては幾分不安定に思える

なんかめちゃくちゃ還元主義っぽいが、現代で還元主義ってどういう位置付けなんだっけ。本の信頼性という話になると必然的にテクスト解釈が絡んでくるからこうなるもんなのか？

焼き立てパンを食べたい気分だけど近所にパン屋がない

昼間なのにスーパーに子供がいてなんでやねんって思ったけど夏休みか

このアカウントは、notestockで公開設定になっていません。

この変更もやばいが気付く方もどうやって気付いたんだ

はい国税完全に理解した

カビゴン育ててた

551の豚まん、おいしいとはいえちょうど値段分くらいのおいしさなのであまり期待を高めすぎると落差でがっかりしそう（ちょっとした）

MastodonのDocにCentralized, Federated, Distributedの比較概念図みたいなのあるけど、FederatedとDistributedの違いが何を言いたいのかよく分からんな（テキストにも書いてなさそう） https://docs.joinmastodon.org/#federation

@orumin なるほどP2Pと言われると確かにカテゴリ分けになってそうですね。同じアイコンが同じ概念を示すとするなら、肝心のFederatedの図がおかしい気がするけど……

Mastodon公式のドキュメントとか動画とか初めて見たけど、結構強めの自由主義思想なんだな

分散とそれがもたらす自由という理念の強さの割に、アプリケーションのデザインがCentralized寄りなのは謎だなぁ。とはいえ https://www.youtube.com/watch?v=IPSbNdBmWKE も2018年だし、最近は理念もアップデートされてるんだろうか？

I/O直接触るの久しくやってないからまたやりたい

こわすぎる

ﾔﾊﾊｧ!

分散によって直接的にFediverseに自由をもたらすというよりは、いっぺんに全体が壊れるようなことのないネットワークをを作り、囲い込み戦略を取る企業ベースのSNSに対するカウンターとして対置することで、個人（の集団）が企業へ対抗する力を確保するという理念が根底にあるんだと思うとMastodonの戦略も納得できる気がしてきた

そう考えるとThreadsがActivityPubのサポートを表明してるのは（実際の実装がどうなるかは不透明とはいえ）結構な快挙なのでは

@ahiru string, symbol, numberしか使えなくない？

https://dailyportalz.jp/kiji/gyu-jiro-ramen を起点にDPZの二郎の記事読んでたら二郎が食べたくなってきてしまった

Great

最後に二郎食べたの10年前とかだと思う

@ahiru 気持ちは分かるけど、TypeScriptの型は内部実装じゃなくてあくまでもインターフェースを記述するものなんだと思っている

@ahiru それ言ったらTypeScript自体がそもそもpure JSに型注釈を後付けするための言語だし……

TypeScriptで実装と直接繋がってない型を生やすの、FFIするときに関数の型定義を勝手に作るのと気持ち的には同じだと思う

ちゃんと型理論やってる人ならもっとスパッと言えそう

{[key: number]: T} は「numberをキーとしたMapに依拠するオブジェクト」ではなくて「operator[] が number を引数に取るオブジェクト」だからね

@koba789 確かに単にそれでいいですね

ソースコードはヘッダファイルしか読んでないのになんでコンパイル済みのDLLとリンクできるんだ！って思ってた頃を思い出した

そしてC++で同じことやろうとしてマングリング規則の違いを踏んで死ぬ

闇

ていうかsatisfiesって使えるようになってたんだ

シノビトシア

gcnew 何

完全に理解しました

C++/CLIは1㍉も知らんけど……

ふぇのまーさんおめでとう（投機的ハピバ）

うたう　ねむる　サイコキネシス

このアカウントは、notestockで公開設定になっていません。

アリスにお時間いただかれたい

ほげねこ

𝕏のメールアドレスを変えたいだけなのにどうして……

このアカウントは、notestockで公開設定になっていません。

えらい