2019年9月12日 - @lo48576@mastodon.cardina1.redの投稿

01:32:20 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 00:51:17 Masaki Haraの投稿 qnighy@qnmd.info

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

10:02:09 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 01:34:29 kb10uyの投稿 kb10uy@mstdn.maud.io

ビットコ買う太郎

10:02:10 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 01:35:09 kb10uyの投稿 kb10uy@mstdn.maud.io

「大好きなのは利回りと金」以上に完璧なbioをおもいつけない

10:02:23 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 09:59:12 ちゃーしゅーねこの投稿 charsiuCat@social.mikutter.hachune.net

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

10:02:30 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 10:00:54 あっきぃの投稿 akkiesoft@social.mikutter.hachune.net

brexitはイギリスであった人らはだいたい聞くと渋い顔をして反対してたし、初日にあった財団の若い人もわたしらと話すのもそっちのけでボリス・ジョンソンの中継を渋い顔して見てた

10:40:46 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

明日のｹﾞｰﾄｰｷｮｰﾑショウについて別途ご連絡差し上げるとのことだったんだけど、今になってもまだ連絡が来ないので、これは社会適合係数が上がったのは妄想の中での話だったのではという気がしてきた

10:44:03 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 10:37:00 もりゃきどんのまめもの投稿 mamemomonga@moriyakidon.mamemo.online

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

10:44:05 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 10:37:51 h3potetoの投稿 h3poteto@pleroma.io

それよ，まじでそれ最高だから

10:44:39 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

Rust にも例外はないけど if を使わずにエルゴノミックにエラー処理書けるよ

きみは？

10:44:56 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

きみは？じゃあないんだよ

10:50:37 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

例外について、構文 (try-catch) が嫌なのと、暗黙のプロパゲートが嫌なのと、検査しづらさが嫌なのと、シグネチャ上での暗黙性が嫌なのと、ぜんぶ別々に論じられるべきだと思うよ

10:52:17 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

Java の例外が嫌いなら「Java の例外が嫌い」と言うべき

10:54:52 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

検査しづらさというのはたとえば網羅性検査とかです

10:57:33 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

ガバ型付き言語である時点で例外の仕様とか些細な問題に思えてしまう
ブレーキのない車の燃費を気にするようなものでしょ

11:00:43 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

Rust のエラー処理を見てからエラーを語ってほしい

11:01:04 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

いやべつに Haskell の Either モナドでもいいんだけどさ

11:02:33 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

C++ とか Java みたいな代数的データ型もなかったような時代の言語のエラー処理を今更叩いたって得るもの少なすぎでしょ

11:03:37 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

機械語フリークじゃないんだから型レベルの抽象化も考えてほしい

11:03:46 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:02:44 upsilonの投稿 upsilon@m.upsilo.net

JSはError以外もthrowできてしまうので、ReactではPromiseをthrowするといった使われ方をしていると聞く

11:05:13 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:04:41 kb10uyの投稿 kb10uy@mstdn.maud.io

便利な大域脱出の手段としての例外なんだよな

11:06:41 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

ある機構が別用途に乱用されるの、別用途の適切な抽象が用意されていないからであって、よーするに言語デザインの敗北よね

11:07:46 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

「デザインパターン」とかも近いものがあるけど、言語デザインの弱さをユーザに慣習として押し付けるのは圧倒的敗北でしょ

11:08:33 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

まあ本質的な困難と向き合うための “パターン” もあるんだけど

11:14:55 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

@prime あー、たしかにマクロが強力だと言語コアは小さめに抑えられますね
エクスポートできるマクロならユーザもライブラリとして自然に使えるし

11:16:57 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:16:18 kb10uyの投稿 kb10uy@mstdn.maud.io

言語コアを小さくまとめるなら頭良くまとめないとデザパタ地獄になるよな

11:17:39 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

あと “パターン” に良い API を付けてエクスポートできるのも重要。マクロとしてでもモナドとしてでも何でもいいんだけど。

11:27:55 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

実際 Rust より Go が良いところ「コンパイラが小さい」くらいしか思い当たらない気がする

11:28:09 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:21:34 kb10uyの投稿 kb10uy@mstdn.maud.io

マイクロサービスならまあRustより取り回しが良いってぐらいかなあ

11:28:10 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:22:26 そすうぽよ

の投稿 prime@mstdn.poyo.me

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

11:34:05 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:31:46 そすうぽよ

の投稿 prime@mstdn.poyo.me

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

11:34:17 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:32:24 kb10uyの投稿 kb10uy@mstdn.maud.io

Rust に対する要望、「x64 win/mac/linux だけでもいいからビルド済バイナリ配布してほしい」とかかなあ

11:34:42 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:32:56 kb10uyの投稿 kb10uy@mstdn.maud.io

これってそこまで無理でもない気がするけど rustc のバージョンとかも合わせないといけないから prebuilt binary の配布って厳しいのかな

11:34:44 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:33:14 kb10uyの投稿 kb10uy@mstdn.maud.io

crate の prebuilt ね

11:35:38 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

今のところバイナリ互換性が担保されていないところ、 feature flag によって挙動が変わること、マクロの存在あたりが大きそう

11:36:34 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

あと simd みたいな拡張命令を使ったら最適化をしたい場合にも pre-built なバイナリだと微妙だし

11:37:00 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

まあ最適化しなくていいからバイナリくれというのもわかるにはわかるんだけど

11:42:15 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:39:55 そすうぽよ

の投稿 prime@mstdn.poyo.me

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

11:42:59 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

Rust が semver を強くおすすめしているのは正解すぎるんだよなぁ (まあそれでも互換性壊す人もたまにいるけど)

11:43:15 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:42:02 kb10uyの投稿 kb10uy@mstdn.maud.io

crates.io 、ビルドの治安が良いけど名前の治安が微妙によろしくない

11:44:16 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

まあ一応名前空間については git リポジトリ直接指定とか別レジストリ指定とかできるのでそっちでどうにかしてねということなのかな

11:46:11 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:44:56 kb10uyの投稿 kb10uy@mstdn.maud.io

iron/router ←せいかい
iron-router ←せいかい
router ← 🤔🤔🤔🤔🤔 (X-Files Theme BGM )

11:48:26 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

crates.io を使わないことができるというのは良い仕組みだと思う (あとローカルで crate の参照をリダイレクトできたり)

11:51:19 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:47:39 orangeの投稿 orange_in_space@mstdn.nere9.help

Sum of three cubes問題、42に対して解かれる | スラドサイエンス https://science.srad.jp/story/19/09/11/161211/

https://science.srad.jp/story/19/09/11/161211/

Sum of three cubes問題、42に対して解かれる | スラドサイエンス

11:51:36 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 11:49:50 じんすけ(Jinsuke)の投稿 jnsk@mstdn.jnsk.info

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

11:51:41 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

えっそれ知らない

11:55:45 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

GOPATH でハマったとかいう記事を読んでみたら PATH が何なのかわかってないマンの話だった……ｷｰﾀかよ

12:03:55 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

PATH が何なのかわからなかったのは良いとして、そこまで調べといてタイトルそれ選ぶ？みたいな感想

12:23:29 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 12:18:23 えあい

の投稿 Eai@stellaria.network

なかなか空にならないgoogledriveの話 - SNSからはみ出す長い文章を置くところ
https://brog.otakyu.online/entry/2018/12/27/103507
じゃあ僕もこれ定期的に紹介するか

12:23:40 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

brog すきすぎる

12:26:54 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 12:24:45 ほたの投稿 hota@mstdn.maud.io

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

12:26:55 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 12:25:47 ヒポポタマスジの投稿 Otakyuline@mstdn.maud.io

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

12:39:22 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 06:43:16 ikemo@oransns.comの投稿 ikemo@oransns.com

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

14:16:22 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

地球型惑星に水蒸気存在を初めて確認　写真2枚　国際ニュース：AFPBB News
https://www.afpbb.com/articles/-/3244090

https://www.afpbb.com/articles/-/3244090

地球型惑星に水蒸気存在を初めて確認

14:21:37 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 14:14:05 Akihiko Odakiの投稿 fn_aki@pawoo.net

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

16:11:36 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

GitHub - atanunq/viu: A command-line application to view images from the terminal written in Rust.
https://github.com/atanunq/viu

sixel とかかと思ったら素の文字かよw

https://github.com/atanunq/viu

GitHub - atanunq/viu: Terminal image viewer with native support for iTerm and Kitty

16:48:53 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 16:40:29 あっきぃの投稿 akkiesoft@social.mikutter.hachune.net

リツイートは賛同行為wwwwwwwwww

https://twitter.com/mainichi/status/1172033348321124352

-
-Twitter

16:52:47 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 16:51:38 そすうぽよ

の投稿 prime@mstdn.poyo.me

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

17:02:44 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 17:01:28 最低人間の投稿 worstman@mstdn.jp

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

17:03:31 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

クソザコ素人がリンチ感覚で口出すのも大変迷惑だし、民度が低い国じゃ裁判員制度はまともに機能しなくて当然……

17:14:54 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 17:13:28 Giraffe Beerの投稿 giraffe_beer@mstdn.maud.io

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

17:16:03 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 17:15:46 orangeの投稿 orange_in_space@mstdn.nere9.help

法律面詳しく無いけど、法律(のうちの一流儀？)、(意図的な)未定義がたくさんあって、裁判とかの時には未定義部分は社会通念に照らし合わせて決めるって発想なので、一応社会通念なるものを『裁判官の世界というずれた社会感覚』に片寄らせないためというあれはあれなので(？)
そう考えると、社会通念を取り込んで、でも法的にぶっとびすぎてる部分は修正するって運用は、無駄は大きいけど有りと言えばありなのかも？＞＜

何が言いたいかというと、是非は別として、ある程度「いやこれは法的に無茶・・・」と覆す判決が出る事自体は一応健全なのかもって＞＜
同じ覆しが多数起きたらそれは法改正が必要かもしれない可能性がある点を浮き彫りに出来るかもだし＞＜(つまり、法の方が誤っている可能性を検出できる)

17:17:07 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

二審が覆したり量刑抑え目にするのはストッパーとして重要だと思うし、だからといって一審が無意味だとは思わないけど、ド素人がオレオレ正義感であれこれ考えるのはクソの役にも立たなそうという感想

17:18:43 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

必要なのはそれが正義/悪だと思う説明、理由付け、正当化であって、オレオレ正義そのものなんて犬にでも食わせておいてほしい

17:19:36 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

思考過程を知れれば有用だが、それをすっ飛ばして結果だけ貰っても何に使えというのか

17:24:37 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red

2019-09-12 17:23:58 orangeの投稿 orange_in_space@mstdn.nere9.help

一応(？)民主主義なので、上位の法律や条約等に照らし合わせて公平性や人権等の問題があるわけではないのであれば、民意が反映されるべきである(のが民主主義)ので、
『裁判員が一般の平均的な意見からぶっとびまくっている』のであれば民意が反映されていない事になるけど、『国民の大半の意見がぶっとびまくっている』のであれば、裁判員もそのぶっとびまくった意見を述べるのは、民意の反映の面では健全かも＞＜

17:25:04 らりお・ザ・何らかの🈗然㊌ソムリエ @lo48576@mastodon.cardina1.red