00:01:36
2018-10-09 23:54:46 Posting 眠くなったら走る nacika@oransns.com
icon

This account is not set to public on notestock.

00:02:08
icon

docker export とか volume の話かな

00:03:10
icon

volume については、まあホストディレクトリをマウントするのでなければ docker export しましょうねという感じだし、 volume 以外の部分は reproducible build を好む思想から言えばそもそも Dockerfile 等だけで管理されるべき

00:03:58
icon

私は docker volume をウッカリで消してしまうのがこわいので、 volume はホストをマウントしています。
そうすることで、「 docker が所有しているデータは破棄されても必ず再現できる」という状況を作って責任の所在を明確にしている

00:19:55
icon

ブログの方が一段落したら XSLT の依存関係について実験して nanoc に issue 立てるか

00:26:37
icon

こうすると docker system prune -a とか容赦なくできるので便利

00:46:08
2018-10-10 00:38:09 Posting Masanori Ogino 𓀁 omasanori@mstdn.maud.io
icon

Discordは1.5億枚/日のペースで画像リサイズしてるらしいし、人々は思ったよりかなり画像を贈りまくっているっぽい

00:46:34
2018-10-10 00:35:16 Posting Masanori Ogino 𓀁 omasanori@mstdn.maud.io
icon

Google Photo、5億ユーザーいるらしいし12億枚/日アップロードされててもまあそんな感じかという気がする

01:07:46
icon

neovim で set cursorline していると、 normal mode のときブロックが半分になる現象を観測した (xterm だと問題ないことを確認したので、犯人は alacritty の master branch)

Attach image
Attach image
01:08:44
icon

normal mode では変になる (最初の画像) が、 visual mode (次の画像) では問題なさそうに見えるのが不思議

01:10:54
icon

In (n)vim, the cursor block only covers first half of wide character · Issue #1433 · jwilm/alacritty
github.com/jwilm/alacritty/iss
これじゃん

Web site image
In (n)vim, the cursor block only covers first half of wide character · Issue #1433 · alacritty/alacritty
01:15:05
icon

set cursorline の情報が出てなかったので報告しといた

01:22:26
icon

ctermbg=NONE guibg=NONE の情報自体は (別 issue 含め) 既出っぽいので、原因はもうわかってるということなのかな

15:02:15
icon

川上量生さんのブロッキング問題の経緯の概略について、分かる人に分かりそうなことだけ書く : やまもといちろう
lineblog.me/yamamotoichiro/arc

Web site image
川上量生さんのブロッキング問題の経緯の概略について、分かる人に分かりそうなことだけ書く : やまもといちろう 公式ブログ
15:03:39
icon

js 動かすの、そりゃ簡単かもしれないけど複雑すぎるしまともな開発しようとしたら面倒では。初心者向けとは思えない

15:06:18
icon

エラーがまともに出ない言語は初学者向けでないという感想です

15:08:44
2018-10-10 15:07:52 Posting 金具✅ cobodo@mstdn.kanagu.info
icon

This account is not set to public on notestock.

15:09:34
icon

「何が間違っているか明確にわかる」って初心者向けだと思いません? 少なくとも C で未定義動作踏んで警告さえ出ないよりはエラーの方がよっぽど親切

15:10:12
icon

まあ Rust は正直 C++ そこそこ使ってるくらいの前提知識ほしい気もするけど (Haskell はわからん)

15:11:03
icon

まあそれを言うたら js のマルチパラダイムからのハチャメチャ具合も大層なものなので

15:11:24
2018-10-10 15:10:27 Posting 金具✅ cobodo@mstdn.kanagu.info
icon

This account is not set to public on notestock.

15:11:30
icon

mjd

15:12:26
icon

初心者が js ガチャガチャするのを「書ける」と言うのであれば、べつに C でも Rust でもガチャガチャレベルのコードは書けるでしょ……

15:13:32
icon

子供を崖のそばで遊ばせないみたいな気持ちがあるよ(?)

15:13:37
2018-10-10 15:12:36 Posting ashida ashida@friends.nico

This account is not set to public on notestock.

15:13:43
2018-10-10 15:13:11 Posting 解凍 hina@mstdn.maud.io
icon

初心者はエラーメッセージをよまない(?)(嫁)

15:13:47
2018-10-10 15:13:05 Posting Alberto Coleman i_sparkling@rainyman.jp
icon

This account is not set to public on notestock.

15:13:51
icon

これなぁ

15:14:15
icon

エラーメッセージ読まないやつ、絶対人の話聞かないでしょ

15:14:28
2018-10-10 15:13:53 Posting orange orange_in_space@mstdn.nere9.help
icon

RustやHaskellが初心者向きかは置いておいても、「じゃあどうすればいいんだよ?」に答えていないエラーメッセージは初心者に優しくないというかそもそも人間に優しくないよね><
「○×△ёエラーです」とかいわれても「だからどうした><」になっちゃう><

15:14:47
icon

それが Rust は修正案まで提示してくれるんですよ

15:15:36
2018-10-10 15:14:36 Posting ashida ashida@friends.nico

This account is not set to public on notestock.

15:15:38
2018-10-10 15:14:56 Posting ashida ashida@friends.nico

This account is not set to public on notestock.

15:15:47
2018-10-10 15:15:28 Posting ashida ashida@friends.nico

This account is not set to public on notestock.

15:16:01
2018-10-10 15:14:05 Posting 金具✅ cobodo@mstdn.kanagu.info
icon

This account is not set to public on notestock.

15:17:58
2018-10-10 15:16:50 Posting nnnnn TheHarbinger@friends.nico
icon

This account is not set to public on notestock.

15:18:07
icon

プロ👏

15:18:23
2018-10-10 15:17:47 Posting Alberto Coleman i_sparkling@rainyman.jp
icon

This account is not set to public on notestock.

15:19:42
icon

まあなんでしょ、コード書く前に知るべきことは知っとけよみたいな気持ちもあるし、たとえば四則演算を知らずに微積をしようとするなみたいな感じもあります

15:21:49
2018-10-10 15:21:21 Posting ashida ashida@friends.nico

This account is not set to public on notestock.

15:21:50
2018-10-10 15:21:33 Posting ashida ashida@friends.nico

This account is not set to public on notestock.

15:22:39
2018-10-10 15:21:34 Posting Satoshi Kojima (小嶋智) skoji@sandbox.skoji.jp
icon

This account is not set to public on notestock.

15:24:30
icon

@TheHarbinger libedit なんて存在も知りませんでした…… (たしかに BSD 系のツールは clang でビルドできそう)

15:25:08
icon

実は BSD を使ったことがないのでそっち系のいろいろはよくわかっていない

15:25:21
2018-10-10 15:24:09 Posting あじょだよ azyobuzin@mstdn.maud.io
icon

rustc がエラーの修正案を出してくれたとき、 fuck コマンド叩くとそれがファイルに書き込まれれば完璧じゃん

15:25:41
icon

cargo fix というコマンドがあります (cargo install cargo-fix して)

15:26:16
icon

cargo はサブコマンドにエイリアス設定できるから、 cargo fuck を cargo fix にすることができる

15:43:28
2018-10-10 15:28:17 Posting 金具✅ cobodo@mstdn.kanagu.info
icon

This account is not set to public on notestock.

15:43:30
2018-10-10 15:29:21 Posting Alberto Coleman i_sparkling@rainyman.jp
icon

This account is not set to public on notestock.

15:43:31
2018-10-10 15:34:41 Posting Alberto Coleman i_sparkling@rainyman.jp
icon

This account is not set to public on notestock.

15:43:32
2018-10-10 15:35:55 Posting Alberto Coleman i_sparkling@rainyman.jp
icon

This account is not set to public on notestock.

15:43:35
2018-10-10 15:38:39 Posting Alberto Coleman i_sparkling@rainyman.jp
icon

This account is not set to public on notestock.

15:43:41
2018-10-10 15:42:11 Posting Alberto Coleman i_sparkling@rainyman.jp
icon

This account is not set to public on notestock.

15:44:22
icon

小学生が算数の問題でテキトーな演算子を当たるまで言っていく的な話がありますね、あれと同じだ

15:47:14
icon

null が危険というよりは、 null である可能性が暗黙であることと、 null が非 null として(コンパイル時に)振る舞えるという謎の擬態がよくない

15:48:55
icon

変数にも「記憶域を参照する名前」として扱う場合と「値を参照する名前」として扱う場合があるし、言語やパラダイムによるからな……

15:49:10
icon

とりあえず「変数は箱です」はやめような

15:52:01
2018-10-10 15:49:13 Posting ashida ashida@friends.nico

This account is not set to public on notestock.

15:52:03
2018-10-10 15:49:52 Posting ashida ashida@friends.nico

This account is not set to public on notestock.

15:52:51
icon

型は集合として扱うとどこかで限界が来るので集合としない的なサムシングをどこかで聞いたような覚えがある

15:53:18
icon

型理論ラボにいるのに私がクソザコなので具体例を挙げられない

15:53:41
2018-10-10 15:52:43 Posting まちカドおるみん御嬢様 orumin@mstdn.maud.io
icon

人生は箱

15:54:23
2018-10-10 15:54:02 Posting ashida ashida@friends.nico

This account is not set to public on notestock.

15:54:51
icon

圏論わからず同じく

15:55:30
2018-10-10 15:54:52 Posting @🐄 atsushi015@mstdn.jp
icon

This account is not set to public on notestock.

15:56:15
icon

なんか古典論理に限らず、線形論理とかに対応するような型システムとかいろいろあるんですよね。聞いてる分には面白い(よくわかってない顔)

15:59:04
2018-10-10 15:57:03 Posting kb10uy kb10uy@mstdn.maud.io
icon

はじめての言語、HSP

15:59:21
icon

Hajimete
Suru
Puroguramingu

15:59:24
icon

16:01:29
2018-10-10 16:00:41 Posting †灼熱の不死鳥(あひる焼き)† ahiru@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

16:02:25
2018-10-10 16:01:16 Posting あっきぃ akkiesoft@social.mikutter.hachune.net
icon

sync;sync;sync

16:03:17
icon

# Don't sync, feel.
alias feel="sync; sync; sync"

16:40:58
2018-10-10 16:40:14 Posting Alberto Coleman i_sparkling@rainyman.jp
icon

This account is not set to public on notestock.

16:41:26
2018-10-10 16:38:28 Posting アカハナ akahana@fla.red
icon

This account is not set to public on notestock.

16:41:53
2018-10-10 16:36:44 Posting よし‬ひさ n_yosihisa@nt.mstdon.app
icon

appleがopenGLを切り捨てた結果、3DCAD各社がappleを切り捨ててDirectXに対応しはじめたため、Quadroを買わなくてもGeForceで3DCADが動くようになってきたのよい。

appleさん素晴らしい。appleさん大好き。

16:42:11
icon

DX はもういいから Vulkan 対応してくれ~

16:51:38
2018-10-10 16:44:28 Posting トトミミハイエース brsywe@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

16:52:23
2018-10-10 16:52:01 Posting 金具✅ cobodo@mstdn.kanagu.info
icon

This account is not set to public on notestock.

16:52:44
icon

rust の f32 と f64 は正解ですね

16:53:07
icon

u8, u16, u32, u64, i8, i16, ...

17:05:12
2018-10-10 16:52:40 Posting 埼玉ギャル(仮) sota_n@social.mikutter.hachune.net
icon

This account is not set to public on notestock.

17:36:35
2018-10-10 17:25:15 Posting きーすと keasti@mstdn.maud.io
icon

This account is not set to public on notestock.

20:25:14
icon

海賊版サイト「漫画村」の運営者を特定か 法的措置へ
buzzfeed.com/jp/takumiharimaya

Web site image
海賊版サイト「漫画村」運営者を特定か 法的措置へ
22:09:13
icon

SIMロック解除を「SIMフリー」と言うの、普通におかしくないですか? 「SIMロックフリー」とかならわからんでもないんだけど

22:09:24
icon

「SIMフリー」って SIM が不要みたいやんけ

22:13:33
icon

OSS へのコントリビュートも一般的にはボランティアよ(特に自分がメンテナでないプロジェクトなどでは)

22:44:39
icon

<xsl:output method="xml" indent="yes" />
していると、 <pre><code> を出すとき勝手に空白が入るのが防げなくてつらい……

22:44:52
2018-10-10 22:44:04 Posting 体力自慢爆死お兄ちゃん(学生) Otakan951@mstdn.maud.io
icon

論理和 MIL記号 描けない 何故 [検索]

22:46:45
icon

これで書きやすくなりますね

Attach image
22:47:44
icon

そういえば、 RS-FF のコレ、初心者がつまずく原因だと思うんですよ

Attach image
22:49:35
icon

あの完成形に至るまでにこういう思考の過程があるはずなんですけど、それなしにいきなり入出力が交差する回路をホイと渡されてもねぇ……

Attach image
22:52:17
icon

論理回路といえば、 “ネガティブエッジトリガ” という言葉のかっこよさが半端ない、中二心をそそる

22:52:34
icon

あとは “シュミットトリガ” もいい感じ

22:53:19
2018-10-10 22:53:04 Posting kb10uy kb10uy@mstdn.maud.io
icon

立ち下がりクロック?

22:54:36
icon

(ポジティブ|ネガティブ)エッジトリガという言葉そのものはクロックの性質には触れていないはずで、これは素子単位の話なのでたとえば両方が共存することもありうる (たぶんエッジトリガ型の FF も内部的にはそうなっていた気がする)

22:54:42
2018-10-10 22:53:21 Posting kb10uy kb10uy@mstdn.maud.io
icon

ショットキーバリアも好き

22:54:54
icon

ショットキーバリアダイオード、名前は聞くんだけど何のことなのかわかってない

22:56:11
icon

携帯電話の電波で光る系のあれこれの検波で使ったりする文脈はよく聞いた

22:58:17
2018-10-10 22:56:19 Posting kb10uy kb10uy@mstdn.maud.io
icon

ショットキーさんが発見したショットキー障壁の効果を利用したダイオードということらしいですね

22:58:18
2018-10-10 22:57:53 Posting kb10uy kb10uy@mstdn.maud.io
icon

小学生の頃ショットキーのつづりがshot-keyだと思ってたんだけど後からschottkyだと知った話

22:59:00
icon

眠イン枕好キー

23:00:17
icon

新空間ラジオ

23:02:11
2018-10-10 23:01:28 Posting kb10uy kb10uy@mstdn.maud.io
icon

ゴミ箱直接射精をしてはや3日、異臭がたちこめている

23:02:59
icon

mstdn.maud.io/@kb10uy/10087170
コンドーム!!!!!!! セーシを自分のゴミ箱にシュゥゥゥーッ!! 超!クサイティン!!

Web site image
日下夏稀 (@kb10uy@mstdn.maud.io)
23:03:15
icon

超!エキサイティン!!とは (チョウエキサイティンとは) [単語記事] - ニコニコ大百科
dic.nicovideo.jp/a/%E8%B6%85%2

23:10:00
2018-10-10 23:08:37 Posting 解凍 hina@mstdn.maud.io
icon

フリーのほうがあらがせぎしてくれるってマジ?

23:10:02
2018-10-10 23:09:13 Posting ぴけぴけ@Skeb募集中 pikepikeid@mstdn.maud.io
icon

特に理由がなければ専属にしておいたほうが後悔はないと思うよ。

23:10:03
2018-10-10 23:09:47 Posting 雪餅 YUKIMOCHI@toot.yukimochi.jp
icon

フリーは、知らない人と知らないうちにスルよ。

23:10:07
2018-10-10 23:09:48 Posting 解凍 hina@mstdn.maud.io
icon

ぴけしをフリーメイドに

23:10:07
2018-10-10 23:09:52 Posting はいりふおじさん(LIFT650) Common_Lisper@mstdn.maud.io
icon

This account is not set to public on notestock.

23:10:26
icon

幼馴染に特許かかってたら破綻しそう(????)

23:30:18
2018-10-10 23:11:42 Posting ぴけぴけ@Skeb募集中 pikepikeid@mstdn.maud.io
icon

KISSスタッフ日記 『すたっふblog』【移転】 第13回 KISS公式ニコニコ生放送まとめ kissdiary.blog11.fc2.com/blog-
”専属は『自分だけに尽くしてくれるメイド』でフリーメイドは『お客にも接客するメイド』です!
 ザックリ言うと『自分だけが可愛がる専用のメイド』と『いつものKISSのメイド』です。”

>いつものKISSのメイド<

KISSスタッフ日記 『すたっふblog』【移転】 第13回 KISS公式ニコニコ生放送まとめ
23:30:22
2018-10-10 23:12:22 Posting ぴけぴけ@Skeb募集中 pikepikeid@mstdn.maud.io
icon

NTRブロックONのオダメがピュアすぎてすっかり忘れてるけどKISSはNTRなメーカーなのである

23:30:49
2018-10-10 22:57:10 Posting 佐久うさこ@お仕事募集中 usako_258@pawoo.net
icon

This account is not set to public on notestock.

23:31:13
2018-10-10 23:19:49 Posting 最低人間 worstman@mstdn.jp
icon

This account is not set to public on notestock.

23:32:01
icon

登場人物の性別を意図的に不明にするトリックなど

23:32:44
icon

この際言ってしまうと、異世界セマフォの主人公も文章から性別わからないようにしてある

23:33:20
2018-10-10 23:32:43 Posting やんてね yantene@fla.red
icon

This account is not set to public on notestock.

23:33:21
2018-10-10 23:32:58 Posting やんてね yantene@fla.red
icon

This account is not set to public on notestock.

23:33:32
icon

全てが不明な前衛芸術的小説……