「いとこ」を翻訳するのに「｛母方・父方｝の｛おば・おじ｝の｛むすめ・むすこ｝」の 2³ を使い分けるのややこしい #Duolingo #アラビア語

うちの SLA 造形機、2020年製品なんでこの4年で結構変わってるかもしれんかー？

家では FDM で大きいスケールで試作と修正して、小さいスケールは DMM でいいかもしれんな　SLA はレジンの後かたづけとかじゃまくさいのよな

向こうの部屋のエアコンかけて冷やしたけどこっちの部屋にいてもう夜中になったから一度も入らずに切った😣

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

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

Without JS ってこと？

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

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

梅田にデカダイソーあって見つけたー

ふむー？ > The Σ is a store typing: it assigns types to memory locations.

や、これ参照やんな

中古屋評論家

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

プロ・ネコロビスト

こやつがよく分からん　STLC の拡張らしく simple typed lambda calculus を調べればいいのかな

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

地下にいるのに Google マップの現在地がなかなか正確　Wi-Fi とか Bluetooth ビーコンなんか？

カツミの入門キット　初カツミよ～

キヤノン📷️

鉄道模型のボディキットを買って、不足パーツを買い足したらボディキットよりも価格高くてウケる～

列車に揺られて眠たくなってきた

今は「どこにキャストを挿入すべきか」って内容を読んでる

結構人々外に出とるな

結局またふとんでごろごろしてる！　よくなーい！

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

アカいパスポート

今日もちょっと頭痛がある

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

@orange_in_space Go の defer はそういう用途じゃないですねー　参照カウントを GC に採用した処理系じゃないと難しそう

@orange_in_space defer 構文は「スコープを抜けるとき」なので C# だと IDisposable を using 構文で使うのと似たような機能ですね！　defer はスコープごとに処理を変えられる・using はクラスごとに処理が固定である、という違いがありますが

飼い主さんの呆れ声含めてこれ好き

@orange_in_space これはスコープの話（defer）とは別の話？

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

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

50万円行くかどうかってところやね😳

象のおまんこデッカ

こういうのが読めるようになってて『型システム入門』とその輪講ありがとう

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

ちょっとスマホいじっていすぎた　9:55 に家出るつもりが洗濯機 35 分か～、あれ～

kakkun61 は Duckduckgo を使ってるよ

ｵｯﾊﾖ

Siek『Gradual Typing for Functional Languages』読んでる　型付きラムダ計算の gradual typing なら実装できそうな気持ちになるあたりまでは読んだ

https://x.com/hashtag/%E9%89%84%E3%83%97%E3%83%AC%E5%A4%A7%E9%98%AA #鉄プレ大阪

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

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

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

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

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

読めない

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

サンクコスト、sunk cost と thunk cost 両方あるんやね

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