ひまのあ himanoa

最近わかってきたことなんですけど、人柱をやっていかないとPRを送るチャンスはこない

CV 悠木碧 orumin

PhD は permanent head damage から来ているバクロニムであることからもこれは明か

CV 悠木碧 orumin

熱変性した蛋白質は二度とは元に戻らないし，進学して非可逆な損傷を発生させた脳も元には戻らないのである

:tofu_on_fire: けるびん kelvin27315

進学の次の学校に進むのに、退学は前の学校に戻らないことに気づいた

えじょねこ ejo090@mstdn.nere9.help

#いろいろな気絶

メカヲタ。 mecaota@mstdn.jp

手が気絶して体が滑った

えじょねこ ejo090@mstdn.nere9.help

オタクは能動的に気絶するのをやめろ

えじょねこ ejo090@mstdn.nere9.help

"気絶しに行く"

semippio semippoi@mstdn.nere9.help

キングダムハーツの一番くじが出るとのことなのでセブンイレブンに気絶しにいこうか悩んでいるところです

五十嵐響子(JC13) hina

ほたの写真です

るじゃ Lugendre

存在型なんかも静的ダック・タイピングやりたいときとかよくあるわけで使うし，型の云々が難しくて......みたいな話よりかは，そういう話が書いてあるのがアカデミックな本ばっかでハードルが高いというのが辛いところね......

るじゃ Lugendre

extensibleなんかはHaskellの言語仕様内だと(型的な問題で)拡張可能レコード表現できないので値の型情報を型レベルリストでもってやればリストだから容易に拡張縮小やれるよねみたいな話なので

るじゃ Lugendre

型で云々するやつは概ねこれをwell-typedの範囲内で表現するのむりじゃねみたいなのなんとかするやつだったりが多いので，型なし使えば解決や！

るじゃ Lugendre

型理論は実用的なライブラリ使う時点で最低限の型レベルの話要求されてつらいねって気持ち

ヴ🔞 vuvuvuyu@pawoo.net

pixivに投稿しました うちの子スターターセット #pixiv https://www.pixiv.net/member_illust.php?illust_id=64035098&mode=medium

pixivにもオリキャラ設定まとめました https://pawoo.net/media/gz1Dhi-ZJ_pVRwzz6Q0