23:59:35 @kb10uy@mstdn.maud.io
icon

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

23:59:09 @kb10uy@mstdn.maud.io
2019-11-23 23:58:15 らりお・ザ・何らかの🈗然㊌ソムリエ님의 게시물 lo48576@mastodon.cardina1.red
icon

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

23:58:19 @kb10uy@mstdn.maud.io
icon

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

23:57:26 @kb10uy@mstdn.maud.io
icon

聲が出ている

23:57:16 @kb10uy@mstdn.maud.io
2019-11-23 23:56:52 ぴけ@Skeb1件作業中님의 게시물 pikepikeid@mstdn.maud.io
icon

こんな感じかなぁ🔞

Attach image
Attach image
Attach image
23:54:53 @kb10uy@mstdn.maud.io
icon

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

23:53:46 @kb10uy@mstdn.maud.io
icon

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

23:50:33 @kb10uy@mstdn.maud.io
icon

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

23:47:34 @kb10uy@mstdn.maud.io
icon

|x| x

23:45:49 @kb10uy@mstdn.maud.io
icon

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

23:45:33 @kb10uy@mstdn.maud.io
2019-11-23 23:44:43 らりお・ザ・何らかの🈗然㊌ソムリエ님의 게시물 lo48576@mastodon.cardina1.red
icon

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

23:44:18 @kb10uy@mstdn.maud.io
icon

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

23:43:32 @kb10uy@mstdn.maud.io
icon

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

23:43:08 @kb10uy@mstdn.maud.io
icon

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

23:42:45 @kb10uy@mstdn.maud.io
icon

あー……

23:42:14 @kb10uy@mstdn.maud.io
icon

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

23:41:49 @kb10uy@mstdn.maud.io
icon

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

23:41:15 @kb10uy@mstdn.maud.io
icon

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

23:40:42 @kb10uy@mstdn.maud.io
icon

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

23:38:22 @kb10uy@mstdn.maud.io
icon

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

23:37:58 @kb10uy@mstdn.maud.io
2019-11-23 23:37:23 しきうた님의 게시물 siki_uta@mstdn.maud.io
icon

This account is not set to public on notestock.

23:37:42 @kb10uy@mstdn.maud.io
2019-11-23 23:37:30 体力自慢爆死お兄ちゃん(学生)님의 게시물 Otakan951@mstdn.maud.io
icon

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

Attach image
23:37:18 @kb10uy@mstdn.maud.io
2019-11-23 23:36:32 らりお・ザ・何らかの🈗然㊌ソムリエ님의 게시물 lo48576@mastodon.cardina1.red
icon

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

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

23:37:03 @kb10uy@mstdn.maud.io
icon

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

23:35:56 @kb10uy@mstdn.maud.io
icon

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

23:34:12 @kb10uy@mstdn.maud.io
icon

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

23:29:45 @kb10uy@mstdn.maud.io
icon

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

23:24:03 @kb10uy@mstdn.maud.io
icon

子宮modってなに……

23:00:48 @kb10uy@mstdn.maud.io
icon

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

23:00:11 @kb10uy@mstdn.maud.io
2019-11-23 22:59:49 きーすと님의 게시물 keasti@mstdn.maud.io
icon

This account is not set to public on notestock.

22:59:19 @kb10uy@mstdn.maud.io
icon

Thunderboltex3

22:59:14 @kb10uy@mstdn.maud.io
icon

Oops

22:58:56 @kb10uy@mstdn.maud.io
icon

Oops

22:58:19 @kb10uy@mstdn.maud.io
icon

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

Attach image
22:56:47 @kb10uy@mstdn.maud.io
icon

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

22:52:55 @kb10uy@mstdn.maud.io
icon

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

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

22:51:10 @kb10uy@mstdn.maud.io
icon

えーー

22:49:39 @kb10uy@mstdn.maud.io
🔞/夏稀
icon

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

Attach image
22:40:29 @kb10uy@mstdn.maud.io
icon

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

22:38:02 @kb10uy@mstdn.maud.io
icon

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

22:37:25 @kb10uy@mstdn.maud.io
icon

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

22:34:31 @kb10uy@mstdn.maud.io
NSFW
icon

そぎっ

Attach image
22:28:19 @kb10uy@mstdn.maud.io
icon

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

22:25:31 @kb10uy@mstdn.maud.io
icon

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

22:25:08 @kb10uy@mstdn.maud.io
icon

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

22:23:38 @kb10uy@mstdn.maud.io
icon

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

22:18:03 @kb10uy@mstdn.maud.io
icon

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

Attach image
22:09:19 @kb10uy@mstdn.maud.io
icon

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

22:07:30 @kb10uy@mstdn.maud.io
icon

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

22:06:34 @kb10uy@mstdn.maud.io
icon

全部デフォだったと思う

22:06:14 @kb10uy@mstdn.maud.io
icon

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

22:06:02 @kb10uy@mstdn.maud.io
icon

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

22:05:56 @kb10uy@mstdn.maud.io
icon

あっそぎぎ

22:04:55 @kb10uy@mstdn.maud.io
icon

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

Attach image
22:03:52 @kb10uy@mstdn.maud.io
icon

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

22:03:25 @kb10uy@mstdn.maud.io
icon

. ✋
WE KNOW

22:02:55 @kb10uy@mstdn.maud.io
2019-11-23 21:58:25 ちゃーしゅーねこ님의 게시물 charsiuCat@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

21:56:45 @kb10uy@mstdn.maud.io
icon

いやーユーザー会っつっても反映率50%ぐらいだしなあ

21:55:27 @kb10uy@mstdn.maud.io
icon

そんなキラ☆キラみたいな言い方を

21:53:14 @kb10uy@mstdn.maud.io
icon

インターネットネコチャンさん……

21:52:15 @kb10uy@mstdn.maud.io
icon

形はノーマル寄りな気もしつつ角度はツリ目

21:51:43 @kb10uy@mstdn.maud.io
icon

:ne:

21:51:38 @kb10uy@mstdn.maud.io
2019-11-23 21:51:07 きーすと님의 게시물 keasti@mstdn.maud.io
icon

This account is not set to public on notestock.

21:46:27 @kb10uy@mstdn.maud.io
icon

生え際は手持ちパーツだとこれが限界っぽい

21:45:07 @kb10uy@mstdn.maud.io
icon

眼球サイズもっと下げてもいい気がする

21:44:54 @kb10uy@mstdn.maud.io
icon

輪郭(丸)↓
輪郭(尖)↑
目サイズ(縦)↓
目位置(縦)↓

Attach image
21:42:26 @kb10uy@mstdn.maud.io
2019-11-23 21:42:16 Giraffe Beer님의 게시물 giraffe_beer@mstdn.maud.io
icon

This account is not set to public on notestock.

21:42:23 @kb10uy@mstdn.maud.io
2019-11-23 21:41:55 Giraffe Beer님의 게시물 giraffe_beer@mstdn.maud.io
icon

This account is not set to public on notestock.

21:40:36 @kb10uy@mstdn.maud.io
icon

顔サイズが隠蔽される別のnatsukility要素があったのかなあ なんだろ

21:40:13 @kb10uy@mstdn.maud.io
icon

39ぐらいまでガッツリ下げると割かしそれっぽくなったかも

Attach image
21:38:34 @kb10uy@mstdn.maud.io
icon

natsukilityの基準が「僕がどれぐらい自然に日下夏稀であるとして受け入れられるか」という超主観的なもの

21:37:16 @kb10uy@mstdn.maud.io
icon

@kunimi53chi それはありそう(しかし顔サイズのパラメーターは元のプリセットとそんなに変えてないんだよなあ…)

21:35:26 @kb10uy@mstdn.maud.io
icon

絵面としては確実に原作に近付いてるはずなのにnatsukilityが低下してるように感じられるのはなぜだろう……

Attach image
21:24:05 @kb10uy@mstdn.maud.io
icon

kore :erait:

21:23:50 @kb10uy@mstdn.maud.io
2019-11-23 21:22:26 Giraffe Beer님의 게시물 giraffe_beer@mstdn.maud.io
icon

This account is not set to public on notestock.

18:20:07 @kb10uy@mstdn.maud.io
icon

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

18:16:59 @kb10uy@mstdn.maud.io
icon

h抜けてるやんけ

18:16:51 @kb10uy@mstdn.maud.io
icon

Attach image
17:46:39 @kb10uy@mstdn.maud.io
icon

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

17:46:37 @kb10uy@mstdn.maud.io
2019-11-23 17:43:08 出雲伊月님의 게시물 itsukia@pl.istukiy.com
icon

This account is not set to public on notestock.

17:07:59 @kb10uy@mstdn.maud.io
icon

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

17:07:43 @kb10uy@mstdn.maud.io
icon

$ beaujolais --no-uveau

16:09:52 @kb10uy@mstdn.maud.io
icon

新大久保乃々

15:39:59 @kb10uy@mstdn.maud.io
2019-11-23 15:39:03 ぴけ@Skeb1件作業中님의 게시물 pikepikeid@mstdn.maud.io
icon

ド親切かよ

Attach image
15:14:50 @kb10uy@mstdn.maud.io
icon

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

15:14:36 @kb10uy@mstdn.maud.io
icon

うーん

14:22:53 @kb10uy@mstdn.maud.io
そぎぎマックス
icon

精液どぴゅりヶ丘

13:27:36 @kb10uy@mstdn.maud.io
icon

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

夏稀の彼氏 さんのチェックイン (11月23日 13:27) - Tissue
13:13:30 @kb10uy@mstdn.maud.io
icon

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

13:13:13 @kb10uy@mstdn.maud.io
icon

なるほどなあ

12:30:56 @kb10uy@mstdn.maud.io
icon

あった、 fsqrt.sだ

12:24:16 @kb10uy@mstdn.maud.io
icon

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

12:21:58 @kb10uy@mstdn.maud.io
icon

Attach image
12:17:50 @kb10uy@mstdn.maud.io
icon

libcがどのように実装されているかめちゃくちゃ気になるんだけどどっかに実装置いてないんかな

12:12:22 @kb10uy@mstdn.maud.io
icon

見てて思ったけこれ K210 なら FPU は全部に乗ってるんとちゃうんか?

12:10:26 @kb10uy@mstdn.maud.io
icon

*

12:10:15 @kb10uy@mstdn.maud.io
2019-11-23 12:10:03 ほた님의 게시물 hota@mstdn.maud.io
icon

This account is not set to public on notestock.

12:10:13 @kb10uy@mstdn.maud.io
2019-11-23 12:09:05 かるばぶ님의 게시물 babukaru@mstdn.maud.io
icon

This account is not set to public on notestock.

12:06:27 @kb10uy@mstdn.maud.io
icon

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

12:06:21 @kb10uy@mstdn.maud.io
icon

mikutterステッカーほしいな

11:49:50 @kb10uy@mstdn.maud.io
icon

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

11:48:39 @kb10uy@mstdn.maud.io
icon

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

11:47:04 @kb10uy@mstdn.maud.io
icon

んーさてどうしたものか

11:46:57 @kb10uy@mstdn.maud.io
icon

FPU化

11:46:54 @kb10uy@mstdn.maud.io
icon

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

11:45:21 @kb10uy@mstdn.maud.io
icon

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

11:43:28 @kb10uy@mstdn.maud.io
icon

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

11:36:56 @kb10uy@mstdn.maud.io
icon

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

11:36:41 @kb10uy@mstdn.maud.io
icon

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

11:21:55 @kb10uy@mstdn.maud.io
icon

:07:

11:20:10 @kb10uy@mstdn.maud.io
icon

@kb10uy んこ

11:20:03 @kb10uy@mstdn.maud.io
icon

うー

11:08:35 @kb10uy@mstdn.maud.io
icon

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

11:06:43 @kb10uy@mstdn.maud.io
icon

胸かと思ったらマラでな

10:57:32 @kb10uy@mstdn.maud.io
icon

そうか今日はゲムマかー

10:46:26 @kb10uy@mstdn.maud.io
icon
夏稀の彼氏 さんのチェックイン (11月23日 10:46) - Tissue
02:02:42 @kb10uy@mstdn.maud.io
icon

おちゃのんでねよ

02:02:37 @kb10uy@mstdn.maud.io
icon

nowai

02:00:10 @kb10uy@mstdn.maud.io
icon

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

01:59:54 @kb10uy@mstdn.maud.io
icon

ChaCha RC 4
AES三姉妹~

01:50:22 @kb10uy@mstdn.maud.io
icon

本日のkb{}yだ

01:50:15 @kb10uy@mstdn.maud.io
2019-11-23 01:49:28 らりお・ザ・何らかの🈗然㊌ソムリエ님의 게시물 lo48576@mastodon.cardina1.red
icon

kb$2y

01:49:55 @kb10uy@mstdn.maud.io
icon

SHA512なのかこれは

01:49:01 @kb10uy@mstdn.maud.io
icon

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

01:48:53 @kb10uy@mstdn.maud.io
icon

そうっぽい

01:47:55 @kb10uy@mstdn.maud.io
icon

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

01:43:28 @kb10uy@mstdn.maud.io
icon

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

01:42:51 @kb10uy@mstdn.maud.io
2019-11-23 01:42:24 らりお・ザ・何らかの🈗然㊌ソムリエ님의 게시물 lo48576@mastodon.cardina1.red
icon

mstdn.maud.io/@orumin/10318255

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

Web site image
まちカドおるみん(妹) (@orumin@mstdn.maud.io)
01:42:06 @kb10uy@mstdn.maud.io
icon

そういえばArchLinuxをDHCP運用したことなかったな……

01:39:41 @kb10uy@mstdn.maud.io
icon

Systemd がビッグブラザーになったので基本的にそのへんがいらなくなりつつあるけど、GUIを使う場合は現状 networkd には致命的な欠点があってNetworkManagerと連携してくれない

01:37:16 @kb10uy@mstdn.maud.io
icon

dhcpcd は systemd-networkd でなんとかならん?

01:35:21 @kb10uy@mstdn.maud.io
icon

まあ将来AIBやるとしても最悪英語版Archwikiあたりに書いてあればなんとかなるかな……

01:33:40 @kb10uy@mstdn.maud.io
icon

:akane_yappari_souka:

01:33:30 @kb10uy@mstdn.maud.io
2019-11-23 01:32:41 skiaphorus(引っ越し済み)님의 게시물 skia@mstdn.maud.io

This account is not set to public on notestock.

01:31:28 @kb10uy@mstdn.maud.io
icon

あーこっそり(?)Reservedなピンを使ってる可能性もあるのか

01:30:51 @kb10uy@mstdn.maud.io
icon

Archは最近baseが大幅に変更されてほぼ無になったので手動で追加するのがけっこう面倒になったりしてそう

01:28:10 @kb10uy@mstdn.maud.io
icon

メモリ以外のインターフェースとしてありえそうなのはSPDとかいうEEPROMの領域とJTAGポートかな?

01:25:52 @kb10uy@mstdn.maud.io
icon

JEDECから企画書を取ってくるしかないっぽくねえか

01:25:37 @kb10uy@mstdn.maud.io
icon

チョロっと調べたぐらいだと絶妙に見つからないな

01:24:16 @kb10uy@mstdn.maud.io
icon

そうそうピンアサインですね

01:22:06 @kb10uy@mstdn.maud.io
icon

同じスロットで他の接続なしでRGBコントロールとかできるならなんかオマケ端子がありそう

01:21:28 @kb10uy@mstdn.maud.io
icon

純粋な興味なんだけどメモリスロットでメモリアクセスに関係ないポートってどうなってるんだろ

01:19:59 @kb10uy@mstdn.maud.io
icon

メモリが0.5円/MBぐらいまで来てるのがかなり効いてる感はある

01:19:13 @kb10uy@mstdn.maud.io
icon

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

01:08:07 @kb10uy@mstdn.maud.io
icon

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

01:05:35 @kb10uy@mstdn.maud.io
icon

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

00:38:17 @kb10uy@mstdn.maud.io
icon

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

00:12:54 @kb10uy@mstdn.maud.io
icon

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

00:11:25 @kb10uy@mstdn.maud.io
icon

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

00:11:11 @kb10uy@mstdn.maud.io
icon

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

00:04:46 @kb10uy@mstdn.maud.io
icon

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