icon

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

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

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

icon

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

icon

聲が出ている

2019-11-23 23:56:52 ぴけ@Skeb募集中!の投稿 pikepikeid@mstdn.maud.io
icon

こんな感じかなぁ🔞

Attach image
Attach image
Attach image
icon

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

icon

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

icon

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

icon

|x| x

icon

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

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

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

icon

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

icon

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

icon

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

icon

あー……

icon

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

icon

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

icon

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

icon

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

icon

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

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

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

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

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

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

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

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

icon

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

icon

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

icon

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

icon

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

icon

子宮modってなに……

icon

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

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

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

icon

Thunderboltex3

icon

Oops

icon

Oops

icon

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

Attach image
icon

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

icon

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

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

icon

えーー

🔞/夏稀
icon

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

Attach image
icon

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

icon

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

icon

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

NSFW
icon

そぎっ

Attach image
icon

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

icon

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

icon

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

icon

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

icon

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

Attach image
icon

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

icon

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

icon

全部デフォだったと思う

icon

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

icon

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

icon

あっそぎぎ

icon

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

Attach image
icon

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

icon

. ✋
WE KNOW

2019-11-23 21:58:25 ちゃーしゅーねこの投稿 charsiuCat@social.mikutter.hachune.net
icon

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

icon

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

icon

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

icon

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

icon

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

2019-11-23 21:51:07 きーすとの投稿 keasti@mstdn.maud.io
icon

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

icon

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

icon

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

icon

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

Attach image
2019-11-23 21:42:16 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

2019-11-23 21:41:55 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io
icon

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

icon

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

icon

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

Attach image
icon

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

icon

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

icon

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

Attach image
icon

kore :erait:

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

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

icon

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

icon

h抜けてるやんけ

icon

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

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

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

icon

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

icon

$ beaujolais --no-uveau

icon

新大久保乃々

2019-11-23 15:39:03 ぴけ@Skeb募集中!の投稿 pikepikeid@mstdn.maud.io
icon

ド親切かよ

Attach image
icon

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

icon

うーん

そぎぎマックス
icon

精液どぴゅりヶ丘

icon

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

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

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

icon

なるほどなあ

icon

あった、 fsqrt.sだ

icon

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

icon

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

icon

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

icon

*

2019-11-23 12:10:03 ほたの投稿 hota@mstdn.maud.io
icon

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

2019-11-23 12:09:05 かるばぶの投稿 babukaru@mstdn.maud.io
icon

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

icon

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

icon

mikutterステッカーほしいな

icon

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

icon

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

icon

んーさてどうしたものか

icon

FPU化

icon

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

icon

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

icon

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

icon

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

icon

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

icon

うー

icon

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

icon

胸かと思ったらマラでな

icon

そうか今日はゲムマかー

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

おちゃのんでねよ

icon

nowai

icon

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

icon

ChaCha RC 4
AES三姉妹~

icon

本日のkb{}yだ

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

kb$2y

icon

SHA512なのかこれは

icon

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

icon

そうっぽい

icon

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

icon

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

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)
icon

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

icon

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

icon

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

icon

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

2019-11-23 01:32:41 skiaphorus(引っ越し済み)の投稿 skia@mstdn.maud.io

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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

icon

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