「型が付けられないなら付けられる型システムを追加すればいい」みたいなことをやっているよな TypeScript
TS は型など全く考慮せず書かれたコードの制約を後付けで記号化しようという試みなので、 TS がそこそこ使われているという事実は「型がないコード」が欺瞞で実は型が付けられるということに他ならない
TypeScriptがJavaScriptの罪を背負いすぎて型システムがバベルの塔になりつつある Babel じゃないのに
オーバーロードを関数内の型/null判定で実現しようとするやつは何をやってもダメ(過激な発言)
連中「○○を使います」と後出しで宣言すれば勝手に情報が生えてくると思ってるんだよ、意味がわからない
多相なら多相なりに <T> なりなんなりつけてくれ、わかりすぎる
MaixduinoのFatFsデバイス側実装あったかな……
そういえば全然関係ないんだけどうちの軽乗ったら死ぬほどハンドル軽くてびびったよね
僕がやったのはなんか5cmぐらい高さある平均台みたいなのの上を通るやつでしたね
原付教習であのほっそいの乗る練習やらされた(あんまりできなかった)けどあれ必須項目なのね……
2019-11-23 23:37:23 しきうたの投稿
siki_uta@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
それはそうと、むしろ遠ざかったような気がするので終わり
「引数は○○と local_context と○○だよ！」と言ってて、もちろん型が明示されてなくて、文脈を見るとどう見ても任意の JSON value なんだけど、アルゴリズム中で突如「local_context の出所になったドキュメントの base IRI を使ってね！」みたいなこと言われたんだが
あちこちで引き回す値の出所を把握しとけなんて話聞いてねえぞ！？
もっと言うとまず日本語を含む文字列を畳んでいくのが面倒だが！？
一つ問題があるとすると美咲フォントなどはだいたい JIS 順で並んでるので Unicode 順に並べるのがクソ面倒ということですね。
Maixduino、RAMが6MBもあるので美咲フォントぐらい余裕で入れっぱなしにできそう
2019-11-23 22:59:49 きーすとの投稿
keasti@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
妹がもっと長いUSBケーブルがほしいらしいんだけど、僕が持っているもののいずれでもないみたいなことを言っているらしく謎(9割ぐらいA-microBだと思っている)
A-B
A-miniB
A-microB
A-C
microB-microB
microB-C
C-C
以外のケーブルでモバブとスマホの接続に使うようなケーブルってある……？
これは公式情報なですけど夏稀の下着の色は青(水色)です
なるほどね(僕はめっちゃメイクしてるなあみたいな感想で見ていました)
←このCrypko に近付けることは必ずしも目的ではないので気軽にご参加ください
でもどう見てもこのアバターって胸元はだけてるじゃないかよ
おそらくなんですけどv2は僕の内面的な嗜好が反映されてnatsukilityが上がっている
左から
v3(今捻ってるやつ)
v2(通称カスオメ夏稀)
v1(通称カスメ夏稀)
まるでぼくがトイレ行ってる間にしかシコらないみたいな
2019-11-23 21:58:25 ちゃーしゅーねこの投稿
charsiuCat@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
いやーユーザー会っつっても反映率50%ぐらいだしなあ
2019-11-23 21:51:07 きーすとの投稿
keasti@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
輪郭(丸)↓
輪郭(尖)↑
目サイズ(縦)↓
目位置(縦)↓
2019-11-23 21:42:16 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
2019-11-23 21:41:55 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
顔サイズが隠蔽される別のnatsukility要素があったのかなあ なんだろ
39ぐらいまでガッツリ下げると割かしそれっぽくなったかも
natsukilityの基準が「僕がどれぐらい自然に日下夏稀であるとして受け入れられるか」という超主観的なもの
@kunimi53chi それはありそう(しかし顔サイズのパラメーターは元のプリセットとそんなに変えてないんだよなあ…)
絵面としては確実に原作に近付いてるはずなのにnatsukilityが低下してるように感じられるのはなぜだろう……
kore 
2019-11-23 21:22:26 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
名札と電光掲示板といえばShigezoneにLEDバッヂなるものがあったな
2019-11-23 17:43:08 出雲伊月の投稿
itsukia@pl.istukiy.com
このアカウントは、notestockで公開設定になっていません。
母10uyに印刷用ページの存在について教えているがなかなか気付いてくれない
24ピンフラットケーブルで繋がってるのにIOはSPIなのか
多分普通の計算はコンパイラがFD拡張命令を使ってくれると思うんだけどどうやら sqrt にハードウェアで対応しているらしくこれがちゃんと活用されているのかを確認したい
GitHub - riscvarchive/riscv-glibc: RISC-V port of GNU''s libc
libcがどのように実装されているかめちゃくちゃ気になるんだけどどっかに実装置いてないんかな
見てて思ったけこれ K210 なら FPU は全部に乗ってるんとちゃうんか？
2019-11-23 12:10:03 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
2019-11-23 12:09:05 かるばぶの投稿
babukaru@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
ただし単一のときだけは深い場所にもマッチするみたいな話だと思う
特別な関数とか使わなくても勝手にやってくれるのかな
Kendryte K210 は RV64GC ということなので I(基本) M(整数乗除) A(アトミック命令) F(単精度) D(倍精度) C(圧縮命令) がサポートされているのか
RISC-Vの命令セットまわりをざっくりあさっている
別にSimplified である必要性はないんだけど
Simplified Chinese 学習の機運が発生しつつあるな……
夏稀の彼氏 さんのチェックイン (11月23日 10:46) - Tissue
shadow も $2y$XXXXXXXXXXXXXX 形式だっけ
sudo passwd に違和感を抱いてないと後で重大にハマる事案だ
まちカドおるみん（妹） (@orumin@mstdn.maud.io)
そういえばArchLinuxをDHCP運用したことなかったな……
Systemd がビッグブラザーになったので基本的にそのへんがいらなくなりつつあるけど、GUIを使う場合は現状 networkd には致命的な欠点があってNetworkManagerと連携してくれない
dhcpcd は systemd-networkd でなんとかならん？
まあ将来AIBやるとしても最悪英語版Archwikiあたりに書いてあればなんとかなるかな……
2019-11-23 01:32:41 skiaphorus(引っ越し済み)の投稿
skia@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
あーこっそり(?)Reservedなピンを使ってる可能性もあるのか
Archは最近baseが大幅に変更されてほぼ無になったので手動で追加するのがけっこう面倒になったりしてそう
メモリ以外のインターフェースとしてありえそうなのはSPDとかいうEEPROMの領域とJTAGポートかな？
JEDECから企画書を取ってくるしかないっぽくねえか
同じスロットで他の接続なしでRGBコントロールとかできるならなんかオマケ端子がありそう
純粋な興味なんだけどメモリスロットでメモリアクセスに関係ないポートってどうなってるんだろ
メモリが0.5円/MBぐらいまで来てるのがかなり効いてる感はある
ノイズ録音したけど2kHzあたりで三角波っぽいのが出てきてた
3万ちょいぐらいまでの範囲でいい感じのデジタルオシロを見つけておきたい
！そういえば今日は勤労感謝の日なのでゲームの日なので井之原小星さんの誕生日！
kb10uy(@kb10uy@mstdn.maud.io)の投稿
