「型が付けられないなら付けられる型システムを追加すればいい」みたいなことをやっているよな TypeScript

2019-11-23 23:58:15 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red

TS は型など全く考慮せず書かれたコードの制約を後付けで記号化しようという試みなので、 TS がそこそこ使われているという事実は「型がないコード」が欺瞞で実は型が付けられるということに他ならない

食べ物が出ている人々がおるな

聲が出ている

2019-11-23 23:56:52 ぴけぴけ@Skebなど1件作業中の投稿 pikepikeid@mstdn.maud.io

こんな感じかなぁ🔞

TypeScriptがJavaScriptの罪を背負いすぎて型システムがバベルの塔になりつつある Babel じゃないのに

オーバーロードを関数内の型/null判定で実現しようとするやつは何をやってもダメ(過激な発言)

原付だけ地方税法で扱わてているのか

高度な型推論言語の可能性が微レ存

2019-11-23 23:44:43 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red

連中「○○を使います」と後出しで宣言すれば勝手に情報が生えてくると思ってるんだよ、意味がわからない

多相なら多相なりに <T> なりなんなりつけてくれ、わかりすぎる

無きゃ無いで書けばいいんだけども……

MaixduinoのFatFsデバイス側実装あったかな……

あー……

原付の教習は無いほうがデフォルトだね

そういえば全然関係ないんだけどうちの軽乗ったら死ぬほどハンドル軽くてびびったよね

A. 二人以上乗りしてはいけないので NaN 種

僕がやったのはなんか5cmぐらい高さある平均台みたいなのの上を通るやつでしたね

原付教習であのほっそいの乗る練習やらされた(あんまりできなかった)けどあれ必須項目なのね……

2019-11-23 23:37:23 しきうたの投稿 siki_uta@mstdn.maud.io

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

2019-11-23 23:37:30 体力自慢爆死お兄ちゃん(学生)の投稿 Otakan951@mstdn.maud.io

それはそうと、むしろ遠ざかったような気がするので終わり

2019-11-23 23:36:32 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red

「引数は○○と local_context と○○だよ!」と言ってて、もちろん型が明示されてなくて、文脈を見るとどう見ても任意の JSON value なんだけど、アルゴリズム中で突如「local_context の出所になったドキュメントの base IRI を使ってね!」みたいなこと言われたんだが

あちこちで引き回す値の出所を把握しとけなんて話聞いてねえぞ!?

もっと言うとまず日本語を含む文字列を畳んでいくのが面倒だが!?

一つ問題があるとすると美咲フォントなどはだいたい JIS 順で並んでるので Unicode 順に並べるのがクソ面倒ということですね。

JSON-LDの闇広がりすぎでしょ

Maixduino、RAMが6MBもあるので美咲フォントぐらい余裕で入れっぱなしにできそう

子宮modってなに……

オタクの名前の濃度がℵかℵ0かみたいな

2019-11-23 22:59:49 きーすとの投稿 keasti@mstdn.maud.io

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

Thunderboltex3

文乃さんと並べると姉妹っぽさが増す

妹がもっと長いUSBケーブルがほしいらしいんだけど、僕が持っているもののいずれでもないみたいなことを言っているらしく謎(9割ぐらいA-microBだと思っている)

A-B
A-miniB
A-microB
A-C
microB-microB
microB-C
C-C

以外のケーブルでモバブとスマホの接続に使うようなケーブルってある……?

🔞/夏稀

バリアント大集合の巻(?)

これは公式情報なですけど夏稀の下着の色は青(水色)です

なるほどね(僕はめっちゃメイクしてるなあみたいな感想で見ていました)

友奈ちゃんってカスメが原作なの

NSFW

そぎっ

多分夏稀ピンクのリンク死んでる

←このCrypko に近付けることは必ずしも目的ではないので気軽にご参加ください

夏稀エディットチャレンジイベント発生中

さっきのSSの状態では適用してないね

ツリ目フェイスはやっぱ角度がきつすぎるかなあ……

でもどう見てもこのアバターって胸元はだけてるじゃないかよ

おそらくなんですけどv2は僕の内面的な嗜好が反映されてnatsukilityが上がっている

全部デフォだったと思う

新しくなるごとにだんだん髪の影が薄くなっていく

完全に裸ワイなの忘れてた

あっそぎぎ

左から
v3(今捻ってるやつ)
v2(通称カスオメ夏稀)
v1(通称カスメ夏稀)

まるでぼくがトイレ行ってる間にしかシコらないみたいな

. ✋
WE KNOW

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が低下してるように感じられるのはなぜだろう……

2019-11-23 21:22:26 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io

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

名札と電光掲示板といえばShigezoneにLEDバッヂなるものがあったな

h抜けてるやんけ

ちゃんと例の表情用意してあって草

2019-11-23 17:43:08 出雲伊月の投稿 itsukia@pl.istukiy.com

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

誰か絶対にボジョレーコマンド作ってるでしょ

$ beaujolais --no-uveau

新大久保乃々

2019-11-23 15:39:03 ぴけぴけ@Skebなど1件作業中の投稿 pikepikeid@mstdn.maud.io

ド親切かよ

母10uyに印刷用ページの存在について教えているがなかなか気付いてくれない

そぎぎマックス

精液どぴゅりヶ丘

夏稀の彼氏 さんのチェックイン (11月23日 13:27) - Tissue shikorism.net/checkin/6131

夏稀の彼氏 さんのチェックイン (11月23日 13:27) - Tissue

24ピンフラットケーブルで繋がってるのにIOはSPIなのか

なるほどなあ

あった、 fsqrt.sだ

多分普通の計算はコンパイラがFD拡張命令を使ってくれると思うんだけどどうやら sqrt にハードウェアで対応しているらしくこれがちゃんと活用されているのかを確認したい

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で公開設定になっていません。

前にもらったけど紛失してしまったので

mikutterステッカーほしいな

ただし単一のときだけは深い場所にもマッチするみたいな話だと思う

その a/ はなんか適当なやつってことじゃない

んーさてどうしたものか

特別な関数とか使わなくても勝手にやってくれるのかな

Kendryte K210 は RV64GC ということなので I(基本) M(整数乗除) A(アトミック命令) F(単精度) D(倍精度) C(圧縮命令) がサポートされているのか

RISC-Vの命令セットまわりをざっくりあさっている

別にSimplified である必要性はないんだけど

Simplified Chinese 学習の機運が発生しつつあるな……

バスト1桁は妊娠20週ぐらいじゃない?

胸かと思ったらマラでな

そうか今日はゲムマかー

夏稀の彼氏 さんのチェックイン (11月23日 10:46) - Tissue

おちゃのんでねよ

僕以外に面白さがわからないトゥートになっちゃった

ChaCha RC 4
AES三姉妹~

本日のkb{}yだ

2019-11-23 01:49:28 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red

kb$2y

SHA512なのかこれは

でも $2y じゃなくて $6 だった

そうっぽい

shadow も $2y$XXXXXXXXXXXXXX 形式だっけ

sudo passwd に違和感を抱いてないと後で重大にハマる事案だ

2019-11-23 01:42:24 らりお・ザ・何らかの🈗然㊌ソムリエの投稿 lo48576@mastodon.cardina1.red

mstdn.maud.io/@orumin/10318255

あと再起動前に passwd し忘れて root ですらログインできなくなるやつ

まちカドおるみん(妹) (@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ぐらいまで来てるのがかなり効いてる感はある

PC更新案外10万ぐらいでも人権構成狙えるなあ

修理が受け付けてくれないなるほど

まついさんのは2本運用もできないタイプなの

ノイズ録音したけど2kHzあたりで三角波っぽいのが出てきてた

3万ちょいぐらいまでの範囲でいい感じのデジタルオシロを見つけておきたい

新品で……(これは保身トゥート)

やっぱなんかオシロほしいな~

!そういえば今日は勤労感謝の日なのでゲームの日なので井之原小星さんの誕生日!